Пифагорейская тройка

Анимация, демонстрирующая простейшую тройку Пифагора, 3 ²  + 4 ²  = 5 ² .

Пифагора тройной состоит из трех положительных целых чисел а , б , и гр , такой , что ² + Ь ² = C ² . Такая тройка обычно обозначается ( a , b , c ) , а хорошо известный пример - (3, 4, 5) . Если ( a , b , c ) является тройкой Пифагора, то также ( ka , kb , kc ) для любого положительного целого числаk . Примитивный Пифагора тройной является тотв котором, Ь и с являются взаимно простыми (то есть, они не имеют общего делителя большечем 1). ^[1] Треугольник, стороны которого образуют тройку Пифагора, называется треугольником Пифагора и обязательно является прямоугольным .

Название происходит от теоремы Пифагора , утверждающей, что каждый прямоугольный треугольник имеет длину стороны, удовлетворяющую формуле a ² + b ² = c ² ; таким образом, пифагоровы тройки описывают три целые длины сторон прямоугольного треугольника. Однако прямоугольные треугольники с нецелыми сторонами не образуют пифагоровых троек. Например, треугольник со сторонами a = b = 1 и c = √ 2 является прямоугольным, но (1, 1, √ 2 ) не является тройкой Пифагора, потому что √ 2не является целым числом. Кроме того, 1 и √ 2 не имеют целое число , общее кратное потому √ 2 является иррациональным .

Пифагорейские тройки известны с давних времен. Самая старая известная запись происходит от Плимптона 322 , вавилонской глиняной таблички примерно 1800 г. до н.э., написанной в шестидесятеричной системе счисления. Он был обнаружен Эдгаром Джеймсом Бэнксом вскоре после 1900 года и продан Джорджу Артуру Плимптону в 1922 году за 10 долларов. ^[2]

При поиске целочисленных решений уравнение a ² + b ² = c ² является диофантовым уравнением . Таким образом, пифагоровы тройки являются одними из самых старых известных решений нелинейного диофантова уравнения.

Примеры [ править ]

Существует 16 примитивных пифагоровых троек с c ≤ 100 :

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

Кроме того, это все примитивные пифагоровы тройки с 100 < c ≤ 300 :

Создание тройки [ править ]

Формула Евклида ^[3] является фундаментальной формулой для генерации пифагоровых троек по произвольной паре целых чисел m и n с m > n > 0 . Формула утверждает, что целые числа

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

образуют пифагорейскую тройку. Тройной порожденный Евклид формулой «s примитивно тогда и только тогда , когда т и п является взаимно простыми , а не оба нечетными. Когда и m, и n нечетны, тогда a , b и c будут четными, а тройка не будет примитивной; однако деление a , b и c на 2 даст примитивную тройку, если m и n взаимно просты и оба нечетны. ^[4]

Каждая примитивная тройка возникает (после обмена a и b , если a четное) из уникальной пары взаимно простых чисел m , n , одно из которых четное. Отсюда следует, что существует бесконечно много примитивных пифагоровых троек. Эта связь a , b и c с m и n из формулы Евклида упоминается в остальной части этой статьи.

Несмотря на создание всех примитивных троек, формула Евклида не дает всех троек - например, (9, 12, 15) не может быть сгенерировано с использованием целых m и n . Это можно исправить, добавив в формулу дополнительный параметр k . Следующее будет генерировать все тройки Пифагора однозначно:

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

где m , n и k - натуральные числа с m > n , с m и n взаимно простыми, а не с нечетными.

То, что эти формулы порождают пифагоровы тройки, можно проверить, расширив a ² + b ² с помощью элементарной алгебры и убедившись, что результат равен c ² . Поскольку каждую тройку Пифагора можно разделить на некоторое целое число k, чтобы получить примитивную тройку, каждая тройка может быть сгенерирована уникальным образом, используя формулу с m и n для создания ее примитивного аналога, а затем умножая на k, как в последнем уравнении.

Выбор m и n из определенных целочисленных последовательностей дает интересные результаты. Например, если m и n - последовательные числа Пелла , a и b будут отличаться на 1. ^[5]

Многие формулы для генерации троек с определенными свойствами были разработаны со времен Евклида.

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

Это соответствие формулы Евклида по а, б, в этом достаточном для треугольника , чтобы быть Пифагор виден из того факта , что для положительных целых чисел т и п , т > п , то а, б, и с дается формулой все положительны целые числа, и из того, что

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

Доказательство необходимости , что а, б, выражается формулой Евклида для любого примитивного пифагорейской тройка следующим образом . ^[6] Все эти тройки можно записать в виде ( в , б , с ) , где ² + Ь ² = C ² и , Ь , с являются взаимно простыми . Таким образом , б , с являются попарно взаимно просты (если простое число делится два из них, он будет вынужден также разделить третий). Как аи b взаимно просты, по крайней мере один из них нечетный, поэтому мы можем предположить, что a нечетное, поменяв, если необходимо, a и b . Это означает, что b четно, а c нечетно (если бы b было нечетным, c было бы четным, а c ² было бы кратным 4, в то время как ² + b ² было бы сравнимо с 2 по модулю 4, так как нечетный квадрат равен сравнимо с 1 по модулю 4).

Из получаем и, следовательно . Тогда . Поскольку это рационально, мы устанавливаем его равным в самом низком смысле. Таким образом , будучи аналогом . Затем решение${\displaystyle a^{2}+b^{2}=c^{2}}$${\displaystyle c^{2}-a^{2}=b^{2}}$${\displaystyle (c-a)(c+a)=b^{2}}$${\displaystyle {\tfrac {(c+a)}{b}}={\tfrac {b}{(c-a)}}}$${\displaystyle {\tfrac {(c+a)}{b}}}$${\displaystyle {\tfrac {m}{n}}}$${\displaystyle {\tfrac {(c-a)}{b}}={\tfrac {n}{m}}}$${\displaystyle {\tfrac {(c+a)}{b}}}$

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

для и дает${\displaystyle {\tfrac {c}{b}}}$${\displaystyle {\tfrac {a}{b}}}$

${\displaystyle {\frac {c}{b}}={\frac {1}{2}}\left({\frac {m}{n}}+{\frac {n}{m}}\right)={\frac {m^{2}+n^{2}}{2mn}},\quad \quad {\frac {a}{b}}={\frac {1}{2}}\left({\frac {m}{n}}-{\frac {n}{m}}\right)={\frac {m^{2}-n^{2}}{2mn}}.}$

Поскольку полностью сокращено, m и n взаимно просты, и они не могут быть оба четными. Если бы они оба были нечетными, числитель был бы кратен 4 (поскольку нечетный квадрат сравним с 1 по модулю 4), а знаменатель 2 mn не был бы кратен 4. Поскольку 4 было бы минимально возможным четным множителем в числителе и 2 будет максимально возможным четным множителем в знаменателе, это будет означать, что a будет четным, несмотря на определение его как нечетного. Таким образом, одно из m и n нечетное, а другое четное, и числители двух дробей со знаминателем 2 mn${\displaystyle {\tfrac {m}{n}}}$${\displaystyle {\tfrac {m^{2}-n^{2}}{2mn}}}$странные. Таким образом, эти дроби полностью сокращаются (нечетное простое число, делящее этот знаменатель, делит одно из m и n, но не другое; таким образом, оно не делит m ² ± n ² ). Таким образом, можно приравнять числители к числителям и знаменатели со знаменателями, получив формулу Евклида

${\displaystyle a=m^{2}-n^{2},\ \,b=2mn,\ \,c=m^{2}+n^{2}}$с m и n взаимно простыми и противоположными четностями.

Более длинное, но более банальное доказательство дано в Maor (2007) ^[7] и Sierpiński (2003). ^[8] Другое доказательство дается в разделе «Диофантово уравнение § Пример пифагоровых троек» как пример общего метода, применимого к любому однородному диофантовому уравнению степени два.

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

Предположим, что стороны треугольника Пифагора имеют длины m ² - n ² , 2 mn и m ² + n ² , и предположим, что угол между катетом длины m ² - n ² и гипотенузой длины m ² + n ² равен обозначается как β . Тогда и полный угол тригонометрических значений , и . ^[9]${\displaystyle \tan {\tfrac {\beta }{2}}={\tfrac {n}{m}}}$${\displaystyle \sin {\beta }={\tfrac {2mn}{m^{2}+n^{2}}}}$${\displaystyle \cos {\beta }={\tfrac {m^{2}-n^{2}}{m^{2}+n^{2}}}}$${\displaystyle \tan {\beta }={\tfrac {2mn}{m^{2}-n^{2}}}}$

Вариант [ править ]

Следующий вариант формулы Евклида иногда более удобен, поскольку он более симметричен по m и n (то же условие четности по m и n ).

Если m и n - два нечетных целых числа такие, что m > n , то

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

- три целых числа, которые образуют тройку Пифагора, которая является примитивной тогда и только тогда, когда m и n взаимно просты. И наоборот, каждая примитивная пифагорова тройка возникает (после обмена a и b , если a четное) из уникальной пары m > n > 0 взаимно простых нечетных целых чисел.

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

Общие свойства [ править ]

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

• ${\displaystyle {\tfrac {(c-a)(c-b)}{2}}}$всегда идеальный квадрат. ^[10] Как только необходимое условие , но не достаточный, он может быть использован в проверке , если данная тройка чисел не пифагореец тройной , когда они не тест. Например, тройка {6, 12, 18} проходит проверку на то, что ( c - a ) ( c - b ) / 2 является полным квадратом, но это не пифагорова тройка.
• Когда тройка чисел a , b и c образует примитивную тройку Пифагора, тогда ( c минус четная сторона) и половина ( c минус нечетная сторона) оба являются точными квадратами; однако это недостаточное условие, поскольку числа {1, 8, 9} проходят проверку на полные квадраты, но не являются тройкой Пифагора, поскольку 1 ² + 8 ² 9 ² .
• Максимум одно из значений a , b , c является квадратом. ^[11]
• Площадь треугольника Пифагора не может быть квадратом ^{[12] : с. 17} или вдвое больше квадрата ^{[12] : с. 21} натурального числа.
• Ровно один из , б является нечетным ; c нечетное. ^[13]
• Ровно одно из чисел a , b делится на 3. ^{[8] : 23–25}
• Ровно одно из чисел a , b делится на 4. ^[8]
• Ровно одно из чисел a , b , c делится на 5. ^[8]
• Наибольшее число, которое всегда делит abc, равно 60. ^[14]
• Любое нечетное число в форме 2 m +1 , где m - целое число и m > 1 , может быть нечетной частью примитивной пифагоровой тройки [PPT]. См. Раздел о почти равнобедренной PPT ниже. Однако только четные числа, делящиеся на 4, могут быть четной частью PPT. Это потому , что приведенная выше формула Евклида для четного отрезка равна 2 mn, и одно из m или n должно быть четным.
• Гипотенуза c - это сумма двух квадратов. Это требует, чтобы все его простые множители были простыми числами вида 4 n + 1 . ^[15] Следовательно, c имеет вид 4 n + 1 . Последовательность возможных номеров гипотенузы для PPT можно найти по адресу (последовательность A008846 в OEIS ).
• Площадь ( K = ab / 2) - это конгруэнтное число ^[16], делимое на 6.
• В каждом треугольнике Пифагора радиус вписанной окружности и радиусы трех вневписанных окружностей являются натуральными числами. В частности, для примитивной тройки радиус вписанной окружности равен r = n ( m - n ) , а радиусы вневписанных окружностей напротив сторон m ² - n ² , 2mn и гипотенузы m ² + n ² равны соответственно m ( m - n ) , n ( m + n ) им ( т + п ) . ^[17]
• Как и для любого прямоугольного треугольника, обратная теореме Фалеса гласит, что диаметр описанной окружности равен гипотенузе; следовательно, для примитивных троек диаметр описанной окружности равен m ² + n ² , а радиус описанной окружности равен половине этого значения и, следовательно, является рациональным, но не целым числом (поскольку m и n имеют противоположную четность).
• Когда площадь треугольника Пифагора умножается на кривизну его вписанной окружности и 3 вневписанных окружностей, в результате получается четыре положительных целых числа w > x > y > z соответственно. Целые числа - w , x , y , z удовлетворяют уравнению окружности Декарта . ^[18] Аналогично, радиус внешнего круга Содди любого прямоугольного треугольника равен его полупериметру. Внешний центр Содди расположен в точке D , где ACBD - прямоугольник, ACB - прямоугольный треугольник иAB его гипотенуза. ^{[18] : с. 6}
• Только две стороны примитивной тройки Пифагора могут быть одновременно простыми, потому что по формуле Евклида для создания примитивной тройки Пифагора одна из ветвей должна быть составной и четной. ^[19] Однако, только одна сторона может быть целым числом от совершенной силы , потому что , если обе стороны были целые числа совершенных степеней с одинаковым показателем было бы противоречит тому , что не существует целочисленные решения к уравнению диофантовой , с , и быть попарно взаимно просты. ^[20]${\displaystyle p\geq 2}$${\displaystyle p}$ ${\displaystyle x^{2p}\pm y^{2p}=z^{2}}$${\displaystyle x}$${\displaystyle y}$${\displaystyle z}$
• Не существует треугольников Пифагора, в которых гипотенуза и один катет являются катетами другого треугольника Пифагора; это одна из эквивалентных форм теоремы Ферма о прямоугольном треугольнике . ^{[12] : с. 14}
• Каждый примитив Пифагор треугольник имеет отношение площади, К , к квадрату полупериметру , с , который является уникальным для себя и задается ^[21]

${\displaystyle {\tfrac {K}{s^{2}}}={\tfrac {n(m-n)}{m(m+n)}}=1-{\tfrac {c}{s}}.}$

• Никакой примитивный треугольник Пифагора не имеет целой высоты от гипотенузы; то есть каждый примитивный треугольник Пифагора неразложим. ^[22]
• Набор всех примитивных пифагоровых троек естественным образом образует корневое троичное дерево ; см. Древо примитивных пифагорейских троек .
• Ни один из углов острых треугольника Пифагора может быть рациональным числом из градусов . ^[23] (Это следует из теоремы Нивена .)

Особые случаи [ править ]

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

• Каждое целое число больше 2, которое не конгруэнтно 2 по модулю 4 (другими словами, каждое целое число больше 2, которое не имеет формы 4 k + 2 ), является частью примитивной пифагоровой тройки. (Если целое число имеет вид 4 k , в формуле Евклида можно взять n = 1 и m = 2 k ; если целое число равно 2 k + 1 , можно взять n = k и m = k + 1. )
• Каждое целое число больше 2 является частью примитивной или непримитивной пифагоровой тройки. Например, целые числа 6, 10, 14 и 18 не являются частью примитивных троек, но являются частью непримитивных троек (6, 8, 10) , (14, 48, 50) и (18, 80, 82) .
• Существует бесконечно много пифагоровых троек, в которых гипотенуза и самый длинный катет отличаются ровно на единицу. Такие тройки обязательно примитивны и имеют вид (2 n + 1, 2 n ² + 2 n , 2 n ² + 2 n +1) . Это вытекает из формулы Евклида, поскольку из этого условия следует, что тройка примитивна и должна проверять ( m ² + n ² ) - 2 mn = 1 . Отсюда следует ( m - n ) ² = 1 , и, следовательно, m = n+1 . Приведенная выше форма троек приводит, таким образом, к замене m на n + 1 в формуле Евклида.
• Существует бесконечно много примитивных пифагоровых троек, в которых гипотенуза и самый длинный катет отличаются ровно на два. Все они примитивны, и их можно получить, положив n = 1 в формулу Евклида. В более общем смысле, для любого целого k  > 0 существует бесконечно много примитивных пифагоровых троек, в которых гипотенуза и нечетный катет отличаются на 2 k ² . Их можно получить, положив в формулу Евклида n = k .
• Существует бесконечно много пифагоровых троек, в которых два катета отличаются ровно на один. Например, 20 ² + 21 ² = 29 ² ; они порождаются формулой Евклида, когда является сходящейся к √ 2 .${\displaystyle {\tfrac {m-n}{n}}}$
• Для каждого натурального числа k существует k пифагоровых троек с разными гипотенусами и одинаковой площадью.
• Для каждого натурального числа k существует не менее k различных примитивных пифагоровых троек с одним и тем же отрезком a , где a - некоторое натуральное число (длина четного отрезка равна 2 mn , и достаточно выбрать a с множеством факторизаций, например a = 4 b , где b - произведение k различных нечетных простых чисел; это дает не менее 2 ^k различных примитивных троек). ^{[8] : 30}
• Для каждого натурального числа n существует не менее n различных троек Пифагора с одинаковой гипотенузой. ^{[8] : 31}
• Существует бесконечно много троек Пифагора с квадратными числами как для гипотенузы c, так и для суммы катетов a  +  b . Согласно Ферма, наименьшая такая тройка ^[24] имеет стороны 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.
• Существуют непримитивные треугольники Пифагора с целой высотой от гипотенузы . ^{[25] [26]} Такие треугольники Пифагора известны как разложимые, поскольку они могут быть разделены вдоль этой высоты на два отдельных треугольника Пифагора меньшего размера. ^[22]

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

Рациональные точки на единичном круге [ править ]

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

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

можно понять в терминах геометрии рациональных точек на единичной окружности ( Траутман, 1998 ).

Фактически, точка на декартовой плоскости с координатами ( x , y ) принадлежит единичной окружности, если x ² + y ² = 1 . Точка является рациональной, если x и y - рациональные числа , то есть если существуют взаимно простые целые числа a , b , c такие, что

${\displaystyle {\biggl (}{\frac {a}{c}}{\biggr )}^{2}+{\biggl (}{\frac {b}{c}}{\biggr )}^{2}=1.}$

Умножив оба члена на c ² , можно увидеть, что рациональные точки на окружности находятся во взаимно однозначном соответствии с примитивными пифагоровыми тройками.

Единичная окружность также может быть определена параметрическим уравнением

${\displaystyle x={\frac {1-t^{2}}{1+t^{2}}}\quad y={\frac {2t}{1+t^{2}}}.}$

Формула Евклида для пифагоровых троек означает, что, за исключением (−1, 0) , точка на окружности рациональна тогда и только тогда, когда соответствующее значение t является рациональным числом.

Стереографический подход [ править ]

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

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

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

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

${\displaystyle P=\left({\frac {2\left({\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).}$

Это доказывает , что каждая рациональная точку из й -Axis переходит к рациональной точке единичной окружности. Обратное, что каждая рациональная точка единичной окружности исходит из такой точки оси x , следует, применяя обратную стереографическую проекцию. Предположим, что P ( x , y ) - точка единичной окружности с рациональными числами x и y . Тогда точка P ′, полученная стереографической проекцией на ось x, имеет координаты

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

что рационально.

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

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

Двумерная решетка - это регулярный массив изолированных точек, где, если какая-либо одна точка выбрана как декартово начало координат (0, 0), то все остальные точки находятся в ( x , y ), где x и y изменяются по всем положительным и отрицательным целым числам. . Любой треугольник Пифагора с тройкой ( a , b , c ) можно нарисовать внутри двумерной решетки с вершинами в координатах (0, 0), ( a , 0) и (0, b ). Количество точек решетки, лежащих строго в пределах треугольника, дается в ^[27] для примитивных пифагоровых троек, это внутреннее количество точек   решетки равно   площади (по${\displaystyle {\tfrac {(a-1)(b-1)-\gcd {(a,b)}+1}{2}};}$${\displaystyle {\tfrac {(a-1)(b-1)}{2}}.}$Теорема Пика равна на единицу меньше, чем количество внутренней решетки плюс половина количества граничной решетки) равно    .${\displaystyle {\tfrac {ab}{2}}}$

Первое появление двух примитивных пифагоровых троек, разделяющих одну и ту же площадь, происходит с треугольниками со сторонами (20, 21, 29), (12, 35, 37) и общей площадью 210 (последовательность A093536 в OEIS ). Первое появление двух примитивных пифагоровых троек с одним и тем же числом внутренней решетки происходит с (18108, 252685, 253333), (28077, 162964, 165365) и числом внутренней решетки 2287674594 (последовательность A225760 в OEIS ). Были обнаружены три примитивных пифагорейских тройки в одной и той же области: (4485, 5852, 7373), (3059, 8580, 9109), (1380, 19019, 19069) с площадью 13123110. Пока что ни один набор из трех примитивных пифагоровых троек не имеет было обнаружено, что они имеют одинаковое количество внутренних решеток.

Перечисление примитивных пифагоровых троек [ править ]

По формуле Евклида все примитивные пифагоровы тройки могут быть сгенерированы из целых чисел и с , нечетным и . Следовательно, существует отображение 1: 1 рациональных чисел (в низших терминах) в примитивные пифагоровы тройки, где находится в интервале и нечетно.${\displaystyle m}$${\displaystyle n}$${\displaystyle m>n>0}$${\displaystyle m+n}$${\displaystyle \gcd(m,n)=1}$${\displaystyle {\tfrac {n}{m}}}$${\displaystyle (0,1)}$${\displaystyle m+n}$

Обратное отображение из примитива тройных , где к рациональному достигается путем изучения двух сумм и . Одна из этих сумм будет квадратом, который можно приравнять, а другая - удвоенным квадратом, к которому можно приравнять . Тогда можно определить рациональное .${\displaystyle (a,b,c)}$${\displaystyle c>b>a>0}$${\displaystyle {\tfrac {n}{m}}}$${\displaystyle a+c}$${\displaystyle b+c}$${\displaystyle (m+n)^{2}}$${\displaystyle 2m^{2}}$${\displaystyle {\tfrac {n}{m}}}$

Чтобы перечислить примитивные пифагоровы тройки, рациональное можно выразить как упорядоченную пару и сопоставить с целым числом с помощью функции сопряжения, такой как функция сопряжения Кантора . Пример можно увидеть по адресу (последовательность A277557 в OEIS ). Это начинается${\displaystyle (n,m)}$

${\displaystyle 8,18,19,32,33,34,\dots }$ и дает рациональные объяснения

${\displaystyle {\tfrac {1}{2}},{\tfrac {2}{3}},{\tfrac {1}{4}},{\tfrac {3}{4}},{\tfrac {2}{5}},{\tfrac {1}{6}},\dots }$ они, в свою очередь, генерируют примитивные тройки

${\displaystyle (3,4,5),(5,12,13),(8,15,17),(7,24,25),(20,21,29),(12,35,37),\dots }$

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

Пифагоровы тройки также могут быть закодированы в квадратную матрицу вида

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

Матрица такой формы симметрична . Кроме того, определитель из X является

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

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

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

${\displaystyle X=2{\begin{bmatrix}m\\n\end{bmatrix}}[m\ n]=2\xi \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&u\end{bmatrix}}{\begin{bmatrix}1\\0\end{bmatrix}}={\begin{bmatrix}m\\n\end{bmatrix}}}$

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

Воздействуя на спинор ξ в ( 1 ), действие группы Γ переходит в действие на пифагоровых троек, если учитываются тройки с возможно отрицательными компонентами. Таким образом, если A - матрица из Γ, то

${\displaystyle 2(A\xi )(A\xi )^{T}=AXA^{T}\,}$

( 2 )

вызывает действие на матрицу X в ( 1 ). Это не дает четко определенного действия на примитивные тройки, так как может превратить примитивную тройку в импримитивную. На этом этапе удобно (по Траутману 1998 ) называть тройку ( a , b , c ) стандартной, если c > 0 и либо ( a , b , c ) взаимно просты, либо ( a / 2, b / 2, c / 2) взаимно просты с / 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) действует транзитивно на совокупности примитивных пифагоровых троек ( Альперин, 2005 ).

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

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

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

Родительские / дочерние отношения [ править ]

Согласно результату Берггрена (1934) , все примитивные пифагоровы тройки могут быть сгенерированы из (3, 4, 5) треугольника с помощью трех линейных преобразований T ₁ , T ₂ , T ₃ ниже, где a , b , c - стороны тройки:

Другими словами, каждая примитивная тройка будет «родителем» для трех дополнительных примитивных троек. Начиная с начального узла с a = 3, b = 4 и c = 5, операция T ₁ создает новую тройку

(3 - (2 × 4) + (2 × 5), (2 × 3) - 4 + (2 × 5), (2 × 3) - (2 × 4) + (3 × 5)) = (5 , 12, 13),

и аналогично T ₂ и T ₃ производят тройки (21, 20, 29) и (15, 8, 17).

Линейные преобразования T ₁ , T ₂ и T ₃ имеют геометрическую интерпретацию на языке квадратичных форм . Они тесно связаны между собой (но не равны) отражениями , порождающие ортогональной группой из й ² + у ² - г ² над целыми числами. ^[28]

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

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

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

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

Два множителя z  : = a + bi и z *  : = a - bi примитивной пифагоровой тройки равны квадрату гауссовского целого числа. Это можно доказать с помощью того свойства, что каждое целое число Гаусса может быть однозначно разложено на простые гауссовы числа с точностью до единиц . ^[30] (Эта уникальная факторизация следует из того факта, что, грубо говоря, на них может быть определена версия алгоритма Евклида .) Доказательство состоит из трех шагов. Во-первых, если a и b не имеют общих делителей в целых числах, то они также не имеют общих делителей в гауссовых целых числах. (Предполагать= гу и б = г.в. с гауссовым целых чисел г , U и V и г не является единицей. Тогда u и v лежат на одной прямой, проходящей через начало координат. Все гауссовские целые числа в такой строке являются целыми кратными некоторому гауссовскому целому числу h . Но тогда целое число gh ± 1 делит как a, так и b .) Во-вторых, из этого следует, что z и z * также не имеют общих делителей в гауссовых целых числах. Ведь если бы они это сделали, то их общий делитель δ также делил бы z +  z * = 2 a и z  -  z * = 2 ib . Поскольку a и b взаимно просты, отсюда следует, что δ делит 2 = (1 + i) (1 - i) = i (1 - i) ² . Из формулы c ² =  zz * это, в свою очередь, означало бы, что c четно, вопреки гипотезе о примитивной пифагоровой тройке. В-третьих, поскольку c ² является квадратом, каждое гауссовское простое число в его факторизации удваивается, т. Е. Появляется четное число раз. Поскольку z и z * не имеют общих делителей, это удвоение верно и для них. Следовательно,z и z * - квадраты.

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

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

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

${\displaystyle {\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 , удовлетворяющие этим двум уравнениям. Следовательно, каждая тройка Пифагора может быть сгенерирована из некоторого выбора этих целых чисел.

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

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

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

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

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

Связь с эллипсами с целыми размерами [ править ]

Что касается рисунка и определения фокусов эллипса , F ₁ и F ₂ , для любой точки P на эллипсе F ₁ P + PF ₂ является постоянным.

Поскольку обе точки A и B находятся на эллипсе, F ₁ A + AF ₂ = F ₁ B + BF ₂ . В силу симметрии F ₁ A + AF ₂ = F ₂ A '+ AF ₂ = AA' = 2 AC и F ₁ B + BF ₂ = 2 BF ₂ . Следовательно, AC = BF ₂ .

Таким образом, если BCF ₂ представляет собой прямоугольный треугольник с целыми сторонами, разделение фокусов, линейный эксцентриситет, малая ось и большая ось также являются целыми числами. ^[31]

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

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

Внутри разброса есть наборы параболических паттернов с высокой плотностью точек и всеми их фокусами в начале координат, открывающимися во всех четырех направлениях. Различные параболы пересекаются на осях и, кажется, отражаются от оси с углом падения 45 градусов, при этом третья парабола входит перпендикулярно. Внутри этого квадранта каждая дуга с центром в начале координат показывает ту часть параболы, которая находится между ее концом и пересечением с ее полу-латусной прямой кишкой .

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

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

Альберт Фесслер и другие дают представление о значении этих парабол в контексте конформных отображений. ^{[32] [33]}

Особые случаи и связанные уравнения [ править ]

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

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

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

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

a нечетное (Пифагор, ок. 540 г. до н.э.):

${\displaystyle {\text{side }}a:{\text{side }}b={a^{2}-1 \over 2}:{\text{side }}c={a^{2}+1 \over 2}.}$

а есть четное (Платон, ок. 380 г. до н. э.):

${\displaystyle {\text{side }}a:{\text{side }}b=\left({a \over 2}\right)^{2}-1:{\text{side }}c=\left({a \over 2}\right)^{2}+1}$

Можно показать, что все тройки Пифагора могут быть получены при соответствующем изменении масштаба из базовой платоновской последовательности ( a , ( a ² - 1) / 2 и ( a ² + 1) / 2 ), позволяя a принимать нецелочисленные значения. рациональные ценности. Если заменить a дробью m / n в последовательности, результат будет равен 'стандартному' тройному генератору (2 mn , m ² - n ² , m ² + n ²) после масштабирования. Из этого следует , что каждый тройной имеет соответствующее рациональное в значение , которое может быть использовано , чтобы генерировать подобный треугольник (один с теми же тремя углами и со сторонами в тех же пропорциях, что и оригинал). Например, платоновский эквивалент (56, 33, 65) генерируется как a = m / n = 7/4 как ( a , ( a ² –1) / 2, ( a ² +1) / 2) = ( 56/32, 33/32, 65/32). Сама платоновская последовательность может быть получена ^{[ требуется пояснение ]} , выполнив шаги для «разделения квадрата», описанные в Диофанте II.VIII .

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

Уравнение,

${\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}$

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

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

${\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}}$

и был впервые решен Эйлером как . Поскольку он показал, что это рациональная точка эллиптической кривой , то существует бесконечное число решений. Фактически, он также обнаружил параметризацию полинома 7-й степени.${\displaystyle a,b,c,d=133,59,158,134}$

Теорема Декарта о круге [ править ]

В случае теоремы Декарта о круге, где все переменные - квадраты,

${\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 a+b=c}$

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

с малыми решениями как и могут быть решены как бинарные квадратичные формы .${\displaystyle a,b,c,d=3,5,8,14}$

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

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

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

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

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

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

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

где { x, y } - решения уравнения Пелла .${\displaystyle x^{2}-2y^{2}=-1}$

Если a , b , c являются сторонами этого типа примитивной пифагоровой тройки (PPT), то решение уравнения Пелля дается рекурсивной формулой

${\displaystyle a_{n}=6a_{n-1}-a_{n-2}+2}$с и${\displaystyle a_{1}=3}$${\displaystyle a_{2}=20}$

${\displaystyle b_{n}=6b_{n-1}-b_{n-2}-2}$с и${\displaystyle b_{1}=4}$${\displaystyle b_{2}=21}$

${\displaystyle c_{n}=6c_{n-1}-c_{n-2}}$с и . ^{[35] [36]}${\displaystyle c_{1}=5}$${\displaystyle c_{2}=29}$

Эта последовательность PPT образует центральный ствол (ствол) тройного корневого дерева PPT.

Когда длинная сторона без гипотенузы и гипотенуза различаются на единицу, например, в

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

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

то полное решение для PPT a , b , c есть

${\displaystyle a=2m+1,\quad b=2m^{2}+2m,\quad c=2m^{2}+2m+1}$

и

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

где целое число - порождающий параметр.${\displaystyle m>0}$

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

Еще одно свойство этого типа почти равнобедренной PPT состоит в том, что стороны связаны таким образом, что

${\displaystyle a^{b}+b^{a}=Kc}$

для некоторого целого числа . Или другими словами делится на такие, как в${\displaystyle K}$${\displaystyle a^{b}+b^{a}}$${\displaystyle c}$

${\displaystyle (5^{12}+12^{5})/13=18799189}$. ^[37]

Числа Фибоначчи в тройках Пифагора [ править ]

Начиная с 5, каждое второе число Фибоначчи - это длина гипотенузы прямоугольного треугольника с целыми сторонами, или, другими словами, наибольшее число в тройке Пифагора, полученное по формуле

$${\displaystyle (F_{n}F_{n+3})^{2}+(2F_{n+1}F_{n+2})^{2}=F_{2n+3}^{2}.}$$

(3,4,5), (5,12,13), (16,30,34), (39,80,89), ...

Средняя сторона каждого из этих треугольников равна сумме трех сторон предыдущего треугольника. ^[38]

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

Есть несколько способов обобщить концепцию троек Пифагора.

Пифагорейская 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 ² и затем раздача условий. ^[39] Можно увидеть, что пифагоровы тройки и четверки - это просто частные случаи 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 ² , определяется формулой ^[40]

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

можно найти значения ( k , m ) так, чтобы F ( k , m ) было квадратом, например квадрат Хиршхорна, где количество членов само по себе является квадратом, ^[41]

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

и v ≥ 5 любое целое число не делится на 2 или 3. Для самого маленького случая V = 5, следовательно , K = 25, это дает хорошо известную пушечной укладку Проблема Lucas ,

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

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

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

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

Поскольку вторая степень p сокращается, это только линейно и легко решается, как будто k , m следует выбрать так, чтобы p было целым числом, с небольшим примером k = 5, m = 1, что дает,${\displaystyle p={\tfrac {F(k,m)-1}{2}}}$

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

Таким образом, один из способов генерации Пифагора н -грамма является использованием, для различных х , ^[43]

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

где q = n –2 и где

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

Четверка Пифагора [ править ]

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

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

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

Последняя теорема Ферма [ править ]

Обобщением концепции троек Пифагора является поиск троек натуральных чисел 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}

Для случая n = 3, который называется кубикой Ферма , существует общая формула, дающая все решения.${\displaystyle x^{3}+y^{3}+z^{3}=w^{3},}$

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

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

Также может существовать n  - 1 натуральное число, сумма n- й степени которого равна n- й степени (хотя, согласно последней теореме Ферма , не для n  = 3); это контрпримеры к гипотезе Эйлера о сумме степеней . Наименьшие известные контрпримеры: ^{[44] [45] [14]}

• п = 4: (95800, 217519, 414560; 422481)
• п = 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 не имеют общего целочисленного делителя больше 1 (как с тройкой Пифагора). Вот несколько простейших примитивных троек Герона, не являющихся пифагорейскими тройками:

(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.

Применение в криптографии [ править ]

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

См. Также [ править ]

Заметки [ править ]

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

• Alperin, Roger C. (2005), "Модульное дерево Пифагора" (PDF) , American Mathematical Monthly , 112 (9): 807-816, CiteSeerX  10.1.1.112.3085 , DOI : 10,2307 / 30037602 , JSTOR  30037602 , MR  2179860
• Берггрен, Б. (1934), «Pytagoreiska trianglar», Tidskrift för Elementär Matematik, Fysik och Kemi (на шведском языке), 17 : 129–139.
• Барнинг, FJM (1963), «Пифагорез и бижна-пифагорские дриэхокены в общих процессах встретились с унимодулярными матрицами» (PDF) , Math. Centrum Amsterdam Afd. Zuivere Wisk. (на голландском), ZW-011: 37
• Эккерт, Эрнест (1992), "Примитивные пифагорейских троек", Колледж Математика Journal , 23 (5): 413-417, DOI : 10,2307 / 2686417 , JSTOR  2686417
• Элкис, Ноам , тройки Пифагора и теорема Гильберта 90 (PDF)
• Хит, Томас (1956), Тринадцать книг элементов Евклида, том. 1 (Книги I и II) (2-е изд.), Dover Publications, ISBN 978-0-486-60088-8
• Лонг, Кальвин Т. (1972), Элементарное введение в теорию чисел (2-е изд.), Lexington: DC Heath and Company , LCCN  77171950
• Мартин, Artemas (1875 г.), "Rational прямоугольного треугольника почти равнобедренного", Аналитик , 3 (2): 47-50, DOI : 10,2307 / 2635906 , JSTOR  2635906
• Маккалло, Дэррил (2005), "Рост и избыток пифагорейских троек" (PDF) , Математика Журнал , 78 (1): 26-44, DOI : 10,1080 / 0025570X.2005.11953298 , S2CID  1701449
• Ромик, Дан (2008), "Динамика троек Пифагора" (PDF) , Пер. Амер. Математика. Soc. , 360 (11): 6045–6064, arXiv : math.DS / 0406512 , doi : 10.1090 / S0002-9947-08-04467-X , MR  2425702
• Тейген, MG; Hadwin, DW (1971), "О порождающих Пифагора троек", Американский Математический Месячный , 78 (4): 378-379, DOI : 10,2307 / 2316903 , JSTOR  2316903
• Траутман, Анджей (1998), «Пифагоровы спиноры и твисторы Пенроуза» , в SA Hugget; LJ Mason; КП Тод; СТ Цоу; NMJ Woodhouse (ред.), Геометрическая вселенная (Постскриптум)

Внешние ссылки [ править ]

• Алгебры Клиффорда и параметризация пифагоровых троек Евклидом
• Любопытные последствия обнаруженного квадратичным методом
• Обсуждение свойств троек Пифагора, интерактивные калькуляторы, головоломки и задачи
• Генерация троек Пифагора с помощью арифметических прогрессий
• "Числа Пифагора" , Энциклопедия математики , EMS Press , 2001 [1994]
• Интерактивный калькулятор троек Пифагора
• Отрицательное уравнение Пелля и пифагоровы тройки
• Параметризация пифагоровых троек одной тройкой многочленов
• Прайс, Х. Ли (2008), «Древо Пифагора: новый вид», arXiv : 0809.4324 [ math.HO ]
• Пифагорейские тройки и единичный круг , гл. 2–3, в « Дружественном введении в теорию чисел » Джозефа Х. Сильвермана, 3-е изд., 2006 г., Pearson Prentice Hall, Upper Saddle River, NJ, ISBN 0-13-186137-9 
• Пифагор тройки на срез-The-узле интерактивной Applet , показывающие единичная окружность отношение к Пифагору тройкам
• Пифагорейские тройни
• Замечательная окружность треугольника
• Решения квадратично совместимых пар относительно троек Пифагора
• Теоретические свойства троек Пифагора и связи с геометрией
• Тройное дерево (я), лежащее в основе примитивных троек Пифагора в разрубленном узле
• Вайстейн, Эрик В. «Тройной Пифагора» . MathWorld .