.····· ·· ·· ··· ··-· ····· ············ ···· ····· ····· ·····.

-- -·- ·· - -
• •
~ Lecciones populares :
•
..:• - · -- - -
de matemáticas
--- ·-·-
•
...••
...• NUMEROS
.•• DE FIBONACCI
..•
•
•
-·- . ·--·.. ·- ·- .. ····-·-·· - - - - - -
..•
•
•••
N. N. Vorobiov
••
•..__ ,. _,,__ . - . -······-·-------

••
•••
•• ••
•
•••
•
•••

Moscú
•••••••••••• • •••••••••••••••••••••••••••••••••••••
IIOlIYJUIPIIhlE mm.I.\lfü no MA'l'EMATJU{E

H. H. DOPOSbEl3

tnJCJ1A
ll>fü30 HAtPUI

l l:J)lA'l'l':JII,CTOO
llAYHA
LECCIONES POPULAílES DE MATEMATICAS

N. N. VOROBIOV

NUMEROS
DE FTBON¡\CCI

Traducido del ruso por Carlos Vega,

caloorático .de Mntomnticns Suporiores
candidato n 1loctor on cioncins
físico-mntcmáticas

EDITORIAL MIH
MOSCU .
 JJ\iPHESO EN LA URSS,
1 97~

Ha 11 c11<mCROM 1131.m e

© Tl'~ducciún al cspaí1ol, fülitoria l Mir, 197.J

 INDICE

Introducción 7
§ 1. Pr.opicdades elementales de los números
de Fibonacci 10
§ 2. Propiedades de los números de Fibonacci
relacionadas con la Teoría do los números 34
§ 3. Números de Fibonacci
y l as fracciones continuas 65
§ 4. Números do Fihonacci
y la Goomctrfo 79
§ 5. Números de Fibonacci y la Teoría
de búsqneda 87
 INTRODUCCION

1. En la antigüedad hubo muchos grandes matemáticos.

Numerosos logros de la ciencia matemática antigua admiran
hoy todavía por la penetración do sus autores y toda perso-
na culla conoco los nombres rlo Euclidoi;, J\rq11ímcdos y Ho-
rón.
Sucedió una época muy distinta paro. las Matemáticas
y, hasta Vieta que vivió en el siglo XVI y matemáticos más
próximos a nuestros tiempos, en el curso escolar no se men-
ciona ningún matemático grande. No os casual, claro está.
Las Matemáticas se desarrollaron en esa época con suma
lentitud y no dieron científicos de · talla.
Por eso, tione aun mayor interés para nosotros la obra
«Liber abacci» (Libro del ábaco) escrita por· el famoso mate-
mático italiano Leonardo de Pisa conocido más por su apo-
do Fibonacci (abreviatura de filius Bonacci , o sea, hijo de
Bonacci). Este libro, escrito en 1202, Jlegó a nosotros on su
segunda variante que data del año 1228.
«Liber abacci&, voluminoso t r atado que contiene casi to-
dos l os conocimientos algebraicos y aritméticos de aquol
tiempo, desempeñó un papel notable en el desarrollo de las
Matemáticas en Europa Occidontal durante varios siglos.
En particular, precisamente a través de esto libro conocieron
los europeos las cifras hindúes («arábigas») .
El material de •Líber abacci& se explica por numerosos
problemas que constituyen una parto considerable do la
obra. .
Consideremos uno de ellos, el que aparece en l as páginas
123 y 124 del manuscrito de 1228. ·
«lCuántas parejas de conejos nacen, en el transcurso de
un año, de una pareja inicial?» .
«Alg'Uien metió una pareja de cenejos en uit l~g~ total·
 8

mento cercallo de muros para conocer cuántas parejas de

conejos nacerían en el curso de un año si la naturaleza de
los conejos es tal que cada pareja produce otra pareja al cabo
de un mes y las conejas pueden parir a los dos. meses de haber
naci clo. Puesto que la primera pareja
cln descendencia el primer mos,
P<1l'cja inicial multiplíquese por dos y resultan ya
1 parnjn
2 parcjM; de ellas, una ·pareja, la
Primer mes
2 J><1r1:ja~ primera, produce también al mes
Sl'gundo nws siguiento de modo que en el segundo
3 p:trl'jns mes resultan 3 parejas; do ellas, al
Tercer mes mes siguientq dos parejas darán des-
5 parejas ccndcl)cia de mQdo que en el tercer
Cuarto mes mes nacerán..dos pnrojas más y el nú-
8 pnrojns mero ele .parejas llegará a 5; do ellas,
Quiulo ITIL'S eso mismo· mes darán descendencia tres
ta parejas parejas y al cuarto ines. el nÚ'lnero de
Soxto mes
21 parejas parejas llegará a 8¡ de ellas, cinco
Séptimo mes parejas producirán otras cinco que
3li p:ircjas súmadas ~ 1ás ocho d~rá1;t al quinto
Octavo mC\S tnes f3 parejas; de ellas, cinco' parejas
55 parejas nacidas eso mes no .darún descenden-
Noveno mes cf~, pero las ocho restantes sí, de modo
~·84 parejas qúe al sexto ·mes resultarán 21 parejas;
Décimo mes. sumadas a lns troce nacidas en el sép-
14(! parejas timo mes, darán 34 parejas; sumadas
Undécimo mes a las 21 nacidas on el octavo mes r
233 parojas
Dilodécimo mes
darán 55 parejas; sumadas a las 34
:m párcjas nacidas en el noveno mes, darán 89 pa-
rejas; sumadas a las 55 que nacen en
el décimo mes, darán 144 parejas; su-
madas otra vez a las 89 que nacen en el undécimo mes , darán
233 parejas; sumadas otra vez a las 144 parejas nacidas en
el último mes, darán 377 parnjo.s; esta .cnntid~d !le parnjas
produce la pareja inicial e11 el lugar dado al cabo :c}e un año.
Al margen puedo vcl'so cómo lo hacemos: .sumamos el JH'imor
número y cil segundo, o sea, 1. y 2; el segundo y el tcrc.oro;
el tercero y el cµarto; el enarto y el quinto y así.. sucesi-
vamente hasta sumar el d6cimo y el undécimo 1 o scaf 144
y 233. ObLenem.os el número Lotal ele las pai:ojM mencio-
nadas, o soa, 377. Y así se puede '·hacer-il.ll: et.mismo orden.:
hasta un número infinito de meses.» .. . ·, ..
 2. Pasemos ahora do los conejos a l os números y conside-
remos la sucesión numérica
(1)
en la que todo t érmino es igual a la suma de los dos anterio-
res, es decir, para todo n > 2 se tiene
(2)
Sucesiones de este tipo, donde todo término se determina
en función de los anteriores, aparecen frecuentemente en las
Matemáticas y 1>e denominan sucesiones recurrentes. El pro-
ceso que consisto on el cálculo sucesivo do sus elementos se
denomina proceso recurrente y la igualdad (2) se llama ecua-
ción recurrente. El lector hallará los elementos do la teoría
general de sucesionos rocurrontcs en el libro clo /\ . l. Mnrku-
shévich («Sucesiones recurrentes», Editori al Mir, 1974).
Observemos, ante todo, que l a relación (2) no permite
por sí sola calcular los términos de la sucesión (1.) . Se pueden
encontrar infinitas sucesiones numéricas diferentes que sa·
tisfagan esta condición, por ejemplo,
2, 5, 7, 12, 19, 31, 50, . . . ,
1. , 3, 4., 7, 11 , 18, 29, ... ,
-1, -5, -6, - H, -1 7, .. . ,
etc.
Es docir, para determinar unívocamente la sucesión (1)
no basta obviamente con la condición (2) y es preciso señalar
algunas condiciones adicionales. Por ejemplo, podemos
indicar los valores de unos cuantos pri meros términos de la
sucesión (1). ¿Cuántos primeros términos de la sucesión (1)
hay que definir para calcular , empleando sólo la condición
(2), todo.s los demás término~ ?
Señalemos primeramente que la relación (2) no permite
obtener cualquier término do In sucesión (1) porque no Lodo
término ele (1.) t.iene dos precedentes; por ejemplo, delante
del primer término no figura ni nguno y al segn nrlo le ¡>rcce-
dc sólo uno. Por eso, para determinar la sucesi ón (1) <lebc-
01os señalar, además de la condición (2) , sus dos pri meros
términós.
Obviamente, esto basta ya para po<lr,r oncontrar cual.:
quier término de la sucesión (1). E n cfoclo, podemos cal-
cular u1 sumando los valores escogi'dos para u1 y u,1 podemos
 to

~aj~_1.1lar Ú~ s umn.ndo u2 y el valor obtenido para ua , podemos

~Al~ular u,, sumando Jos valores obtenidos para u 3 y u,,
st~: y <1cn el mismo orden haslu un número infinitoi> da tér-
fríinos. Pasando así 110 dos términos consecutivos de la suce-
·sión al término que les sigue inmediatamente , podemos lle-
gar hasta el t érmino de cualquior índice fijado do antemano
y calcularlo.
3. Consideremos ahora un caso de especial i mport ancia:
la ~ucesión (1) cuando se toma u 1 = 1 y Uz = 1. La condi-
ción (2), como hemos señalado, nos brinda la posibilidad de
calcular uno tras otro t odos los términos de esta sucesión.
Es fácil comprob ar que los trece primeros términos serán
los nú meros
1, 1, 2, 3, 5, 8, 13, 21 , 34 , 55, 89, 144, 233 y 377
con los quo hemos Lro pc:.rn do en el probloma do los conejos.
En rnemoria del autor de csLo problema, la sucesión (1 ) con
u 1 = Uz = 1 sn llama sucesión de Fibonacci y sus términos
se denominan números de Fibonacci .
Los números de Fíbonacci poseen una serie de prop icd a~
des interesantes e importantes a las que esLá dedicado nuestro
libro . '

§1
PROPIEDADES ELEMENTALES
DE LOS NUMEROS DE FIBONACCI

1. Calculemos, para ompczar, la suma de los n primeros

números de Fibonacci. En concreto, demost remos que
U1 + U2 -f- · · · +Un = Un+2 -1 . (1.1)
EfecLivamcntc, tenemos
z¿¡ = 1./.3-'- U2 ,
UJ= U4-U3,

Un-1 = U11+1-Un 1
Un.= Un+2 - Un+I ·

Sumando miembro por miembro estas igualdades, encontra-

mos
u, +u2-I- .. . +un=Un+2-u:
y sólo queda recordar que u 1 = 1. : . !
 11

2. Para la suma de los númoros de Fihonacci de índiC<!s

impares so tieno ·
U¡+ U3 + U5 + · · · + U2n-i = U2n• (1.2)
Para demostrar este resultado tomemos
U¡= Uz,
li3 == U4 - U2,

lts =UG- U4,

Uzn-1 = Uin - lL2~-:a·

Sumando miembro por miembro estas igualdades, obtenemo::s
la h11scnda.
3. Para la suma de los números do Fibonncei de indices
pares, se tiene
U2 + U4 + · ·. + Uzn = U211+1 -1. (1.3)
Según el punto 1,
U¡ + Uz +U:¡+ · · · + Uzn = ~n+2 - 1;
restando de esta· igualdad miembro por miembro l a igualdad
(1.2), obtenemos
it2 +u,+ ... + Uin = U211+2 - 1- Uz,, = U2nH -1
como queríamos demostrar . .
Restando, además, miembro por miembro (1.3) de (1.2),
encontramos
U1- Uz+ U:¡-U~ + · · ·+ U211-1-U2n = - U:!n-1+1. (1.4)
Sumamos ahora U2n+I a amoos miombros do {1.4):
U¡ - Uz + U3 - U4 + ... - U2n + Uzn+t = Uzn + 1. (1.5)
Uniendo (1.4) y (1.5), obtenemos la suma altern ada de los
números de Fibonacci
Ul -Uz+ U3 - U4 + ... + ( - 1)'i+1Un = (-ft+1u.n-1+1. (1.6)
4. Las fórmulas (1.1) y (1.2) han sido deducidas sumando
miembro por miembro v arias igualdades evidentes. Esta
mísma idea se puode emplear, por ejemplo, para deducir la
fórmula de la suma do los cuadrados de los n primeros.núme·.
 f2

ros de Fihonncci
t,¡: -j- u; -j- . . · -1- u.;,= U.11U11+1 • (1.7)
Para ello fijém osnos cm que
ll·11111,+1- U.1,- 1u11 = u,, (u1,+t - u,,_,) = ult.

Sumando miembro por miembro las igualdades

11; = U1U2 1

!/.~ = UzU·3 - U¡U2 1

u; = u.3tt~ - Uzll3,

encontramos la fónm1la (1.7).

5. Muchas rotaciones entro los números de Fibonacci se
pueden domosLrnr f1ícilmonLe emplc~ndo el método do
inducción complot.a.
La esencia del método de inducción complel¡a (llamado a menudo
método de indur.ción matemática) consiste en lo siguiente: par a de-
mostrar q\1e cierta afümoción es viílida para cualquier número natu-
ral basta probar q11c:
n) es válida ¡iara ol n~moro 1 y
b) de su va iclo7. para un número natural cualquiora n se des-
prende su v~lidcz para el mímcro 11 + 1.
Toda domostr11r-ión indn~. tiva do una uiirmación que incluya un
número natural n consta, pol' Jo tanto, do dos partes.
En. la .p rimera parlo (rolativnmontc. sencilla por lo general) se
demuestra que Ja nfirmación es válida pura L Esta priJ.nera parte so
denomina a veces base de la inducción. Bn 111 sogw¡da parte (que suelo
ser mñs complojn) !SO supone que la afirmación p,s válida para un nú-
mero a1·bitr11rio (pero fijo) n y, a partir de- esta hipótesis quo frecucu·
temcnto so dcuomi na hipútr.si.~ i nductii;a, so demuestra que la afirma·
r.i6n <'S válida t.arnhlGu }lRl'a el n(1mero 11 +
~. Esta segunda pnrte
lleva el nombro do poso i11d11cli1.10.
Una c.xposiciún detallada de diferimtes vnrinritos del m6todo do
lndur,ción compl<'t.11 1 acompaiiada do múltiples ejemplos, so puedo
rm~nlrar en I!! .lil>ro de l, S. Somiusl<i cl!:l .métod'o de lo in<lucciún
matrmátic:i» (F.ditorial MII\, 1974). En particular?. la variante basa-
rla <'n el paro in1lncLivo •tic 11 y 11 + +
t· n n .2• (que 11Wir.arronos rei-
tcn1tlamc11tc) apnm:c en o! libro <lo ·Somínski en 'ol :punto 4 do la i11-
trodncción y so uclara con ¡¡l ejemplo 7 y ol pro~lcma i2.
A vecl!!' so 11¡1líCI\ ol razo¡¡nmfonlo ind11ctiv9, gue pue~c ser llumndo
paso «1lo torios lo~ números mcno'res -quo n ul n111ilcro 11i>. go. este caso
huelga la baso inductiva ya -que, l1ablundo convenciortnlmeote, la
demostr¡icióu pnrn n = 1·, consist~ en ol paso .de «todos• los núme-
 lll

ros enteros positivos menores que uno (quo simplcmcnw uo existen)

al uno.
Precisamente nsí se demuestra quo todo número natural puede
ser descompuesto en factores primos.
Supongamos quo todos los númoros menores quo n pucdon ser
descom~ucstos en factores primQs. Si el númoro n es primo, os dcs-
compos1ción de sí mismo. Si el número 11 os compuesto, puedo ser,
por definición, represento.do como el producto do dos factores por lo
menos: n = nin 2 , dondo ti 1 =f= i y n3 =t= i. Pero on este caso resulta
que n 1 < n y que n 3 < n y, de acuerdo con la hipótesis inductiva,
tanto n1 como n 2 se descomponen en factores primos. Por lo tanto,
también n se descompone en factores primos.
La demostración del teorema dol punto 36 del § 2 so b11sa en una
variante aun más compleja del razonamiento inductivo.
6. La realización más sencilla de la idea de la inducción
en el caso de los números do Fihonacci os la propia defini-
ción (lo osLos m'111101·os. Consisl.tl, como hcmo~ ex plicndo en
la introducción, en indicar los dos primeros números de
Fibonacci, u 1 = 1 y Ui = 1, y en aplicar el paso inductivo
ele Un y Un+i a Un+ 2 condicionado por la relación recurrente
lhn +Un+l = Un+2·
En particular, do aquí rosulta inmediatamente que es su-
cesión de Fíbonacci toda sucesión de números que comienza
con dos unos y en la que cada número siguiente se obtiene
sumando los dos antoriorcs.
A tít;ulo de ejercicio, consideremos «el problema del
saltador» que consiste en lo siguiente.
J~l saltador puede desplazarse en una sóla dirocción a lo
largo de una franja cuadriculada saltando cada voz a la
casilla inmediata o por encima de ella a la siguiente. ¿cuán-
tos modos de desplazarse en n - 1 casillas y, on parti-
cular, de l a primera a la n-ésima tiene el saltador? (Se con-
sidora que dos modos son idénticos si en cada uno do ellos
el saltador se posa en las mismas casillas.)
Sea Xn el número buscado. Es evidente que x1 = 1 (pues
existo un sólo modo de pasar de la primera casilla. a la pri-
meru, a sa])er, no realizar salto alguno) y que x 2 = 1 (ya
q uo o.xisto un sólo modo de pasar de la primera casilla a la
inmediata que consiste en un sólo sal to a osa casilla). Su-
pongamos quo el saltador quioro llegar a la (n +
2)-ésima
casilla. Por definición, el número total do modos que tiene
para alcanzar este objetivo os Xn+ 2• Pero estos modos so divi-
den en dos clas~s: la quo comienza con el salto a la segunda
casilla y la que comienza con el salto a la te.rcera. Para lle-
gar a la (n + 2)-ésíma casilla el saltador tiene .t11+t .modos
si arranca de la segunda y x 11 modos si arranca do fa tercora.
Por lo tanto, la sucesión de los números x 1 , x 2 , • • • , x 11 , • • •
verifica la relación recurrente
.xn +X11+1 = X11+2.
o sea, coincide con la sucesión de los números do Fibonacci:
Xn =Un.
7. Demostremos , empleando la inducción, la siguiente
fórmula importante
(1.8)
Para demostrarla aplicaremos la inducción según m. Si
m = 1, la fórmula da u 11+ 1 = u11 _ 1 u 1 + UnU 2 y es ovident.c.
Si m = 2, la fórmula (1.8) es también evidente porque
Un+i= Un-1~ + UnU3 = Un-1 + Zun=Un-t + U·n +un=Un+l -1- Un·
Hemos demostrado así la baso de la inducción. El paso
inductivo lo realizaremos en la forma siguiente: aceptando
que la fórmula (1.8) es válida para m = k y para m = k 1, +
demostraremos que también es válida para rn = k 2. +
Es decir, sea
Un+h = U11-1ll1¡ + UnUh+l Y lin+h+I = Un - 1Uh+1 + U,.l¿h+2•
Sumando miembro por miembro las dos últimas igual-
dades, obtenemos
Un+h+2 = Un-1Uk+z +UnUh +3
como queríamos demostrar.
Es fácil explicar (o incluso demostrar) la fórmula (1.8)
en términos del probloma del saltador.
En verdad, el número total de modos ·que tiene el salta-
dor para desplazarse de la primera casilla a la (n m)- +
ésima es igual a u11+m• Entre ellos habrá modos en que el
saltador pasa por encima de la n-ésima .casilla y otros en
que so dcl;icnc en ella.
En todos los modos de la primera. clasé, el saltador tiene
quo llegar n la (n - 1)-ésima casilla (puede hacerlo de
u 11 _ 1 modos), saltar después a la (n +
1)-ésima casilla y,
finalmente, desplazarse en las (n + m) - (n + 1) =
= m - 1 casillas restantes (estó último puede hacerlo de
Um modos). Por lo tanto , la primera clase comprende un
total de Un-tUm modos. Análogamente, en los modos' de la
segunda clase el saltador lloga a la n-ésima casilla (un mo-
dos) y después pasa a la (n + m)-ésima casilla (valiéndose
do uno de los Um+i modos quo ticno para ollo). Por consi-
guiente, la segunda clase comprende un total do UnUm+i
modos y con esto queda demostrada la fórmula (1.8).
8. Poniendo m = n en ln fórmula (1.8), obtenemos
Uia = Un-IUn + UnUn+h
o sea,
U2r1 =Un (Un-1 + Un+1)· (1.9)
Do esta igualdad resulta quo u~n os divisible por Un·
En el pnrágrnfo siguiente dcmoslrnrcmos un rosulta<lo
mucho más general.
Puesto que
ILn = Un+I - ltn-11

la fórmula (1.9) puede ser cxprosada así

U211- = (un+I - Un-1) (nn+I + U11-1),
es decir,
U2n = u41-U~-f,
o sea, la 'diferencia de los cuadrados do dos números de Fi-
bonacci cuyos índices difieren en dos es de nuevo un número
de Fibonacci.
Por analogía (poniendo m = Zn), se puede probar que
llJn = u.~+1+11.:,-u~-I ·
9. Más adelanto será útil la fórmula siguiente
2
Un= ll·n-1Un+I +( - 1)n·•1• (1.10)
Demostrémosla empleando la inducción según n. Para·
n= 1 la íórmula (1.10) dice
U~= U1U.3-Í
lo cual es evideifte.
Supongamos. ahora quo la fórmula (1.10) ha sido demos-
trada para un valor de n. Sumemos unu"'¡.¡ a ambos miem-
bros. Tendremos ·
u!+ 1.t,,nn+1 = u,._1un+1 + u.,u.,.¡.¡ + (-1r+1
 ·· ... tG
·.. ~.:..: .... .
. .6.. . -

o. $oa,

·es decir,
ll~+t = ltnUn+?. + (-1)n•z.
Con esto queda nrgurnontado el paso inductivo y demostrad a
la fórmula (i.10) pura cualquier n.
10. lgual c¡no linn sido demostradas estas propiedades de
los númorns de Fi bonncci, so puede demostrar también estas
otrns
"•"z +u .it:i + 1i311.~ -1- ... + 11-i,1-1nz,. :.:.= 11.~11.
2

/1.1112+ +U.31.l~ + ·· ·+ lt:Jntl.zn+l =!t¿n+i -

lt2U.3 ·1,
1m1+ (n-1) tii+(n-2} u;i+ .. . + 2tt11- d-ur,=u,~+i -(n+3),
u,+ 2tt +3u3 + ... -1- nu = nUn+2 -U +3 + 2.
2 11 11

La demostl'aci6n quedn al albodrio del lector.

11. 'l'anto interés como los números de Fibonacci Liencn
los llamados coeficientes binonuales.
Los cocficicnlos binomiales son los coeficientes que tienen
las potencias de x en el desarrollo de (1 + x)n:
+
(1 +:c)'1 = C~ C~x+ c:ix2 + ... +
C~x". (t.11)
Es obvio que los números C~ se determinan unívocamente
para todos los valoras enteros positivos de n:y pnra todos los
,•alores enteros 110 negativos de k que no pasan de n.
Bn muchos ra1.0nnmientos matemáticos es funcional re-
currir n lo~ coeficientes binomiales. También nos serán úti- ·
les en ol estudio ele las propiedades de los números de Fibo-
uacci. Además, existen vínculos directos entre los coofi-
cicnlos ))inomiales y los números de Fibonacci; más adelanto
revelaremos ciertas regularidades que existen entre ambas
clases <le números.
Demostremos, prcviamenLc, algunas propfodados de los
coeficientes liinomiales.
Poniendo n = 1 en (1.11).• vemos inmediatamente que
C~ =C~ =1;
además , Li1me lugar el lema siguiente.
 11

Lema . e~+ c~+I = C~tl1 .

Demostración. Tenemos
(1 +x)11• 1 = (1 +x)" (1 +x),
o sea , empleando la definición do los coeficientes binomiales
C~+1 + c;l-1-1x+ C~+ix2+ ... +C~.f 1x"• = 1 1

= (C~ + c:,x +C~x2+ ... + C~x") (1 +x) =

= C~+ (C~+C~) x+ (C~+C~).t + ... 2

... +(C~- +C~) za+ C~x • • 1 11 1

Por consiguiente,
C~+1 =C~,
C)t+ 1 = C~ +C}.,
C·ll+t
n+t _e'•n -1- e"+
- n 1 1

,-.n+I
vn+I = en
n

como queríamos demostrar.

De este loma resulta que los coeficientes binomiales se
pueden calcular aplicando un proceso recurrente, análogo al
que permite obtener los números de Fibonacci, pero mucho
más complejo. Esto permite demostrar, empleando la in-
ducción, distintas propiedades de los coeficientes binomia-
les.
12. Consideremos los coeficientes binomiales en forma
de la siguionte tabla llamada triángulo de Pascal

e~
c~q
qc~q

c~c~c~ ... e~
2-0308
 Hl

e~ 1lací r,
1
1
2 1
3 ,, ')
t
1 1, (j li 1
l !í 10 10 5 1
() 1~) 20 15 () 1

Se ¡1cos t11111Lra 1111mcr:ir las fi l as del l.riúngulo de Pascal

~npczan1lo por nrri ha y 11cepl.a1Hlo (¡tic In Jila superior com-
011<'sla por 1111 st'ilo 11110 os la fi !n cero.
Do lo 1111t<'rio1· nlsu l la quu los tórminos cxlromos de cu<ln
111111 de las filas 1\cl l rihngnlo 110 1'nscul so11 iguales n uno y
cp1u lodos los domás ~e ()hticrwn s um anclo los dos t ~ r mi nos
ro~rmc.t. i Y OS ele la fil 11 nu \.erior.
13. La fó rmula (1. '11 ) permite oble11or de i1uncdialo dos
impot'tantcs tl\lac\onos q11c vincul an l os coeficientes bino-
niiales corrcsponclie11Lcs a uun mismn füa <lol lriángu lo de
Pnsc11l.
Tomando x = 1 on (1.11), eucontrnmos
211 =- e~. +e}, +e;+ ... +e::.
Por oLro lacio, l.omaudo x =· -1, obtenernos
º= c~-c:,+ e;,+ ... + <-- 1ric~.
14. Demo.<;\.rcrnos empicando la inducción según n que
C" = ~1 (n -1) ... (11-k-J-1) ('1. 12.)
11 1·2· ... ·k .
H1:1t.a fórmula snclu 1' mplearsc co.mo definición tlo los cocfi-
citH1 lcs binomi ales. Dclermina el cocficienlc binomial como
d número dl! combin11cioncs de orden k formadas con n
clomcnto!'. Hemos ido por olro camino, menos tradicional,
c¡uo en nuClslro c:i.c:o t\'i prcfcrihlo.
Si conveni mos en <J UC c.l 1noclucl.o de unn c11ntidnd nul a
de factores os síumprc igunl a 1, obtenemos do (1.12) t oman·
do k = O el l'osult ndo C~~ = 1 que ya coooccrnos . Teniendo
csl o en cuenta, podemos limil.<\rnos a l caso en que le ~ 1.
 Para n = 1 resulta
ei - T-1
l
-. - {

Supongamos ahora que la fórmula (1.12) es váli<la para

un valor doterminado da n cualquiera que sea el valor de k
(k = O, 1, ... , n).
' Consideremos el número c:~tt. P11esto que k ~ 1, tene-
mos
Chn+t -- C't-t
n + C''m
o sea, empleando la hipótesis inductiva (1.12),
ch-i + c't _n(n -1) ... n-k+2)+
n n - 1·2·, . , · (k- 1)
+ 11 (n-1) .. . (11-k-1-2) (n- k ·\· 1) __
1· 2· ... . (k-i)k
= n (n-1) ... (n-k+2) ( i +n-k+i) =
1·2· .... (lc-i) k
1i (n-1) ... (n-k+2 ) k-1-n-k-H
= 1·2· .... (lt-1) k =
(n+1) n(n-1) ... (n-k-1-2) h
= 1·2· .... (k-1) k Cn+i·

La última igualdad os la fórmula (1.12) aplicada a los

coeficientes binomiales que se encuentran en la fila siguien-
te (es decir, on la (n + 1)-ésima fila) del triángulo do Pascal.
15. Tracemos por los elementos del triángulo do Pascal las línoas
que forman 45° con sus filas llamándolas diagonales ascendentes del
triángulo de Pascul. Por ejemplo, serán di11gonales ascondentes la
recta que pasa por Los números 1, 4 y 3 6 la recta quo pasa por \os
números i, 5, 6 y 1.
IJa suma do los números que portcmecon a una misma diagonal
a~ccnclcntc es un número de Fibonacci.
Efectivamente, la primera diagonal ascendente (la superior) del
triúugulo do Pascal consta s6lo del uno. También la segunda diagonal
consta sólo del uno. Para demostrar el resultado que nos interesa liasta-
rá probar qoo la suma de todos Los olcxnentos que componen lo. n-
ésimn y Ja (n + 1)-ósima diagonales del triángulo de Pascal es igual
a la suma de los números pcrwnccicntcs a su (n +
2)·é.~ima dingonul.
Pero los números do la n-ésima diagonal son
c~_ 1 , c~-2· c~-a . ...
y los de la (n + 1)-ésimn diagonal son
C?,, q,_1, C?t-~• ...
2*
 20

La surua do estos mímeros es

Cl!i+ (C~1-1 -f-Cl.-1)+(Ch-i+C?1-~)+ · ·· •
o sea, recordando el lema del punto i1,
C?,+i +Ch+ C~-1 + . · .
La última expresión es la suma do los elementos que pertenecon a la
(n + 2)-ésima diagonal ascendente del triángulo.
De aquí, basándonos en la fórmula (1.1) obtenemos jnmediatamcn-
tc que In suma <le todos los cocficioilLcs binomiales que so encuentran
011 la n.-ésima ditlgonnl :lscendente del triángulo do Pnscal y por enci-
,ma do ésta es ig11:1l 11 Cln+z - 1.
Empleando las fórmulas (1.2), (1.3) y (1.4} y otras somejo.ntes, el
lector podrií encontrar sin dificultad otras identidades que vinculan
los mímoros de Fibouacci y los coeficientes binomiales.

16. I-IasLa aquí hornos dofini<lo los números de Fibonacci

mediante la ecunclón rocurronte, o sea, 0mplonn<lo la induc-
ción según el índice. Pero resulta que todo número de Fibo-
nacci puede ser definido de un modo directo, es decir, como
función de su índice.
Estudiemos con este fin las distintas sucesiones Uft
llz, . . . , lt,., • . . que satisfacen la ecuación

(1.13)
Diremos que todas estas sucesiones son soluciones de la
ecuación (1.13).
En adelante indicaremos por V, V' y V" las sucesiones
V1, V2, V3, · • ·,
v;, v;, v;, ... y
v'; , v; , v; , .. .
Demostremos, primero, dos lomos elementales.
Lema 1. Si V es una soluci6n de la ecuación (1. 13) y e
es una constante, también la sucesl6n cV (o sea, la sucesión
cvil cv 2 , cv:l'• . .. ) es una ·solución, de esta ecuación_
Demost.ración. Multiplicando por e ambos miembros
de 1a igualdad

obLunomos
CVn = CVn-2 + CVn-1
como queríamos demostrar.
 21

Lema 2. Si las sucesiones V' y V" son soluciones de la

ecuación (1.13), también la suma. V' +
V" (o sea, la sucesión
v; + v~, v; +
v;, v; +
v~ 1 • • • ) es solución de esta ecuación.
Demostración. Por hipótesis, tenemos
V~= V~-1 + V~-2 y V~=U~-1 +v;,_z.

Sumando estas igualdades miembro por miombro, encon-

Lramos
v~ + v;'. = (v~-1 + v~-1) + (v~- 2 + v;._z).
Con esto queda demostrado el lema.
Sean ahora V' y vu dos soluciones no proporcionales de
la ecuación (1.13) (es decir, dos soluciones de la ecuación
(1.13) tales que cunlquiora que sea la constante e habrá un
v~ =I= e). Mostremos que toda sucesión
número n para el que·• Vn
V, solución de la ecuación (1.13), puede ser representada así
V=c1V'+czV", . (1.14)
donde c1 y c2 son unas· constantes. Por estn razón se suele
decir que (1.14) es la soluci6n general de la ecuación (1.13).
Demostremos primero que siendo V' y V" dos soluciones
no proporcionales de la ecuación (1.13), se tiene

(1.15)

(o sea, que la no proporcionalidad se manifiesta ya en los

dos primeros términos de las sucesiones V' y V..).
Demostremos (1.15) por el absurdo. Supongamos que
para dos soluciones no proporcionales V' y yn de la ecua·
ci6n (1.13) so tiene
(1.16)

Formando la proporción derivada, resulta

ví +v~ u;
uN+vN
1 ~
=7•
,

o sea, recordando que V' y V" son soluciones do la ecua·

~tón (L 13),
 22

Análogamenlc comprobamos {¡inducción!) que

¡.·;, v~ v;t
v3 = v; = · · · = 11~ =
Por consiguiculc, <lo ( 1.1G) resulta que las sucosioncs
V' y Vº son proporc.ionales lo que contradice la hipó~esis;
es decir, es válida la relación (1.15).
Tomem os ahora 111rn sucesión V, solución de la ecuación
(1.13). Según hemos explicado on el punto 2 de la introrluc-
ción, esta sucosión q1wcln pcrfoclamcmte determinada si se
in1lican sus dos primeros términos u1 y v 2 •
Busquemos l os valores de ~1 y c2 de modo que sea
c,v; + c2 v; =vi.
(1.17)
+ C2v; = lJz.
C1V~
En est.e caso, Ja suma c1 V' + c V" coi ncidirá,
2 debido a
los lomas 1 y 2, con la sucesión V.
En virt.ud de ln condición (1.15), el s islema de ticuacio-
ncs (1.17) ti1me solución respecto a c1 y c2 cualesquiera que
.sean los números v1 y v 2 : •

(La conüición (1.15) significa que el denominador de ambas

fracciones es distinto ele cero.) Jntroth1ciendo en {1.14) los
valores obtenidos para c1 y e, cnco11tramos la reproscntación
requeri<la de la sucesión V.
Es decir , para describir todas las soluciones de la ocua-
ción (1. f3) hasta cncont.rnr dos· soluciones no proporcionales
de la misma .
Busquemos csLas solucioi1cs entre las .progrQsiones geo-
métricas. Según el lema 1, hasta -c.o nsid'o rar.)as progresiones
cuyos primeros términos son 1. Tomoqios, pues, la progre-
sión
1, q, q2, . ;•.
Para que sea una solución de la ecuación (1.13}, os suficien-
te que parn toclo n se cnmpla la i'guald;id
q''-z + q'l-1 = ·el
o, divitlicnclo poi' r/- 2 ,
i + 'I = ~?.· (1.18)
 23

,
L as ratees de esta ccuac1on,
. , es d oc1r,
. 1os nunwros
, -1 +-115
2
y
.1
--=z--
115 , serán lns razones hnscaclas do las progresiones.
Indiquémoslas por a y ~. respecLivamenLo. Los números a
y ~, como ruices do la ecuación (t.18), satisfacen las
relaciones 1 +
a = a.2, 1 +
~ = ~ y ex.~ = -1.
2

Hemos obtenido de esta forma dos progrnsioncs geométri-

cas, soluciones ambas de (1.13). Por eso, todas sucesiones
de tipo
C¡-!- C2, C¡Ct + Cz~ i C¡ CG
2
+ C2~ 2
, .• , (1.1!.l)
son soluciones de la ecuación (1.13). Las progrosiones halla-
das tionon dist.intns ra1.011cs y, por onde, no son proporciona-
los, o :oioa, la íórmula (1.Hl) co11 disl.i11 l.o.<i vnloro.<i do c1 y
de c 2 ofrece to<las las solucio1ws de (1.ía).
En particular, para ciort.os va lores de 1:1 y de c 2 la f ór·
mula (1.19) debe coincidir con la sucesión de Fibonacci.
Para ello, como hemos explicado, hay que determinar c 1
y c 2 de las ecuaciones
C1 + Cz = U¡ y C¡<X + Cz~ = U z,

es decir, del sistema

Resolviéndolo, encontramos

C1=----
1+V5 Y
21/5 .
de modo que
u.,= C¡an-1 + C2~··-1 =
=1+1/5(1+Vfi)"- 1 _ 1-Vs(1 -V5)n- 1
2 V5 2 2 Vs z ·
o sea,
( 1\-v5 r-( ~~r (1.20)
¡i,.=
 2'1

La expresión (1.20) lleva el nombre de fórmula de Binet

(en memoria del matemático que la encontró).
Es evidente quo fórmulas de este tipo se pueden encon-
trar tamhién para otras solucionos de (1.13). Proponemos
al lector cled ucir1as en el caso de las sucesiones indicadas en
el punto 2 de la introducción . .
17. Hemos visto quo a.2 = a +
1. Está claro, por eso,
qu~ toda potencia entera positiva del númoro a puede ser
representada en la forma aet + b, donde a y b son números
enteros. Por ejemplo,
o.3 = cux,2 = C4 (a + +
1) = o. 2 a = a + 1 + a = 2a +1, ·
a = aa =a (2a
4 3 +
1) = 2a2 +a= 2a 2 +a= +
= 3cx. + 2,
etc.
Demostremos (por inducción) que
el"= Unet-f-Uti-1·
En efecto, para n = 2 y 3 esto es cierto. Supongamos que
11 11
a, =!1-1,a+1.i 11 _, y a • 1 = UhHª u.11. +
Sumando estas igualdados, obtenemos
a"' +a"'+1 =(u,,+ u.1<+1)et+ (u1H + 1t11),
o sea,
11
Ct +2 = U1¡.~2a + U•h+I

y con esto queda argumentado el paso inductivo.

18. La f6rmula de lJínot es aprofiada pora haJl:ir la suma dB
muchas series relo.cionadas con los numeros de Fibonacci.
Determinemos, por ejemplo, la suma de
u;i+u 8 -l-un+ . .. +uan·
Tenemos
ci3-~S a.º-13ª aan_133n
~+ue+···+113n= l/5 + 1/5 + ... + -V5
= ~g (a3.f-a.e+ ... +aªn-~ª-~º- ... -~3n);
sumando las progresiones geomótricas que aquí aparecen, encontramos
i ( a.3n+3 - a3 ~3n+3 - ~3 )
u;d-uG+· .. +rt3 n = Y~ a3-1 ~ª-1 •
 25

Pero

'y, nnálogamente, ~3 = i = 2~.

Por eso,
( a311+a _o:ª
i ~31H3-~3) •
u3+uo+ ... + Uan = 1/5 2n 2~ '

=.!. ( o;8n+2-~3M2
2 Vs
t9. Veamos otro ejemplo de aplicación do In fórmula de Binet:
determinemos la suma de los cubos de los n primeros números de Fibo-
nncci.
Obs0rvomos, nnto todo, <¡uo
_ { a"-~" )ª __!_ c.»-3o;2h~"+3ah~21l-~3ll
u~ - y5 - S 1/5 ·

=-si ( etª"-~ª" a"-~

11
11
ª ~"
3 )
'V5 Jf5 =
1 1
= s (u3h-(-1)11 3uhl=5 [us1t+(-t)h13u11].
Do nqu( quo

ui +ui +.·.+u~=
1
-5 {(u3+us+ .. . +uan) +3 (ul- uz+ua- ... + (-t)nH un)},

d_e dondo, empleando la fórmula (i.G) y lo_, resultodos del punto .ante.
r1or, resulta
u~+u!+ ... +u!=; [ Uan+;-t +(-i)"+i31tn-1]=
"anH +(-i) +t 6un-1 -1
11

= 10
_ 20. Es oportuno plantear l a cuestión de la rapidoi con
que crecen los números de Fibonacci cuando aumenta el
índice. La fórmula do Binet permito dar una rospuesta bas-
tante coml?leta.
Es fácil do mostrar el teorema siguiente.
Teorema. El nlimero de Fibonacci Un es el entero m.ás
pr6,xin¡,o al n~mero ..y5, o sea, e~ et eJl,tero más pr6~imo ql
 26

rz-es1mo térmilw a 11 de la ¡>rogrcsi61i geométrica cuyo primer

. . es "\f!;
ternww (X.
y cuya raz6n es a.
Demostración. J3nsln clcmosl.rar. que el valor absoluto de
~ . Pero
l n cli fcnmcin c.11 l.n ? 11-,. y a.,1 es sic mp1·e menor que
~11 t~ ¡1i
1 n,, -a.,, I '"'"'
1
t,¿tt-f3 ••
• ,.,:
!' ~J
r,¿"·
- 7;=-
\/ !l
=- -v-5
1 · 1 a" ·-O:." - 1
= -v-5 .
P11csl.o q11c ~ ""' -0,ü~ .. ., so tiene 1 ~ ! < 1, es decir,
1~ ¡n 1 para 1odo n; con mnyo1· razón 1~
1
< (ya <-}
que V5 > 2). 1Lomos demoslrndo el teorema.
Modi'ficnnclo 1:1 1lcmoslrnció11 du este toornmn, ol loclor
J;1111ilíal'izado cu n la lcol'Í:t rlo los límites Jlodríl fáci1mc11t.e
proJrnr q uo
lírn ju.,. -a,.I =0.
1;:1 Lt•orcma de111osl.rarlo pm:mil.o caltndar los 11úme.ros <le
Fihonncci ernplenndo lns t.ahlas do. logaritmos.
Calculemos, vor ejemplo, u 11 (quo es, dicho sea do paso,
la respuesta al problema do li'ibo11:lcci de los conejos):
~rr; = 2,23Gi, Jg V5 = o,3494ü;
- 1 + ·1: 5 - ~ (' 1ºO O 208n8
Jga=,
cr.- 2 -J,> <..>, .,;
lg <1.t:
'\15 = ·14. O' 20.S98- O,3MM.V = 2,5762,
aU '
1 .,
= 376,!J. - :¡<
--

El número ontcro .m:i~ próxi mo a 376,9 os 377 y esto es,

precisamo11tc, u, 4 •
En ol caso <le un número do Pibonacci do índice grande
no podremos d9te1'rnin;:1r todas sus cifras basándonos en lns
Lablas do logarit~.os (sólo podrnmos cnlcular algunas de
s us primtn·as cifras) por l o cual el cál ~nlo resulta apri>xi-
mHdo.
J\ IÍI ulo tlc dc1·cicio el lccto1· puedo domosl.rnr true en
ol sist<1rna decimal ltn t.icno parn n ~ 17 no más do ~ y no
menos Jo ~: cifras. ¿cuántas cifras tiene u 10 ~q?
 Z7

21. }!¡] rcsulto<lo del punto mitrtior S<~ rurdo ¡1rceis;ir cun el tco-
romu signientc qut) so1·J í1Ul nuís ailolanlc.
Tcorl'mn. Se lic11c
n-..!.. n 1.1..
f'I. " • rt. 11

V5 ~ 1111 --:~ -Vs .

Dcmoslración. Limit.ómosnos :1 11omos\r<tl' h1 pri111crn ~:;igw1ldntl;
la otra so demuestra do un modo uuálogo.
Do la fól'muln do J!inot resulta quo
i .
"11= V5 <«"-IJn>;
puesto q110 «~ = -1 , hasta dcmostrnr para unc:;tros íiut's quo
l
n--;¡- " i
rt. ~. a" --·--
. a"
o quo
211-..!..
« "-~a2n_ ¡,

os decir, olcvanrlo a la u-ésima pot.cncia, QUl'

C1.2n1- I <Ca2" - t)11. ('1.2·1)
Pomoslraremos c¡¡la dcRigualclMI por ituhir.ción. Para /1 = 1 :;e
convierto en
«~a' - 1
que e:;, 1)11 ofoclo, lo quo ocurro (prccisamC'nlo con el i1iguo 1lc igual-
dad). Siendo 11 = 2, la desigualdad (1.21) significa que
a1 ~ («~ - i)'. ( 1.22)
Esto se puede demostrar ronli'l:ando el cálculo directo. Pero también
podemos rcrurrir nl rosull.<ldo cnc.nnll'ndo 011 el pnuto 17: tenorno$
o.4 = :h 2, +
(c.c.4 - 1)2 = (3CL +
1)2 = 9at +
ÜCL -!- l = l!'ict. -1- l 0
y, por oso, la dcsigualclnd (1.22) significa quo
a¡ = 130: 8 ~ t~ + iO +
lo C\1al es ovidento. En fin, para JI. = a la dm¡igunl<la1l (t.21) tlicc
o;l7~(et'- · 1)3
y so comprueba <lo morlo nnúlogo.
Supongnmos 11horn quo ii > 2 y que (1.21) es válidu; demostre-
mos quo
CL2(r1+ J)2-f < (C1.:?r112 - f)"+I.

P11r11 ello bastn probnr quo al numontnr 11 en uno, ol segundo miembro

do (1.2i) crilcc con mnyor rQpirlt'z quo ol primero. Pero es obvio 1¡110
 28

el primor miembro crece on a 4 n+a veces. Estimemos el crccimieDto

del segundo miembro.
Tenemos
(a2<n+l> - 1)11+1
[a2<Ml> - 1] [
a,2Cn+ IJ -1. Jn. .
(a2n- f)n a 211 -1
La última fracción es mayor quo ali ya quo
a2<n+1J-t

1
- a,2n -1 a2n-I

Por consiguiente,
a2inth - 1 -¡n> (a2 ·J--2-J-
1 )n
=a2n..¡.n
o:Zn-2
a2n-i + ... '
[ _ a,Z•t - 1 .. a.. n-
dondo los puntos susponsivos correspondon a sumaJJdos positivos.
Puosto que n > 2, la última suma es mayor que a.2 11 + t. Por eso,
1a2<n+t¡ -1111+1
......____,,.........-..,.-......_-> (a2(n+h - i) (a2n +t) =
(a2n_1)n
=a:4n+2 + a2n+2_a2n_1 = a4n+Z+azn (a.2-1)- 1 =
= a.4n+2-!-a2n+t- i > a'n+2
y queda demoslrado ol teorema.
22. Consideremos una clase más de sucesiones basadas
en los números de Fibonacci. Sea x un número arbitrario.
Calculemos la suma
Sn (x) = ll¡X + U~x2 U 11 Xn. + ... +
Para ello npliqncmos, ant o todo, la fórmul a de Binet:
a-P et.2-p2 · a.n-pn
s11 (x)= y-5 x+ - ¡ - zZ+ . ..
i 5 5
xn = + y-
i
= V-
(ax+o;2x2+ ... +anx11) -
5
1
- V (Px+pixz + ... +Pnx»). (1..23)
5
Entro paréntesis aparecan las sumas de clos progresiones
geométricas do r azones ax y ~x. La fórmula que so emplea
para calcular la suma de una progresión geométrica es apli-
cable sólo si la razón es diferente del uno. Si la razón es
igual al uno, todos los términos de l ~ progresión coj:n~t d {lq
y la suma ge calcula fá~illllerite, .
 20

Por eso, consideremos primero el caso ax =/= 1 y ~x =!= 1,

1 11 .
o sea x=/= (i = -~ y x =/= lí = -a. Sumando entonces
las progresiones geométricas que figuran en (1.23), obtenemos
t an+lxn+l-ax i ~n+lz»+1-~z
Sn
( x) = -V5 a:c-1 yf. ~x- i
01 <lcspnés do transformaciones lógícRs,
1 _(:..;.a_n_+1_.r.•_•+_1_-_a_:c..:..)(.::..P_z_-_t..:..)-~(p'-n_+..,.l.z...
n+_1___,~_z..:..)(.:..;.ax_--_t~)
S ( X) - - -
n - V5 (a.<t" -i) (~z - i) 1

de donde resulta
1 a,n+l~.:z:n+2-a,n+l.zn+1 +ax
Sn(x)= -V5 ·a~z:2-(a+PJx+1
cr,pn+lxn+Z-BnH,¡;nH + ~x
cx~Z-(a+~)z+1 ¡,,.
Recordando que a~= -1 , a+~= 1 y a-~= y5,
tenemos
x )/5-_ (a"-~») zn+2-(a,n+t _~n+I) xn+I
Sn(x)= v-s1 1-x-x2

y definitivamente
x- Unxn+2_ Un+t:i:n+I
Sn (x) = 1-z-z2
( 1.24)

En part.icular, tomando x = 1, encontramos

Sn (1) = U1 + + +U2 •• • Un= 1-un

--t Un+I =Un+2- i

lo que concuerda con lo dicho en el punto 1.

Si x = - 1, tenemos
S11 ( - 1) = U¡ - Ui + ... -!- ( - 1)11- 1 lln =
-1-un(-1)n+l-un+1(-f)»+l ( 1)»H 1
-f = - Un-1-

(véaSO la fórmula (1.6)).

Consideremos ahora los casos «especiales».
a = - ~. Entonces todo término de la primera
Sea x = .!..
progresión de (1.23) es igual a uno y la suma do esta pro-
gresión es n. Por otro lado, la segunda progresión es de ra-
. zón -~ 2 •
 :m
'Es tleci r,

s11 ( !} = .. ~ [n -(~2- ~~+ ... + (-1.)11-1 ~in) ] =

__1_ [ - ~Z-(-1) >1 ~21li·2 ] -
·- \/f> n 1 +~2 --
1
= V?i n -
f. J\2
1 -J-112 -H - 1)
n
~z
n
1
~2
+ ~z
-
] .
0hS(!l'V111Hlo <pw
5- 1/5
2
y <¡U()

f\'.-1 1+ 11 :1_.y5 (:1-·Vfi) (5 -F\/~)

-
10 -2 -vg
i +~i = z+1>= !í-V5 (5- -V5) (5+ 1/5) 20

ol>L(1nemos eu deCiuilivn

!iu ( : ) = ;f, - !"> v; - 5 + (-1)" ~in 5 -VJ- 5 . (1.25)

Sea, fiualm cn\.c , a:=f¡. EuLonccs, eu (1.23) es igual a

uno ln razón de In segunda progresión, micnt.rns que la ra-
zón do la primera es -aª. Tone mos, puos,

"'\ ·~n ( ~ ) = ·\~5 l(a2- cx.·I + ... + (- i)n-1a2")- nj

y d.c la mir.tna forma enconl.ramos

s (..!. )-- V·1fi [- a i - (1-1)ll
11 ~ ·- +a.2
a 211+2 -n]. =

=~ y ;)_
[<-1)"-H 1+a :.i ,- 1+ a2 -n cx,2Tl r¡,2 • .J a,2 ]

ohu.~ní<mdo, l'>H dofini tivn,

~ (J..
. ,,~
)= (-·J.)ll•l 1+-0
10 o;2"+ 1+1/5
10 (1.26)

23. Analicemos el comportamianto ele sn (x) cuando x se

fija y n crece inclcfinidumcnte.
 Pasando on la igualdad (1.23) ;il límit e según n, ol>l.e-
nemos
lím
n ... c:o
Sn (x) = lím
n-.oo
vi_5 [(ax -j- a :i} + 2
... -1- a"x")-

-(~:t-1- ~2 x2 + ... +f\n:r")1=

1 ] '1m (a.x,-a
=-:-=- _J 2.r2 -1- ... --ax
1 11 ") -
V5 n ..co

- vj i'
fJ
lím (~x + ~Z.1;2 + ... + ~":r").
n~oo

Aquí en ambos límiles nos encontramos con las sumas de dos

progresiones geomét.ricas. Por eso, los propios límites repre-
sentan las sumas de las progresiones gcomét.riCHS infinitas
correspondientes. Pero es sahido que se p11eclc hablnr <le ln
suma de una progrcsibn geométrica infinita si, y sólo si, el
valor absoluto de In razón es menor que el 1.1110. Las razones
de nuestras progresiones son ax y ~x . Puesto qy¡ ¡ a 1>
> 1~ ¡, resulta que 1ax1 < 1 implica 1~x1<1. Es de-
cir, el cumplimiento de la desigualdad 1 ax l < 1 garan~
tiza la existencia do ambos límites qne en este momento
nos ocupan.
Por consiguiente, el límite
lím .~,. (.r) ('\.27)

existe si 1 x 1 < ~.
(j,
Indiqu(lmos este límil c por s (x). Para
c11lculado podemos recurrir a la fórmula (1.24).
Observemos con esto fin que, como hemos cxplic.ndo ün el
plmto 20,
c:t:11
1 - +1.
u.11<-
15
Por eso,
lím U11x11 •· 2 ~Jím ( _ª ~
v..) + 1) x
1
11
•2 =
n•"OO n~oo
2.
= _xi'
Vv
lím (ax)11
n->oo
+ n-oo
lím .;, n.
11

Puesto que 1 ax 1 < 1, resulta que 1 x ! < 1 de modo que

ambos límites son iguales a cero. Por la mismu ra1.011 tenemos
lím 1in+tx • ·1 =O.
11

n...oo
 '32

Es decir, pasando en la fórmula (1.24) al límite cuando n

crece indefinidamente, encontramos
( ) 1,
s x = im Sn x)
( l' .x-tt ;¡:n+Z - Un+tzn+1
= n~OC)
un " =
n-oo 1-.x-xZ

= 1 f
-x-x
( }'
2 X- lntUnX
n+2
-
-00
l'
tmUn+tX
-OC)
11+1)
=. . X
.-x-x
z•

En forma deso.rrollada este resultado puede ser represen-

tndo así
(1.28)
Dando a la variable x unos u otros valores, obtendremos
diferentes fórmulas concretas. Por ojcmplo, tomando x =
1
= 2, encontramos que
u¡ ¡i2 Un
T + ·22 + · ·· + zn + · · ·= 2·

24. La fórmula (1.28) so puede obtener basánd<>se en

otros razonamientos.
Consideremos la. expresión
U¡X + UzX2 -!- ..• + Unx11 + ... = S (x) (1.29)

(sin olvidar que tiene sentido sólo para 1x1 < ! ) y multi-
pliquemos ambos miembros por x y por .:z:2 :
lt1x
2
+ + ... +UnXn-n + ... = (x)'
UzX
3
XS (1.30)
U¡X3 + U2X4 + ... + UnX'l+Z + ... = X2S (x). (1.31)
"°'Restando
de la igualdad (1.29) ambas igualdades {1.30) y
(1.31) y reduciendo los términos semejantes, obtenemos
ulx+ (u2 -u1) x2+ (ua-u2-u1) x3+
-l-(u.4-U.3-ltz)X4 + .. .+(un-Un-t-Un-2)xn+ ·· ·=
= (1-x-x2-) s (x).
Es obvio que en el primer miembro resultan iguales a cero
todas las expresiones comprendidas en Jos paréntesis y, por
eso, esta igualdad significa quo
x = (1 - x - xª) $ (x) 1
<le donde .so desprende (1.28).
 25. Hasta aquí hemos aceptado que el índice n del nú-
mero de Fibonacci Un es un número entero positivo. Pero la
ecuación recurrente principal que determina los números de
Fihonacci puede ser escrita así
(1.32)
permitiendo expresar los números do Fibonaccí de índices
menoros a través de los números de índices mayores.
Tomando en (1.32) sucesivamente n = 2, 1, O, -1, ... ,
podemos ,ver que
Uo= Ü, tt-t = 1, U.-2 = -1, U._3 = 2, . · ·;
en general, es fácil persuadirse (compruébese) de que
n_,, = (-1r' 1u,.. (i.33)
Esta sencilla expresión permiLe reducir todos los proble-
mas relacionados con los números de Fibonacci de índice
entero arbitrario a problemas dondo se manejan números do
Fibonacci corrientes (de indices naturales}.
Por ejemplo, para hallar la suma de los n «primeros hacia
atrás» números de Fibonacci
U-1+u-2+ . .. +u-n
basta representarla, basándose en (1.33), así
U1 - u2+ . .. +{-1t- 1 nn
y recordar la fórmula (1.6)
1.L¡ + U-2+ ... + lLn = (-1r•1 Un-t+1 = -U-n+I+1.
Basándose en (1.32), todo razonamiento inductivo do
tipo «de n y de n +
1 a n +
2» reforente a los números de
Fibonacci se puede realizar según el esquema «de n y de
n - 1 a n - 2». En particular, así se demuestra sin difi-
cultad que la importante fórmula (1.8)
Un+m = Un-tUm + U,.Um+t
es válida para todos los números enteros n y m.
26. Las fórmulas principales p11ra a y ~
a.n+2=an+a.n+1 y ~n+z=w·+~•t+1,
demoslradas para los valores enteros positivos de n, son vá-
lidas para todo valor entero de n {subsisten incluso para los
3 -0308
\'alorcs fraccionnl'ios de n, pero no nos detendremos en ello).
De ¡1q11í l'S fácil dC1ducir que la fórmula de l3inet
. an-Bn
n,.= Vs
tiene lugar para lodo valor entero de n.
Observemos, para concluir, que el resultado del punto
17 t.ambién se puccle demostrar (por inducción «hacia atrás•)
p;.ir·a lo!> valorC's negativos del índice:
~-ll = ll-- n{L U-11-I · +(1.34)
Jlo1lo111os l•xp1·c:;ar l·~la igualdad lnmbi6n así
( -1 )" ~" e•-: (-1t U n ~ +{ -1) 11 1/.11 .~i,
o ::t'a,

!\ de1rnís, podo mos J'C Jll'csc nt ar (1.34) en la forma

CC" "~ (-1)"-I ((.,,a.+
(-1)n llri-rt.
l'S decir ,
( - '1)" r;¡,- 1' =U11+1 - lt 11 a

o, e n olras 11alabrnll,
n,, ~ , -a= (-1)11 a-•1_1_. (1.35)
1111. !•11

§ 2
l'JlUl'IEDi\ Ofü.; D~ LOS Nlli\rnHOS
DE f.'IBONJ\CCI ll ETA\CIONJ\DAS CON LA 'rEORIA
Im LOS NUMEROS

1. Consideremos ahora algunas propiednrles de los nú-

meros de Fibo1wr.ci rulacionadas con su divisibilidad.
Teorema. S i ne.~ divisible por m , también zt,¡ es divisible
¡>11r u,,, . .
Dcmoslracióu. Supo11gmnos que n es divisible por m, o
sea, que n = mk. Basaremos la dcmost.ración en la induc-
ción segün k.
P:m.t k = 1 so tiene n = rn y es ovidcnte que u.11 divisible
por ltm · Supougamos ahora que u.,,,,. es divisible por Um
y considcromos Um ih+n· Pero 1t111ch+u = U 111 1t+m y, en virtud
de (1.8),

Es evidente quo Um divide el inimcr sumando del segundo

rniombro. El segundo sumando es múltiplo do 1tm1t• o sea,
también es divisible por Um según Ja hipótesis inductiva.
Do aquí se desprende que la suma de estos sumandos, o sea,
Umcll+t» os divisible por Um· Hemos demostrado el teorema.
2. Tomemos ahora un nó.mero m. Si existe un número de
Pibonacci u 11 divisible por m, habrá infinitos números de
Fibonacci con esta propiedad, por ejemplo, además de ltn,
los números U:zn, u 3" ' U4"" • • •
J~s inloru111\nl.o, por c::lo, co110C<ll" si, dado un númoro m,
existe al menos un número de FiJ>onncci clivisiblo por m~
ReSlllta que sí.
Sea k el resto de lo división de k por m. C1)1lsideremos la
sucesión formada por los pares do restos de la división de
los números d? Fibonacci por ni:
- - -
(tt3 1 U4), .. •, (ltn, ?ln+1), . · · (2.1)
Aceptando que dos pares (ah b1 ) y (a 1, b2 ) son iguales
si a1 = a2. y b1 = b2 , tendremos que el númm·o total de
dist.intos pares de restos de la división por m es igual a m 2•
Ello significa que entre los nt2 + 1 pl'imeros términos de la
sucesión (2.1) hay necesariamente dos iguales.
Soa Üi11, 1h+t) el primer par repetido de la sucesión
(2.1). Demostremos que es el par (1, 1). En efoct.o, suponga-
mos lo contrario, o sea, que el primor par repetido es (r:l 1u
ük+ 1 }, donde k > 1. Localicemos en (2.1) un par (ü 1, 1i 1+ 1 )
(l > k) igual al par Üi1t, iik+i ) . Puesto que u 1_ 1 = u 1+ 1 -
- u¡, u.h-l = uh+ 1 - u,., ü 1+1 = ii11+ 1 y li 1 = ii 11 , resulta
que también son iguales los restos de la división de u 1_ 1 y
de u11 _, por m, o sea, ü 1_1 = ii11. -i· De aquí so deduce que
también (ii1t_ 1 , ii.,.) = <ü 1_ 11 11 1 ) ; pero en la sucesión (2.1)
ol par ('111_1, ü11 ) precede al par (!i"lt, ii1t+l.>; luego, (ii11, ü11+ 1 }
no es ol primer par repetido y como esto contradice nuestra
hipótesis resulta que no puede ser le> 1, o sea, que debe
ser k = 1.
Por consiguiente, (1, 1 ) os el primor 1rnr que se re pi te
en la sucesión (2.1). Aceptemos que se repito en la t-ésima
3•
posición (como hemos explicado dobo ser 1 < t < m2 + 1):
{Üi, Ü1+1}=(1, 1).
Eslo signi.fica c¡nc u 1 y u 1+1, divididos por m, dan 1 como
roslo. De nquí so closprende que la diferencia de estos núme-
ros es divisible por m. P<'ro
ll·t+I - 1t1 = Ut-h

resultando así quo el número de Fibonacci u1_ 1 es divisible

11or m.
Hemos dcmoslra<lo do esta forma el teorema siguiente.
Teorema. Cualquiera que sea el nú.m.ero entero rn, entre
los m2 - 1 primeros números de Fibonacci habrá al men<Js
uno divisible pur m.
Subrayemos que este leorcmn no dice nada acerca do
qué n\unoro de Fil>onacci será divisible por m. Sólo deja
const.anci a do qno el primer número de ·Fibonacci divisi ble
por ni no tleho set· muy grande. Más ndelante volveremos a
esto problema.
Pucst.o que (1, 1 ) es el. primer par repetido de la suce-
sión (2.1 ), resulta que la sucesión de roslos se repite a par-
tir de Üti o sea, que esta sucesión es periódica. Por ejemplo,
!=i. ni = 6, ol período ele la sucesión do restos os
1, 1, 2, 3, 1, o. (2.2)
En osLe caso la longitud del período es igual a 6. Por consi-
guiente, si n es Gk + 1, Gk + 2 ó Ole+ 5, el resto de la
división do Un por 4 es 1; si n os Gk + 3, ol res Lo es 2. y, si
,~es Gk + 4, ol roi:to os 3.
3. Es de gran inLarés el estudio <lo la naturaleza aritmé-
tica ele los uúmcros do Filionacci, o sea, el esLudio do sus
di visores. DomosLromos que siendo n un número compuesto
distin\.o de 4, el número un es compuesto.
En efecto, para tales n tenemos n = n¡n 2 , donde 1 <
< 1i¡ < n y ·1 < n 1 < n siendo, además, nl > 2 ó n2 > 2.
$11 pongamos, par1t concretar, que n1 > 2. Del teorema ante-
rior resulta entonces que un es divisible por un 1 con la parLi-
cularicl:ul <lo qno 1 < ttn 1 < un y esto significa que u,. es
un número com puosto.
4. A11lcs do continuar el estudio de los números do Fibo-
11acc.i, veamos con ol lector algunos resultados elementales de
la Teoría do los números.
 37

Expliquemos primero el proceso de determinación del

máximo común divisor de dos números a y b.
Efectuemos la di visión entora de a por b. Sea q0 el cocien-
te y sea r 1 el resto:
a = bq0 + r 1, donde O ~ r 1 < b.
Fijémosnos en que para a < b se tiene q0 = O.
Dividamos ahora b por r 1 doterminando el cociente q1
y el resto r.i: b = r1 q, + r 2 , donde O~ r 2 < r1. Puesto que
r1 < b, debe sor q1 =!=O. Dividiendo después r 1 por r 2, en-
contraremos q 2 =:/=O y r 3 tales que r1 = q~r 1 +
r 3 y O~
~ r a < r11 • Procedamos de este modo mientras so pueda
prolongar el proceso.
Este proceso, tarde o temprano, deberá ínterrumpirso ya
que todos los enteros positivos rl, r 2, r,1, ... son distintos
y menores que b; luego, la cantidad de estos números no
pasa de b y el proceso deberá concluir no más tarde del
b-ésimo paso. Puede intorrumpirse sólo si unn de las divi-
siones resulta exacta, o sea, si el resto correspondiente resul-
ta igual a cero y no se pued~ dividir ya por él.
El proceso descrito se conoce como el algoritm-0 de Eucli~
des. Aplicándolo a los números a y b. obtenemos ln siguien-
te sucesión do igualdades
a=bqo+r1,
b = rtql rz. +
r1 = r3q2 + r3,
(2.3)
r11-2= rn-1q11-t +rn,
rn-1 = rnq,..
Consideremos el último término diforente de cero do la
sucesión a, b, r 11 or2 ,• • • , rn. Hablando en términos gene-
rales, ésto será el resto r11 1 pero, en particular, también po-
drá ser el número b (para conseguir la uniformidad , podamos
aceptar que b = r 9). Es evidente que r11 divide r11 _ 1 • Tome-
mos ahora la penúltima igualdad (2.3). Ambos sumandos de
su segundo miembro son divisibles por r11 de modo q i10 r11
divido tainbién r11 -~. Podemos comprobar sucesivamente de
la misma forma (¡inducción!) que 1'11 divide r11 _ 3 , r11 _,, • • •
Y1 finalmente b y a. Por lo tanto, rn es un di visor común de
..... : .-. 38

a:·y b. DemostrE.nnos nhora qno rn os el máximo ·c.om<.n divi-

sor rlo a y b. Ptirn ello bastn probar que todo diy~sor. común.
ele a y b divido también 1·n ·
Sea d un di ví!$or común de a y b. De la primera .i gual-
'. locl (2.3) rcsnlt.n q\1c d divide r 1. Ln segunda igua,ldad (2.3)
n.1~plica onlonccs qnc d divido r 2 • Análog~monte (¡indnc-
cton!) so demuestra que d divide r~ , ... , rn-l y, fin almen-
lc , !'n .
Hemos clemosLn11lo, pues, que el algoritmo de Euclides
aplicnclo a los números naLnrnlo.s a y b permite efoctivame11-
l1~ clo\.crmim1r el máximo común divlsor de éstos' n)Ímcroi..
J ndiqucmos por (a., '') el máximp común divjsor de los núme-
ro~ a. v b.
Es- cvitlcn\.o 1p10 a l!S clivisihlo por. b _si, y sólo si,
(a , b) = h. . .
J\ ele . ·ójo1ñp lo_, clct.orruinc1l)os . (u. 20 , u16 ) =
lílu.lo
= (G7G5, G10):. . . .. · ' .
'6765. 7 610 .11 +·55,
.(~~.o ~ \= ~5 ·11 + 51
· 55. := 5·H.
,, Es decir-,
..
(i!'zo·;. t,15) = 5 =·u~ .
. Ño c.s, <)asu~J .Qµ,~ e:l m~ximo <tqmún divisor de dos núme-
ro,~ de. Fihonacci"; ~c~µ~t~ de nl!evo un númel'o de Fibonacci.
Más ~dola:ute' dcmost.r~i'i:imos que. siempre ocurre asi.
5,. 'Un ptQ.CC.50 onálogo ai algol'itmo de Euclides sucio emploarso
también en )¡¡ Geometría al determinar la mcdid11 común de dos scg-
ment.os conmcnsurnlilcs. Gn efecto, consideremos do$ sognrnntos: uno
ele longitud a y otw de longiturl b. Restemos el S{lgundo del primero
till)f.as vr.c1?s como sen posihlo (si b >a., os ovidonto que no po<lrom(~~
Jiaccrlo ni 11nn vez) o iutliq11cmos por r 1 la longitud del resto. Es obvio
que ,.1 < b. lfo.stcmCIS ahora del scgmont.o de longitud b o] sognumt·o
do longitud r¡ t anta!: veces como sea posible e indiq11cmos por r 2 ol
t'tl~lo qui~ rcsulla. Proccclimidu do la misma foJ'ma, obtendremos una
~ur.csión de scgmeul.os c 11y;i5 longituilcs tlismimtycn cvidcnt.cmllntc.
Corno vernos, hnst n HIJllÍ la soinujnm.a con l'I olgorit.mo <le Buclides es
total.
~in omhargo, d1·~d1~ 1•slc 111ome11l.o se ohscrvn 111111 difornncin impor-
ta11L1~ entre el proc1~~u gcomótrico 1lcscritu y ol algoritmo de l~uclido,s:
1n s11c<?sión 1le resto::; <fHl~ s1' o bti1~ nc en el ca~o de los segmentos puede
no interrumpirse prolong1índoso imlefinidHmcnte este proceso. Así
;:ur,odor:í, cbviainontc, si 1011 segmento!! Iniciales son in'Conmonsurnbies.
 3!1

Veamos algunas propiedades elementales del máximo

común divisor de dos números.
6. (a, be) es divisible por (a, b). En efccLo, by, por onde,
también be es divisible por (a, b); está claro qno a es divi-
sible por (a, b). Según el punto 4, do aquí rcsu lta que t nm-
bién (a, be) os divisible por (a, b).
7. Se tiene (ac, be) = (a, b) e.
Demostración. Consideremos las igualdades (2.3) que
describen el proceso do determinación de (a, b) . Multipli-
cnndo ambos miembros de cRda una por e, obtendremos,
como fácilmente se comprueba , un sistema do igualdades
que corresponde al algoritmo de Euclides aplicado a los
números ac y be. El último resto no nulo será en oste caso
rn, e o sea, (a, b) c.
8. Si {a, e) = 1, se lio110 (a, be) = (a, b). En efecto,
según el pu nto(), (a, be) os diviso!' do (ab , be). Pero
(ab, be)= (a, e) b = 1 ·b = b
en virtucl del punto 7. Por consiguient e, (a, be) divide b.
Por otro lado, (a, be) es divisible por a. l.i1.10go , debido n lo
demostrado en el punto 4, (a, be) también divi<le (a, b).
Pero como, según el punto 6, ta mbién (a., b) divide (a, be),
resulta (a, b) = (a, be).
S'-'po·n gamos que be es divisible por a, es decir, qur.
(a, be)= a. Si, además, se Liene {a, e)= 1, de lo anterior
se deduce que (a, b) = a, o sea, que b es divisible por a.
Si p es un número primo, cualquier a es divisible por p
o es primo con p. Por eso, do lo anterior rcsultl\: si el pro-
ducto de dos números es divisible por un primo p, nl menos
uno de los factores es divisible por p. Empleando la induc·
ción, esta afirmación se hace vúlida, evidentemente, pn1·a
nn número de factores cualquiera.
!l. A título do ejemplo -que servirá más adcl:intc- consideremos
11no de lo:; criterios de divisibilidad de los coc!icicnt.es binomialt>s.
Teorema. Si p es primo y si k ::/= O y k =!= p, resulta que C~ e.( di·
vttl ble por p.
Demostración. En ol punto 14 del § i liemos visto quo
e,.. p(p- f ) ... (p-k+1)
p 1 ·2· ... ·k
Esta [racción es un número entero y, por eso, su denorni1111dor divide
ol numerador. Pero todos los factor1¡s clel denofi!lnador son menores
que p, o sea, no son divisibles por p. De aquí resulta que el producto de
 10

c>stos factores (o SNl, el denominador) tampoco es divisible, segÍln

lll'mos cxplic1Jdo, por p ya <¡uo ¡¡ e~ primo. Es decir, el denominador
es primo con p.
El numorador ""5 o) producto de dos números: p y (p - f ) ...
. . . (p - k+ 1). Esl{l producto es divisible por Bl denominador.
Como quiera quo el <lono1ninador es primo con p, el clenominador divi-
M el segundo factor (¡¡ - 1) ... (p - k + 1). Sea (p - 1) ...
• . . (p - k -1- 1) = t·l ·2· ... · k. Entonces se tiene C~ = tp como
qiwríarnos demostrar.

10. Si e es divisible por b, se tiono (a, b) =(a+ e, b).

Demostración. Aplicando el algoritmo de Euclides a los
nÍlmoros a y b, llegamos al sistema ele igualdadüs (2.3).
Apliquemos aste algoritmo a los números a + e y b. Por
llipólesis, b divide e, o sea, e = c1b; el primer paso del
algoritmo da
n + e = (q 0 +c 1) b +r 1•

En todos los demás pasos ohtendrcrnos sucesivamente la

segunda, la tercera, etc. igualdades del sisLema (2.3). El
últ.imo resto diferP.nte de cero continuará siendo rn dü modo
que (a , /J) = (a + e, b).
Conviene que cl ler.tor demuestre este teorema }iasándose
sólo en los resultados do los punt.os 6, 7 y 8, os decir, sin
recurrir al algoritmo de Euclides y al sistema (2.3).
11. Teorema. Los números consecutivos de Fibonacci son
primos entre st.
Demos~ración . Supongamos, a despecho de la afirmación,
quo u 11 y u,~+ 1 tienen un divisor común d > 1. La diferen-
cia u11+ 1 - Un es divisible, entonces, por d. Pero como
u.11+ 1 - u.n = Un _ 1 , resulta que d divide también u 11 _ 1, Aná-
logamente se dcmucst.ra (¡inducción!) que d divide Un-i•
n,._ª' ele. y, finnlmente, u1 • Pero u1 = 1 y no puede ser
divisible por d > 1. Hemos llegado a una conLradicción;
queda demostrado el teorema.
12. Teorema . Tiene lugar la igualdad

Demostración. Supong3mos, para concre!.ar, quü m > n.

Apliquemos el algoritmo de Euclides a los números m y n:
m= nq0 +r1, donde O<: 1·1 < n,
n= r1q1 +r2, donde O~ri < ri.
 41

l'1-z=r1-1q1-1+r,, dondo o:::;;;r,<r,_,,

r1_1 = r1q1•
Sabemos que rt os el máximo común divisor !lo m y n.
Puesto que m = IUJo + rj, resulta qnc
(um, u11) = (1J.n111i-t-r11 u,.) ,
o sea,
(Um, Un)= (Unq0 -tUr 1 +ll11q 11tr1+ 1, u,,),
de donde, basándonos en los puntos 1 y 9, tenemos
( itm, u,.)= (u.,1110 - itl·rp 1111)

o, en virtud de Jos rosultn<los de lo~ puntos 11 y 8,

(um , Un)= {uT 11 u,,).
Análogamente se demuestra quo
(u,1, Un)= (u,. 2, U, 1),

(u, 2 , U,.1) = (1i,.3 , Ur2) 1

u, _~)
(u,1_ 1, 1 =(u,1, u,1_ 1) .
Comparando estas igualdades, encontramos
(Um 1 Un)=(u, , Ur _ );
1 1 1
como quiera que r1 divide r, _1 y, por onde, u,., divide u,.1_ 1
debe ser (u,.1, u,.t-1) = u,. t . Recordando, finalmente, que
r 1 = (m, .n), obtenemos el resultado necesario.
En particular, do aquí se deduce el teorema recíproco al
teorema del punto ' 1: si ul\ es divisible por u,,., también n
es divisible por m. En efecto, si u,. es divisible por um, tene-
mos, como se ha explicado en el punto 4,
(u"' Um) = Um• (2.4)
Pero acabamos de demostrar que
(u,., ztm) = 1t(li .11n · (2.5)
Comparaoci.o las fórmulas (2.4) y (2.5), oncontramos
 42

o sea, 1n "'= (n, ni) y esto siguifica procisamente quo n es

di\'isiblc por m.
1:-:J. Uniendo el teorema del punto 1 y el corolario del
t core 1n a del pnnto 12, resulta: Un es diPislble por Um, si, y
súlo si, n es divisible por m.
En ()(.ras pnlahrn.s, para annfüar ln divisibilidad do los
números do Filio11acci basta estudiar la divisibilidad de sus
índicos.
En11nciem.os, ])Or 0jr.mplo, algunos «criterios de divisibi-
licladi> ele los números de Fibonacci entendiendo por tales los
criterios que porinitou conocN si uno u otro número de Fibo-
uacci es divisihlc por un número claJo.
Un número <I(\ Fibonacci os par ::;i, y sólo si, su índico
es fl i v i.5i ble por :;.
Un UÚl!Wl'O do Fibo1111cci l!S divisíhlo por a:si, y sólo si,
su íuc\ieo es divii;ihlc por 4.
Un número (\(1 Fihonacci es divisible por 4 si, y sólo si,
su índice es did$il.tlc por G.
Un número (le Fihonncd os divisil>lo por 5 si , y sólo si,
su ín<lico es divisible por 5.
Un número ele Fibonacci os divi~íble por 7 si, y sólo si,
su índico es dí vi:;ihle por 8.
El lóctor podrá fncihnenlc demostrar estos criterios y
otros por d Qstilo empleando ln p1·oposición enunciada al
principio de ost.c p1111to y considcra11<lo, rcspcct.ivamente, el
tercer, el cuarLo, el quinto, el so:xlo, ol octavo, etc. núme-
ros <le Fi bonacci.
Dcmnéstroso también que no exisLcm números de Fibo-
nacci qnc , divididos por 8, clan 4 como rosto y que no existen
números ele Fihonnc.ci n la vez impares y divisibles por 17 .

14 . Hosla ol fina! do t)..<;t.e pnrágrufo 11sílren1os con frec~1cncia pro-

posiciones dl' Lipo «los n1ímcr(ls a y b, divididos por m, dan el mismo
resto» o (que vicn1' a :;t!r lo m ismll) «la dífcrcncin a - b c.s divisible
por m'I>.
Ncccsilamos ligereza y seguridad para manej<1r estas proposicio-
nes y pasar de 11n:i:; a ottm;. Por eso, igual quu en lu Teoría de los nú-
m eros, cx prcsarcm c,~ t)sLa~ proposicioncs simbólic'amentc convirti6n-
dolus nsi Nl olnm<luto~ di) un «cnlculo».
Definición. Dos n1írnc)ro~ a y b se ltam:rn congnwnte's módulo m
si, rlivi<lidos por 111, dan un mismo r<Jsto, o sN1, si a - b os divisible
por m. Símhólicamcul.e la congr11cncin módulo m de los números a y
b se cxp1·c~a n ~i
a r.-s b(mód m).
 43

Es obvio que siendo a divisible por m se tiene

a a O(mó<l m).
y viceversa.
t5. Las congruoncias de un mismo módulo se pucdc11 sumar miem-
bro por miembro lo mismo que las igualrlades.
Lema. Si
a1 ~ b1 (mód m),
ªz g b2 (mód m),
cz 11 ~ bn (mócl m)
se tiene
111+ +
ª2 +
a,1 e /J 1 11 2 + + ... +
b11 (mód m).
Demostración. Por hipótesis, m divido caila una ele las diferencias
º·1 - b1• ªz - 112, · · " a,, - bn
y, por consiguiente, también divide. In suma
(a 1 - /J 1 ) + {fl. 2 - b2 ) + ... + ( 11,. - 1111 ),
o sea , Ja diferencia
(a¡+ ª2 + ... + an) - (b1 + /J + . .. + /!
2 11 )

como queríamos demosLrar.

t6. Hemos visto en el pnnto 9 que siendo p primo y siendo 0<
< < p. so tiene
k
e::=
o(móil p). {2.6)
Esto mismo se puedo expresar así
c~+ 1 = o(mód p) , (2.7)
donde O .:¡:;; k < p - i.
. Por lo tanto, siendo O< k < p - t , son válidas ambas congruen·
cias (2.<i) y (2. 7). Sumándolas, encontramos
e~+ e~+• :a o(mórl p),
o sea,
c~:t~ :a o{mód p),
En otras palabras, siendo p primo, todos los elementos de la
(p + 1)-ésima fila del triángulo de Pascal, a excepción de cuatro (los
tlos extremos do la izquierda y los <los extremos de ln derecha). son
divisi bles por p .
Es fácil ver lambién que
C~+I = C~+1 = C~+t :a cr,+: =:1 (mód p).
17. La congruencia (2.6) se puodc ex¡ll'cso.r así
c~.:1 +c:~- 1
=o (mód p}
e~: ~ = -c;_1 tmó<l p).
Esta relación es válidu para todo k = 1, 2, .. ., p - 1 y, por con-
siguiento,
C~_ 1 := -CJ,_ 1 ;s c;_i =-C~_ 1 a ... i:= C~:: (módp).
Poro C~ _ 1 = 1 y, por eso, osta fórmula dico que los elementos do la
(p - 1)-ésima Hin ele! triángulo do Pascal correspondientes a las
posiciones impares son congruentes módulo p con 1. mientras quo los
olomontos corrosponrlicntcs a las posicionas paros son congruentes
con -f.
18. J,as congruencias de un mismo módulo se pueden también
multiplicar miembro por miembro.
Lema . Si
a¡ = b¡ (mó<l m),
a 2 I>!!! b2 (m ód m),
ªn t.= bn (mód 111),
.~r llene
(2.V)
J)cmostración. AJ1líqucmos la inducción según n.
rara n = 1 ol loma os evidon to.
Supongamos quo es vtílido para un vnlor <le n (o sea, que (2.8)
im plic.a (2.9)) y agrcguomos a las con<licionos del loma la congruencia
11 11 +1 == bn+ I (mód m). (2.10)
Las congruencias (2.9) y {2.10) significan quo las diferencias res-
pectivas' <ZJª 2 ••• ªn - b1 b2 • •• bn y ªn+1 - bn+I son divisibles
por m. Es decir,
n 1a2 . .. a 11 =b1b2 ... bn+mT y
ª11+1 = bn+I mt, +
donde T y t son números enteros. Multiplicando las igualdades obte-
nidas, encontramos

=b1b2 ... b,.bn+1+m(b1b2 . .. bnt+bl\+1T +mTt).

En~ro los ·p aréntesis aparece un número entero y, por eso,
ª1ª·'.l • •• a,.a11+1 a b1bz . .• b,1bn+ I (mócl m),
como queríamos domostrnr.
De esto lema so desprendo que so pueden elevar a cualquier po·
l encia entera no negativa ambos miembros de una con gruencia.
Com o un caso J>llrticular do este lema aparece el resultado si-
guiente: ol pl'odncto de números de tipo 4t +
1 es del mismo tipo 4t + 1.
En efecto, supongtimos que los números son a 1, ªi• . . ., a,.. Por hi-
pótesis, tenemos
a1 ~ 1. (mórl 1), n2 = i (mód 4), ... , ª•i $ 1. {mód 4).
Multiplicando estas congruencias, oncontrnmos
a1a, • •• ªn i;;:; 1 {mod 4) .
 /¡!j

19. También Las reglas do caucelnción de las congruoncias so

asemejan a las quo oxisten para las igualdades: los igualdades so
pueden dividir por cualquior número difercnto de coro y las congruen-
cias, por todo numoro primo con el m6dulo.
Lema. St
ac E:! be {mód m) (2.1.1)
y (e, m) = 1, se tiene
a ;=i b {m6d m). (2.i 2)
Demostración. La congrnoncia {2.11) significa q uo la diferencia
ac - be es divisible por m . Pero
a.e - be = (a - b) e
~· como (e, m) = 1, m debe dividir la diforencia a - b, de dondo i·e·
sulta (2.i2).
20. En muchos casos resulta útil la siguiente afirmación conocida
como ~el pequeño teorema de Fermat».
Teorema. Si p es un 111í111ero prime que 110 divide a, se tiene
alH =
i (mótl p).
Dcmostrac.i ón. Consideremos los .números
a, Za, . .. , (p - 1) a. (2.13)
No hay entro ellos dos congruentes módul<> p . En efecto, puesto
que (a, p) =
1 , do
ka :=i la (mó(\ p)
resulta, segun el punto 19, que
k !:!.!! l(mód p ),
o sea, que p divide k - l lo cual es imposible pues O < k, l < p y
k .¡:. l .
Además, ninguno de los números considerados es divillible por p.
Es decir, todos los números (2.t3), divididos por p, dan diforen-
tes restos rlt r2 , • • • , rp-I cada uno de los cuales es distinto de cero.
Pero en (2.13) hay p - 1 números y, por otro lado, en la división por
p so dan también p ~ 1 restos no nulo~, todos ellos distintos. Bcsu-
micndo, cada uno do fos restos t , 2, ... , p - 1 a parece entre los
números r 1 , r 2,. •• • , rp-t (restos do Ju división do los números (2.13}
por p) una. vez solamente. Por lo tanto, tenemos
a.=: r1 (mód p),
2a = r2 (mód p),

(¡>-1) a=:; " iH (mú1l p).

Multiplicando miembro por miembro estas congruencias, resulta
1·2 .... · (p-1) av-1 = r 1r2 •.. rp-t (mód p). (2.14}
Poro ya sabemos q110 los números r 1 , r 2 , • . • , rp-t coinciden,
sulvo el orden, con los números 1, 2, .. ., p - t. Por eso, la con-
grn t'JI CÍ<l (2.14) jllfC(fo !',(~( (~X)ll'C~lda <ISÍ

1.2 .. . . ·(p -1) a l>- 1 ~ 1.2.... · (p-1) (mód p). (2.15)

Observemos, por últ.imo, quo el producto 1 ·2 · . . . ·(p - 1) Cl!
primo con p de mo1lo qnc ht cougrucncin (2.f il) puede ser dividida por
c~le lllÍ mero, o sen,
111>-I =·I (ntúd p),
c<>mo qneríamos 1lemost t¡u-.
21. Según hemos visto en ·~l pm1to 2, enlrc los divisores de los
11úmeros de Fibonaci>i figuran lodo~ los números. Ahora ¡nostrurcmos
qu<.'\ se puedcu i1uliear 1\jcrtas clases de utímcros d<'. Fibonacci que pose-
r n divísoros has~an tc concrclos.
Por ejemplo, tiene Juga1· ni siguiente Ulorcina 1).
Teorema. S i el fudii:c del 11/Ímero de Fibonarci es impar, todos sus
dii:isores imp11re.~ ~011 <le tip(I <\t 1. +
Dr 111o!ltr:ició11 . ~<·ui'111 Ja f6m11da (i.10) (véaso 111 pu11to !l <h•l § 1),
1111ra n im¡mr st1 t.icnc ·

,¡,~ d1111rlo rc~o{f.¡1

11. 11 _ 1 11 11 .1. 1 --11 ~ ·= 11 11 _ 1 (n,1 _ 1 +11 1¡)-rt[1 ~
= 11; 1_ 1 +u·n-;Un-n f. =-'l. (2.16)

11;,_1
:->Ni JI * 2 un d
+ 1 es <li vísihl1!
i v i~Ol'
por
primo 1lc u 11 • De (2. Hi) se desprende que
1111y , en consccucncfo, también por p. Es
decir,
ti'f,_1 =. -1 (tmíil ¡1).
ambos miembros de <>~-;la congruencia, ohtcn1m1os
1
Elcvnllflo a ll -;
p -1 p-1
( u~n.- 1) T =: 11P-I
11 - l
=
-
(-1)- 2- (mó<1 11) .

Además, (u,,_ 11 u,, ) =1 ele modo c¡nc u,, _1 no r s divisible por p y, Sú-
gún d <ipcquciio lMroma do Fcrmat», <>ncontramo.s
n~:::J = 1 (múd p).
Pero ent.unc<>s l;•mbién
1• - I
( - f) -.,-
- ~
'1 ¡¡) ,
1 (moc
¡1 - 1 . . ,,_ ., .
o~~~. (-1 ) T = 1. Por con.~1g111cnt.c, -y- es un numNo par y esto
~iguifíca que p es tle la forma lit + ·I.
l El ;wtor cxpre¡:.¡1 ~u grnt it11tl a un a1ícioria<lo a las Matcmá·
tkns, res ide nle 011 Len i ni:-rado, 'l HC llamó su a tcnciún sobro este
hecho.
 l~s decir, todos los divisores primos irn pares de 11 11 ~1111 iln In forma
4t + 1¡ según hemos oxplíci1do ul finnl 11l1l punlo 18, rlr~ la mismn fot-
ma so1·án todos 1011 productos do estos di visores, o sea (vón1¡0 ol punto
5 dol § i ), torios lus divisores impnres de un-
22. &lgún la definición de co11gr11c11cin, ~odos los mírncros c¡1rn,
divididos por m, dan un mismo rosto son congruentes ontl'c sí módulo
111. Al contrario, los numeras son incong1·11cnll'S .si, divididos por m ,
dan 1liforcntes restos.
El resto de la división por m puedo ser sólo uno de los m números
1. , 2, ... , m - 1. Por consiguiente, no ¡Jllode haber más de 111 núme-
ros íncongrucnt<'.s mórlulo m entre sí.
Sr.a m impar¡ lomemos los números
1n-· j m-3
- ·- -- , ----- , . . . , - ·! ,o. 1, 2,
2 2
1/1.;·ª. "~;" .(2.17)

La can lidad de eslos 11úmer11s es m y cnLI«~ clloi> IIO hay dos congrucnlcs
módulo m (de lo conlrti rio, la diferencia d(• esos, dislinla al cero y de
vnlor nh:¡olulo .menor 1¡110 "'• scrin divh;iblo por 111). l~ u i:onsocnoncin,
todo número es congruente mórlulo 111 con uuo de Jos 11t'm1cros (2.17)
que so denominan residuos módu.lo m olw1lut11111e11te 111c11orM. El valor
absoluto de cualquicrn ele estos residuos es, ohviarnrrnlli, menor que
Ja mitad del módulo. ·
Nótese que, siendo m pélr, lambíón so Jlu•ille construir el sistcnin
de re.sicluos nbsolut:unontc mcnor(.>s ¡>ero éste será distinto al (2.17):
m-2 m- 4 111 -2
- - 2- - - 2 - ... , -1 , O, i, ... , - -2-

Vora m par no huhre.mos de recurrir ni sistema do residuos absoluta-

mcn te menores.
23. Sea m un mímero impar no 11ivlsiblo por :í. Consid<'.rcmos la
sucesión de los rcsirluos módulo 1n fü1 vnlor nbsolut.o mínimo c<1lc11-
m - 1 .
lados para los m'1mcros 5, 2 ·5, 3 .5, . - - ·f>. Vnr l'Jomplo, pum
2
m = 21 esta sucl~i>ión es
5, 10, -G, -i, 4, !l, -7, -2, :{y 8.
Veamos, para diforcnlcs m, en 1¡ué orden npai·ccen aquí los signos
positivo y negativo. Ilosulta que este ordcu d()pende d!I la íiltimu cifra
(en el sistema decimal) del mímero 111.
Lemn. Si m =
10t + 1, la succ~i1ín de residuos ali.~oluta1111111/e 11111110·
res tiene la estructura siguie11tc: t térm inos posili1:os, t térmlno.9 11cgati-
~'Os, t térmi11os positi1Jos, t tér minos 11r.gali1•11s ¡¡ t t érn~in<>s positivos.
St m = 10t -/- 3, el e$qucma de sccuc11c/a de los «ig11os es: l l é1'111i1ws
positivos, t términos 11cgaliws, t términos positt110.•, t -1- t Urminos 11c¡:a-
ttvos y t términos poslliws.
Si m = iOt + i, ell la sucesici1t habrcí t linninus positi11os, t +1
términos negativos, t + 1 términos positivos , t t<!rrninos negativos y t +1
térmi nos positi~'O s.
Si 111 = + iOt 9, tendremos t término.~ positir;os, t + 1 términos
negativos, t + t lérm.tnos positivo.,, t
termin.os positivos.
+ 1 térmir1os negati11us y t +1
 Dc111ost.r11ci(H1 . Se lfov(\ a r.abn realizando el cálculo directo en
cn<ln uno 110 los r.nsos; nos limitaremos al primero doji\lldo al allmlrío
del lector el 111i:ílisis de los restantes.
Sea, pues, m = 10t-l·i. Es ol>vío que 5k < m;i para k<;t de
modo que tod11s o.~los núml1ros d«! (ormn 5k sim ya rr.siduos módulo m
absolutamente nwnorcs. En total serán t y el último será 5t. Puesto
1
c¡11c 5 (t + 1) > 111
;- , el siguiente residuo absolutamonto menor ha
<I<' s<'r nl'ga t h·o (e ig11nl 11 - 5t +
4). Agregándole succsivnmonto t - 1
cincos, ohlondrt>nws 111 scr iu de t números negativos quo terminará
con ~ I - 1. A conth111ación aparecerá el.\ y, trns el, un total do t - 1
+
m'1mcros posilivos (hasl.n el número 4 (t - 1) .5 = 5t - 1 inclu-
si ve): dt>.sp116.R surgirfl n de nnovo números negativos (del -5t 3 al +
- 2, es decir, un lot.al do t números). Finalmente, con los números del
:~ ni :'it - 2 obtm11!rc:mos los últimos t términos positivos de ln suco-
11i611.
J lmnos dcmo~lraclo la ¡>rimcra afirm nción. .
En realicl111l, lo que nos importa en esto lema es que porn in =
= 10t ± 1 Ja sucesión t.cndrá un número pnr do términos negativos
y para m = 10t ± 3, un ni.ímcro impar.
)>- 1
21i. l..c!m:I. Si ¡1 es numero de tipo 5t ± i, el mí.mero 5 2 - 1 c.~
rlir;ísil!le p or p .
p -1
Si p es un número de tipo 5t ± 2, d mímcro 5- 2- +i es divisib~
por p .
Ocmoslración . Tenemos
ií = t 1r 1 (mód p),
2.5 =e r (mód p),
1 2

p-1 - '
- 2- . 5 = ep-I 'r- t (mod p),
2 -2-
dondc &hrh es el rcshluo módulo p absolutamonte menor clol número
'' ·5; además, r11 > O mieot.ras que s11 = ± 1 dolcrmina el signo del
residuo.
MuHi1>licantlo estas congruencias, encontramos
P- 1
p- 1 ~T _ . . ,
1 · 2 · ... · -- ·"
2
= & 1r. 2 .. , eP- { l' z . •. 1 p -t (mó<l p). (2.18)
- 2- -2-
El razonarnionlo que sigue recuerda ol omplcndo en l:I demostra-
ción clol pcr¡ucíio teorema de Fcrmat.
Cnda uno do los números positivos r 1 , r2 , • • •, rp- t no pasa de
- 2-
p-1
-2-
 49·

Siendo dos do os~os nómeros iguales, por ejemplo, r 11 =

1
= r1 ( 1 -< k, l -< P;- ) , tendrlamos 5k= ± Sl (mód p) y también
k e ±l (mód p) pues (5, p ) = ·t. Pero esto no puede suceder ya que
-p < k - l < k + l < p y k - l .p O. Por consiguiente, todos los
números r 1, r,, ... , r11 _ 1 son distintos, o sea, son, salvo ol orden, los
-2-
. p-i ,
numeros f, 2, .• ., - - . Como todos estos numeres son primos con
2
el m6dulo, podemos dividir la congruencia (2.18) por el producto
p-1
1 ·2 · ... • - - • Asi obtenemos
2
p-1
5-2- =s e1 2 • •• ep-I (módp).
T
Según el lema del punto 23, el producto e¡ez • • . e p - t contiene
- 2-
el factor -1 un nómero impar de vcce11 si p = fOt ± 1 (como p r.s
impar, esto significa quo pes de la forma 5t ± 1) y un número pnr de
veces si p = 10t ± 3 (o sea, si p es do la forma 5t ± 2).
Do aquí se deducen directamente ambas afirmaciones del lema.
25 . Estamos en condiciones ahora de demostrar la principal
propiedad de divisibilidad de los números de Fibonacci por un nú mero
primo.
Teorema. St tl número primo p es de la forma 5t ± i, el número
up.1 es divi&ible por p. Sl p es de la formci 51 ± f, el número U·p+J es
divt1tble por p.
Dcmostraci6n. Supongamos que p es do la forma 5t ± i . La fór-
mula de Binet da

uv-1-
__
i.
VS [(t+V5)P-
2
- (t-l/5)v-1]-
2
1
-

= 175
i -t 11+c1
2'P-i , 1c.+c2p- 1 (,rc:5}2
p- 1 V "
cp-1 (,rc)
V " + ·.. + p-1 V 5 J>-1 -

-1+c~_ 1 V5-c~_ 1 (115)2 + ... -c~:1 (l/5)1)-'1

o, dllspués de simplificaciones evidentes,
P - :1

2;_2 (C~_ 1 +c;_ 1 .s+ c~_, .5 + ... +c~:t ·5

up-1= 2 2 ).
Hemos visto en ol punto i7 que todos los cooficient.cs binnminl cs que
aquí aparecen son congruentes módulo p con el 1.. Por eso,
p-.1
21Hup-t e 2 (1 +s+ . .. +:; 2) (mód p).
4-0308
 $0
8111nan1lo la progresióu geométrica v tomando e.n consideración que
2r- 1 es congruenlo módulo p con el' 1, obtenemos
p- 1
¡)2 -1 ,
it ,_ 1 :
1
(111odp) .
2
.Pero, sogí111 el lema ílnl<.!rior, el 11t1nrnrador de la fracción del segun-
do miembro es divisible por p. Como (p, 2) = i, la fracción es también
divisible por f1 y ,1:n con:;ccuencia, u,._1 es divisible por p de modo que
queda demostrada la primera afümación <lcl luorema.
Pasc1nos al caso im que p es de la forma 5t ± 2. Aplicnndo, igl!nl
lflll' :intcs, la fórmula de Binl'lt, obtenemos
¡>- 1

u.1.+1= :r <Cf,.11 +c~+ 1 ·5+ c;.1. 1 .s + ...+c~+i ·5-2-).

2

Según el punto !ti, todos los sumnndos qnc figuran entre los parénte-
sis, a cxc.(!pción rl(~ Jos <~.xi.remos, son divil'ihlcs pur p mienlras quo
c1,.1 = c.¡:+l• dividido por !» da 1 como resto. l'or eso
t p- !
2
11
1,+1=2( L+5 )(rnúdp).

Aplicando on esto caso el lema ant.erior, oht.lmcmos que up+i es divi-

sibh: por p.
20. Su1iongarnos que 11 11 es divisible por un número primo p y
que 1.odos los números de Vi bonacci menores q1w u,,
nv son divisibles
por />. E11 tal caso diremos <¡110 p es un divisor pr()ptn do un· Por ejem
plo, 11 r.s un divisor propio do 1i10, 17 es un divisor propio de u D, ele
Es interesant.c quo rnalqufor número cfo l!'ihonacr,i, a excepción
do u.i, 1tH u~ y 1112 , posee al mcnog un di visor }ll'Opio.
La demost.ración de este resultado requforc 1·11zo1mmicntos bns--
tanto complejos y t?xigo que le dediquemos ol resto del parágrafo.
A la vez encontraremos algunas propiedadl's nucv¡¡s ele divisibilidad do
los números rle Fibonacci.
27. gmpecomos por algnu:is considcracioMS goucru ll~.
El important.e resultado, al que se llegó en el punl.o 8, sobre la
divisibilidad do un producto vor un níimcru primo purmite dnmoi;trar
el teorema llnmado a veces «lcorcrna fundamental de la Aritmética».
Teorema. Tod,, mímero natural se de.~cnmponc de un morio ií11ico en
¡>1·od11cto da /aclorc.~ primos.
Demostración. Suhra. ycmos, anta l~)do , c¡uo la pósibili<lad rle tal
descomposición <'S uu rcsultndo muy ~c11cillo que hemos encontrado
ya en el punto 5 del § 1 aplicando el razonamiento inductivo directo.
Con el fin 1l<i tlcmost.rar la unicidad de la descomposición conside-
ramos dos llosiblcs dcscornposicioucs ele un número a en factores primos:
P1/>2 • · • P/, = a = g¡qz • • • '1 1·
Ac1~plctnos para punlualir,¡¡r que k ~ 1. El segwiclo miembro debe
ser divisibloJ1or p 1• Es decir, como hemos explicado en el punto 8,
p 1 debo divi ir al rncnos uno do los factores del s11gundo micmbro.
¡;upongam:is, para co11crctar, 1¡\1c q1 es divisibl<: por p1 • l)ucsto que el
 51

número q¡ 1;s primo, esto puede rlarso sólo si p 1 = r¡¡. Simplifínarornos

obteniendo
Pi · · · Ph = q~ · · · 'lt ·
Repit iendo este razonamien t o (¡inducción!) k vcccs,'o se:i, hasta agotar
los factores del primer miembro, llcgarrmos a 111 igualdad
'l=q)t+¡ .. . q¡ .
Pero esto i'1ltimo es posiblo sólo s i q1,+ 1 = ... = q1 = 1 en cuyo caso
no pueden figurar los factores primos q1<+t. ••• , q¡ en In descomposi-
ción inicial. ·
Hemos demos~rado el tcoroma.
28. Si agrupamos en potencias Jos facLorcs iguales ele la descom-
posición de a. en factores primos, tendremos
(2.1!l)
Esta expresión obtenidíl para el número natural• a se dcnomin11 de•-
compo.•ici6n C(t/16nicn del mismo.
A vnccis, parn mayor como11i1l111l, ngrcgarcmos a la cll'Sr,omposi-
ción canónica factores primos arbítnirios de oxponenle nulo.
2!J. Para que un número a do descomposición canónica (2.Hl)
sea d ivisible por
b= p~lp~Z , , , p~h (2.20)
es necosario y suficiente, desde luego, que sea
<
~1 ª 1• ~2< ~. · · ., <a,..
~h
(En purticular, si alg1ín a¡ = O, también doho ser Pi = O.)
Ahorn po1lcmos dnr.una explicación nueva do lo que cii 1il máximo
común divisor de dos o varios números.
Sean a 1 , a1 , • • ., ªn unos números naturales y scnn PH p 2 ,
. ... P1t números · primos, divisorC?s, por lo ml'nos, dn uno d e l'SOS
n úmeros. Consiilerl'mos las descomposiciones canónicas de a1, a2 ,

ª' = p~llp~l2 ... pftt11,

ª2 = p~21 P222 . . . p~211, (2.21)

ªn = p~ll lp~n2 ••. pftnh

{aquí se tfonc au >O para todos los oxponentt>.s). Es evidente que la
descomposición canónica de cualquier divisor común rl tic los números
a1 , a2 , ••• 1 a11 no puede toncr factores primos diforunks de /11> p 2 ,
••. , PI<:
d = P61 62 Ó¡
1 Pz • · · l'1t 1 •
Además, el exponente Ó¡ no puede superar ning1ino de Jos cx¡ionentcs
cr.,. 1 que le ~orresponden y que figuran con Pí on l os
etli, et2¡, .,.,.,
dcscom¡1vs1c1oncs ele los llllmoros a1, a 2 , • •• , ª":
<
O¡< a¡¡, 01 a 2¡ •.• ., O¡ < ªni· (2.22)
 52

Si des el má7i1110 r,om(1n dívisor, los exponentes 6 1 debon ser los

mayores do los numcros quo satisfacen las desigualdades respooLivas
(2.22). Pero esto siguífica que 6 1 ha de sor simplemen\e ol menor de
los niímeros correspondientes a.ll, o:,¡, ... , a.ni lo cual so puedo ex-
presar usi
ll¡= mín {et¡¡, a.21 •... , Ctn¡}.
Igual que en el caso de dos números, el máximo común divisor de los
ní1meros a,, a2 , • • • , ª" se designa por (al., a~, .. ., an l·
30. El concepto do mínímo comú11 mi'1Uiplo es, en cierto sentido,
dl1al al co11ccpto de máximo común divisor. ·
Todo número divisible por los números a1 , a , ... , do des· ªn
composicionc.5 e-0n6nicas (2.21) debe contener, oviaontemento, en su
descomposición ca nónica todos los factores primos que figuran por lo
mcnM en una do las descomposiciones (2.2i), o sea, los números
Ph p 2 , ••• , l'Jt· Además, en la descomposición canónica do un múl·
tiplo común p11cde11 aparecer otros factores «extraño~. Por consi·
g11icnl.-O, la dcscom(lo~ici6n cnnónicn do cunlquier múl~iplo común m
di: los números n1 , a 2, •. ., ª" es do la forma
m. = ,,~.p~2 ... p~llQ,
donde O es el producto de lodos los factores primos «e.x.trnííoa», con la
particularidad de que para todo i = 1, 2, .. . , k se cumplen las de·
sigua Ida des
ll i ::;;-.. ªli• 111 > 0.21, •. ·, 1i1 > <X.n ¡. (2.23)
Si m es el mfnimo común m\1ltiplo do los números ah a; , .. ., ªn•
el factor Q no debe, naiuralrncnte, figurar (o sea, debo ser igual a uno)
y los exponentes 11¡ deben ser Jos menor~s ~le lo~ n~~eros que sa\isfa·
cen las desigualdn<1es (2.23). Pero esto ultimo s1gmfica que 111 ha de
ser simplorncnta el mayor de los números o.u, a,1, •. . , a.n 1:
11¡=máx {0.11, 0:21, ... , O.nd·
El mínimo común múltiplo de los números °t• a2 , • • • , ªn se
indica por (<11t a2 , ••• , ªnl·
31. Demostremos un lemn nuxiliar.
Lema. Cualesquiera que .~ean. los números ah a. 2, ••• , Cln, se tiene
máx {CLt> CLz" • •• , CLn} =
= cr.1-1-a.:1 + ... +et.n -mio {a.1, et1}-mln {0:1 1 c:t3}- .. .
.. . -mín {O:n-t• e:tn} +ruin {0:11 0:2. c:t3}+
+ mín {c:ts, cx2, a~}+ . ..
. ...
. .. .... .... ..... .
± mín { " ti a.i, · • •. Ct.n} (2.24)
(aquí <'n In segunda fila ap~r~n ~odos los f!1Ínimos de dos números,
en la tercera todos los mm1mos de tres numeros, etc.).
Demoslt~ci 6n. l'odemos aceptar desde el principio, sin perder
generalidad, quo los números etu ª2• .. ., a.,. cumplen Ja condición
Ct¡ > ~- > ... > O!n·
 53

En tal caso
máx {a..1, a.1 , ..., ci.n} = etl'

Calculemos el valor del segundo miembro de (2.24). Veamos con

este fin cuántas veces aparece (algebraicamento) on él cada uno do los
números a 1, o. 2 , •. ., Ctn. co~víniendo en que de . dos números. ai. y
Cf.J iguales se toma como min1mo ol do mayor indico (osto do ningun
modo afectará los valores de las expresiones consideradas}.
Observemos primero '{Ue 0:1 es el mayor de los números considera-
dos. Por lo tanto, erareeera sólo en la primera filn del segundo miembro
de (Z.24) y, ademas, sólo una voz:, o i;oa, O\t apareco en el segundo
miembro de (2,24) con el coeficiente igual a uno.
Veamos ahora cómo aparece en el segi.indo miembro do (2.24} un
;¡(unero cualquiera a 1 (i > 1). En la primera fila figura s6lo una vez.
En la segunda y en todas las sucesivas hasta la t-ésima inclusive,
entra s6lo cuando acompaña los mínimos dondo a..1 aparece con núme-
<
ros do índice menor quo í. En la fila j-6,,ima (j i) aparecerá tantas
veces cunnt:is combinaciones so pucc.la formar do f - 1 numoros o:1,
••. , tt¡-1 tomados j-1 8 j - i, O sea, e{:¡
veces (v6aSO o\ punto 14
del § 1). Por consiguiente, el número a.1 aparecerá (algobraicamente)
un total do
1 - Ci1- l -1-cz ·
i-1-···± ct- 1
i- 1

veces.
Pero, en virtud del punto i3 del § 1, esta expresión es igual a
coro.
Es decir, el segundo miembro de (2.24) es igual a cx1 y,por ende,
al primer miembro; hemos demosrtado el lema.
32. Empleemos este resultado para dar una expresión cómoda
del mwimo común múltiplo de varios números.
Teorema. Se tiene

(ah ª2• · · ., ªnl=

= a1a9. · · · ªn (ati a2, a3) (a1, ª2• 44) ... (2.25)
(a¡, a2) (a¡, 113) . ·. (an- h an) (a¡, ªi· a3, a,) . ·. ·
(Aquí en el numerador figura el producto de los númoros consi-
• derados y de los máximos comunes divisares de todas las combinacio-
nes posibles formadas por tres, cinco, etc. de estos números, mientras
quo en el denominador apa.rece el producto de los máximos comunes
divisores de todas las combinaciones formadas por dos, cuatro, etc.
de estos números.)
Demostr:iei6n. Se:i p un factor primo cual quiera que aparece en
las descomposiciones canónicas do algunos de los números a1, a_,, .•.
. . ., ªn·Indiquemos por cx1 el exponente que acompaña p en la des-
composición canónica de a1• En:ol primer miembro de (2.25) este fac-
lor figura, segím el punto 30, con el exponente
 54

y en ol segundo rnfom1>ro aparocc, do acuerdo con el punto 29, con el

exponente
a1+az+ . .. +a,.-
-mín {a¡, a~}-m ín {a¡, a 3} - ... -rnín{a11 _i. a 11 J+
+ mín {a¡ ,~. a3}+min {a¡, az, ex,}+···
• • • • , • • • • ••• • • • • • •••••• r '
± mío {a11 ~:!• • · • , o:,¡}. (2.27)
Del loma nntorior so docluc..(.' quu las exprcsionc., (2.26) y (2.27) son
iguales.
Es decir, las dc11composiciooes canónicas do ambos miembros de
(2.25) conticuou idtinLicos factores con iguales cxponcnles.
33 . Volvamos a la divisibilidad do los números do Fibonacci.
IA'mn.
"mu- t ...- u m. ¡· · ¡¡¡ 2 (2.28)
1, _ 1 e.~ 1 1111~ 1 ll 11or IL10 ,

Ue111oslraciún. Ap liljllt~mos La in1lucciún :;cgún m.

Parn 111 = 1 l'l divi1lcn<lo :;o hace igual a cero y, pur onde, es di vi-
sible por 11~,. Supongamos ahorn que la rotación (2.28) es vñlida y con-
sideremos la difl•roncin
Utm~1>11-1-un- m+It -- ( "n111- 1l'11 -I m-1-1
11111fL11 -un-1 •
+u )
Tenemos, según la liipóLesis inductiva,
- 111 ( .,, 2)
Unrn-t = 1111 _1 I001,1 U 11 •

(2.29)
Pero en el punto 1 hemos visw 'tllC um 11 es divisihl<' por un do modo que
ILnm"n a O (mód u~)
y (2.20) su convicl'lo en

U(m+lln-t -
1n+I _
1'n -t =0 (ll\Ul
· l "n2) •
Hemos demostra1lo el pnso ind11ctivo y taml>ién el lema.
a.1. Lema.
11 11111 -
111
l'n+I + 11" '
11 _ 1 es d'w1.s
3
· tbl e ¡>0r uw (2.30)
Dcmos~ración. Apliquemos la inducción según m.
P<1rn m = 1. el divi~lcn11o so hace igunl u cero y, por ende, c:s
divisible por 11¡~.
Supongamos que la nfirmnción (2.30) es válida y consideremos ln
expresión
m-1-1 I 11t+t _.1 m+l .i m+I
"<nHl>n - i 11..¡: 1 • - un - 1 = 11 mn - tUn--¡·Umn 11 nH - 11 n+ I -1" "n-I •
'fcll<llllOS, ~cglÍ11 la hipótesis iuductivn,

U¡n¡¡ = ILn+I -un-1

m m {1110'd 1111:1) •
 55

6
m·l-1 -,-u
.1 in+I - m ( ) (mu~
' \ 11 :¡) ,
"<rn+lln -un+I 11 _l = llmn-tUn -11 11 _ ¡ "'1u1-ti11-t 11
e.~ decir,
U(nHfltt -
m.¡..I -r
un+I L m+I
u.n- t =Un ("nin-t - lln- ' ¡ u3)
"' 1 ) ( 1ncM n '
Del lema anterior resulta ~uc la diforcncia q110 aparl.'.co en el segundo
miembro es clivisiblo por u,..
En consoc11<mcia, el segundo miembro es
<livisible por u~, o sea, e:; congruente módulo u~ con el coro, como quo-
1·í11mos demostrar.
35. Sea p un número primo. En d ¡rnnto 1 hemos demostrado que
" n;• ~.s divisible por !'n· Esto significa que al pasar de 11,, a pc>r un u,,.,,,
hulo, puerlcn aparcr.cr n11ovcis factores primos y, por otro l;uJo, pucrlcn
11umo11L11r lo!! o:c.pononl<:s anLijlUO!I do lw; 1livii1111·cs primos de "w Ahora
tlc1110~1.rarcmu.~ qoe sólo puede aum1?11lar 111 t•xponcntc <l1>l rlivisor p,
mientras que los 1lcmás divisores primos de u,, han do <:onscrvar sus
exponontes. Adcmiís, si p =fo 2, su OXJ)()nonto aumenta en 1 torio lo
mm1 y si P= 2, on 2 a lo sumo.
Teorema. Si q u u1i divisor primo de 11 11 dl.fercnte de p, el mímero
Unp
- no es divfsi/Jle por q.
1tn
ltnp
Si p es un divt~or ¡1rlmo i11ipar clt u,., el 111imero -ltn es divisible
por p pero no por p1.
Si l'r. es d itJWble por 4, el mímero "~ 11 u di1;isihle por2 pero 110 por/¡.
\111
,~.i u" eR d'i 111s~2 pero 110 por ~1, n¡ 11 u. mem !i;'
. 'ble p11r " 2 11 es d't v1.~¡
. /J [e
por 4 y no es divisible por 8.
Dcinostraci6n. 'l'om11ndo m = p, encontramos llel lcmn nnto-
rior que
11 11 p-u~+i +rt~-t es divi~iblc ¡lQr u~.
En ol punto 'i lwmos visto que "ni> N1 clivisibie por 1111 ; adcmlÍs
rt~+ 1 -u~--I = (u 11 _, - 11 11 _ 1) (u~+: + u~~-~u,,_ 1 + ... +ur,: ll=
)) - t
= 11,1 ( ¡¿n+I
+ ª p- 2 L ~ Jl - l )
n+1"11.-1· r . . • , .. 11"11 - l •
Por consiguienlc, iti. divido la dHt>rc11ciu
"nr p-1
- -- ( 11 n + I
"•\
+ 11~-2 v-t
11+1"11-1 + .. ·+ 1•n-1 >· (2.31)

De 11quí se doJucc, en primor lugnr, que fa cliforeucia (2. 3·{ ) l!S

divi~ihle por un, o sea, que
U·11¡1 _ 7> - 1.J ¡1-2 .1
- - = 1'11+1 -1· ftn+ t ªn- 1 T "·
+11·p-1
1- 1 (mód ''11) · ~2.82)
lt11 ' ' '
 56

Pero como
Un+l =Un-1 (mód U.n),
de (2.32) so despronllo que

""n+t +un+ I + ... +un+ I (mod un)•

Un p p- 1 p-1 p-1 '
u;;-
Puesto que el segundo miembro contiene p sumandos, deb e ser
Unp - 11-t Ó
- - = pu,.+
Un 1 (m d Un).
Por consigniente, toilo divisor común do l os números ~ y u. 11
t•,.
dobo dividir también p y vicoversa de modo que

Si q es un divisor primo do un distinto do p, ol número (p, u,.) no es

divisible p or q¡ luego, ( uu,,,.n , un). tampoco es divisible por q. Pero

rtn es divisible por q que, por consiguiente, no puede dividir Unp

Un
y queda tlemostrndn la primera parto del teorema.
E n segundo Jugar, puesto que la diferencia (2.31) es divisible por
u~,. tenemos

-,L
-n .a "n·H
Unp p-1 p -2 P- 1 ' 2
+''n+ 1lln-1 + ... +un-1 (mod p ).
Sea
un+t e r1p+r' (mód pZ) ,
un - 1 e r2p + r• (mód p2),
<londc O ~ r¡, r 2 , r', r• < p (como quiera que la diíerencia Un+l -
- "n ·t es igual a Unto sea, es divisible p or p, los restos r' y r" deben
ser igualC?S; pongamos ontonces r ' = r• =
r; salta a la v ista que r ::¡:. O
ya que u" • 1 y ''n+J no son divisibles por p).
En estas corn:Jiciones,
Unp
- - s (r1p+r)P-l+(rip+r)P-2 (r2p+ r) + ...
Un
· · · +(r¡p+r)P- 1' (r2p+r)h-J + ...
.. . +(r2 p+r)P-1 (mód p2).
Suprimamos lo~ parén lesis en el segundo miembro omitiendo los
t.órminos divisibles por pi. El término
(r1p+r)1:i-.li (rzp+r)ll-1
dar{i entonces
el r1prP- l<- lrll-lf rP-hCI r prl&.-2+rP· llr11- t
p- /¡ ~-' 2 '
 57

o sea,

Tomando osta exprosi6n para todos los términos, os decir, para k =

= 1, 2, .. ., p, y sumando, obtenemos
~ = P (p; i ) pr¡rP-2+P (p;t) pr2ri>-Z+pr1H (mód p2) . {2.33)
ltn

Si p ::¡. 2, ol número . P (p;- t) es entero y los dos primeros

sumandos del segundo miembro de {2.33) son divisibles por pª de
modo que
Unp
- - ;¡¡¡ pr'IH (mód pZ) .
Un
Final.mente, rP-• - 1 es divisible por p en virtud del poquefio teorema
de Fermát. (punto 20); luego, p' divido pr - 1 - p de formo que defi-
nitivamonto obtonemos
Unp
- Un == p (mód ,,Z).

"Un
Es decir, el nómcro ~ , dividido por p", da p como resto o, en
otras palabras, os divisible por p pero no por p•¡ hemos demostrado
la segunda parte del toorema.
Sea ahora p =
2. La fórmula (2.33) puede sc.r expresada enton-
cos así
(2.34)
Si un os divisiblo por 4, los números "p-t y ''n+lt divididos por 4
dan el uno como resto lo que puede verse de Ja sucesión do los roslos
(2.2). Por consiguien\e, en este caso tonemos r 1 = r1 = O y r .... t de
modo quo (2.34) da
2
" n
"n
=2 {mód 11)

lo cual domuestra la tercera parte del teorema.

Supongamos, finalmente, que "n no es divisiblo por 4. La sucesión
(2.2) permite ver que en este caso r 1
que (2.34) da
=
O, '• = 1 y r = t de modo

U:n = O(mód 4).

Un

Resta demostrar que ~ no es divisible por 8. Pero si sucediese

u,.
lo contrario, "in sería divisible por. 16 y, según el punto 13, 2n sería
divisible por i;¿, o sea, n tendría 6 como divisor; do aquí, a su vlfz, re-
sultarin que un sería divisible por ue, es decir, por 8, lo que contra.
dice la bip6tesis (a saber, que un no es divisible siquiera por 4).
Hemos demostrado comple~ameute el teorema.
 lí8

:m. l!:st.arnus nliorn 011 cnmlicioncs do dcmostrur lu oxistcncia <la

divisores ¡•ropios pnra los mímeros do l1ibom1cci.
Tcurcnrn. 1'odo 111í111ero de Ftllonacci, a e:r:cepctón de Utr u2 , u9 y
1112 1 posee por lo 11111110.5 un di11isor prnpio.
Domoslrnciú11. C:onsidcromos ol número llo Vihonacd un. Son
ª1 a., <J.¡
¡¡=JI 1 />2 •.•• Jlh •
ln tlC'scompCJF<it:iú11 c:rnúuica dd n\rmero 11.
Tonwmoi; los 1)t'11ncros de Fi bonncci
11"' , un , ... , !I 71 (2.;15)
¡;; 1•2 1•,,
y c;1lr.ulc11111s d mínimo r.mn1i n múll.iplo M de lo~ mismos. Sng1ín ol
(1111\lll 32.

(12!.I/~ ••• 112!. ([''..~· "..!!.' !t~) ...

M .- ''• JI~ ''1, ''• ,,~ 1•.1 (2..:!(i)
u!!__'"..!!...) ... (11_.,_' 11~) ('t.!!.' u~, u:;_,".;!,)'''
( 1'1 .,,:! l-'1:-1 l'1t 7>1 l' i P3 114

Pero para c1u1lc¡uícr r y parn diforcntcs tL, i 2 , .•. , Ir HO tiene

lt..:!...
(
'í,
l'or r.so,
11,.11 ••• n rt,.
M .... l'¡
11
n:,
--- 11
1•1, 1111>2113
¡¿ ll "
-- 1'1!'3
--
,.,,,~
1} •••

--- ----
lt 1'

P1t-1l'h )l1J•2V3P~
IJ. Tl

Ahon1 hion, 1111 es divisíblo ¡ior lodos los nlt1111?ros rin, 1t,., ••• , un l
111 71~ V¡1
luego, l.ambié11 es divii;ihlc por el mínimo comíin múltiplo M dc estos
11úmcros:
= Jl.lt. "'n
'l'oclo tlivisOL' primo ¡\f diví<lc uno de los mí1noros (2.35) y,
por consiguiente, 1)$ un tlivisor imprupio de "~• tlo modo que todos los
1livisorcs pro)liol' ele 1111 d11bcn ser divís01·cs tic t. Del teorema demostra-
rlo cu el puuto 35 ¡¡r~ dr1lucu que, 1lc loclos 1111; divisores primos impro-
pios que Licnn "•> • 1!11 111 tk1scomposici611 1lc t p11o<lo11 figurar a lo sumo
p1 , p 2 , ••• , p1, r.on la partic11lnri(lnd clo c¡uo car.In 11110 do estos 111imc-
ro<; np1wr.cc cu /. c1111 ol expon()ulc t todo lo u11ís 1 n excepción del níimo-
ro 2 que Jllll'<lr. :1p:1rt•ccc con ol cxpon<'nW- :t.
Por eso, la l.'X i ~ tcncia de tlivisores propio11 para ol u1ímero do
Vihnnncci u,, 1pmdnrii dl:'moslra!ln si !lj! dcmMstrn Ja <lcsigualdnd
t> 2p1112
+ ••. />h
.
 S!l

(la cruz debajo dol dos significa a9ui, y tnmbién en lo quo sigue, que
este dos so toma en consicloración solo si uno de Jos números p 1, /la •.••
. . . , Ph es igual a dos).
Demostremos, puos, que

- - -----
u 11 U n " "
t = ~-1-•,_1•_2_1_•1-
''._
... ii 11 I~ n

l~__l_'k_-_,v_h__,_i1_1~_P_3_V4..._
u 11 un .u .. 11 u n
--
111 ''~
-,.,, l'1''~''a
--
En el punto 21 del § i hemos visto e¡ ue
1 l
1 n-;¡ •' 1 11+¡;
-V5 a, ~ Un < 1/S a,
Por lo tanto, In frnt'.ción anterior pucclo únicmnonte disminuir
si Lodos los númoros clo l<'il1011ncci quo íig11ra11 en !{lt nmnorndor so

sustituyon por Vs 1
o:n-ñ y t.odos lo!S números dr, Fihonncci quo Figuran
t
1 n+-11
Cll s11 denominador :>e sustituyen por y 5-a . L11cgo 1 probando

nuestra desigualdad para esta fracción m1evn, domostraremos incln-

so más de lo que queremos. Roaliiando las sustituciones soiialadas y
di vidicndo por ( ~g) 2", llegamos n la dcsigual<la!l

> X21 1J>z. • · 1 1i,

1 1

o sea,
( 1 1 l 1 t 1 )
a 11 1-p¡--;¡;-·. ·-;;¡;+¡;;p;+· .. +~ -~-···
1 > 2p,pz • . · l'1t.
ñ <H·Pt+Pz+ · . ·+1'11 -l-P1T'2+ . . '+Ph- t1lh+P1P2.P3-I- ... ) X
CL

es decir,

e;
n(t-..!...)
P¡
(1-..!..)
1>2. (1-f )-* (1 + 1•1) (1 .¡..p~) ... (1-l •'¡,>
" >
> 2/11/12 : • • P11,
X
 60

de doude, tomando lognri\mos, obtenomos

n ( 1- ;
1
) ( i- ;
1
) ... ( i- :J -
-n1 l1 -t- P1) (1 -1- P2) · · • (1+1'11) > log« 2P1P1 · · · Plt·
X

fü!cordando la dei;composición Cllnónica del número n, podemos

exprcs.1r osta .dosigunldail asi
1'~1 -I (Pt - 1) P';2-I (P2- f) .. • P~,,-t (Ph -1)-
P1+1 P2 1
- -o.- - 11-
+ •• •
Pk + 1
-ª-- > log°' 2p¡pz ••• Ptl"
P¡ 1 P2~ P,/ X

., Ct¡ - 1 ª11 -t • .
La oxprC31on p 1 (p 1 - f) . .. p 1 (p 11 -i) suelo 1n<licarso
por <p (n). Se ll:una función de Eullcr. Posee muchns propiodadcs de
importancia o interés.
Introduciendo Ja función de Eulcr, tenemos
P1+1 Pz+i. P11-f-1
<p(n)>-QC.- -a.- .. . -a-+loga2P1Pz··· Plt· (2.36)
P¡ 1 P2z rr/' x
Resta encontrar los números enteros positivos n quo cumplen
esta desigualdad. Diremos que tales números son tbuenost a diferen-
cia de los mialoSt quo no satisfncen la desigualdad (2.36). Está claro
que siendo n un número bueno, el númoro do Fibonacci un posee di vi·
sores propios. Subrayemos que la reciproca no tiene lugar: el cum·
plimlento de la desigualdad (2.36) es sólo una condición suficiente,
pero no necesaria, para que un. tenga divisores propios. Por eso\ en el
caso de númoros de Fibonacci de índico malo (habrá 10 números ae esto
tipo) deberá comprobarse adicionahnenlo la existencia de divisores
propios. Veremos que seis do estos números ticnon divisores propios
mientras que los cuatro rcstnntes (indicados e.n el teorema) no los
poseen.
t:A simple vistn• so observa que, al aumont.ar n, el primer miembro
de (2.36) crece bastante más rápido quo el sogundo. Esto permite
suponer desde ol principio que la desigualdad (2.36) no se cumplirá
sólo para pcquoiios valoros de n. Poro con la tendencia común nl cre-
cimiento, ambos miembros de ln desigualdad se comportan de manera
muy irregular con ol aumento de n, y dilícilmcnto podrán aplicarse
ra zonamientos inductivos directos a osto caso. Do aquí que sea nntu·
ral el siguionte programa de acción. Ideamos un esquema de det~rmi­
nación sucesiva do todos los números naturales que permita pasar de
un número buono s6lo a un número bueno; si la aplicación do esto
esquema conduce en alguno do los pasos sólo a números buenos, todos
los n.'1roeros posteriores también serán buenos; en otras palabras,
todos los núincro.s malos serán encontrados antes de eso paso. F.l lector
podrá observar r¡uc este modo do razonar es también una variante dQI
razonnmiento inductivo.
Demostreino:: proviaruento tres proposicioqe:¡.
 6l

1. Sean p 1, p 2, ••. , p¡p .•• todos los nfünt>ros primos tomados

en orden do crecimiento (o sea, p 1 = 2, p 2 = 3, etc.). Si el número
n = p1p 2 ••• P11. es bueno y si Pll + I > 3, el mímero PJP2 . • •
• • • P1¡Ph+i es también bueno.
Efectivamente, en este caso tenemos
n = PtP2 • • • Pk Y
q¡ {n) = (P t - 1) CP2 - 1) · . · (p¡¡ - i);
según la hipótesis, es
(Pt-1) (fl¡- 1) ··· (P11-1)>"
> (1+-i ) (1+-i 1 )+loga2P1P2 ... Ph·
) ... (1+- (2.37)
Pi P2 P11. x
Para obtener In desigualdad correspondiente al producto
PtPt ••• P11.P11+1t debemos multiplicar el primer sumando del sogundo
miombro de (2.37) por ( 1 + _i - } , o soa, por un número menor q~e 2,
/JhH
y agrcgnr al segundo surnnndo la mogniturl loga PHi. Pero el número
p1p 1 • • • Ph - 1 es primo con cada uno do los números primos
P1t p 2 , • • • , p,._. Por consiguiente, cualquier divisor primo suyo q
es mayor quo todos estos números y, por ende, no es menor que
Pk+l·Es decir,
Pk+I < P1P2 • • · Pl1
y, con mayor razón,
Pk+t < 2P1P?. • • • Phi
do donde se deduco quo
<
loga Ph+I loga 2P1 Pi · ·. Ptt·
Queda cloro asi que agregando loga Ph+t al segundo sumando
aumentamos su valor en menos de dos veces.
Por lo tanto, el segundo miembro aumenta en menos de dos veces.
Por otro lado, el primer miembro queda multiplicado por Pk+t - 1,
o soa, por un número mayor quo 2. De {2.37) se deduce entonces la
desigualdad
(Pi-1) ... (p1¡-1) (P11+1}> ( f+ ; 1 ) ...
1
··· (1+-Ph-) ( 1+~)+1oga2P1
Ph+I
··· P11P11+1
como queríamos demostrar.
2. Sea n. = p1 p~ ... P1t• dondo p 1, Pu •• . , P1t son números
primos arbitrarios y distintos, un número bueno y sea q un número
primo cualquiera dlicrento de PJ• p 2 , ••• , Ph y mayor quo p¡; enton-
ces, Gl número qp 9 • •• P1t también es bueno.
Efectivamente, en este caso Ja desigualdad (2.36) do nuevo con-
duce a (2.37). Sustituir aquí p 1 por y es tanto como multiplicar el
primer miembro de (2.37) por q- y el primer sumando del
P1 - 1
 (¡z

1+!
segundo miembro por --i-
1+-
y agrngar log00 .J_ al sogundo su-
l' t
l'I
nw111h l'er1J r•>n11> q > p 1, esto conducir:í :;ólo a la dismiu11ció11 d<!l
prinwr ll\1111a1Hlo ,
IJ IJ-1 ']
J\d1'f11;'is -
/l ¡
> 1
'
1h• donde - - . - > -
Pi- 1 Pt
~·.por consiguienl.o,
1) - 'I q
---
[l ¡ -1
> log 00 - .
,,,

l~I ~egundo miemlm1 de (2.37) es mayor (lll~~ ·1 (aunque sólo sea porque
todo!\ los n(uncros primoi:i, comon1~1n<lo 11or el 2, son mayores que a2).
gi prinwr miembro C!; tnmbién mayor que i por ser sup()rior al so-
guntlo. l'<lro, :ii mult.iplicnlllos el pl'inwr mictnhro (mayor que 1) por
11¡1 n1h11crn m:o~•or q111• 1 y, 111 mismo lÍ(llllfll>, a¡~rng:uno:i ni i::1•g11111lo
mil>mhro uu nfoucru menor, la dcsígualthul (:.!.,:lí) co11lí11u;ml siendo
Yíl!ida,
,,.... s·1 pª1 l'z'kz ... !'1ª<.1·• e:; un uunll!ro
' l meno, e 1 n11moro
. pet1+ 1p rtz , .•
1 1 2
• • • ¡i"'Ji
1, es tarn l H,,OI\ 1uucuo
•
.
.Para demostmrlo bastará observar q\w al susLi luir cu la <lcsigual-
da.cl
"ª '- 1..(/11-n P2a 2- ! (pz- I) ... P1/a ' - l (Ptt-1) >
P¡ \·
J11+1: 112+1 /li.+1 '
> __ ª ___ª_ · · · -a-+ Joga 2/11/12 · · · Ptt
Pi 1 /J22 P¡/ ' X

·ol ·oxponcnto .cz1 por un número mayor a 1 +

1, ol pl'ÍJllcr miembro
ami1enta y. el segundo disminuye. Es decir, por efecto de esta opcra-
cl\5n todo número bueno sólo puedo convertit's() en un número bueno.
JJisponcmos, pues, do tres operaciones con números, o <lo tres
fol'mas do pasar do uu niímol'O a oLro, con la particulal'idn<l do q110
estas o¡HJrncioucs convicrLeu números Jn11mos tle nuevo en números
buenos.
f,a primera opornción conduce a la succ~ión 1, 2, G, 30, 210, ... ;
la sllgumla permito on t odo número, cuya descomposición canónica
contfone sólo primeras polencias de 111ímcros J>rirnos, s\lstit.uir cual~
qu i~r divisor primo por otro mayor (para concrc:tar, aceptemos que
se escoge par:i esl.a sustHución ol número primo más próximo ~por
exceso») quo no figura cm la descomposic.ión canónica iuicíal; la ter-
cera operación permito aumentar en 1 cualquier exponente dn la dcs-
com¡)l)sicióu canónica. l'm'Licudo del 1, oht1J11<lrnmos por electo do
cst.11s opcracionos L<n.los los 11(1111oros naturalc.~ . Salla i\ Ja vista quo ul-
gunos números 1qial'ece1·;l11 rnús de una vcz, poro esto no afectará
nuestros razon:tmiento:;. Lo que importa es <¡ne todo niímero apare-
cerá al meno:; una v(!-z.
!'asomo:; ahora a obt.cnllr Lodos los núm~ros n<1t11mlcs.
Comcnccrnv;; con la pl'imcru 011craciúu.
 !Sl n1í,mcro 1 es malo, ¡nu:s Ja dcsigua lcl11rl (2.31\ :11a l\ll cst.c caso
1> 1 -t-loget2 =1 +log~i== f
X
' -
y, por lo tnnto, no se cumplo (igual quo 1111tcs aceptamos que el pro-
ducto de números naluralcs quo contic1w coro factorCls os igunl n 1).
La prim1lro. opcrndón apli,cada al 1 co1uh1r:o al 2. Ln (h:sigunlcla<l
1 > ;¡
2
+ 1Ogc:i;,, =~
:i 1 1 l.
- oga·•

es incorrecta, o sea, el número 2 es t.1mbié11 malo.

Los números siguientes, 6 y 30, también son mo.Jos, pues
4
cp(G)=2< ;{ ·3+loga 1'2= 2+Jog<X12 y
2
cp (:10) = 8 < ~ ·4-· ~ +iogll GO ef 2,li -1- 8,!i.
Al conlrario,'el número 210 = z,3. ;:, .¡ es bueno ya r¡uc

cp (21~) =43 > 4·{·~ ·~ + Jog<X 420 a; 2,7 + 12,5.

Por eso, soo buenos totlos los números s1•c<:!!ivos rcsull:111lcs <le la pri-
mera opcraclón.
Consideremos ahora la segunda y la lorccra operaciones.
Aplicadas al número 2, tlan 3 ·y .li , rospcclívamculo, que son mí-
mcro:i malos:
qi (:1).= 2 < i·+ log<X 3 ~ 1,:1+ 2,:1¡

<¡>(4)=2< ~+ log11.'ts 1,5-1-2,!I.

Para el número 3 estas oporacionns clan 5 y fl, rospecliv;11ncnl.c; no
ofrece 1Hficnllad com prob11i· quo 5 es un m'umiro malo mient.rns c¡uo 9
es un número bueno de modo que lus tr11nsform;1cionci; sucesivas del 9
no tienen interés. Ahora, partiendo del mhncro 5, podemos pasar por
erecto de ln sce-unda operación nl número 7 y empicando fa Lercerl\
operación nl numero 2!l. Ambos son bul'!los; por c.onsiguien~c. todos
los números derivados do C.'>tos serán buenos y pod1)ffiO!I no consido-
rarlos.
La tcrcora op-0roción aplicada 111 4 conduce ol níimcro bueno 8
( la segunda operación no so puede emplear para d niírnero '•).
Resumiendo, aplicando ni 2 fa segunda y Ja tc!rcern operación
tantas vcc<'.s r.omo se quiera, obtenemos Iros númuros (3, 4 y 5) mRlos,
siondo todos los demtí:i buenos.
Pasemos al número G. La segunda opr.ranión conclucc nl número
malo 10 y, dcsfués, a los números bucuos 20 y 15 y al número malo
tli. Pero tras e número millo H van los números bullnos 21 y 22 (se-
gunda operación) y los número~ buenos 28 y 98 (tercera operación).
' La tercero. operación, aplicada al 6, conduco ni número malo 12
y al número bueno 18. /1 partir del 12, obtenemos con Ja terc. i'J opera•
 f .

64

ción Los números buenos 24 y . 36, mien txas que }a segunda operación
no so puede aplicar al número 12, pues éste es divisible por el cuadrado
del primo 2.
Finalmente, todos los números derivados del número 30 (2i0, 42
y 60, respectivamente) son buenos.
Podemos resumir nuestros razonamientos on un esquema
(fig. 1).
Obtoncmos así que los númer os malos son:
t, 2, 3, 4, 5, 6, fO, 12, f 4 y 30.
Les corresponden l os números de Fibonacci
1, 1, 2, 3, 5, 8, 55, 144, 377 y u 80 •
Es fácil ver quo u3 , u,, u6 , u1 q y uu. poseen divisores propios (2, 3, 5,
11 y 29, respectivamente). Además, podríamos escribir todos los nú·

21b 22b 28b 98b

t~
~~

FIG. t

meros da Fibonacci que preceden a u 30, descomponerlos en factores Y

comprobar de un modo directo quo u 30 posoe divisor propio. Pero
esto huelga: dol teorema del punto 22 se deduco que u 80 es divisible
por 3i (ya quo 3i es un número primo d~ ~i~o St +i ); por otro lado,
u 6 = 9, uto = 55 y u15 = 610 no son d1v1s1bles por 31; luego, 3t es
divisor propio do u 30 • ·
Quedan l os números u 1 = i, u 2 = i , u 8 = 8 y u12 = t44;salta
a la vista que no tienen divisores propios.
Hemos demos~rado el teorema.
37. eEn contrapeso» a los cuatro números de Fihonacci que no
tienen di viso1·l!s propios, existen números do Fibonacci con varios.
 (l!j

divisores propios¡ por l)jcmplo, los <livisores 3i y 11 3 JH•ra 11.rn. los

divisores 53 y 109 para u 2 7, etc. Se ignorn si son muchos los n\nnoros
do Fihonacci con dos o más divisores propios.
Surge una prr.gunta natural: ¿cuál es el índice 1i 1lcl n Úm!!ro do
Fibonacci que tiene el primo p como divisor provio?
Del punto 2.5 se dcducv que n ~ p - 1 si p c.~ de tipo 5t ± i y
quo n ~ p + 1 si p es de tipo 5t ± 2. PBro l10sln nhorn se desconoce
Ja fórmula que permita calcular directamente el número de Fihonacci
con el divisor propio p.

En el punto 9 hemos demostrado que son compuestos l1Jdos Jos

nÍlmoros de Fibonacci de índice compuosto, a excepción do u~. La ro-
cíproca no tiene lug.i r: por ejemplo, u 19 = 4181 = 37 ·113. Cabe pre-
guntarse si es finita o infinita la cantidad de los números de Fibonacci
primos, o on otrns palabras, si existo o no el mayor do los níimcros de
l;ibonncci primos. Este problema sigue ¡1cudicntc.

§3
NUMEROS DE FIBONACCl
Y LAS FJ\ACCIONES CONTINUAS

1 . Consideremos la expresión
1
qo+ 1 (3.1)
Q1 + i
qz+ r3+

1
+q;,
donde q1 , q2 , • • • , <zn son enteros positivos y % os un cntoro
no negativo; o sea, a diferencia do los números q1, q 2 , •• •
. . . , qn el número g0 puede sor igual a cero. Tendremos
siempre en cuenta esta peculiaridad dul número q0 y, por
ello, no la mencionaremos más.
La expresión (3.1) se denomina fracción continua y los
números q0 , q1 , • . . , q11 son los cocientes incompletos do
osta fracción.
Las fracciones continuas encuentran nplicaciún en las
mó.s di versas cuestiones matem;íl.icas.
El proceso de conversión de un número en una fracción
C-Ontinua se denomina ciesarrollo ele c.'3tc número en fracción
continua.
5-0308
 Venmos cómo so obtienen los cocient.cs incomplet.os de
~'stc desarrollo en el caso de una fraccí6n corriente : .
Cm1sidercrnos con este fin el nJgoritmo de Euclides apli·
cado a los números a y b:
n=bqo+r 1 ,
¡, = r1q1 +l'z,
r 1 -~ r2q:d· 1'3,
(3.2)

JJa pri mcrn igu nldad da

(1 1'¡ 1
¡¡ =í/o-1- 11=1Jo+-¡¡- •
,.,
J>(•ro de la :;eguo el a igualdncl <h' g:st(ltna (3.2) se deduce que

de 111odo que
,,
y,=qo+ - - -.- .
qs+-
.!.!.
r::
Do la tcrC('l'a ig11nlcln<l de (3.2) obtenemos
r1 r3 1.
-=qi+-
rz r-i
=qz+-.-
tz
l'J
y, por Q.<;O,

¡; = lJo +----,1--
IL

Q1 + 1
q-z I· 'i
r~
 67

Salta a la vista que llevando este procoso hasta el fin

(¡inducción!) llegaremos a la igualdad

En virtud el.e l algoritmo l_lc Euclides so tiene qn > 1.

(Si fuese q 1~ = 1, resultaría rn -t igual a rn , rn-i sería divi-
sible por r,~ _1 y el algoritmo ele Euclides so hubiera inte-
rrumpido on el paso nutorior.) Por c.c;o, podemos en lugar de
q11 considerar la exprosión (q,.. -1) + ! , o sea , aceptar que
qn - 1 es el penúHi mo y 1, ol último cocientes incompletos.
EsLa observación será útil en adelante.
2. Hemos visto que toda fracción racional i puedo ser
desarrollada en una continua. Demostremos ahora que este
desarrollo es único, o sea, que son iguales los cocientes in-
completos correspondientes de dos fracciones continuas igua-
les.
Tomemos con este fin dos fracciones continuas (J) y ci>'.
Sean q0 , q1 , q2 , • • • y q~, q; , q;
sus cocientes incompletos
respectivos. Probemos que la' igualdad (1) = ro'· implica
las igualdades q0 = q~, q1 = q;, q2 = g;, etc. En efecto,
q0 es la parte entera del número ú> y qó es la parte entera
del númoro (l)'; por eso, q0 = q~. Ahora bion, podemos ropro~
sentar las fracciones continuas ro y ro' en Ja forma

donde ro 1 y ro; también son frauiones conLinuas. Puesto que

ro = 1tl{ Y q0 = q~, tenemos W1 = w;. Poro en tal caso son
iguales las partes enteras de los números w1 y <i>i, o sea,
q1 y q¡. Conti nuando estos razonamientos (\induccionl), nos
persuadimos de q11e qi = q;, q8 = q;, cte.
5*
 3. Sea

+..!...
IJ11
una fracción cont.innn. Consideremos los números
1 1
qo, 'lo+q;-, Qo-1- 1 ,
1J1 + -
l]z

Estos números expresados mcdinnte fraccion es irreduci-

bles corrienLcs
Po IJO
710=-1-·
I'¡ == Qo
Q1
+ -1- '
91

-~
"· =qo-1- '
f/i
'11
+1- 1
q~

I' »
-¡¡--=ro,
'( 11

se denominan reducidas de la fracciún continua w. Nótese que

~~ 1•± 1 se obLienc de ~ 11 sustituyen<lo el últi mo cociente in-
'<l<+J <lt
1
completo de esta reducida, o soo, q1l l pol' q11 + - - .
qlt +l
4. En la teoría de las fracciones continuas desempeña un
papel importante el lema que sigue.
Lema. Pnra toda fracci6n continua (3.3) se cumplen las
relaciones
P1i+1 = P,,q,.+1 +P11-i. (3.4)
+
Q¡, ~.¡ = Q1•.q11+t Q11-1i '(3.:J)
P11+1Q,,-J>,.Qh+I = (-1)''. (3.6)
Demostraremos estas igualdades simultáneamente em-
ploando la inducción según k.
 G9

Demostrárnoslas primero para k = 1. Tenernos:

_!t= qo+~= M1+1.

01 ql q¡

PullSto que los números q0 bJ +

1 y q1 socl primos ent.ro sí,
la fracción qoqi+t es irreducible; al mismo tiempo, la frac-
Q¡

ción ~: es irreducible por definición. Pero los numeradores

y los denominadores do dos fracciones irreducibles iguales
son iguales. Es decir, P 1 = q0 q1 1 y Qi = q¡. +
Tenemos, después,
_!j_ = qo + - Qo {9!'72+ 1) + Q2 (3 .7)
Q3 + 1 <M2+1
q1 -
q'J,

Según el punto 10 del § 2, el má ximo común divisor de

los números % (q¡q.¿ 1) + +
q2 y q¡q.¿ 1 es igual a (q 2 , +
+
q1qi 1) y, por esta misma razón, es igual n (q 2 , 1), o sea,
al 1. Por lo tanto, la fracción que figura en el úllimo miem-
bro de (3. 7) es irreducible de modo que ·
Pz = ÍJo {q1qz + 1) + qz = (qoq1 + 1) qz + qo =
= P¡qz +Po
y

La igualdad

se comprueba fácilmente.
Con esto queda demostrada la baso de la inducdón.
Supongamos ahora que son válidas las igualdades (3.4),
(3.5) y (3.6) y consideremos la reducida
Ph+l P11%+1+P11-1
Qht 1 = Qk qh+i +
Q11-I •

Hemos dicho ya qtie PQ11+ 2

se obtiene de P 1•·H susÚtuyeudo
lt+z 0 /t+\
en ésta qh+ 1 por q,..¡. 1 + ~; pµeslo qqe qlt+ 1 no íigmu. en
h+2 .
 70

los fórmulas para P,., Q1., P,._1 y Q11 _ 1 , tenemos

1'11+2 = P1t ( qk+l + Q1:2) +P11-1

QIHZ Qlt ( qh+I -1- - iq )
lt+'l
+ Qh-1
o, rocordan<lo las hip15tesis inductivas (3.4) y (3.5) 1
P¡,+z = P11+1qk+d-1'1t • (3.8}
Q11+2 Qh+ll/h+2+ Q1¡
Demostremos que es irreducible la fracción que apareco
en el segundo miembro de (3.8). Para ello basta probar quo
su numerador y su denomi11ador son primos entre sí.
Supo11gnmos quo Jos números P1,+1%+ 2 l\ y +
Q1,+ 1qh+z + 01t poseen un divisor común d > 1. En este
caso, la expresión
(Ph+1q11+2 + P1,) 01i+1- (Q1,+1q11+2 + Q11) PH1
t.aml>ién será divisiblo por d. Pero, según la hipótesis induc-
tiva (3.6), est.a expresión es igual a (-1)1•+ 1 y d no puede
dividirla.
Por lo tanto, el segundo miembro de (3.8) es irreducible
de modo que (3.8) es una igualdad entre dos fracciones irre~
ducibles. Luego,
P11+2= PH1q1i+2 -1- P11. Y Q11H ==Q1¡+1q1i+2 +Q,,.
Para concluir la demostración del paso inductivo resta
demostrar quo
Ph+2Qh+1-f>1.+1Qh+2 = (-1)''H. (3.9)
Pero ele los resultados ya obtenidos se deduce que
l \,+2Q1¡+1-P1i+1Q1t+2 =
= P1i+tqh+zq1,+1+ P1¡Qh+1-P11+1qk+2Q11+1-Pi.+1Q11.
y (3.9) se clcsprende directamente de la hipótesis inductiva
(3.6). Con esto concluyo la demostración del paso inductivo
y, por ende, del lema.
Corolario.
(3.10)
 71

La demostración es evidente.
Puesto que los cocientes incompletos de las fracciones
continuas son enteros positivos, del lema demostrado se
deduce que
P 0 <P1<P2< .. . , (3.11)
Qo < Qi < Q2 < • · ·
Más adelante procisaremos esta sencilla poro importante
observación.
5. Apliquemos ahora ol lema del punto 4 para describir
todas las fracciones continuas cuyos cocientes incompletos
son iguales a 1. Para estas fracciones se cumple el siguicnto
teorema importante.
Teorema. Si una fracción incompleta tiene n cocientes
incompletos, todos iguales a 1, esta fraccián es igu.al a ~.
u,,
Demostración. Soa a.,1 la fracción continua-do n cocientes
incompletos ignales a 1. Salta a la vist.a qnü

son las sucesívas reducidas de la fracción CX.n.

Sea

Puesto que
1
cz1 = 1 = T y etz = 1 + T{ = 2
T.
= 1 y Ps = 2. Además, Pn+ 1 = Pn<Jn+i +
· debe ser P1
+ Pn- = Pn + P'n+1· Por eso (véase el punto 6 del § 1),
1
Pn = Un+1•
Análogamente· tenemos: Q1 = 1, Q2 = 1 y ,Qn+1 =
= Qnqn.+1 +
Q11-1 = Qn +
011-i do modo quo Q11 = U.n· Por
consiguiente,
(3.12)
Comparo el lector esto resultado con las fórmulas (1.10)
y (3.6).
6. Sean
ti>=qo+ 1
9.1+ qz+ ...
 72

do!' írar.cioH<'s con~inuns con la particularidad de que

qó > Qo, q¡ > '11. q; > q~, (3.13)
lnd iqn<lmos por
Po
o;·
las mlucidas de J¡i rruceión (1) y por
P~ Pi P;
Q~ 1 Qí ' Q; '
l;1s rcd11cid11s de: In írar.t.ión w·.
l'nlln n In vis\a, de los rcsullados del lmnn del punto 4 y do
(3.13), ((U ll

Qó:;? Qo. Qí ";;:- Q1. Qí ~ Q2, · · •

Está claro que el vnlor minhno de cualquier cocicnlo incompleto
<'s 1. Por eso, si todos los cocientes incornplctos de una fracción conti-
nun son i¡;ualcs 11 1, los numeradores y los donominador".s de i;us redu-
cidns crecen meuos rápiclo q\lc los numeradores y los denominadores
de lns reducidas de cunlquicr otra fracción continua.
Estimcn1os r.sta diforcncia en el crer.imicnto. Es evidente que,
después de llls fracciones continuas 1le cocientes incompletos iguales
o 1, el crccimil'lllo monos rápido de los numeradores y de los denomi-
nadores so dn 011 la frMción ' continua que tiene lodos los cocientes
i11completos iguolcs n 1. a cxcopción de uno, igunl n 2. El lema que
viene a continuación permito ver que c.stns fracciones continuas tam-
bién están ligAdas a los números de Fibonacci.
I.cma. Si los números q 0 , q11 'lt• .• . , qn so11 los cocientes tncomple·
tM de una /racci6n co111t11ua Ci> y
qo= 91 = qz= ·. · ==q1-1=Q1+1= • •• =qn=1,
q1=2 (i=l:O),
se tiene
1i¡+1u,,_¡+3+1111111-IH
(I):> •
U ¡IL11-i+3+ut-t11n-1+1

Demostración. Apliqur~os la inducción según i. Si l = 1, para

todo 11 tonemos
1

(J)=• {+~
11 - 1 cocicnlcs .
incompletos . 1
. +T
 73

o, segtín el punto anterior,

y, tomando convcncionalmen~c u0 = O, obtenemos

<ll= U21tn+2+u1Un •
rt1"'n+2 + uou,.
Ifomos demostrado la baso de la inducción.
Supongamos ahora que para todo n se ticno

i+ 1~1-
i cocic11tcs
incompleios
{
" +1 + 1
2+-1-
CX.n- i
- U¡.¡.jUn-1+3+ U.¡Un-1+ 1
(3.14)
- u¡un-i+3+u¡_¡l&n-1+1

Tomemos la fracció11 continua

1+1~
t+ 1 cociontcs .
incompletos ,
{
1
+1-f- i
2+--
CX.n-1-1
que también se puede escribir así

1+-t-

· i cocientes {
. lµ90m p)ctos
(3.15)
 74

En virtud do (3.ili), la írncción conLinu11 c¡11C1 11parocc en (3.15) p<ir

d<Jbnjo do la línea de pu11tos os igual a
11 i+ t"n-i+2 + U¡IL11-i
H¡U11-¡+z+u1-1un-i ·
Por consigt1if)11tf), tolla la fracción (23. f5) es igual a
i + 1 (11¡ +ui+t) Un-1+2 + (111-t + u;) u,,_¡
lli+tlt ,._¡.1.2 +11 ¡lL,,_¡ = it¡+¡un-l+z + u¡l'n-i =
U¡lt¡i-i+2+ u.¡_¡u 11 _¡

u¡+2Un.-i+Z + u1+1Un-I
rlf+lUn-!+2 -j- U¡Un-1

Cou esto ![Uf)cla 1lcmosl.rado el paso inductivo y todo el lema.

f.orolnrio. Sea (J) una frncción continua que tieno no monos de n
cocientes incom¡>lelos, no todos igualos a 1, y sea q0 :/= O; rcprcsentan-
. ' r.01·1·111nlo
11o <•> como rnw fra1:r11111 • 7J/l , l11mlrt'mo.'I nnlonC<I~
l' .>> ll; +rlt,, _¡+3 -I- ll·;U.n - i+ I > "i+IUn-1+2 +lt¡ttn~i+t =Un+~
y, por arialogía,
Q> Un+l•
El lema del punto I¡ cfosempeña aquí, desde luego, un papel pri-
mordial, pues clebido a él obtenemos sólo fracciones irreducibles al
convcntir una fracción continua en una corrionte y esto excluye la
posibilidad ele que los numeradores y los denominadores disminuyan
por efecto de la simplificación.
7. El resultado del punto anterior pormHc obtener el siguiente
teorema que revela La posición especial de los números de Fibonacci en
cuanto al algoritmo de Euclides.
Teorem11. Apliquemos el algorit11w de Euclides a los números a y b;
=
st b "n, existe un valor de a tal que el número de pasos que requiere el
algorilm.o ser6. 11 - 1; si b < un, este 111ímero de pa.~os será menor que
n - 1 cualqu.iera r¡ue sea a.
Dcmostrnción. L11 primera parte del t.cornma es elemental. Basta
tornar a igual al nÍlmcro de Fihonncci que va rlirectamcntc después do
b, o sea, 1~11 • 1 • En este caso tl'ncmos
1171.¡.j
--= a.n.
"11
Puesto quo la fracción continuo ctn tinnn 11 cocientes incompletos,
el número rlc pasos en el algoritmo do Euclides, aplicado a los núme-
ros a y b, sera 11 - t .
Demostr'1mos la scgumla part.o del 1.corr.ma. Supongamos, a des-
pecho de.lo nFirmndo, qu() el número do pasos I\:; 11 - 1 como mínimo.
Desarrollnmos ~ on frar.ciiin continua (¡), Salta a la vista que 01 tendrá
n cocientes incomplotos corno mínimo (uno más quo el númoro de pa-
sos en el algoritmo de Envlidcs). Puesto quo b no es uo número de
Fihon!lcci, la fracción ú> t9n1r coci(rnte3 incompletos distintos de 1;
 75

por eso, debido al lema del punto 6, será b >un lo quccontrndico In

hip6tosis del teorema.
Esto teorema pone en evidencia que nl nplicar el algoritmo de
Euclides a dos niímeros consecutivos de Fibonacci el proceso corres-
pondíento será en cierto sentido el «más prolongado».

8 . La expresión
1
qo+ 1 (3.16)
11+---
1
qt+ ...
+ Qn+···
1

se denomina fracción continua infinita. Todas las definicio-

nes y todos los resultados de los puntos anteriores pueden
hacerse oxt.cnsivos do un modo natural al caso de fracciones
conLinuas infinitas.
Soa
•• •t (3.17)

la sucesión (infinita, claro está) de las reducidas de la frac·

ción (3.16). Demostremos que esta sucesión tiene límite.
Con este fin consideremos por separado las sucesiones

y
... , Pin+I
Q2n+I '
(3.19)

En virtud do (3.10) y (3. H), tenemos

es decir, la sucesión (3.18) es creciente. Igual mente, de

P2n+3 _ P2n+t = i _ li <0
Qan+3 Qin+ I 02n+3Q2nu 02n+202n+1
se""deduce que la sucosión (3.19) es decreciente.
·Todo término do la sucesión (3.19) es mayor que cual-
quier término de lá sucesión (3.18). Efectivamente. conside·
 76

remos los número~

y 1.omemos un número impar k mnyor que 2n ·y ·también que

2ni + 1. Do (3.10) so desprende q110
. (3.20)
adcinás, imcslo e¡ uc (:J .18) es crccion Lo y (3. 19) es decre-
ciente, te nomos
(3. 21)

.!:f!..< Pim+t (3.22)

Q11 Q;:m+J •

Comparando las cxprosionc.s (3.20), (3.21) y (3.22), oncon·

tramos
P2m < Pim+t
02n Q:m+t '
Según (3.10) y (3.11), tenemos
1 < "'ñi1
! Pn+I
Qn+I
P 11
- .Q;; =
1
Qn+!Pn
y, por eso, con el aumento do n el valor absoluto do la dife-
rencia entre la (n +
1)-ésima y la n-ésima reducidas tiende
a cero.
De todo lo dicho podomos concluir que las sucesiones
(3. 18) y (3,.19) tienen el mismo límite que también, claro
está, es límjte de (3.17}. Este límite se denomina valor r1e la
fracción continua. lnf intta (3 .16).
En el punto 2 hemos demostrado la unicidad del dcsa-
rollo de un número racional en fracción continua. Ya que
aquellos razonamiontos no se basaban de modo alguno en
el carácter finito de las fracciones continuas consideradas,
quedó así demostrndo qno todo número real (y no sólo ra-
cional} es valor ·de una sóla fracción CQntinua.
Puesto c¡~to todo nt'inrnro racional se llesarolla siempre en fracción
conlinua Iinltn, de lo expuesto se deduce que no puede ser dosarro-
ll.ap~ !-lQ. .una .~ra~9l.ón c.ootinua gnfiµilo,. o. ~en, e~ valor Jio· un11; fra~ción
éóntinua intínifa es necesariamcnt.o nn númr.ro irr11cíonal.
 11

La teoría de desarrollo de los núrncro11 irrncionale.s 011 frnccioncs

continuas constituye una ramn enjundiosa o interesimle de In Teoría
do los números. Sin detenernos especialmente en estas cuestiones voa-
rnos \In ejemplo rolacionado con los númcl'Os do Fibonncci.
9. Determinemos ol valor de la fracción coutinua infinita
1
1+ (3.23)
1 + -1 -
i+ .. .
Sabemos ya que este valor es igual a lím an, donde
an = ~ Calculemos este límite.
1

Un
En el punto 20 del § 1 hemos vislo que u11 es el entero
, prox1mo
mns , . n .,ª"_ , o se:i, pnra Loclo n so Liono
1
V 5

1.
donde 1en 1< 2 .
Por eso, recordando lo demostrado on el punto 5, tenemos
a•t+I
u,., 1 l' y'5 +On+t
li m ª•• = li 01 - - = nn ____n_ __
n..... n ... c» Un n-w ~+O
V5 "
a+ 6 11 +1 1/5 líw (et+ 011+ 1 )15)
= lim etn = n-oo a
"··oo H- Onan1/5 lím
n-oo
(1+ º"an1/5)
Pero Eln+ 1YS es una magnitud ncotnda (su valor absoluto es
menor que 2) y <J..n crece indcfinidamenl.c cuando n t.iendc
al infinito (porque a> 1). Por lo tanto
lím o.. ~., .~ =o.
n-oo a
Por estas mismas razones
lítn
n-oo
°· 115 =o
1
c;x.ll
de modo que
 El vnlor rlo la fracción continua (3.23) se puede detcnninar s in
recurrir n la fórmula de Binet ni a los límites. (En cierto modo nos
«.basta» con que el ra7:onamicnto inductivo del punto 2 es válido tanto
pnrn las Ir11c.ci ones conlimrns finitas como para los límites do éstas,
las fracciones infinitas.)
Hcprescntcmos con esto fin la fracción (3.23) en la forma

1 +.!.:r .
La expresión .'t es d(• nuevo Ja fracción continua (3.23) de moclo que

X= 1-1-..!..:t '
o sea,
z, -.:t -1 =o (3.24)
y

Puosto que el valor de la fracción (3.23) es un número no negativo,

1
u(lbo ser igual a ln raíz positiva do la ecuación (3.211), osca, +21/5
que es prccisnmc11l~! a.
De aquí se deduce que el cociente de dos números de
Fibon11cci consecutivos se aproxima a a con el aumento
clel índice. Podemos emplear esto para calcular aproxima-
damente el valor de a (compárese con el cálculo do u 11 reali-
zado en el punto 20 del§ 1 y también con la fórmu la (1.35)).
El error resulta pequeño incluso tomando números de Fibo-
nacci do índice no muy grande. Por ejetnplo (redondeando la ·
quinta cifra),
~ --~-
~1. -
1 ,n"1~,,,11
U.9 ,, l

mi(lnlras q110 a = 1,6180, o sea, el error, como vemos, no

pasa do 0,1 %.
Señalemos de paso que respecto al error que se comete
aproximando un número irracionnl por meclio de las redu-
cidns y del desarrollo en fracción con~inua, el número a ocu-
po una posición cs11ccial: cualquier otro número so aproxi-
ma por sus roclucidas mejor, en cierto sentido, que a. Sin
embargo, no nos detendremos on esta cuestión a pesar de
SU inlOl'~S.
 H
NUl\IEROS DE FIBONACCI
Y LA GEOMEl'HIA

1. Dividamos el segmento AB de lo1igitud 1 lln dos par-

tes (fig. 2) de modo que la mayor sea la media geométrica
entre. la menor y todo el segmento.

A e, 8

FIG. 2

Sea x la longitud de la parto mayor del sogmonto. La

longitud de la parto menor será, naturalmente, 1 - x y
nuost.ro problema se roduce a la proporción
1 :t
-;-=r-; ' (4.1)
ele donde
x2 =1- x. (4.2)

La raíz positiva clo (4.2) es - t ..~ -Vs ele modo i¡ue cada
uno do las razones ele la pro porción (li.1) es igual a
t 2
= z (1 + V5) H - V5
-=
X - i.+ V5 (-1 + V5) (1-1-V5) = 2
=CX.

Esta di visión del segmento en dos partes (moclianle el

punto C1) so denomina dtuisi6n en razón media y extrema o
también divisicín en justa proporci6n.
Si tomamos la raíz negativa de In ucuación (4.2), el punto
correspondiente C2 quodará fuera del segmento AB (un la
Geometría so dice entonces que la división es externa} como
puede verse en la fig. 2. Salt.a a In vista que t.ambién en este
en.so tropezamos con la justa proporción
C.IJ AB
A./J = l'2A = a.
2. No ofrece dificultad alguna In construcción dd punto
de la justa proporción.
 80

Son AJJ = 1; levautanclo desdo el punt.o A ln perpendi·

culur y oscogi(\ndo ol 1i11nto E de modo que AE = j- (íig. 3),
tendremos
EB =V1. + (}) 2= ~5 .
Trazando por A con centro en E el arco de circunferen-
cia hasta inlorsccar EB en el punto D, tendremos

no -- V5-1
2 .

Por úhüno, trnznutlo por D el arco de circunferencia

COIL ce11lro 1~ 11 fl, ohlOllCfllOS el pnnlo huscndO Cl. g¡ punto

A C1 8 A e 8

FIG. 3 FIG. 4

Cz do la división ex.terna se determina por la condición

AC 2 = BC1•
3. En la Geometría tropezamos frecuentemente con la
justa proporción. Por ejemplo;, si tomamos un cuadrado
inscrito en un semicírculo (fig. 4), C es el punto de justa
proporción en el scgmonto AB.
El lado a 10 de un decágono regular (fig. 5) inscrito en
una circunferencia de radio R os igual, como so sabe, a
360°
2R scnTIOO,
o son, es igual n 2 R sen 18°.
Calculemos el valor de sen 18°. En virtud de las fórmulas de In
Trigonometría, lcnornos
sen 36° = 2 sen 18° cos 18º y
cos 36° = 1 - 2 sen2 1~.
 81

do modo que
sen 72º = 4 sen 18° cos 18° (i-2 sen2 18°). (4.3)
Puesto que sen 72° = cos 18° -:#= O, de (4.3} se <leduco
1 = 4 sen 18° (1-2 sen2 i8º),
o soo , sen 18" es una de las raíces do la ecuación
i = 4 z (í-2x2 ) ó 8r - 4x + 1 =O.

FJG. 5

Descomponiendo en factores el primer miembro do la última ecuación,

obtenemos
(2x - i) (4z2 + 2x - i) =O,
de donde
-1-1/5
4

Puesto quo sen i 8° es un número positivo distinto de T1 ,

V5-1
sen 18º=-----
t
4 2a; •

Fijémosnos también en quo

1
cos36º =1-2sen2 18º = 1-2 a; 2
4
=i- ª1
2 2
=
2a2-1 2+2a-1 2a+1 ci..3 a
c:-zaz= ~2 2a2 = 2ct2 =2 ·
Por lo tanto,
a.10=
2R VS-1
4 R V5-t
2
=!!...
a;
G-03 08
 82
.. ~-.

En otras pala..l;>ras, ti.to es l a parto mayor del"radio del círculo

dividido o_n, 1j:i:i,s.~á ,proporción.
Para ca.l~Ula~..a 10 · podcm.os, en la práctica, sustituir a
-por ol cociimte' d~· dos números do Fibonacci consecutivos
(punto 20 del § f' e» punto 8 del § 3) y tomar a 10 igual apro-
ximaclamen to .a · ~ R, o1 incluso, a R.
1 i
4. Considercmo.<3 el pcntág6no regula r. Sus diagonnlcs
forman un pent.ágono. regular estrellado (fig. 6).

FlG. 6

Puesto que los ángulos AFD y ADF son iguales a 108º

y 36•, respectivamente, tenemos por el teorema de los semos

AD= scn 108º = sen 72° = Zcos 3Gº = 2 i+ V5 =CG

AJI sen 36° sl.!n 3Gº 4 ·
Pero como AF = AC, debe ser
AD AD
Af =rc=et
y Ces el punto de jus la proporción un el segmento AD.
Por definición ele justa proporción tenemos
AC
CD = et.

Observando que AB = CD, enco11lrnmos

AC All
Aif =TiC =a.
 83

Es decir, cada uno do los segmentos

BC, AB, AC y AD
es a veces mayor que ol anterior.
El lector podrá probar que también
AD
re=ª·
5. Tomando un rectángulo de dimensiones a y b, ins-
cribamos en él cuadrados del área mayor posible (como mues-
tra la fig. 7).
Siendo a y b números enteros, de las explicaciones dadas
en el punto 5 del § 2 so deduce que esto proceso corresponde

a
FIG. 7

al algoritmo de Euclides aplicado a los números a y b con

la particularidad de que el número do cuadrados do· igual
dimensión coincido (punto 1 del§ 3) con los cocientes incom-
pletos respect.ivos del desarrollo do : en fracción continua.
Si · dividimos de este modo un rectángulo cuyos lados for-
man la misma razón que dos números de Fibonacci consecu-
tivos (fig. 8), podemos afirmar, basándonos en el punto 4
del § 3, que todos los cuadrados, a excepción do los dos,
menores, serán distintos.
Puesto que las dimensiones de estos cuadrados son, res-
pectivamente, u 1, u2 , • • • , u11 , la suma de sus áreas es
u.~+ u~+ ... +ui1·
Al mismo tiempo, esta suma es el área del rectángulo con.:.'
siderado, igual a u 11 u.n+t·
 Es (\ccir, para toüo n
u.~+ u,;+ ... +u~= U.ntLn+t
y hemos cncontratlo una demostración nueva, esta vez ge()-
métrica, du la proposición del p1wto !¡ del § 1.

FIG. 8

6. Supongamos ahora quo la razón de las dimensiones

rcc~ángulo es a (abreviando dirP,mos en este caso que se
dol
tiene nn rectángulo do justa proporciún). Inscribamos on un

11
E
T
11 111
l

fil

]) F e
FfG. ~> fJG. fO FIG. 11

rcctángnlo ele justa proporción el cuatlra<lo ele mayor dimen-

sión posible (fig. 9) y demostremos que de esta forma se
olJt,icne de nuevo nn rectángulo de justa proporción. .
En ofocto,
Ali
AD =a.
Por hipótesis AD = Af!'. = EF ya qne AEFD es un cun
dracl o. 1111.?go,
 85

P ero a" - 1 = a de modo que

BF
EJJ =ex.

En la fig . 10 puede verse como un rectángulo de justa

proporción es agotado «casi todo él» por los cuadrados J, Il,
Ill, ... con la particularidad de que, después do inscribir
cada cuadrado, queda siempre un rectángulo de justa pro-
porción. .
Compare el lector estos razonamientos con los de los
puntos 4 y 8 del parágrafo anterior.
Nótese que inscribiendo en un cuadrado (fig. 11) e l rec-
t ángulo do justa proporción I y l os cuadrados II y lII , se
obtione do nuevo un rectángulo de justa proporción. La de-
mostración queda al nlborlrío del lector.
7 . E n la naturaleza encontramos numerosos ejemplos do
ordenación de elementos homogéneos rel acionada con los
números de Fibonacci.
Observando algunos elementos de las plantas se puecle
ver. que forman, a menudo, dos familias de espirales\: una
siguiendo la dirección de las manecillas del reloj y otra en
dirección contrari a. El número de espirales de una y otra
clase son , frecuen temente, dos números de Fibonacci con-
secuti vos.
Por ejomplo, tomando una r ama joven de pin o, podemos
observar que las pinochas forman dos espi rales quo van desde
' abajo haci a arriba de derecha a izquierda; al mismo t iempo,
forman tres éSpirales que van desdo abajo hacia arriba de
izquierda a derecha.
Las semillas de muchas piñas forman t res espirales que
suben en pendiente suave y, al mismo tiempo, ciI1co espira-
les d0 pendiente mayor en dirección opuesta. En piñas de
gran t amaño se pueden encont rar 5 y 8 e, i ncluso , 8 y 13
espirales. También se observan claramente en el ananás on
número de 8 y 13.
En muchas compuestas (por ejomplo, l a margarita y l a
manzanilla) se v en claramente las espirales formadas por
las cabezuelas en fa inflorescencia. En estos casos el número
de espirales suele ser 13 en una dirección y 21 en otra e, in-
cluso, 21 y 34, respectivamente. Un gran número de espi-
rales forman las semillas del girasol ; puede llegar n 55 y 80
en cada dirección.
 86

8. Los rectángulos de justa proporcton son armorucos.

L os objetos do esta forma son de cómodo manejo. Por eso,
muchos objetos usuales (libros, cajas de fósforos, malet as,
etc.) se elaboran en esta forma.
En la antigüedad y en la Edad Media, distintos Iilóso-
fos idealistas conver t ían l a belleza de los rectángulos de
justa proporción y do otras figuras en un principio estético

• 1''1G. 12 FlG. 13

e, incluso, filosófico. Mediante la justa ¡>l'Oporcton y otras

relaciones numéricas, so intentaba explicar, y no sólo des-
cribir, los fenómenos de la naturaleza e, incluso, do la vida
soci al; al mismo tiempo, el número a y sus reducidas se so-
metían a operaciones místicas. Claro que semejantes «teo-
rías)) nada tienen que ver con la ciencia.
9 . Terminemos nuestra exposición con un ejemplo geo-
métrico curioso. Ahora «demostraremos~ que 64=65. Tome-
mos para ello un cuadrado de dimensión 8 y cortémoslo en
cuatro partes como muestra la fig . 12 formando con éstas
un rectángulo (fig. 13) de lados 13 y 5, o sea, de ároa 65.
Es fácil de explicar este aparento enigma: los puntos
A , E, C y D de la fig. 13 no se hallan, de hecho, en una misma
recta siendo vértices de un 1iaralelog1·amo cuyn área es igual
prccisnmcnte a la unidad de área «desapnrccida».
Esta «demostración» incorrecta poro verosímil de una
proposición falsa (o sofisma) se hace todavía más «evidente»
y «Suasoria» si en lugar del cuadrado de dimensión 8 se toma
un cuadraclo do dimensión igual a mi número do Fib onacci
u2 " de índice par suficient emente grande. Dividamos este
cuadrado en parles (fig. 14) y formemos con éstas un rectán-
gulo (fíg. 15). «El vacío» en forma de un paralelogramo esti·
rado a lo largo do la diagonnl es de úrea 1 , en virtud del
 87

punto 9 del § L La anchura máxima de esta rendija (o sea,

la altura del paralelogramo) se calcula fácilmente siendo
igual a
{

V11f11+"!11-1 •
Por lo taoto, tomando un cuadrado de dimensión 21 cm
y «convirtiéndo loi> en ol rectángulo de dimensiones 34 cm

11211-1

f!G. 14 FIG. {!)

i
y 13 cm, obtenemos V 212+g2 cm, o sea, 0,4 mm aproxi-
madamente, como anchura máxima de l a rendija, entidad
que escapa a la vista humana.

§5
NUMERO$ DE FlBONACCl
Y LA TEOfllA DE LA BUSQUE.DA

1. Sabido es que, a pequeña velocidad, el automóvil

gasta relativamente mucho combustible por kilómetro. El
consumo también es considerable en las grandes velocidades.
Hay una velocidad intermedia «óptima» con un consumo
mínimo do combustible por kilómotro. Por eso, es de supo-
ner que la relación entre el consumo de combustible por
ldlómetro y la velocidad del automóvil tiene aproximada-
mente la forma representada en la fig. 16: con el aumento de
ln velocidad el consumo de combustible por kilómetro pri-
mero decrece, llegando a un nivel mínimo, y después crece
constantemente (monótonamente en términos matemáticos).
 88

Aun cuando los rasgos principales del gráfico de esta

relación (descendicnlo ptimero y ascendiente después) son
los mismos para casi todos los automóviles,. su forma con-
creta puede variar incluso para automóviles de un mismo tipo
según sus peculiaridades individuales, el grado de desgaste
de unos u otros mecanismos, ole. En particular, el mínimo
del gráfico también puede variar considerablemente.
Su-pongamos ahora que disponemos de un automóvil y
queremos realizar un viaje por lugares donde no existe abas-

VeltJCidad

FJG. 16

tecimient.o de comh\lstible. Para recorrer el trayecto de

longitud máxima, tendremos que conocer con bastante
exactitud la velocidad que corrosponctc al consumo mínimo
do combustible. Esta velocidad suelo llamarse ve"locidad
más económica.
Lo natural es determinarla oxporimcntalmente roco-
rriendo a distintas velocidades trayectos de un kilómetro en
condiciones pr6ximas al viaje y determinando cada vez
el consumo de gasolina. Puesto que estos ex peri montos poco
tieoon de entretenido, es natural preguntarse: fouántos
experimeot<>s bastará realizar para conocer con ciert.a exacti-
tud la velocidad más económica? ¿a qué velocidades habrá
que determinar en ostos experimentos el consumo de com-
bustible? Ei;trcchamcnte ligadas a estas preguntas surgen
dos más: ¿cómo organizar los experimentos para determi·
nar la velocidad más económica con la máxima exactitud?
lcuál es ostn exactit.u<l máxima?
Cuando digamos qne la velocidad más económica ha sido
determinada «con precisi611 de hasta 1tn & dado~ ontondoremos
 89

que se ha encontrado una vel ocidad v tal que el valor exacto

do la velocidad más económica queda comprendido entre
v - e y u+ e (o sea , que la velocidad más económica ha
sido determinada con un error que no pasa de e).
Puntualizando, aceptaremos conocer de antemano los
límites v! y v" en los cuales ·está comprendida la velocidad
más económica, siendo v' no mayor y v" no menor que la

~
1
1
1
'
1
1
::r:' ~ X" ::r:"
~

FIG. 17 l•'l G. 18

velocidad más econom1ca. (Por ejemplo, podemos tomar

como v' la velocidad mínima quo gl\rantíza el funciona-
miento estable del motor y como v", la velocidad máxima
del automóvil.)
2 . Abstrayéndonos de este ejemplo concreto, considere-
mos el siguiente problema matemático.
Supongamos que respecto a una función f (x) se conoce
x
que decrece a partir de un x' dado hasta un desconocido
x
y que crece a partir do eso hasta un :z;" dado {fig. 17). Puede
darse, en particular, el caso en que el punto desconocido x
coincida con uno de los extremos x' o x " dol segmento;
entonces la función será solamente creciente (fig. 18) o sola-
mente decreciente (fig. 19). Por supuesto, aunque so dé
una do estas dos circunstancias, nosotros liaremos abstrac-
ción de ello. En el puntox la función f toma su valor míni-
mo f (x) que se denomina ualor mínimo. Se dice entonces
x
quo el punto ofrece el 1nínimQ a la función y también que
es el punto de 1nínimo do la funcil>n.
En adelanto sólo consideraremos las funciones quo prime~
ro decrecen y desp\lés crecen llamándolas, para abreviar,
«/unciones <1e un m€nimo».
 !JO

En este parágrafo nos proponemos analizar las posibili-

dades do la localización exacta del ]H~nto de mínimo de la
función f (desde ahora f significará siempre una función de
un mínimo aunquo esto último no se mencione). Dejemos
constancia de que todo cuanto se diga sobre los mínimós de las
funciones es cierto, salvo modificaciones pertinentes, también
para los mfLxirnos.
3. En el problema planteado, igual que en otros semejan-
tes, intervienen tres factores: los objetivos que nos propone-

\~ :r:'
FIG. t!J

mos, las posibilidades quo tenemos para alcanzarlos y, por

último, las condiciones en que debemos alcanzar los objeti-
vos dentro do las posibilidades.
En nuestro caso el objetivo es elevar el grado de exacti-
tud con la que se detormina el punto de mínimo, o sea, redu-
cir el error con quo se define este punto.
En cuanto a las posibilidades, podemos oncontrar con
exactitud, de una u otra forma (cálculo, medición o, en
último caso, hipótesis), algunos valores de la funci:ón f en
varios puntos escogidos al azar y podemos también comparar
cslos valorns.
Por úlLimo, las condiciones están dcLorminadas por la
dimensión del dominio de definición do/, o sea, por la lon~
gitud L del segmento que une los puntos x' y x".
Según lo expuesto, todo problema concreto do búsqueda
puede tener tres aspectos:
1) ¿En qué grado se puooe alcanzar el objetivo dadas
las posibilidades y las condiciones? En el caso que nos ocupa
esto significa lo siguiente.
 91

Supongamos que podemos realizar n cálculos sucosivos

de la función f escogiendo los puntos correspondientM a
nuestro parecer. ¿En qué puntos debemos calcular los valores
x
de la función para poder localizar el punto con la máxima
exactitud y cuál es esta exactitud?
2) ¿oe qué posibilidades debomos disponer para alcan-
zar nuestro objetivo dadas las condiciones?
En nuestro problema osta pregunta se pueda concretar
así. Supongamos que protendemos determinar el punto de
·x
mínimo de la función f con una exactitud e dada, osea,
encontrar un punto x tal que xquede comprendido entre
x- eyx + e. ¿Cuántos cálculos de f serán necesarios y en
qué orden?
3) ¿Qué condiciones serán suficientes para alcanzar el
objetivo dadas fo s posibilidades?
Ahora so trata do conocer el máximo intervalo L de va-
riación de f (o sea, el valor máximo de la diferencia x" - x')
que garantice la posibilidad de determinar el punto de
mínimo de f con la precisión dada, empleando para ello n
observaciones.
4. Hablando en rigor, tondremos que considerar parale-
lamente dos problemas. _
Por un lado, podemos buscar el punto de mínimo x y
también el valor f (X) que toma en él la función .
Por otro lado, podemos interesarnos sólo por el punto x
sin ocuparnos del valor f (x).
Salta a la vista que los objetivos del primer problema
(llamémoslo problema A) son más amplios que los del se-
gundo (problema B). Por consiguiente, es natural esperar
que : .
-dadas las posibilidades y las condiciones, el objetivo
del probloma A se pueda alcanzar en menor grado que el
objetivo del problema B (dados el número n y la longitud L,
en el problema B se logra un e menor que en el problema A);
-para alcanzar los objetivos de ambos problemas en el
mismo grado, siendo idénticas las condiciones, el problema
A requiere mayores posi bilidades (siendo igunles para ambos
problemas el error e y la longitud L del intervalo de varia-
ción de la función, en el problema A n será mayor);
-para alcanzar los objetivos do ambos problemas en el
mismo grado, siendo idénticas las po.sibilidades, el problema
 92

A requiere condiciones menos rígidas (los valores dados de

n y de e corresponden en el problema A a unos valores de L
menores que en r.l problema B).
5. Para que; los problomas enunciados adquieran rigor
malem{1Lico, es preciso dolcnersc 011 un detalle important~.
Supongamos que nos interesan Jas posibilidades de deter-
x
minar con oxactilud sel punlo de minimo en el segmento
de longitud L (podemos aceptar, por supuesto, que el origen
do este segmento es el punto O y que su extremo es el punto
L). Supongamos también que se t rata del problema A, o sea,
qno nos interesa tanto x como f (x).
Podemos escoger el siguiente procedimiento para deter-
minar ol punlo x.
Tomnmos entre O y L un 1m11to cual<tuiera x y calcula-
mos lo!! valores de f en los puntos x - s, x y x + s, o sen,
los valores
+
f (x - s) , f (x) y f (x e)
(fig. 20). Por supuesto, dentt·o de la arbitl'arícdad con quo
se escoge x, nccptamos que x - e~ Odo modo que so puede
dotorminar el valor f (x - &); ace¡)tamos igualmcnto que
X+ 8 ~L.
Puedo ciarse el caso
f (x - e) > f (x) < / (.~ + e).
Ello signi!icnrá que la función f, decreciente en x - e, es
creciente en x + s. Pero, para pasnr del decrecimiento al
crecimionto debemos tocar noccsarinmentc el valor mínimo.
x
Por eso, en nuestro caso este valor se alcanza en un punto
comprendido ontrc x - s y x + e. fü decir, x dista ele x
en e todo lo má~ de mo<lo que x es ol vnlor nproximado bus-
cado para x. En este cnso han basl3do tres observaciones
x.
para determinar el punto Tal situación, repetimos, puede
darse. Pero no existe seguridad alguna de que efectivamente
se dará. Es más, si la longitud L es grande y s es pequeño,
esto fenómeno será bastanlo inesperado. 'l'odo lo contrario,
lo más n~tural en esto caso es que la función f tomo en los
tres puntos escogidos unos valorcs relativamente grandes
alcanzando su mínimo en otro lugar muy distinto. Es decir,
tres observncionos pueden resultar su ficientes y también
ins\lficicnlos.
 93

Pero necesitamos un plan de acción que inevltablemente

x
nos permita determinar con la exactitud s cualquiora quo
sea la posición do este punto X. Tales planes existen. Por
ejemplo, calculemos uno tras otro los valores
f (0), f (e), f (2s), ... (5.1)
hasta llegar a f (rs), donde (r +
1) e es mayor quo L
{fig. 21). El valor buscado será, claro ostá, el punto ke que
corresponde al menor de los valores do la sucesión (5.1).

x-c x:r :r+i:

O e 2c Je 46 ...
~'IG. 20 FlG. 21

Poro lo que nos interesa en los problemas considerados

no es determinar un plan que siempro, incluso en los casos
más desfavorables, permita determinar x
con la exactitud
requerida, sino construir el más económico do estos planes,
o sea, el plan 1Jmejor dentro de las condiciones pcoreS». Las
condiciones más desfavorables se dan· cuando llega al máximo
el número de valores de la función f que debemos calcul ar.
De la misma forma, el plan más económico es el que permite
alcanzar el objetivo con el monor número de cálculos de la
'función.
Por eso, ol plan «mojor dentro <le las condiciones peoM
res» so denomina a veces plan minimá.ximo. Nosotros emplea·
remos el término 6pUmo. '
Por su esencia, las oporaciones que recomienda el plan
óptimo (tanto en este como en otros problemas semejantes)
 94

('St.án orientadas a l a búsqueda más adecuada del mínimo

quo <isc oculto.» do nosotros y «procura situarse procisamonte
en un lugar donde no lo buscamos». Lo dicho no tiene
nada que ver con In mística ni con l as supersticiones; es
simplemente la característica de la actuación mejor en las
condiciones peores.
6. Es importanto subrayar quo no siempre oxiste ol plan
ópti mo. Por ejemplo, en el problema B no existe el plan
óptimo .
En efecto, sea L = 2 y sea n = 2. lQué exactitud pode-
mos garantí1,ar?
Supongamos que los extremos de nuestro segmento son O
y 2. Tomemos un número arbitrario, poro pequeño, ce. y
calculemos los vnlorcs do la función f en los puntos 1 - a
y ~ + a. Si o!'!
f (1 - a;) ~ f (1 a), +
el punto buscado xse halla entre O y 1 + a;; si
f (1 - ex) ~ f (1 + a),
xse encuentra entro 1 - a y 2.
Pongamos
-
X=-2-
i+ ~

en ol primer caso IY 1
- (1-aH-2 !3-a.
X= 2 -2-
en el segundo.
En el peor do los casos, x
difiere del punto exacto de
mínimo de la función f en
1
tª .
Haciendo tender a al cero,
reducimos el error. Pero ex no puedo ser igual .a O (porque
coincidirán entonces los puntos 1 - <:t. y 1 +
a. y la com-
paración del valor f (1 - a) con el valor f (1 +
a.), igu1tl
al primero, no ofrece1·á información al guna). Por eso, el
1
error sera, s10mpro
. mayor .1uo 2 aunque podemos aproximar
. lo
a este número cuanto queramos.
En la situación descrita todo valor positivo de a deter-
mina un plan. Cuanto más próximo sea a a O, mejor será
el plan. Pero como para todo a > O existe un número posi-
 95

ti vo menor, cualquiera que sea el plan existe otro mejor. Es

decir, el probl ema B no tiene plan óptimo.
Sin embargo, existen para el problema B planes «casi
óptirooS» cuyos resultados sólo admiten una mejora insig-
nificante. Hablando con más precisión: cualquiera que sea
y> O, existe un plan Pv cuyo error no puede mejorar en
más de y ningún otro plan.
7. El plan determinado por la sucesión (5.1.) no es el
óptimo si e es suficientemente pequeño en comparación
con la longitud L del segmento. Ateniéndonos a esto plan,
tendremos que realizar r cálculos en laf1 condiciones peores.
Procedamos, sin embargo, de otro modo. Calculemos
únicamente los siguientes términos de la sucesión (5.1):
f (0), f (2e), I (4e), ... ,
determinemos el menor de los términos de esta sucesión,
digamos f (2ke), y calculemos los valores f ((2k - 1) e)
y f ((2k+ 1) e). Salta a la vista que, con exact.itud e, x
es el valor (2k - 1) e, 2ke, ó (2k + i) e que corresponde
al menor valor de f. En las peores condiciones, este nuevo
plan conduco al objetivo en ; + 2 pasos aproximadamente.
Si r es grande, este número es considerablemente menor
que el número de cálculos que requiere el primor plan.
Por consiguiente, el plan inicial no es el óptimo ni tam-
poco lo es el segundo (por estas mismas razones).
Pero hay una diferencia esencial entre los planes prime- ·
ro y segundo: una parte de los punt os en los que elsegundo
plnn recomienda calcular los valores de la función so fijan
de antemano, mientras que la elección de los rostnntcs estn
condicionada por los valores ya calculados de la función.
Intuitivamente queda cl aro que la elección de l as operacio-
nes óptimas siempre debe estar condicionada por l a infor-
mación que suministran los cálculos ya realizados. En este
sentido el segundo plan es más perfecto q\lo el primero. Est.e
segundo plan también puedo ser perfeccionado·y continuando
estos perfeccionamientos sucesivos llegaríamos, al fin y al
cabo, nl plan óptimo.
Al localizar el mínimo de la función, os natural comparar
todo valor nuevo obtenido para la función con los valores
obtenidos en las observacionos anteriores. Por eso, la elec-
ción del punto en el que ha do realizarse ol cálculo siguien-
 96

te (o la decisión do interrumpir los cálculos) estará condi-

cionada, en primer lugar, por los puntos ·en los que hemos
calculado ya los valores de la función y , en segundo lugar,
por estos valores de la función.
Salta a la vista quo csLc proceso de cálculo sucesivo do los valo-
res do la función f se rlotcrmina plenamente por una corrospoodencia
que, para todo k ~O, asigna a colecciones arbitrarias de números
x 1 , .x 2 , • • • , xh y a los valores de la función f en ·estos puntos otro
punto x,.+ 1 o la decisión de interrumpir ol proceso tomando como ;
un punto determinado. Esta correspondencia suole denominarse
frtnci6n solvente.
Todo plan determina una función solvente y, al mismo tiempo,
toda !unción solvento determina un plan. Ln función solvente es, en
esencia, la descripción JJrccisa y formalizada del plan. Por ejemplo,
la función solvento qllC> dotormina el primero do los planes dol punto
anlurior haco corrc1Jpo11<lor todo punto O~ k < r al punto (k + 1) e,
y el número r a la terminación del proceso.
El eonce~to de función solvente es uno de los más importantes
en las Matematieas modernas. Pero, debido a su volumen, no daromos
a.qui su d<líinición exacta.

8. Supongamos que el objetivo del plan P consiste en

determinar con 01 mínimo error y a baso de n observaciones
x
el punto quo ofrece el mínimo a l a función f en un inter-
valo de longitud L. Lo llamaremos plan de n pasos.
Supongamos ahora que un plan P de n pasos permite
dcterminnr xon el segmento do longitud L con exactitud
e. Esta exactitud depende del propio plan P y también de
. n y de L. Por eso, podemos considerarla como una función
de P, n y Le indicarla por -r:~ (n, L) on el caso del probloma
A y por -r:~(n, L) t ratándose del problema B. Por '!p (n, L)
entendrcmos en adolante cualquiera de las expresiones
i:i (n, L) o -r~ (n, L) (pero , por supuesto, la misma dentro
de un razonamiento concreto).
En el caso del problema A, un plan P 0 de n pasos, que
permite determinar el mínimo de f en el segmento de longi·
tud L, es óptimo si -r~0 (n, L) no es mayor que ,;~ (n, L)
cualquiera que sea el plan P, es decir, si
-rft0 (n, L)~-r:ffi (n, L).
Podemos expresar esto también así
i:f,0 (n, L) = mín ,;f, (n, L). (5.2)
p
 ~7

Por consiguiente,
.
ül nínnero 'tí~o (n, L) ya no es una
caracteríslica dol plan sino una cnractcríst.ica riel propio
problema (a saber, del problema que consiste en determinar
el punto de mínimo de la función f mediante n pasos en el
segmento de longitud L). C-Omo este número no depende ele
ningún plan y sólo dependo de n y de L, podümos indicarlo
por 'tA (n, L).
En el problema B la situación es algo más complicada.
Como hemos visto, no existe un plan óptimo que garantico
en las condiciones peores el error mínimo. Pero existe un
error al que podemos aproximarnos cuanto queramos esco-
giendo planes convenientes. Este error, que es natural de-
nominarlo error límite, también depende sólo de las condi-
ci ones del problema ele modo que es lógico indicarlo por
'tll (n , L). Cnalquior pbn condnco n llll crrol' mayor

't
11
(n, L) < 't;¡ (n, L)
y , por eso, no podemos escribir ahora una igualdad análoga
a (5.2). ·
Anticipándonos a la exposición, diremos quo el resul-
tado de todos los r azonamientos de oste parágrafo (a veces
difíciles) consiste en obtener unas expresiones explícitas
pnra ,;A (n, L) y 'tn (n, L). Como veremos, en estas expre-
siones aparecen los números de Fibonacci:
A L
• (n, L) =-- ; (5.3)
U11+2
1
'tB (n, L) = - ' • (5.4)
2lln+t
De aquí se deduce que la renuncia a determinar el valor
2
mfoimo de la función pormite aumentar en u·n•· 1 veces la
Un+2
c:xactitud de localización del punto do mínimo. Para n su-
ficientemente grande esl a razón, como hemos visto en el
punlo 13 del § 1, so a pro xi ma a .!..
a
= 1,23G lo que da nn 23 %
más de exactitud.
9. Por supuesto lo que importará on todos los rnzona-
micntos posteriores es la razón de Jos i1úmcros L y e y no
sus valores. concretos. Esta razón represcntn el error relativo
que se comete al delerminar la posfoión de x. Dada est a
razón y escogida convenientemente la uni<lnd do medición
7-0 308
 98

para x (o sea, la uni<lad <le medición dol segmento) , podemos

('Scoger arbitrariamente uno de los números L o e.
Esta observación lleva a la siguiente conclusión instruc-
tiva.
El ca111l>io de la unidad de medición en el eje x influye
por igual en el vnlor numérico de la longitud L del segmento
y en el crl'Ol' do localización del punto buscado, cualquiera
que sea ol plan P. En otras palabras, para todo ?.. positivo
H~ tiene
'fr (n, A.L) = A"Cp (n, L). (5.5)
1dén!.icnmoot.c , si para describir el plan que permite deler~
minar el punto de mínimo .expresamos Ja posición de los
puntos en 11nidadcs de longitud relativas (y no absolutas),
c~to no inrlnirá en el carácter óplimo del plan: los planes
úpli mos sogu inín siéndolo y los domíis 110 so harún óptimos.
De aquí so declucc directamente q11c to(la dilatación
{contrnccióu) 1111ifornw dol intervalo do definición do la
!unción f cu11duco sólo n una «transformación do semejanza»
1Jcl plan t'>pt.imo pero no altera su carácter de plan óptimo.
ror co11siguic11l(!, los errores "Cp (n, L) y -cp (n, 'A.L) que
figuran en (5.5) se obtionon aplicando diforenLcs planes pero
también so pueden obtener con un mismo plan <Mansformán-
<lolo semcjnntomento».
10. Después do ost1.1s consideracionas previas, ya harto
di lat.a<las, pasemos n dcterminar el plan óptimo en el pro-
blema A y a demostrar las fórmulas (5.3) y (5.4).
Lema. Cualesquiera que sean n ~ 1 y L, existe un plan
de n pasos que permite encontrar el punto de minimo de la x
función f (ele un mínimo) en el segmento.de longitud L emplean-
do n pasos y que posee las propiedades siguientes:
1) en cada pa.so se considera un segmento x'x";
2) en el primer paso se calcula el valor de la función / en
uno de los puntos~ L 6 Un+t L;
1Ln+2 Un+2
3) al iriicíar cualquier k-ésimo paso siguiente (o sea, para
1 <le ~ n) se conoce el valor de f en uno de los puntos

Xt=X r + u,.
- - (X ,, -
Un+2
X ') O Xz=X '+ - - X
Un•t (
Un+z
" - X ') ; (5.6)

4) en el k-ésimo paso (1 < k ~ n) se calcula el valor de la

función en el otro punto (5.6);
 !i!l

5) en el k-ésimo paso (1 < k ~ n) se compara,n los núme:

ros f (x1) y f (x 2); si es f (x1) ~ f (x 2}, en el (le + 1)-ésimo paso
se considera el segmento x'xv. y si es f (x1) > f (x 2), se consi-
dera el segmento x1x". ·
Demostración. Apliquemos la inducción según n.
Si n = 1, nuestro segmento es el que va do O a L, el
~alor <lo la función f so calcula en el punto .!:l L = ; y no
U.3 -
hay pasos posteriores.
Supongamos ahora quo para cualquier segmento ha sido
demostrada la existencia de un plan de n pasos con las
propiedades señaladas en el lema. Construyamos el plan
do ñ + 1 pasos quo nos interesa comprobando, al mismo
tiempo, ol cumplimiento de las condiciones del loma. En
cada paso consídornrcmos un segmento x'x".
En el primer paso oscogemos el punto x1 = ~L y en
!'n+3
2
el segundo paso escogemos el punto xv. = un+ L y compara-
Un+3
mos los valores f (x1) y f (x 2) de la función. Si f (xi.) ~ f (x 2),
pasamos al segmento comprondido entre O y x 2 (dosempe-
ñando O el papel do x' y x 2 el papel do x"); si se tiene f (x1) >
> f (x2), pasamos al segmento comprendido entre x 1 y L
(tomando x 1 como x' y L como x"). En ambos casos la lon-
1111 2
gitud del segmento considerado es + L.
Un+3
Realizados estos dos pasos, estaremos, respecto al
segmento considerado, en las mismas condiciones que
después de realizar el primer paso en un proceso de n pasos.
Efectivamente, en el segmento de longitud un+2 L se
Un+3
conoce el valor de la función f en el punto que dista
~ L de uno de sus extremos. Por esto, podemos emprender
Un+3
oste proceso de n pasos y llovarlo a cabo. En vittud de la
hipótesis inductiva, podemos aceptar que para los últimos n
pasos se cu·mplen las condiciones 3), 4) y 5). Luego, resta
splo analizar las condiciones en c¡uo comienza y se realiza el
segundo paso. Pero, salta n la vista que el punto ~L tiene
!&n+S
la misma forma quo la primera de las expresiones (5.6) en
el caso k = 2 si en ésta se toma n +
1 en lugar de n¡ el
7•
 l(tO

punto 1111 +2 L <¡110 escogemos <lcsempoña, en la situación

"11 + J
c.orresponclio1!l.o, el papel de la segunda expresión.
Con esto queda <lomoslrado el paso inductivo y también
el lomn.
m
11. . plan clo n vasos, cuya existencia hemos demost~ado
un el lema an Lerior , se denomina plan de Fibonacci de n pa-
sos o, aurnviando, plan Pn .
Teorema . 1) El plan Fn es el único plan óptirrw de n pasos.
2) 'f~ 11 (1i , L) = __!:_
¡¿1142
.

Demostración. Apliquemos la inducción según n.

Consic\erernos primero un plan do un paso que consiste
x
en ci;cugN como un punLo X' del intervalo comprendido cn-
l.rc z' y :1:". Es cvidonlc que en las condiciones más desfavo-
rables el urrol' puorlc alcaninr el valor clol máximo de los
números x" - x x- 6 x'. Si .estos números son distintos, el
error mflximo pasa de ~ ; si los números son iguales, el error
' .
max1mo . 1 a 2.
es igua '·
Es decir, F 1 os l'l plan óptimo de un paso y
A
't~·,(~,
L = r.- .
~ L) =-2
. 1t3

Si n.= 2, el plan F 2 consiste en calcular y comparar los

valores/ ( :~ L) y f (; L) , escogiendo 1>ara el puuto x
3 L si !(fL)~!(~L)
1
y

si t({L)>l{*L).
Saltan In vista qu~ el error máximo en la determinación del
valor exacto clo x- 11ega on esto caso a -l.1•3 = -114
¡_,
:

-c: (2, L) = .!;__ .

1
U.4

Cualquier otra elección del punto conduce a errores mayores.

Hemos demost.rudo, así, Ja base de la inducción.
 101

Supongamos ahora que el plan de I<'i bonacci F,. tiene l a

propiedad señal ada en el teorema y consiclcremos los pla-
nes de n +
1 pasos.
Reali7.adas en el plan Fn+ 1 las dos primeras observacio-
nes de la funci ón f y comparados sus dos valores encontra-
dos, redttciremos el probloma a l a aplicación del r>lan F11
en el segmento de longitud ~ L conociendo el valor de la
nn+a
función f en un punto; en las peores condiciones esto con-
duce al error
A
't"Fn
(
n, -Un+2 L) = 11 11+2
- - 't¡.'11 lt,
A ( L) =----=--.
ti 11 +2 [, L
ltn+:J Un+J U11.+J U 11 +z fln+3

Por consigu ientc,

-r:, 1• 1 (n+1, L) = _!___ .
1'n+3

Resta dümostrar que el plan F 11+1 es óptimo.

Tomemos con este fin los valores de la función / en dos
x x
puntos arbitrarios 1 y 2 {concretando, aceptaremos quo
x x
1 < 2). Comparados los valores f (X1) y f 2 ) , tendremos (x
x
que buscar el punto en el segmento comprendido entre O
x
y 2 o en el segmento correspondicnlc a los puntos 1 y L. x
Si

y f (x1) > f (x2), tendremos que aplicar un plan do n pasos

para detflrminar el punto de mínimo de f en el segmento
de longitud L - 1 mayor que x

x
Si ol punto 2 ocupa incluso la posición más favorable en
esto segmento, el Eirror en su localización sorá, debido a la
hipótesis inductiva, mayor que ..!;._.
lln+3
Razonamientos semejantes permiten vor qun to1lo plan
gue comienzq. con la elección de un punto
.X2 > U11+2 L
. Unt3
 t02

l.ambión conduco, on circunstancias desfavorables corrospon-

dio.ntes, a un orror en la determinación de mayor quo el x
del pbn F11+1·
Supongamos ahora que
~1>~L.
U11+3

x
Si el punto so encuentra eioctivamentc entre O y 1 , par:a x
localizarlo nos quedan n - 1 observaciones, mientras que
la longitud del sogmento que contionc ese punto es mayor
que Un+t L. Por consiguiente, incluso el plan Fn-i (quo cm
Un+3
estas condiciones es, por hipótesis, óptimo) conduce a un
error mayor que
l'~
f 11-t
(n-1, ~L) =
"" +3
1111

11n·~3
+1 •":
~ n-1
(n-1, L)=
1111 +¡ f, L
= u,;;; u::;-= u;;:;- .
Análogamontc se considera el caso
X'i>~L.
UM3

Por consiguiente, Fn+I es el plan óptimo y hemos demostrado

el teorema.
Es decir, el único punto de minimo de la función f pue-
de ser localizado mediante n observaciones en el segmento
de longitud L con un error que no pasa de _L_ .
Un+:
Por eso n observaciones bastan paro determinar el pun-
to de mínimo do la función f con el error e, o con un error
menor, si la longitud del segmento no pasa de Wn+ 2 •
Finalmente, pnra estar seguros do que el punto de mí-
nimo ele la función / queda locnliza<lo en el segmento de
longitud L con un error que no pasa de e os necesario un nú-
mero n de observaciones tal que
i_
11111-1 < -:::::,,U11+2·
e
Ilomos rc~pondido ele e~ta forma a todas las preguntas
planteadas en el punto 3.
12. Es fácil obtener la solución del problema B basán-
<lQse en la solucióu dada para el probloIIJ.a A.
 103

Supongamos que tenemos un segmento .de Jongituu L.

Realicemos los n - 2 pasos primeros clcl Illan do Fibonacci
Fn-i· Obtendremos entonces un segmento do longitncl 31"
Un+I
con extremos en unos puntos x' y x n conociendo, además,
el valor de f en uno ele los puntos x, = x' + _!:..._
11
ó x2 =
·n+I

?
1
f.
1 '
1
1 11
1 1
1

'
1

'
1 1
1 1 1 1
')(1 1 )(
1 1 1 1 1 1
1 1 1 1 1 1
1 1 l-1
!r· } 1
:r,-2 .z¡ :r:z-t .T.z
1
.T:" 1, 1 1
.r,r/ :rz
1
;r;"

FIG. 22 FIG. 23

= x' + ~. Consideremos el primero do estos casos (el

1tn+I
otro se analiza do un modo análogo).
Supongamos, pues, que se conoce el valor j (x1 ). Tomemos
un número y de valor absoluto menor quo ~, cnlculcrnos
"1t+I
ol valor f (x 3 - y) (será el (n - 1)-ésimo valor calculado
para la función /) y comparemos los valores f (x1 ) y
f (xa - y).
Si f (x1) ~ f (x2 - y) (fig. 22), está claro que se encuen- x
tra entre x' y x'2 - y. Calculemos el v11lor
f ( x'+~2-Y) ) =f (Xi-~)
(este será el último, n-ésimo, valor calculado para la !un-
ción /). ·
Si se tiene
f ( X1 - ~ )~/(X1)
(en lo. _!!g. 22 hornos indicarlo esto casCl con la cruz x }, el
punto :t se halla entre x' y Xi . Pongamos
 I04

Bl tirror que coint~lt~mos al dclerminar así no pasa do la x

mil.ncl de la longilucl del sogmont.o comprendido ontro x'
1 - -
y x 1, o :se¡¡ , 110 pnsa <.e
2
'J . s·i es rin+I

(e\ caso " ou In fig. 22), el punto x queda situa<lo entre

x 1 - 2"' y .x2 - y. 1'.omanCio
l

X=~ f.{xs- ~ )+(xz-y)J,

cometemos un error c¡uo no pnsa do
~ [ (.1'2 -y)-( X¡ - ~ ) ] ::- ~ (.1·2 - .7:1 - 1)=

Se" ahorn / (x1) > f (x 2 - -y) {lig. 23). Entonces ostá x

entre :r.1 y xH.
Calculemos f {x2) (el úllimo valoc calculado para /).
Si
f (x2 - y)~ f (x2)

- 1
x
(el caso " ele la Cig. 23), el punto se e1mrnntra entre x1 y
x :,; tomando x =
2 +
(.z1 x 2 ), cometemos un orror de
-
1
2
(x~ - x,) = ,,/' Lodo lo más.
"""n ~ I
Por úll.imo , si
f (xi - 1•) > / (x~)
x
(ol e.aso x el~ la fig. 2a), el punto se halla entro x 2 - y y
x"; tomando x
= { [x" + (xa - y)], cometemos un error
que no pasa de
-i-[x"
2
--(:r:i.-11)1 = ~
2
(_!:_+y)
Un+!
= -2a,.+1
.-'·- +.!...·
2

Es decir, C'n el peor de los casos nuestro error ¡rnetlc llegar

2
a ~+ Yz si 'V
ftn+,!
>
Oy a 2-.!:_ - v4 si y <O. Sin embargo,
U11 +1 . • ·
 105

como la elección rlel. número

.L
-y dopou<lc do nosotros, pode-
mos aproximar ol orror n -2 - tanto como queramos.
U11.¡.¡

Sólo resta demosLrar que el error 2_!:_ no puede ser

Untt
disminu ido.
Pero del teorema del punto 11 so doduce que cualquier
modificación en los primeros n - 2 pasos del plan descrito
conduce al aumento de la longitud del segmonto d.onde se
realizan los cálculos posteriores para localizar el punt.o de
mínimo y, por ende, conduce al aumento del error m~xi mo.
Hesta sólo mostrar que son óptimas las oporacioncs que so
realizan en los dos últimos pasos.
Señalemos, nnto todo, que la modificación do las ope-
x
rncionos doscritns puede consistir en qno parn so tome no
ol punto medio del MJgmcnto, dondo ofoctivamcnte se halla
ose punto, sino otro· punto. Está claro que el error posible
será igual entonces a la pal'Le mayor del segmento, es decir,
el error aumenta. Luego, debemos necesariamente escoger
el punto modio del segmento.
Además, podemos realizar el últ.imo cálculo de f en un
punto que no sea próximo a x1 (a x 2 , respectivamente). Pe-
ro el error posible en esto caso aumentará proporcionalmente
a la distancia entre estos puntos.
Por último, lo mismo ocurre si para el penúltimo cálcu-
lo do la función f so escoge un punto alejado do x 2 (respec-
tivamente do x 1).
Es decir, ninguna modificación del plan descrito podrá
hacer disminuir el crrór posible en menos de 2 L . Con cs-
11n+1
to queda resuelto el problema B .
El lector podrá responder n todas las demás preguntas
planteadas en el punto 3 con relación al problema B.
· 13. En los puutos anteriores, además de describir el plan
do búsqueda, hemos dado procisionos acerca del plantea-
miento del problema, enunciados sobre el concepto del plan
óptimo y fundan1cntos del carácter óptimo del plan cons-
truido. Tales clisgr~si oncs son elcmonlos inseparables de
cualquier razonamiont.o matemático que tiene como fin,
además de explicar ol proceso, demostrar que este proceso es
precisamen te el que nos interesa. En muchos cnsos so pre-
r.jsa, si~ embar~o, la 4es~ripció!1 exact!l de las operacio¡w,~
 tOG

como tales y pierde su importancia toda la argumentación

de las mismas; por ojcmplo, cuando se ha solucionado ya
un problema y se {.rnta aplicar el mébodo empleado. En
cst.os cnsos1 más quo la baso matemática de l a justeza de la
solución, noccsitnrnos instrucciones precisas, que no dejen
lugar a ninguno ambigüedad, sobr e el modo de aplicar ese
método.
El plan de ln búsqueda más exacta del punto de mínimo
x para la función f en el segmento desde x' hasta x" en el
caso del problema A, cuando sólo se trata do al canzar los
objetivos «prácl.icos» ~cñalados, se 11semeja al plan quo per-
mite definir la ospedc de uua planta mediante el clasifi-
cador botánico. (Notemos que l a clasificación do una planta
es tarnbiún húsq11cda.) A1lr¡uicre la forma sjguienlc (si no so
i nd icn a cp1é pu nLn se clohc pasar, ha <le ¡iasarsc al siguicn to):
1º. Comparar 1 y n:
a) si n = 1, pasar al punto 2°;
h) sin> 1, pasar nl punto 4°.
- x' -l·x·
2°. Calcular x = ·-2- •

3°. Calc11for f (x) y concluir el proceso.

4º. Cakula.r
'"
w¡ = ,.,.1-I- -un- (x" - x')
•.v
Un+\l
y
.T-z=:c' + Un+s
"n+!
(x"-x' ).

5°. Calcular f (xi) y f (xi)·

Gº. Comparén' 2 y n:
a) si n = 2, pasar al punto 7°;
b) si n > 2, pasar al punto 10º .
7º. Comparar f (x1) y f (x 2):
a) si f (x1) ::;;;; f (x 2), pasar al punto 8º;
b) si f (x1) > f (x 2), pasar al punto 9º.
8º. 'l.'omar x= x
1 y concluir el proceso.
üº. Tomar x x
= 2 y concluir el proceso.
10º. Comparar f (xi) y f (x11):
a) si f (x1)::;;;; f (x 2), pasar al punto H º;
h) si f (x1) > f (x 2), p asar al punto 14º.
 l07

11º. I ndicar x 2 por x",

X1 pol' X21

n - 1 por n.
12º. Calcular
x 1 = x' +~ (:t"- x').
Un+2

13º. Calculn1· f (x1) y pasar al punto 6°.

14º. Indicar
x 1 por x',
x 2 por X1,
n - 1 por n.
15º. Cnlcula r
X:\= x' + "n+t (x"-x').
Un+8

16º. Calcular f (x 2) y pasar al punto 6°.

14. Esta descripción del plan óptimo de la búsqueda del
mínimo de la función f os absolutamente exacta y no deja
l ugar a licencia alguna. Aplicado a cada función concret a f,
al segmento dosde x' hasta x" y al númoro n señala una suce·
sión precisa do operaciones. Sin embargo, esta descripción
es bastante enrevesada y difícil do abarcar.
Por eso damos otra <lescripción de este plan en forma de
un esquema (fi g. 24).
Tales esquemas suelen llamarso bloque. La olaboración
del esquema bloque es, comúnmente, la primera etapa on
la elaboración dol programa para la computadora.
15. Para concluir, veamos un ejemplo de aplicación del
plan descrito en los puntos 13 y 14 buscando mediante 5
x
cálculos en el segmento desde 1 hasta 2 el punto que ofrece
e1 míni mo a la función
1.
t(x> =-+V:t.
z
Anticipamos una observación importanto .
La búsqueda del punto que ofrece el mínimo (o el máxi-
mo) do una función dada en forma analttica (o sea, mediante
una fórmula que pcl'mite calcular los valores do la {unción)
es preferible realizar empleando no los métodos de la Teoria
de la búsqueda, sino otros méto~ os, más adaptados a osta
 108

¡•

Sí No

2•--J.--~

:r , .. r '+ Un (.r"-X'J
lln•:z

·•z" .:t''+ ~
ll11•Z
f;c"-J:'J

Jº
f{~)

Fin

SÍ No

7• 10·
f (x, )t,f(:.r.,I

Sí No sr No

11· ,,,.

f in . Fin
n-/ -... 11 1·/-- 11
 tO!l

situación, quo forman parte del Cálculo diforencilll. Por eso,

debe tenerse en cuenta que nuestro ejemplo es puramonte
ilustrativo. El Cálculo diferenci al permite encontrar fácil-
montc que en ol3te caso = x ,v·4
= 1,587qQ11. .. Nosotros
obtendremos una aproximación mucho más tosen. Sin em-
bargo, cuando de antemano no se conoco nada acerca de la
función (a· excepción de que pasa del crecimiento al decre-
cimiento) o si las expresiones que la definen son muy com-
plejas, los métodos del Cálculo diferencial no so pueden apli-
car y la Teoría do búsqueda resulta un instrumento útil.
1°. Comparando n = 5 y 1, tenemos n ::/:= 1, y, por eso,
pasamos al punto 4°.
4°. Calculamos

.7:1 = x' +~
1111 +2
(x" - x') = 1 + 1;'.,., (2-1)= 1,3Hltü1.,

Xz=X'-1- UIH(
Un+2
(x"-x')=1+ 1~'\> (2-1)=1,G1538.
5º. Calculamos
f (xi) = -f
%¡
+ VXi = f (1,38461) =
=o, 72222+1, 17670 = 1,89892,
1 '1/-
/(x2)=~+ r X2= /{1,(H 538)=
= O,G1905+1,27098=1,89003.
6°. Comparando n = 5 y 2, tenemos n ::f:= 2 y, por eso,
pasamos al punto rn°.
10º. Comparando
f (x1) -= 1,89892 y f (xz) = 1,80003
vemos que f (x1) > f (x2); pasa1nos por eso al punto 14º.
14°. J ndicamos
Xt -+:e' = 1,38461,
X2-+ X1 = 1,61538,
n = 4.
15º. Calculamos
:rz=x' +~ (x"- x')=
Un+2

= 1,38461 +85 (2-1,384G1)=1,76n7.

 t rn

1()º. Calc11Lamos
1 1r - ~
f(x2)= -$z+ r x2 =/(1,7G921) =
= 0,!'1Gri22 + 1,33012=1,8U53~
y pasamos al punto íiº.
6°. Comparamos n = 4 y 2; puesto quo n =fo:!, pasamos
al punto 10º.
10". Comparamos / (x1) = 1,89003 y f (x 2) = 1,89534;
puesto que f (x1l ~ f (x 2), pasamos á'1 punto Hº.
11 º. l1Hlicamos
:r.2 -i- x" = 1,70923,
.r, -+ Xz = 1,61!í38,
')
n ::o'-'·
12º. Culcnlamos
X1 = - - ( X ~ - X' )
.t I -1· ·!In =
ll1H· 2

= 1,384G.l +; (1,7(\!lW -
;¡
1,:iW1G1) = 1,5384G.
13º. Calcnlamos

t (xi)= - 1 +·vXi = / (-t ,53846) =

X1
=O ,G5000 ·t- 1,2li035 = 1,89035
y pasamos al punto 6º.
Gº. Comparamos n = 3 y 2; puesto quo n-:¡:. 2, pasamos
al pl111to 10°.
10º. Comparamos
f (x1) = 1,89035 y f (x 2) = 1,89003;
puest.o que f (x1} > f (x 2), pasamos al punto 14º.
14º. Indicamos
1
X¡ -+ X = 1,5381t6,

Xi-+ X¡ = 1,61538,

n = 2.
15°. Calculamos
X2=X
,
-1---
ltn+t ( "
1i,..¡.9
.t - X ') =

= 1,53846 + ; (1,76923 - 1,53846) = 1,69231.

 il t

16º. Calculamos

f (x2) = : 2 +Vxz=f(1 ,G9231 ) =

= 0,590!)1 +1,3008!) = 1,89170
y pasamos al punto()º.
6º. Comparando n y 2, tenemos n = 2 y pasamos al
punto 7º.
7º. Comparamos
f (xJ) = 1 ,89003 y f (x 2) = 1 ,89170;
puesto que f (x1) ~ f (x 2), pasamos al punto 8º.
8°. Tomam.os = 1 ,61538. x
En virtud del tcoroma del punto 11, el valor encontrado
x
para (lifiere de la posición cxacLa del punto de mínimo en
1
-
Un +3
- = = -U71
13
1
= 0,077 todo lo más. Do hecho ol error
cometido es menor: es igunl a 0,028. Nótese que el valor
obtenido como mínimo do la función / , o sea, f (x), es ígual a
1,89003 y difiere sólo en 0,00015 del valor mínimo exacto
de/, igual a
-
f (V 4)= f/
i 3/ -
+v 3 3/-
2= 2 v 2=1,88D88.
4
De aquí se deduce que durante el cá lculo los valores do x
se pueden determinar con monor precisión que l os vnlorcs
do f.
Esta conclusión no tiene nada de Dxt.raño por sí misma.
En efecto, la exactitud límit e con la que determinamos los
valores de x depende de la exactitud con la que podemos de-
terminar en nuestras condiciones el valor del punto de mí-
nimo x 1
(sabemos que esta exactitud es igual a - -) , En
ªn+2
cambio, los valores de la función f deben buscarse con l a
exactitud que permita comparar dos valores suyos det ermi·
nando cada vez el valor minimo y el v alor máximo. Por
eso, si los v alores f (a) y f (b) difioron considerablemente
y s i esta diferencia so observa ya al calcular toscamente
f (a) Y f (b), podemos determinarlos con poca precisi6n .
Al cont rario, si los valores f (a) y f (b) son próximos, debe-
mos realizar cálculos más precisos para determinar el ma-
yor. Puesto que al principio (antes de comenzar los cálcu-
 l12

los) dc~conocemos In diforcncia t~nlro los valores compnrados

1lc la función , podemos <mo 1.1.n~ en el blanco» y calcularlos
con oxacLi tud iusufjcicnte para clocidir cuál do esLos valo-
res es el mayor. E11 esto caso habr{i que rcpeUr los cá.lculos
realizándolos con mayor precisión lo que exigirá esfue rzos
complcmonLario.s.
'l'o<lo lo dicho plnnl.Ca la nccosiduJ de estudiar ol pro-
blema sobl'o la posibilitla<l do «dirigir la exactitud!) on el
proceso d() cálculo. Sin embargo, estos problemas sou bas-
1.anto coruplcjo.s y no entran ya directamente en el toma <le
nuestro libro.

A nuestros lectores:

«Mir» ctliln libros soviéticos traducidos ol español, inglés,

francés y úrabo . Entro olios figuran las mejores obras tlo las
dist.inlas ramas do la ciencia y la t6cnicn; manuales para los
centros <le enseña nza su1iorior y t!SCuclas tecnológicas; lite-
ratura soliro ciencios naturales y módicas. 'l'iimbién so in-
cluyen monografías, libros de divu lgaci.ón cienlíficn y clon-
e.in ficción.
Dirijan sus opiniones a Edilori<il l\[IH, I Hizhski por. 2,
129820, Moscú, GSP, I-110, UHSS.
·----
··········································~·········
• • . ..

; Lecciones populares ·~
•
•
••• de matemáticas :•
•
-~------------....-~-----'"---~ .•
.....--~ ••
•
•
Esre año se publicurán las siguientes obrus
de nuestro sello editorial
•••
"Lecciones popuJarc.s de. tnatemáticasi •••
•
•• l. Bársov A. •••
••
• ¿Qué es la im,gramacíó11 lineal? •••
•
•
2. Bcskin N.
••••
Represen 1ación de fig ur1rn espllciales ••
4
••
3. Holuanski V ••
La envolvente ••
•
••
• 4. Markuschévich A. •••
••• Curvas maravill6s<1s ••
••
•••
Números complejos y representaciones conformes
•
• Funciones maravillosas
••
•. S. Natanstin I.
Problemas ciernen.tales de máximo y mínimo
Suma de cantidades infinitamente pequeñas

6. Trajtenbrot B.
Los algoritmos y la solución automática
..•
de problemas •• '•
••
..
••
••
Editorial MIR Moscú •••
•
;,

----------------------------~ • .
••••••••••••••••••••••••••••••••••••••••••••••••••• .••