9 de abril de 2026
Kuina-chan

«Matemáticas de Kuina-chan» ¡La Lección 3 explica los números enteros, incluyendo los números negativos! Se asume que has leído la Lección 1.
La Lección 2 probó «1+1=2» usando los axiomas de conjuntos, números naturales y la suma. Sin embargo, incluso sin mencionar esos axiomas, estamos convencidos de que «1+1=2». Por lo tanto, dejaremos de probar cosas como «1\times1=1» y «1-1=0» como en la lección anterior, aceptando que pueden ser probadas si uno se lo propone, y nos centraremos de ahora en adelante en «cosas de las que no estamos realmente seguros de si son ciertas».

1.Números Enteros

En la Lección 2, expresamos los números naturales como el conjunto «\mathbb{N}=\{0semicolon1semicolon2semicolon3semicolon4semicolon\dots\}», pero si incluimos números con un signo menos adjunto (excepto 0), los llamamos «números enteros». Es decir, si el conjunto de todos los enteros es \mathbb{Z}, entonces «\mathbb{Z}=\{\dots-3semicolon-2semicolon-1semicolon0semicolon1semicolon2semicolon3semicolon\dots\}».
Los números mayores que 0 se llaman números «positivos», y los números menores que 0 se llaman números «negativos». 0 no es ninguno de los dos.
Como sabes, para dos enteros cualesquiera asemicolonb, podemos realizar la suma «a+b», la resta «a-b», y la multiplicación «a\timesb». «a\timesb» a veces se escribe como «a\cdotb», o a menudo se omite el símbolo de multiplicación y se escribe «ab». En este artículo, lo escribiremos así de ahora en adelante.

1.1Potenciación



Para un entero a y un entero b mayor o igual a 0, «a multiplicado b veces» se escribe «a^{b}» y se llama «potenciación». Por ejemplo, «2^{3}» es «2\cdot2\cdot2», que es 8. «10^{4}» es «10\cdot10\cdot10\cdot10», que es 1 0000.
Sin embargo, para cualquier número a que no sea 0, definimos «a^{0}=1». Por ejemplo, «2^{0}=1» y «(-5)^{0}=1».
Nota

Si miras «2⁵ = 32», «2⁴ = 16», «2³ = 8», «2² = 4», «2¹ = 2», el resultado se reduce a la mitad cada vez, así que puedes ver que es natural pensar «2⁰ = 1».

«0^{0}» a veces se define como «1» por conveniencia, pero por varias razones, a menudo se deja indefinido.
Nota

Una razón por la que «0⁰» generalmente es indefinido es que mirar «3⁰ = 1», «2⁰ = 1», «1⁰ = 1» hace que sea natural pensar «0⁰ = 1», pero mirar «0³ = 0», «0² = 0», «0¹ = 0» hace que sea natural pensar «0⁰ = 0», llevando a una contradicción.

Las siguientes leyes se aplican a la potenciación.
Leyes de los exponentes
  1. a^{m}\cdota^{n}=a^{m}^{+}^{n}
  2. a^{m}/a^{n}=a^{m}^{-}^{n}
  3. (a^{m})^{n}=a^{m}^{\cdot}^{n}
  4. (a\cdotb)^{n}=a^{n}\cdotb^{n}
(1) es claro porque multiplicar «a\cdota\cdot\dots\cdota (m veces)» y «a\cdota\cdot\dots\cdota (n veces)» resulta en «a\cdota\cdot\dots\cdota (m+n veces en total)».
(2) implica división, lo que reduce el número de as, así que la cuenta de as se convierte en una resta.
(3) significa que «a\cdota\cdot\dots\cdota (m veces)» se repite n veces, resultando en «a\cdota\cdot\dots\cdota (m\cdotn veces)».
(4) significa «a\cdotb\cdota\cdotb\cdot\dots\cdota\cdotb (n veces cada uno para a y b)», así que reordenar el orden resulta en «a\cdota\cdot\dots\cdota\cdotb\cdotb\cdot\dots\cdotb (n veces cada uno para a y b)».

1.2Valor Absoluto



La distancia de un entero a desde 0 se llama el «valor absoluto» de a, denotado como «|a|». Por ejemplo, el valor absoluto de 5 es «|5|=5», y el valor absoluto de -3 es «|-3|=3».
El valor absoluto puede verse como «dejar los números positivos tal como están, y quitar el signo menos de los números negativos».
Más estrictamente definido, es como sigue:
Definición de Valor Absoluto

Verificar que |a| satisface lo siguiente:

  • Cuando a\geq0, |a|=a.
  • Cuando a<0, |a|=-a.
Por ejemplo, si a=-3, dado que a<0, entonces |a|=-a=-(-3)=3.

2.Propiedades de los Enteros

Ahora, expliquemos varias propiedades de los enteros.

2.1Cociente y Resto



La división de dos enteros (a/b) puede resultar en un valor que no es un entero. Por lo tanto, definimos «cociente» y «resto» donde los resultados del cálculo permanecen enteros.
Al realizar «a/b», el «cociente» es el número de objetos por persona cuando a objetos se distribuyen entre b personas. El «resto» es el número de objetos restantes que no pudieron ser distribuidos. Por ejemplo, para «7/3», el cociente es 2 y el resto es 1.
«El cociente de 7/3 es 2 y el resto 1» significa «cuando 7 objetos se distribuyen entre 3 personas, cada uno recibe 2 objetos y queda 1 objeto», lo cual puede reformularse como «hay 3 personas con 2 objetos cada una, y combinados con el 1 objeto restante, esto hace 7 objetos». Esto puede escribirse como «2\cdot3+1=7». En otras palabras, «cociente q y resto r de a/b» se definen como números que satisfacen «q\cdotb+r=a».
Definición de Cociente y Resto

Para un entero a y un entero distinto de cero b, el cociente y el resto de «a/b» se definen como enteros q y r que satisfacen «q\cdotb+r=a y 0\leqr<|b|».

Por ejemplo, considerando «8/5», el cociente es 1 y el resto es 3. Sustituyendo a como 8, b como 5, el cociente q como 1, y el resto r como 3 en la ecuación anterior produce «1\cdot5+3=8 y 0\leq3<5», lo cual efectivamente satisface la expresión matemática.
En la expresión anterior, el cociente y el resto cuando b es 0 son indefinidos. Es decir, «3/0» etc. son indefinidos.

2.2Divisibilidad, Divisores y Múltiplos



Si el resto de a/b es 0, decimos que «b divide a» (o a es divisible por b). Por ejemplo, «4/2» tiene un resto de 0, así que 2 divide a 4. También, «12/3» tiene un resto de 0, así que 3 divide a 12.
Cuando b divide a a, b se llama un «divisor» de a, y a se llama un «múltiplo» de b. Por ejemplo, dado que 2 divide a 4, 2 es un divisor de 4, y 4 es un múltiplo de 2.
Listar los divisores de 12 en orden ascendente da «-1semicolon2semicolon-6semicolon-4semicolon-3semicolon-2semicolon-1semicolon1semicolon2semicolon3semicolon4semicolon6semicolon1semicolon2». Los múltiplos de 2 son «\dots-6semicolon-4semicolon-2semicolon0semicolon2semicolon4semicolon6semicolon\dots», que es el conjunto de todos los números pares.
Dado que 1 y -1 dividen a todos los enteros, los múltiplos de 1 y -1 son todos los enteros. Todos los enteros excepto 0 dividen a 0, así que los divisores de 0 son todos los enteros excepto 0.

2.3Divisores Comunes y Múltiplos Comunes



Ahora consideremos los divisores comunes y múltiplos comunes de dos o más enteros.
Un divisor común a a y b se llama un «divisor común» de a y b. En otras palabras, si c divide a a y c divide a b, el entero c se llama un «divisor común» de a y b. Por ejemplo, 2 divide a 4 y 2 divide a 6, así que 2 es uno de los divisores comunes de 4 y 6.
Un múltiplo común a a y b se llama un «múltiplo común» de a y b. En otras palabras, si a divide a c y b divide a c, el entero c se llama un «múltiplo común» de a y b. Por ejemplo, 2 divide a 10 y 5 divide a 10, así que 10 es uno de los múltiplos comunes de 2 y 5.
Para tres o más números, los divisores comunes y múltiplos comunes pueden definirse de manera similar.

2.4Máximo Común Divisor y Mínimo Común Múltiplo



El mayor de los divisores comunes de a y b se llama el «máximo común divisor» de a y b, a menudo denotado como «\rm{m}\rm{c}\rm{d}(asemicolonb)». El menor de los múltiplos comunes positivos de a y b se llama el «mínimo común múltiplo» de a y b, a menudo denotado como «\rm{m}\rm{c}\rm{m}(asemicolonb)».
Nota

mcd significa «máximo común divisor», y mcm significa «mínimo común múltiplo».

Por ejemplo, los divisores de 8 son «-8semicolon-4semicolon-2semicolon-1semicolon1semicolon2semicolon4semicolon8», y los divisores de 6 son «-6semicolon-3semicolon-2semicolon-1semicolon1semicolon2semicolon3semicolon6». Los divisores comunes de 8 y 6 son los compartidos «-2semicolon-1semicolon1semicolon2», y el máximo común divisor es el mayor entre ellos, así que \rm{m}\rm{c}\rm{d}(8semicolon6)=2.
También, los múltiplos positivos de 8 son «8semicolon16semicolon24semicolon32semicolon\dots», y los múltiplos positivos de 6 son «6semicolon12semicolon18semicolon24semicolon30semicolon\dots». Los múltiplos comunes positivos de 8 y 6 son los compartidos «24semicolon48semicolon72semicolon\dots», y el mínimo común múltiplo es el menor entre ellos, así que \rm{m}\rm{c}\rm{m}(8semicolon6)=24.
Para enteros positivos asemicolonb, existe una ley que dice «a\cdotb=\rm{m}\rm{c}\rm{d}(asemicolonb)\cdot\rm{m}\rm{c}\rm{m}(asemicolonb)». Por ejemplo, dado que «\rm{m}\rm{c}\rm{d}(8semicolon6)=2» y «\rm{m}\rm{c}\rm{m}(8semicolon6)=24», sustituyendo en «a\cdotb=\rm{m}\rm{c}\rm{d}(asemicolonb)\cdot\rm{m}\rm{c}\rm{m}(asemicolonb)» se obtiene «8\cdot6=2\cdot24», resultando en «48=48», lo cual es cierto. Usando esto, si conoces ya sea el máximo común divisor o el mínimo común múltiplo, puedes calcular fácilmente el otro.

2.5Algoritmo de Euclides



Encontrar el máximo común divisor directamente toma tiempo, pero usar el «Algoritmo de Euclides» descrito a continuación lo hace más rápido.
Algoritmo de Euclides
  1. Sea a el mayor de dos enteros positivos de los cuales se desea el máximo común divisor, y b el menor.
  2. Sea r el resto de a/b.
  3. Si r\neq0, el máximo común divisor de a y b es igual al máximo común divisor de b y r. Así que, procede a encontrar el máximo común divisor de b y r y vuelve al paso (1).
  4. Si r=0, el máximo común divisor de a y b es b. (Cálculo terminado)
Por ejemplo, encontrar el máximo común divisor de 128 y 80 usando el Algoritmo de Euclides es como sigue.
Máximo Común Divisor de 128 y 80
  • Entre 128 y 80, el mayor es 128 y el menor es 80, así que establecemos a=128, b=80.
  • El resto de a/b es decir, 128/80 es r=48, así que según «el máximo común divisor de a y b es igual al máximo común divisor de b y r», \rm{m}\rm{c}\rm{d}(128semicolon80)=\rm{m}\rm{c}\rm{d}(80semicolon48).
  • Similarmente, repitiendo con a=80 y b=48, obtenemos \rm{m}\rm{c}\rm{d}(80semicolon48)=\rm{m}\rm{c}\rm{d}(48semicolon32)=\rm{m}\rm{c}\rm{d}(32semicolon16).
  • Aquí, el resto de 32/16 es r=0, así que de \rm{m}\rm{c}\rm{d}(asemicolonb)=b, tenemos \rm{m}\rm{c}\rm{d}(32semicolon16)=16.
  • Por lo tanto, \rm{m}\rm{c}\rm{d}(128semicolon80)=16.
Generalmente, repetir la división es más fácil que listar los divisores comunes, haciendo este método conveniente.

3.Números Primos

Un entero p mayor o igual a 2 cuyos divisores positivos son solo 1 y p se llama un «número primo». Por ejemplo, 5 es un número primo porque sus divisores positivos son solo 1 y 5. 4 no es un número primo porque tiene 2 como divisor además de 1 y 4.
En otras palabras, un número primo es un entero mayor o igual a 2 que «no puede ser dividido por ningún entero positivo excepto ‘1 y sí mismo’». Los enteros mayores o iguales a 2 que no son números primos se llaman «números compuestos».
Listar los números primos en orden ascendente da «2semicolon3semicolon5semicolon7semicolon11semicolon13semicolon17semicolon19semicolon23semicolon29semicolon\dots». Hay infinitos números primos. La aparición de los números primos parece ser irregular, y la investigación para capturar sus reglas ha continuado desde tiempos antiguos hasta el presente.
Los números primos pueden obtenerse usando un método llamado la «Criba de Eratóstenes». Este método usa el hecho de que «entre los enteros mayores o iguales a 2, aquellos que no son múltiplos de otros números primos son números primos», y se realiza como sigue.
Criba de Eratóstenes
Criba de Eratóstenes

3.1Factorización en Primos



Todos los enteros positivos pueden expresarse como un producto de números primos. Por ejemplo, «4=2\cdot2», «6=2\cdot3», «50=2\cdot5\cdot5», etc. Expresar un entero positivo como un producto de números primos de esta manera se llama «factorización en primos».
Cada número primo que aparece durante la factorización en primos se llama un «factor primo». Por ejemplo, dado que «10=2\cdot5», los factores primos de 10 son 2 y 5.
Cualquier entero positivo siempre puede ser factorizado en primos, y el patrón está limitado a una sola manera si se ignora el orden de la multiplicación. Por ejemplo, usando potenciación, «1=2^{0}3^{0}5^{0}\dots», «2=2^{1}3^{0}5^{0}\dots», «3=2^{0}3^{1}5^{0}\dots», «4=2^{2}3^{0}5^{0}\dots», «5=2^{0}3^{0}5^{1}\dots», «6=2^{1}3^{1}5^{0}\dots». Esta propiedad se llama el «Teorema Fundamental de la Aritmética» (o unicidad de la factorización en primos) y es útil para probar otros teoremas.
La razón por la cual 1 no se incluye en los números primos es que si 1 fuera incluido, «2=1^{0}2^{1}\dots=1^{1}2^{1}\dots=1^{2}2^{1}\dots=1^{3}2^{1}\dots», y la unicidad de la factorización en primos ya no se mantendría.

3.2Primos entre sí



Cuando dos enteros a y b no tienen ningún divisor común aparte de 1 y -1, es decir, cuando \rm{m}\rm{c}\rm{d}(asemicolonb)=1, se dice que a y b son «primos entre sí». Por ejemplo, dado que \rm{m}\rm{c}\rm{d}(9semicolon20)=1, 9 y 20 son primos entre sí.
Decir que los enteros positivos a y b son «primos entre sí» es equivalente a decir que a y b «no tienen factores primos comunes». Por ejemplo, de 9=3\cdot3 y 20=2\cdot2\cdot5, 9 y 20 no contienen factores primos comunes, así que pueden decirse primos entre sí.

4.Aritmética Modular

Ahora, volviendo al tema de los restos en la división, «el resto cuando 5 se divide por 3 es 2», y «el resto cuando 8 se divide por 3 es también 2», así que coinciden. Esto puede decirse como «en el mundo de los restos cuando los enteros se dividen por 3, 5=8 es cierto». Cuando los restos divididos por 3 coinciden de esta manera, decimos «5 y 8 son congruentes módulo 3» y escribimos «5\equiv8 (\rm{m}\rm{o}\rm{d} 3)».
Generalmente, para un entero positivo m, cuando los restos de a/m y b/m coinciden, decimos «a y b son congruentes módulo m» y escribimos «a\equivb (\rm{m}\rm{o}\rm{d} m)». Cuando no coinciden, escribimos «a\not\equivb (\rm{m}\rm{o}\rm{d} m)». Una expresión escrita de esta manera se llama una «congruencia» (o aritmética modular).
Por ejemplo, «el resto de 3 dividido por 2» es el mismo que «el resto de 1 dividido por 2», así que «3\equiv1 (\rm{m}\rm{o}\rm{d} 2)». Por otro lado, «el resto de 5 dividido por 4» es diferente del «resto de 6 dividido por 4», así que «5\not\equiv6 (\rm{m}\rm{o}\rm{d} 4)».
Las congruencias tienen la propiedad de que se mantienen incluso si el mismo número se suma, resta o multiplica a ambos lados.
Propiedades de las Congruencias

Para todos los enteros asemicolonbsemicolonm, si a\equivb (\rm{m}\rm{o}\rm{d} m) es cierto, entonces los siguientes (1) a (3) son ciertos.

  1. Para cualquier entero n, a+n\equivb+n (\rm{m}\rm{o}\rm{d} m).
  2. Para cualquier entero n, a-n\equivb-n (\rm{m}\rm{o}\rm{d} m).
  3. Para cualquier entero n, a\cdotn\equivb\cdotn (\rm{m}\rm{o}\rm{d} m).
Por ejemplo, dado que «5\equiv8 (\rm{m}\rm{o}\rm{d} 3)» es cierto, multiplicar ambos lados por 100 da «500\equiv800 (\rm{m}\rm{o}\rm{d} 3)», que también es cierto.

5.Ecuaciones Diofánticas

Finalmente, tomemos un desafío específico aplicando las propiedades de los enteros introducidas hasta ahora. Es un problema llamado «ecuación diofántica».
Una «ecuación» es un problema para encontrar el valor de una variable que satisface una igualdad, tal como «Encontrar x que satisface 4x=8». El valor de la variable para el cual la igualdad es cierta se llama la «solución» de la ecuación.
Entre las ecuaciones, las «ecuaciones diofánticas» se refieren a aquellas donde la ecuación tiene infinitas soluciones (a menudo en los reales, pero típicamente buscamos soluciones enteras). Por ejemplo, «Encontrar la combinación de x y y que satisface x+2y=3». En este caso, «x=3semicolony=0» y «x=1semicolony=1» son soluciones.
De esta manera, las ecuaciones diofánticas a menudo tienen infinitas soluciones, pero al agregar condiciones, el número de soluciones puede volverse finito. Miremos un problema que puede resolverse como un rompecabezas usando tales condiciones.

5.1Problema



Tomemos el siguiente problema específico de ecuación diofántica.
Problema de Ecuación Diofántica
Problema

Sea «invertir» 1 234 significando hacerlo 4 321. En este momento, cuando un cierto entero de 4 dígitos N se invierte, se convierte en 4 veces el número original N. Encuentra el valor de N.

5.2Método de Resolución



Primero, construyamos la ecuación diofántica. Sea el entero de 4 dígitos N teniendo los dígitos a, b, c, d desde arriba. Por ejemplo, si N=1 234, entonces a=1, b=2, c=3, d=4. Entonces N puede expresarse como 1 000a+100b+10c+d.
Dado que invertirlo resulta en 4 veces el número original, se forma la siguiente ecuación.
Ecuación Diofántica

4\cdot(1 000a+100b+10c+d)=1 000d+100c+10b+a

El lado izquierdo es 4 veces N, y el lado derecho es el número invertido.
Tal como está, esta expresión contiene 4 variables y es una ecuación diofántica con potencialmente muchas soluciones, así que reduzcamos las soluciones usando varias condiciones.

5.3Encontrar el valor de a



Primero, si a=0, N sería de 3 dígitos o menos, así que debe ser a>0. También, si a\geq3, multiplicar por 4 resultaría en 5 dígitos o más, así que debe ser a<3. Es decir, a es o bien 1 o bien 2.
Aquí, si asumimos a=1, la ecuación se convierte en «4\cdot(1 000+100b+10c+d)=1 000d+100c+10b+1», y el dígito de las unidades en el lado derecho es «1». El lado izquierdo es un entero multiplicado por 4, pero no hay ningún entero que se convierta en 1 en el dígito de las unidades cuando se multiplica por 4 (debe ser par), así que los lados izquierdo y derecho nunca coinciden. En otras palabras, está claro que no existe solución cuando a=1. Por lo tanto, si existe una solución, es solo cuando a=2.

5.4Encontrar el valor de d



Sustituyendo a=2, la ecuación se convierte en «4\cdot(2 000+100b+10c+d)=1 000d+100c+10b+2». Aquí, el dígito de las unidades en el lado derecho es «2». Que el dígito de las unidades de un entero multiplicado por 4 se convierta en 2 sucede solo para «3\cdot4=12» y «8\cdot4=32», así que d, que es el dígito de las unidades de N, es o bien 3 o bien 8.
Si d=3, la ecuación es «4\cdot(2 000+100b+10c+3)=3 000+100c+10b+2», pero reorganizando esto da «b=(6c-501)/39». Sustituir cualquier valor de 0 a 9 en c resulta en que b sea un número negativo, así que d\neq3. Por lo tanto, si existe una solución, es solo cuando d=8.

5.5Encontrar los valores de b y c



Sustituyendo d=8, la ecuación se convierte en «4\cdot(2 000+100b+10c+8)=8 000+100c+10b+2». Transformando esto, obtenemos «b=(2c-1)/13». Para que «(2c-1)/13» sea un entero, probar valores de 0 a 9 para c muestra que c=7 es la única solución.
Sustituyendo c=7 en b=(2c-1)/13, obtenemos b=(2\cdot7-1)/13, así que b=1.
Por lo tanto, de a=2, b=1, c=7, d=8, obtenemos N=2 178. Calculando 2 178\cdot4, obtenemos 8 712, confirmando que «multiplicar por 4 resulta en el orden inverso del número original».
En esta lección, hemos introducido las propiedades básicas de los enteros. ¡La próxima vez, explicaremos los «números reales» y las «funciones» y los «mapas», que son importantes para manipular estos números!
1775777020es