Si está calculando esto usando una computadora, puede usar la prueba de primalidad Miller-Rabin.
La prueba se basa en las siguientes relaciones, que son verdaderas solo para los números primos, pero no para todos. Si podemos encontrar múltiples valores de [math] a \ in \ Z / n \ Z [/ math] que no verifican estas relaciones, podemos estar bastante seguros de que [math] n [/ math] no es primo.
[matemáticas] a ^ d \ not \ equiv 1 \ pmod n [/ matemáticas]
[matemáticas] a ^ {2º} \ not \ equiv -1 \ pmod n [/ matemáticas]
- ¿Sabemos si hay una [matemática] \ aleph_ {0.5} [/ matemática] entre [matemática] \ aleph_0 [/ matemática] y [matemática] \ aleph_1 [/ matemática]? ¿Por qué?
- ¿Para qué valor de un entero positivo [matemática] n [/ matemática] el LCM de [matemática] n [/ matemática] y [matemática] 36 [/ matemática] excede su HCF en [matemática] 500 [/ matemática]?
- ¿De cuántas maneras diferentes se pueden permutar los enteros 1 a 9 de modo que ningún entero impar esté en su posición natural?
- ¿Cuál es el resto cuando 123456789 …………… ..424344 se divide por 45?
- ¿Cuál es un breve resumen del método circular utilizado para demostrar la débil conjetura de Goldbach?
Con [math] 0 \ leq r \ leq s-1 [/ math] donde tenemos [math] s [/ math] tal que [math] n-1 = 2 ^ s \ cdot d [/ math], [math ] d [/ math] es impar.
Para [matemática] n = 1033 [/ matemática], tenemos [matemática] n-1 = 1032 = 2 ^ 3 \ cdot 129 [/ matemática], entonces [matemática] d = 129 [/ matemática] y [matemática] s = 3 [/ matemáticas].
Entonces queremos [math] a [/ math] tal que [math] a ^ {129} \ not \ equiv 1 \ pmod {1033} [/ math]
y [matemáticas] a ^ {2 \ cdot 129 \ cdot r} \ not \ equiv -1 \ pmod {1033} [/ math].
Marque [math] a \ in \ {2,3,4 \} [/ math].