WikiDer > Пифагорейская четверка

Pythagorean quadruple

Все четыре примитивных пифагорова четверки с однозначными значениями

А Пифагорейская четверка это кортеж из целые числа $а$ , $б$ , $c$ и $d$ , так что $а 2 + б 2 + c 2 = d 2$ . Это решения Диофантово уравнение и часто учитываются только положительные целые числа.^[1] Однако для обеспечения более полной геометрической интерпретации целочисленные значения могут быть отрицательными и нулевыми (что позволяет Пифагорейские тройки быть включенным) с единственным условием, что $d > 0$ . В этом случае четверка Пифагора $(а, б, c, d)$ определяет кубовид с целыми длинами сторон $| а |$ , $| б |$ , и $| c |$ , чья диагональ пространства имеет целую длину $d$ ; в этой интерпретации пифагоровы четверки также называются Пифагорейские коробки.^[2] В этой статье мы будем предполагать, если не указано иное, что все значения пифагоровой четверки являются целыми положительными числами.

Параметризация примитивных четверок

Четверка Пифагора называется примитивный если наибольший общий делитель его записей равно 1. Каждая пифагорова четверка является целым числом, кратным примитивной четверке. В набор примитивных пифагоровых четверок, для которых $а$ нечетно может быть порождено формулами

{displaystyle {egin {align} a & = m ^ {2} + n ^ {2} -p ^ {2} -q ^ {2}, b & = 2 (mq + np), c & = 2 (nq- mp), d & = m ^ {2} + n ^ {2} + p ^ {2} + q ^ {2}, конец {выровнен}}}

где $м$ , $п$ , $п$ , $q$ - целые неотрицательные числа с наибольшим общим делителем 1 такие, что $м + п + п + q$ странно.^[3]^[4]^[1] Таким образом, все примитивные пифагоровы четверки характеризуются тождеством Лебега^{[требуется разъяснение]}

{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}.}

Альтернативная параметризация

Все пифагоровы четверки (включая непримитивные и с повторением, хотя $а$ , $б$ и $c$ не появляются во всех возможных порядках) могут быть сгенерированы из двух положительных целых чисел $а$ и $б$ следующим образом:

Если $а$ и $б$ иметь разные паритет, позволять $п$ быть любым фактором $а 2 + б 2$ такой, что $п 2 < а 2 + б 2$ . потом $c = а 2 + б 2 - п 2 / 2 п$ и $d = а 2 + б 2 + п 2 / 2 п$ . Обратите внимание, что $п = d - c$ .

Подобный метод существует^[5] для генерации всех четверок Пифагора, для которых $а$ и $б$ оба четные. Позволять $л = а / 2$ и $м = б / 2$ и разреши $п$ быть фактором $л 2 + м 2$ такой, что $п 2 < л 2 + м 2$ . потом $c = л 2 + м 2 - п 2 / п$ и $d = л 2 + м 2 + п 2 / п$ . Этот метод генерирует все четверки Пифагора ровно по одному разу, когда $л$ и $м$ пробегают все пары натуральных чисел и $п$ пробегает все допустимые значения для каждой пары.

Такого метода не существует, если оба $а$ и $б$ являются нечетными, и в этом случае решений не существует, как видно из параметризации в предыдущем разделе.

Свойства

Наибольшее число, которое всегда делит продукт $abcd$ 12 лет.^[6] Четверка с минимальным произведением равна (1, 2, 2, 3).

Связь с кватернионами и рациональными ортогональными матрицами

Примитивная пифагорейская четверка $(а, б, c, d)$ параметризованный от $(м, п, п, q)$ соответствует первому столбец из матричное представление $E (α)$ из спряжение $α (\cdot) α$ посредством Кватернион Гурвица $α = м + ni + pj + qk$ ограниченный в подпространство $ℍ$ охватывает $я$ , $j$ , $k$ , который задается

{displaystyle E (alpha) = {egin {pmatrix} m ^ {2} + n ^ {2} -p ^ {2} -q ^ {2} & 2np-2mq & 2mp + 2nq 2mq + 2np & m ^ {2} -n ^ {2} + p ^ {2} -q ^ {2} & 2pq-2mn 2nq-2mp & 2mn + 2pq & m ^ {2} -n ^ {2} -p ^ {2} + q ^ {2} end { pmatrix}},}

где столбцы попарно ортогональный и у каждого есть норма $d$ . Кроме того, у нас есть $1 / d E (α) \in SO (3, ℚ)$ , и на самом деле, все 3 × 3 ортогональные матрицы с рациональный коэффициенты возникают таким образом.^[7]

Примитивные пифагоровы четверки с малой нормой

Существует 31 примитивная четверка Пифагора, в которой все элементы меньше 30.

(	1	,	2	,	2	,	3	)	(	2	,	10	,	11	,	15	)	(	4	,	13	,	16	,	21	)	(	2	,	10	,	25	,	27	)
(	2	,	3	,	6	,	7	)	(	1	,	12	,	12	,	17	)	(	8	,	11	,	16	,	21	)	(	2	,	14	,	23	,	27	)
(	1	,	4	,	8	,	9	)	(	8	,	9	,	12	,	17	)	(	3	,	6	,	22	,	23	)	(	7	,	14	,	22	,	27	)
(	4	,	4	,	7	,	9	)	(	1	,	6	,	18	,	19	)	(	3	,	14	,	18	,	23	)	(	10	,	10	,	23	,	27	)
(	2	,	6	,	9	,	11	)	(	6	,	6	,	17	,	19	)	(	6	,	13	,	18	,	23	)	(	3	,	16	,	24	,	29	)
(	6	,	6	,	7	,	11	)	(	6	,	10	,	15	,	19	)	(	9	,	12	,	20	,	25	)	(	11	,	12	,	24	,	29	)
(	3	,	4	,	12	,	13	)	(	4	,	5	,	20	,	21	)	(	12	,	15	,	16	,	25	)	(	12	,	16	,	21	,	29	)
(	2	,	5	,	14	,	15	)	(	4	,	8	,	19	,	21	)	(	2	,	7	,	26	,	27	)

Смотрите также

использованная литература

^ ^а ^б Р. Спира, Диофантово уравнение $Икс 2 + у 2 + z 2 = м 2$ , Амер. Математика. Ежемесячно Vol. 69 (1962), № 5, 360–365.
^ Р. А. Борегар и Э. Р. Сурьянараян, Пифагорейские коробки, Математика. Журнал 74 (2001), 222–227.
^ Р. Д. Кармайкл, Диофантов анализ, Нью-Йорк: John Wiley & Sons, 1915.
^ L.E. Диксон, Некоторые связи теории чисел с другими разделами математики, в Вилья (Анри), ред., Женеральная конференция, Международный конгресс математиков, Страсбург, Тулуза, 1921, стр. 41–56; репринт Нендельн / Лихтенштейн: Kraus Reprint Limited, 1967; Собрание сочинений 2. С. 579–594.
^ Серпинский, Вацлав, Пифагоровы треугольники, Dover, 2003 (ориг. 1962), с.102–103.
^ Макхейл, Дес, и ван ден Бош, Кристиан, «Обобщение результата о пифагорейских троек», Математический вестник 96, март 2012 г., стр. 91-96.
^ Дж. Кремона, Письмо редактору, Амер. Математика. Ежемесячно 94 (1987), 757–758.

внешние ссылки

Кармайкл. Диофантов анализ в Проект Гутенберг

[Spira-1] а ^б Р. Спира, Диофантово уравнение $Икс 2 + у 2 + z 2 = м 2$ , Амер. Математика. Ежемесячно Vol. 69 (1962), № 5, 360–365.

[2] Р. А. Борегар и Э. Р. Сурьянараян, Пифагорейские коробки, Математика. Журнал 74 (2001), 222–227.

[3] Р. Д. Кармайкл, Диофантов анализ, Нью-Йорк: John Wiley & Sons, 1915.

[4] L.E. Диксон, Некоторые связи теории чисел с другими разделами математики, в Вилья (Анри), ред., Женеральная конференция, Международный конгресс математиков, Страсбург, Тулуза, 1921, стр. 41–56; репринт Нендельн / Лихтенштейн: Kraus Reprint Limited, 1967; Собрание сочинений 2. С. 579–594.

[5] Серпинский, Вацлав, Пифагоровы треугольники, Dover, 2003 (ориг. 1962), с.102–103.

[6] Макхейл, Дес, и ван ден Бош, Кристиан, «Обобщение результата о пифагорейских троек», Математический вестник 96, март 2012 г., стр. 91-96.

[7] Дж. Кремона, Письмо редактору, Амер. Математика. Ежемесячно 94 (1987), 757–758.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Navigation