Тройка Пифагора состоит из трех натуральных чисел a , b и c , таких , что a2 + b2 = c2 . Такую тройку обычно пишут ( a , b , c ) , известный пример — (3, 4, 5) . Если ( a , b , c ) является тройкой Пифагора, то таковой является и ( ka , kb , kc ) для любого положительного целого числа k . Треугольник, длины сторон которого представляют собой тройку Пифагора, является прямоугольным треугольником и называется треугольником Пифагора .
Примитивная пифагорова тройка — это тройка, в которой a , b и c взаимно просты ( то есть не имеют общего делителя, большего 1). [1] Например, (3, 4, 5) является примитивной тройкой Пифагора, а (6, 8, 10) — нет. Каждую пифагорову тройку можно масштабировать до уникальной примитивной пифагоровой тройки путем деления ( a , b , c ) на их наибольший общий делитель . И наоборот, каждую тройку Пифагора можно получить умножением элементов примитивной тройки Пифагора на положительное целое число (то же самое для трех элементов).
Название происходит от теоремы Пифагора , утверждающей, что у каждого прямоугольного треугольника есть длины сторон, удовлетворяющие формуле ; таким образом, тройки Пифагора описывают три целые длины сторон прямоугольного треугольника. Однако прямоугольные треугольники с нецелыми сторонами не образуют пифагоровы тройки. Например, треугольник со сторонами и является прямоугольным треугольником, но не является тройкой Пифагора, поскольку квадратный корень из 2 не является целым числом или отношением целых чисел . Более того, и не имеют целого общего кратного, поскольку иррациональны .
Пифагоровы тройки известны с древних времен. Самая старая известная запись происходит от Плимптона 322 , вавилонской глиняной таблички примерно 1800 года до нашей эры, написанной в шестидесятеричной системе счисления. [2]
При поиске целочисленных решений уравнение a 2 + b 2 = c 2 является диофантовым уравнением . Таким образом, тройки Пифагора являются одними из старейших известных решений нелинейного диофантова уравнения.
Примеры
Диаграмма рассеяния ветвей ( a , b ) первых троек Пифагора с a и b меньше 6000. Отрицательные значения включены для иллюстрации параболических моделей. «Лучи» являются результатом того факта, что если ( a , b , c ) является пифагоровой тройкой, то так же является и (2 a , 2 b , 2 c ) , (3 a , 3 b , 3 c ) и, в более общем смысле, ( ka , kb , kc ) для любого положительного целого числа k .
Существует 16 примитивных пифагорейских троек чисел до 100:
Другие маленькие пифагоровы тройки, такие как (6, 8, 10), не указаны, поскольку они не примитивны; например (6, 8, 10) кратно (3, 4, 5).
Каждая из этих точек (с кратными им точками) образует расходящуюся линию на диаграмме рассеяния справа.
Кроме того, это оставшиеся примитивные пифагоровы тройки чисел до 300:
Создание тройки
Примитивные пифагорейские тройки. Нечетный участок a откладывается по горизонтальной оси, четный участок b — по вертикальной. Криволинейная сетка состоит из кривых постоянной m - n и постоянной m + n в формуле Евклида.График троек, созданный по формуле Евклида, отображает часть конуса z 2 = x 2 + y 2 . Постоянная m или n очерчивает часть параболы на конусе.
Формула Евклида [3] является фундаментальной формулой для генерации троек Пифагора по произвольной паре целых чисел m и n с m > n > 0 . Формула утверждает, что целые числа
образуют пифагорову тройку. Например, учитывая
сгенерируйте примитивную тройку (3,4,5):
Тройка, порожденная формулой Евклида , примитивна тогда и только тогда, когда m и n взаимно просты и ровно один из них четен. Если и 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 . Следующие команды однозначно генерируют все пифагоровы тройки:
где m , n и k — положительные целые числа с m > n и с m и n взаимно простыми, а не оба нечетными.
То, что эти формулы порождают тройки Пифагора, можно проверить, разложив a 2 + b 2 с помощью элементарной алгебры и проверив, что результат равен c 2 . Поскольку каждую тройку Пифагора можно разделить на некоторое целое число k , чтобы получить примитивную тройку, каждую тройку можно сгенерировать уникальным образом, используя формулу с m и n для создания ее примитивного аналога, а затем умножая ее на k , как в последнем уравнении.
Выбор m и n из определенных целочисленных последовательностей дает интересные результаты. Например, если m и n — последовательные числа Пелля , a и b будут отличаться на 1. [5]
Многие формулы для создания троек с определенными свойствами были разработаны со времен Евклида.
Доказательство формулы Евклида
То, что a, b, c удовлетворяет формуле Евклида, достаточно для того, чтобы треугольник был пифагорейским, очевидно из того факта, что для натуральных чисел m и n , m > n , a , b и c , заданные формулой, все положительны. целые числа, и из того, что
Доказательство необходимости выражения а , b, с формулой Евклида для любой примитивной пифагоровой тройки состоит в следующем. [6] Все такие примитивные тройки можно записать как ( a , b , c ) , где a 2 + b 2 = c 2 и a , b , c взаимно просты . Таким образом , a , b , c попарно взаимно просты (если простое число разделит два из них, оно будет вынуждено разделить и третье). Поскольку a и b взаимно простые, по крайней мере один из них нечетный. Если мы предположим, что a нечетно, то b четно, а c нечетно (если бы b было нечетным, c было бы четным, и c 2 было бы кратно 4, а a 2 + b 2 было бы равно 2 по модулю 4. , так как нечетный квадрат равен 1 по модулю 4).
Предположим , что a нечетно. Получаем и, следовательно , . Затем . Поскольку является рациональным, мы полагаем его равным в наименьших выражениях. Таким образом , будучи обратным . Затем решение
для и дает
При полной редукции m и n взаимно просты и не могут быть оба четными. Если бы они оба были нечетными, числитель был бы кратен 4 (поскольку нечетный квадрат равен 1 по модулю 4), а знаменатель 2 mn не был бы кратен 4. Поскольку 4 было бы минимально возможным четным множителем в числителе, а 2 будет максимально возможным четным множителем в знаменателе, это будет означать, что a будет четным, несмотря на то, что оно определено как нечетное. Таким образом, одна из m и n нечетная, а другая четная, а числители двух дробей со знаменателем 2 mn нечетные. Таким образом, эти дроби полностью сокращаются (нечетное простое число, делящее этот знаменатель, делит одно из m и n , но не делит другое; следовательно, оно не делит m 2 ± n 2 ). Таким образом, можно приравнять числители к числителям и знаменатели к знаменателям, давая формулу Евклида
с m и n взаимно простыми и противоположной четности.
Более длинное, но более банальное доказательство дано в работах Маора (2007) [7] и Серпинского (2003). [8] Другое доказательство дано в Диофантовом уравнении § Пример пифагоровых троек как пример общего метода, применимого к каждому однородному диофантову уравнению второй степени.
Интерпретация параметров в формуле Евклида
Предположим, что стороны треугольника Пифагора имеют длины m 2 − n 2 , 2 mn и m 2 + n 2 , и предположим, что угол между катетом длины m 2 − n 2 и гипотенузой длины m 2 + n 2 равен обозначается как β . Тогда и полноугольные тригонометрические значения равны , , и . [9]
Вариант
Следующий вариант формулы Евклида иногда оказывается более удобным, поскольку он более симметричен по m и n (то же условие четности по m и n ).
Если m и n — два нечетных целых числа такие, что m > n , то
— три целых числа, образующих пифагорову тройку, которая примитивна тогда и только тогда, когда m и n взаимно просты. И наоборот, каждая примитивная пифагорова тройка возникает (после замены a и b , если a четное) из уникальной пары m > n > 0 взаимно простых нечетных целых чисел.
Не обмениваюаиб
В изложении выше сказано, что все пифагоровы тройки однозначно получаются из формулы Евклида «после замены a и b , если a четное». Чтобы избежать этого обмена, формулу Евклида и приведенный выше вариант можно объединить следующим образом, что приведет к следующему результату.
Любую примитивную пифагорову тройку можно записать однозначно.
где m и n — положительные взаимно простые целые числа, и если m и n оба нечетны, и в противном случае. Эквивалентно, если a нечетное, и если a четное.
Элементарные свойства примитивных пифагоровых троек
Общие свойства
Свойства примитивной тройки Пифагора ( a , b , c ) с a < b < c (без указания того, какое из a или b четное, а какое нечетное) включают:
всегда идеальный квадрат. [10] Поскольку это лишь необходимое, но не достаточное условие, его можно использовать для проверки того, не является ли данная тройка чисел пифагоровой тройкой. Например, каждая тройка {6, 12, 18} и {1, 8, 9} проходит тест на то, что ( c − a )( c − b )/2 является полным квадратом, но ни одна из них не является тройкой Пифагора.
Когда тройка чисел a , b и c образует примитивную пифагорову тройку, тогда ( c минус четная катет) и половина ( c минус нечетная катет) являются идеальными квадратами; однако это не является достаточным условием, поскольку числа {1, 8, 9} проходят тест идеальных квадратов, но не являются тройкой Пифагора, поскольку 1 2 + 8 2 ≠ 9 2 .
Не более одного из a , b , c является квадратом. [11]
Площадь треугольника Пифагора не может быть квадратом [12] : с. 17 или вдвое больше квадрата [12] : с. 21 целого числа.
Ровно одно из a , b делится на 2 (четно ) , а гипотенуза c всегда нечетна. [13]
Ровно одно из a , b делится на 3, но никогда c . [14] [8] : 23–25
Ровно одно из a , b делится на 4, [8] , но никогда на c (потому что c никогда не бывает четным).
Ровно одно из a , b , c делится на 5. [8]
Наибольшее число, которое всегда делит abc, — 60. [15]
Любое нечетное число вида 2 m +1 , где m — целое число и m >1 , может быть нечетной частью примитивной пифагоровой тройки. См. раздел о почти равнобедренных примитивных пифагоровых тройках ниже. Однако четной частью примитивной пифагоровой тройки могут быть только четные числа, делящиеся на 4. Это связано с тем, что формула Евклида для четного катета, приведенная выше, равна 2 mn , и один из m или n должен быть четным.
Гипотенуза c (всегда нечетная) представляет собой сумму двух квадратов. Для этого требуется, чтобы все его простые множители были простыми числами вида 4 n + 1 . [16] Следовательно, c имеет вид 4 n + 1 . Последовательность возможных чисел гипотенузы для примитивной пифагоровой тройки можно найти по адресу (последовательность A008846 в OEIS ).
В каждом треугольнике Пифагора радиус вписанной окружности и радиусы трех вписанных окружностей являются целыми положительными числами. В частности, для примитивной тройки радиус вписанной окружности равен r = n ( m − n ) , а радиусы вписанной окружности напротив сторон m 2 − n 2 , 2mn и гипотенузы m 2 + n 2 равны соответственно m ( м - п ) , п ( м + п ) и м ( м + п ) . [18]
Что касается любого прямоугольного треугольника, обратная теорема Фалеса гласит, что диаметр описанной окружности равен гипотенузе; следовательно, для примитивных троек диаметр описанной окружности равен m 2 + n 2 , а радиус описанной окружности равен половине этого диаметра и, таким образом, является рациональным, но нецелым (поскольку m и n имеют противоположную четность).
Когда площадь треугольника Пифагора умножается на кривизну вписанной и трех вписанных в него окружностей, в результате получаются четыре положительных целых числа w > x > y > z соответственно. Целые числа — w , x , y , z удовлетворяют круговому уравнению Декарта . [19] Аналогично, радиус внешнего круга Содди любого прямоугольного треугольника равен его полупериметру. Внешний центр Содди расположен в точке D , где ACBD — прямоугольник, ACB — прямоугольный треугольник, а AB — его гипотенуза. [19] : с. 6
Только две стороны примитивной тройки Пифагора могут быть одновременно простыми, поскольку по формуле Евклида для образования примитивной тройки Пифагора одно из катетов должно быть составным и четным. [20] Однако только одна сторона может быть целым числом совершенной степени, потому что, если бы две стороны были целыми числами совершенной степени с равным показателем, это противоречило бы факту, что не существует целочисленных решений диофантова уравнения , с , и быть попарно взаимно простыми. [21]
Не существует треугольников Пифагора, у которых гипотенуза и один катет являются катетами другого треугольника Пифагора; это одна из эквивалентных форм теоремы Ферма о прямоугольном треугольнике . [12] : с. 14
Каждый примитивный треугольник Пифагора имеет уникальное отношение площади K к квадрату полупериметра 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 + 2 n , 2 n 2 + 2 n +1) . Это следует из формулы Евклида, когда он замечает, что из условия следует, что тройка примитивна и должна проверять ( m 2 + n 2 ) - 2 mn = 1 . Отсюда следует ( m – n ) 2 = 1 и, следовательно, m = n + 1 . Таким образом, приведенная выше форма троек является результатом замены m на n + 1 в формуле Евклида.
Существует бесконечно много примитивных пифагорейских троек, в которых гипотенуза и самый длинный катет отличаются ровно на два. Все они примитивны и получаются путем помещения n = 1 в формулу Евклида. В более общем смысле, для каждого целого числа k > 0 существует бесконечно много примитивных пифагоровых троек, в которых гипотенуза и нечетный катет отличаются на 2 k 2 . Они получаются помещением n = k в формулу Евклида.
Существует бесконечно много пифагорейских троек, в которых две ноги отличаются ровно на единицу. Например, 20 2 + 21 2 = 29 2 ; они генерируются по формуле Евклида, когда является сходящейся к .
Для каждого натурального числа k существует k троек Пифагора с разными гипотенузами и одинаковой площадью.
Для каждого натурального числа k существует не менее k различных примитивных троек Пифагора с одной и той же ножкой a , где a — некоторое натуральное число (длина четной ножки равна 2 mn , и достаточно выбрать a со многими факторизациями, например a = 4 b , где b — произведение k различных нечетных простых чисел, получается не менее 2 k различных примитивных троек; [8] : 30
Для каждого натурального числа k существует не менее k различных троек Пифагора с одинаковой гипотенузой. [8] : 31
Если c = p e — степень простого числа , то существует примитивная пифагорова тройка a 2 + b 2 = c 2 тогда и только тогда, когда простое число p имеет вид 4 n + 1 ; эта тройка единственна с точностью до замены a и b .
В более общем смысле, положительное целое число c является гипотенузой примитивной пифагоровой тройки тогда и только тогда, когда каждый простой делитель c конгруэнтен 1 по модулю 4 ; то есть каждый простой множитель имеет вид 4 n + 1 . В этом случае количество примитивных троек Пифагора ( a , b , c ) с a < b равно 2 k −1 , где k — количество различных простых делителей c . [25]
Существует бесконечно много пифагорейских троек с квадратными числами как для гипотенузы c, так и для суммы катетов a + b . По Ферма, наименьшая такая тройка [26] имеет стороны а = 4 565 486 027 761 ; б = 1 061 652 293 520 ; и с = 4 687 298 610 289 . Здесь a + b = 2 372 159 2 и c = 2 165 017 2 . Это генерируется по формуле Евклида со значениями параметров m = 2 150 905 и n = 246 792 .
Существуют непримитивные треугольники Пифагора с целой высотой от гипотенузы . [27] [28] Такие треугольники Пифагора известны как разложимые , поскольку их можно разделить по этой высоте на два отдельных и меньших треугольника Пифагора. [23]
Геометрия формулы Евклида
Рациональные точки на единичном круге
3,4,5 отображает точку x,y (4/5,3/5) на единичном круге.Рациональные точки окружности в стереографической проекции соответствуют рациональным точкам прямой.
Умножив оба члена на c 2 , можно увидеть, что рациональные точки окружности находятся во взаимно однозначном соответствии с примитивными пифагорейскими тройками.
Формула Евклида для троек Пифагора и обратное соотношение t = y /( x + 1) означают, что, за исключением (−1, 0) , точка ( x , y ) на окружности является рациональной тогда и только тогда, когда соответствующее значение t — рациональное число. Обратите внимание, что t = y /( x + 1) = b /( a + c ) = n / m также является тангенсом половины угла , противоположного стороне треугольника длиной b .
Стереографический подход
Стереографическая проекция единичного круга на ось x . Дана точка P на единичной окружности, проведем линию от P до точки N = (0, 1) ( северный полюс ). Точка P ′, где линия пересекает ось x , является стереографической проекцией P . И наоборот, начиная с точки P ′ на оси x и рисуя линию от P ′ до N , обратная стереографическая проекция — это точка P , где линия пересекает единичный круг.
Для стереографического подхода предположим, что P ′ — точка на оси x с рациональными координатами.
Тогда с помощью базовой алгебры можно показать, что точка P имеет координаты
Это устанавливает, что каждая рациональная точка оси x переходит в рациональную точку единичного круга. Обратное, что каждая рациональная точка единичного круга происходит из такой точки оси x , следует из применения обратной стереографической проекции. Предположим, что P ( x , y ) — точка единичного круга с рациональными числами x и y . Тогда точка P ′, полученная стереографической проекцией на ось x , имеет координаты
что рационально.
С точки зрения алгебраической геометрии , алгебраическое многообразие рациональных точек на единичной окружности бирационально аффинной прямой над рациональными числами. Таким образом, единичная окружность называется рациональной кривой , и именно этот факт обеспечивает явную параметризацию точек (рационального числа) на ней с помощью рациональных функций.
Треугольники Пифагора в двумерной решетке
Двумерная решетка — это регулярный массив изолированных точек, где, если какая-либо одна точка выбрана в качестве декартова начала координат (0, 0), то все остальные точки находятся в точках ( x , y ) , где x и y варьируются во всех положительных и отрицательных целых числах. . Любой треугольник Пифагора с тройкой ( a , b , c ) можно нарисовать внутри двумерной решетки с вершинами в координатах (0, 0) , ( a , 0) и (0, b ) . Число точек решетки, лежащих строго внутри границ треугольника, определяется формулой [29]: для примитивных пифагорейских троек это количество внутренних решеток равно площади (по теореме Пика, равной на единицу меньше, чем количество внутренних решеток плюс половина количества граничных решеток). равно .
Первое появление двух примитивных пифагорейских троек, имеющих одну и ту же площадь, происходит с треугольниками со сторонами (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 рациональных чисел (в низших терминах) в примитивные пифагоровы тройки, где находится в интервале и нечетно.
Обратное отображение примитивной тройки где в рациональное достигается путем изучения двух сумм и . Одна из этих сумм будет квадратом, который можно приравнять, а другая будет равна удвоенному квадрату, который можно приравнять . Тогда можно определить рациональное .
Чтобы перечислить примитивные пифагоровы тройки, рациональное число можно выразить в виде упорядоченной пары и отобразить в целое число с помощью функции сопряжения, такой как функция сопряжения Кантора . Пример можно увидеть по адресу (последовательность A277557 в OEIS ). Начинается
который равен нулю именно тогда, когда ( a , b , c ) является тройкой Пифагора. Если X соответствует тройке Пифагора, то как матрица она должна иметь ранг 1.
выполняется, где T обозначает транспонирование матрицы . Поскольку ξ и -ξ образуют одну и ту же тройку Пифагора, вектор ξ можно считать спинором ( для группы Лоренца SO(1, 2)). Говоря абстрактно, формула Евклида означает, что каждая примитивная пифагорова тройка может быть записана как внешнее произведение спинора с целочисленными элементами на самого себя, как в ( 1 ).
Модульная группа Γ представляет собой набор матриц размера 2 × 2 с целыми элементами.
с определителем, равным единице: αδ − βγ = 1 . Этот набор образует группу , поскольку обратная матрица из Γ снова находится в Γ, как и произведение двух матриц из Γ. Модульная группа действует на совокупности всех целочисленных спиноров. Более того, группа транзитивна на наборе целочисленных спиноров с относительно простыми элементами. Ибо если [ m n ] T имеет относительно простые элементы, то
Воздействуя на спинор ξ в ( 1 ), действие Γ переходит к действию на пифагоровы тройки, если учесть тройки с возможными отрицательными компонентами. Таким образом, если A — матрица из Γ , то
приводит к действию на матрицу 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) группы Γ является ядром группового гомоморфизма
где SL(2, Z 2 ) — специальная линейная группа над конечным полем Z 2 целых чисел по модулю 2 . Тогда Γ(2) — группа унимодулярных преобразований, сохраняющих четность каждого элемента. Таким образом, если первая запись ξ нечетная, а вторая четная, то то же самое верно и для A ξ для всех A ∈ Γ(2) . Фактически, под действием ( 2 ) группа Γ(2) действует транзитивно на наборе примитивных пифагоровых троек (Альперин 2005).
Группа Γ(2) — это свободная группа , генераторами которой являются матрицы
Следовательно, каждая примитивная пифагорова тройка может быть получена единственным способом как произведение копий матриц U и L .
Родительско-детские отношения
Согласно результату Берггрена (1934), все примитивные пифагоровы тройки могут быть созданы из треугольника (3, 4, 5) с помощью трех линейных преобразований T 1 , T 2 , T 3 ниже, где a , b , c — стороны из тройки:
Другими словами, каждая примитивная тройка будет «родителем» для трех дополнительных примитивных троек. Начиная с начального узла с a = 3 , b = 4 и c = 5 , операция T 1 создает новую тройку
и аналогично T 2 и T 3 образуют тройки (21, 20, 29) и (15, 8, 17).
Линейные преобразования Т1 , Т2 и Т3 имеют геометрическую интерпретацию на языке квадратичных форм . Они тесно связаны (но не равны) с отражениями, генерирующими ортогональную группу x 2 + y 2 - z 2 над целыми числами. [30]
Связь с целыми гауссовыми числами
Альтернативно, формулы Евклида можно проанализировать и доказать, используя целые числа Гаусса . [31] Целые числа Гаусса — это комплексные числа вида α = u + vi , где u и v — обычные целые числа , а i — квадратный корень из отрицательного . Единицами гауссовских целых чисел являются ±1 и ±i . Обычные целые числа называются рациональными целыми числами и обозначаются буквой « Z ». Гауссовы целые числа обозначаются как Z [ i ] . Правую часть теоремы Пифагора можно разложить на целые гауссовы числа:
Примитивная тройка Пифагора — это тройка, в которой a и b взаимно просты , т. е. у них нет общих простых делителей в целых числах. Для такой тройки либо a , либо b четное, а другое нечетное; отсюда следует, что c также нечетно.
Каждый из двух множителей z := a + bi и z* := a − bi примитивной пифагоровой тройки равен квадрату гауссова целого числа. Это можно доказать, используя свойство, согласно которому каждое гауссово целое число можно однозначно разложить на гауссовы простые числа с точностью до единиц . [32] (Эта уникальная факторизация следует из того факта, что, грубо говоря, на них можно определить версию алгоритма Евклида .) Доказательство состоит из трех шагов. Во-первых, если a и b не имеют общих простых множителей в целых числах, то они также не имеют общих простых множителей в целых гауссовых числах. (Предположим, что a = gu и b = gv с целыми гауссовыми числами g , u и v и g не единицей. Тогда 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) 2 . Из формулы c 2 = zz* это, в свою очередь, означает, что c четно, что противоречит гипотезе примитивной пифагоровой тройки. В-третьих, поскольку c 2 — квадрат, каждое гауссово простое число при его факторизации удваивается, т. е. появляется четное число раз. Поскольку у z и z* нет общих простых делителей, это удвоение справедливо и для них. Следовательно, z и z* — квадраты.
Таким образом, первый фактор можно записать
Действительная и мнимая части этого уравнения дают две формулы:
Для любой примитивной тройки Пифагора должны существовать целые числа m и n , такие, что эти два уравнения удовлетворяются. Следовательно, каждая пифагорова тройка может быть получена из некоторого выбора этих целых чисел.
Как идеальные квадратные гауссовы целые числа
Если мы рассмотрим квадрат гауссовского целого числа, мы получим следующую прямую интерпретацию формулы Евклида как представления идеального квадрата гауссовского целого числа.
Используя тот факт, что гауссовы целые числа являются евклидовой областью и что для гауссовского целого числа p всегда является квадратом, можно показать, что пифагорова тройка соответствует квадрату простого гауссовского целого числа, если гипотенуза проста.
Если целое число Гаусса не является простым, то оно является произведением двух целых чисел Гаусса p и q с целыми числами и . Поскольку величины умножаются в целых числах Гаусса, произведение должно быть , которое при возведении в квадрат для нахождения пифагоровой тройки должно быть составным. Противоположение завершает доказательство.
Распределение троек
Диаграмма рассеяния ножек ( a , b ) первых пифагорейских троек с a и b меньше 4500.
Имеется ряд результатов о распределении пифагоровых троек. На диаграмме рассеяния уже виден ряд очевидных закономерностей. Всякий раз, когда на графике появляются ножки ( a , b ) примитивной тройки, на графике также должны появиться все целые числа, кратные ( a , b ) , и это свойство приводит к появлению линий, исходящих от начала координат на диаграмме.
Внутри разброса присутствуют наборы параболических паттернов с высокой плотностью точек и всеми их фокусами в начале координат, раскрывающимися во всех четырех направлениях. Различные параболы пересекаются по осям и, кажется, отражаются от оси под углом падения 45 градусов, при этом третья парабола входит перпендикулярно. Внутри этого квадранта каждая дуга с центром в начале координат показывает ту часть параболы, которая лежит между ее вершиной и пересечением с полураскрытой прямой кишкой .
Эти закономерности можно объяснить следующим образом. Если – целое число, то ( a , , ) – пифагорова тройка. (На самом деле каждая тройка Пифагора ( a , b , c ) может быть записана таким образом с целым числом n , возможно, после замены a и b , поскольку и a и b не могут быть одновременно нечетными.) Таким образом, тройки Пифагора лежат на кривых, заданных формулами , то есть параболы, отраженные от оси a , и соответствующие кривые с a и b поменялись местами. Если a варьируется для данного n (т.е. по данной параболе), целые значения b встречаются относительно часто, если n является квадратом или небольшим кратным квадрату. Если несколько таких значений лежат близко друг к другу, соответствующие параболы примерно совпадают, и тройки группируются в узкую параболическую полосу. Например, 38 2 = 1444 , 2 × 27 2 = 1458 , 3 × 22 2 = 1452 , 5 × 17 2 = 1445 и 10 × 12 2 = 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 и b .)
Альберт Фесслер и другие дают представление о значении этих парабол в контексте конформных отображений. [33] [34]
Особые случаи и связанные с ними уравнения
Платоническая последовательность
Случай n = 1 более общей конструкции пифагоровых троек известен давно. Прокл в своем комментарии к 47-му положению первой книги « Начал» Евклида описывает его следующим образом:
Некоторые методы открытия треугольников такого рода передаются из поколения в поколение, один из которых они относят к Платону, а другой к Пифагору . (Последний) начинается с нечетных чисел. Ибо оно делает нечетное число меньшей из сторон прямого угла; затем он берет его квадрат, вычитает единицу и делает половину разницы большей из сторон прямого угла; наконец, оно добавляет к этому единицу и образует, таким образом, оставшуюся сторону — гипотенузу. ...Ибо метод Платона рассуждает четными числами. Он берет заданное четное число и делает его одной из сторон под прямым углом; затем, разделив это число пополам и возведя половину в квадрат, он прибавляет единицу к квадрату, чтобы образовать гипотенузу, и вычитает единицу из квадрата, чтобы образовать другую сторону около прямого угла. ... Таким образом образовался тот же треугольник, что и получен другим методом.
В форме уравнения это выглядит так:
а нечетно (Пифагор, ок. 540 г. до н. э.):
а четно (Платон, ок. 380 г. до н. э.):
Можно показать, что все пифагоровы тройки могут быть получены с соответствующим изменением масштаба из основной платоновской последовательности ( a , ( a 2 − 1)/2 и ( a 2 + 1)/2 ), позволяя a принимать нецелые числа. рациональные ценности. Если a заменить дробью m / n в последовательности, результат будет равен «стандартному» тройному генератору (2 mn , m 2 − n 2 , m 2 + n 2 ) после изменения масштаба. Отсюда следует, что каждой тройке соответствует рациональное значение a , которое можно использовать для создания подобного треугольника (с теми же тремя углами и сторонами в тех же пропорциях, что и исходный). Например, платоновский эквивалент (56, 33, 65) генерируется формулой a = m / n = 7/4 как ( a , ( a 2 –1)/2, ( a 2 +1)/2) = ( 56/32, 33/32, 65/32) . Сама Платонова последовательность может быть получена [ необходимы пояснения ], следуя шагам «разделения квадрата», описанным у Диофанта II.VIII .
Уравнение Якоби–Мэддена
Уравнение,
эквивалентно специальной тройке Пифагора,
Существует бесконечное количество решений этого уравнения, поскольку для решения переменных используется эллиптическая кривая . Маленькие такие,
Равные суммы двух квадратов
Один из способов генерирования решений состоит в параметризации a, b, c, d целыми числами m, n, p, q следующим образом: [35]
Равные суммы двух четвертых степеней
Даны два набора троек Пифагора.
задача о нахождении равных произведений негипотенузной стороны и гипотенузы,
Легко видеть, что это эквивалентно уравнению
и впервые было решено Эйлером как . Поскольку он показал, что это рациональная точка эллиптической кривой , то существует бесконечное количество решений. Фактически, он также нашел параметризацию полинома 7-й степени.
Если a , b , c являются сторонами этого типа примитивной тройки Пифагора, то решение уравнения Пелля дается рекурсивной формулой
с и
с и
с и . [36]
Эта последовательность примитивных пифагоровых троек образует центральный ствол (ствол) корневого троичного дерева примитивных пифагоровых троек.
Когда более длинная сторона, не являющаяся гипотенузой, и гипотенуза отличаются на единицу, например, в
тогда полное решение примитивной пифагоровой тройки a , b , c будет
и
где целое число — генерирующий параметр.
Это показывает, что все нечетные числа (больше 1) появляются в этом типе почти равнобедренной примитивной пифагоровой тройки. Эта последовательность примитивных пифагорейских троек образует правый внешний ствол корневого троичного дерева примитивных пифагорейских троек.
Другое свойство этого типа почти равнобедренной примитивной пифагоровой тройки состоит в том, что стороны связаны так, что
для некоторого целого числа . Или, другими словами, делится на такие, как в
. [37]
Числа Фибоначчи в тройках Пифагора
Начиная с 5, каждое второе число Фибоначчи — это длина гипотенузы прямоугольного треугольника с целыми сторонами, или другими словами, наибольшее число в тройке Пифагора, полученное по формуле
Последовательность треугольников Пифагора, полученная по этой формуле, имеет стороны длины
(3,4,5), (5,12,13), (16,30,34), (39,80,89), ...
Средняя сторона каждого из этих треугольников представляет собой сумму трёх сторон предыдущего треугольника. [38]
Обобщения
Существует несколько способов обобщить понятие пифагорейских троек.
Пифагорейскийн-кортеж
Выражение
является пифагорейским n -кортежом для любого набора натуральных чисел ( m 1 , ..., m n ) с m2 1> м2 2+ ... + м2 н. Пифагорейский набор n можно сделать примитивным, разделив его значения на наибольший общий делитель.
Более того, любой примитивный пифагоров n -кортеж a2 1+ ... + а2 н= c 2 можно найти с помощью этого подхода. Используйте ( m 1 , ..., m n ) = ( c + a 1 , a 2 , ..., an n ), чтобы получить пифагорейский n -кортеж по приведенной выше формуле и разделите его на наибольший общий целочисленный делитель, что составляет 2 м 1 знак равно 2( c + а 1 ) . Деление на наибольший общий делитель этих ( m 1 , ..., m n ) значений дает тот же примитивный пифагорейский n -кортеж; и существует взаимно однозначное соответствие между кортежами взаимно простых положительных целых чисел ( m 1 , ..., m n ) , удовлетворяющих m2 1> м2 2+ ... + м2 ни примитивные пифагорейские n -кортежи.
Примеры связи между взаимно простыми значениями и примитивными пифагорейскими n -кортежами включают: [39]
Последовательные квадраты
Поскольку сумма F ( k , m ) k последовательных квадратов, начинающихся с m2 , определяется формулой [40]
можно найти значения ( k , m ) так, что F ( k , m ) является квадратом, например квадратом Хиршхорна, где количество терминов само по себе является квадратом, [41]
и v ≥ 5 — любое целое число, не кратное 2 или 3. Для наименьшего случая v = 5 , следовательно, k = 25 , это дает хорошо известную задачу Лукаса о укладке пушечных ядер :
Кроме того, если в пифагорейском n -кортеже ( n ≥ 4 ) все слагаемые последовательны, кроме одного, можно использовать уравнение [42]
Поскольку вторая степень p сокращается, это только линейно и легко решается, как будто k , m следует выбирать так, чтобы p было целым числом, с небольшим примером: k = 5 , m = 1 , что дает:
Таким образом, один из способов генерации пифагорейских n -кортежей состоит в использовании для различных x [ 43]
где q = n –2 и где
Последняя теорема Ферма
Обобщением концепции троек Пифагора является поиск троек натуральных чисел a , b и c , таких, что a n + b n = c n , для некоторого n , строго большего 2. Пьер де Ферма в 1637 году утверждал, что нет такая тройка существует, утверждение, которое стало известно как Великая теорема Ферма, потому что для доказательства или опровержения потребовалось больше времени, чем для любой другой гипотезы Ферма. Первое доказательство было дано Эндрю Уайлсом в 1994 году.
п - 1илин нсуммирование степеней кнэта сила
Другое обобщение - это поиск последовательностей из n + 1 положительных целых чисел, для которых n -я степень последнего является суммой n -й степени предыдущих членов. Наименьшие последовательности для известных значений n :
Для случая n = 3 , который называется кубикой Ферма , существует общая формула, дающая все решения.
Немного другое обобщение позволяет сумме ( k + 1) n- й степени равняться сумме ( n - k ) n- й степени. Например:
( n = 3 ): 1 3 + 12 3 = 9 3 + 10 3 , ставшее известным благодаря воспоминаниям Харди о разговоре с Рамануджаном о том, что число 1729 является наименьшим числом, которое можно выразить в виде суммы двух кубов двумя разными способами. .
Также могут существовать n - 1 положительные целые числа, сумма n- х степеней которых равна n-й степени (хотя, согласно Великой теореме Ферма , не для n = 3) ; это контрпримеры к гипотезе Эйлера о сумме степеней . Наименьшие известные контрпримеры: [44] [45] [15]
n = 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 ) — тройка Герона, то же самое относится и к ( ka , kb , kc ) , где k — любое положительное целое число; его площадь будет целым числом, которое в 2 раза превышает целочисленную площадь треугольника ( a , b , c ) . Геронова тройка ( a , b , c ) является примитивной при условии, что a , b , c взаимно просты . (К примитивным пифагоровым тройкам также применимо более строгое утверждение о том, что они попарно взаимно просты, но к примитивным героновым треугольникам более сильное утверждение не всегда справедливо, как, например, в случае (7, 15, 20) .) Вот несколько простейших примитивных треугольников. Героновы тройки, не являющиеся пифагорейскими тройками:
(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 была героновой, является то, что
( а 2 + б 2 + c 2 ) 2 - 2( а 4 + б 4 + c 4 )
или эквивалентно
2( а 2 б 2 + а 2 c 2 + б 2 c 2 ) - ( а 4 + б 4 + c 4 )
быть ненулевым полным квадратом, делящимся на 16.
Приложение к криптографии
Примитивные тройки Пифагора использовались в криптографии в качестве случайных последовательностей и для генерации ключей. [46]
^ Борегар, Раймонд А.; Сурьянараян, Э.Р. (2000), «Параметрическое представление примитивных пифагорейских троек», в книге Нельсена, Роджера Б. (редактор), « Доказательства без слов: дополнительные упражнения по визуальному мышлению» , том. II, Математическая ассоциация Америки , стр. 120, ISBN978-0-88385-721-2, OCLC 807785075
^ Маор, Эли , Теорема Пифагора , Princeton University Press, 2007: Приложение B.
^ Хьюстон, Дэвид (1993), «Тройки Пифагора с помощью формул двойного угла», Нельсен, Роджер Б. (редактор), « Доказательства без слов: упражнения по визуальному мышлению» , Математическая ассоциация Америки, стр. 141, ISBN978-0-88385-700-7, OCLC 29664480
^ Об отсутствии решений, в которых a и b являются квадратными, первоначально доказал Ферма, см. Koshy, Thomas (2002), Elementary Number Theory with Applications, Academic Press, p. 545, ISBN 9780124211711. О другом случае, когда c является одним из квадратов, см. Стиллвелл, Джон (1998), Числа и геометрия, Тексты для студентов по математике , Springer, p. 133, ISBN 9780387982892.
^ Материалы Юго-восточной конференции по комбинаторике, теории графов и вычислениям, том 20, Utilitas Mathematica Pub, 1990, стр. 141, ISBN9780919628700
^ Аб Макхейл, Дес ; ван ден Бош, Кристиан (март 2012 г.), «Обобщение результатов о тройках Пифагора», Mathematical Gazette , 96 : 91–96, doi : 10.1017/S0025557200004010 , S2CID 124096076
^ Салли, Джудит Д. (2007), Корни исследования: вертикальное развитие математических проблем, Американское математическое общество, стр. 74–75, ISBN9780821872673.
^ Это следует непосредственно из того факта, что ab делится на двенадцать, а также из определения конгруэнтных чисел как площадей прямоугольных треугольников с рациональными сторонами. См., например, Коблиц, Нил (1993), «Введение в эллиптические кривые и модульные формы», «Тексты для аспирантов по математике», том. 97, Спрингер, с. 3, ISBN 9780387979663.
^ Барагар, Артур (2001), Обзор классической и современной геометрии: с помощью компьютера , Прентис Холл, Упражнение 15.3, с. 301, ISBN9780130143181
^ аб Бернхарт, Фрэнк Р.; Прайс, Х. Ли (2005), формула Герона, круги Декарта и треугольники Пифагора , arXiv : math/0701624
^ Х. Дармон и Л. Мерел. Факторы намотки и некоторые варианты Великой теоремы Ферма, Дж. Рейн Ангью. Математика. 490 (1997), 81–100.
^ Розенберг, Стивен; Спиллейн, Майкл; Вульф, Дэниел Б. (май 2008 г.), «Треугольники Херона и пространства модулей», Учитель математики , 101 : 656–663, doi : 10.5951/MT.101.9.0656
^ Аб Ю, Пол (2008), Треугольники Херона, которые нельзя разложить на два целых прямоугольных треугольника (PDF) , 41-е собрание Флоридской секции Математической ассоциации Америки, стр. 17
^ Гаусс CF (1832), "Theoria residuorum biquadraticorum", Comm. Соц. Рег. наук. Гетт. Рек. , 4 .См. также Werke , 2 :67–148.
^ Препринт 1988 г. Архивирован 9 августа 2011 г. в Wayback Machine. См. рисунок 2 на стр. 3., позже опубликован как Фесслер, Альберт (июнь – июль 1991 г.), «Множественные тройки пифагорейских чисел», American Mathematical Monthly , 98 (6): 505–517, номер документа : 10.2307/2324870, JSTOR 2324870.
^ Бенито, Мануэль; Варона, Хуан Л. (июнь 2002 г.), «Треугольники Пифагора со сторонами меньше n », Журнал вычислительной и прикладной математики , 143 (1): 117–126, Бибкод : 2002JCoAM.143..117B, doi : 10.1016/S0377 -0427(01)00496-4как PDF
^ Нахин, Пол Дж. (1998), Воображаемая сказка: История , Принстон, Нью-Джерси: Princeton University Press, стр. 25–26, ISBN0-691-02795-1, МР 1645703
^ Сумма последовательных кубов равна кубу, заархивировано из оригинала 15 мая 2008 г.
^ Хиршхорн, Майкл (ноябрь 2011 г.), «Когда сумма последовательных квадратов является квадратом?», The Mathematical Gazette , 95 : 511–2, doi : 10.1017/S0025557200003636 , ISSN 0025-5572, OCLC 819659848, S2CID 11877 6198
^ Гёль, Джон Ф. младший (май 2005 г.), «Размышления читателя», Учитель математики , 98 (9): 580, doi : 10.5951/MT.98.9.0580
^ Гёль, Джон Ф.-младший, «Тройки, квартеты, пентады», Учитель математики 98, май 2005 г., стр. 580.
^ Ким, Скотт (май 2002 г.), «Богглеры», Discover : 82, Уравнение w 4 + x 4 + y 4 = z 4 сложнее. В 1988 году, после 200 лет попыток математиков доказать это невозможно, Ноам Элкис из Гарварда нашел контрпример: 2 682 440 4 + 15 365 639 4 + 18 796 760 4 = 20 615 673 4 .
^ Элкис, Ноам (1988), «На A4 + B4 + C4 = D4», Mathematics of Computation , 51 (184): 825–835, doi : 10.2307/2008781, JSTOR 2008781, MR 0930224
^ Как, С. и Прабху, М. Криптографические применения примитивных пифагорейских троек. Криптология, 38:215–222, 2014. [1]
Рекомендации
Альперин, Роджер К. (2005), «Модульное дерево Пифагора» (PDF) , American Mathematical Monthly , 112 (9): 807–816, CiteSeerX 10.1.1.112.3085 , doi : 10.2307/30037602, JSTOR 30037602, MR 2179860
Берггрен, Б. (1934), «Питагорейский треугольник», Tidskrift for Elementär Matematik, Fysik och Kemi (на шведском языке), 17 : 129–139
Барнинг, FJM (1963), «Пифагорес и биджна-пифагорейский дрихокен и процесс генерации с использованием унимодулирующих матриц» (PDF) , Math. Центр Амстердама Afd. Зуйвере Виск. (на голландском языке), ZW-011: 37
Эккерт, Эрнест (1992), «Примитивные пифагоровы тройки», The College Mathematics 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-е изд.), Лексингтон: DC Heath and Company , LCCN 77171950
Мартин, Артемас (1875), «Рациональные прямоугольные треугольники, почти равнобедренные», The Analyst , 3 (2): 47–50, doi : 10.2307/2635906, JSTOR 2635906
Тейген, МГ; Хэдвин, Д. У. (1971), «О создании троек Пифагора», The American Mathematical Monthly , 78 (4): 378–379, doi : 10.2307/2316903, JSTOR 2316903
Траутман, Анджей (1998), «Пифагорейские спиноры и твисторы Пенроуза», в SA Hugget; Эл Джей Мейсон; КП Тод; СТ Цоу; NMJ Вудхаус (ред.), Геометрическая вселенная (Постскриптум)
Внешние ссылки
Алгебры Клиффорда и параметризация Евклида пифагоровых троек
Параметризация троек Пифагора одной тройкой многочленов
Прайс, Х. Ли (2008), Дерево Пифагора: новый вид , arXiv : 0809.4324
Пифагоровы тройки и единичный круг, гл. 2–3, в «Дружественном введении в теорию чисел» Джозефа Х. Сильвермана, 3-е изд., 2006 г., Пирсон Прентис Холл, Аппер-Сэдл-Ривер, Нью-Джерси, ISBN 0-13-186137-9
Пифагоровы тройки в интерактивном апплете, показывающем взаимосвязь единичного круга с пифагорейскими тройками
Пифагорейские тройки
Замечательная вписанная окружность треугольника
Решения квадратично-совместимых пар относительно пифагоровых троек
Теоретические свойства троек Пифагора и связь с геометрией.
Троичное дерево(а), лежащее в основе примитивных пифагорейских троек, при разрезании узла