Гипотеза Била

Гипотеза Била — гипотеза в теории чисел, обобщение великой теоремы Ферма. Предложена в 1993 году техасским миллиардером и математиком-любителем , который учредил премию за её доказательство или опровержение в 100 тыс. долларов, а в 2013 году увеличил эту премию до 1 млн долларов.
 Из справедливости доказанной abc-гипотезы следует справедливость гипотезы Била для достаточно больших z, а из неё — доказательство Великой теоремы Ферма, поскольку гипотеза Била является обобщением великой теоремы Ферма, которая уже была доказана в 1995 году Эндрю Уайлсом, за что тот получил Абелевскую премию в 2016 году.

Формулировка


 Если Ax+By=Cz, где A,B,C,x,y,zN и x,y,z>2, то A,B,C имеют общий простой делитель.

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


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

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

Проверка


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