¿Cuál sería el resto después de dividir {19! -17! } por 23?

Entonces, el Sr. Kimtee Goh pidió mi opinión sobre cómo resolver esto. Sin embargo, su solución es bastante acertada, y no puedo encontrar ninguna mejora o caminos diferentes para resolverla; Los factoriales y la aritmética modular solo gritan “EL TEOREMA DE WILSON”.

Pero intentaré el enfoque de largo camino. Suponga que no sabe que el Teorema de Wilson es una cosa, pero sabe acerca de la existencia de inversos modulares; es decir, para cada número [matemática] k [/ matemática] tal que [matemática] 0 <k <n [/ matemática] ([matemática] n [/ matemática] sea un número primo), hay otro número [matemática] r [/ math] (no necesariamente diferente de [math] k [/ math]) tal que [math] r * k \ equiv 1 (mod \ n) [/ math]. Esta es, por cierto, una forma de probar el Teorema de Wilson . Como [math] 23 [/ math] es un número relativamente pequeño, podemos verificar manualmente las inversas multiplicativas de los números de [math] 1 [/ math] a [math] 22 [/ math].

Los pares inversos modulares [matemática] mod \ 23 [/ matemática] son: [matemática] (1, 1), (2, 12), (3, 8), (4, 6), (5, 14), ( 7, 10), (9, 18), (11, 21), (13, 16), (15, 20), (17, 19) [/ matemáticas] y [matemáticas] (22, 22) [/ matemáticas ]

Bien, ahora con esto en nuestras manos, podemos calcular algunos resultados:

[matemáticas] 17! = 2 * 3 *… * 17 = (2 * 12) * (3 * 8) * (4 * 6) * (5 * 14) * (7 * 10) * 9 * 11 * (13 * 16) * 15 * 17 \ equiv 9 * 11 * 15 * 17 (mod \ 23). [/ Math]

[matemáticas] 9 * 11 * 15 * 17 \ equiv 99 * 255 (mod \ 23). [/ matemáticas]

[matemática] 99 (mod \ 23) [/ matemática] es igual a [matemática] 7 [/ matemática] y [matemática] 255 (mod \ 23) [/ matemática] es igual a [matemática] 2 [/ matemática]. Por lo tanto, [matemáticas] 17! \ equiv 7 * 2 \ equiv 14 (mod \ 23) [/ math].

Ahora, para calcular [matemáticas] 19! (mod \ 23) [/ math], podemos usar el resultado anterior para obtener:

[matemáticas] 19! \ equiv 19 * 18 * 17! \ equiv 19 * 18 * 14 (mod \ 23) [/ math].

Como [math] 19 \ equiv -4 (mod \ 23) [/ math] y [math] 18 \ equiv -5 (mod \ 23) [/ math], tenemos que [math] 19 * 18 \ equiv (- 4) * (- 5) \ equiv 20 (mod \ 23) [/ math].

Por lo tanto, [matemáticas] 19 * 18 * 14 \ equiv 20 * 14 \ equiv 280 \ equiv 4 (mod \ 23) [/ matemáticas].

Por lo tanto, [matemáticas] 19! \ equiv 4 (mod \ 23) [/ math].

Finalmente: [matemáticas] 19! – 17! \ equiv 4 – 14 \ equiv -10 \ equiv 13 (mod \ 23) [/ math].

① Tenga en cuenta que (19! -17!) Mod23 ≠ (19! Mod23) – (17! Mod23)

② (19! -17!) M23

= 17! (19 × 18–1) m23

= 341 × 17! m23

≡341 × 14 m23

≡14 × (14 * 23 + 19) m23

≡ (23–9) (23–4) m23

≡36 m23

≡13 mod23 ★ ★ …… .. Respuesta

……………………………

③Trabajo lateral:

Wilson → 21! ≡ 1 mod 23

21 × 20! ≡ 1 mod 23

(-2 m23) × 20! ≡ (23–22) (mod23)

(-2 m23) × 20! ≡ (-22) m23

20! ≡ 11 m23

20 * × 19! ≡ (-3) × 19! ≡ (23–12) m23 ≡ (-12) m23

19! ≡ 4 m23

19 * 18! M4m23

(-4m23) * 18! ≡4m23

18! ≡-1m23

18 * 17! ≡ (-5 m23) * 17! ≡ (–1 + 46) m23≡ (45m23)

17! ≡-9m23≡14m23

【19 * 18 = 360–18 = 342】

[matemáticas] 19! = 19 \ cdot 18 \ cdot 17 \ ldots [/ math]

[matemáticas] 17! = 17 \ cdot 18 \ cdot 17 \ ldots [/ math]

19! – 17! claramente nos deja con 19 * 18 – 1 juegos de 17! El fuerte teorema de 7,8,9 permite deshacerse de 18 y -1.

[matemáticas] 19 * 17 = -4 + 17 = 13 => (19! – 17!) == 13 \ mod 23 [/ matemáticas]

El resto es 13 como el

El divisor es 23 y el dividendo es 121289410000000

Usando la fórmula:

[Dividendo = (Cociente x Divisor) + Resto]

Respuesta = 5.2734527e + 15

19! (Factorial) – 17! (Factorial) = 1.2128941e + 17

Bucear eso para el 23 nos daría la respuesta anterior: hecho usando Google. 🙂