90 = 2 \times 3^2 \times 5
90 = 3^2 + 9^2
90 = 1^2 + 5^2 + 8^2
90 = 4^2 + 5^2 + 7^2
All primitive Pythagorean triples can be derived from the following:
a = k^2 - l^2, b = 2kl, c = k^2 + l^2
for k, l \in \mathbb{N} with k > l > 0, (k,l) = 1 and k \not\equiv l mod 2
What this is saying is that choose any old integers k and l such that
- k is larger than l;
- k and l are co-prime (have no common factors other than one);
- If k is odd then l is even or vice-versa.
For proof of this see www.math.uconn.edu/~kconrad/blurbs/ugradnumthy/pythagtriple.pdf.
Recalling that an odd number squared is odd and an even number squared is even and that one of k and l is odd and the other is even then we know that k^2 - l^2 is either an odd minus an even or en even minus an odd. Which ever is the case the result is odd. Similarly, k^2 + l^2 is odd. This means that all primitive Pythagorean triples have one odd-length leg and one odd-length hypotenuse. The remaining leg, the one that is 2kl, is, of course, even. However, we know that one of k and l is even also so that means that leg b is a multiple of 4.
The corollary of all this is that no number, n, that is even but not a multiple of 4 i.e. where n \equiv 2 (mod 4), can be a member of a primitive Pythagorean triple. which in turn means that 90 \equiv 2 (mod 4) is not a member of any primitive Pythagorean triple.
No comments:
Post a Comment