Докажите, что существует бесконечно много простых чисел вида 4k - 1?

Доказательство, что существует бесконечно много простых чисел вида 4k - 1: www.cyberforum.ru earthz.ru

1. Предположим, что множество таких чисел конечно. earthz.ru Перенумеруем их в порядке возрастания: p1 = 3, p2 = 7, p3 = 11, … , pr. earthz.ru
2. Рассмотрим целое число N = 4 |* p1 |* p2 |* … |* pr - 1. earthz.ru Это число нечётное, поэтому все его простые делители нечётны. earthz.ru
3. Нечётные числа могут быть представлены либо в виде 4n + 1, либо в виде 4n - 1. earthz.ru
4. Заметим, что произведение любых двух чисел вида 4n + 1 имеет тот же вид. earthz.ru
5. Отсюда, ввиду того, что N имеет вид 4n - 1, можно заключить, что у N есть простой делитель вида 4n - 1. earthz.ru Обозначим его буквой p. earthz.ru
6. Так как N не делится ни на одно из чисел p1, p2, … , pr, то p отлично от всех чисел p1, p2, … , pr. earthz.ru
7. Это противоречит предположению, что p1, p2, … , pr — совокупность всех простых чисел вида 4k - 1. earthz.ru
8. Утверждение доказано. earthz.ru