Геронов треугольник

Геронов треугольник — треугольник, стороны и площадь которого являются целыми числами. Героновы треугольники названы в честь греческого математика Герона. Термин иногда понимается несколько шире и распространяется на треугольники, имеющие рациональные стороны и площадь.

Свойства


 Все прямоугольные треугольники, стороны которых образуют пифагоровы тройки, являются героновыми, поскольку стороны их по определению целочисленны, а площадь тоже целочисленна, поскольку является половиной произведения катетов, один из которых обязательно имеет чётную длину.
 В качестве примера геронова треугольника, не имеющего прямого угла, можно привести равнобедренный треугольник со сторонами 5, 5 и 6, площадь которого равна 12. Этот треугольник получается путём объединения двух прямоугольных треугольников со сторонами 3, 4 и 5 вдоль стороны длиной 4. Этот подход работает и в общем случае, как показано на рисунке справа. Берётся пифагорова тройка (a, b, c), где c — наибольшая сторона, затем другая тройка (a, d, e), в которой наибольшей стороной будет e, строятся треугольники по заданным длинам сторон и объединяются вдоль стороны с длиной a, получая треугольник со сторонами c, e и b + d и площадью

A=12(b+d)a (половина произведения основания на высоту).
  Если a чётно, то площадь будет целым числом. Менее очевиден случай, когда a нечётно, но и в этом случае A остаётся целым, поскольку стороны b и d должны быть чётными числами, а следовательно, и b+d будет чётным тоже.
 Некоторые героновы треугольники невозможно получить объединением прямоугольных треугольников с целочисленными сторонами методом, описанным выше. Так, например, геронов треугольник со сторонами 5, 29, 30 и площадью 72 нельзя получить из двух пифагоровых треугольников, поскольку ни одна из его высот не является целым числом. Нельзя также построить примитивный пифагоров треугольник из двух меньших пифагоровых треугольников. Такие героновы треугольники называются неразложимыми. Однако, если разрешить пифагоровы тройки с рациональными значениями, отказавшись от целочисленности, то разбиение на два прямоугольных треугольника с рациональными сторонами всегда существует, поскольку все высоты геронова треугольника являются рациональными числами (поскольку высота равна удвоенной площади, делённой на основание, и оба эти числа являются целыми). Так, геронов треугольник со сторонами 5, 29, 30 можно получить из рациональных пифагоровых треугольников со сторонами 7/5, 24/5, 5 и 143/5, 24/5, 29. Заметим, что рациональные пифагоровы тройки являются просто версиями целочисленных пифагоровых троек, поделённых на целое число.
 Другие свойства героновых треугольников можно найти в статье Целочисленный треугольник\#Героновы треугольники.

Точная формула для героновых треугольников


 Любой геронов треугольник имеет стороны, пропорциональные значениям

a=n(m2+k2)
b=m(n2+k2)
c=(m+n)(mnk2)
 Полупериметр =s=(a+b+c)/2=mn(m+n)
 Площадь =mnk(m+n)(mnk2)
 Радиус вписанной окружности =k(mnk2)
sa=n(mnk2)
sb=m(mnk2)
sc=(m+n)k2
  для целых m, n и k, где

gcd(m,n,k)=1
mn>k2m2n/(2m+n)
mn1.
  Коэффициент пропорциональности в общем случае является рациональным числом pq , где  q=gcd(a,b,c)  приводит полученный геронов треугольник к примитивному, а  p  растягивает его до требуемых размеров. Например, взяв m = 36, n = 4 и k = 3, получим треугольник со сторонами a = 5220, b = 900 и c = 5400, который подобен геронову треугольнику 5, 29, 30, и коэффициент пропорциональности имеет числитель p = 1 и знаменатель q = 180.
 Смотрите также Героновы треугольники с одним углом, вдвое большим другого, Героновы треугольники со сторонами в арифметической прогрессии и Равнобедренные героновы треугольники.

Примеры


 Список примитивных целочисленных героновых треугольников, отсортированный по площади и, в случае равенства площадей, по периметру. «Примитивный» означает, что наибольший общий делитель трёх длин сторон равен 1.
Длина стороныПлощадьРадиус вписанной
n − 1nn + 1
345
131415
515253
193194195
723724725
270127022703
100831008410085
376333763437635

 Следующее значение для n можно найти, умножив предыдущее на 4, а затем вычтя значение, ему предшествующее (52 = 4 × 14 − 4, 194 = 4 × 52 − 14, и т. д.). Таким образом,

nt=4nt1nt2,
  где t означает номер строки в таблице. Эта последовательность является последовательностью Люка. Можно также получить эту последовательность по формуле (2+3)t+(23)t для всех n. Если положить A = площадь, а y = радиус вписанной окружности, то

((n1)2+n2+(n+1)2)22((n1)4+n4+(n+1)4)=(6ny)2=(4A)2,
  где \{n, y\} являются решениями уравнения n2 − 12y2 = 4. Небольшая подстановка n = 2x даёт известное уравнение Пелля x2 − 3y2 = 1, решения которого можно получить из разложения √3 в непрерывную дробь
 Переменная n имеет вид n=2+2k, где k равно 7, 97, 1351, 18817, \ldots. Числа в этой последовательности имеют свойство, что k последовательных целых имеют целочисленное среднеквадратическое отклонение.