Алгоритм решения 10 проблемы Гильберта

Алгоритм решения 10 проблемы Гильберта

Дмитрий Васильевич Паршаков

Всем известно, что существуют тройки натуральных чисел, верных для Теоремы Пифагора. Но эти числа в основном находили методом подбора. И если доказать, что есть некий алгоритм нахождения этих троек чисел, то возможно утверждение о том, что 10 проблема Гильберта неразрешима ошибочно..

Постановка задачи

В 1900г. на 1 Международном математическом конгрессе, известный математик Давид Гильберт[1] поставил перед математиками всего мира 23 задачи.

Решением десятой проблемы Гильберта стало признание ее неразрешимости, доказанное советским математиком Ю.В.Матясевичем [2] в 1970г.

Доказательство неразрешимости Матиясевича признано как единственно допустимое, но возможно это не так.

Итак, для того, чтобы опровергнуть, либо подтвердить это доказательство нужно вначале напомнить задачу, определенную Д.

«Пусть задано диофантово уравнение с произвольными неизвестными и целыми рациональными числовыми коэффициентами. Указать способ, при помощи которого возможно после конечного числа операций установить, разрешимо ли это уравнение в целых рациональных числах»

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

Решение проблемы

Самое известное уравнение Диофанта[3] это формула Пифагора[4].

Известны также так называемые «тройки Пифагора», целочисленные значения для неизвестных «a,b,c»

3,4,5; 5,12,13; 7,24,25 и т.д. Эти тройки имеют два сходства: первое – квадрат первого числа равен сумме двух других чисел, второе – разница между вторым и третьим числом равна 1. Следовательно, можно предположить, что это не случайные совпадения.

Теперь, используя все эти формулы, составим уравнения

Подставим эти уравнения в формулу Пифагора

Получилось равенство значений правой и левой сторон уравнения. Это можно считать доказательством существования алгоритма нахождения натуральных значений «пифагоровых троек».