Primero podemos
formule el problema de la siguiente manera: ¿Hay algún número [matemático] x [/ matemático] satisfecho con las siguientes ecuaciones de congruencia:
[matemáticas] x \ equiv 1 mod 2 \\ x \ equiv 1 mod 3 \\ x \ equiv 1 mod 4 \\ x \ equiv 1 mod 5 \\ x \ equiv 1 mod 6 \\ x \ equiv 0 mod 7 [ /matemáticas]
Para juzgar si hay una solución, podemos usar el Teorema del resto chino [1]. Pero el teorema requiere que los divisores sean coprimos por pares. Puede reducir fácilmente el sistema de ecuaciones de congruencia a
- ¿Cómo puedo eliminar el decimal en Excel, retener el valor y agregar cero antes del número?
- ¿Cuántos números pares de tres dígitos mayores que 400 se pueden formar con los dígitos 1, 2, 3, 4 y 5, si no se permite la repetición?
- ¿Hay algo más allá de los números complejos? ¿Hay más números que no caben dentro de los números complejos? ¿Por qué no encajarían allí? ¿Por qué son útiles?
- ¿De qué color son los números?
- ¿Qué es un número Keith?
[matemáticas] x \ equiv 1 mod 60 \\ x \ equiv 0 mod 7 [/ matemáticas]
o reducirlo por pares. Para resolver el sistema de ecuación de congruencia reducida, puede probar el conjunto [matemáticas] {60 n + 1, n = 1,2,3,4,5, …} [/ matemáticas]
para encontrar un número que se pueda dividir por 7. O simplemente puede usar Computational Knowledge Engine e ingresar
ChineseRemainder [{1,0}, {60,7}]
para obtener 301. Luego, según el Teorema del resto chino, {[math] 420 n + 301, n es cualquier número entero} [/ math] es la solución.
Notas al pie
[1] Teorema del resto chino – Wikipedia