Teora elemental de nmeros

1. NUMEROS ENTEROS
La Teora de Nmeros es la parte de la Matemtica que trata de los nmeros
enteros y sus propiedades. Estudia la divisibilidad y la congruencia de nmeros
enteros, los nmeros primos y su distribucin, las operaciones algebraicas
entre ellos y las soluciones enteras de ecuaciones difunticas. Se designar a
los conjuntos de nmeros naturales y enteros por N y Z respectivamente
tambin Los nmeros enteros son el ingrediente principal en teora de
nmeros. En esta seccin, establecemos brevemente la notacin y el
significado de algunos smbolos que se relacionan con los enteros y que sern
de amplio uso en el texto. Adems se establecen algunos principios que se
usan ampliamente en los argumentos.

N = {1, 2, 3, 4, 5, ...}
Z = {..., -4, -3, -2, -1, 0, 1, 2, 3, 4, ...}

Y tenemos:
a.) N = {0, 1, 2,...} y N+ = {1, 2,...}.
b.) Z+ = {1, 2,...} = N+
c.) R+ = {x R : x > 0}

El nmero 0 no es un nmero natural. El conjunto de los nmeros enteros no

negativos se designa por N U {0}. Uno de los principios ms importantes en la
Teora de Nmeros es:

a) Principio de la buena ordenacin: todo subconjunto no vaco de

nmeros enteros no negativos tiene un primer elemento, es decir, tiene
un elemento que es menor que todos los dems.

b) Operaciones con nmeros enteros: Sean a y b dos nmeros

enteros. A partir de las operaciones suma (a + b) y producto (a . b), es
fcil definir las siguientes operaciones:

c) Diferencia (d = a - b): otro entero que satisfaga la igualdad a = b + d

Divide a (a | b): si a # 0 y b = a . q, diremos que a divide a b, a es un
divisor de b, a es un factor de b, o que b es un mltiplo de a.
Mayor que (b > a): si existe un nmero natural n tal que b = a + n.

Propiedades de los nmeros enteros

Sean a, b, c, x e y nmeros enteros:

a.0=0
a . (-b) = -a . b
Si a # 0 y a . b = a . c, entonces b = c
Si a # 0 y a | b, entonces a | b . x
Sean a # 0 y b # 0, si a | b y b | c, entonces a | c
Sea a # 0, si a | b y a | c, entonces a | (b . x + c . y)
Sean a y b positivos, si a | b, entonces a <= b
Sean a # 0 y b # 0, si a | b y b | a, entonces a = b o a = -b

Valor absoluto
Llamaremos valor absoluto a la aplicacin | | : Z -> Z, tal que todo nmero
entero tiene imagen mediante | | y esta imagen es nica. Queda definida por
Si n >= 0, entonces |n| = n
Si n < 0, entonces |n| = -n

Propiedades del valor absoluto

|n| pertenece a N U {0}
|n| = 0 si y slo si n = 0
|a . b| = |a| . |b|

|a + b| <= |a| + |b|

Si a # 0, b # 0 y a | b, entonces |a| <= |b|

Algoritmo de la Divisin

Sean a entero y b natural. Entonces existen nmeros enteros q y r tales que:

a=b.q+r
con 0 <= r < |b|. Adems q y r son nicos. A los nmeros a, b, q y r se les llama
respectivamente dividendo, divisor, cociente y resto.

Mdulo
Sean a y b nmeros enteros con b # 0. Sea a = b . q + r donde 0 <= r < |b|.
Definimos el operador mdulo MOD por:
a MOD b = r

Propiedades del operador MOD

Sean a, b, c, d y m nmeros enteros con m # 0. Si a MOD m = c MOD m y b
MOD m = d MOD m, entonces:
(a + b) MOD m = (c + d) MOD m
(a . b) MOD m = (c . d) MOD m

Mximo comn divisor

Sean a y b enteros. Un entero d # 0 es un divisor comn de a y b si d | a y d | b.
Un divisor comn de a y b se llama mximo comn divisor de a y b si d > 0 y
cada comn divisor de a y b divide tambin a d. Se designa por:

m.c.d.(a, b) = d

Algoritmo de Euclides
El Algoritmo de Euclides se basa en sucesivas divisiones de dos nmeros
hasta obtener su mximo comn divisor. Es decir, si m.c.d.(a, b) = d y a = b . q
+ r, entonces tendremos:

d = rn-1 = m.c.d. (rn-2, rn-1) = m.c.d. (rn-3, rn-2) = ... = m.c.d. (b, r1) = m.c.d.
(a, b) Si hacemos la divisiones sucesivas partiendo del Algoritmo de la Divisin
original:

a = b . q1 + r1
b = r1 . q2 + r2
r1 = r2 . q3 + r3
...
rn-4 = rn-3 . qn-2 + rn-2
rn-3 = rn-2 . qn-1 + rn-1
rn-2 = rn-1 . qn + 0

Clculo del mximo comn divisor de dos nmeros mediante el Algoritmo de

Euclides

2. NUMEROS PRIMOS
Dado un nmero entero p > 1, diremos que p es un nmero primo si 1 y p son
los nicos divisores positivos de p. Un entero a > 1 que no es primo le
denominaremos nmero compuesto. Dos nmeros, a y b, son primos entre s,
si se tiene que m.c.d. (a, b) = 1.

Lema de Euclides
Sean a, b y c nmeros enteros. Supongamos que a y c son primos entre s y
que c | a . b. Entonces c | b.

Teorema Fundamental de la Aritmtica

Sea n un nmero mayor que 1. Entonces existen nmeros primos p1, ... ,
pr tales que:

n = p1 . p2 . ... . pr

donde p1 <= p2 <= ... <= pr.

Teoremas
Sea p un entero mayor que 1 y primo. Para cualquier a y b enteros, si p | a . b
entonces p | a o p | b.
El nmero de primos es infinito.
Si pn es el n-simo nmero primo entonces pn <= 22^n-1.
Sea a un entero mayor que 1, entonces si para todo nmero primo p menor o
igual que la raz de a, p no divide al nmero a, se verifica que a es primo.

Mnimo comn mltiplo

Sean a y b dos nmeros enteros. Llamaremos mnimo comn mltiplo de a y b
al menor entero positivo que sea mltiplo de ambos. Lo designaremos por
m.c.m.(a, b). Sean a y b enteros no nulos, entonces:

|a . b| = [ m.c.d.(a, b) ] . [ m.c.m.(a, b) ]

Calcular los valores de dos incgnitas para que se cumpla d = a . x + b . y

Comprobar que un nmero es primo utilizando la criba de Eratstenes

3. EL PRINCIPIO DE INDUCCION
En las Matemticas aparecen muchos problemas que tienen la siguiente forma
general:

Sea P(n) una determinada propiedad acerca de un nmero natural n.

Se trata de probar que P(n) es verdadero para todo n que sea natural.

a) Teorema del Principio de Induccin

Sea S un conjunto de nmeros naturales que satisface las dos condiciones

siguientes:
El nmero 1 pertenece a S.
Para cada nmero k >= 1, si k pertenece a S entonces k + 1 tambin pertenece
a S.

Entonces el conjunto S es igual a N. Pasos a seguir:

Definir el conjunto S = { n pertenecientes a N tales que P(n) es verdadera }.

Probar que 1 pertenece a S.
Suponer que k pertenece a S para k >= 1 arbitrario.
Demostrar entonces que k + 1 pertenece a S.

Principio Fuerte de Induccin

Sea S un conjunto de enteros positivos tales que:

1 pertenece a S.
Para cada entero n > 1, si k pertenece a S para todo entero k tal que 1 <= k < n
entonces n pertenece a S.

Entonces S = N.
Demostrar una propiedad por el Principio de Induccin

ECUACIONES DIOFANTICAS
Ecuaciones lineales de dos variables enteras

Sean a, b y n nmeros enteros. La ecuacin lineal a . x + b . y = n tiene

solucin entera x0 e y0 si y slo si d = m.c.d.(a, b) divide a n. Dada la ecuacin
a . x + b . y = n se calcula el m.c.d.(a, b) llegando a escribir d = a . q1 + b . q2 (a

= b . q1 + r1 y b = r1 . q2 + r2), siendo una solucin x0 = n . q1 / d e y0 = n .

q2 / d. Supongamos que a, b y n son enteros no nulos y d = m.c.d.(a, b) divide
a n. Entonces la solucin general de la ecuacin a . x + b . y = n tiene la forma:
{ x0 + t . b / d , y0 - t . a / d } donde t es cualquier entero.

Ecuaciones cuadrticas
La ecuacin diofntica x2 - y2 = n con n > 0, tiene solucin si y slo si n se
puede factorizar como producto de dos nmeros de la misma paridad, es decir,
ambos pares o ambos impares. Si existen, las soluciones de esta ecuacin
tienen la forma:

x=a+b/2
y=a-b/2

donde x + y = a y x - y = b.

Algoritmo de factorizacin de Fermat s

Determinar el mnimo entero positivo q que satisfaga que q2 >= n.
Estudiar si alguno de los nmeros q2 - n, (q + 1)2 - n, (q + 2)2 - n, ... es un
cuadrado.
Si para alguno de estos nmeros m, m2 - n es un cuadrado, entonces n ser
primo.

Ecuaciones pitagricas
Las soluciones de la ecuacin pitagrica x2 + y2 = z2 que satisfacen las
condiciones m.c.d.(x, y, z) = 1, 2 | x y x, y, z > 0, vienen dadas por las frmulas
x = 2 . s . t, y = s2 - t2, z = s2 + t2, para naturales s, t con s > t tales que m.c.d.
(s, t) = 1 y s y t tienen distinta paridad.

[ Hallar todas las soluciones de ecuaciones diofnticas a . x + b . y = n ]

[ Estudiar si un nmero es primo mediante el Algoritmo de factorizacin de

Fermat ]
[ Hallar todas las soluciones de ecuaciones de la forma x2 - y2 = n ]

4. CONGRUENCIAS

Sea m > 0. Dados a y b enteros se dice que a y b son congruentes mdulo m si

a - b es divisible por m. Simblicamente esta relacin se escribe:

a = b md (m)

si y slo si m | (a - b). Fijado m > 0, cada nmero entero a es congruente con

uno de los enteros 0, 1, 2, ... , m - 1. Entonces a = r md (m), el nmero r se
denomina menor resduo no negativo de a mdulo m, que no es otra cosa que
a MOD m = r.

Teoremas

Sean a, b, c, d, h y m enteros con h # 0 y m > 0 entonces:

a = b md (m) si y slo si al dividir a y b por m el resto obtenido es el mismo

a = a md (m)
Si a = b md (m) entonces b = a md (m)
Si a = b md (m) y b = c md (m) entonces a = c md (m)
Si a = b md (m) y c = d md (m) entonces a + c = b + d md (m) y a . c = b . d
md (m)
Si a = b md (m) entonces h . a = h . b md (m)
Si h | a, h | b, m.c.d.(h, m) = 1 y a = b md (m) entonces a / h = b / h md (m)

Ecuacin de la forma ax = b md (m)

La ecuacin ax = b md (m) tiene solucin si y slo si d divide a b donde d es el

m.c.d.(a, m). Adems el nmero de soluciones no congruentes mdulo m es
exactamente d.

Teorema chino del resto

El sistema de congruencias aix = bi md (mi), i = 1, 2, ..., k donde m.c.d.(mi, mj)

= 1 si i # j y m.c.d.(ai, mi) = 1 para 1 <= i <= k, tiene una nica solucin
x0 mdulo m1m2...mk y las dems soluciones son de la forma x = x0 +
zm1m2...mk, donde z es un entero.

Pequeo Teorema de Fermat

Si p es un nmero primo que no divide al nmero a entonces ap-1 = 1 md (p).

Teorema de Wilson

Si p es un nmero primo entonces (p - 1)! = -1 md (p).

[ Resolver una congruencia del tipo ax = b md (m) ]

[ Resolver un sistema de congruencias y presentar la ecuacin general ]
[ Hallar el resto de dividir una potencia entre un nmero por el pequeo
Teorema de Fermat ]

SISTEMAS DE NUMERACION

En la vida diaria el sistema de numeracin empleado para escribir nmeros

naturales es el decimal. Las unidades se agrupan de 10 en 10 para unidades
de segundo orden, que se llaman decenas. Estas, a su vez, se agrupan de 10
en 10 para formar unidades de tercer orden o centenas y as sucesivamente.

Sea b >= 2 un nmero natural (llamado base). Entonces todo nmero natural n
puede escribirse de manera nica en base b de la forma:

n = ak . bk + ak-1 . bk-1 + ... + a1 . b + a0

De ahora en adelante cuando tengamos un nmero en base b, escribimos

simplemente:

n = ( ak ak-1 ... a1 a0 )b

Cuando la base es mayor que 10, se necesitan nuevos smbolos. Usualmente

se utilizan las letras del alfabeto. As A = 10, B = 11, etc.

Criterio de divisibilidad por k:

Un nmero n es divisible por k si y slo si:
i [ 0 ... t ] en ai . ri = 0 md (k)
siendo t el ltimo dgito del nmero n.
Resolver una ecuacin mediante cambio de base y efectuar una suma

PROBLEMAS
Clculo del mximo comn divisor de dos nmeros mediante el Algoritmo de
Euclides de la divisin

Se procede con la divisin de tal forma que cumpla a = b . q + r donde q = a

DIV b y r = a MOD b. A continuacin, si el resto es distinto de cero, se toma en
la siguiente divisin: a = b y b = r, es decir, el divisor y el resto de la divisin
anterior. Cuando se llegue a una expresin con el resto igual a cero, el trmino
b ser el mximo comn divisor.

m.c.d.(1312, 800) = d
1312 = 800 . 1 + 512

800 = 512 . 1 + 288

512 = 288 . 1 + 224
288 = 224 . 1 + 64
224 = 64 . 3 + 32
64 = 32 . 2 + 0
d = 32

Calcular los valores de dos incgnitas para que se cumpla la expresin

d = ax + by

Se calcula el mximo comn divisor de los coeficientes por el Algoritmo de

Euclides de la divisin y se sitan los restos desde el ltimo hasta el primero
que sean distintos de cero:

r=a-b.q

Se comienza desde la primera expresin y se sustituye b por su equivalente en

la ecuacin siguiente. A continuacin pasamos a la siguiente ecuacin y
sustituimos a, y as sucesivamente. Cuando se llegue al final debe quedar:

d = m.c.d.(a, b) = ax + by

d = 322x + 406y
m.c.d.(322, 406)
322 = 406 . 0 + 322
406 = 322 . 1 + 84
322 = 84 . 3 + 70
84 = 70 . 1 + 14
70 = 14 . 5 + 0
1 Resto: 14 = 84 - 1 . 70
2 Resto: 70 = 322 - 3 . 84
3 Resto: 84 = 406 - 1 . 322

4 Resto: 322 = 322 - 0 . 406

Se toma el 1 Resto: 14 = 84 - 1 . 70
Se sustituye 70: 14 = 84 - 1 . (322 - 3 . 84) = -322 + 4 . 84
Se sustituye 84: 14 = -322 + 4 . (406 - 1 . 322) = -5 . 322 + 406 . 4
Se sustituye 322: 14 = -5 . (322 - 0 . 406) + 4 . 406 = -5 . 322 + 4 . 406
x = -5 | y = 4

Comprobar que un nmero es primo utilizando la criba de Eratstenes

La criba de Eratstenes dice que un nmero es primo si no es divisible por otro

primo menor que la raz cuadrada entera del primero. Primero se desarrolla la
criba y a continuacin se divide el nmero por cada uno de los primos
contenidos en la criba.

n = 811
p < Raz( 811 ) = 29
Criba: 2, 3, 5, 7, 11, 13, 17, 19, 23 = i
Divisin: 29 MOD i # 0
811 s es primo

Demostrar una propiedad por el Principio de Induccin

Sea S el conjunto de los valores. Segn dicho principio, la propiedad se debe

cumplir para el elemento 1 y para cualquier elemento k + 1 dado un k. Se
presentan dos expresiones separadas con el signo igual, donde se les aade
un trmino k + 1 a ambas y se resuelve por la segunda expresin.

Para todo n natural, 12 + 22 + ... + n2 = n . (n + 1) . (2n + 1) / 6

Primera propiedad: P(1) pertenece a S
12 = 1 . (1 + 1) . (2 . 1 + 1) / 6 = 1 . 2 . 3 / 6 = 6 / 6 = 1
Segunda propiedad: P(k) y P(k + 1) pertenecen a S
12 + 22 + ... + k2 + (k + 1)2 = k . (k + 1) . (2k + 1) / 6 + (k + 1)2 =
= k . (k + 1) . (2k + 1) + 6 . (k + 1)2 / 6 = (k + 1) . (2k2 + k + 6k + 6) / 6 =

= (k + 1) . (k + 2) . (2k + 3) / 6
Por lo tanto, se cumple la propiedad para todo natural

Hallar todas las soluciones de ecuaciones difunticas del tipo ax + by = n

Primero se calcula el mximo comn divisor de a y b, al que se le llamar d.

Despus se comprueba que d divide a n, para saber si la ecuacin tiene
solucin. Si es as, existen a' y b' tales que: d = a' . a + b' . b
A continuacin se averiguan a' y b' tomando la primera ecuacin de los restos
obtenidos del mximo comn divisor de a y b, y sustituyendo los b y los a: r = a
-b.q
Una solucin de la ecuacin sera: x0 = n . a' / d , y0 = n . b' / d
Y la solucin general del sistema sera: { x0 + b . t / d , y0 - a . t / d } para todo t
que sea entero.

28x + 36y = 44
28 = 36 . 0 + 28 => 3 Resto: 28 = 28 - 0 . 36
36 = 28 . 1 + 8 => 2 Resto: 8 = 36 - 1 . 28
28 = 8 . 3 + 4 => 1 Resto: 4 = 28 - 3 . 8
8 = 4 . 2 + 0 => Ultima divisin
m.c.d.(28, 36) = 4
Como 4 divide a 44 (44 / 4 = 11), la ecuacin tiene solucin 28a' + 36b' = 4
Se toma el 1 Resto: 4 = 28 - 3 . 8
Se sustituye 8: 4 = 28 - 3 . (36 - 1 . 28) = 4 . 28 + (-3) . 36
Se sustituye 28: 4 = 4 . (28 - 0 . 36) + (-3) . 36 = 4 . 28 + (-3) . 36
a' = 4 | b' = -3
Una solucin sera: x0 = 44 . 4 / 4 = 44 , y0 = 44 . (-3) / 4 = -33
Y la solucin general: { 44 + 36t / 4 , -33 - 28t / 4 } = { 44 + 9t , -33 - 7t }

Estudiar si un nmero es compuesto mediante el Algoritmo de factorizacin de

Fermat

Un nmero es compuesto si es producto de dos nmeros impares. Primero se

hace la raz cuadrada entera y se toma el valor entero mayor q y un intervalo:

[ q2 ... n + 1 / 2 )

Despus se van haciendo operaciones q2 - n y se va incrementando q hasta

obtener un nmero cuadrado. Entonces se sustituyen el q resultante y el
nmero cuadrado en x2 e y2: x2 = q | y2 = nmero cuadrado | n = x2 - y2
Y a continuacin, se despejan a y b: a = x + y | b = x - y | n = a . b

n = 22733
q >= Raz( 22733 ) = 151
El intervalo ser: [ 1512 ... 22733 + 1 / 2 ) = [ 1512 ... 11367 ) = 151 <= q <
11367
1512 - 22733 = 22801 - 22733 = 68 no es cuadrado
1522 - 22733 = 23104 - 22733 = 371 no es cuadrado
1532 - 22733 = 23409 - 22733 = 676 = 262 s es cuadrado
x = 153 | y = 26
a = 153 + 26 = 179
b = 153 - 26 = 127
22733 = 179 . 127 s es compuesto

Hallar todas las soluciones de ecuaciones de la forma x2 - y2 = n

La ecuacin tiene solucin si n se puede factorizar como producto de dos

nmeros de la misma paridad. Las soluciones tendrn la forma: x = a + b / 2 , y
= a - b / 2 donde n = a . b , a = x + y y b = x - y. Primero se averiguan todos los
factores primos y se divide el nmero entre cada uno de ellos. Se toman
aquellas parejas con la misma paridad. Se aplican las frmulas anteriores y se
obtienen todas las soluciones, para a >= b.

x2 - y2 = 120
120 = 2 . 2 . 2 . 3 . 5 = 23 . 3 . 5
120 = 60 . 2 = 30 . 4 = 20 . 6 = 12 . 10 = 10 . 12 = 6 . 20 = 4 . 30 = 2 . 60

Se toman todas las parejas en las que a >= b

a

x=a+b/2

y=a-b/2

60

31

29

30

17

13

20

13

12

10

11

Las soluciones sern: { 31, 29 } , { 17, 13 } , { 13, 7 } y { 11, 1 }

Resolver una congruencia del tipo ax = b md (m)

Una congruencia ax = b md (m) es equivalente a una ecuacin diofntica ax +

mk = b. Se calcula el mximo comn divisor de a y m, se le llama d y se
comprueba que d divida a b. Por el Algoritmo de Euclides de la divisin se halla
a' en: a' = b - m / a y se sustituye en: x0 = n . a' / d , x = x0 - a . t / d. Si x0 es
negativo se halla una solucin t hasta que x sea positivo.

2x = 6 md (10)
Ecuacin diofntica: 2x + 10k = 6
m.c.d.(2, 10) = 2
Se comprueba que 2 divide a 6
a' = 6 - 10 / 2 = -4
x0 = 6 . (-4) / 2 = -12
x = -12 - 10t / 2 = -12 - 5t
Una solucin positiva es t = -3: x = -12 - 5 . (-3) = -12 + 15 = 3
La solucin general es: x = 3 + 5k

Resolver un sistema de congruencias y presentar la ecuacin general

Se comprueba que los mdulos sean primos, es decir, que el mximo comn
divisor entre ellos sea uno. Si se cumple, la ecuacin tendr la forma: ax =
bi md (mi) donde las soluciones xi sern igual a bi. Se hace el producto de los

mdulos y se divide entre cada uno de ellos: mi = m , donde ti = m / mi.

Tendremos un nuevo sistema de ecuaciones con la forma general: tiyi = 1 md
(mi). Se averiguan las respectivas yi y se procede a averiguar el valor buscado:
x0 = suma de i [ 1 ... n ] de xi . ti . yi .La ecuacin general ser: x = x0 + mk.

x = 2 md (5)
2x = 1 md (7)
3x = 4 md (11)
m.c.d.(5, 7) = 1 || m.c.d.(7, 11) = 1 || m.c.d.(5, 11) = 1
x1 = 2 || x2 = 1 || x3 = 4 || m = 5 . 7 . 11 = 385

77y1 = 1 md (5)

55y2 = 1 md (7)

35y3 = 1 md (11)

-75y1 = 0 md (5)

-49y2 = 0 md (7)

-33y3 = 0 md (11)

2y1 = 1 md (5)

6y2 = 1 md (7)

2y3 = 1 md (11)

y1 = 3 || y2 = 6 || y3 = 6
El valor buscado es: x0 = 2 . 77 . 3 + 1 . 55 . 6 + 4 . 35 . 6 = 462 + 330 + 840 =
1632
La ecuacin general ser: x = 1632 + 385k

Hallar el resto de dividir una potencia entre un nmero por el pequeo

Teorema de Fermat

Se trata de hallar x en la siguiente expresin: an = x md (p). Se comprueba

que p sea primo y que no divida a la base de la potencia. Si se cumple, se
aplica el teorema: ap-1 = 1 md (p). Se desglosa el exponente de la potencia
como una divisin entre p - 1 y se toma el resto como r1. Quedara: n = (p - 1) .
q + r1 || an = a(p-1).q . ar1 .Se halla el resto de la base sin exponente y se
aplica en la siguiente frmula a r2: a = y md (p) || ap-1 = yp-1 md (p) =
r2 md (p). Por ltimo, sabiendo que x = r1 + r2, se aplica: an = x md (p).

x = 11334291 MOD 7
11334291 = x md (7)

Se comprueba que 7 es primo y no divide a 113

Como (p - 1) = 6: 34291 = 6 . 5715 + 1
11334291 = 1136.5715 + 113
113 = 1 md (7) || 1136 = 16 md (7) = 1 md (7)
11334291 = (1 + 1) md (7) = 2 md (7)
x=2

Resolver una ecuacin mediante un cambio de base y efectuar la suma con

otro nmero de la misma base

Comprobar si la incgnita est en el nmero o en la base. Si est en el nmero,

se convierte el nmero contrario en decimal y se efecta la divisin entre la
base que s se conoce. Si est en la base, se convierte el nmero contrario en
decimal y se desglosa el nmero contrario en una ecuacin de grado igual al
nmero de dgitos menos uno. Se resuelve la ecuacin y se toma el valor
positivo. En general, para sumar dos nmeros de la misma base, primero se
convierten a decimal, se suman y se vuelven a dividir por la base anterior.

1245 = x9 || 132x = 3305 || 1245 + 3305

1245 = 4 . 50 + 2 . 51 + 1 . 52 = 4 + 10 + 25 = 3910
39 = 9 . 4 + 3 || 4 = 9 . 0 + 4 || 4 . 91 + 3 . 90 = 439 || x = 43
3305 = 0 . 50 + 3 . 51 + 3 . 52 = 0 + 15 + 75 = 9010
132x = 9010 || x2 + 3x + 2 = 90 || x = 8 , x = -11 || 1328 = 3305 || x = 8
1245 = 3910 || 3305 = 9010 || 39 + 90 = 12910
129 = 5 . 25 + 4 || 25 = 5 . 5 + 0 || 5 = 5 . 1 + 0 || 1 = 5 . 0 + 1
1 . 53 + 0 . 52 + 0 . 51 + 4 . 50 = 10045 || 12910 = 10045