Пифагоровы треугольники как найти - Сайт, где вы сможете решить свои вопросы

Теорема Пифагора: a² + b² = c²

Анимация простейшей пифагоровой тройки: 3² + 4² = 5²

Пифаго́рова тро́йка — упорядоченный набор из трёх натуральных чисел удовлетворяющих следующему однородному квадратному уравнению

${displaystyle x^{2}+y^{2}=z^{2}.}$

При этом числа, образующие пифагорову тройку, называются пифагоровыми числами. Названы в честь Пифагора Самосского, хотя открыты задолго до него.

Треугольник, длины сторон которого образуют пифагорову тройку, является прямоугольным и называется пифагоровым треугольником.

Примитивные тройки[править | править код]

Поскольку уравнение ${displaystyle x^{2}+y^{2}=z^{2}}$ однородно, при умножении , и на одно и то же натуральное число получится другая пифагорова тройка. Пифагорова тройка (x,y,z) называется примитивной, если она не может быть получена таким способом из какой-то другой пифагоровой тройки, то есть если x,;y,;z являются взаимно простыми числами. Другими словами, наибольший общий делитель примитивной пифагоровой тройки (x,y,z) равен 1.

В примитивной тройке (x,y,z) числа и имеют разную чётность, причём чётное делится на 4, а — всегда нечётно.

Любая примитивная пифагорова тройка (x,y,z) , где — нечётно, а — чётно, однозначно представляется в виде $(m^{2}-n^{2},;2mn,;m^{2}+n^{2})$ для некоторых натуральных взаимно простых чисел разной чётности.

Эти числа можно вычислить по формулам

${displaystyle {begin{cases}m={sqrt {dfrac {z+x}{2}}}={dfrac {{sqrt {z+y}}+{sqrt {z-y}}}{2}},\n={sqrt {dfrac {z-x}{2}}}={dfrac {{sqrt {z+y}}-{sqrt {z-y}}}{2}}.end{cases}}}$

Наоборот, любая такая пара чисел (m,;n) задаёт примитивную пифагорову тройку $(m^{2}-n^{2},;2mn,;m^{2}+n^{2})$ ^[1].

Примеры[править | править код]

Диаграмма рассеяния катетов (a, b) пифагоровых троек с катетами, не превышающими 6000. Отрицательные значения включены для демонстрации параболических узоров

Имеется 16 примитивных пифагоровых троек с :

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

Не все тройки с примитивны, например, (6, 8, 10) получается умножением на два тройки (3, 4, 5). Каждая из троек с небольшой гипотенузой образует хорошо различимую радиальную прямую из кратных ей троек на диаграмме рассеяния.

Примитивные тройки с :

(20, 99, 101)	(60, 91, 109)	(15, 112, 113)	(44, 117, 125)
(88, 105, 137)	(17, 144, 145)	(24, 143, 145)	(51, 140, 149)
(85, 132, 157)	(119, 120, 169)	(52, 165, 173)	(19, 180, 181)
(57, 176, 185)	(104, 153, 185)	(95, 168, 193)	(28, 195, 197)
(84, 187, 205)	(133, 156, 205)	(21, 220, 221)	(140, 171, 221)
(60, 221, 229)	(105, 208, 233)	(120, 209, 241)	(32, 255, 257)
(23, 264, 265)	(96, 247, 265)	(69, 260, 269)	(115, 252, 277)
(160, 231, 281)	(161, 240, 289)	(68, 285, 293)

Возможные значения в пифагоровых тройках образуют последовательность (последовательность A009003 в OEIS)

5, 10, 13, 15, 17, 20, 25, 26, 29, 30, 34, 35, 37, 39, 40, 41, 45, 50, …

Основываясь на свойствах чисел Фибоначчи, можно образовывать из этих чисел, например, такие пифагоровы тройки:

${displaystyle x=F_{n}F_{n+3};quad y=2F_{n+1}F_{n+2};quad z=F_{n+1}^{2}+F_{n+2}^{2}.}$

История[править | править код]

Наиболее известной в развитых древних культурах была тройка (3, 4, 5), которая позволяла древним строить прямые углы. Витрувий считал эту тройку высшим достижением математики, а Платон — символом супружества, что говорит о большом значении, которое придавали древние тройке (3, 4, 5).

В архитектуре древнемесопотамских надгробий встречается равнобедренный треугольник, составленный из двух прямоугольных со сторонами 9, 12 и 15 локтей. Пирамиды фараона Снофру (XXVII век до н. э.) построены с использованием треугольников со сторонами 20, 21 и 29, а также 18, 24 и 30 десятков египетских локтей.

Вавилонские математики умели вычислять пифагоровы тройки.
Вавилонская глиняная табличка, названная Plimpton 322, содержит пятнадцать пифагоровых троек (точнее пятнадцать пар чисел , таких что $a^{2}+b^{2}=c^{2}$ ).
Считается, что эта табличка была создана около 1800 года до н. э.^[2]

Генерация троек[править | править код]

Примитивные пифагоровы тройки. Нечётный катет отложен на горизонтальной оси, а чётный катет — на вертикальной. Криволинейная сетка построена из кривых с постоянными величинами и в формуле Евклида

Диаграмма треугольников, полученных из формулы Евклида, показывающая часть конуса ${displaystyle z^{2}=x^{2}+y^{2}}$ , константы или задают след параболы на конусе

Формула Евклида^[3] является основным средством построения пифагоровых троек. Согласно ей для любой пары натуральных чисел и () целые числа

${displaystyle a=m^{2}-n^{2}, b=2mn, c=m^{2}+n^{2}}$

образуют пифагорову тройку. Тройки, образованные по формуле Евклида, примитивны тогда и только тогда, когда и взаимно просты и нечётно. Если и , и нечётны, то , и будут чётными и тройка не примитивна. Однако деление , и на 2 даёт примитивную тройку, если и взаимно просты^[4].

Любая примитивная тройка получается из единственной пары взаимно простых чисел и , одно из которых чётно. Отсюда следует, что существует бесконечно много примитивных пифагоровых троек.

Несмотря на то, что формула Евклида генерирует все примитивные тройки, она не порождает все тройки. При добавлении дополнительного параметра получается формула, порождающая все пифагоровы треугольники единственным образом:

${displaystyle a=kcdot (m^{2}-n^{2}), b=kcdot (2mn), c=kcdot (m^{2}+n^{2}),}$

где , и — натуральные числа, , нечётно, и взаимно просты.

То, что эти формулы образуют пифагоровы тройки, можно проверить путём подстановок в ${displaystyle a^{2}+b^{2}}$ и проверки, что результат совпадает с $c^{2}$ . Поскольку любую пифагорову тройку можно разделить на некоторое , чтобы получить примитивную тройку, любая тройка может быть образована единственным образом с использованием и для создания примитивной тройки, а затем она умножается на .

Со времён Евклида было найдено множество формул для генерации троек.

Доказательство формул Евклида[править | править код]

Тот факт, что числа , , , удовлетворяющие формуле Евклида, всегда составляют пифагоров треугольник, очевиден для положительных целых и , , поскольку после подстановки в формулы , и будут положительными числами, а также из того, что выполняется

${displaystyle a^{2}+b^{2}=(m^{2}-n^{2})^{2}+(2mn)^{2}=(m^{2}+n^{2})^{2}=c^{2}.}$

Обратное утверждение, что , , выражаются формулой Евклида для любой пифагоровой тройки, вытекает из следующего^[5]. Все такие тройки можно записать в виде (, , ), где $a^{2}+b^{2}=c^{2}$ , и , , являются взаимно простыми, а и имеют противоположную чётность (одно из них чётно, другое нечётно). (Если имеет ту же самую чётность с обоими катетами, то в случае их чётности они не будут взаимно простыми, а в случае нечётности ${displaystyle a^{2}+b^{2}}$ даст чётное число, и оно не может быть равно нечётному $c^{2}$ .) Из $a^{2}+b^{2}=c^{2}$ мы получаем ${displaystyle c^{2}-a^{2}=b^{2}}$ , а следовательно, ${displaystyle (c-a)(c+a)=b^{2}}$ . Тогда . Поскольку является рациональным, мы представим его в виде несократимой дроби m/n . Мы отсюда же получаем, что дробь равна n/m . Решая уравнения

${displaystyle {frac {c}{b}}+{frac {a}{b}}={frac {m}{n}}, {frac {c}{b}}-{frac {a}{b}}={frac {n}{m}}}$

относительно и a/b , получим

${displaystyle {frac {c}{b}}={frac {m^{2}+n^{2}}{2mn}}, {frac {a}{b}}={frac {m^{2}-n^{2}}{2mn}}.}$

Поскольку и a/b несократимы по предположению, числители и знаменатели будут равными тогда и только тогда, когда правые части каждого равенства несократимы. Как мы условились, дробь m/n тоже несократима, откуда следует, что и взаимно просты. Правые части будут несократимы тогда и только тогда, когда и имеют противоположную чётность, так что числитель не делится на 2. (А и должны иметь противоположную чётность — оба не могут быть чётными ввиду несократимости, а в случае нечётности обоих чисел деление ${displaystyle (m^{2}+n^{2})/(2mn)}$ на 2 даст дробь, в числителе и знаменателе которой будут нечётные числа, но эта дробь равна , в которой числитель и знаменатель будут иметь различную чётность, что противоречит предположению.) Теперь, приравнивая числители и знаменатели, получим формулу Евклида ${displaystyle a=m^{2}-n^{2}}$ , , ${displaystyle c=m^{2}+n^{2}}$ с и взаимно простыми и имеющими различную чётность.

Более длинное, но и более общепринятое доказательство приведено в книгах Маора (Maor, 2007)^[6] и Серпинского^[7].

Интерпретация параметров в формуле Евклида[править | править код]

Пусть стороны пифагорова треугольника равны ${displaystyle m^{2}-n^{2}}$ , 2mn и ${displaystyle m^{2}+n^{2}}$ . Обозначим угол между катетом ${displaystyle m^{2}-n^{2}}$ и гипотенузой ${displaystyle m^{2}+n^{2}}$ буквой theta . Тогда^[8]

${displaystyle operatorname {tg} theta ={frac {2mn}{m^{2}-n^{2}}},}$

${displaystyle operatorname {tg} {frac {theta }{2}}={frac {m-n}{m+n}}.}$

Элементарные свойства примитивных пифагоровых троек[править | править код]

Свойства примитивной пифагоровой тройки (a, b, c), где a < b < c (без указания чётности чисел a или b):

всегда является полным квадратом^[9]. Это особенно полезно для проверки, является ли заданная тройка чисел пифагоровой, хотя это и не является достаточным условием. Тройка (6, 12, 18) проходит этот тест, поскольку (c − a)(c − b)/2 является полным квадратом, но эта тройка не является пифагоровой. Если тройка чисел a, b и c образует пифагорову тройку, то число (c минус чётный катет) и половина числа (c минус нечётный катет) являются полными квадратами, однако это не является достаточным условием, и тройка (1, 8, 9) является контрпримером, поскольку 1² + 8² ≠ 9².
Максимум одно из чисел a, b и c является квадратом^[10].
Площадь пифагорова треугольника не может быть квадратом^[11] или удвоенным квадратом^[12] натурального числа.
В точности одно из чисел a и b нечётно, c всегда нечётно^[13].
В точности одно из чисел a и b делится на 3.^[14]
В точности одно из чисел a и b делится на 4.^[7]
В точности одно из чисел a, b и c делится на 5.^[7]
Максимальное число, которое всегда делит произведение abc, равно 60.^[15]
Все простые множители c являются простыми вида 4n + 1^[16]. Таким образом, c имеет вид 4n + 1.
Число (b − a) является произведением простых чисел вида 8n ± 1, то есть не имеет таких сомножителей, как 2, 3, 5, 11, 13, 19, 29, 37, 43, 53, 59, 61, 67, 83, 101, …
Площадь (K = ab/2) является чётным конгруэнтным числом^[17].
В любой пифагоровой тройке радиус вписанной окружности и радиусы трёх вневписанных окружностей являются натуральными числами. В частности, для примитивной тройки радиус вписанной окружности равен r = n(m − n), а радиусы вневписанных окружностей, касающихся катетов m² − n², 2mn, и гипотенузы m² + n² равны соответственно m(m − n), n(m + n) и m(m + n)^[18].
Как и для любого прямоугольного треугольника, обратное утверждение к теореме Фалеса гласит, что диаметр описанной окружности равен гипотенузе. Поскольку для примитивных троек диаметр равен √m² + n², радиус описанной окружности является половиной этого числа и это число рациональное, но не целое (поскольку m и n имеют разную чётность).
Если площадь пифагорова треугольника умножить на кривизны вписанной окружности и трёх вневписанных, в результате получим четыре положительных целых w > x > y > z соответственно. Эти числа w, x, y, z удовлетворяют уравнению декартовых окружностей^[19]. Эквивалентно, радиус внешней окружности Содди^[en] любого прямоугольного треугольника равен его полупериметру. Внешний центр Содди расположен в точке D, где ACBD — прямоугольник, ACB — прямоугольный треугольник, а AB — его гипотенуза.^[20]
Не существует пифагоровых троек, для которых гипотенуза и один из катетов являются катетами другой пифагоровой тройки. Это одна из формулировок теоремы Ферма о прямоугольном треугольнике^[21].
Каждый примитивный пифагоров треугольник имеет уникальное отношение площади к квадрату полупериметра (то есть отношения для различных примитивных треугольников различны), и это отношение равно^[22]

${displaystyle {frac {K}{s^{2}}}={frac {n(m-n)}{m(m+n)}}=1-{frac {c}{s}}.}$
Ни в каком примитивном пифагоровом треугольнике высота, опирающаяся на гипотенузу, не выражается целым числом, а потому он не может быть разбит на два пифагоровых треугольника.^[23]

Кроме того, могут существовать специальные пифагоровы тройки с некоторыми дополнительными свойствами:

Любое целое, большее 2, которое не сравнимо с 2 по модулю 4^[en] (другими словами, если оно больше 2 и не имеет вид 4n + 2) является частью примитивной пифагоровой тройки.
Любое целое число, большее 2, входит в примитивную или непримитивную пифагорову тройку. Например, числа 6, 10, 14 и 18 не содержатся ни в какой примитивной тройке, но входят в тройки 6, 8, 10; 14, 48, 50 и 18, 80, 82.
Существует бесконечно много пифагоровых троек, в которых гипотенуза и больший из катетов отличаются ровно на единицу (такие тройки заведомо примитивны). Один из способов получения таких троек — равенство (2n + 1)² + [2n(n + 1)]² = [2n(n + 1) + 1]², приводящее к тройкам (3, 4, 5), (5, 12, 13), (7, 24, 25), и т. д. Более общее утверждение: для любого нечётного целого j существует бесконечно много примитивных пифагоровых троек, в которых гипотенуза и чётный катет отличаются на j².
Существует бесконечно много примитивных пифагоровых троек, в которых гипотенуза и больший по длине катет отличается ровно на два. Обобщение: Для любого целого k > 0, существует бесконечно много примитивных пифагоровых троек, в которых гипотенуза и нечётный катет отличаются на 2k².
Существует бесконечно много пифагоровых троек, в которых два катета отличаются ровно на единицу. Например, 20² + 21² = 29².
Для любого натурального n существует n пифагоровых троек с различными гипотенузами и одной и той же площадью.
Для любого натурального n существует по меньшей мере n различных пифагоровых троек с одним и тем же катетом a, где a — некоторое натуральное число
Для любого натурального n существует по меньшей мере n различных пифагоровых троек с одной и той же гипотенузой.^[24]
Существует бесконечно много пифагоровых троек, у которых квадратами являются гипотенуза c и сумма катетов a + b. В наименьшей такой тройке^[25] a = 4 565 486 027 761; b = 1 061 652 293 520; c = 4 687 298 610 289. Здесь a + b = 2 372 159² и c = 2 165 017². В формуле Евклида эти значения соответствуют m = 2 150 905 и n = 246 792.
Существуют пифагоровы треугольники с целой высотой, опирающейся на гипотенузу. Такие треугольники известны как разбиваемые, поскольку их можно разбить этой высотой на два меньших пифагоровых треугольника. Ни один из разбиваемых треугольников не образован примитивной тройкой^[26].
Множество всех примитивных пифагоровых треугольников образует корневое тернарное дерево^[en] естественным способом, см. Дерево примитивных пифагоровых троек.

Неизвестно, существуют ли две различные пифагоровы тройки с одинаковым произведением входящих в них чисел^[27].

Геометрия формулы Евклида[править | править код]

3, 4, 5 отображается в точку (4/5, 3/5) единичной окружности

Формулу Евклида для пифагоровой тройки

${displaystyle a=m^{2}-n^{2}, b=2mn, c=m^{2}+n^{2}}$

можно понять в терминах геометрии рациональных точек на единичной окружности ^[28]. Пусть имеется треугольник с катетами a и b и гипотенузой c, где a, b и c — положительные целые. По теореме Пифагора a² + b² = c², а после деления обеих сторон на c²

${displaystyle left({frac {a}{c}}right)^{2}+left({frac {b}{c}}right)^{2}=1.}$

Геометрически, точка на декартовой плоскости с координатами

${displaystyle x={frac {a}{c}}, y={frac {b}{c}}}$

лежит на единичной окружности x² + y² = 1.
В этом уравнении координаты x и y задаются рациональными числами. И обратно, любая точка на окружности с рациональными координатами x и y даёт примитивную пифагорову тройку. В самом деле, запишем x и y как несократимые дроби:

${displaystyle x={frac {a}{c}}, y={frac {b}{c}},}$

где наибольший общий делитель чисел a, b и c равен 1. Поскольку точка с координатами x и y лежит на единичной окружности, то

${displaystyle left({frac {a}{c}}right)^{2}+left({frac {b}{c}}right)^{2}=1implies a^{2}+b^{2}=c^{2},}$

что и требовалось доказать.

Стереографическая проекция единичной окружности на ось

x. Если задана точка

P на единичной окружности, проведём прямую из точки

P в точку N = (0, 1) (северный полюс). Прямая пересекает ось

x в точке

P′, которая является стереографической проекцией точки

P. И наоборот, начав с точки

P′ на оси

x, проводим прямую, проходящую через

P′ и

N, и обратная стереографическая проекция — это точка

P, в которой прямая пересекает окружность

Таким образом, существует соответствие между точками с рациональными координатами на единичной окружности^[en] и примитивными пифагоровыми треугольниками. Исходя из этого, формулы Евклида можно получить методами тригонометрии или с использованием стереографической проекции.

Для применения стереографического подхода предположим, что P′ является точкой на оси x с рациональными координатами

${displaystyle P'=left({frac {m}{n}},0right).}$

Тогда с помощью алгебраических вычислений можно показать, что точка P имеет координаты

${displaystyle P=left({frac {2left({frac {m}{n}}right)}{left({frac {m}{n}}right)^{2}+1}},{frac {left({frac {m}{n}}right)^{2}-1}{left({frac {m}{n}}right)^{2}+1}}right)=left({frac {2mn}{m^{2}+n^{2}}},{frac {m^{2}-n^{2}}{m^{2}+n^{2}}}right).}$

Таким образом, получаем, что любая рациональная точка^[en] оси x соответствует рациональной точке единичной окружности. И обратно, пусть P(x, y) — точка единичной окружности с рациональными координатами x и y. Тогда стереографическая проекция P′ на ось x имеет рациональные координаты

${displaystyle left({frac {x}{1-y}},0right).}$

В терминах алгебраической геометрии алгебраическое многообразие рациональных точек единичной окружности является бирациональным к аффинной прямой над рациональными числами. Единичная окружность тогда называется рациональной кривой. Соответствие рациональных точек прямой и окружности даёт возможность дать явную параметризацию (рациональных) точек на окружности с помощью рациональных функций.

Группа пифагоровых троек[править | править код]

Любая рациональная точка на единичной окружности соответствует пифагоровой тройке (a, b, c), точнее — обобщённой пифагоровой тройке, так как a и b могут быть нулевыми и отрицательными.

Пусть даны два пифагоровых треугольников (a₁, b₁, c₁) и (a₂, b₂, c₂) с углами α и β.
Можно построить треугольники с углами α ± β, используя формулы сложения углов:

${displaystyle {frac {a}{c}}=sin(alpha pm beta )=sin(alpha )cdot cos(beta )pm cos(alpha )cdot sin(beta )={frac {a_{1}b_{2}pm b_{1}a_{2}}{c_{1}c_{2}}},}$

${displaystyle {frac {b}{c}}=cos(alpha pm beta )=cos(alpha )cdot cos(beta )mp sin(alpha )cdot sin(beta )={frac {b_{1}b_{2}mp a_{1}a_{2}}{c_{1}c_{2}}}.}$

Эти прямоугольные треугольники тоже будут целочисленными, то есть пифагоровыми. Можно ввести операцию над тройками, используя вышеприведённые формулы. Эта операция будет коммутативной и ассоциативной, то есть обобщённые пифагоровы тройки образуют абелеву группу^[29].

Пифагоровы тройки на двумерной решётке[править | править код]

Двумерная решётка — это набор изолированных точек, в котором, если выбрать одну точку в качестве начала координат (0, 0), все другие точки имеют координаты (x, y), где x и y пробегают все положительные и отрицательные целые числа. Любую пифагорову тройку (a, b, c) можно нарисовать на двумерной решётке как точки с координатами (a, 0) и (0, b). По теореме Пика число точек решётки, лежащих строго внутри треугольника, задаётся формулой ^[30]. Для примитивных пифагоровых троек число точек решётки равно , и это сравнимо с площадью треугольника

Интересно, что первый случай совпадения площадей примитивных пифагоровых троек появляется на тройках (20, 21, 29), (12, 35, 37) с площадью 210^[31]. Первое же появление примитивных пифагоровых троек с одинаковым числом точек решётки появляется лишь на (18 108, 252 685, 253 333), (28 077, 162 964, 165 365) с числом точек 2 287 674 594^[32]. Найдены три примитивные пифагоровы тройки с одинаковыми площадями (4485, 5852, 7373), (3059, 8580, 9109), (1380, 19 019, 19 069) и площадью 13 123 110. Тем не менее ни одной тройки примитивных пифагоровых троек с одинаковым числом точек решётки пока не найдено.

Спиноры и модулярная группа[править | править код]

Пифагоровы тройки можно представить в виде матриц вида

${displaystyle X={begin{bmatrix}c+b&a\a&c-bend{bmatrix}}.}$

Матрица этого вида симметрична. Кроме того, её определитель

${displaystyle det X=c^{2}-a^{2}-b^{2}}$

равен нулю в точности тогда, когда (a, b, c) является пифагоровой тройкой. Если X соответствует пифагоровой тройке, то она должна иметь ранг 1.

Поскольку X симметрична, из линейной алгебры известно, что существует вектор ξ = [m n]^T, такой, что для внешнего произведения выполняется

${displaystyle X=2{begin{bmatrix}m\nend{bmatrix}}{begin{bmatrix}m&nend{bmatrix}}=2xi xi ^{T},}$

(1)

где T означает транспонирование. Вектор ξ называется спинором (для группы Лоренца SO(1, 2). В абстрактных терминах формула Евклида означает, что каждая примитивная пифагорова тройка может быть записана как внешнее произведение на себя спинора с целыми элементами, как в формуле (1).

Модулярная группа Γ — это множество матриц 2 × 2 с целыми элементами

${displaystyle A={begin{bmatrix}alpha &beta \gamma &delta end{bmatrix}}}$

и определителем, равным единице: αδ − βγ = 1. Это множество образует группу, поскольку обратная к матрице из Γ является снова матрицей из Γ, как и произведение двух матриц из Γ. Модулярная группа действует на множество всех целых спиноров. Более того, группа транзитивна на множестве целых спиноров со взаимно простыми элементами. Если [m n]^T содержит взаимно простые элементы, то

${displaystyle {begin{bmatrix}m&-v\n&uend{bmatrix}}{begin{bmatrix}1\0end{bmatrix}}={begin{bmatrix}m\nend{bmatrix}},}$

где u и v выбраны (с помощью алгоритма Евклида) так, что mu + nv = 1.

Действуя на спинор ξ в (1), действие в Γ переходит в действие над пифагоровыми тройками, позволяя при этом тройки с отрицательными значениями. Если A — матрица в Γ, то

${displaystyle 2(Axi )(Axi )^{T}=AXA^{T}}$

(2)

даёт начало действиям на матрицу X в (1). Это не даёт хорошо определённое действие на примитивные тройки, поскольку оно может переводить примитивную тройку в непримитивную. В этом месте принято (следуя Траутману^[28]) называть тройку (a, b, c) стандартной, если c > 0 и либо (a, b, c) взаимно просты, либо (a/2, b/2, c/2) взаимно просты и a/2 нечётно. Если спинор [m n]^T имеет взаимно простые элементы, то связанная тройка (a, b, c), задаваемая формулой (1), является стандартной тройкой. Отсюда следует, что действие модулярной группы транзитивно на множестве стандартных троек.

Альтернативно, ограничимся теми значениями m и n, для которых m нечётно, а n чётно. Пусть подгруппа Γ(2) группы Γ — ядро гомоморфизма

${displaystyle Gamma =mathrm {SL} (2,mathbf {Z} )to mathrm {SL} (2,mathbf {Z} _{2}),}$

где SL(2, Z₂) — специальная линейная группа над конечным полем Z₂ целых по модулю 2. Тогда Γ(2) является группой унимодулярных преобразований, которая сохраняет чётность каждого элемента. Таким образом, если элемент вектора ξ нечётный, а второй чётный, то то же самое верно для Aξ для всех A ∈ Γ(2). Фактически под действием (2) группа Γ(2) действует транзитивно на множество примитивных пифагоровых троек^[33].

Группа Γ(2) является свободной группой, генераторами которой являются матрицы

${displaystyle U={begin{bmatrix}1&2\0&1end{bmatrix}},qquad L={begin{bmatrix}1&0\2&1end{bmatrix}}.}$

Поэтому любая примитивная пифагорова тройка может быть получена единственным образом как произведение копий матриц U и L.

Отношения «родитель — потомок»[править | править код]

Как показал Берггрен^[34], все примитивные пифагоровы тройки могут быть получены из треугольника (3, 4, 5) с использованием трёх линейных преобразований T1, T2, T3, где a, b, c являются сторонами тройки:

	новая сторона a	новая сторона b	новая сторона c
T1:	a − 2b + 2c	2a − b + 2c	2a − 2b + 3c
T2:	a + 2b + 2c	2a + b + 2c	2a + 2b + 3c
T3:	−a + 2b + 2c	−2a + b + 2c	−2a + 2b + 3c

Если начать с 3, 4, 5, то все другие примитивные тройки, в конечном счёте, будут получены. Другими словами, любая примитивная тройка будет «родителем» 3 дополнительным примитивным тройкам.
Если начать с a = 3, b = 4 и c = 5, то следующим поколением троек будет

новая сторона a	новая сторона b	новая сторона c
3 − (2×4) + (2×5) = 5	(2×3) − 4 + (2×5) = 12	(2×3) − (2×4) + (3×5) = 13
3 + (2×4) + (2×5) = 21	(2×3) + 4 + (2×5) = 20	(2×3) + (2×4) + (3×5) = 29
−3 + (2×4) + (2×5) = 15	−(2×3) + 4 + (2×5) = 8	−(2×3) + (2×4) + (3×5) = 17

Линейные преобразования T1, T2 и T3 имеют геометрическую интерпретацию на языке квадратичных форм. Они тесно связаны (но не эквивалентны) с отражениями, генерируемыми ортогональной группой x² + y² − z² над целыми числами. Другое множество трёх линейных преобразований обсуждается в статье Генерация пифагоровых троек с помощью матриц и линейных преобразований^[en]^[35].

Связь с гауссовыми целыми числами[править | править код]

Формулы Евклида могут быть проанализированы и доказаны с помощью гауссовых целых чисел^[36]. Гауссовы целые — это комплексные числа вида α = u + vi, где u и v обычные целые числа, а i — корень из минус единицы. Единицы гауссовых целых — это ±1 и ±i. Обычные целые называются целыми и обозначаются Z. Гауссовы целые обозначаются Z[i]. Правая часть теоремы Пифагора можно разложить на гауссовы целые:

$c^{2}=a^{2}+b^{2}=(a+bi)overline {(a+bi)}=(a+bi)(a-bi).$

Примитивная пифагорова тройка — это тройка, в которой a и b взаимно просты, то есть не имеют общих простых делителей. Для таких троек либо a, либо b чётно, а второе нечётно. Отсюда следует, что c также нечётно.

Каждое из двух множителей z = a + bi и z* = a — bi примитивной пифагоровой тройки равно квадрату гауссового целого. Это можно доказать с помощью свойства, что любое гауссово целое можно единственным образом разложить на гауссовы простые с точностью до единицы^[37]. (Единственность разложения, грубо говоря, следует из того, что для них можно определить версию алгоритма Евклида) Доказательство имеет три шага. Сначала доказывается, что если a и b не имеют простых чисел в целых числах, то они не имеют простых общих множителей в гауссовых целых. Отсюда следует, что z и z* не имеют общих простых множителей в гауссовых целых. И наконец, поскольку c² является квадратом, любое гауссово простое в разложении повторяется дважды. Поскольку z и z* не имеют общих простых множителей, это удвоение верно и для них. Следовательно, z и z* являются квадратами.

Таким образом, первый множитель можно записать в виде

$a+bi=varepsilon left(m+niright)^{2},quad varepsilon in {pm 1,pm i}.$

Вещественные и мнимые части этого уравнения дают две формулы:

${begin{cases}varepsilon =+1,&quad a=+left(m^{2}-n^{2}right),quad b=+2mn;\varepsilon =-1,&quad a=-left(m^{2}-n^{2}right),quad b=-2mn;\varepsilon =+i,&quad a=-2mn,quad b=+left(m^{2}-n^{2}right);\varepsilon =-i,&quad a=+2mn,quad b=-left(m^{2}-n^{2}right).end{cases}}$

Для любой примитивной пифагоровой тройки должны существовать целые m и n, такие что эти два равенства выполняются. Отсюда, любая пифагорова тройка может быть получена путём выбора этих целых.

Как полный квадрат гауссовых целых[править | править код]

Если взять квадрат гауссового целого, мы получим следующую интерпретацию формул Евклида как представление полного квадрата гауссовых целых.

$(m+ni)^{2}=(m^{2}-n^{2})+2mni.$

Если использовать факт, что гауссовы целые являются евклидовой областью и то, что для гауссовых целых p квадрат модуля $|p|^{2}$ всегда является полным квадратом, можно показать, что пифагоровы тройки соответствуют квадратам простых гауссовых целых, если гипотенуза является простым числом.

Распределение троек[править | править код]

Имеется множество результатов относительно распределения пифагоровых троек. В диаграмме рассеяния проявляются некоторые очевидные закономерности. Если катеты (a, b) примитивной тройки появляются на диаграмме, то и все произведения на целое число этих катетов должны также быть на диаграмме, и это свойство объясняет появление на диаграмме радиальных прямых из начала координат.

На диаграмме наблюдаются множества парабол с высокой плотностью точек, имеющих фокусы в начале координат. Параболы отражаются от осей с углом 45 градусов, и в той же точке третья парабола подходит к оси перпендикулярно.

Эти узоры можно объяснить следующим образом. Если $a^{2}/4n$ натуральное число, то (a, ${displaystyle |n-a^{2}/4n|}$ , ${displaystyle n+a^{2}/4n}$ ) является пифагоровой тройкой. (Фактически, любая пифагорова тройка (a, b, c) может быть записана таким образом с целым n, возможно, после обмена a и b местами, поскольку и a, b не могут быть одновременно нечётными.) Пифагоровы тройки лежат тогда на кривых, заданных уравнениями ${displaystyle b=|n-a^{2}/4n|}$ . Таким образом, параболы отражаются от оси a, а соответствующие кривые с a и b меняются местами. Если a меняется при заданном n (то есть на выбранной параболе), целые значения b появляются относительно часто, если n является квадратом или произведением квадрата на небольшое число. Если некоторые такие значения лежат близко друг от друга, соответствующие параболы почти совпадают и тройки образуют узкую параболическую ленту. Например, 38² = 1444, 2 × 27² = 1458, 3 × 22² = 1452, 5 × 17² = 1445 и 10 × 12² = 1440. Соответствующая параболическая лента около n ≈ 1450 чётко видна на диаграмме рассеяния.

Угловые свойства, описанные выше следуют немедленно из функционального вида парабол. Параболы отражаются от оси a в точке a = 2n и производная b по a в этой точке равна −1. Таким образом, угол наклона равен 45°.
Поскольку кластеры, как и треугольники, повторяются при умножении на целую константу, значение 2n тоже принадлежит кластеру. Соответствующая парабола пересекает ось b под прямым углом в точке b = 2n, а потому является симметричным отражением параболы, которая получается обменом переменных a и b и которая пересекает ось a под прямым углом в точке a = 2n.

Альберт Фесслер (Albert Fässler) и др. показали значимость этих парабол в контексте конформных отображений^[38]^[39].

Специальные случаи[править | править код]

Последовательность Платона[править | править код]

Случай n = 1 общей конструкции пифагоровых троек известен давно. Прокл, в своём комментарии к 47-му утверждению в первой книге Начал Евклида, описывает это следующим образом:

Некоторые методы получения таких треугольников этого вида легко получить, один из них принадлежит Платону, другой — Пифагору. (Последний) начал с нечётных чисел. Для этого он выбрал нечётное число в качестве меньшего из катетов. Затем он возвёл его в квадрат, вычел единицу и половину этой разницы использовал как второй катет. Наконец, он добавил единицу к этому катету и получил гипотенузу.

…Метод Платона работает с чётными числами. Он использует заданное чётное число в качестве одного из катетов. Половина этого числа возводится в квадрат и добавляется единица, что даёт гипотенузу, а вычитание единицы даёт второй катет. … И это даёт тот же треугольник, что и другой метод.

В виде уравнений:

Можно показать, что все пифагоровы тройки получаются из последовательности Платона (x, y, z) = p, (p² − 1)/2 и (p² + 1)/2, если позволить p принимать нецелые (рациональные) значения. Если в этой последовательности p заменить рациональной дробью m/n, получим ‘стандартный’ генератор троек 2mn, m² − n² и m² + n². Отсюда следует, что любой тройке соответствует рациональное значение p, которое можно использовать для получения подобного треугольника с рациональными сторонами, пропорциональными сторонам исходного треугольника. Например, платоновым эквивалентом тройке (6, 8, 10) будет (3/2; 2, 5/2).

Уравнение Якоби — Маддена[править | править код]

Уравнение

${displaystyle a^{4}+b^{4}+c^{4}+d^{4}=(a+b+c+d)^{4}}$

эквивалентно специальной диофантовой тройке

${displaystyle (a^{2}+ab+b^{2})^{2}+(c^{2}+cd+d^{2})^{2}=((a+b)^{2}+(a+b)(c+d)+(c+d)^{2})^{2}.}$

Существует бесконечное число решений этого уравнения, которые можно получить используя эллиптическую кривую. Два из этих решений:

{displaystyle a,b,c,d=-2634,955,1770,5400,}

{displaystyle a,b,c,d=-31764,7590,27385,48150.}

Равные суммы двух квадратов[править | править код]

Один из способов генерации решений для ${displaystyle a^{2}+b^{2}=c^{2}+d^{2}}$ — параметризовать a, b, c, d в терминах натуральных чисел m, n, p, q следующим образом:^[40]

${displaystyle (m^{2}+n^{2})(p^{2}+q^{2})=(mp-nq)^{2}+(np+mq)^{2}=(mp+nq)^{2}+(np-mq)^{2}.}$

Равные суммы двух четвёртых степеней[править | править код]

Если даны два набора пифагоровых троек:

${displaystyle (a^{2}-b^{2})^{2}+(2ab)^{2}=(a^{2}+b^{2})^{2},}$

${displaystyle (c^{2}-d^{2})^{2}+(2cd)^{2}=(c^{2}+d^{2})^{2},}$

то задача поиска равных произведений катета и гипотенузы

${displaystyle (a^{2}-b^{2})(a^{2}+b^{2})=(c^{2}-d^{2})(c^{2}+d^{2}),}$

как легко видеть, эквивалентна уравнению

${displaystyle a^{4}-b^{4}=c^{4}-d^{4},}$

то есть

${displaystyle a^{4}+d^{4}=b^{4}+c^{4},}$

для которого Эйлер получил решение . Поскольку он показал, что эта точка является рациональной точкой эллиптической кривой, то существует бесконечное число решений. Фактически, он также нашёл полиномиальную параметризацию 7-й степени.

Теорема Декарта об окружностях[править | править код]

В случае теоремы Декарта^[en], когда все переменные являются квадратами,

${displaystyle 2(a^{4}+b^{4}+c^{4}+d^{4})=(a^{2}+b^{2}+c^{2}+d^{2})^{2}.}$

Эйлер показал, что это эквивалентно трём пифагоровым тройкам:

${displaystyle (2ab)^{2}+(2cd)^{2}=(a^{2}+b^{2}-c^{2}-d^{2})^{2},}$

${displaystyle (2ac)^{2}+(2bd)^{2}=(a^{2}-b^{2}+c^{2}-d^{2})^{2},}$

${displaystyle (2ad)^{2}+(2bc)^{2}=(a^{2}-b^{2}-c^{2}+d^{2})^{2}.}$

Здесь тоже существует бесконечное число решений, а для специального случая уравнение упрощается до

${displaystyle 4(a^{2}+ab+b^{2})=d^{2},}$

которое имеет решение с небольшими числами и может быть решено как бинарная квадратичная форма^[en].

Почти равнобедренные пифагоровы тройки[править | править код]

Имеются прямоугольные треугольники^[en] с целыми сторонами, у которых длины катетов отличаются на единицу, например:

${displaystyle 3^{2}+4^{2}=5^{2},}$

${displaystyle 20^{2}+21^{2}=29^{2}}$

и бесконечное число других. Для них можно вывести общую формулу

${displaystyle left({frac {x-1}{2}}right)^{2}+left({frac {x+1}{2}}right)^{2}=y^{2},}$

где (x, y) являются решениями уравнения Пелля ${displaystyle x^{2}-2y^{2}=-1}$ .

В случае, когда катет и гипотенуза отличаются на единицу, как в случаях

${displaystyle 5^{2}+12^{2}=13^{2},}$

${displaystyle 7^{2}+24^{2}=25^{2},}$

общим решением будет

${displaystyle (2m+1)^{2}+(2m^{2}+2m)^{2}=(2m^{2}+2m+1)^{2},}$

откуда видно, что все нечётные числа (большие 1) появляются в примитивных пифагоровых тройках.

Обобщения[править | править код]

Имеется несколько вариантов обобщения концепции пифагоровых троек.

Пифагоровы четвёрки[править | править код]

Множество из четырёх натуральных чисел a, b, c и d, таких, что a² + b²+ c² = d² называется пифагоровой четвёркой. Простейший пример — (1, 2, 2, 3), поскольку 1² + 2² + 2² = 3².
Следующий (примитивный) простейший пример — (2, 3, 6, 7), поскольку 2² + 3² + 6² = 7².

Все четвёрки задаются формулой

$(m^{2}+n^{2}-p^{2}-q^{2})^{2}+(2mq+2np)^{2}+(2nq-2mp)^{2}=(m^{2}+n^{2}+p^{2}+q^{2})^{2}.$

Пифагоровы n-наборы[править | править код]

Используя простое алгебраическое тождество

${displaystyle (x_{1}^{2}-x_{0})^{2}+(2x_{1})^{2}x_{0}=(x_{1}^{2}+x_{0})^{2}}$

для произвольных x₀, x₁, просто доказать, что квадрат суммы n квадратов сам является суммой n квадратов, для чего положим x₀ = x₂² + x₃² + … + x_n² и раскроем скобки^[41]. Можно легко видеть, что пифагоровы тройки и четвёрки являются просто частными случаями x₀ = x₂² и x₀ = x₂² + x₃² соответственно, что можно продолжать для других n, используя формулу для пятёрки квадратов

${displaystyle (a^{2}-b^{2}-c^{2}-d^{2})^{2}+(2ab)^{2}+(2ac)^{2}+(2ad)^{2}=(a^{2}+b^{2}+c^{2}+d^{2})^{2}.}$

Поскольку сумма F(k,m) k последовательных квадратов, начиная с m², задаётся формулой^[42]

${displaystyle F(k,m)=km(k-1+m)+{frac {k(k-1)(2k-1)}{6}},}$

можно найти значения (k, m) такие, что F(k,m) является квадратом. Так, Хиршхорн нашёл формулу для последовательностей, в которых число членов само является квадратом^[43],

${displaystyle m={frac {v^{4}-24v^{2}-25}{48}},k=v^{2}, F(m,k)={frac {v^{5}+47v}{48}}}$

и v ⩾ 5 есть любое натуральное число, не делящееся на 2 или 3. Наименьшее значение v = 5, откуда k = 25, что даёт хорошо известное значение из задачи Люка складирования пушечных ядер:

${displaystyle 0^{2}+1^{2}+2^{2}+dots +24^{2}=70^{2},}$

факт, который связан с решёткой Лича.

Кроме того, если в пифагоровом n-наборе (n ⩾ 4) все слагаемые являются последовательными натуральными числами, за исключением последнего, можно использовать равенство^[44]

${displaystyle F(k,m)+p^{2}=(p+1)^{2}.}$

Поскольку вторая степень p сокращается, остаётся линейное уравнение, которое легко решается , хотя k и m следует выбрать так, чтобы p был целым, и пример получаем при k = 5 и m = 1:

${displaystyle 1^{2}+2^{2}+3^{2}+4^{2}+5^{2}+27^{2}=28^{2}.}$

Таким образом, получаем метод генерации пифагоровых n-наборов путём подбора x^[45]:

${displaystyle x^{2}+(x+1)^{2}+dots +(x+q)^{2}+p^{2}=(p+1)^{2},}$

где q = n − 2 и

${displaystyle p={frac {1}{2}}left((q+1)x^{2}+q(q+1)x+{frac {q(q+1)(2q+1)}{6}}-1right).}$

Великая теорема Ферма[править | править код]

Обобщением концепции пифагоровых троек служит поиск троек натуральных чисел a, b и c, таких, что aⁿ + bⁿ = cⁿ для некоторого n, большего 2. Пьер Ферма в 1637 году высказал утверждение, что таких троек не существует, и это утверждение стало известно как Великая теорема Ферма, поскольку её доказательство или опровержение отняло много больше времени, чем любая другая гипотеза Ферма. Первое доказательство было дано Уайлсом в 1994 году.

n — 1 или n n-х степеней как n-я степень[править | править код]

Другим обобщением является поиск последовательностей из n + 1 натуральных чисел, для которых n-я степень последнего члена последовательности равна сумме n-х степеней предыдущих членов. Наименьшие последовательности для известных значений n:

n = 3: {3, 4, 5; 6}.
n = 4: {30, 120, 272, 315; 353}
n = 5: {19, 43, 46, 47, 67; 72}
n = 7: {127, 258, 266, 413, 430, 439, 525; 568}
n = 8: {90, 223, 478, 524, 748, 1088, 1190, 1324; 1409}

В слегка отличном обобщении сумма (k + 1) n-х степеней приравнивается сумме (n − k) n-х степеней. Например:

(n = 3): 1³ + 12³ = 9³ + 10³. Пример стал известным после воспоминаний Харди о разговоре с Рамануджаном о числе 1729, которое является наименьшим числом, которое можно представить в виде суммы двух кубов двумя различными способами.

Может существовать также n − 1 n-х степеней натуральных чисел, дающих в сумме n-ю степень натурального числа (хотя, согласно великой теореме Ферма, не для n = 3). Эти последовательности являются контрпримерами гипотезе Эйлера. Наименьшие известные контрпримеры^[46]^[47]

n = 4: (95800, 217519, 414560; 422481)
n = 5: (27, 84, 110, 133; 144)

Тройки треугольника Герона[править | править код]

Треугольник Герона обычно определяется как треугольник с целыми сторонами, площадь которого тоже целое число, и мы будем полагать, что стороны треугольника различны. Длины сторон такого треугольника образуют тройку Герона (a, b, c), где a < b < c.
Ясно, что пифагоровы тройки являются тройками Герона, поскольку в пифагоровой тройке по меньшей мере один из катетов a и b является чётным числом, так что площадь треугольника ab/2 будет целым числом. Не всякая тройка Герона является пифагоровой, поскольку, например, тройка (4, 13, 15) с площадью 24 не пифагорова.

Если (a, b, c) является тройкой Герона, то таковой будет и (ma, mb, mc) при любом натуральном m, большим единицы.
Тройка Герона (a, b, c) примитивна, если a, b и c попарно взаимно просты (как и в случае пифагоровых троек). Ниже приведено несколько троек Герона, не являющихся пифагоровыми:

(4, 13, 15) с площадью 24,

(3, 25, 26) с площадью 36,

(7, 15, 20) с площадью 42,

(6, 25, 29) с площадью 60,

(11, 13, 20) с площадью 66,

(13, 14, 15) с площадью 84,

(13, 20, 21) с площадью 126.

По формуле Герона, чтобы тройка натуральных чисел (a, b, c) с a < b < c была тройкой Герона, необходимо, чтобы

(a² + b² + c²)² − 2 (a⁴ + b⁴ + c⁴)

или, что то же самое,

2 (a²b² + a²c² + b²c²) − (a⁴ + b⁴ + c⁴)

было ненулевым полным квадратом, делящимся на 16.

Использование[править | править код]

Примитивные пифагоровы тройки используются в криптографии в качестве случайных последовательностей и для генерации ключей^[48].

См. также[править | править код]

Геронов треугольник
Диофант II.VIII^[en]
Египетский треугольник
Негипотенузное число
Пифагорова четвёрка
Простое число Пифагора
Прямоугольный треугольник
Сравнение по модулю
Совершенный кубоид
Теорема Пифагора
Теорема Гильберта 90
Теорема Ферма о прямоугольном треугольнике
Тригонометрические тождества
Тройка Эйзенштейна
Формула тангенса половинного угла
Целочисленный треугольник

Примечания[править | править код]

↑ В. Серпинский. Пифагоровы треугольники. — М.: Учпедгиз, 1959. — 111 с.
↑ Robson, Eleanor (February 2002), Words and pictures: new light on Plimpton 322, American Mathematical Monthly (Mathematical Association of America) . — Т. 109 (2): 105–120, doi:10.2307/2695324, <http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Robson105-120.pdf> Архивная копия от 10 августа 2017 на Wayback Machine
↑ D. E. Joyce. Euclid’s Elements. — Clark University, June 1997. — С. Book X, Proposition XXIX.
↑ Douglas W. Mitchell. An Alternative Characterisation of All Primitive Pythagorean Triples // The Mathematical Gazette. — July 2001. — Т. 85, вып. 503. — С. 273–5. — JSTOR 3622017.
↑ Raymond A. Beauregard, E. R. Suryanarayan. Proofs Without Words: More Exercises in Visual Thinking / Roger B. Nelsen. — Mathematical Association of America, 2000. — Т. II. — С. 120. — ISBN 978-0-88385-721-2.
↑ Eli Maor. The Pythagorean Theorem. — Princeton University Press, 2007. — С. Appendix B.
↑ ¹ ² ³ Sierpinski, 2003.
↑ Houston, 1993, с. 141.
↑ Posamentier, 2010, с. 156.
↑ Несуществование решения, в котором и a, и b являются квадратами, первоначально доказано Пьером Ферма. Для других случаев, в которых c является одним из квадратов, см. в книге Стиллвела.
↑ Carmichael, 1959, с. 17.
↑ Carmichael, 1959, с. 21.
↑ Sierpinski, 2003, с. 4—6.
↑ Sierpinski, 2003, с. 23—25.
↑ MacHale, Bosch, 2012, с. 91—96.
↑ Sally, 2007, с. 74—75.
↑ Это следует из факта, что одно из чисел a или b делится на четыре, и из определения конгруэнтных чисел как площадей прямоугольных треугольников с рациональными сторонами
↑ Baragar, 2001, с. 301, упражнение 15.3.
↑ Bernhart, Price, 2005.
↑ Bernhart, Price, 2005, с. 6.
↑ Carmichael, 1959, с. 14.
↑ Rosenberg, Spillane, Wulf, May 2008, с. 656—663.
↑ Paul Yiu, 2008.
↑ Sierpinski, 2003, с. 31.
↑ Pickover, 2009, с. 40.
↑ Paul Yiu, 2008, с. 17.
↑ Weisstein, Eric W. Пифагорова тройка (англ.) на сайте Wolfram MathWorld.
↑ ¹ ² Trautman, 1998.
↑ Eckert, 1984.
↑ Paul Yiu, 2003.
↑ Последовательность A093536 в OEIS.
↑ Последовательность A225760 в OEIS.
↑ Alperin, 2005.
↑ Berggren, 1934.
↑ Дальнейшее обсуждение отношения «родитель — потомок» — Pythagorean triple (Wolfram) Архивная копия от 17 марта 2015 на Wayback Machine, Alperin, 2005.
↑ Stillwell, 2002, с. 110–2 Глава 6.6 Pythagorean Triples.
↑ Gauss, 1832 См. также Werke, 2:67-148.
↑ 1988 Preprint Архивная копия от 9 августа 2011 на Wayback Machine См. рисунок 2 на с. 3. Позднее это было напечатано в (Fässler 1991)
↑ Benito, Varona, 2002, с. 117–126.
↑ Nahin, Paul. An Imaginary Tale: The Story of p. 25—26.
↑ A Collection of Algebraic Identities: Sums of n Squares. Дата обращения: 15 марта 2015. Архивировано 6 марта 2012 года.
↑ Sum of consecutive cubes equal a cube. Архивировано из оригинала 15 мая 2008 года.
↑ Michael Hirschhorn. When is the sum of consecutive squares a square? // The Mathematical Gazette. — November 2011. — Т. 95. — С. 511–2. — ISSN 0025-5572.
↑ John F. Jr. Goehl. Reader reflections // Mathematics Teacher. — May 2005. — Т. 98, вып. 9. — С. 580.
↑ John F. Goehl, Jr. Triples, quartets, pentads // Mathematics Teacher. — May 2005. — Т. 98. — С. 580.
↑ Scott Kim. Bogglers // Discover. — May 2002. — С. 82.
Уравнение ${displaystyle w^{4}+x^{4}+y^{4}=z^{4}}$ сложнее, лишь в 1988 году после 200 лет безуспешных попыток математиков доказать невозможность решить уравнение Ноам Элкис из Гарварда нашёл контрпример — 2.682.440⁴ + 15.365.639⁴ + 18.796.760⁴ = 20.615.673⁴:

Noam Elkies. On A⁴ + B⁴ + C⁴ = D⁴ // Mathematics of Computation. — 1988. — Т. 51. — С. 825–835.
↑ MacHale, Bosch, 2012, с. 91-96.
↑ S. Kak, M. Prabhu. Cryptographic applications of primitive Pythagorean triples // Cryptologia. — 2014. — Т. 38, вып. 3. — С. 215-222.

Литература[править | править код]

R. D. Carmichael. The Theory of Numbers and Diophantine Analysis. — Dover Publ, 1959. — С. Diophantine analysis.
Waclaw Sierpinski. Pythagorean Triangles. — Dover, 2003. — ISBN 978-0-486-43278-6.
John Stillwell. Numbers and Geometry. — Springer, 1998. — С. 133. — (Undergraduate Texts in Mathematics). — ISBN 9780387982892.
Thomas Koshy. Elementary Number Theory with Applications. — Academic Press, 2002. — С. 545. — ISBN 9780124211711.
David Houston. Proofs Without Words: Exercises in Visual Thinking / Roger B. Nelsen. — Mathematical Association of America, 1993. — С. 141. — ISBN 978-0-88385-700-7.
Alfred S. Posamentier. The Pythagorean Theorem: The Story of Its Power and Beauty. — Prometheus Books, 2010. — ISBN 9781616141813.
Des MacHale, Christian van den Bosch. Generalising a result about Pythagorean triples // Mathematical Gazette. — 2012. — Т. 96.
Judith D. Sally. Roots to Research: A Vertical Development of Mathematical Problems. — American Mathematical Society, 2007. — ISBN 9780821872673..
Neal Koblitz. Introduction to Elliptic Curves and Modular Forms. — Springer, 1993. — Т. 97. — (Graduate Texts in Mathematics). — ISBN 9780387979663.
Arthur Baragar. A Survey of Classical and Modern Geometries: With Computer Activities. — Prentice Hall, 2001. — ISBN 9780130143181.
Paul Yiu. Heron triangles which cannot be decomposed into two integer right triangles. — 41st Meeting of Florida Section of Mathematical Association of America, 2008.
Clifford A. Pickover. The Math Book. — Sterling, 2009. — С. Глава «Pythagorean Theorem and Triangles». — ISBN 1402757964.
John Stillwell. Elements of Number Theory. — Springer, 2002. — ISBN 978-0-387-95587-2.
Pythagorean Triples and the Unit Circle Архивная копия от 15 декабря 2011 на Wayback Machine, chap. 2-3, in «A Friendly Introduction to Number Theory Архивная копия от 6 марта 2015 на Wayback Machine» by Joseph H. Silverman, 3rd ed., 2006, Pearson Prentice Hall, Upper Saddle River, NJ, ISBN 0-13-186137-9
Дмитрий Викторович Аносов. Взгляд на математику и нечто из неё. — 2-е изд. — М.: МЦНМО, 2003. — Т. 3. — 32 с. — (Библиотека «Математическое просвещение»). — 3000+1500 экз. — ISBN 5-94057-111-5. Архивная копия от 12 января 2014 на Wayback Machine

Ссылки[править | править код]

Paul Yiu. Recreational Mathematics // Course Notes, Dept. of Mathematical Sciences, Florida Atlantic University. — 2003.
Frank R. Bernhart, H. Lee Price. Heron’s formula, Descartes circles, and Pythagorean triangles. — 2005. arXiv
Steven Rosenberg, Michael Spillane, Daniel B. Wulf. Heron triangles and moduli spaces // Mathematics Teacher. — May 2008. — Т. 101.
Gauss C. F. Theoria residuorum biquadraticorum // Comm. Soc. Reg. Sci. Gött. Rec.. — 1832. — Т. 4.
Albert Fässler. Multiple Pythagorean number triples // American Mathematical Monthly. — 1991. — Т. 98, вып. 6. — JSTOR 2324870.
Manuel Benito, Juan L. Varona. Pythagorean triangles with legs less than n. — 2002. — Т. 143. — doi:10.1016/S0377-0427(01)00496-4.
Roger C. Alperin. The modular tree of Pythagoras // American Mathematical Monthly. — Mathematical Association of America, 2005. — Т. 112, вып. 9. — С. 807–816. — JSTOR 30037602.
B. Berggren. Pytagoreiska trianglar (швед.) // Tidskrift för elementär matematik, fysik och kemi. — 1934. — Т. 17. — С. 129–139.
Ernest Eckert. Primitive Pythagorean triples // The College Mathematics Journal. — Mathematical Association of America, 1992. — Т. 23, вып. 5. — С. 413–417. — JSTOR 2686417.
Ernest J. Eckert, Preben Dahl Vesrergaard. Groups of integral triangles // The Fibonacci Quarterly. — 1989. — Т. 27, вып. 5. — С. 458—464.
Ernest J. Eckert. The Group of Primitive Pythagorean Triangles // Mathematics Magazine. — 1984. — Т. 57.
Noam Elkies. Pythagorean triples and Hilbert’s theorem 90.
Artemas Martin. Rational right angled triangles nearly isosceles // The Analyst. — Annals of Mathematics, 1875. — Т. 3, вып. 2. — С. 47–50. — doi:10.2307/2635906. — JSTOR 2635906.
Andrzej Trautman. Geometric universe / S. A. Hugget, L. J. Mason, K. P. Tod, S. T. Tsou, N. M. J. Woodhouse. — 1998.
Weisstein, Eric W. Pythagorean Triple (англ.) на сайте Wolfram MathWorld.

Источник

План урока:

Теорема Пифагора

Задачи на применение теоремы Пифагора

Пифагоровы тройки

Обратная теорема Пифагора

Формула Герона

Теорема Пифагора

Попытаемся установить связь между гипотенузой и катетами прямоугольного треугольника. Пусть в некотором прямоугольном треуг-ке катеты имеют длины а и b, а гипотенуза равна с. Пусть один из острых углов треуг-ка составляет α, тогда другой острый угол должен равняться 90 – α:

Далее возьмем 4 таких треуг-ка и расположим их следующим образом:

Здесь мы прикладываем треуг-ки так, чтобы их разные катеты образовали одну сторону четырехугольника. В результате получается большой квадрат со стороной a + b. Квадратом он является по определению, ведь все его стороны одинаковы, а углы – прямые.

Изучим центральную фигуру, чью площадь мы обозначили как S₂. Это четырехуг-к, причем все его стороны равны с, то есть длине гипотенузы треугольника. С другой стороны, каждый его угол можно найти, вычтя из 180° величины α и 90° – α:

Получается, что всего его углы прямые, то есть он является квадратом. Найдем его площадь:

Вернемся к большому квадрату. С одной стороны, его площадь можно записать как сумму площадей фигур, его составляющих:

Cдругой стороны, эту же площадь можно найти, просто возведя в квадрат его сторону:

Получили формулу, в которой и заключен смысл теоремы Пифагора:

Изучим несколько простейших примеров использования теоремы Пифагора.

Задание. Длины катетов прямоугольного треугольника составляют 5 и 12. Определите длину гипотенузы.

Решение. Запишем теорему Пифагора:

Задание. Длина катета треугольника составляет 3, а гипотенузы – 5. Какова длина другого катета?

Решение: На это раз нам известен один из катетов а = 3 и гипотенуза с = 5. Подставим в теорему Пифагора эти числа:

Теорема Пифагора имеет огромное значение для геометрии и смежных дисциплин. Приведенное здесь ее доказательство является одним из простейших, но отнюдь не единственным. Сегодня человечеству известно 367 различных доказательств теоремы Пифагора, что лишь показывает ее огромную значимость.

На самом деле Пифагор, известный древнегреческий математик, не был первым, кто обнаружил это равенство. Пифагор родился примерно в 570 г. до н. э., однако ещё египтяне знали про прямоугольный треуг-к со сторонами 3, 4 и 5. Поэтому его часто именуют египетским треугольником.

Также вычислять стороны прямоугольного треуг-ка умели и в Вавилоне уже за 1000 лет до рождения Пифагора. Вероятно, Пифагор узнал о формуле от вавилонян, а сам лишь вывел ее доказательство (вавилоняне не утруждали себя необходимостью доказывать теоремы геометрии). Утверждается, что Пифагор принес сделал жертвоприношение в размере 100 быков после того, как смог доказать теорему.

Задание. Вычислите гипотенузу равнобедренного прямоугольного треуг-ка, чьи катеты имеют единичную длину.

Решение. В теорему Пифагора вместо букв a и b подставим единицу:

Обратите внимание, что в данной задаче в качестве длины гипотенузы прямоугольного треугольника получилось иррациональное число. Исторически именно при решении подобной задачи люди (это были ученики Пифагора) впервые столкнулись с иррациональными числами. Перед дальнейшим изучением темы есть смысл вспомнить основные правила вычислений с квадратными корнями.

Задание. На рисунке построен произвольный квадрат. Предложите способ, как построить квадрат с вдвое большей площадью.

Решение. Проведем в исходном квадрате диагональ. Далее построим новый квадрат со стороной, равной этой гипотенузе:

Докажем, что получившийся квадрат (его стороны отмечены синим цветом) вдвое больше исходного квадрата. Пусть сторона изначального квадрата равна х.Тогда его площадь составляет х². Диагональ разбивает квадрат на два прямоугольных треуг-ка, в которых она является гипотенузой.

Запишем для одного из них теорему Пифагора:

Но площадь квадрата равна его стороне, возведенной во вторую степень, поэтому величина с²– это площадь большого (на рисунке – синего)квадрата, а х² – площадь маленького:

Подставим эти выражения в формулу, выведенную из теоремы Пифагора, и получим, что площадь большего квадрата ровно вдвое больше:

Задание. Найдите площадь равнобедренного прямоугольного треуг-ка, гипотенуза которого имеет длину 10.

Решение. Обозначим катеты переменной х, тогда теорема Пифагора будет выглядеть как уравнение:

Задание. Один из острых углов прямоугольного треугольника составляет 30°, а его гипотенуза равна 10. Найдите оба катета.

Решение. Мы знаем, что в прямоугольном треуг-ке с острым углом 30° гипотенуза вдвое длиннее меньшего катета (он как раз лежит против угла 30°), мы можем найти этот катет:

10:2 = 5

Другой катет находим с помощью теоремы Пифагора:

Задачи на применение теоремы Пифагора

Теорема Пифагора используется в огромном количестве геометрических задач. С ее помощью можно находить диагонали некоторых четырехуг-ков, длины высот, вычислять площади.

Задание. Стороны прямоуг-ка имеют длину 8 и 15 см. Найдите длину его диагонали.

Решение. Рассмотрим произвольный прямоугольник АВСD. Если в нем провести диагональ ВD, то получится прямоугольный треуг-к АВD. Пусть АВ = 15, АD = 8. Запишем теорему Пифагора для ∆АВD:

Задание. В равнобедренном треуг-ке основание имеет длину 16 см, а боковые стороны составляют 17 см. Найдите длину высоты, проведенной к основанию этого треуг-ка, а также площадь треуг-ка.

Решение. Напомним, что высота, опущенная к основанию равнобедренного треуг-ка, одновременно является и медианой, и биссектрисой. Это значит, что Н – середина АВ. Тогда можно найти длину отрезков АН и НВ:

Теперь можно рассмотреть ∆АСН. Он прямоугольный, и нам известно его гипотенуза (она является боковой стороной ∆АВС и по условию равна 17 см) и катет АН. Тогда можно найти и второй катет, то есть высоту СН:

Задание. Высота равностороннего треуг-ка составляет 4 см. Найдите его сторону.

Решение. Напомним, что в равностороннем треуг-ке все углы равны 60°. Также учтем, что высота в равностороннем треуг-ке является также и биссектрисой и медианой:

Рассмотрим ∆АСН. Он прямоугольный, и один из его углов составляет 60°. Значит, другой угол составляет 30°. Но в таком треуг-ке гипотенуза вдвое больше катета, лежащего против ∠30°:

Обратите внимание, мы специально домножили дробь на корень из 3, чтобы корень оказался в числителе, а не знаменателе. Т.к. в таком виде проще работать с квадратными корнями.

Итак, мы нашли АН. Теперь можно найти сторону АС, которая вдвое длиннее:

Задание. Составьте формулу для нахождения площади равностороннего треуг-ка, если известна только его сторона.

Решение. Обозначим сторону треуг-ка буквой а. Для вычисления площади необходимо найти высоту:

Как и в предыдущей задаче, отрезок АС вдвое длиннее АН:

Высоту мы нашли. Осталось найти площадь:

Задание. В прямоугольном треуг-ке, катеты которого имеют длину 60 и 80, проведена высота к гипотенузе. Найдите высоту гипотенузы, а также длину отрезков, на которые эта высота разбивает гипотенузу.

Решение. Найдем длину гипотенузы ВС:

Осталось найти длины отрезков СН и НВ. Для этого необходимо записать теорему Пифагора для ∆АСН и ∆АНВ, которые являются прямоугольными. Начнем с ∆АСН:

Аналогично работаем и с ∆АНВ:

Можно проверить себя. Отрезки НВ и СН вместе составляют отрезок СВ, поэтому должно выполняться равенство:

Задание. Диагонали ромба равны 10 и 24 см. Чему равна его сторона?

Пусть в ромбе АВСD диагонали пересекаются в точке О, причем АС = 24 см, а ВD = 10 см.Напомним, что диагонали ромба пересекаются под углом 90° и делятся при этом на одинаковые отрезки. Следовательно, ∆АВО прямоугольный. Найдем его катеты:

Задание. Основания равнобедренной трапеции имеют длину 20 и 10, а боковая сторона имеет длину 13. Найдите площадь трапеции.

Решение. Опустим на большее основание две высоты:

В итоге получили прямоуг-к АВКН. Его противоположные стороны одинаковы, поэтому

∆АНD и ∆ВКС равны друг другу, ведь это прямоугольные треуг-ки с одинаковой гипотенузой (АD = ВС, ведь это равнобедренная трапеция) и равным катетом (АН = ВК как стороны прямоуг-ка). Это значит, что DH = КС. Но эти отрезки вместе с НК составляют CD. Это позволяет найти DH и KC:

Зная высоту трапеции и ее основания, легко найдем и ее площадь:

Пифагоровы тройки

Возможно, вы уже заметили, что в большинстве школьных задач на применение теоремы Пифагора используются треуг-ки с одними и теми же сторонами. Это треуг-к, чьи стороны имеют длины

Их использование обусловлено тем, что все их стороны выражаются целыми числами. В задачах же, например, с равнобедренным прямоугольным треуг-ком хотя бы одна из сторон обязательно оказывается иррациональным числом.

Прямоугольные треуг-ки, у которых все стороны являются целыми, называют пифагоровыми треугольниками, а длины их сторон именуются пифагоровыми тройками. Получается, что пифагоровыми называются такие тройки натуральных чисел а, b и с, которые при подстановке в уравнение

обращают его в справедливое равенство.

Для удобства такие тройки иногда записывают в скобках.

Например, тройка чисел (3; 4; 5)– пифагорова, так как

Задание. Определите, какие из следующих троек чисел являются пифагоровыми:

Несложно догадаться, что пифагоровых троек существует бесконечно много. Действительно, возьмем тройку (3; 4; 5). Далее умножим все числа, составляющие ее, на два, и получим новую тройку (6; 8; 10), которая также пифагорова. Умножив исходную тройку на 3, получим тройку (9; 12; 15), и она снова пифагорова. Вообще, умножая числа пифагоровой тройки на любое натуральное число, всегда будем получать новую пифагорову тройку. А так как натуральных чисел бесконечно много, то и троек Пифагора также бесконечное количество.

Отдельно выделяют понятие примитивной пифагоровой тройки. Эта такая тройка, числа которой являются взаимно простыми, то есть не имеют общих делителей. Другими словами, примитивная тройка НЕ может быть получена из другой тройки простым умножением ее чисел на натуральное число. В частности, тройка (3; 4; 5)является примитивной, а «производные» от нее тройки (6; 8; 10) и (9; 12; 15) уже не примитивные.

Интересно, что примитивных троек также бесконечно много. Ещё Евклид предложил алгоритм для их поиска, который, однако, не изучается в рамках школьного курса геометрии.

Задание. Докажите, что у любого прямоугольного треуг-ка с целыми длинами сторон все эти длины не могут быть нечетными числами.

Предположим, что такой треуг-к существует. Пусть его стороны равны a, b и c, и эти числа нечетны. Тогда должно выполняться уравнение:

Заметим, что квадрат нечетного числа также является нечетным числом. Поэтому числа а², b²и с² – нечетные. Однако сумма нечетных чисел является уже четной. Поэтому выражение а² + b²четное. Таким образом, получается, что равенство

не может быть верным, ведь его левая часть четна, а правая – нечетна. Поэтому пифагоров треуг-к с тремя нечетными сторонами существовать не может.

Обратная теорема Пифагора

По теореме Пифагора из того факта, что в треуг-ке есть прямой угол, следует следующее соотношение между длинами его сторон:

Оказывается, верно и обратное: если в произвольном треуг-ке одна сторона (очевидно, большая из них) равна сумме квадратов двух других сторон, то из этого следует, что такой треуг-к является прямоугольным.

Это утверждение называют обратной теоремой Пифагора. Докажем её. Пусть есть некоторый ∆АВС, для сторон которого выполняется равенство

Так как ∆А₁В₁С₁ прямоугольный, то для него справедлива теорема Пифагора. Найдем с ее помощью гипотенузу:

а именно это мы и доказываем.

Уточним разницу между собственно теоремой Пифагора и только что доказанной обратной ей теореме. В каждой теореме есть две ключевые части:

1) некоторое условие, которое описывает какое-то геометрическое построение;

2) вывод (или заключение), который делается для условия.

В самой теореме Пифагора в качестве условия описывается прямоугольный треугольник. Для него делается вывод – катеты, возведенные в квадрат, в сумме дадут квадрат гипотенузы.

В обратной же теореме условие и вывод меняются местами. В роли условия описывается треугольник, у которого большая сторона, возведенная во 2-ую степень, равна сумме двух других сторон, также возведенная в квадрат. Для этого описания делается вывод – такой треугольник обязательно должен быть прямоугольным.

Заметим, что не всякая обратная теорема является справедливой. Например, одна из простейших теорем гласит – если углы вертикальные, то они равны. Сформулируем обратную теорему – если углы равны, то они вертикальные. Понятно, что это неверное утверждение.

Задание. Выясните, является ли треуг-к прямоугольным, если его стороны имеют длины:

Решение. Здесь надо просто проверить, являются ли эти числа пифагоровыми тройками. Если являются, то соответствующий треуг-к окажется прямоугольным.

Задание. В ∆КМР проведена биссектриса МН. Её длина 12. КМ = 13 и КН = 5. Найдите МР.

Решение. Рассмотрим ∆МНК. Его стороны равны 5, 12 и 13. Но это одна из пифагоровых троек:

Отсюда следует, что треуг-к прямоугольный, причем МК – гипотенуза (гипотенуза – это длиннейшая сторона). Тогда ∠Н = 90°. Но это означает, что биссектриса МН ещё и высота. Но если в треугольнике одна линия одновременно и медиана, и высота, то это равнобедренный треуг-к, причем КР – его основание. Тогда

Формула Герона

Невозможно построить два треугольника с тремя одинаковыми сторонами. Это значит, что теоретически знания трех сторон треугольника достаточно, чтобы найти его площадь. Но как это сделать? Здесь может помочь формула Герона, которая выводится с помощью теоремы Пифагора.

Пусть стороны треуг-ка равны а, b и с, причем с не меньше, чем а и b. В любом треуг-ке есть хотя бы два острых угла, а тупой угол, если он есть, лежит против большей стороны. Это значит, что оба прилегающих кс угла – острые. Отсюда следует, что высота, опущенная нас, будет лежать внутри треуг-ка. Обозначим длину этой высоты как h. Пусть она разобьет сторону сна два отрезка длиной х и у:

По рисунку можно записать три уравнения:

Левая часть одинакова в обоих уравнениях, значит, равны и правые:

С учетом этого выразим h²:

Мы уже выразили высоту (точнее, ее квадрат) через длины сторон. Однако обычно в этой формуле производят замену и вводят число р, равное полупериметру треуг-ка, то есть

Площадь треуг-ка вычисляется по формуле:

Запоминать вывод формулы Герона не надо. Саму формулу всегда можно найти в любом справочнике по геометрии или в Интернете. Достаточно запомнить, что площадь любого треуг-ка можно вычислить, если известны все его стороны.

Задание. Стороны треуг-ка имеют длину 9, 7 и 8 см. Какова его площадь?

Решение. Пусть а = 9; b = 8; с = 7. Для использования формулы Герона сначала вычислим половину периметра треуг-ка:

Итак, сегодня мы узнали о теореме Пифагора. Она представляет собой соотношение, которое связывает катеты и гипотенузу в прямоугольном треуг-ке. Это соотношение помогает в исследованиях других фигур – квадратов, параллелограммов, трапеций. Также с его помощью выведена формула Герона, которая позволяет вычислять площадь треуг-ка, зная только длины его сторон.

Источник

Пифагоровы треугольники – это целая большая теория. Общее название теории – пифагоровы тройки. Это такие наборы натуральных чисел, которые удовлетворяют уравнению x^2+y^2=z^2. Из любой пифагоровой тройки (кстати, по обратной теореме Пифагора) можно построить прямоугольный треугольник, который и будет называться пифагоровым. Есть много способов решения этого уравнения. А сами пифагоровы треугольники обладают многими интересными геометрическими свойствами.

Несколько примеров пифагоровых троек: (3,4,5), (6,8,10), (5,12,13), (9,12,15), (8,15,17), (12,16,20), (15,20,25), (7,24,25), (10,24,26), (20,21,29), (18,24,30), (16,30,34), (21,28,35), (12,35,37), (15,36,39), (24,32,40), (9,40,41), (14,48,50), (30,40,50)

Любой из этих треугольников можно построить обычным способом построения треугольника по трём сторонам с помощью циркуля и линейки.

Пифагоров треугольник со сторонами 3, 4, 5 известен с глубокой древности. Он называется египетским, и использовался для построения прямого угла на местности. Вместо вычерчивания применялась верёвка, разделённая 12 узлами на равные части, которая натягивалась на колышки.

Построение египетского треугольника циркулем и линейкой:

Немного кривовато и угол не совсем прямой, потому что наскоро рисовалось от руки. Этот же метод применим для построения любого пифагорова треугольника по известной тройке

Источник

Прямоугольные треугольники с целочисленными сторонами. Построение прямых углов на целочисленных гипотенузах. Пифагоровы тройки. Пифагоровы треугольники. Таблица сторон прямоугольных треугольников.

Пифагорова тройка — упорядоченный набор из трёх натуральных чисел ( x , y , z ) , удовлетворяющих следующему однородному квадратному уравнению
- х²+y²=z² , где x и y – катеты прямоугольного треугольника, а z – гипотенуза.
При этом числа, образующие пифагорову тройку, называются пифагоровыми числами. Названы в честь Пифагора Самосского, хотя, видимо, открыты задолго до него и вообще не в Греции.
Треугольник, длины сторон которого образуют пифагорову тройку, является прямоугольным и называется пифагоровым треугольником.
Очевидно, что при умножении x, y и z на одно и то же натуральное число получится другая пифагорова тройка. Пифагорова тройка (x, y, z) называется примитивной, если она не может быть получена таким способом из какой-то другой пифагоровой тройки, то есть если x , y , z являются взаимно простыми числами. Другими словами, наибольший общий делитель примитивной пифагоровой тройки равен 1.

Таблица 16 примитивных пифагоровых троек с z ≤ 100. Прямоугольные треугольники с целочисленными сторонами и гиппотенузой менее 100.

Катеты, (x,y,	Гипотенуза z)	Катеты, (x,y,	Гипотенуза z)	Катеты, (x,y,	Гипотенуза z)	Катеты, (x,y,	Гипотенуза z)
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

* Не все тройки с z ≤ 100 примитивны, например, (6, 8, 10) – в таблице не привена – получается умножением на два тройки (3, 4, 5).

Таблица – примитивные тройки с 100 < z ≤ 300. Прямоугольные треугольники с целочисленными сторонами и гипотенузой от 100 до 300.

Катеты, (x,y,	Гипотенуза z)	Катеты, (x,y,	Гипотенуза z)	Катеты, (x,y,	Гипотенуза z)	Катеты, (x,y,	Гипотенуза z)
20, 99,	101	85, 132,	157	84, 187,	205	23, 264,	265
60, 91,	109	119, 120,	169	133, 156,	205	96, 247,	265
15, 112,	113	52, 165,	173	21, 220,	221	69, 260,	269
44, 117,	125	19, 180,	181	140, 171,	221	115, 252,	277
88, 105,	137	57, 176,	185	60, 221,	229	160, 231,	281
17, 144,	145	104, 153,	185	105, 208,	233	161, 240,	289
24, 143,	145	95, 168,	193	120, 209,	241	68, 285,	293
51, 140,	149	28, 195,	197	32, 255,	257