Matemáticas de secundaria · Grades 10–12
29Aritmética
La aritmética estudia el números enteros: divisibilidad, numeros primos, restos. Considerada durante mucho tiempo la más pura de las matemáticas puras, ahora protege todas las aplicaciones en línea. pago: el criptosistema RSA se basa en los teoremas de Bézout, Gauss y Fermat lo demostró en este capítulo.
29.1 Divisibilidad y división euclidiana
Definición 29.1 (Divisibilidad)
Deje . Decimos divide , escrito , si existe con . También decimos que es un múltiple de .
Proposición 29.2
Si y , entonces divide cada combinación entero (). Si y con , luego . Si y , entonces .
Demostración. Escriba , : luego . Los otros puntos seguir desde con cuando . ∎
Teorema 29.3 (división euclidiana)
Sean y . Existe un par único tal que
es el cociente y es el resto.
Demostración. Existencia. El conjunto de múltiplos de que no exceden tiene un elemento más grande (no está vacío y es delimitado arriba); establezca . Por maximalidad, , entonces . Unicidad. Si con , entonces y : un múltiplo de de absoluto valor menor que debe ser , por lo tanto y . ∎
29.2 Congruencias
Definición 29.4 (congruencia)
Deje . Dos números enteros son módulo congruente , escrito , si — de manera equivalente, si y tienen el mismo resto en euclidiano división por .
Proposición 29.5 (Compatibilidad con operaciones)
Si y , entonces
Demostración. divide , y también es un múltiplo de . La regla del poder sigue por inducción de la regla del producto. ∎
Método 29.6 (Módulo de potencias de cálculo )
Para calcular , reduzca el módulo base , luego busque una pequeña potencia de congruente con y utilícela para colapsar el exponente. Para instancia : desde y ,
29.3 MCD, Bézout y Gauss
Definición 29.7 (MCD)
Sea números enteros, no ambos cero. El mayor común divisor es el entero más grande que divide ambos y . Cuando se dice que , y son coprimo.
Proposición 29.8 (algoritmo de Euclides)
Si (), entonces . Iterando el división euclidiana por lo tanto calcula : el mcd es el último resto distinto de cero.
Demostración. Cualquier divisor común de y divide (Proposición 29.2), por lo tanto es un divisor común de y ; y viceversa, desde . Los dos pares tienen el mismo común divisores, por lo que lo mismo mcd. El algoritmo termina porque los restos forme estrictamente un decreciente secuencia de números enteros no negativo. ∎
Ejemplo 29.9
: ; ; ; . Por lo tanto .
Teorema 29.10 (Identidad de Bézout)
Sea números enteros, no cero, y . existen tal que
En particular, y son coprimo si y sólo si para algunos números enteros .
Demostración. Ejecute algoritmo de euclides al revés: cada resto es una combinación entero de los dos anteriores, y los datos iniciales son combinaciones de ellos mismos; mediante sustitución descendente, el último resto distinto de cero es un entero combinación de y . (En Ejemplo 29.9: .)
Para la equivalencia: si , Bézout proporciona ; por el contrario, cualquier divisor común de y divide , forzando . ∎
Teorema 29.11 (Lema de Gauss)
Vamos . Si y , entonces .
Demostración. Bézout da ; multiplicar por : . Ambos términos de el lado izquierdo son múltiplos de (el segundo porque ), por lo tanto también lo es . ∎
Corolario 29.12
Si , y , entonces .
Demostración. Escribe . De y , Gauss da , digamos ; luego . ∎
29.4 numeros primos
Definición 29.13 (Principal)
Un entero es principal si es solo Los divisores positivos son y .
Proposición 29.14
Cada entero tiene un divisor principal; si no es principal, tiene un principal divisor . Si un principal divide un producto , entonces o (Lema de Euclides).
Demostración. El divisor más pequeño de es principal (cualquier divisor propio de sería un divisor más pequeño de ). Si es compuesto con , luego , entonces . Para Euclides lema: si , entonces (los únicos divisores de son y ), y el lema de Gauss da . ∎
Teorema 29.15 (Euclides)
Hay infinitos primos.
Demostración. Dada cualquier lista finita de primos, considere . Algunos principal divide ; pero no divide (el resto es ), por lo que es un principal que no está en la lista. No La lista finita agota el primos. ∎
Teorema 29.16 (Teorema fundamental de la aritmética.)
Cada entero es un producto de primos, y esta factorización es único hasta el orden de los factores:
Demostración. Existencia, por inducción fuerte: principal es su propia factorización; de lo contrario con , y ambos factorizan por la inducción hipótesis. Unicidad: supongamos (primos, con repeticiones permitidas). Por lema de Euclides, divide algunos , y siendo principal, ; cancelar y repetir. Las dos factorizaciones coinciden término por término. ∎
Teorema 29.17 (Pequeño teorema de Fermat)
Sea principal y con . entonces
Por cada (no se asume coprimalidad), .
Demostración. Considere el módulo números enteros . Ninguno es (si con , el lema de Euclides fuerza , imposible), y son módulos distintos por pares (si , luego , entonces , entonces ). Por lo tanto, módulo , son los números en algún orden. Multiplicando todo congruencias:
Desde divide ninguno de , uso repetido del lema de Euclides permite cancelar , dejando . la segunda forma sigue multiplicando por (y es trivial cuando ). ∎
Ejemplo 29.18 (Aplicación a la criptografía)
El teorema de Fermat hace que el módulo de exponenciación sea reversible cuando el los exponentes se eligen adecuadamente: el corazón del criptosistema RSA. Con grande primos y , se publica y un exponente ; El cifrado es . Descifrar requiere un exponente con , que solo alguien conoce y pueden calcular — y recuperar de significa factorización a número de cientos de dígitos, algo que ningún algoritmo conocido hace en términos razonables. tiempo.
29.5 Ceremonias
Ejercicio 29.1 ★
Calcule el cociente y el resto de división euclidiana de mediante , y de por .
Solución
Solución de Ejercicio 29.1.
, entonces : cociente , resto . Para : (de hecho y ): cociente , resto (el resto debe estar en , por lo que es no ).
Ejercicio 29.2 ★
¿Cuál es el resto de módulo ? (¿Cuál es el último dígito de ?)
Solución
Solución de Ejercicio 29.2.
Módulo : . Por lo tanto : el último El dígito de es .
Ejercicio 29.3 ★
Usando algoritmo de euclides, calcule y encuentre números enteros con .
Solución
Solución de Ejercicio 29.3.
Euclides: ; ; . Entonces .
Sustitución hacia atrás: . Así , : .
Ejercicio 29.4 ★
Demuestre que para cada , es congruente con el módulo o . Deducir que un entero nunca es suma de dos cuadrados.
Solución
Solución de Ejercicio 29.4.
Cada entero es o , y elevando al cuadrado: , , , . entonces o . Entonces una suma de dos cuadrados es congruente con , o , i.e. a , o — nunca a .
Ejercicio 29.5 ★★
Demuestre que para todo , es divisible por .
Solución
Solución de Ejercicio 29.5.
Divisibilidad por : entre y , uno está par. Divisibilidad por : si , entonces ; si , entonces ; si , entonces . en total casos divide el producto. Desde , Corolario 29.12 da . (Esto también vuelve a probar que , la suma de los cuadrados de Ejercicio 20.1, es un entero).
Ejercicio 29.6 ★★
Resuelva en el congruencia . (Pista: encuentre el inverso de módulo .)
Solución
Solución de Ejercicio 29.6.
Buscamos el inverso de módulo : testing (o Bézout), . Multiplicando el congruencia por :
Las soluciones son números enteros , . (Compruebe: .)
Ejercicio 29.7 ★★
Resuelve en el Diofantino ecuación
luego describa todas las soluciones de .
Solución
Solución de Ejercicio 29.7.
, por lo que existen soluciones. Euclides: ; ; . Sustitución hacia atrás: . Por lo tanto : la solución particular .
Solución general de : restando la relación particular, ; desde , Gauss da , entonces y luego , (todos los cuales verifican).
Para , multiplique la solución particular por : , y el mismo razonamiento da
(Por ejemplo, : , ; de hecho, .)
Ejercicio 29.8 ★★
Demuestre que es irracional, utilizando la unicidad de principal factorización (compare el exponente de en ambos lados de ).
Solución
Solución de Ejercicio 29.8.
Supongamos con ; luego . en el principal factorización de un cuadrado, todo exponente es par; entonces el exponente de en es par, mientras que en es impar (uno más que un par número). Dos factorizaciones del mismo entero con diferentes exponentes de contradice la unicidad en Teorema 29.16. Por lo tanto no hay tal existe fracción: .
Ejercicio 29.9 ★★★
Sea un principal.
- Muestre eso para , divide . (Sugerencia: utilice , Ejercicio 27.7, y el lema de Gauss.)
- Deduzca, por inducción sobre , otra prueba de la pequeña teorema en la forma .
Solución
Solución de Ejercicio 29.9.
1. De , divide . Para , y principal proporcione , por lo que el lema de Gauss produce .
2. Inducción en . Para : . asumir . Por el teorema del binomio,
todos los términos medios desaparecen módulo por el punto 1. Por inducción hipótesis, . Esto prueba para todo , y el caso sigue por escrito para un representante positivo adecuado.
Ejercicio 29.10 ★★★
(Problema del resto chino). Encuentra todos los números enteros tales que
(Pista: resuelva las dos primeras condiciones, luego incorpore la tercera; Bézout los coeficientes ayudan.)
Solución
Solución de Ejercicio 29.10.
y : escriba ; entonces , i.e. . lo inverso de módulo es (), por lo que , digamos y : las dos primeras condiciones significar .
Agregando : , y , entonces , digamos . Por lo tanto :
(Compruebe: .)
29.6 Problema: códigos secretos y dígitos de control
Problema 29.1
Problema de fin de semana — las congruencias protegen cada código de barras y tarjeta de crédito, y el pequeño teorema de Fermat ejecuta el bloquear los secretos del mundo
G. H. Hardy se jactaba en 1940 de que la teoría de números era "inmaculada" por aplicaciones. Ochenta años después, cada código de barras emite un pitido, cada pago con tarjeta de crédito y cada mensaje cifrado lo contradice — exactamente con las herramientas de este capítulo: congruencias (Proposición 29.5), Bézout inversas (Teorema 29.10) y el pequeño teorema de Fermat (Ejercicio 29.9). Este problema verifica los códigos, rompe un versión de juguete de la cerradura y aprende por qué la cerradura real se mantiene firme.
Parte I — Congruencia fluency.
- Calcular ; luego el último dígito de (encontrar el ciclo de potencias del módulo ).
- Exponenciación rápida (Método 29.6): calcular (comenzar desde ).
- Resuelve .
- Ejecute algoritmo de euclides en , sustitución hacia atrás para encontrar números enteros con , y deducir el inverso de módulo .
- Indique precisamente cuando es módulo invertible , y cuyo teorema entrega lo inverso.
Parte II — Check digits.
- ISBN-10: los diez dígitos de un libro el código debe satisfacer . Verificar el ISBN real .
- Demostrar que el esquema ISBN detecta cada Error de un solo dígito: si un dígito cambia por , la suma ponderada cambia en con — ¿por qué esto nunca puede ser? (Teorema 29.11)?
- Demuestre que también detecta cada transposición de dos dígitos adyacentes (distintos). Luego explica el diseño. secreto: qué propiedad de hizo que ambas pruebas funcionaran, ¿Y qué podría salir mal con módulo ?
- Los códigos de barras EAN-13 pesan los dígitos módulo . Calcular el dígito de control completando . ¿Qué transposiciones adyacentes hacen EAN fallar para detectar? (Cuando es ?)
- Las tarjetas de crédito utilizan el esquema de Luhn: desde la derecha, doble cada segundo dígito (restando cuando el doble excede ), suma todo y requiere un múltiplo de . Verificar el número de prueba .
- En una frase: ¿qué compró el ISBN principal módulo? que EAN y Luhn, encadenados a , no pueden tener?
Parte III — Fermat’s lock.
- Una trampa ante el tesoro: computar , deducir — y luego factorice . ¿Qué significa este ejemplo (un Fermat pseudoprime) dicen sobre el uso de Fermat ¿Pequeño teorema como prueba de primalidad?
- RSA en miniatura: tome , , entonces y ; el exponente público es . Encuentra el exponente privado con (método de la pregunta 4).
- Cifrar el mensaje : calcular .
- Descifrar: calcular (usar ) y recuperar el mensaje.
- Por qué el descifrado siempre funciona: demuestre que tanto el módulo como el módulo (El pequeño teorema de Fermat en cada mundo), y concluir módulo (Teorema 29.11 pega los dos congruencias). ¿De dónde surgió el formulario especial de ? entrar?
- La seguridad de la cerradura: todos conocen y ; recuperar requiere , de ahí los factores de . Nuestros factores a la vista — ¿por qué hace lo mismo? esquema, con de seiscientos dígitos, protege el los bancos del mundo? (Una frase sobre la asimetría entre multiplicando y factorización.)
Parte IV — Classics.
- El viejo conde de soldados chinos (compárese Ejercicio 29.10): salen varios soldados resto cuando se clasifica por y resto cuando Clasificado por . Encuentre todos los recuentos posibles y explique por qué la respuesta es módulo único .
- Por fin pruebas de una línea: de , demostrar que todo número es congruente con la suma de sus dígitos módulo ; de , derivar el regla de suma alterna para . (La escuela secundaria El volumen demostró esto con álgebra explícita — admirar la compresión.)
- Final — Hardy contra el código de barras: recapitula el kit de herramientas del capítulo (congruencia aritmética, Bézout inversas, pequeño teorema de Fermat, pegado coprimo módulos) y dónde cada uno encajó en su lugar en este problema; luego dé el veredicto moderno sobre “inmaculado”.
Solución
Solución de Problema 29.1.
1. : . Potencias de mod : , ciclo de longitud ; : último dígito de es .
2. , entonces y .
3. El inverso de módulo es (): .
4.; ; ; ; . Sustitución hacia atrás: . entonces : el inverso de es .
5. es módulo invertible exactamente cuando : Bézout proporciona , es decir ; por el contrario, una inversa obliga al mcd a dividirse .
6. : válido.
7. La suma cambia en con y : ya que es principal y divide ningún factor, no puede dividir el producto (Teorema 29.11 / Proposición 29.14): la suma modificada nunca más será : cada dígito error activa la alarma.
8. Intercambio de dígitos adyacentes (pesos ) cambia la suma por para : detectado. El secreto es el primalidad de : módulo , productos como desaparecen con ni factor cero, por lo que un error de peso- de (o un transposición desafortunada) podría pasar desapercibida.
9. Suma ponderada de los doce dígitos: ; el dígito de control debe completarlo a un múltiplo de : (completo código ). EAN pierde transposiciones adyacentes con , es decir : intercambiar un y un , digamos, pasa invisible — el precio del amigable módulo .
10. Duplicar cada segundo dígito desde la derecha y plegado (, etc.), la suma llega a : la tarjeta de prueba valida.
11. Con un principal módulo cada peso es invertible, entonces todo errores únicos y todo adyacentes se atrapan las transposiciones — lujo del ISBN; esquemas mod- mantenga dígitos amigables para los humanos y acepte un punto ciego corto.
12. , por lo tanto . Sin embargo, es compuesto: pasa la prueba de Fermat. prueba en la base sin ser principal. Moraleja: Fermat congruencia es necesario, no suficiente — pruebas de primalidad necesita herramientas más afiladas (y las consigue, en la universidad) volúmenes).
13. : ().
14. .
15. : , y : el texto cifrado se descifra a . La cerradura gira.
16. Módulo : si , (Fermat), entonces ; si , ambos lados son . Módulo : o , y . Ambos y dividen , y siendo coprimo su producto también lo hace (Gauss): . el exponente fue construido de manera que tanto Fermat los exponentes ( y , dividiendo ) desaparecen.
17. Multiplicar dos dígitos primos toma un microsegundo; recuperarlos de su producto derrota todos los algoritmo conocido y todas las computadoras del mundo — la cerradura es una calle de un solo sentido. (Nuestro es la calle a escala de juguete, transitable en ambas direcciones).
18. Residuos de prueba (o edificio con Bézout): : los conteos Módulo de unicidad : dos soluciones se diferencian por un múltiplo de y de , por tanto de ( y coprimo, Gauss). El general con soldados anuncia “” a las tres alineaciones rápidas: el antiguo truco del recuento.
19. da , entonces : un número y la suma de sus dígitos son congruentes módulo (y módulo ). y da : la regla de alternancia. Dos reglas infantiles, una línea cada una.
20. Congruencias convirtió los restos en una aritmética (Parte I); Bézout acuñó las inversas que resuelven linealmente congruencias y de RSA (preguntas 4, 13); El pequeño de Fermat teorema abrió y cerró la cerradura (preguntas 15-16); pegando coprimo módulos contaron soldados y terminaron la prueba. (preguntas 16, 18). Veredicto sobre Hardy: el teorema más puro que él sabía ahora guarda cada compra — la pureza, con el tiempo, es la lo más aplicable que existe.