Пифагоровы тройки¶

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

¶История

Простейший пример пифагоровой тройки — (3, 4, 5), поскольку 3² + 4² = 9 + 16 = 25 = 5². Этот набор чисел использовался в Древнем Египте для построения прямых углов при землемерных работах и строительстве: с помощью верёвки, разделённой узлами на 12 равных частей, натягивали треугольник со сторонами 3, 4 и 5.

В Вавилоне около 1800 года до н. э. уже были известны более сложные тройки, такие как (4961, 6480, 8161). Это подтверждается глиняной табличкой Плимптон 322, датируемой примерно 1800 годом до н. э., на которой перечислено 15 пифагоровых троек. В индийской математике (ведические тексты «Шульба-сутры», около VIII–VI веков до н. э.) также встречаются правила для построения прямоугольных треугольников с целочисленными сторонами.

Систематическое исследование пифагоровых троек началось в античной Греции. В «Началах» Евклида (около 300 года до н. э.) содержится формула для нахождения всех троек (книга X, предложение 29). Диофант Александрийский в «Арифметике» (III век н. э.) также рассматривал задачи, связанные с этими числами.

¶Основные свойства и классификация

¶Примитивные и производные тройки

Пифагорова тройка называется примитивной, если её числа не имеют общего делителя, то есть НОД(a, b, c) = 1. Например, (3, 4, 5) — примитивная. Если тройка не примитивна, её можно получить умножением всех элементов примитивной тройки на одно и то же натуральное число k > 1. Такие тройки называются производными. Например, (6, 8, 10) — производная от (3, 4, 5) при k = 2.

В примитивной тройке ровно одно из чисел a или b чётно, а c всегда нечётно. Кроме того, ровно одно из чисел a или b делится на 3, ровно одно из чисел a, b или c делится на 5.

¶Формула Евклида

Все примитивные пифагоровы тройки могут быть получены по формуле Евклида. Пусть m и n — взаимно простые натуральные числа, причём m > n и m − n нечётно (то есть числа имеют разную чётность). Тогда:

a = m² − n², b = 2mn, c = m² + n².

Например, при m = 2, n = 1 получаем тройку (3, 4, 5). При m = 3, n = 2 — тройку (5, 12, 13). Формула Евклида даёт все примитивные тройки, причём каждая — ровно один раз.

¶Другие способы представления

Существуют и другие параметризации. Например, если взять произвольное натуральное число k, то тройка (2k + 1, 2k² + 2k, 2k² + 2k + 1) всегда будет пифагоровой. При k = 1 получается (3, 4, 5), при k = 2 — (5, 12, 13), при k = 3 — (7, 24, 25). Эта формула порождает все примитивные тройки, в которых катеты отличаются на 1.

¶Применение

Пифагоровы тройки находят применение в:

• Геометрии и тригонометрии — для построения прямоугольных треугольников с целочисленными сторонами в задачах и учебных примерах.
• Криптографии — в некоторых алгоритмах, основанных на теории чисел.
• Компьютерной графике — для расчёта расстояний и нормалей в целочисленной арифметике без потери точности.
• Физике — в задачах о векторных величинах, где требуется точное соблюдение соотношений.

¶Связь с другими областями математики

Пифагоровы тройки тесно связаны с уравнением Ферма xⁿ + yⁿ = zⁿ. Для n = 2 это уравнение имеет бесконечно много решений в натуральных числах, а для n ≥ 3, согласно Великой теореме Ферма, решений нет. Доказательство этого факта, завершённое Эндрю Уайлсом в 1994 году, опирается на глубокие результаты алгебраической геометрии и теории эллиптических кривых.

Также пифагоровы тройки связаны с гауссовыми целыми числами — комплексными числами вида a + bi, где a и b — целые. Норма такого числа равна a² + b², и разложение нормы на множители позволяет находить тройки.

¶Интересные факты

• Существует бесконечно много примитивных пифагоровых троек, что следует из бесконечности пар (m, n), удовлетворяющих условиям формулы Евклида.
• Тройка (20, 21, 29) примечательна тем, что катеты являются последовательными числами.
• Прямоугольный треугольник со сторонами 5, 12, 13 использовался в древнекитайской математике — упоминается в трактате «Чжоу би суань цзин» (около 100 года до н. э.).
• Задача о нахождении всех пифагоровых троек с заданной гипотенузой c сводится к разложению c на простые множители вида 4k + 1.

¶Источники

• Евклид, «Начала», книга X.
• Диофант Александрийский, «Арифметика».
• Ван дер Варден Б. Л., «Пробуждающаяся наука. Математика древнего Египта, Вавилона и Греции».
• Вейль А., «Теория чисел: введение в теорию чисел».
• Рибенбойм П., «Последняя теорема Ферма для любителей».