Shop for Pythagorean_triples at ml-shopping.com

 
Web www.ml-shopping.com

 
Web www.ml-shopping.com

Pythagorean triple

(Redirected from Pythagorean triples)
The Pythagorean theorem: a2 + b2 = c2
Enlarge
The Pythagorean theorem: a2 + b2 = c2

A Pythagorean triple consists of three positive integers a, b, and c, such that a2 + b2 = c2. Such a triple is commonly written (a, b, c), and a well-known example is (3, 4, 5). If (a, b, c) is a Pythagorean triple, then so is (ka, kb, kc) for any positive integer k. A primitive Pythagorean triple is one in which a, b and c are coprime.

The name is derived from the Pythagorean theorem, of which every Pythagorean triple is a solution. The converse is not true. For instance, the triangle with sides a = b = 1 and c = √2 is right, but (1, 1, √2) is not a Pythagorean triple because √2 is not an integer. Moreover, 1 and √2 don't have an integer common multiple because √2 is irrational.

There are 16 primitive Pythagorean triples with c ≤ 100:

(3, 4, 5) (20, 21, 29) (11, 60, 61) (13, 84, 85)
(5, 12, 13) (12, 35, 37) (16, 63, 65) (36, 77, 85)
(8, 15, 17) (9, 40, 41) (33, 56, 65) (39, 80, 89)
(7, 24, 25) (28, 45, 53) (48, 55, 73) (65, 72, 97)
Scatter plot of the first Pythagorean triples within 4500
Enlarge
Scatter plot of the first Pythagorean triples within 4500

Contents

Generating Pythagorean triples

An effective way to generate Pythagorean triples is based on the observation that if m and n are two positive integers with m > n, then

a = m^2 - n^2,\,
b= 2mn,\,
c = m^2 + n^2,\,

is a Pythagorean triple. It is primitive if and only if m and n are coprime and one of them is even (if both n and m are odd, then a, b, and c will be even, and so the Pythagorean triple will not be primitive). Not every Pythagorean triple can be generated in this way, but every primitive triple (possibly after exchanging a and b) arises in this fashion from a unique pair of coprime numbers m > n. This shows that there are infinitely many primitive Pythagorean triples. This formula was given by Euclid (c. 300 B.C.) in his book Elements and is referred to as Euclid's formula.

An alternate form of the Euclid formula eliminates the negative sign by making use of the relation m=p+q and n=p:

side a=q(2p + q)
side b=2p(p + q)
side c= (p + q)2 + p2

Also, it's easy to notice that the complex number m + in when squared gives a + ib as a result. Since | z2 | = | z | 2, \sqrt{a^2+b^2}=m^2+n^2 is an integer.

Properties of Pythagorean triples

The properties of primitive pythagorean triples include:

  • Exactly one of a, b is odd, c is odd.
  • Exactly one of a, b is divisible by 3
  • Exactly one of a, b is divisible by 4
  • Exactly one of a, b, c is divisible by 5
  • Exactly one of a, b, (a+b), (a−b) is divisible by 7
  • At most one of a, b is a square
  • The hypotenuse, c, is an odd number
  • Every integer greater than 2 is part of a Pythagorean triple
  • The area (A=ab/2) is not an integer
  • For any Pythagorean triple, the product of the two nonhypotenuse legs is always divisible by 12, and the product of all three sides is divisible by 60.
  • There exist infinitely many primitive Pythagorean triples whose hypotenuses are squares of natural numbers.
  • There exist infinitely many primitive Pythagorean triples of which one of the arms is the square of a natural number.
  • For each natural number n, there exist n Pythagorean triples with different hypotenuses and the same area.
  • For each natural number n, there exist at least n different Pythagorean triples with the same arm a, where a is some natural number
  • For each natural number n, there exist at least n different triangles with the same hypotenuse.
  • In every Pythagorean triple, the radius of the in-circle and the radii of the three ex-circles are natural numbers.
  • There is no Pythagorean triple of which the hypotenuse and one arm are the arms of another Pythagorean triple.

Some relationships

If a2 + b2 = c2 is a primitive Pythagorean triple, where a is odd, then

\frac{c+a}{b}=\frac{m}{n},\,
\frac{c+b+a}{c+b-a}= \frac{m}{n}\,
b/(c-a)= m/n \,
(a+c-b)/(a+b-c)= m/n \,

where each fraction is reduced to lowest terms and m>n.

It can also be shown that

b(m^2-n^2) = a(2mn)\,
(m/n)b - a = c \,
(n/m)b + a = c \,

Additional relationships among the sides:

c - b = (m - n)^2 \,
c + b = (m + n)^2 \,
a^2 = c^2 - b^2 = (c - b)(c + b)\,
c - a = (m^2 + n^2) - (m^2 - n^2) = 2n^2\,
c = a + (m^2 + n^2) - (m^2 - n^2) = a + 2n^2\,
a = c - (m^2 + n^2) - (m^2 - n^2) = c- 2n^2 \,
Right Triangle with inscribed circle of radius r
Enlarge
Right Triangle with inscribed circle of radius r

The radius, r, of the inscribed circle can be found by:

r = ab/(a+b+c) \,

where

a = 2r +1 \,
b = 2r(r+1)\,
c = 2r^2 + 2r + 1\,
r = n (m-n) \,
n/m = \frac{\sqrt{1+r^2}-1}{r} \

The unknown sides of a triple can be calculated directly from the radius of the incircle, r, and the value of a single known side, a.

k = a-2r
b = 2r + (2 r2/k)
c = b+ k = 2r + (2r2 /k) + k

The perimeter P and area L of a primitive Pythagorean triple triangle are

P = a + b + c = 2m(m + n)
L = ab/2 = mn(m2 − n2)

The shortest side will be a if one of the following conditions is met:

a < b \,\!
m^2 - n^2 < 2mn \,\!
(m - n)^2 < 2n^2 \,\!
m - n < n \sqrt{2} \,\!
m < n (1 + \sqrt{2})\,\!

Unit circle relationships

An arbitrary rational slope, t on the unit circle can be written t = n/m where m and n are integers and m>n. Other unit circle relationships are shown below:

Right Triangle with slope, t
Enlarge
Right Triangle with slope, t
\cos\theta\ = (m^2-n^2)/(m^2+n^2) = (1-t^2)/(1+t^2)= a/c
\sin\theta\ = 2mn/(m^2+n^2) = 2t/(1+t^2)= b/c
\tan\theta\ = 2mn/(m^2-n^2) = 2t/(1+t^2)= b/a
x^2 + y^2 = 1 \,

Half-Angle relationships :

tan(θ / 2 ) = n/m
tan(β / 2 ) = (m-n)/(m+n)

A special case: the Platonic sequence

"Odd" variation
Enlarge
"Odd" variation
"Even" variation
Enlarge
"Even" variation

The case n = 1 of the above has been known for a long time. Proclus, in his commentary to the 47th Proposition of the first book of Euclid's Elements, describes it as follows:

Certain methods for the discovery of triangles of this kind are handed down, one which they refer to Plato, and another to Pythagoras. (The latter) starts from odd numbers. For it makes the odd number the smaller of the sides about the right angle; then it takes the square of it, subtracts unity and makes half the difference the greater of the sides about the right angle; lastly it adds unity to this and so forms the remaining side, the hypotenuse.
...
For the method of Plato argues from even numbers. It takes the given even number and makes it one of the sides about the right angle; then, bisecting this number and squaring the half, it adds unity to the square to form the hypotenuse, and subtracts unity from the square to form the other side about the right angle. ... Thus it has formed the same triangle as that which was obtained by the other method.

In number theory, one modern mathematical generalization of this sequence is

(b, c) = \left(\frac{a}{2}\right)^2(1+a\bmod2)\mp\frac{1}{1+a\bmod2}.\,

That is to say, using modular arithmetic any natural number greater than 2 ("a" on the right hand side) can give us two complimentary numbers ("b" and "c" on the left hand side) which together are a Pythagorean triple (a,b,c).

Generalizations

A set of four positive integers a, b, c and d such that a2 + b2+ c2 = d2 is called a Pythagorean quadruple.

A generalization of the concept of Pythagorean triples is the search for triples of positive integers a, b, and c, such that an + bn = cn, for some n strictly greater than 2. Pierre de Fermat in 1637 claimed that no such triple exists, a claim that came to be known as Fermat's last theorem, though it was far from the last theorem Fermat discovered. The first proof was given by Andrew Wiles in 1994.

Other formulas for generating triples

I: Pythagoras (c. 540 B.C.) presented this formula for generating triples:

a = m : b = (m2 − 1) / 2  : c = (m2 + 1) / 2, where m must be odd.

This formula generates all primitive triples with an odd number as the smallest side.

II: Plato (c. 380 B. C.) is attributed with a second formula:

a = 2m : b = (m2 − 1)  : c = (m2 + 1), where m is any natural number.

Plato's formula will not directly produce triples whose longer side and hypotenuse differ by one, but can generate all primitive triples by dividing those triples that have a common factor of 2 by 2.

The methods below appear in various places, but without attribution as to their origin:

III. Given an integer n, the triple can be generated by the following two procedures:

a = 2n + 1 : b = 2n(n + 1) : c = 2n(n + 1) + 1 Example, when n = 2 the triple produced is 5, 12 and 13

IV. Given the integers n and x, a = 2x2 + 2nx : b = 2nx + n2 : c = 2x2 + 2nx + n2 Example: For n = 3 and x = 5, a = 80, b = 39, c = 89.

V. Triples can be calculated using this formula: 2xy = z2, x,y,z > 0 where the following relations hold:

x = c − b, y = c − a, z = a + b − c and a = x + z, b = y + z, c = x + y + z and r = z/2 , where x, y, and z are the three sizes of the triple and r is the radius of the inscribed circle.

Pythagorean triples can then be generated by choosing any even integer z.

x and y are any two factors of z2 / 2.

Example: Choose z = 6. Then z2 / 2 = 18. The three factor-pairs of 18 are: (18, 1), (2, 9), and (6, 3). All three factor pairs will produce triples using the above equations.

z = 6, x = 18, y = 1 produces the triple a = 18 + 6 = 24, b = 1 + 6 = 7, c = 18 + 1 + 6 = 25.

z = 6, x = 2, y = 9 produces the triple a = 2 + 6 = 8, b = 9 + 6 = 15, c = 2 + 9 + 6 = 17.

z = 6, x = 6, y = 3 produces the triple a = 6 + 6 = 12, b = 3 + 6 = 9, c = 6 + 3 + 6 = 15.

VI. An infinity x infinity matrix M of Pythagorean Number Triples (PNTs) with some particularly desirable properties can be generated by taking:

a(r,k) = 4rk + 2k(k − 1)
b(r,k) = 4r(r + k − 1) − 2k + 1
c(r,k) = 4r(r + k − 1) + 2k(k − 1) + 1

where r is the row number and k is the column number. Each row is a family of PNTs with the hypotenuse c of each PNT in row r exceeding the even side a by the square of the rth odd number.

Each column is a family of PNTs with the hypotenuse of each PNT in column k exceeding the odd side b by twice the square of k. For example M(6,4) = {120, 209, 241} 241 - 120 = 121, the square of 11, and 241 - 209 = 32, which is twice the square of 4.

Below is a small portion of the matrix. If the column number is a power of 2, the PNTs in that column are all relatively prime (primitive). For every odd prime factor p of the column number, the middle row of each group of p rows will contain a PNT which is not relatively prime. In the table below these are indicated by angle brackets.

  column-> 1                2                3                4                5
row   a    b    c      a    b    c      a    b    c      a    b    c      a    b    c
 1    4    3    5     12    5   13     24    7   25     40    9   41     60   11   61
 2    8   15   17     20   21   29    <36   27   45>    56   33   65     80   39   89
 3   12   35   37     28   45   53     48   55   73     72   65   97   <100   75  125>
 4   16   63   65     36   77   85     60   91  109     88  105  137    120  119  169
 5   20   99  101     44  117  125    <72  135  153>   104  153  185    140  171  221
 6   24  143  145     52  165  173     84  187  205    120  209  241    160  231  281

The a's of each column k are an arithmetic sequence with difference 4k, and the b's of each row r are an arithmetic sequence with difference 4r-2.

If the two legs of a PNT differ by 1, the longer leg and the hypotenuse form the coordinates of a larger PNT in M the legs of which differ by 1. M(1,1) = {4, 3, 5}. M(4,5) = {120, 119, 169}. M(120,169) = {137904, 137903, 195025}, etc.

See also

References

External links

Sloane's Online Encyclopedia of Integer Sequences contains over 160 lists associated with pythagorean triples