WikiSort.ru - Не сортированное

Дерево примитивных пифагоровых троек — троичное дерево^[en], образуемое примитивными пифагоровыми тройками, то есть пифагоровыми тройками, не имеющими общих делителей. Впервые открыто в 1934 году шведским математиком Берггреном^[1].

В 1963 году установлено^[2], что при умножении справа любой из трёх матриц

${\displaystyle {\begin{array}{lcr}A={\begin{bmatrix}1&-2&2\\2&-1&2\\2&-2&3\end{bmatrix}}&B={\begin{bmatrix}1&2&2\\2&1&2\\2&2&3\end{bmatrix}}&C={\begin{bmatrix}-1&2&2\\-2&1&2\\-2&2&3\end{bmatrix}}\end{array}}}$

на вектор-столбец, компоненты которого составляют пифагорову тройку, результатом будет вектор-столбец, компоненты которого составляют другую пифагорову тройку. Если исходная тройка была примитивной, то таковой будет и результирующая. Таким образом, каждая примитивная тройка имеет три «потомка». Все примитивные пифагоровы тройки являются потомками тройки (3, 4, 5), и ни одна тройка при таком построении не появляется дважды. Результат графически можно представить в виде бесконечного троичного дерева с тройкой (3, 4, 5) в качестве корня^[3][4].

Доказательство

Свойства

Преобразование с помощью матрицы A, если повторять с корня (a, b, c) = (3, 4, 5), сохраняет свойство b + 1 = c. Матрица B сохраняет свойство a — b = ± 1, если начать с (3, 4, 5). Если начать с (3, 4, 5), матрица C сохраняет свойство a + 2 = c.

Геометрическая интерпретация этих трёх свойств опирается на вневписанные окружности. Три потомка каждого родительского треугольника «наследуют» радиус вписанной окружности от родителя — радиус вневписанной окружности родителя становится радиусом вписанной окружности потомка^[5]. Например, родитель (3, 4, 5) имеет радиусы вневписанных окружностей 2, 3 и 6. Это как раз радиусы вписанных окружностей потомков (5, 12, 13), (15, 8, 17) и (21, 20, 29) соответственно.

Если матрицы A или C использовать последовательно, начиная с некоторой пифагоровой тройки, то поведение a, b и c можно выразить как поведение x в уравнении

${\displaystyle x_{n+3}-3x_{n+2}+3x_{n+1}-x_{n}=0}$

которое появляется из общего характеристического уравнения

${\displaystyle \lambda ^{3}-3\lambda ^{2}+3\lambda -1=0.}$

Если применять последовательно B, то поведение чисел a, b и c можно выразить как поведение x в уравнении

${\displaystyle x_{n+3}-5x_{n+2}-5x_{n+1}+x_{n}=0,}$

которое появляется из характеристического уравнения для B^[6].

Более того, можно найти бесконечно много других рекуррентных уравнений, умножая эти три матрицы друг на друга произвольное число раз в произвольной последовательности. Например, матрица D = CB перемещает вершину в дереве за один шаг на две позиции (напротив, затем вниз). Характеристическое уравнение для D даёт поведение любой тройки a, b и c в неполном дереве, образованном матрицей D.

Другие методы получения дерева

Другой подход для этого дерева ^[7] основывается на стандартной формуле получения пифагоровых троек:

${\displaystyle a=m^{2}-n^{2}}$ ,

${\displaystyle b=2mn}$ ,

${\displaystyle c=m^{2}+n^{2}}$ ,

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

${\displaystyle {\begin{array}{lcr}{\begin{bmatrix}2&-1\\1&0\end{bmatrix}},&{\begin{bmatrix}2&1\\1&0\end{bmatrix}},&{\begin{bmatrix}1&2\\0&1\end{bmatrix}},\end{array}}}$

Умножение на любую из этих матриц сохраняет неравенство чисел, взаимную простоту и противоположность чётности. Результирующее троичное дерево содержит все такие пары (m, n) ровно раз, а если перевести их в тройки (a, b, c), дерево становится тем же, что и описано выше.

Ещё один способ, использующий два параметра для генерации троек ^[8] использует альтернативную формулу для всех примитивных троек:

${\displaystyle a=uv}$ ,

${\displaystyle b={\frac {u^{2}-v^{2}}{2}}}$ ,

${\displaystyle c={\frac {u^{2}+v^{2}}{2}}}$ ,

с u > v > 0, где u и v взаимно просты и нечётны. Пары (u, v) можно получать путём умножения слева (если представить эту пару в виде вектор-столбца) на одну из вышеприведённых 2 × 2 матриц, при этом будет сохраняться неравенство чисел, взаимная простота и нечётность. Если процесс начать с (3, 1), результирующее дерево содержит каждую пару (u, v) ровно раз, а при приведении к тройкам (a, b, c) дерево становится тем же самым, что и выше.

Другое дерево

В 2008 году^[5] обнаружено, что отличное от вышеприведённого дерево можно получить сходным образом, если использовать матрицы:

${\displaystyle {\begin{array}{lcr}A'={\begin{bmatrix}2&1&-1\\-2&2&2\\-2&1&3\end{bmatrix}}&B'={\begin{bmatrix}2&1&1\\2&-2&2\\2&-1&3\end{bmatrix}}&C'={\begin{bmatrix}2&-1&1\\2&2&2\\2&1&3\end{bmatrix}}\end{array}}}$

(получение пифагоровых троек с помощью матриц и линейных преобразований^[en]).

Примечания

Литература

• F. J. M. Barning. Over pythagorese en bijna-pythagorese driehoeken en een generatieproces met behulp van unimodulaire matrices (датск.) // Math. Centrum Amsterdam Afd. Zuivere Wisk. ZW-011: 37. — 1963.
• B. Berggren. Pytagoreiska trianglar (швед.) // Elementa: Tidskrift för elementär matematik, fysik och kemi. — 1934. — Вып. 17.
• A. Hall. Genealogy of Pythagorean Triads // The Mathematical Gazette. — 1970. — Т. 54, #390, December.
• A. R. Kanga. The family tree of Pythagorean triples // Bulletin of the Institute of Mathematics and its Applications. — 1990. — Вып. 26, January/February.

• Douglas W. Mitchell. An alternative characterisation of all primitive Pythagorean triples // Mathematical Gazette. — 2001. — Т. 85 (July).
• Douglas W. Mitchell. Feedback on 92.60 // Mathematical Gazette. — 2009. — Т. 93 (July).
• H. Lee Price. The Pythagorean Tree: A New Species. — 2008.
• Robert A. Saunders, Trevor Randall. The family tree of the Pythagorean triplets revisited // Mathematical Gazette. — 1994. — Т. 78 (July).

Ссылки

• The Trinary Tree(s) underlying Primitive Pythagorean Triples at cut-the-knot
• Frank R. Bernhart, and H. Lee Price, «Pythagoras' garden, revisited», Australian Senior Mathematics Journal 01/2012; 26(1):29-40.

Для улучшения этой статьи желательно: Проверить качество перевода с иностранного языка.