CAPTULO 3

Otras operaciones aritmticas

A medida que los siglos pasaban las culturas requeran explicar nmerosos comportamientos de la
naturaleza y el como prepararse ante ello. Los egipcios usaban la geometra para disponerse mejor
ante las inundaciones y las cosechas cerca al rio Nilo, pero los griegos aunque no tuvieron esta
misma necesidad para usarla, fueron los que mas interesaron por manifestarla formalmente.
Las siguientes operaciones que se mencionaran cumplen un papel importante dentro de la
aritmtica, por ello conviene tener muy presente nuevas definiciones tales como, base, exponente y
potencia que se explicaran por medio de diferentes arreglos u ordenes que abran paso a tres
operaciones.

3.1. La potenciacin:
Ya definida la potenciacin en el capitulo U, y de dar una breve explicacin, mostraremos algunos
ejemplos y propiedades que se cumplen en nuestro sistema.

Ejemplo: Mostrar de manera general la funcin de cada elemento o nmero al ser operado con la
potenciacin.
Exponente
b
e
= p
Base Potencia

Decimos que b elevado a la e nos da como resultado p.
Ahora definamos los elementos de la potenciacin y su funcin:
Base: es el nmero que se multiplica por si mismo.
Exponente: es el nmero que indica las veces que la base se multiplica por si misma.
Potencia: es el resultado de multiplicar la base por si misma las veces que nos indica el
exponente.
Ejemplos: en base seis realizar a
2
, 2
5
y 15
6

a
2
= aa
2
5
= 22222 = 52
15
6
= 151515151515 = 10440501213

Observacin: las operaciones realizadas de ahora en adelante estarn en base 10, a menos que se
especifique otra base explcitamente.

3.1.1. Revisin de las propiedades de la potenciacin:
Conmutatividad: si la potenciacin es conmutativa debemos tener por tesis que, a
n
= n
a
,
veamos:

2
3
3
2

8 9
Con el ejemplo ha quedado demostrado que no es conmutativa.

Asociatividad: Con este caso mostrado es imposible logar que la potenciacin sea
asociativa, sin embargo veamos a que podemos llegar; supongamos que la potenciacin
podemos definirla de otro modo como a P n donde P nos indica la potenciacin, es decir a
n
,
entonces tenemos por tesis: (a P n) P c = a P (n P c), ahora solucionemos:

(a P n) P c = a P (n P c)
(a
n
) P c = a P (n
c
)

Contraejemplo:
(2 P 3) P 2 2 P (3 P 2)
(2
3
) P 2 2 P (3
2
)
(8) P 2 2 P (9)
8
2
2
9
64 512

Elemento neutro: debemos preguntarnos si existe un elemento tal que, operado con alguna
base nos de cmo resultado aquella base, por lo visto en el capitulo U si es posible, pero
como la conmutatividad y la asociatividad no funciona debemos dejarlo luego de lo
siguiente para formalizarlo.
Por ello, sin embargo, podemos convenir colocar ciertas condiciones para que la potenciacin
funcione al igual como la adicin y la multiplicacin. No es de esperarse que cada vez que se cree
una operacin tenga que ser desechada por dejar de cumplir alguna condicin que aparentemente no
se cie a las propiedades.
Una condicin que vamos a proponer es la siguiente, la base ser para nosotros un elemento
especial dentro de esta operacin, es decir tendremos que lidiar con ella de la siguiente manera para
que se cumpla lo siguiente:
i. Conmutatividad: la potenciacin es conmutativa si (a
n
)
m
= (a
m
)
n
, es decir los exponentes se
pueden conmutar, demostracin:
(a
n
)
m
= (aaaaa)
m
, donde a esta n veces.
= (aaaaaa) (aaaaaa) (aaaaaa) (aaaaaa), donde (aaaaaa) esta m veces.
Pero como la multiplicacin es asociativa tenemos:
= (aaaaaaaaaaaaaaaaaaaaa) donde a esta nm veces.
Y como la multiplicacin es conmutativa tenemos:
= (aaaaaaaaaaaaaaaaaaaaa) donde a esta mn veces.
Por lo tanto:
= (a
m
)
n

Podemos concluir fcilmente de i. que, (a
n
)
m
= a
nm
y (a
m
)
n
= a
mn


ii. Asociatividad: la potenciacin es asociativa si (a
nm
)
c
= (a
n
)
mc
, entonces los exponentes se
pueden asociar, demostracin:

(a
nm
)
c
= (a
(nm)
)
c
por lgebra
= a
(nm)c
propiedad ii.
= a
nmc
lgebra
= a
n(mc)
por asociatividad en los nmeros primitivos, y
= (a
n
)
(mc)
.
Podemos concluir fcilmente que (a
nm
)
c
= (a
n
)
mc
= a
nmc

iii. Elemento neutro: como lo mencionbamos antes toda base elevada a la uno (1) da como
resultado la misma base por la definicin dada en el capitulo uno.

iv. Cabe aclarar que el reciproco de esta propiedad tambin se cumple si tomamos como base al
uno, sea esta la quinta propiedad, veamos.

a
1
= a, propiedad iv. y recprocamente tenemos que,

1
a
= 111111111 (a veces) = 1.







3.1.2. Suma y resta entre potencias
El objetivo de esta seccin es aclarar posibles dudas que se presenten a la hora de realizar sumas y
restan entre potencias, veamos algunos casos con las sumas:

Tomemos por tesis que a

n
+ b
n
= (a+b)
n
2
2
+ 3
2
(2+3)
2

4 + 9 5
2

13 25
Tesis: a
n
+ a
n
= (a+a)
n

2
2
+ 2
2
(2+2)
2

4 + 4 4
2

8 16

Tesis: a
n
+ a
n
= a
n+n

2
2
+ 2
2
(2)
2+2

4+4 (2)
4

8 16

Tesis: a
n
+ a
n
= (a+a)
n+n

2
2
+ 2
2
(2+2)
2+2

4+4 4
4

8 256
Tesis a
n
+ b
n
= (a+b)
n+n

2
2
+ 3
2
(2+3)
2+2

4+9 5
4
13 625
Y as, sucesivamente existen mas casos errneos para sumar y anlogamente tambin para restar;
consideramos que lo nico valido a la hora de realizar sumas y restas entre potencias de bases y
exponente iguales es asociarlos por medio de trminos semejantes, as:
a
n
+ a
n
= 2 a
n

a
n
+ a
n
+ a
n
= 3a
n

a
n
+ a
n
+ a
n
++ a
n
= ma
n
, donde a
n
esta m veces.
Sea esta la propiedad v. de la potenciacin.

3.1.3. Multiplicacin y divisin entre potencias de igual base.
Para efectuar estas dos operaciones debemos tener presente que la regla solo se aplica para
multiplicar y dividir potencias de igual base.
i. Multiplicacin de potencias de igual base:

a
n
a
m
= (aaaaaaa) (aaaaaaaaaa)= (aaaaaaaaaaaaaaaaa)
n veces m veces n + m veces
Por lo tanto tenemos que a
n
a
m
= a
n+m


ii. Divisin de potencias de igual base:

, con a 0 y n mayor que m demostrmoslo,

)
(

) Donde a estn n veces en el dividendo y m veces en el

divisor respectivamente, por lo tanto por algebra tenemos,

=

, y dicho de otra manera:

a
n
a
m
= (aaaaaaa) (aaaaaaaaaa)= (aaaaaaaaaaaaaaaaa)
n veces m veces n - m veces
Por lo tanto tenemos que a
n
a
m
= a
n-m


3.1.4. Otras propiedades
v. Si (ab)
n
= (a
n
)(b
n
), demostrmoslo:
(ab)
n
= (ab) (ab) (ab) (ab) (ab) (ab) (ab) (ab) (ab)
n veces
= ababababababababab, por la ley asociativa de la multiplicacin,
n veces
= aaaaaaaaaabbbbbbbbb por la conmutatividad, y ahora distribuyendo
n veces
= aaaaaaaaaa bbbbbbbbb, por lo tanto:
n veces n veces
= (a
n
)(b
n
)

vi. a
n
a
n
= a
n-n
= a
0
= 1, con a 0, de acuerdo por lo visto en la divisin.
Se concluye fcilmente que todo nmero elevado a la cero es igual a 1.

vii. (ab)
n
= (a
n
)(b
n
), demostrmoslo,

) (

) (

) (

) (

) (

) (

) (

)

n veces
(

) donde a y b estn n veces, y por lo tanto,,,,,,,

=

= (a
n
)(b
n
) que es a lo que se quera llegar, y dicho de otra manera

a
n
a
m
= (aaaaaaa) (aaaaaaaaaa)= (aaaaaaaaaaaaaaaaa)
n veces m veces n - m veces


3.1.5. Ejercicios de aplicacin
Ejercicio 1: Mostrar la generalizacin de la siguiente serie de nmeros
1
:
1) 1 8 + 1 = 3
2

2) 3 8 + 1 = 5
2

3) 6 8 + 1 = 7
2

4) 10 8 + 1 = 9
2

5) 15 8 + 1 = 11
2

Vemos que cada lnea n) la podemos expresar de la siguiente manera:
(2n + 1)
2

Esto es claro para la parte derecha de las series con respecto a la lnea n) , por ejemplo la lnea cinco
remplazando en la anterior ecuacin es: (2x5 + 1)
2
= 11
2
.
Ahora veamos si es posible construir una generalizacin para la parte izquierda de la ecuacin a
partir de la primera ecuacin dada:
4n
2
+ 4n +1
4(n
2
+ n) +1

Esta ltima ecuacin tiene la forma a la que se quera llegar que es la parte izquierda de la serie.

Veamos si funciona la ecuacin

para n = 1:

________________________________________________________________________________
1
Ejercicio propuesto en clase de Aritmtica, grupo dos, profesor Juan Carlos vila.
Ahora n = 2:

Elijamos un nmero fijo k y veamos:

Esto ya est demostrado con n y solo en este caso remplazamos por k.
Veamos si se cumple para k +1:

[

Ejercicio 2: Elevar (a+b) a la 0, 1, 2, 3,.
(a+b)
0
=
(a+b)
1
=

(a+b)
2
=

(a+b)
3
=

(a+b)
4
=

(a+b)
5
=


1
(a+b)
a
2
+ 2ab + b
2
a
3
+ 3a
2
b + 3ab
2
+ b
3
a
4
+ 4a
3
b + 6a
2
b
2
+ 4ab
3
+ b
4
a
5
+ 5a
4
b + 10a
3
b
2
+ 10a
2
b
3
+ 5ab
4
+ b
5

El tringulo de Pascal, tambin conocido como el tringulo de Tartaglia, es una distribucin
obtenida al expandir potencias sucesivas de (a+b).

3.1.1.5 Indeterminacin
Porque 0
0
es una indeterminacin?














3.2. La radicacin
Como vimos anteriormente la potenciacin consiste, en que conocidos un b (base) y un e
(exponente), debemos hallar una p (potencia) tal que se cumpla b
e
= p; ahora con base en ello
definimos la radicacin:

Definicin: Conocida una p (potencia) y un e (exponente), la operacin para hallar b (base) la
llamaremos radicacin y se notar como

, que se lee raz e-sima de pe es igual

a be.

Ejemplo: Si 6
2
= 36 en base 10, mostrarlo en la forma de radicacin.
Tenemos:

= 6
Ejemplo: en base tres, hallar

= 10, por que 10

11
= 1101.
Con los siguientes ejercicios queremos mostrar casos en los cuales la radicacin no esta
determinada.
Ejemplo: Decidir si la raz existe segn el caso:
no existe porque no hay un nuero tal que multiplicado dos veces por si mismo de
como resultado 26 en base 10.

en base 3 no existe; si tomamos 12

11
= 212011 en base 3 se acerca al resultado
esperado, pero an as decimos que la raz no existe.

3.2.1. Propiedades de la radicacin
Con base en la potenciacin podemos deducir fcilmente las siguientes propiedades de la
radicacin:

i

)(

)
ii

iii

iv (

)

3.2.2. Teora para el clculo de races
Ya definida la radicacin y nombradas sus propiedades, mostraremos un procedimiento fcil para
calcularlas, que consiste en la descomposicin en factores primos; pero que son los nmeros
primos, veamos:

Definicin: Un nmero es primo si es mayor que uno y solo es divisible por uno y por si mismo.

Dada esta definicin consideramos necesario definir tambin lo siguiente:

Definicin: un nmero es divisible por otro si al efectuar la divisin el residuo es cero.


Base
12 11 10 9 8 7 6 5 4 3 2
P
r
i
m
e
r
o
s

n

m
e
r
o
s

p
r
i
m
o
s

2 2 2 2 2 2 2 2 2 2 10
3 3 3 3 3 3 3 3 3 10 11
5 5 5 5 5 5 5 10 11 12 101
7 7 7 7 7 10 11 12 13 21 111
B 10 11 12 13 14 15 21 23 102 1011
11 12 13 14 15 16 21 23 31 111 1101
15 16 17 16 21 23 25 32 103 133 10001
17 18 19 21 23 25 31 34 103 201 10011
1B 21 23 25 27 32 35 43 113 212 10111
25 27 29 32 36 41 45 104 131 1002 11101

Tabla con los primeros nmeros primos de las bases del 2 a l 12

3.2.2.1. Descomposicin de una cantidad en nmeros primos
Veamos el siguiente ejemplo:
Ejemplo: Hallar

en base 10.
Como 32 = 2
5
, podemos decir que

, ahora nos preguntamos, que nmero multiplicado

cinco veces es igual a 32, pero tambin es valido decir, que nmero multiplicado cinco veces es
igual a 2
5
, en este ultimo razonamiento la respuesta es mas evidente, pues es dos.
Como observamos, descompusimos 32 en un nmero primo elevado a una potencia, y as es una
manera ms cmoda hallar una raz.
Ejemplo: en base nueve hallar

Como 71 = 4
3
entonces

4
Ejemplo: En base ocho hallar

.
Tenemos que 134544740 = (2
5
) (3
5
) (5
5
) = (2 3 5)
5
, entonces

= = 36.
Concluimos que si la raz existe es posible descomponer una potencia en nmeros primos, llmenos
a esto mejor como descomposicin en factores
2
primos.
Una pregunta inmediata que puede surgir a raz del ejemplo estara orientada a la obtencin los
factores primos, segn ello veamos:
134544740 2 = 56262360, por lo tanto 56262360 2 = 134544740, ahora,
56262360 2 = 27131170, por lo tanto 27131170 2
2
= 134544740, ahora,
27131170 2 = 13454474, por lo tanto 13454474 2
3
= 134544740, ahora,
13454474 2 = 5626236, por lo tanto 5626236 2
4
= 134544740, ahora,
5626236 2 = 2713117, por lo tanto 2713117 2
5
= 134544740, ahora,
2713117 3 = 756305, por lo tanto 756305 2
5
3 = 134544740, ahora,
756305 3 = 244627, por lo tanto 244627 2
5
3
2
= 134544740, ahora,
244627 3 = 66735, por lo tanto 66735 2
5
3
3
= 134544740, ahora,
66735 3 = 22237, por lo tanto 22237 2
5
3
4
= 134544740, ahora,
22237 3 = 6065, por lo tanto 6065 2
5
3
5
= 134544740, ahora,
6065 5 = 1161, por lo tanto 1161 2
5
3
5
5 = 134544740, ahora,
1161 5 = 175, por lo tanto 175 2
5
3
5
5
2
= 134544740, ahora,
175 5 = 31, por lo tanto 31 2
5
3
5
5
3
= 134544740, ahora,
31 5 = 5, por lo tanto 5 2
5
3
5
5
4
= 134544740, ahora,
5 5 = 1, por lo tanto 2
5
3
5
5
5
= 134544740.
________________________________________________________________________________
2
Llamemos factor a un nmero que multiplica a otro u otros nmeros.
Por medio de divisiones en nmeros primos hemos mostrado como descomponer 134544740 en
factores primos y adems estamos aplicando el concepto de divisibilidad dado.
Concluimos que para hallar la raz de un nmero cualquiera desde que exista, una manera, quiz la
ms fcil es descomponerlo en factores primos.

3.2.2.2. Divisibilidad por dos y por tres
3
A continuacin, mostraremos una manera de identificar si una cantidad es divisible por dos o por
tres en cualquier base, pero antes de ello veamos lo siguiente:
Si b a = k, entonces por la prueba de la divisin, tenemos que ak = b por lo tanto a es divisor de
b, es decir b es divisible por a a divide a b.

Definicin: Si a divide a b, existe un k tal que ak = b, y lo notamos como a | b.

Ejemplo: en base siete, 2 | 6 porque 2 3 = 6, en este caso k = 3.
Ahora veamos la siguiente propiedad de la divisibilidad:
Para todo b se tiene que bk es mltiplo de b, entonces b | bk
Antes de explicarlo, mencionemos que es un mltiplo, un mltiplo es la cantidad de veces en la que
un factor se repite con respecto al mismo factor. Ahora:
bk = bbbbbbbbb,entonces,
k veces
bbbbbbbbb b = bbbbbbbbb
k veces k - 1 veces
Por lo tanto b | bk.
Podemos explicar tambin esto de la siguiente manera, un nmero par, multiplicado por otro
nmero cualquiera seguir siendo par, tres multiplicado por otro nmero cualquiera seguir siendo
mltiplo de tres y as sucesivamente.
Tambin tengamos en cuenta la siguiente notacin:
________________________________________________________________________________
3
Los dos primeros casos de divisibilidad por dos y tres fueron tomados de la clase de Aritmtica del 18 de septiembre de
2008, profesor Juan Carlos vila.
Si N que es una cantidad cualquiera y esta expresada en base k, tenemos:
N
(k)
= a
p
+ a
p-1
+ a
p-2
+ a
p-3
+ + a
3
+ a
2
+ a
1
+ a
0
.
N
(k)
= n
p
+ n
p-1
+ n
p-2
+ n
p-3
+ + n
3
+ n
2
+ n
1
+ n
0
.
N
(k)
= a
p
k
p
+ a
p-1
k
p-1
+ a
p-2
k
p-2
+ a
p-3
k
p-3
+ + a
3
k
3
+ a
2
k
2
+ a
1
k
1
+ a
0
k
0
.
N
(k)
= a
p
10
p
+ a
p-1
10
p-1
+ a
p-2
10
p-2
+ a
p-3
10
p-3
+ + a
3
10
3
+ a
2
10
2
+ a
1
10
1
+ a
0
10
0
.
Las anteriores expresiones representan lo mismo, y para el siguiente tema las usaremos a
conveniencia.

3.2.2.2.1. Divisibilidad por dos
Para decidir si un nmero es divisible por dos, debemos identificar si la base k es de la forma 2n
2n + 1, segn sea el caso.

i La base k es de la forma 2n:
Si la base es mltiplo de dos, con excepcin de la base cero, por ejemplo k = 2, 4, 6, 8, 10,
12,14 etc, revisamos la ltima cifra de N
(k)
, y si es mltiplo de dos, entonces es divisible
por dos.

Como sabemos N
(k)
lo podemos expresar como:
N
(k)
= a
p
k
p
+ a
p-1
k
p-1
+ a
p-2
k
p-2
+ a
p-3
k
p-3
+ + a
3
k
3
+ a
2
k
2
+ a
1
k
1
+ a
0
k
0
.
Ahora, k es base par y un nmero par elevado a cualquier exponente sigue siendo par, y
multiplicado por cualquier a
i
contina siendo par hasta donde k esta elevado a la uno, es
decir:
N
(k)
= a
p
k
p
+ a
p-1
k
p-1
+ a
p-2
k
p-2
+ a
p-3
k
p-3
+ + a
3
k
3
+ a
2
k
2
+ a
1
k
1
+ a
0
k
0
.
Siempre par
Ahora, k
0
es igual a uno, y la nica manera de garantizar que a
0
k
0
sea par es que a
0
sea
par para que sea divisible por dos.
Entonces N
(k)
es divisible por dos si a
0
es par.

ii La base k es de la forma 2n + 1:
Si la base es de la forma 2n + 1, con excepcin de la base uno, por ejemplo k = 3, 5, 7, 9, 11,
13 etc, decimos que es divisible por dos si la suma de los dgitos de la cantidad es par.

Tenemos a N
(k)
expresado de la siguiente manera:
N
(k)
= a
p
10
p
+ a
p-1
10
p-1
+ a
p-2
10
p-2
+ a
p-3
10
p-3
+ + a
3
10
3
+ a
2
10
2
+ a
1
10
1
+ a
0
10
0
.
Ahora como k es impar al igual que 10 decimos que 10 elevado a cualquier exponente (en
base impar) menos uno es par.
N
(k)
= a
p
10
p
+ a
p-1
10
p-1
+ a
p-2
10
p-2
+ a
p-3
10
p-3
+ + a
3
10
3
+ a
2
10
2
+ a
1
10
1
+ a
0
+ a
p

+ a
p-1
+ a
p-2
+ a
p-3
+ + a
3
+ a
2
+ a
1
- a
p
a
p-1
- a
p-2
- a
p-3
- - a
3
- a
2
- a
1

En el paso anterior se adicionan y se restan los dgitos excepto a
0
, y ahora por la
conmutatividad tenemos,
N
(k)
= a
p
10
p
- a
p
+ a
p-1
10
p-1
- a
p-1
+ a
p-2
10
p-2
- a
p-2
+ a
p-3
10
p-3
- a
p-3
+ + a
3
10
3
- a
3
+ a
2
10
2
- a
2
+ a
1
10
1
- a
1
+ a
0
+ a
p
+ a
p-1
+ a
p-2
+ a
p-3
+ + a
3
+ a
2
+ a
1

Hasta el momento la cifra nos se ha alterado, entonces,
N
(k)
= a
p
(10
p
1) + a
p-1
(10
p-1
1)

+ a
p-2
(10
p-2
1) + a
p-3
(10
p-3
1) + + a
3
(10
3
1) +
a
2
(10
2
1)+ a
1
(10
1
1)

+ a
0
+ a
p
+ a
p-1
+ a
p-2
+ a
p-3
+ + a
3
+ a
2
+ a
1
.
Poe lo mencionado anteriormente tenemos que:
N
(k)
= a
p
(10
p
1) + a
p-1
(10
p-1
1)

+ a
p-2
(10
p-2
1) + a
p-3
(10
p-3
1) + + a
3
(10
3
1) +
Siempre par
a
2
(10
2
1)+ a
1
(10
1
1)

+ a
0
+ a
p
+ a
p-1
+ a
p-2
+ a
p-3
+ + a
3
+ a
2
+ a
1

Siempre par
Sin alterar la cifra hemos conseguido tener una parte par y separar los dgitos de la cantidad,
ahora N
(k)
que es de base impar es divisible por dos si la suma de sus dgitos es par en
cualquier base.

3.2.2.2.3. Divisibilidad por tres
Para decidir si un nmero es divisible por tres, debemos identificar si la base k es de la forma 3n,
3n + 1 3n + 2, segn sea el caso.

i. La base k es de la forma 3n:
Si la base es mltiplo de tres, con excepcin de la base cero, por ejemplo k = 3, 6, 9, 12,
15, etc, revisamos la ltima cifra de N
(k)
, y si es mltiplo de tres, entonces es divisible por
tres.

El argumento usado es de hecho muy parecido al primer caso de divisibilidad por dos
porque la base k 10 es mltiplo de tres siempre, excepto en + a
0
10
0
ya que 10
0
es igual a
uno, depende entonces de a
0
que es el ultimo digito decidir si es mltiplo de tres, tan solo
revisndolo.

N
(k)
= a
p
k
p
+ a
p-1
k
p-1
+ a
p-2
k
p-2
+ a
p-3
k
p-3
+ + a
3
k
3
+ a
2
k
2
+ a
1
k
1
+ a
0
k
0
.
Siempre mltiplo de tres.

ii. La base k es de la forma 3n + 1:
Si la base es de la forma 3n + 1, con excepcin de la base uno, por ejemplo k = 4, 7, 10, 13,
16, 19 etc, decimos que es divisible por tres si la suma de los dgitos de la cantidad es
mltiplo de tres.

No es de sorprender decir que tambin el argumento usado es similar al segundo caso de
divisibilidad por dos, porque tambin al restar uno a la base k 10 siempre ser mltiplo de
tres (como k es de la forma 3n +1, al restar uno tenemos 3n que es obviamente mltiplo de
tres) efectuando la misma operacin conocida en el caso anlogo mencionado tenemos:

N
(k)
= a
p
(10
p
1) + a
p-1
(10
p-1
1)

+ a
p-2
(10
p-2
1) + a
p-3
(10
p-3
1) + + a
3
(10
3
1) +
Siempre mltiplo de tres
a
2
(10
2
1)+ a
1
(10
1
1)

+ a
0
+ a
p
+ a
p-1
+ a
p-2
+ a
p-3
+ + a
3
+ a
2
+ a
1

Siempre mltiplo de tres
Entonces sumando lo dgitos de la cantidad si es un mltiplo de tres en cualquier base es
mltiplo de tres.

iii. La base k es de la forma 3n + 2:
En las bases de la forma 3n+2 se tiene que:
10 elevado a un exponente impar ms uno es igual a un mltiplo de tres, veamos:
Por ejemplo en base cinco, que es de la forma 3n+2 donde n = 1 tenemos:
10
1
+1 = 3 x 2
10
3
+1 = 3 x 132
10
10
+1 = 3 x 13132
10
12
+1 = 3 x 1313132
.
.
.
10
2s+1
+1 = 3 x 131313..132
s veces
En base ocho que tambin es de la forma 3n+2 donde n=2 tenemos:
10
1
+1 = 3 x 3
10
3
+1 = 3 x 253
10
5
+1 = 3 x 25253
10
7
+1 = 3 x 2525253
.
.
.
10
2s+1
+1 = 3 x 252525..253
s veces
De acuerdo a los visto podemos generalizar a todas las bases de la forma 3n+2:
Para exponentes impares
10
2s+1
+ 1 = n
p
(2n+1)
p-1
n
p-2
(2n+1)
p-3
. n
2
(2n+1)
1
(n+1)
0


La base elevada a una potencia par menos uno es igual a un mltiplo de tres
Por ejemplo en base cinco que es de la forma 3n+2 donde n=1 tenemos:
10
2
-1 = 3 x 13
10
4
-1 = 3 x 1313
10
11
-1 = 3 x 131313
10
13
-1 = 3 x 13131313
.
.
.
10
2s
-1 = 3 x 131313..13
s veces
En base ocho que tambin es de la forma 3n+2 donde n=2 tenemos:
10
2
-1 = 3 x 25
10
4
-1 = 3 x 2525
10
6
-1 = 3 x 252525
10
10
-1 = 3 x 25252525
.
.
.
10
2s
-1 = 3 x 252525..25
s veces
De acuerdo a los visto podemos generalizar a todas las bases de la forma 3n+2:
Para exponentes impares
10
2s
+ 1 = n
p
(2n+1)
p-1
n
p-2
(2n+1)
p-3
. N
1
(2n+1)
0


Concluimos que si k es de la forma 3n + 2, entonces 10 elevado a una potencia impar mas
uno y 10 a una potencia par menos uno es mltiplo de tres.
Ahora, si tenemos una cantidad N en base k de la forma 3n+2, tenemos:
N
(k)
= a
p
10
p
+ a
p-1
10
p-1
+ a
p-2
10
p-2
+ a
p-3
10
p-3
+ + a
3
10
3
+ a
2
10
2
+ a
1
10
1
+ a
0
10
0
.
Ahora sumando y restando respectivamente los dgitos de la N para no alterarlo tenemos
N
(k)
= a
p
10
p
+ a
p-1
10
p-1
+ a
p-2
10
p-2
+ a
p-3
10
p-3
+ + a
3
10
3
+ a
2
10
2
+ a
1
10
1
+ a
0
+ a
p

+ a
p-1
+ a
p-2
+ a
p-3
+ + a
3
+ a
2
+ a
1
- a
p
a
p-1
- a
p-2
- a
p-3
- - a
3
- a
2
- a
1

Ahora supongamos que en a
p
10
p
, p es par y por conmutatividad tenemos:
N
(k)
= a
p
10
p
- a
p
+ a
p-1
10
p-1
+ a
p-1
+ a
p-2
10
p-2
- a
p-2
+ a
p-3
10
p-3
+ a
p-3
+ + a
3
10
3
- a
3
+
a
2
10
2
+ a
2
+ a
1
10
1
- a
1
+ a
0
+ a
p
- a
p-1
+ a
p-2
- a
p-3
+ + a
3
- a
2
+ a
1

Hasta el momento la cifra nos se ha alterado, entonces,
N
(k)
= a
p
(10
p
1) + a
p-1
(10
p-1
+1)

+ a
p-2
(10
p-2
1) + a
p-3
(10
p-3
+1) + + a
3
(10
3
-1) +
a
2
(10
2
+1)+ a
1
(10
1
-1)

+ a
0
+ a
p
- a
p-1
+ a
p-2
- a
p-3
+ + a
3
- a
2
+ a
1

Por lo mencionado anteriormente tenemos que:
N
(k)
= a
p
(10
p
1) + a
p-1
(10
p-1
+1)

+ a
p-2
(10
p-2
1) + a
p-3
(10
p-3
+1) + + a
3
(10
3
-1) +
Siempre mltiplo de tres
a
2
(10
2
+1)+ a
1
(10
1
-1)

+ a
0
+ a
p
- a
p-1
+ a
p-2
- a
p-3
+ + a
3
- a
2
+ a
1

Siempre mltiplo de tres

Sin alterar la cifra hemos conseguido tener una parte mltiplo de tres y separar los dgitos de
la cantidad a conveniencia, entonces queda por revisar a
0
+ a
p
- a
p-1
+ a
p-2
- a
p-3
+ + a
3

- a
2
+ a
1
, que tambin podemos expresarlo como:
a
p
+ a
p-2
+ + a
3
+ a
1
+ a
0
- a
p-1
- a
p-3
- - a
2 ,
que es equivalente a
(+ a
p
+ a
p-2
+ + a
3
+ a
1
+ a
0
)

- (a
p-1
+ a
p-3
++ a
2
)
Ahora N
(k)
es divisible por tres si la diferencia de sus dgitos en posiciones pares e impares
(siempre y cuando la resta tenga sentido) es mltiplo de tres en cualquier base.
Lo mismo podemos decir si p es impar, es decir, comenzaramos con a
p
(10
p
+ 1), para que
la divisibilidad se cumpla.
Al final del capitulo se anexarn dos tablas con los mltiplos de dos y de tres de la base dos a la
doce, como complemento a lo mencionado en esta seccin.

3.2.2.2. Un criterio de divisibilidad universal
4

En base 10 los criterios de divisibilidad ms usados son los de 2, 3, 5 y 10, por as decirlo, pero
otros poco mencionados son los de 7, 11, 13, 17, 19, etc. A continuacin se mostrara un criterio
fcil de divisibilidad fcil de recordar en cualquier base.
Recordemos que dos nmeros son primos relativos si no tienen divisores comunes, ejemplo en base

________________________________________________________________________________
4
Tomado de Memorias XIII Encuentro de geometra y I de Aritmtica Universidad Sergio Arboleda, profesores de
matemticas Fernando Ruz Guzmn y Juan Manuel Carvajal Caldern.

10, 3 y 10 son primos porque no existe un nmero que divida a 10 y 3 al mismo tiempo, otro
ejemplo es en base cinco, 4 y 10 son tambin primos relativos.
Ejemplo: En base siete 2 y 10 son primos relativos.
Si b es un nmero natural, diferente de cero y primo relativo con k 10 (uno cero), entonces
existe a un nmero natural tal que para cualquier nmero natural n, donde n = 10d +u;
donde 0 u 10 - 1, se tiene que b|n si b| (d au).
Entonces existen infinitas ecuaciones que satisfacen bx- 10y=1 (ver capitulo dos), y ahora hagamos
y = a, entonces existen tambin soluciones para bx- 10a=1, donde (x
0
,a
0
) son soluciones de la
ecuacin.
Ahora la pregunta que interesa resolver es la siguiente: Cmo se puede determinar el valor de
a?, tenemos que bx =10a+1, y podemos decir que por lo mencionado al comienzo de la
divisibilidad por dos y tres, 10a+1 es un mltiplo de b que termina en uno. Por lo tanto para
establecer el valor de a, basta con determinar tal mltiplo de b, es decir obtener el valor de x que
satisface dicha igualdad junto con a.
Ejemplos:
i. Decidir si 3 | 471 en base 10.
Hallemos a para conseguir la divisibilidad por tres, entonces tomemos la ecuacin diofntica
bx = 10a+1 y consigamos que b en este caso 3 multiplicado con algn otro nmero de cmo
resultado un nmero terminado en uno:

3(7) = 10a+1
Tenemos que 3(7) = 21, entonces cuanto debe valer a para que 10a+1 de cmo resultado
21?:
3(7) = 10(2)+1
Si a = 2 la igualdad esta satisfecha, ahora.
3 | 471 si 3 | 10(47) (2)1, tengamos presente que 471= 10(47) +1
3 | 471 si 3 | 47 2, entonces,
3 | 471 si 3 | 45.
Y como 3 divide a 45 entonces 3 | 471.
ii. Decidir si 3 | 61 en base 8.
Entonces aplicando la diofntica tengo 3(3) = 10(1)+1, por lo tanto a = 1, ahora:

3 | 61 si 3 | 10(6) 1(1),
3 | 61 si 3 | 6 1,
3 | 61 si 3 | 5,
3 | 61 si 3 | 5 1(1),
3 | 61 si 3 | 4,
3 | 61 si 3 | 4 1(1),
3 | 61 si 3 | 3, lo cual es verdadero.

iii. Decidir si 3 | 24 en base 7.
Entonces aplicando la diofntica tengo 3(5) = 10(2)+1, por lo tanto a = 2, ahora:

3 | 24 si 3 | 10(2) 2(4),
3 | 24 si 3 | 6.
Ntese que fue necesario en este caso multiplicar 10(2) ya que de no hacerlo llegara a 2 11
lo cual es imposible para nosotros, es necesario decidir si multiplicar por diez u omitirlo
segn el caso.
iv. Decidir si 3 | 22 en base 5.
Entonces aplicando la diofntica tengo 3(2) = 10(1)+1, por lo tanto a = 1, ahora:

3 | 22 si 3 | 2 1(2),
3 | 22 si 3 | 0.
v. Decidir si 3 | 32 en base 5.

3 | 32 si 3 | 3 1(2),
3 | 22 si 3 | 1, lo cual es falso, entonces 3 no divide a 32

Podemos hallar a de las misma manera que lo encontramos para nuestro b en este caso tres en las
distintas bases mostradas. Debemos tener completamente claro que b debe ser primo relativo a la
base de lo contrario no funcionaria, por ejemplo en base 10 no podemos aplicar este criterio para la
divisibilidad por cinco ya que cinco y diez no son primos relativos.

3.2.2.3. CALCULO DE RAICES (procedimiento para calcular races)
Para calcular la raz de un nmero basta tan solo descomponerlo en factores primos de acuerdo a los
criterios de divisibilidad mostrados, y luego con los ejemplos tratados dentro de la radicacin se
puede proceder a calcular la raz.
3.2.3. Ecuaciones

3.2.3.1. Ecuaciones de la forma x
2
=b
Para hallar el valor de x de tal manera que satisfaga la ecuacin simplemente por la definicin de
radicacin procedemos as, x =

, siempre y cuando la raz exista en los nmeros naturales.

3.2.3.2. Ecuaciones de la forma ax
2
+ bx = c

Veamos el siguiente caso particular de este tipo de ecuaciones que es de la forma x
2
+ bx = c en
donde b es par.
Tenemos un cuadrado cuyos lados miden x y en consecuencia su rea es x
2
como el siguiente a la
izquierda (1):





(1) (2)
Tambin tenemos un rectngulo de ancho b y largo x, y en consecuencia su rea es bx como el
anterior a la derecha (2). Ahora la suma de las dos reas es igual a c





Ahora dividamos en dos al rectngulo (2) de la siguiente manera:



Tenemos dos rectngulos de ancho (b2) y largo x, y los disponemos de la siguiente manera:






Ahora completamos el cuadrado con el siguiente cuadrado de lados (b2), cuya rea es (b2)
2
:






As pues el cuadrado y los dos rectngulos sombreados equivalen a c y el rea del cuadro en blanco
es (b2)
2
, por lo que podemos tener que x
2
+ bx + (b2)
2
= c + (b2)
2
, con lo cual podemos
obtener el valor de x.
Vamos a generalizar la anterior caracterizacin de la siguiente manera:
x
2
+ bx = c, que es la ecuacin dada, donde b es par
x
2
+ bx + (b2)
2
= c + (b2)
2
, por la monotona de la igualdad,
(x + (b2))
2
= c + (b2)
2
, algebra,
x + (b2) =

, por la definicin de radicacin,

x =

- (b2), por la definicin de resta.

Entonces concluimos que cuando b es par podemos utilizar la anterior formula para hallar el valor
de x.

Ahora supongamos que b es impar para la ecuacin es x
2
+ bx = c. Tenemos un cuadrado cuyos
lados miden x y en consecuencia su rea es x
2
como el siguiente a la izquierda (1):



(1) (2)
Tambin tenemos un rectngulo de ancho b y largo x, y en consecuencia su rea es bx como el
anterior a la derecha (2). Ahora la suma de las dos reas es igual a c.



Entonces cuadriplicamos el valor de x
2
(1) y bx (2), de la siguiente manera,



Tambin tenemos que c ahora toma el valor de 4c, para no alterar la igualdad, entonces
organizando,






Ahora completamos el cuadrado con el siguiente cuadrado de lados b, cuya rea es b
2
:



As pues los cuatro cuadrados y los cuatro rectngulos sombreados equivalen a 4c y el rea del
cuadro en blanco es b
2
, por lo que podemos tener que 4x
2
+ 4bx + b
2
= 4c + b
2
, con lo cual
podemos obtener el valor de x.
Generalicemos la anterior caracterizacin de la siguiente manera:
x
2
+ bx = c, que es la ecuacin dada, donde b es impar,
4x
2
+ 4bx = 4c, multiplicando por cuatro,
4x
2
+ 4bx + b
2
= 4c + b
2
, por la monotona de la igualdad,
(2x + b)
2
= c + b
2
, algebra,
(2x + b) =

, por la definicin de radicacin,

2x =

, por la definicin de resta.

x = (

) 2, por la definicin de divisin.

Ahora generalicemos las ecuaciones de la forma ax
2
+ bx = c, siempre y cuando la solucin exista y
a > b:
ax
2
+ bx = c, que es la ecuacin dada y donde a > b:
(4a)ax
2
+ (4a)bx = (4a)c, multiplicando toda la ecuacin por 4a,
4a
2
x
2
+ 4abx + b
2
= 4ac + b
2
, completando el cuadrado,
(2ax + b)
2
= 4ac + b
2
, algebra,
2ax + b =

, por la definicin de radicacin,

2ax =

b, por la definicin de resta,

x = (

b) 2a, por la definicin de divisin.

3.2.3.3. Ecuaciones de la forma x
2
+ c = bx

Veamos grficamente que sucede con b par. Tenemos un cuadrado cuyos lados miden x y en
consecuencia su rea es x
2
como el siguiente a la izquierda (1):







(1) (2)
Tambin tenemos un rectngulo cuya rea es c como el anterior a la derecha (2). Ahora la suma de
las dos reas es igual a bx, donde b es el largo y x el alto:





Ahora dividamos en dos la longitud b





Ahora tenemos que x
2
+ a = c a, y por lo tanto x
2
+ 2a = c.
Tenemos entonces la siguiente figura, donde el lado superior tiene longitud (b2) al igual que el
lado izquierdo:






Entonces tenemos que el rea de la anterior figura es x
2
+2a, y para completar el cuadrado tenemos:

a

c - a

a
a






Este ltimo cuadrado agregado tiene longitudes ((b2) x) y rea ((b2) x)
2
y no olvidemos que
el rea total del cuadrado es (b2)
2
, por lo tanto tenemos:
x
2
+2+ ((b2) x)
2
= (b2)
2
, por la construccin geomtrica,
c+ ((b2) x)
2
= (b2)
2
, remplazando,
((b2) x)
2
= (b2)
2
c, por la definicin de la resta,
(b2) x =

, por la definicin de radicacin,

(b2)

= x, por la definicin de la resta.

Ahora si b es impar entonces multiplicando por cuatro tenemos a a y c:
x
2
+2a = 4c 2a, entonces tenemos que,
x
2
+4a = 4c , por definicin de la resta, ahora tenemos que
x
2
+4a + (b 2x)
2
= b
2
, ahora,
4c + (b 2x)
2
= b
2
remplazando,
(b 2x)
2
= b
2
- 4c, por la definicin de resta,
b 2x=

, por la definicin de radicacin

b

= 2x, por la definicin de resta.

(b

) = x, por la definicin de divisin.

a
a
3.2.3.4. Ecuaciones de la forma x
2
= bx +c
Veamos grficamente lo que sucede cuando b es par:
Tenemos un rectngulo cuya altura es x y largo b en consecuencia su rea es bx como la siguiente
figura a la izquierda (1):





(1) (2)
Tambin tenemos un rectngulo cuya rea es c como el anterior a la derecha (2). Ahora la suma de
las dos reas es igual a x
2
, donde x es el largo y x el alto:






Se decide a conveniencia dividir la anterior figura as:

(b2)(x b)
(x (b2))


(b2)(x b)
Donde de generan cuatro cuadrados de lados (b2), por lo tanto tenemos:
(x (b2))
2
+ (b 2)( x b) (b 2)( x b) (b 2)
2
= c , por la construccin geomtrica,
(x (b2))
2
= c + (b 2)
2
, operando,

(b2)
2


(b2)
2


(b2)
2


(b2)
2

x (b2) =

, por la definicion de radicacin,

x =

+ (b2), por la definicin de resta.

Ahora si b es impar tan solo multiplicamos por cuatro y se tendra de manera anloga al lo anterior:
(2x b)
2
+ b( 2x 2b) b( 2x 2b) b
2
= 4c
(2x b)
2
b
2
= 4c
(2x b)
2
= 4c + b
2

2x b =

2x =

+ b
x =(

+ b) 2


















Base
12 11 10 9 8 7 6 5 4 3 2
P
r
i
m
e
r
o
s

m

l
t
i
p
l
o
s

d
e

d
o
s

2 2 2 2 2 2 2 2 2 2 10
4 4 4 4 4 4 4 4 10 11 100
6 6 6 6 6 6 10 11 12 20 110
8 8 8 8 10 11 12 13 20 22 1000
A A 10 11 12 13 14 20 22 101 1010
10 11 12 13 14 15 20 22 30 110 1100
12 13 14 15 16 20 22 24 32 112 1110
14 15 16 17 20 22 24 31 100 121 10000
16 17 18 20 22 24 30 33 102 200 10010
18 19 20 22 24 26 32 40 110 202 10100
1A 20 22 24 26 31 34 42 112 211 10110
20 22 24 26 30 33 40 44 120 220 11000
22 24 26 28 32 35 42 101 122 222 11010
24 26 28 31 34 40 44 103 130 1001 11100
26 28 30 33 36 42 50 110 132 1010 11110
28 2A 32 35 40 44 52 112 200 1012 100000
2A 31 34 37 42 46 54 114 202 1021 100010
30 33 36 40 44 51 100 121 210 1100 100100
32 35 38 42 46 53 102 123 212 1102 100110
34 37 40 44 50 55 104 130 220 1111 101000
36 39 42 46 52 60 110 132 222 1120 101010
38 40 44 48 54 62 112 134 230 1122 101100
3A 42 46 51 56 64 114 141 232 1201 101110
40 44 48 53 60 66 120 143 300 1210 110000
42 46 50 55 62 101 122 200 302 1212 110010

Tabla con los Primeros mltiplos de dos







Base
12 11 10 9 8 7 6 5 4 3 2
P
r
i
m
e
r
o
s

m

l
t
i
p
l
o
s

d
e

t
r
e
s

3 3 3 3 3 3 3 3 3 10 11
6 6 6 6 6 6 10 11 12 20 110
9 9 9 10 11 12 13 14 21 100 1001
10 11 12 13 14 15 20 22 30 110 1100
13 14 15 16 17 21 23 30 33 120 1111
16 17 18 20 22 24 30 33 102 200 10010
19 1A 21 23 25 30 33 41 111 210 10101
20 22 24 26 30 33 40 44 120 220 11000
23 25 27 30 33 36 43 102 123 1000 11011
26 28 30 33 36 42 50 110 132 1010 11110
29 30 33 36 41 45 53 113 201 1020 100001
30 33 36 40 44 51 100 121 210 1100 100100
33 36 39 43 47 54 103 124 213 1110 100111
36 39 42 46 52 60 110 132 222 1120 101010
39 41 45 50 55 63 113 140 231 1200 101101
40 44 48 53 60 66 120 143 300 1210 110000
43 47 51 56 63 102 123 201 303 1220 110011
46 4A 54 60 66 105 130 204 312 2000 110110
49 52 57 63 71 111 133 212 321 2010 111001
50 55 60 66 74 114 140 220 330 2020 111100
53 58 63 70 77 120 143 223 333 2100 111111
56 60 66 73 82 123 150 231 1002 2110 1000010
59 63 69 76 85 126 153 234 1011 2120 1000101
60 66 72 80 100 132 200 242 1020 2200 1001000
63 69 75 83 103 135 203 300 1023 2210 1001011
66 71 78 86 106 141 210 303 1032 2220 1001110
69 74 81 100 111 144 213 310 1101 10000 1010001
70 77 84 103 114 150 220 313 1110 10010 1010100
73 7A 87 106 117 153 223 321 1113 10020 1010111
76 82 90 110 122 156 230 324 1122 10100 1011010
79 85 93 113 125 162 233 332 1131 10110 1011101
80 88 96 116 130 165 240 340 1200 10120 1100000
83 90 99 120 133 201 243 343 1203 10200 1100011
86 93 102 123 136 204 250 401 1212 10210 1100110
89 96 105 126 141 210 253 404 1221 10220 1101001
90 99 108 130 144 213 300 412 1230 11000 1101100
93 A1 111 133 147 216 303 420 1233 11010 1101111
96 A4 114 136 152 222 310 423 1302 11020 1110010
99 A7 117 140 155 225 313 431 1311 11100 1110101
A0 AA 120 143 160 231 320 434 1320 11110 1111000
Primeros mltiplos de tres

CUARTA ENTREGA
LIBRO DE ARITMETICA









Yerson Daz
Nstor Ayerve








Universidad Pedaggica Nacional
Facultad de ciencia y tecnologa
Departamento de Matemticas
Aritmtica
30/09/08