Проще всего это доказать так:
если целый треугольник с площадью, которая есть полный квадрат существует, то существует и рациональный треугольник с площадью
. При
имеем либо 1.
либо 2.
.
Первому случаю соответствует эллиптическая кривая
, а второму
. Обе имеют нулевой ранг, что проверяется с помощью PARI/GP. Для рациональных точек конечного порядка
и они невырожденным треугольникам не соответствуют. Таким образом, рациональных треугольников с площадью
в случае
не существует.
Отмечу, что в случае
ситуация другая. Там тоже два варианта
и
и две эллиптических кривых
и
, но первая кривая имеет нулевой ранг и там решений нет, а вот вторая имеет ранг
и решения есть.