Прошу прощения, что второй раз за день с идиотским, наверное, вопросом. Я не могу понять доказательство того, что в прогрессии
бесконечно много простых числе.
Заметим прежде всего, что всякое простое число, большее 2, - непременно чётное и, следовательно, имеет вид
или
(при целом
). Далее, произведение двух чисел вида
также есть число того же вида, так как
.
Допустим теперь, что существует лишь конечное число простых чисел вида
; обозначим их
и рассмотрим число
.
Одно из двух: либо число
- простое, либо разлагается в произведение простых чисел, среди которых, однако, не может быть ни одного из чисел
, так как все эти числа делят
с остатком -1.
Заметим далее, что все множители, входящие в
, не могут быть вида
, так как само
не этого вида, а мы видели, что произведение числе вида
является числом того же вида. Итак, хоть один из множителей, входящих в
, должен быть вида
, а это невозможно, так как ни одно из чисел
не входит множителем в
, а числами
все простые числа вида
по предположению исчерпываются. [...] приходим к противоречию, и значит, таких чисел бесконечно много.
Заранее спасибо за ответы.