- 1
- 2
- 3
- 4
- . . .
- последняя (6) »
которых также равны между собой.
Легко видеть, что мощности четных подмножеств |chA| и |chB| равны друг другу, и мощности для нечетных подмножеств |nchA| и |nchB| также равны друг другу, при этом само число n, являющееся центром симметрии, и ни в какие множества не входит.
Таким образом, можно записать следующие тождества:
|chA| = |chB|;
|nchA| = |nchB|;
|chA| = |nchA|;
|chB| = |nchB|; (2.6)
|chA| = |nchB|;
|chB| = |nchA|;
|nchA| = |chB|;
|nchB| = |chA|.
Отметим и то, что симметричная пара может состоять либо только из нечетных чисел, либо только из четных чисел, но ни как по-другому, т.е. пара (ai,bi) не может иметь одновременно разную чётность. Этот очевидный факт является очень важным и в дальнейшем будет использован. Чтобы увидеть правильность сказанного, следует внимательно посмотреть на выражения (2.4), так как в правых их частях стоят четные числа, и, следовательно, суммы левых частей должны быть также четными, что возможно только тогда, когда два слагаемых в левых частях будут одновременно нечетными или четными.
Докажем следующую небольшую лемму.
Лемма 2. Любое четное число может быть однозначно отнесено к натуральному числу вдвое меньшему данного четного числа.
Доказательство. Действительно, так как четное число n выражается формулой ch=2n, то разделив его на двойку, получим утверждаемое натуральное число, что и доказывает высказанное утверждение.
Рассмотренные выше соображения позволяют сформулировать следующее важное утверждение или теорему.
Теорема 1. Любое число n представимо суммой чисел любой симметричной пары, отнесенной к числу 2n, вдвое меньшему данному числу, т.е. равной удвоенному значению числа n, находящемуся на середине отрезка числовой оси [0;2n].
Доказательство. Действительно, согласно выражению (2.3) на числовой оси [0;2n] можно составить n симметричных пар (ai,bi) таких, что ai + bi = 2n. Таким образом, утверждение теоремы 1 доказано.
Из сформулированной выше теоремы следует две леммы, доказательства которых очевидны.
Лемма 3. Любое четное число 2n представимо суммой симметричных пар четных или нечетных чисел, количество которых равно n.
Доказательство указанного утверждения фактически приведено выше.
Из рассмотренного выше исследования симметричных пар чисел нас интересует класс нечетных симметричных пар чисел, среди которых класс симметричных простых чисел.
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). Здесь же видим,
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). Здесь же видим,
- 1
- 2
- 3
- 4
- . . .
- последняя (6) »