Русская Википедия:Гипотеза Била

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Гипотеза Била — гипотеза в теории чисел, обобщение великой теоремы Ферма: если <math>A^x + B^y = C^z</math>, где <math>A, B, C, x, y, z \in \mathbb{N}</math> и <math>x, y, z > 2</math>, то <math>A, B, C</math> имеют общий простой делитель.

Предложена в 1993 году техасским миллиардером и математиком-любителем Шаблон:Не переведено 2, который учредил премию за её доказательство или опровержение в 100 тыс. долларов, а в 2013 году увеличил эту премию до 1 млн долларов[1].

Из abc-гипотезы (чей статус спорен) следует справедливость гипотезы Била для достаточно больших <math>z</math>[2], а из неё — доказательство Великой теоремы Ферма, поскольку гипотеза Била является обобщением великой теоремы Ферма (доказанной в 1995 году Эндрю Уайлсом).

По состоянию на 2013 год гипотеза проверена для случаев, когда значения всех шести чисел не превосходят 1000[3]. 24 марта 2014 года запущен проект добровольных вычислений Beal@Home на платформе BOINC по поиску контрпримера путём полного перебора.

Связь с великой теоремой Ферма

При условии справедливости гипотезы теорему Ферма можно доказать от противного:

Пусть существуют натуральные числа <math>n > 2</math> и <math>A</math>, <math>B</math>, <math>C</math> такие, что <math>A^n+B^n=C^n</math>. Тогда гипотеза Била для <math>x=y=z=n</math> влечёт существование простого числа <math>p</math>, делящего каждое из чисел <math>A</math>, <math>B</math> и <math>C</math>. Но тогда <math>(A/p)^n+(B/p)^n=(C/p)^n</math>, а следовательно, из любой тройки чисел, удовлетворяющей равенству <math>A^n+B^n=C^n</math>, можно получить другую тройку чисел, удовлетворяющую данному равенству, последнее число в которой будет меньше, чем в исходной тройке. Иными словами, в множестве натуральных чисел, чья <math>n</math>-я степень является суммой <math>n</math>-х степеней двух других натуральных чисел, нет наименьшего элемента, что невозможно. Полученное противоречие означает, что требуемых натуральных чисел <math>n</math>, <math>A</math>, <math>B</math>, <math>C</math> не существует, то есть великая теорема Ферма доказана.

Примечания

Шаблон:Примечания

Ссылки

Внешние ссылки

Шаблон:Выбор языка