числа - кандидаты и переформулировка для упрощения доказательства править

s - простое, S - множество простых от 2 до s.
1) m = произведение простых от 2 до s, допуская повторения и исключая, быть может, некоторые простые a: 3<a<s (сомножители составляют множество S|A, мощности s|a).
2) m+1 и m-1 - просты относительно S|A, в силу того, что оба - не ноль по модулю простых из S|A.
3) если оба этих числа просты и относительно A (множества простых, не участвующих в произведении) - получаем очередную пару близнецов.

предлагаю доказать, что для любого s, существует множество S|A: такое, что некоторое m порождает пару близнецов m(+/-)1.

Nei2ri 14:32, 16 сентября 2010 (UTC)Ответить