Vipul: Created page with "==Definition== A '''primitive Pythagorean triple''' is a triple $(a,b,c)$ of positive integers that is a defining ingredient::Pythagorean triple (i.e., $a^2 ..."$

2010-08-13T21:46:24Z

Created page with "==Definition== A '''primitive Pythagorean triple''' is a triple <math>(a,b,c)</math> of positive integers that is a defining ingredient::Pythagorean triple (i.e., <math>a^2 ..."

New page

==Definition==

A '''primitive Pythagorean triple''' is a triple <math>(a,b,c)</math> of positive integers that is a [[defining ingredient::Pythagorean triple]] (i.e., <math>a^2 + b^2 = c^2</math>) and either of these two equivalent conditions is satisfied:

# The <math>a,b,c</math> are [[pairwise coprime integers]].
# The <math>a,b,c</math> are together coprime, i.e., they have no factor common to both of them.

We study primitive Pythagorean triples up to the symmetry of interchanging the first two members -- thus, <math>(a,b,c)</math> and <math>(b,a,c)</math> are considered the same primitive Pythagorean triple.

===Definition in terms of rational points on the circle===

Primitive Pythagorean triples (''not'' viewed up to the interchange symmetry) are naturally in bijection with the rational points in the first quadrant of the unit circle centered at the origin, via the mapping:

<math>(a,b,c) \mapsto \left(\frac{a}{c},\frac{b}{c}\right)</math>

When viewed up to the interchange symmetry of <math>a</math> and <math>b</math>, each primitive Pythagorean triple corresponds to a pair of points in the first quadrant that are symmetric about the <math>y = x</math> line.
===Equivalence of definitions===

Conditions (1) and (2) are equivalent for Pythagorean triples because any factor common to two of the three variables <math>a,b,c</math> is also a factor of the third. For instance, if <math>d</math> divides <math>a</math> and <math>b</math>, then <math>d^2</math> divides <math>c^2</matH> and hence <math>d</math> divides <math>c</math>.

==Classification==

{{further|[[classification of primitive Pythagorean triples]]}}

Primitive Pythagorean triples (up to the interchange symmetry) are classified by pairs of positive integers <math>u,v</math> with <math>u < v</math>, <math>u</math> coprime to <math>v</math>, and exactly one of <math>u</math> and <math>v</math> even. The parametrization mapping is:

<math>\! (u,v) \mapsto (v^2 - u^2, 2uv, v^2 + u^2)</math>

==Particular cases==

{| class="sortable" border="1"
! <math>u</math> || <math>v</math> || <math>a</math> || <math>b</math> || <math>c</math>
|-
| 1 || 2 || 3 || 4 || 5
|-
| 2 || 3 || 5 || 12 || 13
|-
| 1 || 4 || 15 || 8 || 17
|-
| 3 || 4 || 7 || 24 || 25
|-
| 2 || 5 || 21 || 20 || 29
|-
| 4 || 5 || 9 || 40 || 41
|-
| 1 || 6 || 35 || 12 || 37
|-
| 5 || 6 || 11 || 60 || 61
|-
| 2 || 7 || 45 || 28 || 53
|-
| 4 || 7 || 33 || 56 || 65
|}
==Facts==

In a primitive Pythagorean triple <math>(a,b,c)</math>:

* <math>c</math> is always odd.
* One of <math>a</math> and <math>b</math> is even and the other one is odd.
* The bigger of <math>a</math> and <math>b</math> may be either even or odd. In triples such as <math>(3,4,5)</math>, <math>(5,12,13)</math>, and <math>(7,24,25)</math>, the bigger number is even. In triples such as <math>(8,15,17)</math>, the smaller number is even.

Primitive Pythagorean triple - Revision history

Vipul: Created page with "==Definition== A '''primitive Pythagorean triple''' is a triple (a,b,c) of positive integers that is a defining ingredient::Pythagorean triple (i.e., a^2 ..."

Vipul: Created page with "==Definition== A '''primitive Pythagorean triple''' is a triple $(a,b,c)$ of positive integers that is a defining ingredient::Pythagorean triple (i.e., $a^2 ..."$