Editing Pythagorean triple (section)

===General properties===

The properties of a primitive Pythagorean triple {{math|(''a'', ''b'', ''c'')}} with {{math|''a'' < ''b'' < ''c''}} (without specifying which of {{math|''a''}} or {{math|''b''}} is even and which is odd) include:
* <math>\tfrac{(c-a)(c-b)}{2}</math> is always a perfect square.<ref>{{citation|title=The Pythagorean Theorem: The Story of Its Power and Beauty|first=Alfred S.|last=Posamentier|author-link=Alfred S. Posamentier|publisher=Prometheus Books|year=2010|isbn=9781616141813|page=[https://archive.org/details/pythagoreantheor0000posa/page/156 156]|url=https://archive.org/details/pythagoreantheor0000posa/page/156}}.</ref> As it is only a necessary condition but not a sufficient one, it can be used in checking if a given triple of numbers is ''not'' a Pythagorean triple.  For example, the triples {{math|{6, 12, 18}{{null}}}} and {{math|{1, 8, 9}{{null}}}} each pass the test that {{math|(''c'' − ''a'')(''c'' − ''b'')/2}} is a perfect square, but neither is a Pythagorean triple.
*When a triple of numbers {{math|''a''}}, {{math|''b''}} and {{math|''c''}} forms a primitive Pythagorean triple, then {{math|(''c'' minus the even leg)}} and one-half of {{math|(''c'' minus the odd leg)}} are both perfect squares; however this is not a sufficient condition, as the numbers {{math|{1, 8, 9}{{null}}}} pass the perfect squares test but are not a Pythagorean triple since {{math|1{{sup|2}} + 8{{sup|2}} ≠ 9{{sup|2}}}}.
*At most one of {{math|''a''}}, {{math|''b''}}, {{math|''c''}} is a square.<ref>For the nonexistence of solutions where {{math|''a''}} and {{math|''b''}} are both square, originally proved by Fermat, see {{citation|title=Elementary Number Theory with Applications|first=Thomas|last=Koshy|publisher=Academic Press|year=2002|isbn=9780124211711|page=545|url=https://books.google.com/books?id=-9pg-4Pa19IC&pg=PA545}}. For the other case, in which {{math|''c''}} is one of the squares, see {{citation|title=Numbers and Geometry|series=[[Undergraduate Texts in Mathematics]]|first=John|last=Stillwell|author-link=John Stillwell|publisher=Springer|year=1998|isbn=9780387982892|page=133|url=https://books.google.com/books?id=4elkHwVS0eUC&pg=PA133}}.</ref>
*The area of a Pythagorean triangle cannot be the square<ref name="Carmichael"/>{{rp|p. 17}} or twice the square<ref name="Carmichael"/>{{rp|p. 21}} of an integer.
*Exactly one of {{math|''a''}}, {{math|''b''}} is [[divisible]] by 2 (is [[even number|even]]), and the hypotenuse {{math|''c''}} is always odd.<ref name=Sierpinski6>{{harvnb|Sierpiński|2003|pp=4–6}}</ref>
*Exactly one of {{math|''a''}}, {{math|''b''}} is divisible by 3, but never {{math|''c''}}.<ref>{{citation |title=Proceedings of the Southeastern Conference on Combinatorics, Graph Theory, and Computing, Volume 20 |publisher=Utilitas Mathematica Pub |year=1990 |isbn=9780919628700 |page=141 |url=https://books.google.com/books?id=G3U_AQAAIAAJ}}</ref><ref name=Sierpinski />{{rp|23–25}}
*Exactly one of {{math|''a''}}, {{math|''b''}} is divisible by 4,<ref name=Sierpinski/> but never {{math|''c''}} (because {{math|''c''}} is never even).
*Exactly one of {{math|''a''}}, {{math|''b''}}, {{math|''c''}} is divisible by 5.<ref name=Sierpinski/>
*The largest number that always divides ''abc'' is 60.<ref name=MacHale/>
*Any odd number of the form {{math|2''m''+1}}, where {{math|''m''}} is an integer and {{math|''m''>1}}, can be the odd leg of a primitive Pythagorean triple. See [[Pythagorean triple#Almost-isosceles Pythagorean triples|almost-isosceles primitive Pythagorean triples]] section below. However, only even numbers divisible by 4 can be the even leg of a primitive Pythagorean triple. This is because [[Pythagorean triple#Generating a triple|Euclid's formula]] for the even leg given above is {{math|2''mn''}} and one of {{math|''m''}} or {{math|''n''}} must be even.
*The hypotenuse {{math|''c''}} (which is always odd) is the sum of two squares. This requires all of its prime factors to be [[Pythagorean prime|primes of the form {{math|4''n'' + 1}}]].<ref>{{citation|title=Roots to Research: A Vertical Development of Mathematical Problems|first=Judith D.|last=Sally|author-link=Judith D. Sally|publisher=American Mathematical Society|year=2007|isbn=9780821872673|pages=74–75|url=https://books.google.com/books?id=nHxBw-WlECUC&pg=PA74}}.</ref> Therefore, c is of the form {{math|4''n'' + 1}}. A sequence of possible hypotenuse numbers for a primitive Pythagorean triple can be found at {{OEIS|A008846|}}.
*The area {{math|1=(''K'' = ''ab''/2)}} is a [[congruent number]]<ref>This follows immediately from the fact that ''ab'' is divisible by twelve, together with the definition of congruent numbers as the areas of rational-sided right triangles. See e.g. {{citation|title=Introduction to Elliptic Curves and Modular Forms|volume=97|series=Graduate Texts in Mathematics|first=Neal|last=Koblitz|publisher=Springer|year=1993|isbn=9780387979663|page=3|url=https://books.google.com/books?id=99v9XcOjhO4C&pg=PA3}}.</ref> divisible by 6.
*In every Pythagorean triangle, the radius of the [[incircle]] and the radii of the three [[incircle|excircles]] are positive integers. Specifically, for a primitive triple the radius of the incircle is {{math|1=''r'' = ''n''(''m'' &minus; ''n'')}}, and the radii of the excircles opposite the sides {{math|''m''{{sup|2}} &minus; ''n{{sup|2}}''}}, ''2mn'', and the hypotenuse {{math|''m''{{sup|2}} + ''n''{{sup|2}}}} are respectively {{math|''m''(''m'' &minus; ''n'')}}, {{math|''n''(''m'' + ''n'')}}, and {{math|''m''(''m'' + ''n'')}}.<ref>{{citation|title=A Survey of Classical and Modern Geometries: With Computer Activities|first=Arthur|last=Baragar|publisher=Prentice Hall|year=2001|isbn=9780130143181|at=Exercise 15.3, p. 301}}</ref>
*As for any right triangle, the converse of [[Thales' theorem]] says that the diameter of the [[circumcircle]] equals the hypotenuse; hence for primitive triples the circumdiameter is {{math|''m''{{sup|2}} + ''n''{{sup|2}}}}, and the circumradius is half of this and thus is rational but non-integer (since {{math|''m''}} and {{math|''n''}} have opposite parity).
*When the area of a Pythagorean triangle is multiplied by the [[curvature]]s of its incircle and 3 excircles, the result is four positive integers {{math|''w'' > ''x'' > ''y'' > ''z''}}, respectively. Integers {{math|−''w'', ''x'', ''y'', ''z''}} satisfy [[Descartes' theorem|Descartes's Circle Equation]].<ref name=Bernhart>{{citation |last1=Bernhart |first1=Frank R. |last2=Price |first2=H. Lee |title=Heron's formula, Descartes circles, and Pythagorean triangles |year=2005 |arxiv=math/0701624}}</ref> Equivalently, the radius of the [[Isoperimetric point#Isoperimetric points and Soddy circles|outer Soddy circle]] of any right triangle is equal to its semiperimeter. The outer Soddy center is located at {{math|''D''}}, where {{math|''ACBD''}} is a rectangle, {{math|''ACB''}} the right triangle and {{math|''AB''}} its hypotenuse.<ref name=Bernhart/>{{rp|p. 6}}
*Only two sides of a primitive Pythagorean triple can be simultaneously prime because by [[Pythagorean triple#Generating a triple|Euclid's formula]] for generating a primitive Pythagorean triple, one of the legs must be composite and even.<ref>{{cite OEIS|A237518|Least primes that together with prime(n) forms a Heronian triangle|mode=cs2}}</ref> However, only one side can be an integer of perfect power <math>p \ge 2</math> because if two sides were integers of perfect powers with equal exponent <math>p</math> it would contradict the fact that there are no integer solutions to the [[Beal conjecture#Partial results|Diophantine equation]] <math>x^{2p} \pm y^{2p}=z^2</math>, with <math>x</math>, <math>y</math> and <math>z</math> being pairwise coprime.<ref name=DM>H. Darmon and L. Merel. Winding quotients and some variants of Fermat’s Last Theorem, J. Reine Angew. Math. 490 (1997), 81–100.</ref>
*There are no Pythagorean triangles in which the hypotenuse and one leg are the legs of another Pythagorean triangle; this is one of the equivalent forms of [[Fermat's right triangle theorem]].<ref name="Carmichael">{{citation
 | last = Carmichael | first = Robert D. | author-link = Robert Daniel Carmichael
 | publisher = John Wiley & Sons
 | title = Diophantine Analysis
 | url = https://archive.org/details/diophantineanaly00carm
 | year = 1915}}</ref>{{rp|p. 14}}
*Each primitive Pythagorean triangle has a ratio of area, {{math|''K''}}, to squared [[semiperimeter]], {{math|''s''}}, that is unique to itself and is given by<ref>{{citation |last1=Rosenberg |first1=Steven |last2=Spillane |first2=Michael |last3=Wulf |first3=Daniel B. |title=Heron triangles and moduli spaces |journal=Mathematics Teacher |volume=101 |pages=656–663 |date=May 2008 |doi=10.5951/MT.101.9.0656 |url=http://www.nctm.org/publications/article.aspx?id=19484}}</ref>
:: <math>\frac{K}{s^2} = \frac{n(m-n)}{m(m+n)} = 1-\frac{c}{s}.</math>
*No primitive Pythagorean triangle has an integer altitude from the hypotenuse; that is, every primitive Pythagorean triangle is indecomposable.<ref name=Yiu/>
*The set of all primitive Pythagorean triples forms a rooted [[ternary tree]] in a natural way; see [[Tree of primitive Pythagorean triples]].
*Neither of the [[acute angle]]s of a Pythagorean triangle can be a [[rational number]] of [[Degree (angle)|degrees]].<ref>{{mathworld|title=Rational Triangle|id=RationalTriangle|mode=cs2}}</ref>  (This follows from [[Niven's theorem]].)