Симметричные числа и сильная гипотеза Гольдбаха-Эйлера
Николай Иванович Конон
В книге исследуются свойства симметричных чисел натурального ряда. На основе указанных свойств показан путь решения гипотезы Гольдбаха-Эйлера. Доказывается несколько теорем, которые позволяют решить проблему Гольдбаха-Эйлера.
Николай Конон
Симметричные числа и сильная гипотеза Гольдбаха-Эйлера
Введение
Известны многочисленные свойства ряда натуральных чисел. Одно из них состоит в том, что для любого числа на числовой оси найдется пара чисел, отстоящих слева и справа на одинаковое числовое расстояние от указанного числа. Данное очевидное утверждение исходит из самой природы ряда натуральных чисел, заключающееся в том, что каждое следующее число ряда формируется путем прибавления единицы к текущему числу. Таким образом, уже число 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
= n
+ 1, (1.9)
Исходя из вышесказанного в (1.9) можно записать
n
= n
+ ?, (1.10)
где ? число равное 1, 2, 3.….
Тогда можно записать, что и
n
= n
– ?. (1.11)
Отсюда имеем
n
= n
+ ?. (1.12)
Следовательно, из (1.8) и (1.9) получаем
n
– n
= n
– n
= ?. (1.13)
Далее если принять n
= b, n
= a, n
= 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
,…a
,…a
,a
, a
, b
, b
, b
,… b
…b
}, (2.1)
где a
, b
. – симметричные пары, удовлетворяющие свойствам 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
} и множества B = {b
, b
, b
,…b
}. (2.2)
Очевидно C = AUB.
Для нашего примера эти множества будут
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
, b
).
Действительно, имеем a
= n–1, a
= n – 2, a
= n – 3, …a
= n – i, …….. a
= 3, a
= 2, a
= 1, a
= 0, и b
= n + 1, b
= n + 2, b
= n + 3, …….. b
= n + i,……. b
= n + n – 1, b
= n + n, то есть, такое взаимное соответствие можно выразить следующей зависимостью
a
= n – i,b
= n + i, (2.3)
где i = 1,2,3, …….n.
Следовательно, для симметричных пар выражение (1.5) поэлементного соответствия будет выглядеть
a
+ b
= 2n и b
– a
= 2i, (2.4)
где i = 1,2,3, …….n.
Отсюда видим, что шаг симметрии равен номеру симметричной пары, т.е. ?=i.
Анализируя выражения (2.3) и (2.4), можно видеть, что множества A и B в свою очередь состоят из подмножеств нечетных и четных чисел, т.е. можно записать
A = nch
U ch
;
B = nch
U ch
, (2.5)
где nch
и ch
– подмножества нечетных и четных чисел множества A;
nch
и ch
– подмножества нечетных и четных чисел множества B.
Для указанного выше примера, имеем
nch
= {1, 3, 5, 7, 9} и ch
= {0, 2, 4, 6, 8}.
nch
= {11, 13, 15, 17, 19} и ch
= {12, 14, 16, 18, 20}.
Очевидно, и это не требует доказательств, что мощности подмножеств |nch
| и |ch
| одинаковы, т.е. равны. Также можно сказать и о подмножествах |nch
| и |ch
|, мощности которых также равны между собой.
Легко видеть, что мощности четных подмножеств |ch
| и |ch
| равны друг другу, и мощности для нечетных подмножеств |nch
| и |nch
| также равны друг другу, при этом само число n, являющееся центром симметрии, и ни в какие множества не входит.
Таким образом, можно записать следующие тождества:
|ch
| = |ch
|;
|nch
| = |nch
|;
|ch
| = |nch
|;
|ch
| = |nch
|; (2.6)
|ch
| = |nch
|;
|ch
| = |nch
|;
|nch
| = |ch
|;
|nch
| = |ch
|.
Отметим и то, что симметричная пара может состоять либо только из нечетных чисел, либо только из четных чисел, но ни как по-другому, т.е. пара (a
,b
) не может иметь одновременно разную чётность. Этот очевидный факт является очень важным и в дальнейшем будет использован. Чтобы увидеть правильность сказанного, следует внимательно посмотреть на выражения (2.4), так как в правых их частях стоят четные числа, и, следовательно, суммы левых частей должны быть также четными, что возможно только тогда, когда два слагаемых в левых частях будут одновременно нечетными или четными.
Докажем следующую небольшую лемму.
Лемма 2. Любое четное число может быть однозначно отнесено к натуральному числу вдвое меньшему данного четного числа.
Доказательство. Действительно, так как четное число n выражается формулой ch=2n, то разделив его на двойку, получим утверждаемое натуральное число, что и доказывает высказанное утверждение.
Рассмотренные выше соображения позволяют сформулировать следующее важное утверждение или теорему.
Теорема 1. Любое число n представимо суммой чисел любой симметричной пары, отнесенной к числу 2n, вдвое меньшему данному числу, т.е. равной удвоенному значению числа n, находящемуся на середине отрезка числовой оси [0;2n].
Доказательство. Действительно, согласно выражению (2.3) на числовой оси [0;2n] можно составить n симметричных пар (a
,b
) таких, что a
+ b
= 2n. Таким образом, утверждение теоремы 1 доказано.
Из сформулированной выше теоремы следует две леммы, доказательства которых очевидны.
Лемма 3.
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию (https://www.litres.ru/pages/biblio_book/?art=69192001) на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.