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

пар чисел нас интересует класс нечетных симметричных пар чисел, среди которых класс симметричных простых чисел.

3. Симметричные пары простых чисел

Рассмотрим в первую очередь интересный класс симметричных пар чисел из множества нечетных чисел.

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

Исследуем подмножества симметричных пар нечетных чисел, сумма которых, конечно, является четным числом.

Как было показано в предыдущем разделе, оба подмножества нечетных чисел nchA множества A и nchB множества B имеют однозначное соответствие и, следовательно, имеют одинаковые мощности или то же самое равное количество элементов.

Выделим в каждом из них еще по два подмножества, а именно:

Подмножество составных нечетных чисел S и подмножество простых чисел P, которые запишем следующими выражениями

nchA = SA U PA;

nchB = SB U PB, (3.1)

где SA, SB – подмножества составных нечетных чисел симметричных пар из множеств A и B соответственно;

PA, PB – подмножества простых чисел симметричных пар из множеств A и B соответственно.

Так в примере, приведенном выше

SA= {9}, а PA= {1, 3, 5, 7}

SB = {15} и PB = {11, 13, 17, 19}.

Исследуем вопрос, как будут соотноситься элементы указанных подмножеств, при формировании симметричных пар конкретного числа n.

Анализ рис. 2 показывает, что при формировании симметричных пар числа n будут участвовать как составные нечетные, так и простые числа. Из (2.6) имеем, что мощность |nchA| подмножества элементов нечетных чисел nchA множества A будет равна мощности |nchB| подмножества нечетных nchB множества B, т.е. имеем

|nchA| =|nchB|. (3.2)

Тогда, исходя из того же выражения (2.6) можно записать

|nchA| =|SA| + |PA| = |nchB| =|SB| + |PB|. (3.3)

Отсюда следует важное следующее равенство

|SA| + |PA| = |SB| + |PB|. (3.4)

Следовательно, правомерно записать и такое соответствие

SA U PA<=>SB U PB. (3.5)

Это значит, что объединение подмножеств SA и PA однозначно соответствуют объединению подмножеств SB и PB.

Далее рассмотрим пример для числа n=16. Построим числовой отрезок [0,32] (см. рис. 2).

____________________________________________________________________________

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32

a1 n b1

Рис. 2

Запишем подмножество nchA. Оно будет

nchA ={15;13;11;9;7;5;3;1}.

Далее, подмножество nchB будет состоять из следующих элементов

nchB ={17;19;21;23;25;27;29;31}.

Мощности построенных подмножеств равны 8, т. е. |nchA| = |nchB| =8.

Выберем в каждом из них нечетные составные и простые числа.

Получим

SA = {15;9}, PA = {13;11;7;5;3;1}, при чем, |SA| =2, а |PA| =6.

Аналогично

SB = {21;25;27}, PB = {17;19;23;29;31}, при чем, |SB| =3, а |PB| =5.

Построим таблицу соответствия подмножеств nchA и nchB для данного примера, а фактически таблицу симметричных пар

Таблица 2

nchA

15

13

11

9

7

5

3

1

nchB

17

19

21

23

25

27

29

31

δ

1

2

3

4

5

6

7

8

Теперь построим таблицу соответствия нечетных составных и простых чисел

Таблица 3

nchA

15

13

11

9

7

5

3

1

SA

15

9

PA

13

11

7

5

3

1

nchB

17

19

21

23

25

27

29

31

SB

21

25

27

PB

17

19

23

29

31

δ

1

2

3

4

5

6

7

8

Анализ таблицы 2 и 3 показывает, что при δ=2,7,8 симметричными парами чисел являются исключительно простые числа (в таблице подчеркнуты одной чертой), т.е. (1, 31), (3, 29), (13, 19).

Далее, рассмотрим случай числа n=32.

Подмножество нечетных чисел множества А и его мощность составляют

nchA ={31;29;27;25;23;21;19;17;15;13;11;9;7;5;3;1}, |nchA| =16.

Подмножество составных нечетных чисел и его мощность составляет

SA ={27;25;21;15;9}, |SA| =5.

Подмножество простых чисел и его мощность составляет

PA={31;29;23;19;17;13;11;7;5;3;1}, |PA| =11.

Соответственно для подмножества В

nchВ ={33;35;37;39;41;43;45;47;49;51;53;55;57;59;61;63}, |nchВ| =16, а также подмножества составных нечетных и простых чисел.

Соответственно,

SВ ={33;35;39;45;49;51;55;57;63}, |SВ| =9,

PВ ={37;41;43;47;53;59;61}, |PВ| =7.

Таблица симметричных пар тогда будет

Таблица 4

nchA

31

29

27

25

23

21

19

17

15

13

11

9

7

5

3

1

SA

27

25

21

15

9

PA

31

29

23

19

17

13

11

7

5

3

1

nchВ

33

35

37

39

41

43

45

47

49

51

53

55

57

59

61

63

SВ

33

35

39

45

49

51

55

57

63

PВ

37

41

43

47

59

61

δ

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

Из таблицы 4 видно, что симметричными простыми парами в этом примере будут пары при δ=5,8,14,15 (в таблице подчеркнуты одной чертой), т.е. пары (3, 61), (5, 59), (17, 47), (23, 41). Здесь же --">