PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
[parent] proof of Pythagorean triples (Proof)

Suppose that $a^2+b^2=1$ where $a,b\in\Rats$ . $a^2+b^2=N_{\Rats(i)/\Rats}(a+bi)$ (here $\N$ is the norm), so $a^2+b^2=1$ if and only if $N_{\Rats(i)/\Rats}(a+bi)=1$ . $\Rats(i)$ is cyclic over $\Rats$ with Galois group isomorphic to $\Ints/2\Ints$ , so by Hilbert's Theorem 90, there is some element $s+ti\in\Rats(i)$ such that$$a+bi=\frac{s+ti}{\sigma(s+ti)}=\frac{s+ti}{s-ti}=\frac{s^2-t^2+2sti}{s^2+t^2$$ so that$$a=\frac{s^2-t^2}{s^2+t^2}, \qquad b=\frac{2st}{s^2+t^2$$

Now, given any integer right triangle $p,q,r$ with $p^2+q^2=r^2$ , we have$$\left(\frac{p}{r}\right)^2+\left(\frac{q}{r}\right)^2=$$ where $p/r, q/r\in\Rats$ , so for some $s,t\in\Rats$ ,$$\frac{p}{r}=\frac{s^2-t^2}{s^2+t^2}, \qquad \frac{q}{r}=\frac{2st}{s^2+t^2$$ Clearing fractions on the right hand side of these equations by multiplying numerator and denominator by the square of the least common multiple of the denominators of $s, t$ , we get$$\frac{p}{r}=\frac{m^2-n^2}{m^2+n^2}, \qquad \frac{q}{r}=\frac{2mn}{m^2+n^2$$ for $m,n\in\Ints$ . Thus for some $d\in\Ints$ ,$$p=d(m^2-n^2), \qquad q=2mnd, \qquad r=d(m^2+n^2$$




"proof of Pythagorean triples" is owned by rm50.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: least common multiple, square, denominator, numerator, equations, right hand side, fractions, right triangle, integer, Hilbert's Theorem 90, isomorphic, Galois group, cyclic, norm

This is version 2 of proof of Pythagorean triples, born on 2008-01-14, modified 2008-01-14.
Object id is 10192, canonical name is ProofOfPythagoreanTriples2.
Accessed 635 times total.

Classification:
AMS MSC11-00 (Number theory :: General reference works )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)