Симметричные числа и сильная гипотеза Гольдбаха-Эйлера

Николай Иванович Конон, 2023

В книге исследуются свойства симметричных чисел натурального ряда. На основе указанных свойств показан путь решения гипотезы Гольдбаха-Эйлера. Доказывается несколько теорем, которые позволяют решить проблему Гольдбаха-Эйлера.

Введение

Известны многочисленные свойства ряда натуральных чисел. Одно из них состоит в том, что для любого числа на числовой оси найдется пара чисел, отстоящих слева и справа на одинаковое числовое расстояние от указанного числа. Данное очевидное утверждение исходит из самой природы ряда натуральных чисел, заключающееся в том, что каждое следующее число ряда формируется путем прибавления единицы к текущему числу. Таким образом, уже число 2 имеет пару чисел в составе 1 и 3, отстоящих от числа 2 влево и право ровно на единицу. А далее с увеличением самого числа, оно будет иметь хотя бы одну пару чисел, отстоящих от него на единицу. Указанное свойство и будет исследоваться в настоящей работе с целью использования при рассмотрении сильной гипотезы Гольдбаха-Эйлера [1].

1. Симметричные пары чисел ряда натуральных чисел

Рассмотрим множество целых неотрицательных чисел, таких, которые включают целые положительные числа из ряда натуральных чисел и добавленное в данное множество число ноль, т.е. N⁺₀ = N⁺U {0} [1].

Исследуем числовую ось натурального ряда N⁺₀ (рис. 1)

N⁺₀ = {0 1 2 3 4 5 6 7 8 …….…a……..n……..b………………… k–1…k}

Рис. 1

Выделим для любого числа n, начинающегося с числа 1 пару чисел a и b (см. рис. 1), при чем, пара чисел a и b соответствуют условию, a < b, такое, что выполняется следующее равенство:

n — a = b — n. (1.1)

Назовем указанную пару чисел a и b, отвечающую условию (1.1), симметричной парой любого натурального числа n.

Дальнейшие исследования ряда натуральных чисел N⁺₀ показывает, что указанная пара чисел a и b под условием равенства (1.1) обладает интересными и важными свойствами, а именно:

1) Числа a и b равноудалены от числа n слева и справа на числовое расстояние δ.

2) Числовое расстояние δ, на которое равноудалены числа a и b от числа n равно:

δ = n — a = b — n. (1.2)

3) Из выражения (1.2) получаем:

a = n — δ; b = n + δ. (1.3)

4) При этом из выражения (1.2) также имеем:

n = a + δ = b — δ. (1.4)

5) Из выражения (1.3) следует, что сумма симметричной пары чисел a и b является четным числом и равна

a + b = 2n. (1.5)

6) Из выражения (1.3) также следует, что разность пары чисел a и b также является четным числом и равна

b — a = 2δ. (1.6)

Назовем эту разность (1.6) размахом симметричной пары.

7) Из выражения (1.6) вытекает

δ =(b — a)/2. (1.7)

8) Можно утверждать, и это очевидно, что количество симметричных пар a и b на числовой оси равно значению n.

Важно исследовать следующий вопрос, в каких пределах изменяется числовое расстояние δ.

Для этого обратимся к числовой оси (рис.1) и построим таблицу 1 множеств симметричных пар при разных значениях n.

Таблица 1

Число n

Симметричная пара чисел {(a, b)} числа n

Числовое расстояние δ

1

{(0,2)}

1

2

{(1,3),(0,4)}

1,2

3

{(2,4),(1,5),(0,6)}

1,2,3

4

{(3,5),(2,6),(1,7),(0,8)}

1,2,3,4

.

……………….

………

n

{(n–1, n+1), (n–2, n+2),…… (1, n+n-1), (0, n+n)}

1,2,3,.…n–1,n

где a и b — симметричные пары для числа n.

Очевидно, и исходя из свойств натуральных чисел, что числовое расстояние δ, равное половине размаха симметричной пары (см. 1.7), изменяется от 1 до n, и по значению не больше самого числа n.

Назовем числовое расстояние δ шагом симметричной пары (шагом симметрии), который меняется

δ = (1,2,3,……… n). (1.8)

Из свойства 6 и выражения (1.6), очевидно, что размах симметричной пары равен удвоенному значению шага симметрии.

Исходя из данного определения и исследованных выше свойств симметричных пар, сформулируем следующую лемму.

Лемма 1: Любое натуральное число n, начиная с числа 1, имеет симметричные пары в количестве, равном самому значению натурального числа.

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

n_i+1 = n_i + 1, (1.9)

Исходя из вышесказанного в (1.9) можно записать

n_i+δ = n_i + δ, (1.10)

где δ число равное 1, 2, 3.….

Тогда можно записать, что и

n_i-δ = n_i — δ. (1.11)

Отсюда имеем

n_i = n_i-δ + δ. (1.12)

Следовательно, из (1.8) и (1.9) получаем

n_i — n_i-δ = n_i+δ — n_i = δ. (1.13)

Далее если принять n_i+δ = b, n_i-δ = a, n_i = n, то в новых обозначениях можно записать

n — a = b — n = δ. (1.14)

Таким образом, мы получили выражение (1.2), откуда следует (1.3), т.е.

a = n — δ; b = n + δ.

Ввиду того, что δ = 1, 2, 3.…. n, получаем количество пар a и b равное n. Так как указанные пары удовлетворяют свойствам 1) — 8), следует, что они симметричны, а это и доказывает лемму.

В результате, выше определено понятие симметричных пар и их шаг симметрии, которые представляют особый интерес исследования настоящей работы.

2. Исследование множеств симметричных пар

Рассмотрим множество C симметричных пар числа n, такое что,

C = {a_n,…a_i,…a₃, a₂, a₁, b₁, b₂, b₃,… b_i…b_n }, (2.1)

где a_i, b_i. — симметричные пары, удовлетворяющие свойствам 1) — 8).

Для примера рассмотрим число 10. Тогда множество C симметричных пар числа 10 будет C = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20}

Представим множество симметричных пар C в виде двух других множеств A и B, которые состоят из множества

A = {a₁, a₂, a₃,…a_n } и множества B = {b₁, b₂, b₃,…b_n }. (2.2)

Очевидно C = A U B.

Для нашего примера эти множества будут

A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} и B = {11, 12, 13, 14, 15, 16, 17, 18, 19, 20}.

Парные элементы приведенных множеств также удовлетворяют свойствам 1) — 8). Очевидно, что мощности обоих множеств A и B одинаковы и равны n.

Следует заметить, что эти множества взаимосвязаны, при чем, элементы в указанных множествах имеют взаимно однозначное соответствие одного множества к другому, и они в совокупности составляют симметричные пары (a_i, b_i).

Действительно, имеем a₁ = n–1, a₂ = n — 2, a₃ = n — 3,…a_i = n — i,…….. a_n-3 = 3, a_n-2 = 2, a_n-1 = 1, a_n = 0, и b₁ = n + 1, b₂ = n + 2, b₃ = n + 3,…….. b_i = n + i,……. b_n-1 = n + n — 1, b_n = n + n, то есть, такое взаимное соответствие можно выразить следующей зависимостью

a_i = n – i, b_i = n + i, (2.3)

где i = 1,2,3,…….n.

Следовательно, для симметричных пар выражение (1.5) поэлементного соответствия будет выглядеть

a_i + b_i = 2n и b_i — a_i= 2i, (2.4)

где i = 1,2,3,…….n.

Отсюда видим, что шаг симметрии равен номеру симметричной пары, т.е. δ=i.

Анализируя выражения (2.3) и (2.4), можно видеть, что множества A и B в свою очередь состоят из подмножеств нечетных и четных чисел, т.е. можно записать

A = nch_A U ch_A;

B = nch_B U ch_B, (2.5)

где nch_A и ch_A — подмножества нечетных и четных чисел множества A;

nch_B и ch_B — подмножества нечетных и четных чисел множества B.

Для указанного выше примера, имеем

nch_A= {1, 3, 5, 7, 9} и ch_A= {0, 2, 4, 6, 8}.

nch_B= {11, 13, 15, 17, 19} и ch_B= {12, 14, 16, 18, 20}.

Очевидно, и это не требует доказательств, что мощности подмножеств nch_A и ch_A одинаковы, т.е. равны. Также можно сказать и о подмножествах nch_B и ch_B , мощности которых также равны между собой.

Легко видеть, что мощности четных подмножеств ch_A и ch_B равны друг другу, и мощности для нечетных подмножеств nch_A и nch_B также равны друг другу, при этом само число n, являющееся центром симметрии, и ни в какие множества не входит.

Таким образом, можно записать следующие тождества:

ch_A = ch_B ;

nch_A = nch_B ;

ch_A = nch_A ;

ch_B = nch_B ; (2.6)

ch_A = nch_B ;

ch_B = nch_A ;

nch_A = ch_B ;

nch_B = ch_A .

Отметим и то, что симметричная пара может состоять либо только из нечетных чисел, либо только из четных чисел, но ни как по-другому, т.е. пара (a_i,b_i) не может иметь одновременно разную чётность. Этот очевидный факт является очень важным и в дальнейшем будет использован. Чтобы увидеть правильность сказанного, следует внимательно посмотреть на выражения (2.4), так как в правых их частях стоят четные числа, и, следовательно, суммы левых частей должны быть также четными, что возможно только тогда, когда два слагаемых в левых частях будут одновременно нечетными или четными.

Докажем следующую небольшую лемму.

Лемма 2. Любое четное число может быть однозначно отнесено к натуральному числу вдвое меньшему данного четного числа.

Доказательство. Действительно, так как четное число n выражается формулой ch=2n, то разделив его на двойку, получим утверждаемое натуральное число, что и доказывает высказанное утверждение.

Рассмотренные выше соображения позволяют сформулировать следующее важное утверждение или теорему.

Теорема 1. Любое число n представимо суммой чисел любой симметричной пары, отнесенной к числу 2n, вдвое меньшему данному числу, т.е. равной удвоенному значению числа n, находящемуся на середине отрезка числовой оси [0;2n].

Доказательство. Действительно, согласно выражению (2.3) на числовой оси [0;2n] можно составить n симметричных пар (a_i,b_i) таких, что a_i + b_i = 2n. Таким образом, утверждение теоремы 1 доказано.

Из сформулированной выше теоремы следует две леммы, доказательства которых очевидны.

Лемма 3.

Конец ознакомительного фрагмента.