Prueba simple por contradicción:
- supongamos que hubo un número finito de tales {p_i}
- luego construya el número 6 * p_1 * p_2 *… p_n -1
- por construcción, no es divisible por 2,3 o cualquiera de los primos 6x-1 {p_i}
- si fuera compuesto y divisible por al menos un primo 6x + 1, entonces para tener un residuo -1 mod 6, también debería ser divisible por al menos un primo 6x-1 (desconocido), lo que contradice nuestra suposición
- por lo tanto, es un primo más grande de la forma 6x-1
Ver, por ejemplo, U Washington Math 414 Serie de problemas 1, P3.
Los primos de la forma 6n-1 son la secuencia OEIS A007528.
‘Un producto menos de seis veces de los primeros n primos (primorial primo) de la forma 6k-1’
es OEIS A057131: 29, 329, 5609, 129029, 3741869, …
- ¿Qué debe saber todo programador sobre las ecuaciones de diofantina?
- ¿Cómo se muestra que [matemáticas] (2 ^ a-1) (2 ^ b-1) = 2 ^ {2 ^ c} +1 [/ matemáticas] es imposible en enteros no negativos [matemáticas] a, b, [/ matemáticas] y [matemáticas] c [/ matemáticas]?
- Dados los números reales positivos x e y, demuestre que [matemáticas] \ frac {2} {\ frac {1} {x} + \ frac {1} {y}} \ le \ sqrt {xy} \ le \ frac {x + y} {2} [/ matemáticas]?
- ¿Por qué a = (a + b) – (b = a) es una mala elección para intercambiar dos enteros?
- El producto de cuatro términos consecutivos de una progresión aritmética de enteros más el cuarto poder de la diferencia común es siempre un cuadrado perfecto. ¿Cómo se verifica esta identidad incorporando simetría en la notación?
El ‘producto (incompleto) de primos 6x-1 inferiores seleccionados’ (multiplicando 5, 29 y luego los números sucesivos de la secuencia que construimos anteriormente) es
OEIS A005267 (o al menos, términos 3 en adelante): 3, 2, 5, 29, 869, 756029, 571580604869,…
Algunas curiosidades relacionadas con los primos 6x-1:
A040028 Primes p tal que x ^ 3 = 2 tiene una solución mod p.
A000966 n! nunca termina en tantos ceros.