ARITMTICA - NMEROS NATURALES

CONTENIDO
Aritmtica - Nmeros naturales ................................................................................................................... 1
Contenido ................................................................................................................................................. 1
Introduccin ............................................................................................................................................. 2
Fundamentos ............................................................................................................................................ 2
Axiomas de Peano ................................................................................................................................ 2
Operaciones con nmeros naturales.................................................................................................... 2
Orden en N ........................................................................................................................................... 3
Sistemas de numeracin ...................................................................................................................... 4
Potencia de un nmero natural con exponente natural ...................................................................... 5
Principio de induccin completa .......................................................................................................... 6
Curiosidades ............................................................................................................................................. 7
Cuadrado mgico .................................................................................................................................. 7
Nmeros figurados ............................................................................................................................... 8
Ternas pitagricas .............................................................................................................................. 19
Conjutos de Sidon y Golomb .............................................................................................................. 21
Temticos ............................................................................................................................................... 22
Sucesiones .......................................................................................................................................... 22
Sucesiones recurrentes ...................................................................................................................... 22
Cuestiones diofnticas............................................................................................................................ 30
Ecuacin diofntica lineal ................................................................................................................... 30
Ecuacin pitagrica ............................................................................................................................ 31
Fracciones continuas .......................................................................................................................... 31
Sumas de cuadrados ........................................................................................................................... 37

INTRODUCCIN
En este documento slo se incluyen conceptos que permiten una cierta experimentacin
ldica. No es posible incluir aqu un tratado sobre nmeros naturales. Se inicia con una sntesis
de los conceptos fundamentales sobre nmeros naturales, para pasar a las operaciones y
sistemas de numeracin, dedicando la segunda parte igualmente a conceptos
complementarios, que se sitan aqu si no tienen cabida en las otras guas tericas.
Debe, por tanto, considerarse este documento como una coleccin de temas interesantes,
pero que no han de seguir un orden estructurado.
FUNDAMENTOS
AXIOMAS DE PEANO
Existe un conjunto N compuesto por elementos llamados nmeros naturales, relacionados
entre s por la relacin "ser siguiente o sucesor " m= sg(n) que cumple estos cinco axiomas.
1.
2.
3.
4.

1 es un nmero natural.
Si a es un nmero natural, entonces sg(a) tambin es un nmero natural
1 no es siguiente de ningn nmero natural. (El 1 es el primero, no tiene precedentes)
De la igualdad sg(a)=sg(b) se deduce que a=b (Dos nmeros diferentes no pueden
tener el mismo siguiente)
5. Axioma de induccin: si un conjunto C de nmeros naturales contiene al 1 y a los
siguientes de cada uno de sus elementos entonces C=N (es decir, perteneceran a l
todos los nmeros naturales)
Estos axiomas cumplen la compatibilidad, independencia y completitud.
OPERACIONES CON NMEROS NATURALES
A partir de los axiomas de Peano se define la suma de dos nmeros naturales a+b mediante las
definiciones a+1 = sg(a) y a+sg(b)=sg(a+b). A partir de esta definicin se demuestra que es una
operacin interna con las propiedades
Asociativa: a+(b+c) = (a+b)+c
Conmutativa: a+b=b+a
Cancelativa: Si a+c = b+c, entonces a=b
Esta ltima propiedad permite definir la resta, como a-b=x si y solo si b+x=a. Esta operacin no
es cerrada, porque si a es menor que b, no se pueden restar.
La multiplicacin de dos nmeros naturales se define a partir de: a*1=a y a*sg(b)=a*b+a
Esta operacin posee las propiedades

Asociativa: a*(b*c) = (a*b)*c

Conmutativa: a*b=b*a
Elemento neutro: a*1=1*a=a
Distributiva respecto a la suma: a*(b+c) = a*b + a*c
Cancelativa: Si a*c = b*c, entonces a=b
Estas propiedades dotan al conjunto N de la estructura algebraica de anillo conmutativo con
unidad.
La propiedad cancelativa permite definir la divisin exacta como a/b = x si y solo si b*x=a. Esta
operacin tampoco es cerrada.
Se define tambin la divisin entera como la operacin, para dos nmeros naturales a y b, que
encuentra un cociente q y un resto r<b tales que a=b*q+r. Se puede demostrar que esta
operacin siempre es posible.
ORDEN EN N
Dados dos nmeros naturales a y b, diremos que a es menor que b si existe otro nmero
natural x tal que a+x=b
Igualmente, diremos que a es menor o igual que b si a es o bien menor o bien igual que b (en
modo texto lo representamos como a<=b)
Esta relacin es de orden, porque presenta las propiedades
Reflexiva: a<=a para cualquier a natural
Antisimtrica: Si a<=b y b<=a , entonces a=b
Transitiva: Si a<=b y b<=c, entonces a<=c
Este orden es total, porque dados dos nmeros naturales a y b, se cumple siempre o que a<=b
o que b<=a
El orden establecido por la relacin <= posee la propiedad montona respecto a la suma y el
producto: Si a<=b, entonces a+c<=b+c y a*c<=b*c
Igualmente, el conjunto N est bien ordenado para la relacin <=, porque todo subconjunto de
N no vaco posee un elemento mnimo.

SISTEMAS DE NUMERACIN
Los nmeros naturales, por su infinitud, necesitan un sistema de representacin a partir de un
nmero finito de smbolos. Para eso se inventaron los sistemas de numeracin, como el
romano, el decimal, etc.
Sistemas posicionales
Un sistema de numeracin basado en la posicin relativa usa la llamada Base del sistema, que
es el nmero de unidades de orden inferior necesarias para obtener una unidad de orden
inmediato superior. A esto rdenes les llamamos unidades, decenas, centenas,De esta
forma, existirn tantos sistemas de numeracin como bases distintas sean posibles, es decir,
infinitas. Los ms populares son los de bases 10 (decimal), 2 (binario), 8 (octal) y 16
(hexagesimal). La expresin de un nmero en una base se termina con un parntesis y la base:
111010(2, 66523(8
La base de la expresin de un nmero N en una base B es lograr el desarrollo polinmico

N = C0Bk + C1Bk-1 ++ Ck-1*B + Ck en el que los coeficientes Ci sean todos ms pequeos

que la base, positivos o nulos.
k

k-1

Segn esto, el verdadero valor de C0 es C0B , el de C1 ser C1B y as con todas. Por eso se
llama sistema posicional. Adems, as se cumple que cada unidad es B veces mayor que la
anterior, porque son potencias todas de B.
Para poder usar los sistemas de numeracin hay que admitir el nmero 0, como representante
de un lugar vaco en la expresin de un nmero.
En un sistema de numeracin en base B se necesitan B smbolos para las distintas cifras, pues
son el cero y todos los posibles restos menores que B, as {0,1} para el binario, {0,1,2} para la
base 3Si la Base es mayor que 10 se aaden letras maysculas A, B, C, Dcomo cifras.
La expresin de un nmero N en un sistema de base B se logra por el mtodo de las divisiones
sucesivas:

Mientras N sea mayor que la base B

o Dividir de forma entera N entre B
o El resto se toma como nueva cifra a la derecha
o El cociente como nuevo valor de N
Cuando N llegue a ser menor que B, l ser la primera cifra de la expresin.

Por ejemplo, para expresar 2013 en base 7: 2013\7=287 y resto 4; 287/7=41 y resto 0; 41/7=5
y resto 6. Como primera cifra tomamos el ltimo cociente 5.

Efectivamente, as se cumple el desarrollo polinmico 2013=5*73+6*72+0*7+4, como se puede

comprobar con facilidad.
La operacin inversa, de pasar de una expresin en una base a la expresin decimal usual se
har cambiando la divisin por multiplicacin y los restos por sumas:
Para pasar 45541(6 a base diez: 4*6+5=29; 29*6+5=179; 179*6+4=1078; 1078*6+1=6469
Sistemas no posicionales
Los sistemas de numeracin aditiva son aquellos en los que los valores de los smbolos se
suman, sin que influya la posicin relativa, como el sistema romano.

Nmeros especiales segn sus cifras

Llamamos reverso o simtrico de un nmero natural a otro nmero que contiene las mismas
cifras pero en orden opuesto, en una base dada. Si no indicamos lo contrario, nos referiremos
a la base decimal. Por ejemplo, 345 es el simtrico de 543.
Nmero palindrmico o capica es aquel que es igual a su reverso. Los nmeros de una sola
cifra se consideran palindrmicos. As, el nmero 238832 es capica.
Nmero pandigital es aquel que contiene en su expresin decimal las diez cifras 0123456789
en cualquier orden. A veces no se exige que entre el 0. Es pandigital 3672510984.
Repuno, repunit o repituno es el nmero que slo contiene la cifra 1, como 11 o 111.
Automrfico es aquel nmero que al elevarlo al cuadrado, est contenido en las ltimas cifras
del mismo. Por ejemplo, el 9376, que al elevarlo al cuadrado se convierte en 87909376

POTENCIA DE UN NMERO NATURAL CON EXPONENTE NATURAL

Llamaremos potencia de exponente k de un nmero natural n, y la representaremos por nk, al
producto n.n.n.n de k factores iguales a n.
Propiedades:

n0=1
n1=n
nk.nh=nk+h
nk.mk=(nm)k
nk/nh=nk-h
nk/mk=(n/m)k
(nk)h = nkh

PRINCIPIO DE INDUCCIN COMPLETA

Mtodo de demostracin de propiedades referentes a nmeros naturales consistente en:
a. Demostrar la propiedad para n=1.
b. Demostrar que si la propiedad es cierta para n, tambin lo es siempre para n+1 (es
decir, sg(n))
Con esto quedar demostrado que es cierto para todo n natural.
Con esta y otras tcnicas, se demuestran frmulas muy interesantes sobre sumas de los
primeros nmeros naturales de cierto tipo. Por ejemplo:

Suma de los primeros nmeros naturales

1 + 2 + 3 + + = =

( + 1)
2

Suma de los primeros impares

1 + 3 + 5 + (2 + 1) = 2
Suma de los primeros pares
2 + 4 + 6 + 8 + + 2 = ( + 1)
Suma de los primeros cuadrados
1 2 + 22 + 32 + + 2 =

( + 1)(2 + 1)
6

Suma de los primeros cubos

13 + 23 + 33 + + 3 =

2 ( + 1)2
4

Identidad de Nicmaco
(1 + 2 + 3 + + )2 = 13 + 23 + 33 + + 3

CURIOSIDADES
CUADRADO MGICO
Un cuadrado mgico es una matriz cuadrada de nmeros (normalmente consecutivos y a partir
de 1) en la que las sumas por filas, columnas y diagonales son todas iguales. Esta suma, si los
nmeros son 1,2,...n, deber ser igual a n(n2+1)/2
Es famoso el cuadro Lo-Chu, formado por los nmeros 1 al 9 dispuestos en tres filas y tres
columnas y cuyas sumas son siempre 15
4

Este cuadrado mgico posee muchas propiedades curiosas. Algunas de ellas son:
42+92+22 = 82+12+62
42+32+82 = 22+72+62
4922+3572+8162 = 2942+7532+6182
4382+9512+2762 = 8342+1592+6722
Tambin es clsico el cuadrado de 16 nmeros llamado Melancola, por haber aparecido en un
cuadro del mismo ttulo de Alberto Durero. Todas sus filas y columnas suman 34. Adems, en
la parte inferior contiene la fecha de su realizacin 1514. Este cuadrado, grabado en una placa
de plata, se usaba para protegerse de enfermedades.
16

13

10 11

12

15 14

Este cuadrado mgico tambin es hipermgico, porque sigue siendo mgico cambiando entre
s algunas filas o columnas.
Tambin suman 34 sus cuatro vrtices 16+13+4+1 y sus vecinos 5+8+9+12, 15+14+3+2.
Tambin los nmeros centrales 10+11+6+7 y los "saltos de caballo" 5+2+12+15.
Existen 880 cuadrados mgicos de orden 4 y 275.305.224 de orden 5
Es notable el cuadrado mgico formado por nmeros primos de Henry Dudeney

67 1

43

13 37 61
31 73

NMEROS FIGURADOS
Son nmeros que se pueden disponer en forma de figura geomtrica. Los ms populares son:
NMERO TRIANGULAR
Un nmero triangular es aquel cuyas unidades se pueden situar en forma de tringulo

Los primeros nmeros triangulares son: 1, 3, 6, 10, 15, 21,

En la figura se observa la generacin de cada nmero triangular:
t1 = 1 = 1
t2 = 1+2 = 3
t3 = 1+2+3 = 6
t4 = 1+2+3+4 = 10
Todos siguen la frmula T(n) = n(n+1)/2, con n=0, 1, 2, 3,
Los nmeros triangulares terminan en 0, 1, 3, 5, 6 u 8.
Otro resultado muy interesante es el de que la suma de los inversos de los nmeros
triangulares tiende a 2. Si quieres desarrollarlo basta que pienses que 1/3 = (2/2 - 2/3), 1/6 =
(2/3 - 2/4) y as sucesivamente. Desarrolla la suma y vers anularse trminos.
Comprueba lo siguiente: El nmero T(n) coincide con el nmero de soluciones positivas de la
ecuacin x+y+z=n+2.

Triangulares de lado par

Los nmeros triangulares 3, 10, 21, 36,son aquellos cuyo nmero de orden es par:
3=T(2)=2*3/2; 10=T(4)=4*5/2; 21=T(6)=6*7/2,Si aplicamos la expresin algebraica de un
nmero triangular, la de estos ser

T(2n)=2n(2n+1)/2=n(2n+1)=2n2+n
Los podemos representar como formados por filas de tringulos de 3 elementos separados por
otros elementos aislados. En la imagen hemos representado el 36, es decir T(8)

Observa que est formado por 10 tringulos de tres elementos y 6 puntos aislados. Nos
sugiere que un nmero triangular de orden par equivale a triangular de orden mitad
multiplicado por 3 ms su triangular anterior, es decir:
T(2n)=3T(n)+T(n-1)
Es fcil demostrarlo por induccin: T(2)=3*T(1)+T(0)=3*1+0=3; T(4)=3*T(2)+T(1)=3*3+1=10
Probemos con T(2(n+1))=T(2n)+(2n+1)+(2n+2) por definicin de nmero triangular. Si
aceptamos la hiptesis para n, tendremos:
T(2(n+1))=3*T(n)+T(n-1)+(n+1+n+1+n+1)+n=3*T(n)+3*(n+1)+T(n-1)+n=3*T(n+1)+T(n), luego la
hiptesis se cumple para n+1.
La frmula T(2n)=3T(n)+T(n-1) es vlida
Adaptamos una demostracin visual contenida en
http://math.berkeley.edu/~rbayer/09su-55/handouts/ProofByPicture-printable.pdf

As se ve mejor la relacin.
En realidad, estos nmeros son los triangulares que no pueden ser hexagonales. Se sabe que
todo hexagonal es triangular, porque su expresin es H(n)=n(2n-1)=2n(2n-1)/2=T(2n-1), pero el

nmero de orden del triangular es 2n-1, impar, luego los que no son hexagonales formarn la
sucesin que estamos estudiando: 3, 10, 21, 36,, que est contenida en
http://oeis.org/A014105

Triangulares con cifras concatenadas

Incluimos como curiosidad nmeros triangulares en los que, en el sistema de numeracin
decimal, sus cifras presentan algn tipo de concatenado:
Triangular concatenando n//n
Estn publicados en http://oeis.org/A068899
55, 66, 5050, 5151, 203203, 255255, 426426, 500500, 501501, 581581, 828828, 930930,
39653965, 50005000, 50015001, 61566156, 3347133471, 5000050000, 5000150001,
6983669836, 220028220028, 500000500000, 500001500001
Llaman la atencin los ejemplos del tipo 500500 y 50015001, pero no son nada
extraordinarios:
500500=1000*1001/2, que es un triangular
50015001=10001*10002/2 es otro. Investiga casos similares.
Triangular concatenando 2n//n
De esta forma se generan los siguientes:
21, 105, 2211, 9045, 222111, 306153, 742371, 890445, 1050525, 22221111, 88904445,
107905395, 173808690, 2222211111, 8889044445, 12141260706, 15754278771,
222222111111, 888890444445, 22222221111111, 36734701836735, 65306123265306,
88888904444445, 163718828185941
Es siempre triangular 22221111? S, porque sus dobles se descomponen como
44442222=6666..6*66667, es decir, nmeros oblongos formados por productos de
nmeros consecutivos. En lo que sigue acudiremos varias veces al hecho de que el doble de un
triangular es un oblongo, k(k+1).
Se puede demostrar que cada vez que se aade la cifra a los factores aparecen 4444..2222. Lo
razonamos con 666*667=444222 pero para ms cifras se comprende igual: En efecto, si
666*667=444222, al aadir una cifra tenemos:
6666*6667=(6000+666)(6000+667)=36000000+6000*1333+666*667=
43998000+444222=44442222.

Observa que si aumentamos las cifras, 1333 se convertira en 133.33 y el sumando final
43998000 en 43998000 con lo que el efecto de reconstruir 44444 y 2222 sera el mismo.
Algo similar ocurre con la subsucesin 9045, 890445, 88904445,engendrada por los oblongos
134*135, 1334*1335, 13334*13335,Son casualidades que ocurren al dividir las potencias de
10 en tercios o en sextos.
Hemos publicado esta sucesin en https://oeis.org/A226742
Concatenacin inversa n//2n
Y si concatenramos en sentido contrario, primero el nmero y despus su doble? Pues,
aunque menos llamativo, tambin se construyen triangulares. Son estos:
36, 1326, 2346, 3570, 125250, 223446, 12502500, 22234446, 1250025000, 2066441328,
2222344446, 2383847676, 3673573470, 125000250000, 222223444446, 5794481158896,
12500002500000, 12857132571426, 22222234444446, 49293309858660
Intenta razonar la aparicin de estos nmeros, con un mtodo similar al usado en el anterior
caso: 36, 2346, 223446, 22234446, es porque sus dobles se descomponen como
66668*66669. Observa tambin esta otra subsucesin: 125250, 12502500, 12500025000,
que provienen de los oblongos 500*501, 5000*5001,Y el resto?
Hemos publicado esta sucesin en https://oeis.org/A226772
Concatenacin n//n+1
Tambin se producen nmeros triangulares:
45, 78, 4950, 5253, 295296, 369370, 415416, 499500, 502503, 594595, 652653, 760761,
22542255, 49995000, 50025003, 88278828, 1033010331, 1487714878, 4999950000,
5000250003, 490150490151, 499999500000, 500002500003, 509949509950,
33471093347110, 49999995000000, 50000025000003, 69834706983471
Se destaca el subconjunto 45, 4950, 499500,.y es porque sus dobles son 9999*10000 y
tambin los 5253, 502503, 50035003En qu se parecen entre s?
Hemos publicado esta sucesin en https://oeis.org/A226788
Con n+1//n resultan verdaderos monstruos
21, 26519722651971, 33388573338856, 69954026995401, 80863378086336,

A partir de este ltimo no se han podido encontrar ms para n<10^10, o resultados menores
que 10^20.

NMERO CUADRADO
Un nmero natural a se llama cuadrado cuando existe otro nmero natural n tal que a=n2.

Los primeros nmeros cuadrados son: 1, 4, 9, 16, 25,

En la figura se observa la generacin de cada nmero cuadrado:
C1 = 1 = 1
C2 = 1+3 = 4
C3 = 1+3+5 = 9
C4 = 1+3+5+7 = 16
Los nmeros cuadrados terminan en 0, 1, 4, 5, 6 o 9
Todos siguen la frmula n2, como es evidente.
Todo nmero cuadrado es suma de dos triangulares consecutivos. Comprubalo o intenta
demostrarlo. Tambin se forma un cuadrado con 8 nmeros triangulares, sumndoles una
unidad. Con un dibujo lo puedes lograr fcilmente.
Los nmeros triangulares y cuadrados cumplen tres propiedades descubiertas por Gauss
a) Un nmero natural es suma de 3 cuadrados si y slo si no es de la forma 4a (8b-1)
b) Todo nmero natural es suma de a lo ms tres cuadrados.
c) Todo nmero natural es suma de a lo ms tres triangulares.
Nmeros que son a la vez triangulares y cuadrados
Son los nmeros 1, 36, 1225, 41616, 1413721, 48024900, ...
Siguen una frmula de recurrencia: Cn+1 = 34*Cn - Cn-1 +2
y tambin la frmula directa:

(17 + 122) + (17 122) 2

32

Cuadrados con cifras concatenadas

n//n
Es difcil que un nmero concatenado consigo mismo produzca un cuadrado. Los pocos casos
que aparecen ya estn publicados:
1322314049613223140496, 2066115702520661157025, 2975206611629752066116,
4049586776940495867769, 5289256198452892561984, http://oeis.org/A092118
La razn de que se descubran tan pocos es la siguiente: el nmero concatenado n//n es en
realidad n*(10^c+1), siendo c el nmero de cifras de n, por lo que n<10^c. Por ejemplo,
7878=78*(10^2+1)=78*101. Si deseamos que n//n sea un cuadrado, 10^c+1 ha de contener
algn cuadrado como factor, porque si es libre de cuadrados, es imposible que n aporte los
factores que quedan para completar un cuadrado, puesto que es menor que 10^c.
Habr que buscar nmeros del tipo 10^k+1 que no sean libres de cuadrados.
Si factorizamos, por ejemplo, desde 11 hasta 10^50+1, descubrimos que slo en cuatro casos
contiene un cuadrado (copiamos la tabla parcialmente)
100000000001=11^2*23*4093*8779
1000000000000000000001=7^2*11*13*127*2689*459691*909091
1000000000000000000000000000000001=7*11^2*13*23*4093*8779*599144041* 183411838171
1000000000000000000000000000000000000001=7*11*13^2*157*859*6397*216451*1058313049*
388847808493.

Para completar un cuadrado como el que se pide, n deber contener los factores primos que
no figuran al cuadrado (la parte libre) y adems, si acaso, otros factores adicionales elevados al
cuadrado. Ya vimos en su da que si multiplicamos N por la parte libre de N conseguiremos el
mnimo mltiplo cuadrado de N.
Cumplido esto, deber tener el nmero de cifras adecuado. Por ejemplo, en el primer caso
N=23*4093*8779*k^2 y si queremos que tenga 11 cifras, el valor mnimo de k es 4, con lo que
nos da la primera solucin: n=23*4093*8779*16=13223140496, que engendra el cuadrado
1322314049613223140496, primer trmino de http://oeis.org/A092118
Si tomamos k=5 obtenemos el segundo trmino: n=20661157025, que engendra el segundo
cuadrado 2066115702520661157025

Para k=6 se engendra el tercer cuadrado: 2975206611629752066116 y para k=7, 8 o 9 se

engendran los trminos cuarto a sexto. A partir de este valor se sobrepasan las cifras.
As que el caso 100000000001 engendra seis trminos.
Pasamos al siguiente:
1000000000000000000001=7^2*11*13*127*2689*459691*909091
El valor adecuado de n ser del tipo n=11*13*127*2689*459691*909091*k^2
Para k=1 y k=2 no se llega al nmero de cifras mnimo. Para k=3 nos resulta el sptimo
trmino: 183673469387755102041183673469387755102041. No estn publicados ms
trminos. Para k=4, 5 y 6 nos resultan trminos inditos:
326530612244897959184326530612244897959184
510204081632653061225510204081632653061225
734693877551020408164734693877551020408164

2n//n
Se puede seguir el mismo razonamiento y descomponer en factores los nmeros del tipo
2*10^c+1 que contienen cuadrados
20000000000000000001=3*7^2*83*1663*985694468327
2000000000000000000000000000000001=3*43^2*245169227*1470638299531951365929

Con el primero
32653061224489795921632653061224489796
73469387755102040823673469387755102041
130612244897959183686530612244897959184

Con el segundo
216333153055705786911844240129800108166576527852893455922120064900
261763115197404002163331530557058130881557598702001081665765278529
311519740400216333153055705786912155759870200108166576527852893456
365603028664142779881016765819362182801514332071389940508382909681
424012979989183342347214710654408212006489994591671173607355327204
486749594375338020551649540292050243374797187669010275824770146025
553812871822606814494321254732288276906435911303407247160627366144
625202812330989724175229853975122312601406165494862087614926987561

700919415900486749594375338020552350459707950243374797187669010276
780962682531097890751757706868578390481341265548945375878853434289
865332612222823147647376960519200432666306111411573823688480259600

n//2n
No explicamos ya el procedimiento. Los candidatos son:
12=2^2*3
100000000000000000000002=2*3*7^2*19961*17040030781111603
10000000000000000000000000000000000000000000000000000000002=2*3*89^2*
353891*184629530872289*3220312754723112768886882952137673

Con el primero obtenemos el 36=6^2

Con el segundo:
816326530612244897959216326530612244897959184
1836734693877551020408236734693877551020408164
3265306122448979591836865306122448979591836736

Y con el tercero, verdaderos gigantes:

50498674409796742835500568110087110213356899381391238480010099734881959348567100113
62201742204267137987627824769600

Publicados en http://oeis.org/A115527

Concatenacin con diferencias constantes

n//n+1
Los primeros ejemplos los buscaremos con hoja de clculo
N
183
328
528
715
6099
13224
40495

N//N+1
183184
328329
528529
715716
60996100
1322413225
4049540496

Raz
428
573
727
846
7810
36365
63636

Hemos aadido la raz cuadrada de la concatenacin. Esta sucesin est publicada en

http://oeis.org/A030465 y llama a los primeros nmeros de Sastry.
n+1//n
Los primeros ejemplos son

N
81
8241
9801

N//N+1
8281
82428241
98029801

Raz
91
9079
9901

Tambin publicado en http://oeis.org/A054214

n//n+2
El nmero par 7874 es el ms pequeo que cumple que concatenado con el siguiente par 7876
produce un cuadrado: 78747876=8874^2. Este caso ya est publicado en
http://oeis.org/A115426.

NMERO POLIGONAL
Se definen de la misma forma que los cuadrados y los triangulares, como nmeros que forman
pentgonos, hexgonos, etc.

La frmula que siguen los pentagonales 1, 5, 12, ... es n(3n-1)/2

Los hexagonales 1, 6, 14, siguen la frmula n(4n-2)/2 = 2n2 - n
En general, de k lados la frmula adecuada es (n*(2+(n-1)*(k-2))/2

Nmero poligonal
Es un nmero figurado tal que las unidades del conjunto que representa se pueden situar
ordenadamente en forma de polgono. Pueden ser triangulares, cuadrados, pentagonales, etc.
La expresin general de un nmero poligonal de k lados y orden n es
. =

(( 2) ( 4)
2

o lo que es equivalente
. = + ( 2)1

siendo Tn-1 el triangular de una dimensin menos. La siguiente imagen demuestra esta
propiedad:

Las unidades azules representan a n, y las de los otros tres colores a los nmeros triangulares
que terminan de engendrar el pentagonal.
Tambin son vlidas las descomposiciones

Teorema de Nicmaco:
Todo nmero poligonal es igual al de su mismo orden pero con una dimensin menos sumado
con el triangular de una dimensin menos:
. = 1, + 1
Descomposicin triangular de Fermat
. = + ( 3)1
Segn Fermat, todo nmero natural se puede expresar como la suma de n nmeros
poligonales de n lados. Gauss lo demostr para los triangulares y Cauchy para todo tipo de
polgonos.
OTROS NMEROS FIGURADOS
Un nmero rectangular es aquel cuyas unidades se pueden ordenar en forma de rectngulo de
lados mayores que uno. Es sinnimo de compuesto.
Lo llamaremos oblongo si es posible elegir sus dimensiones como nmeros consecutivos,
como 12 = 3*4, 42 = 6*7, etc.
Los primeros nmeros oblongos son 2, 6, 12, 20, 30, 42, ...
La frmula de los nmeros oblongos es n(n+1) lo que nos hace ver que son dobles de los
triangulares. Tambin equivalen a la suma de los k primeros nmeros pares.
Un nmero natural constituye un gnomon cuando se puede dibujar como una escuadra de
brazos iguales. Es equivalente a un nmero impar. En efecto, basta observar la figura:

Todo nmero cuadrado es suma de gnomones.

Nmeros tringulo-piramidales
Representan pirmides formadas por nmeros triangulares, como
las balas esfricas amontonadas en capas triangulares. Sus
primeros elementos son 1, 4, 10, 20, 35, 46... y la expresin de su
trmino general
n(n+1)(n+2)/6
Semejantes a estos son los cuadrado-piramidales, en los que cada capa es un nmero
cuadrado. Es un apilamiento menos estable que el anterior, por lo que en la prctica es menos
til. Sus primeros trminos son 1, 5, 14, 30, 55, ... y la expresin de su trmino general es
n(n+1)(2n+1)/6

Nmeros poligonales centrados

Los nmeros poligonales anteriores crecen a partir de un vrtice, y no tienen centro. Podamos
formarlos a partir de un punto (centro) rodeando despus con tringulos, cuadrados o
pentgonos con nmero creciente de puntos. As, la imagen de la izquierda es un cuadrado
centrado de orden 3 que equivale al nmero 13. Si suprimimos el permetro ms lejano nos
resultara el cuadrado centrado 5.

De igual forma se pueden definir los tringulos o polgonos centrados.

As, los nmeros 1, 4, 10, 19, 31,,, son triangulares centrados.

1, 5, 13, 25, 41... son cuadrados centrados y

1, 6, 16, 31, 51... pentagonales centrados
Las frmulas de generacin de estos nmeros son:
TCn = (3n2-3n+2)/2
CCn = 2n2-2n+1
PCn = (5n2-5n+2)/2
como puede verse en esta tabla generada con hoja de clculo:

TERNAS PITAGRICAS

Definiciones
Una terna de nmeros enteros positivos se llama pitagrica si es solucin de la ecuacin x2 +
y2 = z2
Llamaremos ternas pitagricas primitivas x0, y0 y z0 a aquellas que no tienen divisores
comunes. Por tanto, los tres nmeros no pueden ser pares, luego alguno ser impar. Los tres
impares tampoco pueden ser, porque z sera suma de impares y por tanto par. Tampoco puede
haber un slo impar, porque la suma no tendra la paridad adecuada, luego z0 es impar y las
otras dos, una par y otra impar.

En lo que sigue slo nos referiremos a las ternas pitagricas primitivas.

Frmulas de generacin
(1) Z = m2 + n2 ; Y = m2 n2 ; X = 2mn con m y n primos entre s y de distinta paridad, con m>n.
Son pitagricas, porque (m2 + n2)2 = (m2 - n2)2 + 4m2n2
Son primitivas, porque todo divisor de m2 + n2 y m2 n2 es distinto de 2 (son impares) y divide
a su suma y diferencia, luego divide simultneamente a m y a n, lo que es imposible por ser
coprimos. Luego ambos son primos entre s y tambin con 2mn.
El permetro tendr como frmula 2m2 + 2mn, el semipermetro m(m+n), el rea mn(m2 - n2) y
por tanto, el radio del incentro r = mn(m2 - n2)/(m(m+n)) = n(m-n)
Esta propiedad del radio nos lleva a la frmula generadora (4)
(2) Z=(m2 + n2 )/2 ; Y=(m2 - n2 )/2 ; X=mn con m y n impares u coprimos y m>n
Esta es la primitiva frmula de los pitagricos.
(3) X = 2n+1 ; Y = 2n(n+1) ; Z = 2n(n+1)+1
En efecto: X2+Y2 = 4n2+4n+1+4n4+8n3+4n2
Z2= (2n2+2n+1)2 = 4n4+4n2+1+8n3+4n2+4n
Esta frmula no genera todas las ternas primitivas. Slo genera aquellas en las que el cateto
mayor y la hipotenusa son nmeros consecutivos.
(4) Y = 2pq+q2 ; X = 2pq+2p2 ; Z = 2pq+2p2+q2
En efecto, tomando m y n de la primera frmula, si llamamos p=n q=m-n, m=p+q,
obtendremos: r=n(m-n)=pq; Z = m2 + n2 = (p+q)2 + p2 = 2pq+2p2+q2 ; Y = m2 n2 = (p+q)2 - p2 =
2pq+q2 ; X = 2mn = 2(p+q)p = 2pq+2p2
Este desarrollo demuestra fcilmente la primera de las propiedades que incluimos a
continuacin

Propiedades

La diferencia entre la hipotenusa y el cateto par es un cuadrado perfecto, y su

diferencia con el otro el doble de otro cuadrado perfecto.
Por ejemplo, en la terna 35, 12, 37, la diferencia 37-12 = 25 y 37-35 = 2*1. Puedes
comprobarlo con cualquiera de las frmulas de generacin.
El cateto par es mltiplo de 4
En efecto, si los otros dos son impares, se cumplir que m2 = (2p+1)2 - (2q+1)2 y

desarrollando m2 = 4(p-q)(p+q+1), pero uno de los parntesis es par. luego m2 es

divisible entre 8, y al ser cuadrado perfecto, entre 16, luego m es mltiplo de 4.
La hipotenusa es congruente con 1 mdulo 4
Segn la primera frmula de generacin, es suma de dos cuadrados, uno par y otro
impar, luego no puede tener la forma 4K+3. Ha de ser del tipo 4K+1

CONJUTOS DE SIDON Y GOLOMB

Regla de Golomb

Se le da el nombre de Regla de Golomb a un conjunto de marcas sealadas en una regla

imaginaria, tal que todas las diferencias entre marcas sean distintas. Por ejemplo, estas:

Las seis marcas presentan las quince diferencias 1,2,3,4,5,7,8,9,10,11,12,14,16,17 y 19

distintas. Se llama orden de la regla al nmero de marcas, en este caso 6, y longitud a la mayor
diferencia entre ellas, 19 en el ejemplo.
Como lo importante del tema son las diferencias, se suele hacer coincidir la primera marca con
el 0. De esta forma, la anterior regla quedara as:

Estas marcas poseen las mismas diferencias, pero no abarcan todas las posibles medidas. Por
ejemplo, con esta regla no se podra medir una distancia (diferencia) de 13. Una regla que
mida todas las longitudes posibles recibe el nombre de perfecta, y si es la ms corta dentro de
su orden, ptima. Por ejemplo, {0,1,4.6} forman una regla perfecta, pues se pueden medir con
ellas las longitudes 1,2,3,4,5 y 6.

Conjunto de Sidon
Un conjunto de nmeros naturales se llama de Sidon cuando todas las sumas posibles entre
sus elementos son distintas. Por ejemplo {3,5,8,9} produce las sumas 8,11,12,13,14 y 17.
Se puede demostrar que un conjunto finito de Sidon es tambin una regla de Golomb, y a la
inversa (si se prescinde del convenio de comenzar por cero). Por tanto, un conjunto finito es de
Sidon si produce diferencias entre sus elementos todas distintas. Intenta demostrarlo, que no
es difcil.

TEMTICOS
SUCESIONES

Sucesin de nmeros naturales

Es toda funcin definida de N (conjunto de los nmeros naturales) en N. A los elementos
orgenes de la funcin les llamaremos ndices, y a las imgenes elementos de la sucesin.
En la prctica es una secuencia ordenada de nmeros naturales del tipo
2,4,7,11,12,....representada por los smbolos
a1, a2, a3, a4, ...an, ... en la que an es el elemento y n el ndice.

Sucesin o progresin aritmtica

Es aquella en la que cada trmino es igual al anterior sumado con un nmero constante
llamado DIFERENCIA. Su frmula de recurrencia es: a1=a; an=an-1+d, donde a (valor inicial) y d
(diferencia) son constantes.

Sucesin o progresin geomtrica

Es aquella sucesin en la que cada trmino es igual al anterior multiplicado por un nmero
constante llamado razn. El primer trmino se define aparte.
SUCESIONES RECURRENTES
Una sucesin se llama recurrente cuando todos sus trminos, salvo, si acaso, los primeros,
dependen de los valores de los anteriores inmediatos. El nmero de esos trminos de los que
dependen se denomina el orden de la sucesin.
Si la relacin entre un trmino y los anteriores se basa en una frmula lineal, diremos que la
recurrencia es tambin de tipo lineal. Aadiremos el calificativo de homognea si en esa
frmula no existen trminos constantes.
RECURRENCIA LINEAL DE PRIMER ORDEN
Es la del tipo an=Aan-1, es decir,la que llamamos en la seccin anterior progresin geomtrica,
y a ella nos remitimos.

RECURRENCIA LINEAL DE SEGUNDO ORDEN

Llamaremos relacin de recurrencia lineal de segundo orden a la que existe entre los trminos
de una sucesin si reviste esta forma:
xn=a1xn-1+a2xn-2+a3
Interpretamos que cada trmino a partir uno de ellos equivale al anterior multiplicado por un
nmero ms el anterior del anterior por otro y sumado un tercer nmero. Nos dedicaremos
tan slo al caso en el que a3=0, es decir, a relaciones lineales de segundo orden homogneas,
pues en ellas encontraremos bastantes hechos curiosos.
Lo normal es definir directamente los primeros trminos, llamados valores iniciales, y despus
dar los coeficientes de la recurrencia, que supondremos constantes. Por ejemplo, en la
sucesin de Fibonacci, definimos directamente x0=1, x1=1 y usamos los coeficientes a1=1 y
a2=1, con lo que la relacin de recurrencia vendr dada por xn=xn-1+xn-2, constituyendo una
recurrencia lineal de segundo orden homognea, y entrando as en nuestro estudio.
Una sucesin definida por recurrencia vendr dada as por el conjunto de valores iniciales y el
de coeficientes, siendo conveniente fijar tambin el nmero de trminos.
Ecuacin caracterstica
Existe un procedimiento simple para intentar expresar X(n) en funcin de n en sucesiones
definidas por recurrencias de segundo orden: la ecuacin caracterstica. Puedes estudiarla en
cualquier manual o pgina web especfica, como
(http://people.uncw.edu/tompkinsj/133/recursion/homogeneous.htm)
En esencia este mtodo consiste en:
(1) Dada la relacin
xn=a1xn-1+a2xn-2
planteamos la ecuacin de segundo grado
x2-a1x-a2=0
(2) Si las soluciones de esa ecuacin son distintas, x1 y x2, la expresin buscada ser
x(n)= (x1)n o x(n)= (x2)n
o bien una combinacin lineal de ambas:
x(n)= C1(x1)n+C2(x2)n
A veces uno de los sumandos tiende a cero al crecer n, y esto da lugar a propiedades
interesantes, ya que X(n) slo dependera aproximadamente del primer sumando.

Funcin generatriz
Es una funcin tal que al desarrollarla como polinomio, los coeficientes del mismo reproducen
los trminos de la sucesin. Veremos varias en los siguientes ejemplos.
EJEMPLOS DE SUCESIONES RECURRENTES

Nmeros de Fibonacci
Es la ms popular de todas. Se define como x0=1, x1=1 y la relacin de recurrencia viene dada
por xn=xn-1+xn-2. Sus elementos son:
1,1,2,3,5,8,13,21,34,55,89,144,233,377,
Su ecuacin caracterstica ser x2-x-1=0 con soluciones

1 5
2

Ellas dan lugar a la frmula explcita para esta sucesin:

1 + 5
1 1 5
=
(
)
(
)
2
2
5
5

Como el segundo sumando tiende a cero para n tendiendo a infinito, los nmeros de Fibonacci
se aproximarn al primero, y, de hecho, el cociente entre dos consecutivos tiende al nmero
de oro.
Su funcin generatriz es

() =

1
1 2

Si se inicia la sucesin en 0 en lugar de en 1, puede cambiar esta funcin generatriz.

Sucesin de Jacobsthal
Esta sucesin es poco conocida, pero tiene alguna propiedad interesante. Se define como x0=1,
x1=1 y la relacin de recurrencia viene dada por xn=xn-1+2xn-2. Sus elementos son:
0, 1, 1, 3, 5, 11, 21, 43, 85, 171, 341, 683, 1365, 2731, 5461, 10923, 21845, 43691,
(la tienes en http://oeis.org/A001045)
Su trmino general viene dado por

Nmeros de Pell
Tomamos como coeficientes de recurrencia X0=2 y X1=1. Es decir, que Xn+1=2Xn+Xn-1. Si como
valores iniciales tomamos 0 y 1 resultan los nmeros de Pell o nmeros lambda
http://oeis.org/A000129. Son estos:
0, 1, 2, 5, 12, 29, 70, 169, 408, 985, 2378, 5741, 13860, 33461, 80782, 195025, 470832,
Su frmula general viene dada por

Como consecuencia, por tender a cero el segundo sumando, el cociente entre dos nmeros de
Pell consecutivos es:

Su funcin generatriz es

Para que un nmero de Pell P(n) sea primo es necesario que n sea primo. Los valores de n que
producen esos primos son 2, 3, 5, 11, 13, 29, 41, 53, 59, 89, 97, 101, 1, que producen los
nmeros de Pell primos
2, 5, 29, 5741, 33461, 44560482149, 1746860020068409,

Nmeros de Lucas
Los nmeros de Lucas se pueden engendrar con los coeficientes A=1 y B=1 comenzando con
X0=2 y X1=1 Su definicin es, por tanto Xn=Xn-1+Xn-2
Son estos: 2, 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, 199, 322, 521, 843, 1364, 2207, 3571,
Su expresin general viene dada por

Y su funcin generatriz:

RECURRENCIA LINEAL DE TERCER ORDEN

Definicin
Las recurrencias de tercer orden son idnticas a las de segundo, pero con un trmino ms en la
frmula (nos referiremos tan slo a las homogneas). Su recurrencia vendr definida por
xn= A*xn-1+B*xn-2+C*xn-3
El resto de cuestiones es similar a las de segundo orden.

Sucesin de Perrin
Condiciones iniciales: x0=3 x1=0 x2=2 Ecuacin de recurrencia: xn=xn-2+xn-3
Es como una sucesin del tipo Fibonacci pero con retraso, pues los que se suman no son los
dos anteriores, sino los que estn un paso ms atrs.
Esta popular sucesin la tienes disponible en http://oeis.org/A001608, donde les llaman
nmeros skiponacci, quizs por los saltos o retardos que presentan: 3, 0, 2, 3, 2, 5, 5, 7, 10, 12,
17, 22, 29, 39, 51, 68, 90, 119, 158, 209, 277, 367, 486, 644, 853,
Ecuacin caracterstica
La ecuacin caracterstica correspondiente ser X3-x-1=0. Con la suma de potencias de sus tres
soluciones obtenemos la expression del trmino general:
La solucin real 1,32471(aqu slo aproximada) es el nmero plstico , cuyo nombre se
eligi como afn al nmero de oro o el de plata. Como en casos anteriores, los cocientes entre
trminos consecutivos tienden a l.
Funcin generatriz
() =

3 2
1 2 3

Sucesin de Perrin y nmeros primos

La propiedad ms conocida de estos nmeros es que si p es primo, p divide a X(p). Por
ejemplo, X(11)=22, que es mltiplo de 11. A pesar de su carcter algo extrao, la propiedad ha
sido demostrada para todos los nmeros primos. La contraria no es cierta. X(n) puede ser
mltiplo de n sin que este sea primo. A estos trminos se les suele llamar pseudoprimos de
Perrin (http://oeis.org/A013998):
271441, 904631, 16532714, 24658561, 27422714, 27664033, 46672291,

Sucesin de Narayana
Esta sucesin fue ideada por el hind Narayana (siglo XIV), e intentaba calcular con ella
generaciones de vacas, al igual que Fibonacci lo haca con conejos. Plante lo siguiente:
Una vaca tiene anualmente una cra. Cada una de ellas, cuando ya es novilla a los cuatro aos,
tambin tiene una cra anual Cuntas vacas habr a los 20 aos?
Este proceso es recurrente:
En efecto, supongamos que nace la vaca en el ao 1. Se pasar tres aos sin parir, por lo que la
sucesin deber comenzar con 1, 1, 1, Al cuarto ao tiene una cra, luego ya sern 2 vacas, y,
como pare cada ao, los siguientes nmeros sern 3 y 4. Cuando la cra tiene 4 aos, tendr
otra a su vez, y sern 6. En general, en cada generacin habr tantas vacas como las que haya
actuales, ms todas aquellas que ya tengan cuatro aos, lo que nos lleva a que xn=xn-1+xn-3
Segn esto, la sucesin de Narayana es recurrente de tercer orden.
La definicin de la sucesin, como todas las de su clase, se basa en dar la frmula de
recurrencia y las condiciones iniciales. Segn lo explicado ms arriba, son estas:
Condiciones iniciales: x0=1 x1=1 x2=1 Ecuacin de recurrencia: xn=xn-1+xn-3
Coincide con la sucesin publicada en http://oeis.org/A000930
1, 1, 1, 2, 3, 4, 6, 9, 13, 19, 28, 41, 60, 88, 129, 189, 277, 406, 595, 872, 1278, 1873, 2745,
Ecuacin caracterstica
La ecuacin caracterstica correspondiente es X3-x2-1=0. Al resolverla obtenemos una raz real,
1,46557, y como ocurre en casos similares. El cociente X(n+1)/X(n) se acercar a ese valor
1,46557.
Funcin generatriz
Al igual que en las sucesiones recurrentes que ya hemos estudiado, podemos considerar una
funcin generatriz para esta. Es la siguiente:
() =

1
1 3

Los coeficientes de su desarrollo en polinomio coinciden con los trminos de la sucesin.

1 + x + x^2 + 2*x^3 + 3*x^4 + 4*x^5 + 6*x^6 + 9*x^7 + 13*x^8 + 19*x^9 + 28*x^10 + 41*x^11 + 60*x^12 + 88*x^13
+ 129*x^14 + 189*x^15 + 277*x^16 + 406*x^17 + 595*x^18 + 872*x^19 +

Clculo directo de un trmino

Se puede demostrar que los trminos de esta sucesin vienen dados por una suma de
nmeros combinatorios:

/3

2
() = (
)

=0

Sucesin de Padovan
Esta sucesin es similar a la de Perrin, pero con condiciones iniciales distintas. En ambas la
recurrencia viene definida por xn=xn-2+xn-3, pero mientras que en la de Perrin son x0=3 x1=0

x2=2, en la de Padovan x0=1 x1=1 x2=1.

Sus primeros trminos son: 1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 49, 65, 86, 114, 151,
200, 265, 351, 465, 616, 816, 1081, 1432 (http://oeis.org/A134816)
En el resto de caractersticas es muy parecida a la anterior.

Nmeros Tribonacci
Los nmeros tribonacci son anlogos a los de Fibonacci, pero generados mediante
recurrencias de tercer orden homogneas. Existen muchas sucesiones con este nombre,
segn sean sus condiciones iniciales. Aqu comenzaremos con la contenida en
http://mathworld.wolfram.com/TribonacciNumber.html, pero podemos cambiar ms tarde si
surgen propiedades interesantes para su estudio con hoja de clculo.
En estos nmeros la frmula de recurrencia posee todos sus coeficientes iguales a la unidad

xn= A*xn-1+B*xn-2+C*xn-3 se convertira en xn= xn-1+xn-2+xn-3

Al igual que en el caso de Fibonacci, los dos valores iniciales tambin valen 1, y el tercero, 2:

x0=1 x1=1 x2=2

Los primeros trminos son:
1, 1, 2, 4, 7, 13, 24, 44, 81, 149, 274, 504, 927, 1705, 3136, 5768, 10609, 19513, 35890, 66012,
121415, 223317, 410744, http://oeis.org/A000073

Ecuacin caracterstica
Al igual que en otras sucesiones recurrentes, su ecuacin caracterstica se formar a partir de
3

sus coeficientes, en este caso todos iguales a 1, luego ser x -x -x-1=0

Recordemos que los elementos de las sucesiones recurrentes se pueden expresar como suma
de potencias de las tres soluciones, pero con estos nmeros ocurre como con algunos similares
(los de Fibonacci, Perrin o Narayana), y es que las races complejas, al tener mdulo inferior a
la unidad, tienden a cero si prolongamos la sucesin. Por ello, las potencias de la raz real,
1,839286generan con bastante aproximacin los nmeros Tribonacci, y, lo que es lo mismo,
esta constante coincidir aproximadamente con el cociente entre dos de estos nmeros
consecutivos.

Funcin generatriz
Todas las variantes de las sucesiones Tribonacci comparten los mismos coeficientes de
recurrencia, y por tanto tambin el denominador de su funcin generatriz. La que estamos
estudiando en esta entrada, de inicio 1, 1, 2, se genera con la siguiente:
() =

1 2 3

NMEROS DE CATALAN
Llamaremos nmeros de Catalan a los trminos de la sucesin 1, 2, 5, 14, 42, 132, 429, 1430,
4862, 16796,...
Fueron descubiertos por Euler al estudiar las particiones de los polgonos convexos en
tringulos que no se intersecten. As, el cuadrado se puede dividir en tringulos de dos formas
distintas, el pentgono de 5, y as con todos. Intenta dibujar las particiones.
Su generacin mediante un procedimiento recursivo se obtiene de esta forma:
Aadimos un 1 a la sucesin y, entonces, basta hacer Cn+1 = Cn*(4n-6)/n
Para n>2 su frmula explcita es

Estos nmeros tambin equivalen a las formas de introducir parntesis (que todos encierren
dos elementos) dentro de n smbolos. Por ejemplo, para los smbolos abcd existen 5 formas
(nmero de Catalan para n=4) de introducir parntesis.
((ab)(cd)) (((ab)c)d) (a(b(cd))) (a((bc)d)) ((a(bc)d)
Tambin coinciden, en la Teora de Grafos, con el nmero de rboles plantados trivalentes.

CUESTIONES DIOFNTICAS

Ecuacin diofntica
Una ecuacin diofntica es aquella, generalmente de al menos dos incgnitas, definida en el
conjunto de los enteros tanto para sus coeficientes como para los valores que puedan tomar
las incgnitas.

Sistema diofntico
Es aquel que est formado por ecuaciones diofnticas.

ECUACIN DIOFNTICA LINEAL

La ecuacin diofntica de tipo lineal ms sencilla es la del tipo Ax+By=C
Para que tenga solucin ha de ser C mltiplo de D=MCD(A,B). Se resuelve considerando el
teorema que afirma que existen dos enteros m y n tales que mA+nB=D. Los valores de m y n se
calculan mediante el algoritmo de Euclides y el algoritmo de las reducidas o convergentes.
Efectivamente, si consultas la teora de fracciones continuas vers que la diferencia entre dos
reducidas consecutivas equivale a una fraccin de numerador la unidad y de denominador el
producto de sus denominadores. Esta propiedad tambin se cumple entre la ltima reducida y
la fraccin dada.
Vemos cmo se aprovecha esta propiedad para resolver la ecuacin diofntica lineal
Sea, por ejemplo, la ecuacin 244X+108Y=112.
Simplificamos: 61X+27Y=28, con MCD(61,27)=1
Buscamos las reducidas de la fraccin 61/27 y elegimos la ltima 9/4

Se cumplir, segn la propiedad citada, que 61*4-27*9=1, luego 4 y -9 sern las soluciones de
61X+27Y=1. Bastar multiplicar por el trmino independiente 28 para obtener una solucin:
X=4*28 = 112 e Y=-9*28 = -252
Las dems soluciones se obtienen mediante las paramtricas

X=112-27v
Y=-252+61v
Si se desean soluciones positivas deberemos ajustar el parmetro v

ECUACIN PITAGRICA
Es la que tiene la forma x2 + y2 = z2
Llamaremos soluciones primitivas x0, y0 y z0 a aquellas que no tienen divisores comunes. Se
puede demostrar que z0 es impar y las otras dos, una par y otra impar.
Las soluciones primitivas se obtienen mediante las frmulas
X = m2 + n2
Y = m2 n2
Z = 2mn
con m y n primos entre s y de distinta paridad, con m>n.
Si multiplicamos cualquier conjunto de soluciones primitivas por un mismo nmero,
obtendremos infinitas soluciones.

FRACCIONES CONTINUAS

Definicin
Llamamos fraccin continua a la expresada de esta forma:

donde a es entero y b, cson enteros positivos llamados cocientes (o cocientes parciales).

Toda fraccin ordinaria se puede expresar de esta forma, y todo nmero irracional admite
aproximaciones mediante desarrollos de este tipo. Si se exige que el ltimo cociente sea
distinto de 1 esta representacin es nica.

Las fracciones continuas tambin se expresan mediante el conjunto ordenado de los cocientes:
[a, b, c, d...]

Caso 1: Fraccin ordinaria

Los cocientes a, b, c, son los que aparecen en el algoritmo de Euclides para el clculo del
m.c.d. de dos nmeros. As, por ejemplo, para encontrar el m.c.d. de 345 y 1280, en el
algoritmo se obtienen los siguientes cocientes:

En el desarrollo mediante fracciones continuas de 1280/345 vuelven a aparecer los mismos

cocientes 3,1,2,2,.porque se trata del mismo algoritmo orientado de forma diferente! En la
siguiente imagen, capturada de la hoja de clculo fraccont.ods,

puedes comprobar la evidente igualdad de la serie de cocientes. Comprueba que,

efectivamente, es vlido este desarrollo:

Estos desarrollos son finitos, porque as lo es el conjunto de los coeficientes del algoritmo de
Euclides. Veremos ms adelante que en el caso de irracionales son infinitos. En ambos casos se
puede demostrar que son nicos.

Convergentes
Para un desarrollo cualquiera en fraccin continua

se llaman reducidas o convergentes a los desarrollos

a los que nombraremos como C0, C1, C2, C3... En el caso del ejemplo obtendramos:
3=3; 3+1/1=4; 3+1/(1+1/2)=11/3

Cumulantes
Los convergentes son fundamentales en los desarrollos de las funciones continuas, como se
ver ms adelante. El algoritmo ms sencillo para crearlos consiste en comenzar con el clculo
de los cocientes mediante el algoritmo de Euclides y despus aadir dos filas de numeradores
y denominadores para las convergentes tal como se ve en la imagen, comenzando con 0 y 1
para los numeradores y 1, 0 para los denominadores. En el ejemplo 1280/345 quedara as

3
0

Despus las fracciones reducidas o convergentes se obtienen mediante un algoritmo clsico

llamado de los cumulantes. Consiste en construir dos sucesiones recurrentes del tipo

Pn = pn-1*an+pn-2
Se multiplica cada cociente superior por el ltimo numerador o denominador, sumando
posteriormente el penltimo:

En realidad lo que se hace es "deshacer" las operaciones del Algoritmo de Euclides.

Las convergentes o reducidas poseen varias propiedades importantes. Destacamos alguna:

Todas las reducidas son fracciones irreducibles.

Las de ndice par (comenzando por el cero) forman una sucesin creciente y las de
orden impar decreciente, siendo cota de ambas la fraccin ordinaria que se desarrolla.
Por tanto, las de orden par son mayores que las de orden impar.
La ltima reducida equivale a la fraccin original simplificada. As 1280/345 = 256/69.
Las dems son aproximaciones por exceso o defecto.
La diferencia entre dos reducidas consecutivas equivale a la unidad positiva o negativa
dividida entre el producto de sus denominadores. Tambin podemos expresarlo como
que el producto en cruz de sus numeradores y denominadores es igual a 1 o a -1.

Aproximacin diofntica
Es evidente que las reducidas aproximan la fraccin que se haya expresado en forma continua.
As, 115/31 es una aproximacin a 256/68 en el ejemplo anterior, Lo interesante es que
tambin pueden aproximare a los nmeros irracionales. Por ejemplo, la fraccin
3650401/2107560 es una muy buena aproximacin de la raz cuadrada de 3 (coinciden en los
trece primeros decimales)
Cualquier nmero expresado en forma decimal puede representarse mediante una fraccin
continua. Si el nmero es racional, sta ser finita, pero si es irracional no podr serlo, y
tendramos que prolongar el desarrollo de la fraccin continua hasta el infinito. En los
siguientes prrafos veremos cmo.
Un caso muy interesante es el de los irracionales cuadrticos, que, como demostr Lagrange,
presentan desarrollos peridicos.
Cmo desarrollar un decimal cualquiera en fraccin continua exacta (caso racional) o
aproximada (si es irracional)?
La idea es: separamos la parte entera y la parte decimal del nmero N=e+d, y la decimal la
expresamos as: N=e+1/(1/d). Volvemos a separar parte entera y decimal de 1/d y reiteramos,
con lo que irn apareciendo los cocientes enteros de una fraccin continua.
Probamos con la raz cuadrada de 3. Los clculos seran:
1,73205080757 = 1+ (1/(1/1,73205080757) =
1+ 1/1,36602540378 = 1+ 1/(1+1/2,73205080760) =
1+1/(1+1/(2+1/1,36602540378) = .

Al salir este ltimo nmero se descubre la periodicidad, luego 1,73205080757 equivale a la

fraccin continua
[1,1,2,1,2,1,2,.] que es peridica por tratarse de un irracional cuadrtico.
A continuacin destacamos algunos desarrollos importantes:

Nmeros metlicos
Son soluciones de ecuaciones cuadrticas del tipo x2 - bx - 1 = 0
Nmero de oro

Es solucin de la ecuacin x2-x-1 = 0

Nmero de plata

Es solucin de la ecuacin x2-2x-1 = 0

Nmero de bronce

Es solucin de la ecuacin x2-3x-1 = 0

Ecuacin de Pell

Una aplicacin importante de las fracciones continuas es la resolucin de la ecuacin de Pell

Se llama ecuacin de Pell (por error, porque Pell no la estudi) a la ecuacin diofntica
cuadrtica X2 - DY2 = 1, con X e Y variables enteras y D nmero entero positivo no cuadrado
perfecto. Existe una variante con el segundo miembro -1 que se resuelve de forma similar, con
algunas restricciones, y tambin se consideran los casos en los que se trate de cualquier
nmero entero.
En su resolucin hay que distinguir dos problemas:

Primera solucin
Una primera solucin no es difcil de encontrar en general.
(a) Puedes acudir a un simple tanteo entre cuadrados perfectos. Por ejemplo, una solucin de
X2 - 6Y2 = 1 es X0=5 Y0=2. Con una hoja de clculo no es tarea muy complicada.
(b) Las fracciones continuas tambin son tiles en la resolucin de esta ecuacin. Basta para
ello desarrollar la raz cuadrada de D mediante ellas y, segn vimos en una seccin anterior,
aprovechar la periodicidad del desarrollo. En el caso de la ecuacin de Pell basta tomar las
reducidas anteriores a la finalizacin del primer periodo.

En la imagen observars que la solucin X0=5,Y0=2 aparece antes del final del primer periodo
[2,4] en el desarrollo por fracciones continuas. Despus siguen otras: X=49, Y=20, X=485,
Y=198, etc.
En nuestro modelo de hoja de clculo que recomendamos ms abajo basta escribir el valor de
D y el segundo miembro +1 -1 y la hoja se encarga de desarrollar la raz cuadrada de D
mediante fracciones continuas:
Siguientes soluciones
Segn la teora del anillo Q(D), que no podemos desarrollar aqu, las primeras soluciones,
escritas como X0+Y0 (D) constituyen una unidad del anillo, y tambin lo sern todas sus
potencias, por lo que las siguientes soluciones provendrn de los desarrollos de las
expresiones

agrupando despus los trminos que no contienen el radical como valor de Y y los que s lo
contienen como valor de X. Este mtodo puede ser fatigoso, por lo que es mejor ir obteniendo
las distintas soluciones por recurrencia. En efecto, de la anterior consideracin se deduce que

O bien, separando trminos:

Estas son las frmulas que hemos usado en la hoja de clculo.

Puedes consultar la bsqueda de la primera solucin por fracciones continuas y la recurrencia
para las siguientes en las hojas de clculo pell.ods para Calc y pell.xls para Excel
Por ejemplo, intenta resolver esta cuestin: Qu cuadrado perfecto de diez cifras, al quitarle
una unidad se puede descomponer en cinco cuadrados perfectos idnticos?

SUMAS DE CUADRADOS
Todo comenz con Fermat
Hay nmeros que se pueden descomponer en suma de dos cuadrados, pero de cuntas
formas?
Para conseguir una respuesta a la pregunta formulada se necesitaron esfuerzos de varios
matemticos, pero todo comenz con Fermat y su Teorema de Navidad (lo comunic a
Mersenne el 25 de Diciembre de 1640, pero no lo demostr), y que actualmente expresamos
as:
Un nmero primo se puede descomponer en suma de dos cuadrados x2+y2 de nmeros
enteros si y slo si es el nmero 2 o bien es congruente con 1 mdulo 4 (es decir, si es de la
forma 4n+1).
El teorema directo es difcil de demostrar, y lo ha sido a lo largo de siglos mediante diversas
tcnicas (descenso infinito, enteros gausianos, etc.), siendo Euler el primero que lo logr. El
inverso est a nuestro alcance. Intntalo:
Un nmero primo congruente con 3 mdulo 4 no puede descomponerse en suma de dos
cuadrados de nmeros enteros.
Gauss, en la seccin 182 de sus Disquisitiones arithmeticae destac que esa descomposicin es
nica, salvo orden y signo. Los dos nmeros x e y han de ser primos entre s por qu?
De este hecho podemos obtener un criterio marginal: Si un nmero de la forma 4n+1 no se
puede descomponer en dos cuadrados o bien lo puede de ms de una forma, no es primo.

Esta propiedad de poder descomponerse en suma de dos cuadrados se mantiene si

multiplicamos dos nmeros primos de este tipo, y adems se puede duplicar el nmero de
posibles sumas. As, si 13 = 22+32 y 5 = 22+12, al multiplicarlos obtenemos:
65 = 13*5 = 82+12 = 72+42
Esta propiedad se desprende de la famosa identidad:

que nos viene a decir que este producto tambin es suma de dos cuadrados y adems de dos
formas distintas (si los sumandos son distintos):
65 = (2*2+3*1)2 +(2*1-3*2)2 = 72+42 (obsrvese que en el clculo se ha obtenido -4 y no 4)
65 = (2*2-3*1)2 +(2*1+3*2)2 = 82+12
Ocurre lo mismo si se multiplica el nmero primo por 2 (elemental no?)
Frmula de Gauss
Estas propiedades se resumen en un criterio que no vamos a desarrollar aqu, y es que slo se
pueden descomponer en cuadrados los nmeros en los que los factores primos del tipo 4n+3
figuren en su descomposicin con exponente par. Gauss fue ms all en esa seccin 182, pues
dio una frmula para contar el nmero de formas diferentes en las que se descompone un
nmero en suma de dos cuadrados con base no negativa:

donde ES significa mnimo entero igual o superior y los factores que le siguen se
corresponden con los exponentes de los factores del tipo 4n+1 aumentados en una unidad. La
frmula, como advierte Gauss, slo es vlida si los factores del tipo 4n+3 forman un cuadrado
perfecto.
As, por ejemplo, el nmero 325=52*13 se deber descomponer en
N=ES((2+1)(1+1)/2)=ES(3*2/2)=ES(3)=3
En efecto, 325=12 + 182 = 62 + 172 = 102 + 152 (tres formas distintas)
Y el nmero 6664 slo de una forma, pues 6664 = 23*72*17 y aplicando la frmula nos dara
N=ES(1+1)/2 = ES(1)=1, y su descomposicin nica es 6664=422+702

Actualmente se prefiere considerar todas las sumas de cuadrados posibles, incluyendo bases
negativas y teniendo en cuenta el orden. Esto multiplica por 8 el nmero de soluciones cuando
x es distinto de y y ambos son no nulos, y por 4 en caso contrario. As, el 13 presentara ocho
soluciones:
13= 22+32 = (-2)2+32 = 22+(-3)2 = (-2)2+(-3)2 = 32 +22 =(-3)2 +22 = 32 +(-2)2 = (-3)2 +(-2)2
Y el 16, cuatro: 16 = 42+02 = (-4)2+02 =02 + 42 = 02 + (-4)2
Igualmente, 8 presentara tambin 4: 8 = 22+22 = (-2)2+22 =22 + (-2)2 = (-2)2 + (-2)2