Hello all, I've been reading up on numbers that are equal to the sum of two squares. As an example, 5 = 4 + 1 = 2^2 + 1^2, and 100 = 64 + 36 = 8^2 + 6^2. There are a few numbers in my book that say they may or may not be perfect squares. They are listed below
I believe that none of them are sums of squares because I've found no combinations to indicate so. However, I could be wrong.
Here's the catch: The book says that IF the numbers are NOT sums of squares, it can be proven that they aren't by utilizing the number 4. Can anybody help prove this for me for A,B,C (if indeed they are not sums of squares) ?
All help is very much appreciated!
You just have to prove this nowAny number of the form (or ) may not be represented as the sum of two squares.
Any number of the form may be represented as the sum of two squares.
Please note I made an error when I first posted, so please reread the theorem if you read the false one.
Proofs of Fermat's theorem on sums of two squares
Certainly, if you don't see how to apply it (which should be obvious, although I understand you may not be used to the notation, and congruence arithmetic in general), then you will have massive difficulty following the steps.
For an odd prime p, there exist integers x, y such that p = x^2 + y^2 if and only if p is congruent to 1 (mod 4).
1) This theorem is "if and only if." The two parts (directions) "if" and "only if" may be considered separately. As the Wikipedia article states, the "only if" direction is much simpler than the "if" direction.
2) p is congruent to 1 (mod 4) is another way of saying that there exists an integer k such that p = 4k + 1.
If you have a basic understanding of modular arithmetic (also known as congruence arithmetic), then you will understand the "only if" part of the proof and be able to answer your book's question.
That is, you will know that if an odd prime is congruent to 3 (mod 4) then it cannot possibly be the sum of two squares.
7 = 3(mod 4) --> (3-7)/4 = -1 OK
19 = 3(mod 4) --> (3-19)/4 = -4 OK
1295 = 3(mod 4) --> (3-1295)/4 = -323 OK
Is this feasible in proving this provided that I list the statement: "if an odd prime is congruent to 3 (mod 4) then it cannot possibly be the sum of two squares" and cite which Fermat theorem I got it from?
We ask: Is 7 prime? Yes. Is 7 congruent to 3 (mod 4)? This means, when we divide 7 by 4, do we get remainder 3? Yes. So 7 is not the sum of two squares.
Same applies to 19.
1295 we can't say (without invoking the Brahmagupta–Fibonacci identity), because it is not prime.
this article on Wikipedia:
"Since the Brahmagupta–Fibonacci identity implies that the product of two integers that can be written as the sum of two squares is itself expressible as the sum of two squares, this shows that any positive integer, all of whose odd prime factors congruent to 3 modulo 4 occur to an even exponent, is expressible as a sum of two squares. The converse also holds."
1295 = 5 * 7 * 37
So, you are right, 1295 cannot be expressed as a sum of two squares.