Простые основы утверждения Пьера Ферма.
Три базовых принципа доказательства теоремы.
Первый: Уравнение квадратов сторон прямоугольного треугольника:

; (где

, натуральные числа) справедливо для всякого треугольника, вписанного в окружность, стороны которого опираются на концы её диаметра

> 0 и до бесконечности, а точка пересечения его сторон принадлежит этой окружности. Квадрат диаметра такой окружности

, соответственно, является и квадратом гипотенузы вписанного прямоугольного треугольника.
Второй: Выполняемое равенство

; где

;

; и

— натуральные положительные числа, которые можно рассматривать как

;

; и

отвечающие теореме Пифагора о прямоугольных треугольниках со сторонами

. Отсюда, выполняемое равенство вида

образованное тремя целыми положительными величинами всегда можно представить как равенство Пифагора для прямоугольных треугольников:

;
Третий: Квадраты сторон подобного (
т.е.,с идентичными углами при гипотенузе) прямоугольного треугольника

большего размера, представляет собой аналогичное равенство все члены которого

;

и

, умножены на

коэффициент кратности квадрата диаметра окружности, в которую вписан данный больший прямоугольный треугольник

; где (

> 0) ), это свойство основано на пропорциональности сторон подобных прямоугольных треугольников.
Следовательно: Предполагаемое тождество одинаковых n - степеней

;
если оно выполняется, то, как квадратное равенство

; где (n > 2), (2 + f = n – целое число), должно отвечать уравнению

в квадратных значениях Пифагоровых троек взаимно простых чисел. То есть (в рассматриваемом случае), приводиться к нему в целых квадратных степенях

. путем деления всех членов уравнения на коэффициент кратности квадрата диаметра окружности в которую вписывается данный предположительно прямоугольный треугольник.
Отсутствие вышеуказанной принадлежности полностью исключает существование такого равенства.
Доказательство.

;

; 2 + f = n; f > 0 – целое число. Здесь

- коэффициент кратности квадрата катета

, и соответственно квадрата диаметра окружности, в которую вписывается
предполагаемый прямоугольный треугольник 
.

;

;

<

;

<

;


;
Предполагаемое тождество

не является выполняемым равенством

при любых целых показателях степеней n > 2.