Show that any non-negative rational integer may be written as the sum of two squares if it is of the form.

Step-by-step explanation:

first of all a rather trivial point: a square is a sum of two squares (of which usually one will need to be 0²)

now you need a lemma: if a is a sum of two squares and b is a sum of two squares, then the product ab is also a sum of two squares.

this is easy to see in terms of the multiplication of two Gaussian integers:

(a²+b²)(c²+d²) = |a+ib|² |c+id|² =|(a+ib)(c+id)|² = |(ac−bd) + i(ad+bc)|² = (ac−bd)² + (ad+bc)²

since 2=1²+1² the lemma implies any power of two is a sum of two squares.

a well-known theorem tells us that any prime of the form 4n+1 is the sum of two squares, so the lemma implies that any product of such primes p1^(k1) p2^(k2)⋯pm^ (km) is a sum of two squares.

finally to multiply a sum of two squares by a square (of the form q2j11q2j22⋯q2jnn) is again a sum of two squares.

the proof of the theorem about primes of the form 4n+1 is a fairly easy consequence of two basic results: Wilson's theorem and the fact that the Gaussian integers are a Euclidean ring and therefore are a Unique Factorization Domain. Wilson's theorem is a simple exercise in modular arithmetic. To demonstrate a division algorithm for the Gaussian integers is a little more technical but of an elementary nature.

(2 x^3 + 7 x^2 + 5 x + 2)/(x (x + 2))

step-by-step explanation:

simplify the following:

x/x^2 + 3 x + 2 - (x (x + 1))/(x + 2)

combine powers. x/x^2 = x^(1 - 2):

x^(1 - 2) + 3 x + 2 - (x (x + 1))/(x + 2)

1 - 2 = -1:

x^(-1) + 3 x + 2 - (x (x + 1))/(x + 2)

put each term in 1/x + 3 x + 2 - (x (x + 1))/(x + 2) over the common denominator x (x + 2): 1/x + 3 x + 2 - (x (x + 1))/(x + 2) = (x + 2)/(x (x + 2)) + (3 x^2 (x + 2))/(x (x + 2)) + (2 x (x + 2))/(x (x + 2)) - (x^2 (x + 1))/(x (x + 2)):

(x + 2)/(x (x + 2)) + (3 x^2 (x + 2))/(x (x + 2)) + (2 x (x + 2))/(x (x + 2)) - (x^2 (x + 1))/(x (x + 2))

(x + 2)/(x (x + 2)) + (3 x^2 (x + 2))/(x (x + 2)) + (2 x (x + 2))/(x (x + 2)) - (x^2 (x + 1))/(x (x + 2)) = ((x + 2) + 3 x^2 (x + 2) + 2 x (x + 2) - x^2 (x + 1))/(x (x + 2)):

(2 + x + 3 x^2 (x + 2) + 2 x (x + 2) - x^2 (x + 1))/(x (x + 2))

3 x^2 (x + 2) = 3 x^3 + 6 x^2:

(2 + x + 3 x^3 + 6 x^2 + 2 x (x + 2) - x^2 (x + 1))/(x (x + 2))

2 x (x + 2) = 2 x^2 + 4 x:

(2 + x + 6 x^2 + 3 x^3 + 2 x^2 + 4 x - x^2 (x + 1))/(x (x + 2))

-x^2 (x + 1) = -x^2 - x^3:

(-x^2 - x^3 + 3 x^3 + 6 x^2 + 2 x^2 + 4 x + x + 2)/(x (x + 2))

grouping like terms, 3 x^3 - x^3 + 6 x^2 + 2 x^2 - x^2 + 4 x + x + 2 = (3 x^3 - x^3) + (6 x^2 + 2 x^2 - x^2) + (x + 4 x) + 2:

((3 x^3 - x^3) + (6 x^2 + 2 x^2 - x^2) + (x + 4 x) + 2)/(x (x + 2))

3 x^3 - x^3 = 2 x^3:

(2 x^3 + (6 x^2 + 2 x^2 - x^2) + (x + 4 x) + 2)/(x (x + 2))

6 x^2 + 2 x^2 - x^2 = 7 x^2:

(2 x^3 + 7 x^2 + (x + 4 x) + 2)/(x (x + 2))

x + 4 x = 5 x:

answer:   (2 x^3 + 7 x^2 + 5 x + 2)/(x (x + 2))