Уважаемые господа!Вовсе не претендуя на доказательство теоремы Пифагора, предлагаю вашему вниманию алгебраическое решение уравнения теоремы Пифагора.
© Н. М. Козий, 2007
Авторские права защищены свидетельствами Украины
№ 22108, № 27312 и 28607
АЛГЕБРАИЧЕСКОЕ РЕШЕНИЕ
УРАВНЕНИЯ ТЕОРЕМЫ ПИФАГОРА Теорема Пифагора формулируется следующим образом: в прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов:

; (1)
где:

– гипотенуза;

– катеты.
Существуют прямоугольные треугольники, у которых значения сторон

выражаются целыми числами. Такие числа называются пифагоровыми.
Рассматривая уравнение теоремы Пифагора как алгебраическое уравнение, докажем, что существует бесконечное количество прямоугольных треугольников, в которых значения их сторон выражаются целыми числами или, что одно и тоже, уравнение (1) имеет бесконечное количество решений в целых числах.
Суть уравнения теоремы Пифагора не изменится, если уравнение (1) запишем следующим образом:

(2)
Для решения уравнения теоремы Пифагора методами элементарной алгебры используем два известные в математике метода решения алгебраических уравнений: метод решения параметрических уравнений и метод замены переменных.
Уравнение (2) рассматриваем как параметрическое уравнение с параметром

и переменными

и

.
Уравнение (2) в соответствии с известной зависимостью для разности квадратов двух чисел запишем в виде:

(3)
Используя метод замены переменных, обозначим:

(4)
Из уравнения (4) имеем:

(5)
Из уравнений (3), (4) и (5) имеем:

(6)
Из уравнения (6) имеем:

(7)
Из уравнений (4), (5), (6) и (7) имеем:

(8)

(9)
Из уравнений (8) и (9) следует, что необходимым условием для того чтобы числа

и

были целыми, является делимость числа

на число

, т. е. число

должно быть одним из сомножителей, входящих в состав сомножителей числа

.
Из уравнений (8) и (9) также следует, что числа

и

должны иметь одинаковую четность.
По формулам (8) и (9) определяются числа

и

как переменные, зависящие от значения числа

как параметра, и значения числа

. Числа

и

, определенные по формулам (8) и (9), с числом

образуют тройки пифагоровых чисел.
Из изложенного следует:
1. Квадрат простого числа

равен разности квадратов одной пары чисел

и

(при

.
2. Квадрат составного числа

равен разности квадратов нескольких пар чисел

и

.
3. Все числа

являются пифагоровыми.
Таким образом, существует бесконечное количество троек пифагоровых чисел

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

выражаются целыми числами.
P.S. В Интернете размещено доказательство великой теоремы Ферма, выполненное
Миргородским А. И., в котором он доказал, что теорема Ферма не имеет решения для троек пифагоровых чисел.
Мое мнение, которое может быть спорным: Может быть, из доказательства Миргородского А.И. следует, что теорема Ферма вообще не имеет решения в целых числах.
KORIOLA (Н. М. Козий)