Еще раз о бинарной проблеме Эйлера и Гольбаха. Кочкарев Б. С.

Когда Гольбах в письме К Эйлеру обратился с вопросом о тернарной проблеме, Эйлер в ответном письме к Гольбаху сформулировал бинарную гипотезу: любое четное число, начиная с 4, может быть представлено в виде суммы двух простых чисел. При этом Эйлер заметил, что он уверен, что это теорема, которую он не может доказать и если это так, то из этого утверждения следует справедливость тернарной проблемы. Мы в нашей работе "К методу спуска Ферма" сформулировали нашу аксиому спуска, с помощью которой доказали много открытых проблем из теории чисел. В частности, так были доказаны утверждения Ферма, сформулированные без доказательства еще в 17 веке о свойствах простых чисел первого и второго рода по классификации Ферма. Мы также построили алгоритмы синтеза простых чисел первого и второго рода из двух самых маленьких простых чисел 5 и 3 такого рода. Для решения бинарной проблемы Эйлера - Гольбаха мы рассмотрели два класса четных чисел: класс четных чисел n > 6 и четные числа 4 и 6. Мы доказали, что для любого четного числа n > 6 существует пара простых чисел p, p', одно из которых < n/2. а другое > n/2 таких, что p + p' = n. Что же касается чисел 4 и 6, для них имеет место 2 + 2 = 4 и 3 + 3 = 6. С уважением, Б. С. Кочкарев.