Целочисленный треугольник — это треугольник, длины всех сторон которого выражаются целыми числами. Рациональный треугольник можно определить как треугольник, стороны которого являются рациональными числами. Любой рациональный треугольник можно привести к целочисленному (умножив все стороны на одно и то же число, наименьшее общее кратное знаменателей), так что существенной разницы между целочисленными и рациональными треугольниками нет. Заметим, однако, что существуют и другие определения «рационального треугольника». Так, в 1914 Кармайкл использовал этот термин для обозначения того, что мы теперь называем героновым треугольником. Сомос (Somos)Somos, M., «Rational triangles ». использует термин для треугольников, отношения сторон которого являются рациональными числами. Конвей и Гай определяют рациональный треугольник как треугольник с рациональными сторонами и углами (в градусах) — в этом случае рациональными будут только равносторонние треугольники с рациональными сторонами.

У целочисленных треугольников есть несколько общих свойств (см. первый раздел ниже). Все остальные разделы посвящены целочисленным треугольникам со специфичными свойствами.

Основные свойства целых треугольников

Целочисленные треугольники с заданным периметром Любая тройка положительных чисел может стать сторонами треугольника, необходимо лишь удовлетворение неравенства треугольника — самая длинная сторона должна быть короче суммы двух других сторон. Каждая такая тройка задаёт единственный (с точностью до конгруэнтности) треугольник. Так что число целочисленных треугольников с периметром p равно числу разбиений p на три положительные части, удовлетворяющие неравенству треугольника. Эти числа являются ближайшими к для чётных p и к для нечётных. Это также означает, что число целочисленных треугольников с чётным периметром p = 2n равно числу с нечётным периметром p = 2n — 3. Таким образом, нет треугольников с периметрами 1, 2 и 4, имеется по одному с периметрами 3, 5, 6 и 8, и по два с периметрами 7 и 10. Последовательность числа целочисленных треугольников с периметрами p, начиная с p = 1:

0, 0, 1, 0, 1, 1, 2, 1, 3, 2, 4, 3, 5, 4, 7, 5, 8, 7, 10, 8 … ()

Целочисленные треугольники с заданной большей стороной Число целочисленных треугольников (с точностью до конгруэнции) с заданной наибольшей стороной c равно числу троек (a, b, c), таких, что a + b > c и a ≤ b ≤ c. Это значение равно Ceiling[] * Floor[]. Для чётных c это равно удвоенному треугольному числу ( + 1), а для нечётных c это равно квадрату . Это означает, что число целочисленных треугольников с наибольшей стороной c превышает число целочисленных треугольников с наибольшей стороной c−2 на c. Последовательность числа неконгруэнтных целочисленных треугольников с наибольшей стороной c, начиная с c = 1: 1, 2, 4, 6, 9, 12, 16, 20, 25, 30, 36, 42, 49, 56, 64, 72, 81, 90 … ()

Число целочисленных треугольников (с точностью до конгруэнции) с данной наибольшей стороной c, вершины которого лежат на или внутри полуокружности диаметра c, равно числу троек (a, b, c), таких, что a + b > c , a2 + b2 ≤ c2 и a ≤ b ≤ c. Это число совпадает с числом целочисленных треугольников с тупым или прямым углом с наибольшей стороной c. Последовательность числа таких треугольников, начинающаяся с c = 1: 0, 0, 1, 1, 3, 4, 5, 7, 10, 13, 15, 17, 22, 25, 30, 33, 38, 42, 48 … ()

Разница между последними двумя последовательностями даёт число целочисленных треугольников с острыми углами (с точностью до конгруэнции) с наибольшей стороной c. Последовательность числа остроугольных треугольников, начиная с c = 1: 1, 2, 3, 5, 6, 8, 11, 13, 15, 17, 21, 25, 27, 31, 34, 39, 43, 48, 52 … ()

Площадь целочисленного треугольника По формуле Герона, если T — площадь треугольника, а длины сторон равны a, b и c, то

Поскольку все множители под знаком корня в правой части формулы являются целыми числами, все целочисленные треугольники должны иметь целочисленное значение величины 16T2.

Углы целочисленного треугольника По теореме косинусов любой угол целочисленного треугольника имеет рациональный косинус.

Если углы любого треугольника образуют арифметическую прогрессию, то один из его углов должен быть 60°. Для целочисленных треугольников оставшиеся углы должны также иметь рациональные косинусы и метод генерации таких треугольников приведён ниже. Однако, за исключением тривиального случая равностороннего треугольника, не существует целочисленных треугольников, углы которого образуют геометрическую или гармоническую прогрессию. Это потому, что углы должны быть рациональными углами вида с рациональными 0 < < 1. Но все углы целочисленных треугольников должны иметь рациональные косинусы, а это может произойти только в случае, когда = , то есть целочисленный треугольник является равносторонним.

Деление стороны высотой Любая высота, опущенная из вершины на противоположную сторону или её продолжение, делит эту сторону (или продолжение) на отрезки рациональной длины.

Треугольники Герона

Общая формула Геронов треугольник — это треугольник с целочисленными сторонами и целочисленной площадью. Любой геронов треугольник имеет стороны, пропорциональные . , , , Полупериметр , Площадь,

для целых m, n и k, удовлетворяющих условиям

,

.

Множитель пропорции для треугольников в общем случае является рациональным числом   , где    сокращает сгенерированный геронов треугольник к примитивному, а    растягивает этот примитивный треугольник до требуемого размера.

Пифагоровы треугольники

Пифагоров треугольник — это прямоугольный геронов треугольник и его три стороны известны как пифагорова тройка. Все примитивные (не имеющие общего множителя) пифагоровы тройки с гипотенузой можно получить с помощью формул

, , , Полупериметр, Площадь,

где m и n взаимно простые целые и одно из них чётно, при этом m > n.

Пифагоровы треугольники с целой высотой, опирающейся на гипотенузу Ни в каком примитивном пифагоровом треугольнике высота, опирающуюся на гипотенузу, не выражается целым числом. Однако существуют непримитивные пифагоровы треугольники такого вида. Все пифагоровы треугольники с катетами a и b, гипотенузой c, и целой высотой , опущенной на гипотенузу, которые необходимо будут удовлетворять равенствам и , генерируются формуламиRichinick, Jennifer, «The upside-down Pythagorean Theorem», Mathematical Gazette 92, July 2008, 313—317.

, , , , Полупериметр, Площадь,

для взаимно простых чисел m, n с m > n.

Более того, из любого пифагорова треугольника с катетами x, y и гипотенузой z можно получить другой пифагоров треугольник с целой высотой d на гипотенузу c по формуле

Героновы треугольники со сторонами в арифметической прогрессии Треугольник с целочисленными сторонами и целочисленной площадью имеет стороны в арифметической прогрессии в том и только в том случае, когда стороны равны (b — d, b, b + d), где

,

,

и где g является наибольшим общим делителем чисел и

Героновы треугольники с одним углом вдвое большим другого Все героновы треугольники с B=2A генерируются либо формулами

, , , Площадь,

с целыми k, s, r, такими, что s2 > 3r2, либо формулами

, , , Площадь,

с целыми q, u, v, такими, что v > u и v2 < (7+4√3)u2.

Никакой геронов треугольник с B = 2A не является равнобедренным или прямоугольным.

Равнобедренные героновы треугольники Все равнобедренные героновы треугольники получается умножением на рациональное число сторон

, , ,

для взаимно простых целых u и v с u>v.

Героновы треугольники как грани тетраэдра Существуют тетраэдры, имеющие целочисленный объём и героновы треугольники в качестве граней. В качестве примера — тетраэдр с ребром 896, противоположным ребром 990, а оставшиеся четыре ребра по 1073. Две грани этого тетраэдра имеют площадь 436800, две другие — 471240, а объём равен 124185600.

Свойства треугольников Герона Периметр геронова треугольника всегда является чётным числом. Таким образом, геронов треугольник имеет нечётное число сторон чётной длины и любой примитивный геронов треугольник имеет в точности одну чётную сторону. Полупериметр s геронова треугольника со сторонами a, b и c не может быть простым числом. Это видно из того, что s(s-a)(s-b)(s-c) должен быть полным квадратом и в случае простоты s один из множителей должен делиться на s, но это невозможно, поскольку все стороны меньше s. Площадь геронова треугольника всегда делится на 6. Все высоты геронова треугольника являются рациональными числами. Это легко видеть из формулы площади треугольника. Поскольку геронов треугольник имеет целочисленные стороны и площадь, удвоенная площадь, делённая на основание, даст рациональное число. Некоторые героновы треугольники имеют три высоты, не являющиеся целыми числами, например, остроугольный треугольник (15, 34, 35) с площадью 252 и тупоугольный (5, 29, 30) с площадью 72. Любой геронов треугольник с одной или больше нецелочисленной высотой можно преобразовать в подобный геронов треугольник, умножив все стороны на наименьшее общее кратное знаменателей высот. Героновы треугольники, не имеющие целочисленной высоты (неразложимые и не пифагоровы), имеют стороны, делящиеся на простые вида 4k+1. Однако разложимые героновы треугольники должны иметь две стороны, являющиеся гипотенузами пифагоровых треугольников. Отсюда — все героновы треугольники, не являющиеся пифагоровыми, имеют по меньшей мере две стороны, делящиеся на простые вида 4k+1. Наконец, все героновы треугольники имеют по меньшей мере одну сторону, делящуюся на простое число вида 4k+1. Все отрезки перпендикуляров до другой стороны геронова треугольника являются рациональными числами — для любого треугольника они задаются формулами и , где стороны a ≥ b ≥ c и площадь равна T, а в героновом треугольнике величины a, b, c и T являются целыми числами. Не существует равносторонних героновых треугольников. Не существует героновых треугольников со сторонами 1 или 2. Существует бесконечно много примитивных героновых треугольников со сторонами a при условии a > 2. Не существует героновых треугольников со сторонами, образующими геометрическую прогрессию. Если две стороны геронова треугольника имеют общий делитель, этот делитель должен быть суммой двух квадратов. Любой угол геронова треугольника имеет рациональный синус. Это следует из формулы площади треугольника Площадь = (1/2)ab sin C, в которой площадь и стороны a и b являются целыми (и то же самое для других сторон). Не существует героновых треугольников, у которых внутренние углы образуют арифметическую прогрессию. Это следует из того, что в случае арифметической прогрессии углов один угол должен равняться 60°, а синус этого угла не рационален. Любой квадрат, вписанный в геронов треугольник, имеет рациональные стороны — для любого треугольника вписанный квадрат на стороне длины a имеет стороны , где T — площадь треугольника. В героновом треугольнике и T, и a являются целыми числами. Любой геронов треугольник имеет рациональный радиус вписанной окружности — для любого треугольника этот радиус равен отношению площади к половине периметра, и обе эти величины в героновом треугольнике рациональны. Любой геронов треугольник имеет рациональный радиус описанной окружности — в общем случае радиус равен одной четвёртой произведения сторон, делённой на площадь. В героновом треугольнике стороны и площадь являются целыми числами.

Целочисленные треугольники на двумерной решётке Двумерная решётка — это правильный массив изолированных точек, в которой при выборе одной точки в качестве начала координат (0, 0) все остальные точки будут иметь вид (x, y), где x и y пробегают по всем положительным и отрицательным целым числам. Треугольник на решётке — это любой треугольник, вершины которого являются точками решётки. По формуле Пика треугольник на решётке имеет рациональную площадь, которая либо является целым числом, либо имеет в знаменателе 2. Если треугольник на решётке имеет целые стороны, то он является героновым треугольником .