Меню Главная Случайная статья Настройки Проблема Гольдбаха Материал из https://ru.wikipedia.org Проблема Гольдбаха (гипотеза Гольдбаха, проблема Эйлера, бинарная проблема Гольдбаха) — утверждение о том, что любое чётное число, начиная с 4, можно представить в виде суммы двух простых чисел. Является открытой математической проблемой — по состоянию на 2025 год утверждение не доказано. В совокупности с гипотезой Римана включена в список проблем Гильберта под номером 8. Более слабый вариант гипотезы — тернарная проблема Гольдбаха, согласно которой любое нечётное число, начиная с 7, можно представить в виде суммы трёх простых чисел, — в 2013 году доказана перуанским математиком Харальдом Гельфготтом. Из справедливости бинарной проблемы Гольдбаха очевидным образом следует тернарная: если каждое чётное число, начиная с 4, — сумма двух простых чисел, то, добавляя 3 к каждому чётному числу, можно получить все нечётные числа, начиная с 7. Вообще, проблема представления натурального числа суммой ограниченного количества простых чисел называется ослабленной проблемой Гольдбаха. Эквивалентная формулировка бинарной гипотезы Гольдбаха: любое целое число больше 1 может быть представлено как среднее арифметическое двух (возможно, одинаковых) простых чисел. Содержание 1 История 2 Тернарная проблема Гольдбаха 3 Бинарная проблема Гольдбаха 4 В культуре 5 Примечания 6 Литература 7 Ссылки История В 1742 году математик Христиан Гольдбах послал письмо Леонарду Эйлеру, в котором он высказал следующее предположение: каждое нечётное число, большее 5, можно представить в виде суммы трёх простых чисел. Эйлер заинтересовался проблемой и выдвинул более сильную гипотезу: каждое чётное число, большее двух, можно представить в виде суммы двух простых чисел. Первое утверждение называется «тернарной проблемой Гольдбаха», второе — «бинарной проблемой Гольдбаха» (или «проблемой Эйлера»). Гипотезу, сходную с тернарной проблемой Гольдбаха, но в более слабой форме, высказал Варинг в 1770 году: каждое нечётное — простое число или сумма трёх простых. Тернарная проблема Гольдбаха В 1923 году математики Харди и Литлвуд показали, что в случае справедливости некоторого обобщения гипотезы Римана проблема Гольдбаха верна для всех достаточно больших нечётных чисел. В 1937 году Виноградов представил доказательство, не зависящее от справедливости гипотезы Римана, то есть доказал, что любое достаточно большое нечётное число может быть представлено в виде суммы трёх простых. Сам Виноградов не дал явной оценки для этого «достаточно большого числа», но его студент Константин Бороздин доказал, что нижняя граница не превышает 3315 3,25106 846 168 106 846 168. То есть это число содержит почти 7 миллионов цифр, что делает невозможной прямую проверку всех меньших чисел. В дальнейшем результат Виноградова многократно улучшали, пока в 1989 году Ван и Чэнь не опустили[2] нижнюю грань до ee11,503 3,333391043 000 1043 000,5, что, тем не менее, по-прежнему было вне пределов досягаемости для явной проверки всех меньших чисел. В 1997 году Дезуйе, Эффингер, те Риле и Зиновьев показали[3], что обобщённая гипотеза Римана влечёт справедливость тернарной проблемы Гольдбаха. Они доказали её справедливость для чисел, превышающих 1020, в то время как справедливость утверждения для меньших чисел легко устанавливается на компьютере. В 2013 году тернарная гипотеза Гольдбаха была окончательно доказана Харальдом Гельфготтом[4][5][6][7]. Бинарная проблема Гольдбаха Бинарная проблема Гольдбаха всё ещё далека от решения. Она является одной из четырёх теоретико-числовых гипотез (проблем Ландау), выделенных в 1912 году Эдмундом Ландау как главные и «неприступные при текущем состоянии математики» в докладе на Международном конгрессе математиков. Виноградов в 1937 году и Теодор Эстерманн в 1938 году показали, что почти все чётные числа представимы в виде суммы двух простых чисел. Этот результат был немного усилен в 1975 году Хью Монтгомери (англ. Hugh Montgomery) и Бобом Воном. Они показали, что существуют положительные константы c и В 1930 году Шнирельман доказал, что любое четное число представимо в виде суммы не более чем 800 000 простых чисел[8]. Этот результат многократно улучшался, так, в 1995 году Оливье Рамаре доказал, что любое чётное число — сумма не более чем 6 простых чисел. Из справедливости тернарной гипотезы Гольдбаха (доказанной в 2013 году) следует, что любое чётное число — сумма не более чем четырёх простых чисел. В 1966 году Чэнь Цзинжунь доказал, что любое достаточно большое чётное число представимо или в виде суммы двух простых чисел, или же в виде суммы простого числа и полупростого (произведения двух простых чисел). Например, 100 = 23 + 7 · 11. На апрель 2012 года бинарная гипотеза Гольдбаха была проверена[9] для всех чётных чисел, не превышающих 41018. Если бинарная гипотеза Гольдбаха неверна, то существует алгоритм, который рано или поздно обнаружит её нарушение. Бинарная гипотеза Гольдбаха может быть переформулирована как утверждение о неразрешимости диофантова уравнения 4-й степени некоторого специального вида[10][11]. В культуре В 1992 году вышел в свет и получил чрезвычайную популярность «роман идей» Апостолоса Доксиадиса «Дядя Петрос и проблема Гольдбаха». В рекламных целях издательство «Faber and Faber» пообещало миллион долларов тому из читателей, кто в течение двух лет после тиража даст решение задачи. Роман был переведён на десятки языков, в 2002 году появился его русский перевод[12]. Проблема Гольдбаха является важной составляющей сюжетов фильма «Западня Ферма», вышедшего в 2007 году, и пилотной серии сериала «Льюис» (2006 год), а также фильма «Теория простых чисел», вышедшего в 2023 году. Примечания Lettre XLIII. Goldbach Euler // Correspondance mathmatique et physique de quelques clbres gomtres du XVIIIme sicle (нем.) / Ed.: P. H. Fuss. — St.-Ptersbourg: L'Acadmie Impriale des Sciences, 1843. — Bd. 1. — S. 125—129. J. R. Chen and T. Z. Wang, On the odd Goldbach problem, Acta Mathematica Sinica 32 (1989), 702—718. Addendum 34 (1991) 143—144. Jean-Marc Deshouillers Архивная копия от 25 октября 2012 на Wayback Machine, Gove Effinger Архивная копия от 1 октября 2012 на Wayback Machine, Herman te Riele Архивная копия от 29 марта 2012 на Wayback Machine, Dmitrii Zinoviev Архивная копия от 29 августа 2014 на Wayback Machine, A complete Vinogradov 3-primes theorem under the Riemann hypothesis, Electronic Research Announcements of the American Mathematical Society, Vol. 3, pp. 99—104. 1997. Terence Tao — Google+ — Busy day in analytic number theory; Harald Helfgott has… (англ.). Дата обращения: 10 июня 2013. Архивировано из оригинала 22 марта 2017 года. Major arcs for Goldbach’s theorem Архивная копия от 29 июля 2013 на Wayback Machine, H. A. Helfgott // arxiv 1305.2897 Goldbach Variations Архивная копия от 16 декабря 2013 на Wayback Machine // SciAm blogs, Evelyn Lamb, May 15, 2013 Two Proofs Spark a Prime Week for Number Theory Архивная копия от 23 июня 2013 на Wayback Machine // Science 24 May 2013: Vol. 340 no. 6135 p. 913 doi:10.1126/science.340.6135.913 Weisstein, Eric W. Goldbach Conjecture (англ.) на сайте Wolfram MathWorld. Yuri Matiyasevich. Hilbert’s Tenth Problem: What was done and what is to be done Архивная копия от 13 июня 2010 на Wayback Machine. Дядя Петрос и проблема Гольдбаха (Архивная копия от 14 сентября 2017 на Wayback Machine) на сайте Ozon. Литература Ссылки Коняев, Андрей. Бог любит троицу. Решена одна из старейших и сложнейших математических задач  (рус.). Лента.ру (17 июня 2013). — О завершении доказательства тернарной проблемы Гольдбаха. Дата обращения: 21 января 2016. Архивировано 19 июня 2013 года. Петров С. Абсолютное программирование. Рекурсия — пример типичной псевдоматематической попытки доказательства проблемы Гольдбаха методом просеивания.