А+В=9К+2+9М+1=9(К+М)+3=2[4(K+M)+1]+(K+M)+1 (II). Так как все
простые числа-нечетные то, чтобы числа А=9К+2 и В=9М+1 были нечетными, нужно, чтобы числа К было нечетным, а М-четным,согласно (**) и (***), т.е. K=2n-1 и M=2m. Подставляя эти значения в (II) находим:
А+В=9К+1+9М+1=9(K+M)+2=2[4(K+M)+1]+(K+M) (III). Так как все
простые числа-нечетные то, чтобы числа А=9К+1 и В=9М+1 были нечетными, нужно, чтобы числа К и М-были четными, согласно (***),т.е. K=2n и M=2m. Подставляя эти значения в (III) находим: А+В=2[4(2n+2m)+1]+(2n+2m)=9(2n+2m)+2=2[9(n+m)+1] − число четное;
В данном случае − была рассмотрена бинарная гипотеза Гольдбаха. Ясно,
что доказательство тернарной гипотезы Гольдбаха вытекает отсюда автоматически: если каждое чётное число > 2 есть сумма двух простых чисел, то добавляя 3 (или другое нечетное простое число,а сумма четного и нечетного числа-есть нечетное)к каждому чётному числу, можно получить все нечётные числа > 5.
Б)
С другой стороны: любое четное число имеет вид N=2К=K+K, где K=2n-1-число нечетное. Простое число тоже нечетное, т.е. некоторое четные числа обязательно будут равны сумме двух простых(равных) чисел: N=2p.
Поэтому в последовательности четных чисел из рассмотрения можно исключить
числа вида N=2p, где р − простое число, т.к. это само собой
разумеющееся. То есть: 4=2+2, 6=3+3, 10=5+5, 22=11+11, 26=13+13, 34=17+17, 38=19+18, 46=23+23, 58=29+29, 62=31+31, ... и т.д. Необходимо рассмотреть оставшиеся четные числа, а именно: 8, 12, 16, 18, 20, 24, 28, 30, 32, 36, 40, 42, 44, 48, 50, 52, 54, 56, 60, 64, 66, 68,...(1) и т. д. Анализируя эти числа, приходим к выводу, что все эти числа можно представить формулами вида: 9n, 9n+1, 9n+2, 9n+3, 9n+4, 9n+5, 9n+6, 9n+7 и 9n+8, где n=0,1,2,3,... Исходя из свойств инвариантов [1-2],можно записать:
9n=(9K+1)+(9M+8)=(9K+2)+(9M+7)=(9K+4)+(9M+5);
9n+1=(9K+2)+(9M+8);
9n+2=(9K+1)+(9M+1)=(9K+4)+(9M+7);
9n+3=(9K+1)+(9M+2)=(9K+4)+(9M+8)=(9K+5)+(9M+7);
9n+4=(9K+2)+(9M+2)=(9K+5)+(9M+8);
9n+5=(9K+1)+(9M+4);
9n+6=(9K+1)+(9M+5)=(9K+2)+(9M+4);
9n+7=(9K+2)+(9M+5);
9n+8=(9K+1)+(9M+7)=(9K+4)+(9M+4).
Отсюда видно, что числа (1) представимы в виде суммы, как минимум, двух чисел из множества {9K+1, 9K+2, 9K+4, 9K+5, 9K+7, 9K+8}, инвариант которых
принадлежит множеству простых чисел, а именно: i({9K+1, 9K+2, 9K+4, 9K+5, 9K+7, 9K+8})=i(1, 2, 4, 5, 7, 8)=i(p).