Пифагорова четвёрка

Пифагорова четвёрка — кортеж целых чисел $(a,b,c,d)$$(a,b,c,d)$ таких, что d > 0 и $a^2+b^2+c^2=d^2$$a^{2}+b^{2}+c^{2}=d^{2}$. Пифагорова четвёрка $(a,b,c,d)$$(a,b,c,d)$ определяет прямоугольный параллелепипед с длинами сторон |a|, |b| и |c|, диагональ которого имеет длину d. Пифагоровы четвёрки также называются пифагоровыми блоками.

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

Множество всех примитивных пифагоровых четвёрок, то есть тех, для которых НОД(a,b,c) = 1, имеет параметризацию

$a=m^2+n^2-<!--\; -\; -->p^2-<!--\; -\; -->q^2,$$a=m^{2}+n^{2}-p^{2}-q^{2},$ 

$b=2(mq+np),$$b=2(mq+np),$ 

$c=2(nq-<!--\; -\; -->mp),$$c=2(nq-mp),$ 

$d=m^2+n^2+p^2+q^2,$$d=m^{2}+n^{2}+p^{2}+q^{2},$ 

где m, n, p, q — натуральные целые, НОД(m, n, p, q) = 1 и m + n + p + q ≡ 1 (mod 2). Таким образом, все примитивные пифагоровы четвёрки описываются тождеством Лебега

$(m^2+n^2+p^2+q^2{)}^2=(2mq+2np{)}^2+(2nq-<!--\; -\; -->2mp{)}^2+(m^2+n^2-<!--\; -\; -->p^2-<!--\; -\; -->q^2{)}^2.$$(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 следующим образом:

Если $a$$a$  и $b$$b$  имеют различную чётность, возьмём любой множитель p числа $a^2+b^2$$a^{2}+b^{2}$  такой, что $p^{2}<a^{2}+b^{2}$ . Тогда $c=(a^2+b^2-<!--\; -\; -->p^2)/(2p)$$c=(a^{2}+b^{2}-p^{2})/(2p)$  и $d=(a^2+b^2+p^2)/(2p).$$d=(a^{2}+b^{2}+p^{2})/(2p).$  Заметим, что $p=d-<!--\; -\; -->c.$$p={d-c}.$ 

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

СвойстваПравить

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

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

Примитивная пифагорова четвёрка $(a,b,c,d)$$(a,b,c,d)$ , параметризованная с помощью $(m,n,p,q)$$(m,n,p,q)$ , соответствует первому столбцу матричного представления $E(\mathrm{\alpha <!--\; \alpha \; -->})$$E(\alpha )$  сопряжения $\mathrm{\alpha <!--\; \alpha \; -->}(\cdot <!--\; \cdot \; -->)\stackrel{¯<!--\; ¯\; -->}{\mathrm{\alpha <!--\; \alpha \; -->}}$$\alpha (\cdot ){\overline {\alpha }}$  с помощью кватерниона Гурвица $\mathrm{\alpha <!--\; \alpha \; -->}=m+ni+pj+qk$$\alpha =m+ni+pj+qk$ , суженного до подпространства $\mathbb{H}$${\mathbb {H}}$ , натянутого на $i,j,k$$i,j,k$ 

$E(\alpha )={\begin{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. Более того, $\frac{1}{d}E(\mathrm{\alpha <!--\; \alpha \; -->})$${\frac {1}{d}}E(\alpha )$  $\in <!--\; \in \; -->\text{SO}(3,\mathbb{Q})$$\in {\text{SO}}(3,\mathbb {Q} )$ , и, фактически, все 3 × 3 ортогональные матрицы с рациональными коэффициентами появляются таким образом.

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

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

См. такжеПравить

• Пифагорова тройка
• Теорема де Гуа
• Кватернионы и вращение пространства
• Формула Эйлера — Родригеса для вращения в трёхмерном пространстве
• Гипотеза Эйлера
• Гипотеза Била
• Уравнение Якоби — Маддена
• Задача Прухета — Тарри — Эскотта^[en]
• Число такси
• Задача о четырёх кубах

СсылкиПравить

• Weisstein, Eric W. Pythagorean Quadruple (англ.) на сайте Wolfram MathWorld.
• Weisstein, Eric W. Lebesgue's Identity (англ.) на сайте Wolfram MathWorld.
• Diophantine Analysis в проекте «Гутенберг».
• The complete parametrization derived using a Minkowskian Clifford Algebra