Number Theory Section Summary: 11.1

Pythagorean Triples

  1. Summary

    Here come those Pythagoreans again! The special right triangles related to Pythagorean triples had been studied and used by the Babylonians and the Egyptians long before Pythagoras, but those are the vagaries of history....

    Pythagoras did find a formula for an infinite number of these, so there's some justification for the name.

  2. Definitions

    Pythagorean triple: a set of three integers x, y, z such that tex2html_wrap_inline254 . The triple is said to be primitive if gcd(x,y,z)=1.

       table101
    Table: Examples of Pythagorean triples. Which are primitive?

    Pythagorean triangle: a right triangle whose sides are of integral length.

    Pythagorean theorem: a famous theorem about right triangles (not necessarily Pythagorean triangles), infamously misstated by the scarecrow in the Wizard of Oz http://mathworld.wolfram.com/PythagoreanTheorem.html : After receiving his brains from the wizard in the 1939 film 'The Wizard of Oz', the Scarecrow recites the following mangled (and incorrect) form of the Pythagorean theorem, ``The sum of the square roots of any two sides of an isosceles triangle is equal to the square root of the remaining side.''

  3. Theorems

    Lemma 1: If x, y, z is a primitive Pythagorean triple, then one of the integers x or y is even, while the other is odd.

    Lemma 2: If tex2html_wrap_inline268 , where gcd(a,b)=1, then a and b are tex2html_wrap_inline276 powers. That is, there exist positive integers tex2html_wrap_inline278 and tex2html_wrap_inline280 for which tex2html_wrap_inline282 and tex2html_wrap_inline284 .

    Theorem 11.1: All solutions of the Pythagorean equation

    displaymath242

    satisfying the conditions

    displaymath243

    are given by the formulas

    displaymath244

    For integers s>t>0 such that gcd(s,t)=1 and tex2html_wrap_inline290 .

  4. Properties/Tricks/Hints/Etc.

    The radius of the inscribed circle of a Pythagorean triangle is always an integer (Theorem 11.2).




Thu Apr 6 11:57:18 EDT 2006