9

Capt ulo 1: Prefiguracin y consolidacin de la induccin mat emt ica

1.0 Int roduccin
Si n un ant ecedent e pr escr i t o, si n un pr ocedent e pr oscr i t o. Al segui r una r egl a
cuando de el l a se i gnor a su expr esi n, se si guen f l exi bl ement e l os cont or nos de l a
i ndet er mi naci n. Par a af i r mar o negar que se act a de acuer do a una r egl a, se r equi er e de
su f or mul aci n ya que de l o cont r ar i o, l a ar bi t r ar i edad ser a l o ni co i ncuest i onabl e de
nuest r a asever aci n. En conci so, par ece ser una condi ci n necesar i a par a deci r
j ust i f i cadament e que se si gue una r egl a, poder deci r qu es l o que se est si gui endo. Si
adems es suf i ci ent e, eso es ot r a (f i l osf i ca) cuest i n
1
.
Si n un ant ecedent e adscr i t o, si n un pr ocedent e por escr i t o. La i nst aur aci n de una
r egl a en su expr esi n, suel e est ar pr ecedi da por una ser i e de acci ones o r esul t ados cuya
r epet i ci n se ha amol dado en una r egul ar i dad pr opi ci a par a su r epr esent aci n. Las r egl as
no suel en enunci ar se por gener aci n espont nea. En conci so, ya que usual ment e es un
pr oceso cont i ngent e l a f or maci n de una r egl a, det er mi nar el cont eni do de su expr esi n
puede ser un t r abaj o par a l a hi st or i a. Es deci r , el r econoci mi ent o hi st r i co de l a
conf or maci n de una r egl a, t ambi n puede ser t i l par a desembr ol l ar qu es l o que se
est si gui endo cuando se pr et ende af i r mar con j ust i f i caci n el segui mi ent o de una r egl a.
En est e capt ul o se most r ar a l a pr i mer a expr esi n hast a el moment o conoci da de
l a i nducci n mat emt i ca, as como t ambi n se exhi bi r n al gunas demost r aci ones ms
ant i guas cuyos r asgos pr ef i gur an a est a r egl a deduct i va. Las dos f uent es de nuest r a

1
El seguimient o de una r egl a f ue i nst aur ado como un pr obl ema f il osf i co, sobr et odo par a l a f i losof a del
l enguaje, por Wi t t genst ei n mi ent r as que su pl ant eami ent o pr imigeni o, puede ser r evi sado en alguna de sus
obr as como l as Invest igaci ones. Ahor a bien, si acot amos est e pr obl ema cuando ya se posee una expr esi n
de una r egl a y se desea decidir si algunas acci ones, r esul t ados,... l a est n o no si gui endo, ent onces el
of uscami ent o sur ge de que dependi endo cmo se i nt er pr et e esa f or mul aci n, l a r egl a puede est ar en
conf or midad con una mul t i pl i ci dad de acci ones, r esul t ados,... Cabe menci onar que desde ci er t as
per spect i vas nomol gi cas, est a i ndet er minaci n no debe par ecer t an sor pr endent e. Por ej empl o, algunas
nor mas j ur dicas o al gunas r egl as depor t ivas r equier en del cr i t er i o no est andar i zado de sus eval uador es
par a det er mi nar su sat i sf acci n o incumplimi ent o. No obst ant e, el pr obl ema aqu seal ado es ms gl obal
pues no nace de l a r edacci n vaga o ambi gua de una r egla (como podr a ser el caso de al gunas nor mas
j ur di cas o depor t ivas), si no de l a i nt er pr et aci n mi sma de l os const r uct os de cual qui er lenguaje. En conci so,
t ant o par a const r uir l as f r mul as bi en f or madas de cual qui er lenguaje como par a i nt er pr et ar l as, se siguen
ci er t as r egl as. Y el pr obl ema r ecur si vo al udi do, nace de l a (i n)det er mi naci n de est as r egl as.
10

exposi ci n pr oceder n (di r ect a o i ndi r ect ament e) de un par mat emt i cos con l a mi sma
naci onal i dad, l a f r ancesa. Por mot i vos cr onol gi cos, pr i mer o ser exhi bi da l a sol uci n
pl ant eada por Vi t e al pr obl ema geomt r i co de l a di vi si n de un ngul o. En di cha
r espuest a de nat ur al eza anal t i co-geomt r i ca, vi sl umbr ar emos al gunos pasos t pi cos de l a
i nducci n mat emt i ca, como aquel dado par a j ust i f i car un si gui ent e caso apoyndose en
el ant er i or . Luego ensear emos a l a pr i mi geni a expr esi n de una i nducci n mat emt i ca
cr eada por Bl ai se Pascal y t ambi n most r ar emos cmo si guen est a r egl a al gunas de l as
demost r aci ones por l hechas.
As ent onces, en el capt ul o i ni ci al de est a t esi s i nt r oduci r emos a l a i nducci n
mat emt i ca a t r avs de al gunas demost r aci ones de Vi t e y de Pascal . De l as pr i mer as
r emar car emos sus r asgos que vat i ci nan a l a pr i mer a expr esi n de est a r egl a. De l as
segundas ver emos no sl o cmo el l as si guen a l a r egl a de i nducci n f or mul ada por Pascal ,
si no t ambi n expondr emos cmo el l as par t i ci pan en l a i nst aur aci n mi sma de ese
mt odo de demost r aci n. Par a l ogr ar est o l t i mo, r ecur r i r emos a l a hi st or i a par a
i dent i f i car en l as demost r aci ones de Pascal r evi sadas, un modo de r azonami ent o pr esent e
t ambi n en l as de Vi t e que nos r emont a ms at r s hast a Eucl i des, el de l a gener al i zaci n
uni ver sal . Adems, al exponer cmo pr ocede vl i dament e est e modo de r azonami ent o,
exhi bi r emos cmo gar ant i zan su segui mi ent o l as demost r aci ones de Pascal hechas
conf or me a su r egl a r eci n acuada de i nducci n mat emt i ca.
1.1 Vit e la Anderson: La ilusin mediant e arcos y cuerdas hacia la induccin
Una br eve r el at o acer ca de l a vi da del (os) aut or (es) y de l a de su(s) obr a(s)
di scut i da(s) suel e of r ecer se com o bi enveni da a l os t ext os hi st r i cos y a pesar de que
puede ser un i ni ci o t r i l l ado, por cor t esa al l ect or t al sal udo aqu nunca va a ser omi t i do. Si
bi en l a hi st or i a de l as mat emt i cas no se r educe a l a hi st or i a de l os mat emt i cos, su
exi st enci a const i t uye una t r i vi al condi ci n de posi bi l i dad par a l os vest i gi os que se desean
est udi ar . M s aun, l a descr i pci n del cont ext o (econmi co, cul t ur al ,) puede socor r er a l a
r ef l exi n buscada (ya sea mat emt i ca, f i l osf i ca, ) en el pasado de est a di sci pl i na. Por l o
que si el ent or no o el obj et i vo l o amer i t asen, convendr a ser ms met i cul oso en l os
11

det al l es, aunque debi do a l a met as de l a pr esent e i nvest i gaci n, aqu no l o ser emos y sl o
segui r emos par cament e una sana cost umbr e de i nt el ect ual convi venci a.
Fr anoi s Vi t e (1540-1603) f ue un mat emt i co f r ancs t pi cament e vanagl or i ado en
l os r el at os de l a hi st or i a de l as mat emt i cas al i dent i f i car l o como uno de l os mayor es
pr omot or es en el occi dent e del l gebr a. Ent r e l as obr as que dej ar on su huel l a en el est a
r ea podemos menci onar In Ar t em Anl ayt i cem Isagoge (1591) y Ad Logi st i cem Speci osam
Not ae Pr i or es (1631). Ent r e sus apor t aci ones a est a di sci pl i na, qui zs l a ms apl audi da sea
su uso de l et r as del al f abet o par a r epr esent ar magni t udes, l egndonos as una not aci n
par a l as expr esi ones al gebr ai cas como A+B , B
3
/ A y A
3
+BA
2
= Z
p
A . M i ent r as que l a
cont r i buci n que aqu ser expuest a t r at a sobr e el anl i si s de pr obl emas geomt r i cos
medi ant e t r mi nos al gebr ai cos.
Sor pr endent ement e, l a obr a el egi da par a andar t r as l os pasos de l a i nducci n
mat emt i ca ni si qui er a f ue escr i t a di r ect ament e por Vi t e. Fue un col ega de l , Al exander
Ander son (1582-1620), qui en se encar g de el abor ar l a despus de su muer t e r epent i na. El
t r abaj o que ser r eseado es el Tr at ado sobr e l as Secci ones Angul ar es (Ad Angul ar i um
Sect i onum Anal yt i cen Theor emat a) publ i cado pst umament e en 1615. Di cho t r at ado
ver sa somer ament e sobr e r azones ent r e cuer das en r el aci n a r azones ent r e ngul os
(ar cos). En par t i cul ar , est a obr a ensea a d i vi di r un ngul o en un nmer o ent er o de
par t es i gual es por medi o del vi ej o mt odo anal t i co r evi t al i zado por Vi t e, i .e. suponi endo
r esuel t a l a cuest i n e i dent i f i cando al gebr ai cament e l as condi ci ones de su sol uci n.
Dado que Vi t e dej t est i moni o de su t r at ami ent o anal t i co par a el pr obl ema de l a
di vi si n angul ar en ot r as de sus obr as
2
, su aut or a sobr e l os t eor emas en Ad Angul ar i um
Sect i onum no ser puest a en di scusi n. Si n embar go, ya que Ander son se decl ar a en ese
t r at ado como el aut or de l as demost r aci ones al l cont eni das y debi do al obj et i vo de l a

2
Conoci da es l a ancdot a del r et o l anzado en 1593 por Adr i aan van Roomen (Adr i anus Romanus) acer ca de
una ecuacin de gr ado 45. Dicha ecuaci n f ue r esuelt a por Vi t e a t r avs de l a i nt er pr et aci n de l a ecuaci n
como l a divi si n de un ngul o en 45 par t es y su sol uci n f ue publ icada en 1595 baj o el nombr e de Ad
Pr obl ema quod Omni bus M at hemat i ci s Tot i us Orbi s Const r uendum Pr oposui t Adri anus Romanus Responsum.
Por ot r o l ado, desde su Var ior um de Rebus M at hemat i ci s Responsur um li br i Sept em, obr a publi cada en
1592, Vi t e t r at a de maner a anal t i ca el pr obl ema de l a divi si n del ngul o e i ncl uso all podemos encont r ar
enunci adas algunas de l as pr oposi ci ones l uego r epr oduci das en Ad Angul ar ium Sect ionum.
12

pr esent e i nvest i gaci n de hacer un segui mi ent o hi st r i co de l a i nducci n mat emt i ca, t al
conf esi n de pat er ni dad deduct i va no ser i gnor ada por el nombr e de Vi t e. Es deci r ,
aunque el i mpact o del Ad Angul ar i um en el desar r ol l o de l as mat emt i cas se deba a Vi t e
y a su modo anal t i co (al gebr ai co) de at acar vi ej os pr obl emas geomt r i cos, como aquel
que pr ot agoni za a est a obr a, aqu ser r econoci da l a mano de Ander son en l a el abor aci n
de sus demost r aci ones. Por l o t ant o, par a evi t ar ahondar en un i nf r uct uoso pl ei t o sobr e l a
pat er ni dad del t r at ado, sal omni cament e se ot or gar a su coaut or a a Vi t e y a Ander son
3
.
En t ot al son di ez l os t eor emas encont r ados en Ad Angul ar i um Sect i onum. De el l os
escoger emos al gunos en cuya demost r aci n sea di scer ni bl e r et r ospect i vament e al gn
par eci do con l a i nducci n mat emt i ca. Dado que se expondr l a pr i mer a f or mul aci n de
esa r egl a despus de est e apar t ado, l a conf i r maci n de esas semej anzas quedar en est a
secci n pendi ent e y por el moment o depender de l a conf i anza o del conoci mi ent o pr evi o
de nuest r o l ect or . Adems, si nos r esi st i mos a enunci ar desde ahor a a esa r egl a de
demost r aci n par a que ya no quede en vi l o el par ent esco, es par a evi t ar el vi ci o de l a
r ei vi ndi caci n hi st r i ca denunci ado por Acer bi :
Ms an, una revisin cuidadosa de la literatura muestra que cada estudioso propone
su propia interpretacin del principio de Induccin Completa y con base en su
propuesta es capaz de afirmar o negar que algunas demostraciones especficas
constituyen ejemplos bien formados de l
4
. (Acerbi,2000:58)

3
Al var ez (2007) i ncl uso sost i ene que Vi t e pudo haber r edact ado una ver si n pr el imi nar de l as Secci ones
Angular es: Vite avait dj fait connatre la cl de la solution du problme de la section des angles dans
VR,[Variorum de Rebus] et il est vraisembleble qu cette poque il avait dj au moins une version
prliminaire du texte AS [Angularium Sectionum] (Al var ez, 2007:19-20). Si bi en desde un punt o de vi st a
net ament e hi st r i co di scer ni r el or i gen exact o del t ext o se pr esent a como una at r act i va t ar ea, aqu no ser
at endi da por que l a at r i buci n de coaut or a no af ect a en nada a nuest r a i nvest i gaci n.
4
Ll amat i vament e est a quej a apunt a haci a el pr obl ema ya menci onado en l a pr i mer a not a de pi e de pgi na
sobr e el seguimi ent o de una r egl a, pues aunque haya una f or mul aci n r el at i vament e est ndar de l a
i nducci n mat emt i ca (dbil ), cada est udi oso de el l a pr opone su pr opi a i nt er pr et aci n segn su
conveni enci a exegt i ca. Ent r e l os ej empl os menci onados por Acer bi t enemos a Rashed (1972-3) quien hal l a
a l a i nducci n en al-Kar aj i (1029 d.C), a Vacca (1909) quien la si t a en Fr anci scus M aur ol ycus(1494-1575) o a
Rabi novi t ch (1970) quien l a ubi ca en Levi Ben Ger shon (1288-1344). Tambi n podemos agr egar a l a li st a a
Yadegari (1978) quien propuso a Ab Kmil Shuj (850-930?) como un segui dor de l a i nducci n y a
Fow l er (1990) qui en en el ext r emo de l a i nt er pr et aci n def iende que los Griegos usaron principios
equivalentes a la induccin matemtica y que ellos pudieron habar usado induccin matemtica si la situacin
se hubiera presentado (Fow l er , 1990:264). Por ot r o l ado Acer bi hace caso omi so de su denunci a y segn su
l ect ur a de l a r egl a de l a i nducci n mat emt i ca (dbi l), sar cst i cament e sugier e consi der ar un pasaje
platnico, Parmnides 149a7-c3, como un ejemplo ntegro de una demostracin por i nducci n. (Acerbi,
2000:58).
13

En consonanci a con l a denunci a de Acer bi , enf at i zamos que no f or ma par t e de l as
met as de l a pr esent e secci n l ocal i zar con novedosa pr eci si n al or i gen de l a i nducci n
mat emt i ca. Consecuent ement e, car ecemos del i nt er s de most r ar con met i cul osi dad
cmo t al o cual demost r aci n de Vi t e-Ander son si gue punt ual ment e a nuest r a
car act er i zaci n o l a de Pascal , de t al mt odo de demost r aci n. Insi st i mos que nos
conf or mar emos con det ect ar en el l as al gunos pasos deduct i vos par eci dos a l os dados en
l as demost r aci ones hechas por i nducci n mat emt i ca. Y si nos i nt er esa t al i dent i f i caci n,
es par a r eaf i r mar l o di cho en l a i nt r oducci n acer ca de que l as r egl as usual ment e no se
expr esan por i nspi r aci n espont nea.
Los t eor emas j unt o con sus demost r aci ones sobr e l os cual es se cent r ar nuest r a
at enci n, ser n l a dupl a del segundo con el t er cer o y l a par ej a del cuar t o con el spt i mo.
Est a sel ecci n en par es se debe a que el pr i mer mi embr o de el l os f acul t a l a demost r aci n
de su acompaant e, mi ent r as que en est a l t i ma es donde segn nuest r o ent ender , se
pueden hal l ar vest i gi os de l a i nducci n mat emt i ca. La pr i mer a de l as pr oposi ci ones
el egi das asever a l o si gui ent e:
Teorema II.
Si tenemos tres tringulos rectngulos tal que el ngulo agudo del primero ms el
ngulo agudo del segundo es igual al ngulo agudo del tercero, los lados del tercero
reciben las siguientes relaciones de semejanza:
...
Su perpendicular, es semejante al rectngulo de la perpendicular del primero, por la
base del segundo, ms el rectngulo de la perpendicular del segundo por la base del
primero.
Su base, al rectngulo de la base del primero por la del segundo, menos el rectngulo
de la perpendicular del primero por la del segundo. (Anderson-Vite, 1615: 10)
La demost r aci n del Teor ema II part i cul ar i za a l a pr oposi ci n y supone que l os t r es
t r i ngul os r ect ngul os est n i nscr i t os en una semi ci r cunf er enci a cuyo di met r o
cor r esponde a sus t r es hi pot enusas
5
. As ent onces, sea AEB el t er cer t r i ngul o, ADB el
segundo, ACB el pr i mer o y sean r epr esent ados medi ant e el si gui ent e di agr ama:

5
En el Schol ium del Teor ema I -p.9- Ander son ensea cmo r ecuper ar l a gener al i dad del Teor ema II a pesar
de l a suposici n hecha en su demost r aci n sobr e l a igual dad de l as t r es hi pot enusas, a saber , apr ovechando
14

Di ag. 1
Por l o que de acuer do a l a hi pt esi s del Teor ema II, el ngul o BAC ms el ngul o
BAD es i gual al ngul o BAE. De est e modo, l as semej anzas af i r madas por su consecuent e
se pueden i ndi car a t r avs del si gui ent e par de i gual dades ent r e r azones
6
:
1)
AB
LB
=
AB
2
CBA+BAC

2)
AB
AL
=
AB
2
ACA-BCB

Ahor a bi en, t al es i gual dades son est abl eci das por Vi t e-Ander son por medi o de
r el aci ones de semej anza ent r e t r i ngul os y medi ant e l a composi ci n de segment os. A
cont i nuaci n expondr emos nada ms l a obt enci n de l a pr i mer a par a most r ar su pr oceder
deduct i vo r espet uoso de l a t r adi ci n deduct i va de l os El ement os de Eucl i des, l a cual ya
f ue obedeci da desde l a par t i cul ar i zaci n de l o af i r mado por el Teor ema II -r azones (1) y
(2)- par a l os t r i ngul os ACB, ADB y AEB.
En pr i mer l ugar , t r cese l a al t ur a DG del segundo t r i ngul o r ect ngul o ADB t al como
se muest r a en Di ag.1 (const r ucci n auxi l i ar
7
). Luego el t r i ngul o r ect ngul o ADG es

l a r el aci n de semej anza que t endr an r espect i vament e l os t r i ngul os de i dnt i cas hi pot enusas con l os t r es
t r i ngul os menci onados por l a hi pt esi s del Teor ema II.
6
Nt ese que en est a obr a el homogenea homogenei s compar ar i exi gi do por el mar co eucli di ano del Libr o
V, t odava es r espet ado y por consiguient e, el consecuent e del Teor ema II se expr esa medi ant e r adi os
como se hace en (1) y (2): por un l ado de l a ecuaci n se t iene l a r azn ent r e l ados, mient r as que por el ot r o,
ent r e pl anos. Par a r at if icar l a def er enci a de Vi t e haci a l a homogenei dad, se puede r evi sar el capt ul o 3 de
su In Ar t em Anlayt i cem Isagoge.
7
El empl eo de const r ucci ones auxi li ar es es t an comn en l as demost r aci ones en l os El ement os, que i ncl uso
se ha r econocido como uno de sus r asgos car act er st icos, v.gr . Pr ocl o nombr kataskeu a est a et apa
const r uct i va pr epar ador a de l a demost r aci n.
15

semej ant e al t r i ngul o r ect ngul o ICB, donde I es l a i nt er secci n de l a per pendi cul ar EB
del t er cer t r i ngul o con l a base AC del pr i mer o, por que el ngul o GDA es i gual al ngul o
CIB y t ant o el ngul o AGD como el ngul o BCI son r ect os. Por l o t ant o:
A0
A
=
CB
IB

De donde se si gue que AGIB = ADCB (* )
En segundo l ugar , el segundo t r i ngul o r ect ngul o ADB es semej ant e al t r i ngul o
r ect ngul o AEI por que el ngul o EAI es i gual a DAB y t ant o el ngul o BDA como el ngul o
IEA son r ect os. Por l o t ant o:
AB
AI
=
B
EI

De donde se si gue que ABEI=AIDB, adems como AB=AG+GB t enemos que
AGEI+GBEI=AIDB (* * )
En t er cer l ugar , el t r i ngul o r ect ngul o GDB es semej ant e a ICB por t r ansi t i vi dad
dado que el t r i ngul o GDB es semej ant e al t r i ngul o ADG mi ent r as que ADG l o es de ICB
como ya f ue ar gument ado. Por l o t ant o:
0B
B
=
IC
IB

De donde se si gue que GBIB=ICDB (* * * )
Luego como AB=AG+GB y EB=EI+IB t enemos que
ABEB=(AG+GB)(EI+IB)=AGEI+GBEI+AGIB+GBIB
Per o por l as ecuaci ones (* * ), (* ) y (* * * ) t endr amos que:
AGEI+GBEI+AGIB+GBIB = AIDB+ADCB+ICDB
Por l o t ant o, ABEB=AIDB+ADCB+ICDB=(AIDB+ICDB)+ADCB=DB(AI+IC)+ADCB=DBAC+ADCB
De l a ant er i or cadena de i gual dades se si gue que:
AB
BAC + ACB
=
1
EB

16

Fi nal ment e, mul t i pl i cando ambos mi embr os de l a i gual dad por AB deduci mos a l a
i gual dad ent r e r azones deseada: 1)
AB
LB
=
AB
2
ACB+ACB
Q.E.D.
Una vez evi denci ados l os medi os deduct i vos cl si cos de l a demost r aci n del
Teor ema II, pr oceder emos a exponer a l a l l amat i va j ust i f i caci n de l a pr oposi ci n que l e
sucede, l a cual af i r ma l o si gui ent e:
Teorema III.
Si tenemos dos tringulos rectngulos tal que el ngulo agudo del primero es un
submltiplo del ngulo agudo del segundo, los lados del segundo reciben la siguiente
semejanza.
...
La semejanza de los lados alrededor del ngulo recto de la hipotenusa congruente, es
establecida a partir de la base y la perpendicular del primer tringulocon sus
potencias iguales [respecto a su grado] y con su producto simple homogneo
distribuido en dos partes sucesivas, por un lado primero positiva, luego negativa, y de
stas la primera ser semejante a la base del segundo, la perpendicular del que queda.
(Anderson-Vite,1615 :10)
Conf or me se va desenvol vi endo el r est o de l a enunci aci n del Teor ema III y su
post er i or demost r aci n, se va desenr edado el t r abal enguas pr evi ament e t r anscr i t o. En
conci so, el t eor ema sost i ene que l as bases y l as per pendi cul ar es del t r i ngul o r ect ngul o
con un ngul o agudo i gual a no, pueden expr esar se en f unci n de l os l ados del t r i ngul o
r ect ngul o con un ngul o agudo i gual a o. Y en r esumen, su demost r aci n i ndi ca cmo i r
gener ando una secuenci a de r azones basadas en el Teor ema II ent r e l os l ados de l os
t r i ngul os r ect ngul os con un ngul o agudo ko y l os l ados del pr i mer t r i ngul o con ngul o
o, hast a l l egar a l os l ados del t r i ngul o r ect ngul o con ngul o no.
Par a si mpl i f i car l a exposi ci n de l o demost r aci n, denot emos medi ant e z a l a
hi pot enusa congr uent e de t odos l os t r i ngul os r ect ngul os (en Di ag.1 z ser a el di met r o
de l a semi ci r cunf er enci a). Luego expr esemos a t r avs de x a l a base del pr i mer t r i ngul o
r ect ngul o (AC en Di ag.1) y por medi o de y a su per pendi cul ar (BC en Di ag.1). De est e
modo, el ngul o agudo del segundo t r i ngul o r ect ngul o ser 2o, el del t er cer o 3o y as
sucesi vament e hast a el ngul o no del ensi mo t r i ngul o r ect ngul o (con l a condi ci n de
que no sea menor a un ngul o r ect o). Fi nal ment e, r epr esnt ese medi ant e B
i
y P
i
a l a
base y a l a per pendi cul ar , r espect i vament e, del i -si mo t r i ngul o r ect ngul o.
17

Ahor a bi en, Ander son-Vi t e empi eza est abl eci endo l a semej anza par a el t r i ngul o
cuyo ngul o agudo es i gual al dobl e del ngul o agudo del t r i ngul o r ect ngul o i ni ci al ,
anunci ndol a como l a base [ es semej ant e] a l a di f er enci a [ de l os cuadr ados de l os l ados
al r ededor del ngul o r ect o] ; l a per pendi cul ar al dobl e del r ect ngul o [ de esos l ados]
(i bd., p. 12). M i ent r as que su demost r aci n se basa en el Teor ema II. Sea cual qui er
t r i ngul o r ect ngul o (ACB en Di ag.1) con un ngul o agudo o (ZBAD=o en Di ag.1) y
dupl i qumosl o en un segundo t r i ngul o r ect ngul o (el t r i ngul o ADB es i dnt i co a ACB en
Di ag.1). Si ahor a consi der amos al t r i ngul o r ect ngul o (AEB en Di ag.1) con un ngul o
agudo i gual a 2o (ZBAE=ZBAC+ZBAD=2o en Di ag.1), cuya hi pot enusa es congr uent e con
z y l l amamos a su base B
2
mi ent r as que a su per pendi cul ar P
2
, ent onces de l a
demost r aci n del t eor ema segundo (bi d.,p.13) deduci r amos l as r azones vat i ci nadas:
z
P
2
=
AB
EB
=
AB
2
ACCB+ACCB
=
AB
2
2ACCB
=
z
2
2xy
[ por Teo.II.(1)]
z
B
2
=
AB
AE
=
AB
2
ADAC-DBBC
=
z
2
x
2
-y
2
[ por Teo.II.(2)]
Y l as r azones pr evi as conl l evan que l os l ados del segundo t r i ngul o r ect ngul o
puedan poner se en f unci n de l os l ados del pr i mer o:
P
2
=
2xy
z

B
2
=
x
2
y
2
z

Despus t ant o l a f or mul aci n como l a demost r aci n del Teor ema III pr osi guen par a
el t r i ngul o r ect ngul o con un ngul o agudo i gual a 3o e hi pot ensa i gual a z. En r esumen,
si ot r a vez apl i camos el Teor ema II (en el Di ag.1 el t er cer t r i ngul o cor r esponder a al
t r i ngul o AEB, el segundo a ADB y el pr i mer o a ACB) obt endr amos l as si gui ent es r azones:

z
P
3
=
AB
EB
=
AB
2
ADCB+ACDB
=
z
2
B
2
y+P
2
x
[ Por Teo.II.(1)]

z
B
3
=
AB
AE
=
AB
2
ADAC-DBBC
=
z
2
B
2
x-P
2
y
[ Por Teo.II.(2)]
18

M i ent r as que gr aci as al cmput o pr evi o de P
2
y B
2
en f unci n de l os l ados del pr i mer
t r i ngul o r ect ngul o, podemos der i var a l as si gui ent es r azones:
z
P
3
=
z
3
x
2
y y
3
+ 2x
2
y

z
B
3
=
z
3
x
3
xy
2
2xy
2

Por l o t ant o, ot r a vez l os l ados del t er cer t r i ngul o r ect ngul o puedan poner se en
f unci n de l os l ados del pr i mer o:
P
3
=
3x
2
y-y
3
z
2

B
3
=
x
3
-3xy
2
z
2

La demost r aci n pr osi gue de l a mi sma maner a, haci endo uso del Teor ema II y de l as
r azones ant er i or ment e hal l adas, hast a f i nal ment e cor r obor ar l a l t i ma r el aci n de
semej anza al l especi f i cada par a el t r i ngul o r ect ngul o con un ngul o agudo que es el
qunt upl e del ngul o agudo del t r i ngul o r ect ngul o i ni ci al . M i ent r as que l a posi bi l i dad de
cont i nuar apl i cando est e modo de cl cul o, es al udi da por Ander son-Vi t e par a est abl ecer
l a semej anza ent r e el ensi mo y el pr i mer t r i ngul o r ect ngul o asever ada por el t er cer
t eor ema:
Y conducindonos de esta manera a partir de las hipotenusas, de los lados alrededor
del ngulo recto, de las razones de semejanza hasta el momento demostradas, as
aparecern hasta el infinito la de los lados de los tringulos mltiplos de los
ngulos....
Y si esto progresa hasta el infinito, hemos de dar el radio de los lados [de los
tringulos] cuyos ngulos estn en razn de un mltiplo, tal como fue prescrito, que
es lo que haba que demostrar (Anderson-Vite,1615 :13-14)

Par a l os f i nes de l a pr esent e exposi ci n, hemos de r emar car que el mt odo enseado en la
demost r aci n del Teor ema III par a al canzar a l a r azn ent r e l os l ados del ensi mo t r i ngul o
r ect ngul o y del pr i mer o, va apr ovechando a sus apl i caci ones ant er i or es par a l l egar a su deduct i va
met a. Pues si hemos cal cul ado medi ant e el Teor ema II a l as r azones ent r e l os l ados del
t r i ngul o r ect ngul o con ngul o agudo o y del t r i ngul o r ect ngul o con ngul o i o,
19

ent onces podemos hacer l o t ambi n con l os l ados del t r i ngul o r ect ngul o con ngul o
agudo i gual a (i +1)o r ecur r i endo ot r a vez a ese t eor ema. Bast a con empl ear de nuevo l a
conf i gur aci n geomt r i ca most r ada en l a demost r aci n del Teor ema II (el Di ag.1) y
consi der ar al t r i ngul o ACB como aquel cuyo ngul o agudo ZBAC es i gual a o, al ngul o
ZBAD del t r i ngul o ADB i gual a i o y f i nal ment e al ngul o Z BAE del t r i ngul o AEB i gual a
(i +1)o. De est e modo, el Teor ema II nos pr ovee del si gui ent e par de r egl as par a el
cmput o de l as r azones ent r e l os l ados de est os t r es t r i ngul os r ect ngul os:
z
P
i+1
=
z
2
B
i
y+P
i
x
[ por Teo.II.(1)]
z
B
i+1
=
z
2
B
i
x-P
i
y
[ por Teo.II.(2)]
M i ent r as que gr aci as a l as apl i caci ones pr evi as del par ant er i or de r egl as, l os l ados
B

, P

del t r i ngul o r ect ngul o con ngul o i o l os podemos poner en f unci n de l os l ados
x,y,z del t r i ngul o r ect ngul o con ngul o agudo o. Por l o que si r eal i zamos l as
sust i t uci ones cor r espondi ent es
8
, ent onces ser emos capaces de expr esar a l as r azones
ent r e l os l ados del t r i ngul o r ect ngul o con ngul o o y del t r i ngul o r ect ngul o con
ngul o (i +1)o, i .e.
z
P
i+1
y
z
B
i+1
, en f unci n de l os l ados x,y,z del pr i mer o de el l os. Y
pr osi gui endo de est a maner a hast a que i +1 se i gual al f act or n de ml t i pl o deseado no,

8
Cabe r emar car que el Teor ema II nos per mi t e expr esar l os l ados del i-simo t r i ngul o r ect ngul o, aquel con
ngul o i o, en f unci n de los l ados del t r i ngul o que le ant ecede -(i-1)o- y del pr imer o de ell os -o-:

B
I
=
B
i1
x P
i1
y
z

P
I
=
B
i1
y + P
i1
x
z

Por l o que l as sust it uci ones r equer i das par a asent ar deduct ivament e al Teor ema III, pueden pl ant ear se
f or malment e en sent i do i nver so al expuest o por Vi t e-Ander son. Es deci r l os B
n-1
s y P
n-1
s que vayan
apar eci endo en
z
P
n
=
z
2
B
n-1
y + P
n-1
x
y
z
B
n
=
z
2
B
n-1
x - P
n-1
y
pueden ir se r empl azando r espect i vament e por
B
n-2
x - P
n-2
y
z
y
B
n-2
y + P
n-2
x
z
, par a f i nalment e t er mi nar est a r ecur si n de sust i t uci ones en l a pr i mer a
r azn calcul ada en l a demost r aci n del Teor ema III: P
2
=
2xy
z
y B
2
=
x
2
-y
2
z
.

20

hemos de dar el radio de los lados [de los tringulos] cuyos ngulos estn en razn de un
mltiplo, tal como fue prescrito, que es lo que haba que demostrar.
Recapi t ul ando, l a demost r aci n del Teor ema III es por t ador a de un par de r asgos
deduct i vos que l a empar ent an, pr esumi bl ement e, con l a i nducci n mat emt i ca. Uno es
el est abl eci mi ent o de l a pr oposi ci n par a un pr i mer caso: l a demost r aci n comi enza
i ndi cando l a r azn ent r e l os l ados del t r i ngul o r ect ngul o con el ngul o o y del t r i ngul o
r ect ngul o con el ngul o 2o. El ot r o, es el uso acumul at i vo de l a r azn ent r e l os l ados del
t r i ngul o con el ngul o o y del t r i ngul o con un ngul o i gual a i o, par a cal cul ar l a r azn de
l os l ados del pr i mer t r i ngul o con el t r i ngul o r ect ngul o con el ngul o (i +1)o. Por ot r o
l ado, en l a demost r aci n del Teor ema III se hace evi dent e que el Teor ema II subyace
deduct i vament e a l os dos r asgos i dent i f i cados. Y t al como f ue expuest o con ant el aci n, su
demost r aci n j unt o con l a del si gui ent e t eor ema al basar se sobr e el l a, pr oceden a l a
usanza eucl i di ana pues j ust i f i can sobr e i nst anci as (r epr esent adas en el Di ag.1) el
cumpl i mi ent o de su r espect i va y par t i cul ar i zada pr oposi ci n, dej ando como l abor al
l ect or per cat ar se de su mani f i est a gener al i zaci n.
Por ot r o l ado, est e par de t eor emas j unt o con sus demost r aci ones si r ven par a
pl ant ear de modo al gebr ai co a l a di vi si n de un ngul o en par t es i gual es, l a cual es pedi da
en el Pr obl ema II de Ad Angul ar i um Sect i onum: tal como un nmero es de otro nmero,
hacer de un ngulo otro ngulo (Anderson-Vite,1615 :42). Por ej empl o, est as
her r ami ent as deduct i vas pueden usar se par a cortar un ngulo dado en tres partes iguales
(Anderson-Vite,1615 :42). Si o es el ngul o (agudo) que se desea t r i secar , ent onces
podemos apoyar nos sobr e l a conf i gur aci n geomt r i ca pr esent ada en l a demost r aci n
del Teor ema II y aj ust ada en l a del Teor ema III, el Di ag.1, par a r eal i zar di cho cor t e.
Empecemos t r azando al t r i ngul o r ect ngul o AEB i nscr i t o en una semi ci r cunf er enci a con
di met r o z t al que su ngul o ZBAE sea i gual al ngul o o dado. Supongamos r esuel t a l a
cuest i n. Es deci r , consi der emos const r ui do al t r i ngul o r ect ngul o ACB cuyo ngul o
ZBAC es i gual a o/ 3 (consecuent ement e, el ngul o ZBAD del t r i ngul o ADB ser a i gual a
2o/ 3). De est e modo, el pr obl ema de l a t r i secci n de o equi val dr a al cl cul o de l a
magni t ud de l a base AC (desi gnada pr evi ament e como x ) o de l a per pendi cul ar CB
21

(denot ada como y ) del t r i ngul o ACB; pues al cont ar con cual qui er a de est a par de
val or es, podemos t r azar a est e t r i ngul o cuyo ngul o ZBAC es l a r espuest a buscada. En
par t i cul ar , l a per pendi cul ar y puede ext r aer se de l a si gui ent e ecuaci n pr opor ci onada
por el Teor ema III:
P
3
=(3x
2
y-y
3
)/ z
2

Recor dando nuest r a not aci n, P
3
desi gna a l a per pendi cul ar EB del t r i ngul o AEB de
cuyo t r azo par t i mos, por l o que es un val or conoci do al i gual que el de l a hi pot enusa z de
l os t r i ngul os AEB, ACB (y ADB). Luego par a deshacer nos de l a ot r a i ncgni t a en l a
ecuaci n, l a base x del t r i ngul o ACB, podemos r ecur r i r al t eor ema de Pi t gor as: x
2
=z
2
-y
2
.
Fi nal ment e si baut i zamos como r al r adi o de l a semi ci r cunf er enci a (2r =z), ent onces a l a
ecuaci n br i ndada por el Teor ema III podemos r eal i zar l e l as si gui ent es sust i t uci ones y
si mpl i f i caci ones:
P
3
(4r
2
)=3(4r
2
-y
2
)y -y
3
= 12r
2
y-3y
3
-y
3
=12r
2
y-4y
3

P
3
r
2
=3r
2
y-y
3

Y est a l t i ma ecuaci n es l a que nos of r ece Vi t e-Ander son como medi o par a
obt ener l a t r i secci n del ngul o, sal vo al gunas di f er enci as r espect o a su not aci n
9
. En
r esumen, el pr obl ema geomt r i co de l a di vi si n de un ngul o not abl ement e se t r aduce en
Ad Angul ar i um Sect i onum al pr obl ema al gebr ai co del cl cul o de r aces de una ecuaci n.
Suponi endo r esuel t a l a cuest i n geomt r i ca (v.gr . en el Di ag.1), en est e t r at ado se
anal i zan sus condi ci ones de sol uci n par a expr esar l as al gebr ai cament e (v.gr . medi ant e el
Teor ema III). Debi do a que el anl i si s no es el t ema de nuest r a i nvest i gaci n, no
ahondar emos ms en est a at r act i va cuest i n y por consi gui ent e, no i nspecci onar emos
ot r os t eor emas del t r at ado i nvol ucr ados con el Pr obl ema II
10
. En su l ugar par a dar t r mi no
a est a secci n, expondr emos que l a demost r aci n del Teor ema III, en l a cual i dent i f i camos
un par de r asgos af i nes a l a i nducci n mat emt i ca, no es una excent r i ci dad ai sl ada en l a
obr a est udi ada. Pues si podemos habl ar en pl ur al sobr e l as demost r aci ones en Ad

9
Puesto el radio X, B la cuerda del ngulo por ser subdivido [B=B
3
=EB], E la cuerda del segmento [E=y].
El cuadrado de X por tres E, menos el cubo de E, es igual al cuadrado de X por B.(Vite-Anderson,1615:42)
10
Ander son- Vite cita en la solucin de su Problema II, a los Teoremas III, V,VI, VIII y IX.
22

Angul ar i um Sect i onum con car act er st i cas de l a i nducci n mat emt i ca, ent onces t ambi n
podemos habl ar sobr e l a i nci pi ent e pr esenci a en ese t r at ado de esa r egl a de i nf er enci a.
Los t eor emas IV y VII con ant el aci n ya f uer on menci onados como l a ot r a par ej a
pr opi ci a par a segui r l os r ast r os de l a i nducci n mat emt i ca en el t r at ado aqu r evi sado. El
pr i mer o de el l os af i r ma l o si gui ent e:
Teorema IIII.
Si desde un punto en la periferia de un crculo, se toma cualquier nmero de
segmentos iguales, y si desde el mismo punto se traza una lnea recta a cada uno de los
segmentos, entonces as como el ms pequeo es al ms cercano, as el resto lo es uno
tras otro, el ms pequeo a la suma de los dos ms cercanos en cada lado. (Anderson-
Vite,1615: 16).
M ani f est ando ot r a vez su r espet o por el par adi gma eucl i di ano, Vi t e-Ander son
ut i l i za i nst anci as par a especi f i car y demost r ar al Teor ema IV. Sean A un punt o en una
ci r cunf er enci a; AB, BC, CD, DE cuat r o segment os i gual es (cuer das) en el l a y AB,AC,AD,AE
l as r ect as t r azadas desde A hast a l os ext r emos de l os segment os i gual es, t al como se
muest r a en el si gui ent e di agr ama:
Di ag.2
De est e par t i cul ar modo, el Teor ema IV af i r ma l a si gui ent e i gual dad ent r e r adi os:
AB
AC
=
AC
AB + A
=
A
AC + AE

M i ent r as que par a est abl ecer est as i gual dades ent r e r azones, l a demost r aci n del
Teor ema IV se apoya en l as const r ucci ones ya menci onadas j unt o con ot r as auxi l i ar es, l a
23

pr ol ongaci n de l a r ect a AD haci a DF t al que DF=AB y l a pr ol ongaci n de AE haci a EG t al
con EG=AC, t odas el l as exhi bi das en Di ag.2. Y al i gual que en l a demost r aci n del
Teor ema II, l a composi ci n de segment os y l a semej anza de t r i ngul os son l os medi os
deduct i vos pr i mor di al es par a der i var a l as i gual dades buscadas. Por const r ucci n
t enemos que DF=AB y EG=AC, por l o que l os t r i ngul os ABC, ACF y ADG son t odos
semej ant es (es ms, t odos son i sscel es). Por consi gui ent e, de l a semej anza de est os
t r i ngul os y de l a composi ci n de l os segment os, AF=AD+DF con DF=AB y AG=AE+EG con
EG=AC, se deducen l as i gual dades ent r e r adi os al udi das por el t eor ema. Que est as
const r ucci ones y deducci ones puedan r eal i zar se par a cual qui er nmer o de [ cual esqui er a]
segment os i gual es que par t en de cual qui er punt o en cual qui er ci r cunf er enci a, es una
t ar ea de r econoci mi ent o dej ada al l ect or . En suma, el desenvol vi mi ent o exposi t i vo-
j ust i f i cat i vo del Teor ema IV, es ot r o f i dedi gno r epr esent ant e del est i l o eucl i di ano.
Cabe r emar car que el Teor ema IV t al como l o hace el Teor ema II, f aci l i t a l a
gener aci n de una sucesi n de r adi os aunque en est e caso, t odos el l os i gual es (r azn
cont i nua). Si et i quet amos con s
1
a l a pr i mer a de l as r ect as (AB en Di ag.2) t r azadas desde
el punt o f i j o (A en Di ag.2) haci a el ext r emo ms pr xi mo de l as cuer das i gual es (B en
Di ag.2), con s
2
a l a segunda de el l as (AC en Di ag.2) y as sucesi vament e, ent onces el
Teor ema IV af i r ma que:
s
1
s
2
=
s
2
s
1
+ s
3
=
s
3
s
2
+ s
4
= =
s
-1
s
-2
+ s

=
s

s
-1
+ s
+1

Y t al como l a demost r aci n del Teor ema III apr ovecha a l a sucesi n de r adi os
pr ovi st a par a el Teor ema II par a f i ncar l a r azn ent r e l os l ados del t r i ngul o con ngul o no
y del t r i ngul o con ngul o o, el Teor ema VII ut i l i za al Teor ema IV par a asever ar l o
si gui ent e:
Teorema VII.
Si desde un punto de la circunferencia de un crculo se toma cualquier nmero de
partes iguales, y si tomamos las lneas rectas que salen del mismo punto hasta los
extremos de las partes iguales de la circunferencia; as se constituye una serie de lneas
rectas en proporcin continua... (Anderson-Vite,1615: 28)
Ahor a bi en, el Teor ema VII aade r espect o a l a r azn cont i nua br i ndada por el
Teor ema IV, a l a expr esi n de cada r ect a s
i
en f unci n de l as dos pr i mer as, s
1
y s
2
, cuyas
24

magni t udes en l a demost r aci n or i gi nal se l es asi gna r espect i vament e el val or de Z y de B.
De est e modo, el Teor ema VII adems af i r ma que:
la tercera es igual a
Bq.-Zq.
Z
[
B
2
-Z
2
Z
],
Bc.-Zq.InB2
Zq.
[
B
3
-2Bz
2
z
2
] la cuarta,
Bqq.-Zq.InBq.3+Zqq.
Zc.
[
B
4
-3B
2
z
2
+z
4
z
3
] la quinta, ...,
Bccc.-Zq.InBqqc.8+Zqq.InBqc.21.-Zcc.InBc.20+Zqcc.InB.5
Zqcc.
[
B
9
-8B

z
2
+21B
S
z
4
-20B
3
z
6
+5Bz
8
z
8
]
la dcima. (Anderson-Vite,1615: 29-30)
M i ent r as que el mt odo de gener aci n de l a ser i e s
i
, ayuda a at i sbar por segunda
ocasi n en est e secci n, a l a i nducci n mat emt i ca. El mt odo empi eza f i j ando el par de
val or es base sobr e l os cual es se def i ni r el del r est o de l a ser i e: s
1
=Z, s
2
=B. Luego se
r ecur r e a l os cl cul os pr evi os de s
i
y s
i -1
, par a i ndi car el cmput o de s
i +1
, despej ando de l a
ecuaci n
s
1
s
2
=
s
i
s
i-1
+s
i+1
pr opor ci onada por el Teor ema IV a s
I+1
:
s
I+1
=
s
2
s
I
s
1
s
I-1
=
Bs
I
Z
s
I-1

Por l o que de l a apl i caci n i t er at i va de l a r egl a ant er i or , se van deduci endo l os
val or es s
i
enumer ados en el Teor ema VII:
l a t er cer a ( s
3
) es i gual a
BB
Z
Z =
B
2
Z
2
Z

l a cuar t a ( s
4
) es i gual a
B( B
2
Z
2
)
ZZ
B =
B
3
2BZ
2
Z
2

l a qui nt a ( s
5
) es i gual a
B( B
3
2BZ
2
)
ZZ
2

B
2
Z
2
Z
=
B
4
3B
2
Z
2
+ Z
4
Z
3


l a dci ma ( s
10
) es i gual a
Bs
9
Z
s
8
=
B
9
8B
7
Z
2
+ 21B
5
Z
4
20B
3
Z
6
+ 5BZ
8
Z
8

Fi nal ment e, Ander son-Vi t e cul mi na l a demost r aci n del Teor ema VII mani f est ando
su conf i anza en l a gener al i dad del mt odo al l enseado:
25

Y de la misma manera ... al infinito, se sigue lo que se ha propuesto del modo
designado
11
, para las lneas rectas dibujadas en el crculo producidas por los
[segmentos] iguales, que es lo que haba que demostrar (Vite-Anderson , 1615: 30)
Recapi t ul ando, t ant o en l a demost r aci n del Teor ema III como en l a del Teor ema VII,
hemos pr opuest o que se si guen un par de pasos asoci abl es con l a i nducci n mat emt i ca,
aunque en el l as no son dados par a j ust i f i car al guna pr opi edad, como nor mal ment e se
hace en l as pr uebas por i nducci n, si no par a i nst aur ar un pr ocedi mi ent o de cl cul o
12
a
t r avs de:
i . El est abl eci mi ent o de un caso base (
z
P
2
y
z
B
2
en T.III; s
1
y s
2
en T.VII) y
i i . El subsecuent e empl eo de casos ant er i or es (
z
P

y
z
P
2
en T.III; s
I
y s
I-1
en T.VII)
par a f i ncar al si gui ent e (
z
P
i+1
y
z
B
i+1
en T.III; s
I+1
en T.VII).
M i ent r as que el segui mi ent o de est e par de pasos
13
, es posi bi l i t ado en ambos casos
por al gn t eor ema ant er i or : T.II par a T.III y T.IV par a T.VII. M s an, l as demost r aci ones

11
No podemos dej ar de menci onar l a mayor especi f ici dad del modo desi gnado en el Teor ema VII, pues al l
i ncl uso se seal a que l os nmer os que van a ir apar eciendo como coef ici ent es en l os numer ador es, van a ser
l os nat ur al es con si gno negat i vo (-1,-2,-3,-4,-5,-6,-7,-8...) par a l os t r mi nos B
i
Z
2
; l os t r i angul ar es
(1,3,6,10,15,21,...) par a l os t r mi nos B
i
Z
4
, l os pir ami dales con si gno negat i vo (-1,-4,-10,-20....) par a l os
t r mi nos B
i
Z
6
y as sucesi va (nat ur ales, t r i angul ar es, pi r ami dal es, t r i ngul o-t r i angul ar es,....) y
al t er nadament e (- + - +...) par a t odos l os t r mi nos B
i
Z
2k
(Vit e-Ander son 1615: 28). Ahor a bien, est as cl ases
de nmer os (t r i angul ar es, pi r ami dal es, ...) l as expondr emos post er i or ment e cuando abor demos en el
Tr at ado del Tr ingul o Ar i t mt i co a su apli caci n par a l os r denes numr i cos. Por l o que aqu nos
conf or mar emos con r econocer a l a mayor pr of undi dad algebr ai ca del Teor ema VII r espect o a l o que se
expuso somer ament e de l en nuest r o cuer po del t ext o.
12
Cuando expongamos a Peano y a Dedeki nd en el Capt ul o 3, l a dif er enci a ent r e el empl eo de l a i nducci n
mat emt ica como mt odo de j ust i f i caci n y como modo de def i ni cin de un cl cul o se har ms nt i da.
Ahor a sl o nos conf or mar emos con pr oponer que en l os Teor emas III y VII se despl iegan pr ocedimi ent os de
cmput o que por Dedeki nd pudier on haber si do l l amados def i ni ciones i nduct i vas y que act ualment e l os
podr amos r econocer como def i nici ones r ecur si vas (ver not a 8). M ient r as que par a empezar a conver t i r
en ver osmil est a suger enci a, pedimos que se compar en l os pr ocedimi ent os most r ados en ese par de
demost r aci ones de Ad Angular i um, con l a def ini ci n r ecur si va f or mul ada por Peano y por Dedekind de l a
mul t i pli caci n par a l os nmer os nat ur al es:
(i ) a* 1= a [ Base de l a r ecur si n]
(i i) a* (b+1)= (a* b)+a [ El cmput o de a* (b+1) r ecur r e al cmput o ant er i or a* b]
13
Remar camos que no est amos af i r mando que en est as demost r aci ones se si gui al guna r egl a de inducci n
mat emt ica, pues como ya haba si do coment ado desde el ini ci o, en el moment o de su el abor aci n ni
si qui er a se cont aba con l a f or mul aci n de t al r egl a. No obst ant e, i nspir ados por l a di scusi n f i l osf i ca sobr e
el seguimient o de r egl as i nci t ada por Wi t t genst ein (ver not a 1), uno pudi er a est ar t ent ado en asever ar que
est as demost r aci ones est n hechas conf or me a una r egl a de inducci n mat emt i ca aunque en el las no se
haya el l a explci t ament e segui do. Es decir , dado el pr obl ema de l a i ndet er mi nacin de l a i nt er pr et aci n de
r egl as, como al t er nat i va a su seguimi ent o se ha pl ant eado el act uar conf or me una r egl a , ent endi da est a
l t ima opci n como una pr ct ica o un hbi t o suj et o quizs, a una r egul aci n soci al . Por l o que l a comunidad
26

de est as pr oposi ci ones geomt r i cas pr i mar i as, T.II y T.IV, est n vi si bl ement e i nser t adas
dent r o de l a t r adi ci n deduct i va eucl i di ana: l as dos usan casos par t i cul ar es y
const r ucci ones auxi l i ar es r epr esent abl es en un di agr ama (Di ag.1 y Di ag.2) con el f i n de
especi f i car y l uego j ust i f i car con base en l o m ost r ado sobr e i nst anci as, a sus r espect i vos
t eor emas. Fi nal ment e est os l t i mos son empl eados par a ar t i cul ar un pr ocedi mi ent o de
cmput o, en T.III y T.VII r espect i vament e, que no est basado sobr e cual esqui er a
i nst anci as, si no en (i i ) l a ut i l i zaci n de l os casos par t i cul ar es pr evi os hast a l l egar al
(i )pr i mer o de t odos el l os.
Ahor a bi en, el r azonami ent o sobr e i nst anci as t ambi n hemos de per ci bi r l o en l a
si gui ent e obr a por ser i nspecci onada en donde encont r ar emos a l a pr i mer a f or mul aci n
de una i nducci n mat emt i ca: el Tr at ado del Tr i ngul o Ar i t mt i co. Lo cual puede par ecer
l l amat i vo, e i ncl uso sor pr endent e si l o aadi mos a nuest r os hal l azgos de vest i gi os en Ad
Angul ar i um Sect i onum de l a i nducci n mat emt i ca, dada l a nt i ma r el aci n exi st ent e
ent r e est a r egl a y l a ar i t mt i ca que ms adel ant e ser expuest a por const i t ui r su
expl i caci n uno de l os obj et i vos pr i mor di al es de nuest r a i nvest i gaci n. Es deci r , al gunos
pr obl emas (v.gr . l a di vi si n de un ngul o) y modos de r azonami ent o (mani pul aci n
deduct i va de i nst anci as) t pi cament e geomt r i cos, conduj er on y ayudar on a i nst aur ar , a
una r egl a de i nf er enci a cuyo domi ni o nat ur al es l a ar i t mt i ca. Sobr eponi ndonos a est a
sensaci n de l o i nesper ado, ya sea i gnor ndol a, expl i cndol a (v.gr . el Pr obl ema II de Ad
Angul ar i um pl ant ea l a di vi si n de un ngul o en un nmer o n de par t es i gual es y por ot r o
l ado, el par adi gma eucl i di ano t odava er a el i deal deduct i vo en el s.XVII) o i nhi bi ndol a
baj o l a pr omesa de su f ut ur a di l uci daci n
14
, ahor a andar emos t r as l as huel l as de l a
i nducci n mat emt i ca en el Tr at ado del Tr i ngul o Ar i t mt i co de Pascal .

act ual de mat emt i cos, qui zs en r et r ospect i va pudi er a ident i f icar que est as demost r aci ones de Ander son-
Vi t e est n hechas conf or me a una r egla de i nducci n mat emt i ca. No obst ant e por l o indi cado en l a not a
ant er i or , hoy en da ser a ms f cil r econocer en est as demost r aci ones algn pr ocedimi ent o de cl cul o
r ecur si vo y no t ant o una i nducci n mat emt i ca.
14
Cuando se def i ende l a vali dez de la r egl a de i nducci n mat emt ica enunci ada por Pascal , ar gument ar emos
que l os medi os de r epr esent aci n inf l uyen en l os modos de r azonamient o y por consi gui ent e, no se ver t an
r ar o en el t r at ado de Pascal , el empleo de i nst ancias con f i nes deduct i vos.
27

1.2 Blaise Pascal: La t riangulacin ent re la arit mt ica y la geomet ra para expresar
una regla de induccin mat emt ica
Bl ai se Pascal (1623-1662) f ue un pr ol f i co pensador f r ancs del si gl o XVII cuyas
apor t aci ones a l as mat emt i cas, aunque no t an cuant i osas s f uer on muy val i osas par a el
desar r ol l o de esa di sci pl i na. Ocupa el pr i mer l ugar cr onol gi co en est e f ugaz r ecuent o de
el l as, l a i ncur si n de Pascal en el campo de l a geomet r a, si endo not abl es al gunos de sus
r esul t ados obt eni dos desde su t empr ana edad en l a r ama de el l a conoci da como
pr oyect i va
15
. Luego, ent r e 1642 y 1645 i nvent una de l as pr i mer as cal cul ador as
mecni cas, l a Pascal i ne, mqui na opt i mi zada par a ef ect uar l a oper aci n ar i t mt i ca de l a
suma
16
. En 1654 pr obabl ement e escr i bi su Tr ai t du Tr i angl e Ar i t hmet i que (Tr at ado del
Tr i ngul o Ar i t mt i co), obr a en donde se apr eci a l a mayor densi dad de su apor t e
mat emt i co y en donde se cent r ar post er i or ment e nuest r o anl i si s. La l t i ma
cont r i buci n r egi st r ada de Pascal a l as mat emt i cas f ue su est udi o sobr e l a cur va l l amada
ci cl oi de
17
, r eal i zado al r ededor de 1658. Ter mi nada l a br eve enumer aci n de sus apor t es,
cor r esponde ahor a enf ocar nos en su obr a sobr e l a cual pende nuest r o i nt er s.
La cr eaci n del Tr at ado del Tr i ngul o Ar i t mt i co f ue i ncent i vada por l a i nt er acci n
epi st ol ar ent r e Pascal y Pi er r e de Fer mat con el mot i vo de r esol ver al gunos pr obl emas que
a l a post r e ser an i dent i f i cados como ger mi nal es par a el naci mi ent o de l a t eor a de l a

15
En su obr a Essai pour l es Coniques publ icada en 1640, se encuent r an sus cont r i buci ones (con un r egi st r o
escr i t o sobr evi vi ent e al paso del t iempo) a l a geomet r a ahor a l l amada pr oyect iva; r ama de ell a i nt er esada
en l as pr opi edades invar i ant es baj o pr oyecci ones. Tal r ama f ue not abl ement e al iment ada por el t r abaj o de
Gr ar d Desar gues (1591 - 1661), cuya i nf l uencia en Pascal (en t al r ea) f ue t ambin consi der abl e. La ms
f amosa de l as apor t aci ones de Pascal se hizo i ncl uso acr eedor a de su apell i do. El Teor ema de Pascal af i r ma
que si un hexgono est i nscr i t o en una secci n cni ca y si sus l ados opuest os son ext endi dos hast a
i nt er secar se, ent onces l os t r es punt os de i nt er secci n son col i neal es.
16
Recur r i endo a algunos al gor i t mos t ambi n se pueden hacer ot r as oper aci ones ar i t mt icas en l a Pascal ine
como l a r est a, l a mul t i pl icaci n o l a di vi si n. Por ejempl o, l a r est a puede ser conver t i da en una suma a
t r avs del mt odo de l os compl ement os. En par t i cul ar , l a Pascal i ne comput a l as r est as a t r avs de l os
compl ement os a nueve. Ej empl o: si se desea r eali zar l a oper aci n 124-34, ent onces pr imer o se cal cul a el
compl ement o a nueve de 34, es deci r , 99-34=65; l uego est e compl ement o se l e suma a 124, es deci r
124+65=189; por l t imo, al r esul t ado obt eni do se l e suma un uno y se ignor a el uno del dgi t o ms
si gni f i cat i vo; es decir (1)89+1=90=124-34.
17
Una cicl oi de es l a cur va t r azada por un punt o en una ci r cunf er enci a cuando el cr culo gi r a a l o l ar go de una
l nea r ect a. Pascal medi ant e l as t cnicas pr ovi st as por l os i ndi vi si bl es de Caval ier i r esol vi al gunos pr obl emas
r el at i vos a t al cur va, como el clcul o del r ea y el cent r o de gr avedad de cual qui er segment o. Por l o que el
r ea de impact o en mat emt i cas de Pascal t ambi n puede incl uir al Cl cul o. Sus r esul t ados l os publi c con el
t t ul o Hi st oi r e de la roul et t e baj o el pseudni mo de Amos de Det t onvil l e.
28

pr obabi l i dad. Di cho i nt er cambi o se susci t en el ao de 1654, aunque el Tr ai t f ue
publ i cado hast a 1665 mi ent r as que l as car t as hast a 1679, por l o que l a evi denci a escr i t a
por ser r evi sada se di vul g pst umament e
18
. Dado que l a i nst aur aci n de l a i nducci n
mat emt i ca en l a expr esi n de una r egl a es el t ema ahor a per segui do, l a del i neaci n del
cont eni do del t r at ado ser muy poco det al l ada sal vo el de l as t r azas deduct i vas el egi das
con t al t r ama.
El Tr ai t a gr andes r asgos est di vi do en dos bl oques. En el pr i mer o se pr esent a l a
t eor a del t r i ngul o ar i t mt i co mi ent r as que en el segundo se exponen cuat r o de sus
apl i caci ones: Par a l os r denes numr i cos
19
, Par a l as combi naci ones , Par a l a di vi si n
de una apuest a ent r e dos j ugador es que j ueguen var i as par t i das
20
y Par a l a bsqueda de
pot enci as de un bi nomi o . Ahor a bi en, l as demost r aci ones r eal i zadas conf or me al mt odo
de i nducci n pl ant eado por Pascal est n di semi nadas en ambos sect or es pr i nci pal es, as
como t ambi n l o est l a expr esi n de esa r egl a. Por consi gui ent e, par a hacer ms nt egr o

18
En Edw ar ds (1982) se puede consul t ar un r el at o acer ca del int er cambi o epi st ol ar de Fer mat con Pascal
r el at i vo al Pr obl ema de l os Punt os (ver not a 20), cuyo f i nal f el iz es l a cr eaci n del Tr at ado del Tr ingul o
Ar i t mt i co y el det er mi nant e apor t e de Pascal al nacimi ent o de l a t eor a de pr obabi li dad. Ahor a bien,
al gunas de l as car t as t r aduci das al i ngl s se pueden r evi sar en Smi t h (1959, vol.2).
19
Los nmer os del pr imer or den son l a uni dad (1,1,1,1,1,1,...), mi ent r as que el nmer o k (k>1) de or den n
(n>1) se comput a sumando l os k pr imer os nmer os de or den n-1. En el si gui ent e capt ul o ser expuest a est a
apl i caci n del t r i ngulo ar i t mt i co, por l o que por el moment o no se ext ender ms nuest r a expli caci n
acer ca de el l os.
20
El Pr obl ema de l os Punt os o de l a Di vi si n de una Apuest a consi st e en det er mi nar l a j ust a maner a en que
ha de r epar t i r se ent r e dos jugador es el pr emi o di sput ado en un j uego de azar (i.e. cada jugador t i ene l a
mi sma pr obabi l idad de ganar cada r onda) cuando se i nt er r umpe si n haber se sat i sf echo l a condi ci n de
vi ct or i a par a cual qui er a de l os j ugador es (i.e. t r i unf a el j ugador que pr imer o gana n r ondas ). Tant o Fer mat
como Pascal pr opusier on que el r epar t o deba basar se en l as expect at i vas de t r i unf o de cada j ugador ,
cal cul adas bajo l a suposici n de que el j uego se pr ol ongar a lo suf ici ent e par a gar ant izar que se cumpli er a l a
condi ci n de t r i unf o par a alguno de l os ell os. En par t i cul ar par a r eali zar t al clcul o, Pascal apr ovech l a
her r ami ent a de clcul o de su t r i ngul o ar i t mt ico. Supongamos que al j ugador A l e f al t an n r ondas par a
ganar mi ent r as que al j ugador B le f al t an m y que est en di sput a un mont o s de di ner o. Luego ent onces, a
l o sumo se r equi er en n+m-1 r ondas par a que al guno de l os dos obt enga la vi ct or i a. En not aci n moder na l a
maner a de obt ener l a r espuest a al Pr obl ema de l os Punt os pr opuest a por Pascal se expr esar a de l a
si gui ent e maner a:
C
n
n+m-1
+C
n+1
n+m-1
+C
n+2
n+m-1
++C
n+m-2
n+m-1
+C
n+m-1
n+m-1
2
n+m-1
s = Par t e de l a apuest a par a A
C
0
n+m-1
+C
1
n+m-1
+C
2
n+m-1
++C
n-2
n+m-1
+C
n-1
n+m-1
2
n+m-1
s = Par t e de l a apuest a par a B
donde C

k
son l as combi naci ones de r el ement os t omados de k obj et os, l as cual es pueden ser comput adas
por medi o del t r i ngul o ar i t mt ico como ms adel ant e ser expuest o en el cuer po del t ext o.
29

a nuest r o anl i si s i ncl ui r emos muest r as deduct i vas de l as dos secci ones y en par t i cul ar , de
l a segunda nos enf ocar emos en l a apl i caci n par a l as combi naci ones. Punt ual i zados
nuest r os si t i os de i nt er s dent r o del t r at ado, ahor a pr ocedemos a exponer su cont eni do
sel ecci onado.
Pascal l l ama t r i ngul o ar i t mt i co a una f i gur a con l a const r ucci n si gui ent e:
Trazo desde un punto cualquiera, G, dos lneas perpendiculares una a la otra, GB,G,,
en cada una de las cuales tomo partes iguales y continuas, tantas como quiera;
comenzando en G las nombro 1,2,3,4,.etc.; y esos nmeros son los exponentes de las
divisiones de la lnea.
A continuacin uno los puntos de la primera divisin que estn en cada una de las dos
lneas con otra lnea que forma un tringulo del cual es la base.
Uno as los dos puntos de la segunda divisin con otra lnea, que forma un segundo
tringulo del cual es la base.
Y al unir as todos los puntos de la divisin que tienen un mismo exponente, formo un
nmero igual de tringulos y de bases.
Trazo por cada uno de los puntos de la divisin lneas paralelas a los lados, que por
sus intersecciones forman pequeos cuadrados, que llamo clulas.
(Pascal, 1665 va 1994:53)
Despus de haber descr i t o el pl ano de l a conf i gur aci n espaci al del t r i ngul o
ar i t mt i co, Pascal baut i za a sus el ement os par a f aci l i t ar a su i dent i f i caci n:
Y las clulas que estn entre dos paralelas que van de izquierda a derecha se llaman
clulas de un mismo rango paralelo,...
Y aqullas que estn entre dos lneas que van de arriba a abajo se llaman clulas de un
mismo rango perpendicular,....
Y aqullas que una misma base atraviesa diagonalmente se llaman clulas de una
misma base, ...
Las clulas de una misma base igualmente distantes de sus extremidades se llaman
recprocas, ...porque el exponente del rango paralelo de una es el mismo que el
exponente del rango perpendicular de la otra,.. (Pascal, 1665 va 1994: 54)
Una vez especi f i cado al mol de geomt r i co j unt o con sus et i quet as, Pascal i ndi ca
cmo ha de ser l l enado con cont eni do ar i t mt i co de l a si gui ent e maner a:
El nmero de la primera clula que est en el ngulo recto es arbitrario; pero
habindose colocado ste, todos los otros estn forzados; y por esta razn se llama el
generador del tringulo. Y cada uno de los otros est especificado por esta nica
regla:
30

El nmero de cada clula es igual al de la clula que la precede en su rango
perpendicular, ms aqul de la clula que la precede en su rango paralelo...
De donde se sacan muchas consecuencias. Aqu estn las principales, donde considero
los tringulos cuyo generador es la unidad; pero lo que se dir servir para todos los
dems. (Pascal, 1665 va 1994:54-5)
Ahor a bi en, l a r epr esent aci n gr f i ca del t r i ngul o ar i t mt i co r esul t a de enor me
ut i l i dad par a ent ender l os seal ami ent os sobr e su especi f i caci n hast a el moment o
t r anscr i t os, e i ncl uso t ambi n l o ser par a compr ender a sus pr opi edades y apl i caci ones
j unt o con sus r espect i vas demost r aci ones que post er i or ment e ser n expuest as y por
consi gui ent e, a cont i nuaci n r epr oduci mos l a i magen de est e obj et o por Pascal pr ovi st a:
Diag.3
Con asi st enci a de l a r epr esent aci n gr f i ca del t r i ngul o ar i t mt i co, podemos
cl ar i f i car medi ant e l a ost ensi n, t al como l o hace Pascal , a l as i nst r ucci ones par a di buj ar l o,
a l as denomi naci ones y a l a const r ucci n ar i t mt i ca pr evi ament e enumer adas. Por
ej empl o, de acuer do al Di ag.3, l as cl ul as del pr i mer r ango par al el o ser an G, o, t,...; l as
del segundo , , u,... y as sucesi vament e. M ient r as que l as cl ul as del pr i mer r ango
per pendi cul ar ser an G, , A, D,...; l as del segundo o, , B,... y as sucesi vament e. Ej empl os
31

de cl ul as de una mi sma base ser an D, B, u, par a l a cuar t a y A, , t par a l a t er cer a.
Ej empl os de cl ul as r ecpr ocas ser an E, R y B, u. Por ot r o l ado, en el Di ag. 3 t ambi n se
apr eci a el r esul t ado de l a const r ucci n ar i t mt i ca con ant el aci n i ndi cada cuando el
gener ador (i .e. el nmer o en l a cl ul a G) es l a uni dad y se si gue l a r egl a adi t i va par a
gener ar l os nmer os en l as si gui ent es bases de l os t r i ngul os (v.gr . u=+t=2+1=3) Cabe
menci onar que l a r egl a adi t i va se compl ement a con una asunci n hecha en l a
demost r aci n de l a Consecuenci a Pr i mer a, a saber que el ext er i or del t r i ngul o ar i t mt i co
est r epl et o de cer os, l a cual per mi t e af i r mar que en todo tringulo aritmtico todas las
clulas del primer rango paralelo y del primer rango perpendicular son iguales al generador
21

(Pascal , 1665 va 1994: 55).
La Consecuenci a Pr i mer a ant er i or ment e ci t ada es una ent r e l as di eci nueve ubi cadas
en el pr i mer bl oque del Tr ai t . Todas el l as est abl ecen pr opi edades del t r i ngul o
ar i t mt i co, al gunas de l as cual es son f ci l ment e di scer ni bl es en su r epr esent aci n gr f i ca
(Di ag.3), t al como l o es l a pr i mer a. De t odas est as consecuenci as, nos i nt er esar n sobr e
t odo aquel l as cuya demost r aci n se haya hecho expl ci t a o i mpl ci t ament e, medi ant e
i nducci n mat emt i ca. As ent onces, nuest r a at enci n se cent r ar en l as demost r aci ones
de l a qui nt a y de l a duodci ma consecuenci as aunque a modo de cont r ast e deduct i vo,

21
A t r avs de un j ui ci o demasi ado est r ict o se podr a cr i t icar que en l a especi f i caci n del t r i ngul o ar i t mt ico,
Pascal omi t i seal ar que el ext er i or del t r i ngul o est aba r epl et o de cer os, cer os que per mi t en usar a l a
r egl a gener ador a de l os nmer os en l as cl ul as par a el cl culo de l os nmer os del pr i mer r ango
per pendi cul ar y del pr imer r ango par al el o. Pr osi gui endo con el desenvol vi mi ent o de est r gi da cr t i ca, se
puede seal ar que en l a demost r aci n de l a Consecuenci a Pr imer a se pasa i nj ust i f i cadament e del les
cellules du premier rang parallle nont aucunes cellules qui les prcedent dans leurs rangs perpendiculaires
a Ainsi o gale G + zro, et t gale o + zro (Pascal , 1665 vi a 1967 :99), pues l a nada no equi val e a cer o a
menos que se haya hecho explci t a esa equi par aci n. Si n embar go est a obser vaci n par ece ms neur t i ca
que pr oposi t iva, y peor aun, i gnor a un pr onunci amient o hecho por Pascal dent r o de su Del espr i t u
geomt r i co y del ar t e del per suadi r , en el cual pl ant ea un vncul o necesar i o ent r e el cer o y l a nada:
...por pequeo que sea un nmero, como la centsima o la diezmilsima parte, se puede concebir uno
menor, y as al infinito, sin llegar jams al cero o a la nada (Pascal, 1994 :118)
Pero si se quiere tomar en los nmeros una comparacin que represente con justicia lo que
consideramos a la extensin, es necesario que sea la relacin del cero con los nmeros, pues el cero no
es del mismo gnero que los nmeros, porque siendo multiplicado, no los puede rebasar: de manera
que es un verdadero indivisible del nmero, como el indivisible es un verdadero cero de la extensin.
Y se encontrar una similar entre el reposo y el movimiento, entre un instante y el tiempo;....Ahora
habremos encontrado una correspondencia perfecta entre estas cosas; pues todas esas magnitudes son
divisibles al infinito sin caer en sus indivisibles, de manera que sostienen entre el infinito y la nada.
(Pascal, 1994: 124)
32

t ambi n se r epr oduci r l a demost r aci n de l a Consecuenci a Segunda, pr oposi ci n que
asever a l o si gui ent e:
En todo Tringulo aritmtico, cada clula es igual a la suma de todas las clulas del
rango paralelo precedente, comprendidas desde su rango perpendicular incluyendo
hasta la primera. (Pascal, 1665 va 1994:56)
La demost r aci n de est a pr oposi ci n r ecur r e al pl ano de l a const r ucci n numr i ca
del cont eni do de l as cl ul as, es deci r , se basa en que (1) l os nmer os en l as cl ul as del
pr i mer r ango per pendi cul ar y en l as cl ul as del pr i mer r ango par al el o son i gual es al
gener ador (Consecuenci a Pr i mer a aunada a l a f i j aci n del nmer o gener ador ) ; y en que
(2) el nmer o en l a cl ul a del r ango per pendi cul ar j y del par al el o i es i gual a l a suma del
nmer o en l a cl ul a del r ango per pendi cul ar j -1 y par al el o i ms el nmer o en l a cl ul a del
r ango per pendi cul ar j y par al el o i -1. En not aci n moder na, l os pr i nci pi os de const r ucci n
ar i t mt i ca
22
sobr e l os cual es se f undament a l a Consecuenci a Segunda y di cho sea ya
desde ahor a, t ambi n el r est o de l as consecuenci as, se pueden expr esar as:
(1) c
i j
= k cuando i =1 y j >1 o cuando i >1 y j =1
(2) c
i j
= c
(i -1)j
+ c
i (j -1)
cuando i >1 y j >1
Donde c
i j
desi gna a l a cl ul a del r ango par al el o i y del r ango per pendi cul ar j
mi ent r as que k al nmer o gener ador . Ahor a bi en, en l a demost r aci n de l a
Consecuenci a Segunda, Pascal l l ama al est r ado a cual qui er cl ul a c
i j
con i >1 y j >1, par a
most r ar su cumpl i mi ent o. En par t i cul ar l ci t a a l a cl ul a e del Di ag.3, y muest r a que el
cl cul o de su cont eni do ar i t mt i co est i pul ado por l os dos pr i nci pi os enunci ados si r ve par a
deduci r l o af i r mado en l a Consecuenci a Segunda:

22
Si deseamos mant ener una mayor f i del i dad haci a l a exposici n de Pascal y deci dimos consi der ar a l a
Consecuenci a Pr i mer a como una pr oposici n der i vada de l a const r ucci n ar i t mt ica del t r i ngul o y no como
un el ement o mi smo de ell a, ent onces l os pr inci pi os const r uct or es ser an l os si gui ent es:

(1.1) c
i j
= 0 cuando i =0 j=0
(1.2) c
i j
= k cuando i =1 y j =1
(2) c
i j
= c
(i -1)j
+ c
i (j -1)
(agr egar l a condi ci n cuando i >1 y j>1 aunque ayude a l a compr ensi n r esul t a
r edundant e)

No obst ant e, l a f or mul aci n suger ida adems de ser equi valent e no alt er a el l i neami ent o or i ginal de l a
const r ucci n pues t ampoco se t om l a mol est i a Pascal de expl i ci t ar l a condi ci n (1.1) -ver not a ant er i or -
adems est a r ef or mul aci n f aci li t a a l a ar gument aci n.
33

e es igual a R + C [Principio (2)]
u + B [Principio (2)]
+ A [Principio (2)]
[Principio (1)]
Por lo tanto e igual a R + u + + . (Pascal, 1665 va 1994: 56)
As ent onces, est a demost r aci n es ot r o exponent e del modo de r azonami ent o ya
expuest o en l a secci n ant er i or dedi cada a Vi t e: medi ant e una i nst anci a (l a cl ul a e) se
ensea cmo se sat i sf ace l a pr oposi ci n en gener al (par a cual qui er cl ul a).
Vent aj osament e, en l a not aci n moder na con var i abl es i ndexadas se puede expr esar con
mayor gener al i dad t ant o a l a i nst anci a como al r azonami ent o ut i l i zados por Pascal en su
demost r aci n de l a Consecuenci a Segunda. Sea c
i j
cual qui er cl ul a del t r i ngul o
ar i t mt i co. Luego ent onces:
c
i j
= c
(i -1)j
+ c
i (j -1)
[ Pr i nci pi o (2)]
= c
(i -1)j
+ c
(i -1)j -1
+ c
i (j -2)
[ Pr i nci pi o (2)]


= c
(i -1)j
+ c
(i -1)j -1
+ c
(i -1)j -2
+ c
i (j -3)
[ Pr i nci pi o (2)]


= ...
= c
(i -1)j
+ c
(i -1)j -1
+ c
(i -1)j -2
+ c
(i -1)j -3
+...+ c
(i -1)2
+ c
i 1
[ Pr i nci pi o (2)]
= c
(i -1)j
+ c
(i -1)j -1
+ c
(i -1)j -2
+ c
(i -1)j -3
+...+ c
(i -1)2
+ c
(i -1)1
[ Pr i nci pi o (1)]
A pesar de l a mayor gener al i dad mani f i est a en l a t r aducci n, su ni vel de r espal do a
l a Consecuenci a Segunda es el mi smo que el of r eci do por l a demost r aci n or i gi nal . Es
deci r , en ambas demost r aci ones el pr oceso de descomposi ci n que va r ecur r i endo al
segundo pr i nci pi o const r uct or hast a conduci r nos haci a el r esul t ado deseado por l a
Consecuenci a Segunda con l a ayuda f i nal del pr i mer pr i nci pi o, t i ene como gar ant a de
t er mi naci n par a cual qui er cl ul a, al go no hecho expl ci t o en l as dos demost r aci ones. En
ambas podemos per cat ar nos de que el pr oceso de descomposi ci n par a cual qui er cl ul a
c
i j
(e en l a or i gi nal ) debe concl ui r en l a pr i mer a cl ul a c
i 1
(A) de su mi smo r ango par al el o.
Si n embar go, l o sabemos no por al go menci onado en el l as, si no por que de ant emano
34

i nf er i mos o i nt ui mos que el ndi ce j al cor r er en sent i do i nver so sobr e l os nmer os
nat ur al es, debe det ener se en el pr i mer o de t odos el l os, el nmer o 1. M s an, en l a
demost r aci n or i gi nal l a r epr esent aci n gr f i ca del t r i ngul o ar i t mt i co t ambi n asi st e a
nuest r o conoci mi ent o sobr e l a cul mi naci n de l a descomposi ci n par a cual qui er cl ul a c
i j
(e), pues l a r ecur r enci a const r uct i va c
i j
=

c
(i -1)j
+ c
i (j -1)
(v.gr . e=R+C) t i ene como l mi t es a l os
cat et os (GP, Go) del t r i ngul o ar i t mt i co cuya base es i gual a i +j -1 (sei s)
23
.
Ll amat i vament e, l as gar ant as par a l a uni ver sal i dad de l as concl usi ones j ust i f i cadas a
t r avs de i nst anci as en el Tr ai t , se i r n apunt al ando con mayor f uer za y evi denci a dent r o
de est a obr a hast a al canzar un mxi mo cuando por f i n se enunci e y se si ga expl ci t ament e
el mt odo de demost r aci n capt or de nuest r a at enci n, en l a Consecuenci a Duodci ma y
en l a Pr oposi ci n Pr i mer a par a l as combi naci ones. Como el ement o de t r ansi ci n , ahor a
ci t ar emos a l a demost r aci n de l a Consecuenci a Qui nt a, l a cual af i r ma que en todo
Tringulo aritmtico cada clula es igual a su recproca (Pascal, 1665 va 1994:57). M i ent r as que
su demost r aci n pr ocede de l a si gui ent e maner a:
... en la segunda base o, es evidente que las dos clulas recprocas ,o, son iguales
entre s y a G.
En la tercera A, ,t, es tambin visible que las recprocas t, A son iguales entre s y a
G.
En la cuarta, es visible que los extremos D, son otra vez iguales entre s y a G.Y
aquellos entre ambos, B, u, son visiblemente iguales, pues B es igual a A + , y u es
igual a + t; ahora bien t + son iguales a A+ por lo que se ha mostrado; as
pues, etc.
As se mostrar en todas las otras bases que los recprocos son iguales, porque los
extremos son siempre iguales a G, y porque los otros se interpretarn siempre por
medio de otros iguales en la base precedente que son recprocos entre s.
(Pascal, 1665 va 1994:57)
Est a demost r aci n empi eza r epar ando en que l a Consecuenci a Qui nt a se cumpl e
vi si bl ement e par a l as cl ul as r ecpr ocas de l a segunda y t er cer a bases, i .e. c
12
=c
21
y

23
El exponent e del r ango per pendi cul ar de cual qui er cl ul a que sea, sumado al exponent e de su r ango
par al el o, sobr epasa por l a uni dad al exponent e de su base, lo que viene de que los dos lados del triangulo
estn divididos en un mismo nmero de partes; pero esto es ms bien entendido que demostrado (Pascal,
1665 va 1994 : 54-5). Es decir , si obser vamos el Di ag.3 podemos ent ender que dos cl ul as c
i j
y c
kl
est n en l a
mi sma base si i +j=k+l , a saber , en l a base i +j-1.
35

c
13
=c
31
, donde l o evi dent e de su sat i sf acci n r esi de en el pr i mer pr i nci pi o const r uct or (o
equi val ent ement e en l a Consecuenci a Pr i mer a). Es ms, gr aci as a est e pr i mer pr i nci pi o l a
consecuenci a se cumpl e par a cual esqui er a cl ul as r ecpr ocas en l os ext r emos , i .e.
c
k1
=c
1k
, t al como l o hace not ar Pascal par a l as cl ul as r ecpr ocas D,. de l a cuar t a base.
Luego si c
i j
, c
j i
son cual esqui er a cl ul as r ecpr ocas (no ext r emas) en l a base i +j -1, en l a
demost r aci n se hace l a obser vaci n de que si l a consecuenci a se cumpl e par a l as cl ul as
r ecpr ocas en l a base ant er i or i +j -2, ent onces c
i j
t ambi n debe ser i gual a c
j i
puest o que:
c
i j
= c
i (j -1)
+ c
(i -1)j
[ Pr i nci pi o (2)]
c
j i
= c
j (i -1)
+ c
(j -1)i
[ Pr i nci pi o (2)]
c
(i -1)j
=c
j (i -1)
y c
i (j -1)
=

c
(j -1)i
[ Hi pt esi s]
Por consi gui ent e, c
i j
= c
i (j -1)
+ c
(i -1)j
= c
j (i -1)
+ c
(j -1) i
= c
j i

As ent onces, l a demost r aci n de l a Consecuenci a Qui nt a l a podemos empar ent ar
di r ect ament e con l as demost r aci ones de Vi t e-Ander son en donde i dent i f i camos r asgos
deduct i vos pr opuest os como t pi cos de l a i nducci n mat emt i ca. En t odas el l as pr i mer o
(i )se est abl ece un caso base, v.gr . c
12
=c
21
en l a demost r aci n de l a Consecuenci a Qui nt a, y
l uego (i i ) se i ndi ca cmo l i gar el cumpl i mi ent o de un caso ant er i or al si gui ent e, v.gr . si se
sat i sf ace l a Consecuenci a Qui nt a en l a base k=i +j -2 t ambi n se pr esent ar l a i gual dad
ent r e r ecpr ocos en l a base k+1=i +j -1. En pal abr as de Pascal , (i ) en la segunda base o, es
evidente que las dos clulas recprocas ,o, son iguales entre s y (i i ) si los recprocos son iguales
en la base anterior entonces tambin lo son en la siguiente. Que el aut or de l a demost r aci n de
l a Consecuenci a Qui nt a haya t ambi n r econoci do est e par de pasos deduct i vos sobr e l os
cual es l a ar t i cul , r esul t a ver osmi l puest o que l os enunci como l emas y l os si gui
abi er t ament e por vez pr i mer a en l a demost r aci n de l a Consecuenci a Duodci ma. Y al
hacer l o no sl o nos br i nd l a expr esi n de una r egl a medi ant e l a cual podemos agr upar
con mayor pr eci si n a t odas est as demost r aci ones, si no adems f or t al eci el r espal do
j ust i f i cat i vo de l as demost r aci ones que l a si guen en el Tr ai t , r espect o a ot r as como l a de
l a Consecuenci a Segunda, en donde l a gener al i zaci n de l a j ust i f i caci n sobr e i nst anci as,
r equi er e de asunci ones como l a de l a exi st enci a de un pr i mer nmer o nat ur al .
36

La Consecuenci a Duodci ma hace l a si gui ent e asever aci n:
En todo Tringulo aritmtico, cuando dos clulas contiguas estn en una misma base,
la superior es a la inferior como la multitud de clulas desde la superior hasta lo alto
de la base es a la multitud de aqullas desde la inferior incluyendo hasta la de abajo.
(Pascal, 1665 va 1994:60)
En not aci n moder na, l a pr oposi ci n af i r ma que c
i j
/ c
(i +1)j -1
= i / (j -1). Despus de
ci t ar un ej empl o ( E es a C como 2 es a 3 ), Pascal i ndi ca l a maner a medi ant e l a cual ha de
demost r ar a est a consecuenci a:
Si bien esta proposicin tiene una infinidad de casos, dar una demostracin muy
corta, suponiendo 2 lemas.
El 1, que es evidente por s mismo, que esta proporcin se encuentra en la segunda
base; pues es muy visible que es a o como 1 a 1.
El 2, que si esta proporcin se encuentra en una base cualquiera, se encontrar
necesariamente en la base siguiente. (Pascal, 1665 va 1994:60)
Despus de seal ar el cami no deduct i vo, Pascal r emar ca el por qu de su cor r ecci n:
De donde se ve que lo es necesariamente en todas las bases: pues lo es en la segunda
por el primer lema; as pues por el segundo lo es en la tercera base, as pues en la
cuarta, y al infinito. (Pascal, 1665 va 1994: 60)
Por l o que de acuer do a l o t r anscr i t o, s l o r est ar a demost r ar al segundo l ema par a
asent ar a l a Consecuenci a Duodci ma. Pr i mer o ha de exhi bi r se con una pr esent aci n
act ual a l a demost r aci n de est e l ema en pos de f aci l i t ar a su compr ensi n, aunque
despus ser r epr oduci da l a deducci n or i gi nal par a at est i guar l a f i del i dad de l a
t r aducci n.
Supongamos el cumpl i mi ent o de l a pr opor ci n pr edi cada en Consecuenci a
Duodci ma par a l as cl ul as cont i guas de una base cual qui er a k y sea c
i j
cual qui er cl ul a en
l a si gui ent e base, es deci r , i +j =k+2. Ent onces el Lema 2 pi de demost r ar que
c
i j
/ c
(i -1)j +1
= j / (i -1)
Ahor a bi en, por el pr i nci pi o const r uct or (2) t enemos que c
i j
= c
i (j -1)
+

c
(i -1)j
Luego por hi pt esi s t enemos que c
i (j -1)
/

c
(i -1)j
= (j -1) / (i -1)
De donde se si gue que
37

c
i j
/ c
(i -1)j
= (c
i (j -1)
+c
(i -1)j
) / c
(i -1)j
= c
i (j -1)
/ c
(i -1)j
+ c
(i -1)j
/ c
(i -1)j
= (j -1)/ (i -1) + 1 = (j +i -2) / (i -1)
Por ot r o l ado, por el pr i nci pi o (2) t enemos que c
(i -1)j +1
= c
i -1(j )
+

c
(i -2)j +1

Adems, por hi pt esi s t enemos que c
(i -2)j +1
/ c
i -1(j )
= (i -2) / j
De donde se si gue que
c
(i -1)j +1


/ c
(i -1)j
= (c
i -1(j )
+

c
(i -2)j +1
) / c
(i -1)j
= c
i -1(j )
/ c
(i -1)j
+ c
(i -2)j +1
/ c
(i -1)j
= 1 + (i -2)/ j = (j +i -2) / j
Por l o t ant o
c
i j
/ c
(i -1)j +1
= (c
i j
/ c
(i -1)j
) / (c
(i -1)j +1
/ c
(i -1)j
) = ((j +i -2)/ (i -1)) / ((j +i -2)/ j ) = j / (i -1) ...C.q.f.d
Ent r et ant o, l a demost r aci n or i gi nal del Lema 2 en su conver si n al cast el l ano di ce
l o si gui ent e:
Si esta proporcin se encuentra en una base cualquiera, como en la cuarta D, es decir,
si D es a B como 1 a 3, y B a u como 2 a 2, y u es a como 3 a 1, etc.; digo que la
misma proporcin se encontrar en la base siguiente, H, y que, por ejemplo, E es a C
como 2 a 3.
Pues D es a B como 1 a 3, por la hiptesis.
Por lo tanto D + B es a B como 1 + 3 a 3.
E a B como 4 a 3.
Igualmente B es a u como 2 a 2, por la hiptesis.
Por lo tanto B + u es a B como 2 + 2 a 2.
C a B, como 4 a 2.
Pero B a E, como 3 a 4.
Por lo tanto, por la proporcin problematizada, C es a E como 3 a 2.
C.q.f.d. (Pascal, 1665 va 1994:60-1)
Cot ej ando a l a t r aducci n con su or i gi nal , ot r a vez sobr esal e l a gener al i dad
pr esent ada por l a not aci n act ual : par ece no ser l o mi smo deci r que E y C son
cual esqui er a cl ul as adyacent es en cual qui er base, a seal ar a c
i j
y c
(i -1)j +1
como
cual esqui er a cl ul as adyacent es en cual qui er base. Si n embar go a par t i r de l a i nst anci a
demost r ada por Pascal , E es a C como 2 a 3
24
, se puede r econocer a l a gener al i dad de su

24
Con un inspi do r i gor cabr a seal ar que Pascal demost r algo equi val ent e a l o que se quer a
deduct ivament e sust ent ar , pues concl uy que C es a E como 3 a 2 en l ugar de E es a C como 2 a 3 . En l a
38

pr oceder ar gument at i vo, t al como l a mani f est amos abi er t ament e en nuest r a
r ef or mul aci n con var i abl es. Con est a met a r ei vi ndi cador a, l a cuar t a base se convi er t e en
l a base k=i +j -1 ; E t or na en c
i j
; C en c
(i -1)j +1
; 2 en j ; 3 en i -1 ; l a pr opor ci n
2 a 3 se t r ansf or m en l a f r acci n j / (i -1) ; l as i nf er enci as pr opi ci adas por una t eor a de
pr opor ci ones en conj unci n con l a hi pt esi s sobr e el cumpl i mi ent o de l a pr opi edad par a l a
cuar t a base como D+B es a B como 1+3 a 3 son ahor a r eal i zadas mani pul ando f r acci ones
concomi t ant ement e con l a hi pt esi s i nduct i va c
i j
/ c
(i -1)j
= (c
i (j -1)
+c
(i -1)j
) / c
(i -1)j
= c
i (j -1)
/ c
(i -1)j
+
c
(i -1)j
/ c
(i -1)j
= (j -1)/ (i -1)+1 = (j +i -2)/ (i -1) . Por l o t ant o, aunque l os medi os de r epr esent aci n
manej ados por Pascal no t engan l a expr esi vi dad uni ver sal de l os medi os al gebr ai cos
ut i l i zados en nuest r as t r aducci ones de sus demost r aci ones, cumpl en equi val ent ement e
con sus obj et i vos j ust i f i cat i vos, como el de apunt al ar al segundo l ema en l a Consecuenci a
12 .
M s an, l a apar i enci a de l o par t i cul ar t ambi n se pr esent a en l a f or mul aci n del
mt odo de demost r aci n usado par a deduci r a l a Consecuenci a Duodci ma. Pascal en
cada ocasi n en donde abi er t ament e anunci a el segui mi ent o del mt odo que
i dent i f i car emos con l a i nducci n mat emt i ca, como en l as demost r aci ones de l a
consecuenci a en cuest i n y de l a Pr oposi ci n 1 par a l as combi naci ones, enunci a al par de
l emas conf or me al t eor ema cuya demost r aci n as se pl ant ea. Si n embar go, al i gual que
en l a t r aducci n de l a demost r aci n del Lema 2 par a l a Consecuenci a Duodci ma, se
puede abst r aer de cada i nst anci a del par de l emas, al mt odo deduct i vo gener al t al como
ms adel ant e ser hecho. En suma, l os medi os de r epr esent aci n par ecen desempear un
i mpor t ant e papel t ant o en el segui mi ent o como en l a expr esi n de una r egl a de
demost r aci n que mer ece una expl i caci n ms det al l ada y una j ust i f i caci n mej or
sol vent ada, por l o que est e t ema ser r et omado despus de haber concl ui do nuest r a
exposi ci n de especmenes deduct i vos del Tr ai t .
Ahor a se exhi bi r nuest r a l t i ma demost r aci n sacada del t r at ado, cor r espondi ent e
a l a apl i caci n del t r i ngul o ar i t mt i co par a l as combi naci ones. Una combi naci n de r en k

moder na t r aducci n se r espet est e r et r ucano, as en l ugar de demost r ar l a i gual dad af ir mada por l a
Consecuenci a Duodcima c
i j
/ c
(i +1)j -1
= i / (j -1) se demost r su equival ent e c
i j
/ c
(i -1)j +1
= j / (i -1) .
39

(C

k
) se puede i nt er pr et ar como el nmer o de di st i nt os subconj unt os de r el ement os
f or mados a par t i r de un conj unt o con k obj et os. Y Pascal ent i ende por combi naci n al go
par eci do: todas las maneras de tomar [cosas] tanto como estn permitidas entre todas las que
estn presentes, se llaman aqu las diferentes Combinaciones (Pascal , 1665 va 1967: 110). La
pr i nci pal di scr epanci a ent r e est a l t i ma noci n de combi naci n r espect o a l a pr i mer a
menci onada, adems de su f al t a de t er mi nol oga per t eneci ent e a l a t eor a de conj unt os,
es que par a Pascal r y k t i enen que ser nmer os est r i ct ament e mayor es que cer o.
At endi endo a l a pr evi a acl ar aci n, l a Pr oposi ci n Pr i mer a de est a secci n af i r ma l o
si gui ent e:
En todo Tringulo aritmtico, la suma de las clulas de un rango paralelo cualquiera
iguala a la multitud de combinaciones del exponente del rango en el exponente del
Tringulo. (Pascal, 1665 va 1967:113)
De nuevo pr i mer o se expondr en not aci n moder na a l a demost r aci n de est a
pr oposi ci n par a l uego r epr oduci r a su f or mul aci n or i gi nal , aunque ahor a sl o se
copi ar n nt egr ament e al par de l emas medi ant e l os cual es se ar t i cul a y sl o r esear emos
a sus r espect i vas demost r aci ones.
La Pr oposi ci n Pr i mer a asegur a que l a combi nat or i a de r en k puede obt ener se con
l a asi st enci a del t r i ngul o ar i t mt i co de base k, si nos f i j amos en el r ango par al el o r y
r eal i zamos l a si gui ent e sumat or i a:
C

k
= c
]
] | +]-1=k
]=1

M i ent r as que su demost r aci n ot r a vez se ar t i cul a medi ant e el est abl eci mi ent o de
dos l emas:
Lema 1: El pr i mer t r i ngul o ar i t mt i co, aquel conf or mado ni cament e por l a cl ul a
gener ador a G, cuando G es l a uni dad, nos si r ve par a comput ar l a combi nat or i a de uno en
uno (C
1
1
), pues el l a pr eci sament e es i gual a l a uni dad, sat i sf aci endo de est e modo a l a
Pr oposi ci n Pr i mer a. Es deci r :
40

C
1
1
= c
1]
=
] | 1+]-1=1
]=1
c
11
= 0 = 1
Lema 2: Supongamos que l a pr oposi ci n es vl i da par a el t r i ngul o ar i t mt i co de
base n, es deci r , par a cual qui er r t al que 1sr sn se cumpl e que C

n
= c
]
] | +]-1=n
]=1
. Ahor a
bi en, escj ase una r t al que 1sr sn con l a i nt enci n de most r ar que C

n+1
medi ant e el
t r i ngul o ar i t mt i co de base n+1 t ambi n puede cal cul ar se por medi o de l a sumat or i a de
sus cl ul as del r ango par al el o r . En conci so, cor r esponde ahor a demost r ar que:
C

n+1
= c
]
] | +]-1=n+1
]=1

Par a l ogr ar est abl ecer est a i gual dad, Pascal acude a l a si gui ent e pr opi edad de l as
combi naci ones l l amada por l Lema IV:
C
I+1
m+1
= C
I
m
+ C
I+1
m
con l +1sm
25

As ent onces, de acuer do al Lema IV t endr amos que C

n+1
= C
-1
n
+ C

n
. Adems,
debi do a l a suposi ci n de l a val i dez de l a pr oposi ci n par a el t r i ngul o ar i t mt i co de base
n, se si gue que:
C
-1
n
= c
( -1) ]
] | -1+]-1=n
]=1

y
C

n
= c
]
] | +]-1=n
]=1

Por ot r o l ado, por l a Consecuenci a Segunda t enemos que:

25
M edi ant e l a f r mul a C
I
m
=
m!
( m-I) !I!
se puede cor r obor ar al Lema IV de Pascal , t al como a cont i nuaci n se
ensea:
C
I
m
+ C
I+1
m
=
m!
( m-I) !I!
+
m!
(m-( I+1) )!( I+1) !
=
m!( I+1) +m!( m-I)
( m-I) !( I+1) !
=
m!I+m!+m! m-m!I
( m-I) !( I+1) !
=
m!( 1+m)
( m+1-I-1) ! ( I+1) !

=
( m+1) !
( m+1-( I+1) ) !( I+1) !
= C
I+1
m+1

41

C
-1
n
= c
( -1) ]
] | -1+]-1=n
]=1
= c
]i

con j =n-r +2
Por l o t ant o:
C

n+1
= C
-1
n
+ C

n
= c
( -1) ]
] | -1+]-1=n
]=1
+ c
]
] | +]-1=n
]=1
= c
]
| + c
]
] | +]-1=n
]=1

= c
]
] | +]-1=n+1
]=1
C. q. f . d.
Una vez pr esent ada en su moder no at avo a l a demost r aci n de l a Pr oposi ci n
Pr i mer a, ahor a r epr oduci mos a l a f or mul aci n or i gi nal del par de l emas sobr e l os cual es se
ar t i cul a:
El 1
ero
, que es evidente por s mismo, que en el primer tringulo esta igualdad se
encuentra, porque la suma de las clulas de su nico rango, a saber G, o la unidad,
iguala a la suma de las combinaciones de 1, exponente del rango, en 1, exponente del
tringulo.
El 2
o
, que si se tiene un Tringulo aritmtico en donde esta proporcin se encuentra, es
decir, para cualquier rango que se tome, se tiene que la suma de sus clulas iguala a la
multitud de combinaciones del exponente del rango en el exponente del tringulo:
digo que el tringulo siguiente tendr la misma propiedad.
(Pascal, 1665 va 1967: 113)
En concor danci a con el pl ano de l a demost r aci n, Pascal se aboca a apunt al ar
deduct i vament e al Lema 2
o
. Par a hacer l o el i ge a un t r i ngul o si n nada en par t i cul ar , el
t er cer o, y supone que l a i gual dad pr opuest a al l se encuent r a. En consonanci a con t al
asunci n, l a sumat or i a de l as cl ul as del pr i mer r ango par al el o es i gual a l as
combi naci ones de 1 en 3 y l a sumat or i a de l as cl ul as del segundo es i gual a l as
combi naci ones de 2 en 3. Luego Pascal escoge a un r ango par al el o del si gui ent e t r i ngul o
si n nada en par t i cul ar , el segundo, par a f i nal ment e demost r ar por medi o del par de
i gual dades pr evi as, el Lema IV y l a Consecuenci a Segunda, que l a mul t i t ud de
combi naci ones de 2 en 4 es i gual a l a sumat or i a de l as cl ul as del segundo r ango par al el o
42

en el cuar t o t r i ngul o de l a maner a most r ada en su t r aducci n. En suma, ot r a vez se
empl ean i nst anci as en l a demost r aci n del Lema 2
o
.
Adems, t al como l o hi zo en l a demost r aci n de l a Consecuenci a Duodci ma, Pascal
expl i ca l a sol i dez de su pl an de pr ueba:
De donde se sigue que todos los Tringulos aritmticos tienen esta igualdad, porque
ella se encuentra en el primer tringulo por el primer lema, y ella misma otra vez es
evidente en el segundo; por el segundo lema, el siguiente la tendr por lo mismo, y por
consiguiente el siguiente otra vez; y as al infinito. (Pascal, 1665 va 1967: 113)

Recapi t ul ando, en l as cuat r o demost r aci ones exhi bi das del Tr ai t , l a ar gument aci n
sobr e i nst anci as es una const ant e en t odas el l as. Si n embar go, l as gar ant as sobr e l a
uni ver sal i dad de sus concl usi ones, var an ent r e l a pr i mer a, l a de l a Consecuenci a 2 , y l as
t r es l t i mas pues en el l as i mpl ci t a (Consecuenci a 5 ) o expl ci t ament e (Consecuenci a 12
y Pr oposi ci n 1 par a l as combi naci ones) se si gue un pl an de pr ueba compuest o por un
par de l emas. Y cada vez que apar ecen esos dos l emas, t ambi n se pr esent an como
i nst anci as pues se especi f i can conf or me al cont eni do de l as pr oposi ci ones (Consecuenci a
12 , Pr oposi ci n 1 ) por ser demost r adas.
Ahor a bi en, en esas par ej as de l emas af i r mamos que se puede r econocer a l a
expr esi n de una r egl a par a el abor ar demost r aci ones en gener al , l a cual no es ot r a si no
una ver si n de l a i nducci n mat emt i ca. Es ms, pr esumi bl ement e l as demost r aci ones en
el t r at ado que si guen esa r egl a, of r ecen un r espal do ms sl i do a sus concl usi ones en
compar aci n con l as dems que no l o hacen y que pr eci san de ot r as asunci ones par a su
sost n. Y l a r azn det r s de est a mayor f i r meza j ust i f i cat i va, se puede vi sl umbr ar en l as
expl i caci ones of r eci das por Pascal con ant el aci n t r anscr i t as, sobr e l a uni ver sal i dad de l os
r esul t ados deduci dos a par t i r de sus par es de l emas. Si n embar go por el moment o nos
concent r ar emos en r espal dar l a pr esenci a en el Tr ai t de l a expr esi n de una r egl a de
i nducci n mat emt i ca, post er gando hast a l a adopci n de un enf oque axi omt i co en l os
dos capt ul os post er i or es, l a di l uci daci n de ese mayor gr ado de apoyo. M i ent r as que par a
l l evar a cabo est a def ensa en l o que r est a de est e capt ul o, apel ar emos a l a i mpor t anci a
de l os medi os de r epr esent aci n en el segui mi ent o y en l a f or mul aci n de l as r egl as de
43

demost r aci n. En par t i cul ar , seal ar emos que l os medi os de r epr esent aci n ut i l i zados por
Pascal per t enecen a un cont ext o deduct i vo r espect o al cual el r azonami ent o sobr e
i nst anci as, no sl o par a l as demost r aci ones si no i ncl uso par a sus mt odos, es l a r egl a par a
most r ar su uni ver sal i dad.
En el Tr ai t no se hal l a concent r ada en unas l neas l a f or mul aci n de una r egl a de
i nducci n mat emt i ca, al menos no de l a maner a como se especi f i car a hoy en da. Se
pueden aduci r di st i nt as r azones det r s de est a ausenci a, desde l a t emt i ca del t r at ado de
Pascal , pues sus demost r aci ones son medi os par a desar r ol l ar l a y no sus pr ot agoni st as,
hast a aquel l as l gi co-mat emt i cas que seal ar an l a f al t a de al gunas cuest i ones ahor a
empl eadas en l a f or mul aci n de esa r egl a de demost r aci n. Con r espect o a l as l t i mas
i ncl uso se puede acusar a l os medi os l i ngst i cos del t r at ado por no pr opi ci ar una
r epr esent aci n suf i ci ent ement e uni ver sal par a f abr i car una expr esi n conci sa de l a
i nducci n mat emt i ca dbi l . Par a r evel ar est a pr ecar i edad l gi co-mat emt i ca, a
cont i nuaci n se enunci ar un mt odo de demost r aci n basado en l os par es de l emas,
per o r est r i ngi endo su f or mul aci n a l os r ecur sos ext r abl es del t r at ado:
REGLA DE PASCAL PARA LA I NDUCCI N M ATEM TI CA DBI L: Cuando de una i nf i ni dad de
var i as cosas podemos t omar una pr i mer a de el l as, mi ent r as que cada una de l as ot r as
puede ser t omada si empr e pudi endo el egi r a l a si gui ent e de l a ant er i or , ent onces se puede
pr oponer que t odas l as cosas desde l a pr i mer a hast a l a i nf i ni dad t i enen necesar i ament e
ci er t a pr opi edad si se demuest r a el si gui ent e par de l emas:
Lema 1: En l a pr i mer a cosa se encuent r a l a pr opi edad pr opuest a.
Lema 2: Si l a pr opi edad se encuent r a en cual quier a de l as cosas, ent onces se hal l a en l a
si gui ent e.
La f or mul aci n pr opuest a i mi t a el comi enzo de l a def i ni ci n de combi naci n de
Pascal
26
y se aj ust a al cont eni do de l as dos i nst anci as del par de l emas pr evi ament e
t r anscr i t as. M s an, en l as demost r aci ones que si guen a est os l emas, hay i ndi ci os de
cuant i f i caci ones de pr i mer or den, v.gr . en l a de la Consecuenci a Duodci ma se concl uye

26
Lorsque de plusieurs choses on donne le choix dun certain nombre,... (Pascal , 1665 va 1967:110)
44

del par de l emas que

de donde se ve que lo es necesariamente en todas las bases . Adems, en
est as demost r aci ones se i nsi na al guna maner a or denada de el egi r l as cosas, v.gr . en l a
de l a Pr oposi ci n 1 se escogen t r i ngul os ar i t mt i cos en sucesi n, mi ent r as que en l a de
l a Consecuenci a 12 se sel ecci onan secuenci al ment e a sus bases. Si n embar go, el l enguaj e
ut i l i zado por Pascal no per m i t e hacer ms pr eci so al modo de sel ecci n y a l a
cuant i f i caci n de l as cosas. Por ej empl o, l os si gnos par a cuant i f i cador es t uvi er on que
esper ar por su expl ci t a i r r upci n hast a el si gl o XIX a t r avs de l as obr as de al gunos
not abl es l gi cos, como Fr ege
27
.
Por ot r o l ado, Pascal no l e t eme al i nf i ni t o y l o i ncor por a en l a secuenci a apel ada en
el segundo de l os l emas, v.gr . en l a demost r aci n de l a Consecuenci a 12 pues lo es en la
segunda por el primer lema; as pues por el segundo lo es en la tercera base, as pues en la cuarta, y
al infinito . M s an, el r esul t ado de l a abst r acci n que desembocar a en l a noci n de
pr opi edad, se r evel a como al canzabl e al f i nal del Lema 2 par a l a Pr oposi ci n I : di go que
el t r i ngul o si gui ent e t endr l a mi sma pr opi edad . Por ot r o l ado, l a cuant i f i caci n sobr e
pr opi edades de ant emano pudi er a pensar se aj ena al mar co l gi co-mat emt i co del Tr ai t ,
si nos at uvi r amos ot r a vez al hecho de que l os si st emas l gi cos de or den super i or
emer gi er on un par de si gl os despus de su poca de publ i caci n
28
. No obst ant e, l a

27
Por ejempl o en su Concept ogr af a (1879), Fr ege br i nda el sigui ent e simbol i smo par a l a cuant i f icaci n
uni ver sal , l a cual act ual ment e se i nt er pr et ar a como t odo u cumpl e :

Ahor a bi en, en def ensa de Pascal y en honor a Fr ege, debemos dest acar el br i nco concept ual que signif ic
l a i nt r oducci n de cuant if icador es, pues impul s el cambi o de l a vi ej a l gi ca de suj et o-pr edi cado por l a
nueva l gi ca de pr edicados. Es deci r , el empl eo de cuant i f i cador es incr ement el poder de r epr esent aci n
de l os si st emas l gicos, or ient ando su desar r ol l o haci a l as mat emt icas al ej ndol o as de su f i losf i co or i gen
ar i st ot li co.
28
De nuevo podemos cit ar a l a Concept ograf a, par a most r ar a l os pr imer os simbol i smos par a una
cuant i f i caci n de or den super i or , por ejempl o Fr ege al l ut i liza cuant if i caci n de segundo or den par a def i ni r
a l a r el aci n x pr ecede a y r espect o a l a ser i e f , denot ada medi ant e , cuant if i cando
uni ver salment e sobr e t odas l as pr opiedades her edi t ar i as , r epr esent adas medi ant e , del
si gui ent e modo simbli co:
45

cuant i f i caci n sobr e pr opi edades aunque no se mani f i est e expl ci t ament e en el t r at ado, s
se sugi er e ost ensi vament e medi ant e l a acumul aci n de i nst anci as. En l a demost r aci n de
l a Consecuenci a Duodci ma l a pr opi edad se mat er i al i za como una pr opor ci n mi ent r as
que en l a de l a Pr oposi ci n Pr i mer a par a l as combi naci ones como una i gual dad . As
ent onces, l a cuant i f i caci n sobr e pr opi edades est ar a i nsi nuada a t r avs de l a r ecopi l aci n
de l as pr opi edades par t i cul ar es.
En suma, nuest r a car act er i zaci n pr opuest a de una r egl a de i nducci n mat emt i ca
en su ver si n dada por Pascal , r espet a al mar co l gi co-mat emt i co del Tr ai t , en el cual
pr edomi na el uso de i nst anci as par a most r ar l o uni ver sal . Es deci r , cada par t i cul ar i zaci n
de l as par ej as de l emas no sl o i ndi ca cmo ha de r eal i zar se su r espect i va demost r aci n ,
si no t ambi n seal a cmo pueden j ust i f i car se pr opi edades de cual qui er col ecci n
or denada de cosas a t r avs del est abl eci mi ent o de l a ver si n gener al de esa par ej a de
l emas. En conci so, cada i nst anci a del par de l emas expr esan un mt odo de pr ueba, de l a
mi sma maner a en que l as demost r aci ones r eal i zadas sobr e i nst anci as t pi cas de l a
geomet r a cl si ca, muest r an su val i dez. Par a r ef or zar est o l t i mo a cont i nuaci n
expondr emos con mayor ampl i t ud est e modo de r azonami ent o de l o par t i cul ar haci a l o
gener al , empezando por most r ar l o en su mxi mo exponent e, Eucl i des, par a l uego r et omar
cmo Pascal l o empl ea par a segui r a l a r egl a de i nducci n mat emt i ca pr evi a y
conci sament e expr esada.

(Fr ege, 1972: 43)
donde es her edi t ar i a r espect o a l a ser i e f , si par a t odo o y u , se t iene que (o) y f (o,u) impl i ca (u).
Cabe menci onar que las pr opi edades her edi t ar i as son aquel las pr opi ci as par a ser pr obadas por i nducci n
mat emt ica, t al como l o seal Fr ege al decir que sobr e ell as descansa l a i nducci n ber noull i ana (p. 45).
M s an, a par t i r de l a r el aci n de pr ecedenci a l i ndic una maner a de desar r ol l ar a l os nmer os
nat ur ales, t ema que ser di scut ido en el Capt ul o 3 cuando se exponga el uso de la i nducci n mat emt ica
par a l a conf or maci n de algunas t eor as ar i t mt icas. Dado que Fr ege no es un aut or pr imar i o de nuest r a
i nvest igaci n, su not abl e desar r ol l o l gico de l a ar i t mt i ca f ue ir r espet uosament e compact ado en l a not a
(53) del Capt ulo 3.

46

La Pr oposi ci n 1 del Li br o I de l os El ement os, cuya f ama se debe en gr an par t e a su
ubi caci n, pl ant ea l a t ar ea de const r ui r un t r i ngul o equi l t er o sobr e cualquier segment o de
r ect a dado. M i ent r as que Eucl i des muest r a cmo r esol ver est e pr obl ema, a t r avs de l a
i nst anci a AB de un segment o de r ect a, l a cual par a f aci l i t ar el segui mi ent o de l a
sol uci n, se acost umbr a r epr esent ar como _______ . Luego por el Post ul ado 3, se
const r uyen un par de cr cul os, et i quet ados medi ant e BCD y ACE , con el mi smo r adi o
AB, per o cuyos cent r os r espect i vos son el punt o B y el punt o A. Por l o que el t er cer vr t i ce
del t r i ngul o equi l t er o cuya const r ucci n se pi de, es cual qui er a de l os punt os de
i nt er secci n de l as ci r cunf er enci as BCD y ACE t al como se muest r a en el si gui ent e
di agr ama:
Di ag.4
Post er i or ment e Eucl i des acude a l a Def i ni ci n 15 sobr e l os cr cul os
29
, par a deduci r
que AB=AC y que BC=BA con el f i n de apel ar a l a t r ansi t i vi dad de l a i gual dad est i pul ada en
l a Noci n Comn Pr i mer a, par a i nf er i r que AC=AB y as concl ui r que el t r i ngul o ABC es
equi l t er o. De est a maner a se puede consi der ar r esuel t o el pr obl ema, par a cual qui er
segment o de r ect a dado.
Ahor a bi en, j ust i f i car a l a gener al i dad de l a const r ucci n del t r i ngul o equi l t er o
i ndi cada par a l a i nst anci a de r ect a AB, ha si do una cuest i n que ha mant eni do ocupados
por var i os si gl os a f i l sof os, mat emt i cos y dems i nt er esados en est e t ema. Si t al i nt er s
se ha conser vado i nt act o, es por que por mucho t i empo el pr oceder de l o par t i cul ar haci a

29
15. Un crculo es una figura plana comprendida por una sola lnea de tal modo que todas las lneas rectas
que caen sobre ella desde un punto de los que estn dentro de la figura son iguales entre s.
16. Y ese punto se llama el centro del crculo.(Euclides versin Heath 1908 Vol.1 : 183)
47

l o gener al r epr esent ado por l a sol uci n de l a Pr oposi ci n I.1, f ue consi der ado un
par adi gma deduct i vo en l as mat emt i cas
30
. Bast a con r ecor dar que l as demost r aci ones
aqu expuest as de Vi t e-Ander son (s. XVI) y de Pascal (s. XVII), t odava r ecur r en a
i nst anci as par a est abl ecer sus r esul t ados uni ver sal es. Y aunque el uso de l as i nst anci as es
t pi co de l a geomet r a, pues en esa r ea ha r esul t ado muy pr ovechoso gr aci as a su
r epr esent aci n y mani pul aci n di agr amt i ca, t ampoco es excl usi vo de esa di sci pl i na.
Por ej empl o, l a cl ebr e Pr oposi ci n 20 del Li br o I X de l os El ement os asever a que hay
ms nmer os pr i mos que cual qui er mul t i t ud asi gnada de el l os (ahor a l a expr esar amos
af i r mando que el conj unt o de nmer os pr i mos es i nf i ni t o). M i ent r as que par a su
demost r aci n, Eucl i des par t i cul ar i za a cual qui er mul t i t ud de pr i mos en aquel l a
conf or mada por t r es nmer os pr i mos denot ados medi ant e l as et i quet as A , B y C .
Luego si EF desi gna al nmer o obt eni do de sumar l e una uni dad (et i quet ada medi ant e
DF ) al mni mo comn ml t i pl o de A, B y C (denot ado medi ant e ED ), ent onces
t endr emos que EF es pr i mo o que exi st e un pr i mo G a A,B y C que mi de (di vi de) a EF
debi do a l a Pr oposi ci n 31 del Li br o VII
31
. Adems, G es di st i nt o a A, B y C pues de l o
cont r ar i o si f uer a i gual a al guno de el l os, ent onces medi r a (di vi di r a) t ant o a ED como a
EF y por consi gui ent e, medi r a a l a uni dad DF, l o cual es un absur do. As ent onces, hay ms
nmer os pr i mos que l a mul t i t ud i nt egr ada por A,B y C. Por l o t ant o podemos concl ui r que
hay ms nmer os pr i mos que cual qui er mul t i t ud asi gnada de el l os.
En ambos r azonami ent os expuest os, el de l a sol uci n de I.1 y el de l a demost r aci n
de IX.20, l as i nst anci as son el mat er i al const r uct i vo-deduct i vo par a sat i sf acer
uni ver sal ment e a sus r espect i vos pr obl ema y t eor ema. M i ent r as que el vncul o de l o
par t i cul ar haci a l o gener al en el l os, f r ecuent ement e se ha expl i cado a t r avs de l a
car enci a de pr opi edades posedas por l as i nst anci as que puedan di f er enci ar l as del r est o de

30
En pal abr as del est udi oso de l a obr a eucli di ana Ian M uell er :
Por ms de dos mil aos desde que se escribieron, los Elementos de Euclides fueron vistos como el
paradigma del razonamiento matemtico riguroso. Slo hasta que se asentaron los fundamentos del
moderno mtodo axiomtico a finales del siglo XIX, esta obra perdi su preeminencia al respecto. En
este tiempo la gente matemticamente sofisticada empez a hablar con cierto aire condescendiente
sobre el carcter intuitivo del razonamiento matemtico de los griegos. (Mueller, 1969:289)
31
Proposicin 31. Cualquier nmero compuesto es medido por algn nmero primo. (Euclides va Heath,
1908 vol. 2: 332).
48

l os mi embr os de su cl ase (v.gr . l a i nt egr ada por l os segment os de r ect a o l a conf or mada
por mul t i t udes de nmer os pr i mos). Si n embar go est a expl i caci n t ambi n con
r egul ar i dad ha conduci do a ci er t as di scusi ones sobr e el modo de r epr esent aci n de l as
i nst anci as, concent r ndose en sus r epr esent ant es di agr amt i cos, que a pesar de su
r i queza f i l osf i ca pueden desvi ar l a at enci n sobr e cmo se r eal i za l a conexi n ent r e l o
par t i cul ar y l o gener al en est a cl ase de r azonami ent os. No i m por t a t ant o que _______
en cont r aposi ci n de AB r epr esent e a un segment o de r ect a por t ener semej anzas
est r uct ur al es con l , ni t ampoco de que A denot e a un nmer o pr i mo aunque no sea su
vi va i magen. La pr opensi n a l a gener al i dad de l as i nst anci as no se mani f i est a en l a f al t a
de si ngul ar i dad de sus r epr esent ant es ( _______ , A ,...) e i ncl uso t ampoco en l a de sus
obj et os r epr esent ados (segment o, nmer o pr i mo,...) aunque se pr esuponga, si no en el
r econoci mi ent o de l a apl i cabi l i dad del pl ano de l a sol uci n o de l a demost r aci n par a
cual esqui er a ot r as i nst anci as per t i nent es a ese bosquej o. Es deci r , l a uni ver sal i dad de l os
r esul t ados se basa en que el r azonami ent o desar r ol l ado par a l as i nst anci as, sea
r epet i bl e
32
.

32
Est a maner a de expl i car l a gener al i dad se puede ahondar en M uel ler (1969) o ms r eci ent ement e en Net z
(1999). Por ej empl o, est e l t imo i ndica que :
La misma demostracin puede ser repetida para cualquier objeto siempre que sea la misma ekthesis
[C(a)] la que se aplica a ese objeto. Y luego, lo repetible de la demostracin de P(a) bajo la asuncin
de C(a) muestra la generalidad de C(x)P(x). (Netz, 1999: 256-7)
M i ent r as que M uell er ya desde 1969 af i r maba que:
...[se pueden] distinguir dos maneras para interpretar oraciones generales como Todos los tringulos
issceles tienen los ngulos de su base iguales. Bajo una de estas interpretaciones, esta oracin
refiere (presupone) a una totalidad definida que es, la clase de todos los tringulos issceles y dice
algo sobre cada uno de ellos. Bajo la otra interpretacin no se presupone esta totalidad definida, y la
oracin tiene un carcter mucho ms condicional -Si un tringulo es issceles, entonces sus dos
ngulos en la base son iguales.
En las matemticas modernas, la primera manera para interpretar a las generalizaciones es la
costumbre. La razn es que, en lo que respecta a un sistema de objetos, es natural y apropiado tratar a
una generalizacin como una aseveracin sobre todos los objetos del sistema... La segunda
interpretacin de las generalizaciones ...es...ms adecuada para las matemticas dentro de las cuales
los sistemas de objetos no figuran. Dentro de ellas una demostracin...puede ser vista como la
indicacin de un procedimiento para verificar que una aseveracin dada se sostiene para cualquier
caso particular que se presente. Desde esta perspectiva, la demostracin de un teorema es muy
parecida a la demostracin de un problema que brinda un mtodo de construccin aplicable para
cualquier caso. Una razn para interpretar a las generalizaciones euclidianas de la segunda manera es
el hecho de que la mayora de los teoremas en los Elementos se formulan como oraciones
condicionales... (Mueller, 1969: 299-300)
49

De est e modo, l a val i dez de l a sol uci n de l a Pr oposi ci n I.1 se debe a que el
mt odo de const r ucci n enseado par a AB, es ej ecut abl e par a cual qui er segment o de
r ect a; mi ent r as que l a val i dez de l a demost r aci n de l a Pr oposi ci n IX.20, r adi ca en que l a
mayor cant i dad de pr i mos con r espect o a cual qui er mul t i t ud de el l os, puede est abl ecer se
de l a maner a most r ada par a l a mul t i t ud f or mada por l os pr i mos A,B y C. Es deci r , ambos
r azonami ent os sobr e i nst anci as r espal dan o r esponden a su pr oposi ci n o pr obl ema
gener al , pues l as dos ensean cmo apl i car se a cual qui er i nst anci a per t i nent e. Y l o
mi smo puede deci r se de l as demost r aci ones expuest as de Vi t e-Ander son y de Pascal , t al
como ser post er i or ment e r emar cado par a al gunas demost r aci ones de est e l t i mo que
si guen l a r egl a de i nducci n mat emt i ca con ant el aci n f or mul ada. Por l o que l a mor al ej a
j ust i f i cat i va apr endi da de l os El ement os de Eucl i des par ece ser que cada i ndi vi duo es un
mundo si empr e y cuando su pasapor t e const r uct i vo-deduct i vo sea mundi al .
Es ms, l os medi os de r epr esent aci n ut i l i zados no sl o por Eucl i des si no t ambi n
por Ander son-Vi t e y por Pascal , est n si nt oni zados con en est e modo de r azonami ent o
pues sus r epr esent ant es (sean di agr amt i cos o si mbl i cos) desi gnan (si n i mpor t ar l a
maner a en que l o hagan) a un obj et o en par t i cul ar . Por ej empl o, en Eucl i des t enemos que
AB y _______ r ef i er en a det er mi nado segment o de r ect a mi ent r as que A , B y C a
t r es pr i mos dados; en Vi t e-Ander son ACB , ADB y AEB desi gnan a t r es t r i ngul os
r ect ngul os i nscr i t os en una semi ci r cunf er enci a cuyo di met r o es l a hi pot enusa de t odos
el l os (Di ag.1); en Pascal G , y o denot an a ci er t as cl ul as mi ent r as que o nombr a
a l a segunda base y D a l a cuar t a (Di ag.3). Incl uso se puede conj et ur ar con el apoyo de
l as demost r aci ones de l a Pr oposi ci n IX.20 hecha por Eucl i des y de aquel l as basadas en el
par de l emas el abor adas por Pascal , que l os medi os de r epr esent aci n di r i gi dos haci a al go
en par t i cul ar , i .e. aquel l os i nt egr ados por et i quet as, nombr es , r et r at os di agr amt i cos,...,
f oment an e i ncl uso obl i gan, al uso de est e modo de r azonami ent o. Pues en t odas est as
demost r aci ones, se l l ega a vi sl umbr ar o se ve con t oda cl ar i dad l a ej ecuci n de ot r o t i po
de r azonami ent o, el de l a i nducci n mat emt i ca, per o debi do a l os medi os de
r epr esent aci n empl eados por Eucl i des y por Pascal par a el abor ar a sus demost r aci ones,
est e ot r o t i po se subor di na al modo anal i zado de l a gener al i zaci n uni ver sal .
50

Por ej empl o l a demost r aci n de Pr oposi ci n IX.20 al escr i bi r se en not aci n moder na
empi eza a l i br ar se del yugo deduct i vo de l a gener al i zaci n sobr e i nst anci as. Pues par a
r epr esent ar a cual qui er mul t i t ud de nmer os pr i mos, ahor a podemos ut i l i zar a l a var i abl e
n par a expr esar a cual qui er nmer o nat ur al (con n>1) y as denot ar medi ant e l a
not aci n conj unt i st a P={p
1
,...,p
n
} a cual qui er conj unt o f i ni t o (con | P| >1) de nmer os
pr i mos. Despus sl o debemos t r aduci r l a ar gument aci n eucl i di ana a nuest r o l enguaj e
si mbl i co par a est abl ecer desde el pr i nci pi o con uni ver sal i dad, que hay ms nmer os
pr i mos que l os agr upabl es en cual qui er conj unt o f i ni t o de el l os t al como a cont i nuaci n
ser hecho.
Sea m el mni mo comn ml t i pl o de t odos l os nmer os pr i mos per t eneci ent es a P
(m= p
1
p
2
...p
n
). Luego debe cumpl i r se que m+1 sea pr i mo o que no l o sea. Si m+1 es pr i mo
ent onces al menos hay un nmer o pr i mo adems de l os per t eneci ent es a P, a saber el
mi smo m+1; si m+1 no es pr i mo ent onces exi st e un pr i mo p* t al que p* | m+1 (VII.31) y
p* eP (si p* eP se ar r i ba al absur do p* | 1). Por l o t ant o, exi st e ot r o nmer o pr i mo (m+1 o
p* ) apar t e de l os per t eneci ent es a P y en consecuenci a, hay ms nmer os pr i mos que l os
compr endi dos por cual qui er conj unt o f i ni t o de el l os.
Cabe r ecal car que el uso de var i abl es par a pr esci ndi r de i nst anci as en nuest r a
t r aducci n de l a demost r aci n de IX.20, sl o hace ms evi dent e a l a gener al i dad al canzada
por su demost r aci n pr i mi geni a. Es deci r , aunque qui zs l a pr i mer a por su moder na
apar i enci a a nosot r os nos r esul t e ms convi ncent e que l a segunda, su sol i dez j ust i f i cat i va
es l a mi sma. Pues l o que nos per mi t e nuest r a not aci n con var i abl es es expr esar al pl ano
de pr ueba or i gi nal ment e most r ado sobr e i nst anci as. Y l o mi smo puede deci r se de t odas
nuest r as t r aducci ones de l as demost r aci ones del Tr ai t , pues en el l as no modi f i camos si
no sl o r epr esent amos a sus pl anos de pr ueba con asi st enci a de l as var i abl es i ndexadas
c
i j
. Por l o que si quer emos aument ar l a f uer za j ust i f i cat i va de l a demost r aci n de IX.20,
ent onces no bast a con el abor ar una t r anscr i pci n de el l a en not aci n moder na, si no se
debe somet er a una r est r uct ur aci n deduct i va usando ot r o modo de r azonami ent o.
En par t i cul ar , podr amos r ecur r i r a ot r a cl ase de ar gument aci n par a asegur ar que el
nmer o n usado par a desi gnar a cual qui er conj unt o f i ni t o de pr i mos, en r eal i dad s sea
51

cual qui er nmer o nat ur al . Par a hacer l o podr amos apl i car el r azonami ent o enseado po r
Pascal en sus par es de l emas. Si n embar go l a sust ent aci n de est e mayor gr ado de apoyo,
como ya haba si do desde ant es anunci ado, se post er gar hast a l a adopci n de un
enf oque axi omt i co que ser r eal i zada en l os dos capt ul os si gui ent es
33
. Por el moment o
sl o hemos de r eaf i r mar que ese ot r o modo de r azonami ent o, el de l a i nducci n
mat emt i ca, debi do a l os medi os de expr esi n empl eados por Pascal no puede pr esci ndi r
del cami no deduct i vo-const r uct i vo aqu anal i zado en Eucl i des, va que par t e de l o
par t i cul ar par a i nt ent ar al canzar l o uni ver sal .
En suma, el modo de r azonami ent o sobr e i nst anci as cuya met a es el est abl eci mi ent o
de r esul t ados uni ver sal es, se ar t i cul a f avor abl ement e a t r avs de medi os de
r epr esent aci n enf ocados haci a l o par t i cul ar (et i quet as, r et r at os di agr amt i cas,...) y est
cor r ect ament e sust ent ado cuando sus pr ocedi mi ent os const r uct i vo-deduct i vos most r ados
par a al gunas i nst anci as, son r epet i bl es par a cual esqui er a ot r as per t i nent es. Y t odo l o
ant er i or ment e r esumi do, ayuda a asent ar a l a expr esi n de l a r egl a de demost r aci n
pl asmada en cada f or mul aci n hecha por Pascal de su par ej a de l emas. Pues esos par es de
l emas i ndi can un mt odo par a demost r ar pr opi edades par a cual qui er col ecci n de
obj et os, en l a cual se pueda di st i ngui r a un pr i mer el ement o y al que l e si gue
i nmedi at ament e a cada uno de el l os.
Es ms, r espet ando a l os r ecur sos l gi co -mat emt i co del Tr ai t , hemos conf i r mado
l a enseanza de un mt odo de pr ueba pr oveni ent e de esos par es de l emas, al f or mul ar l o

33
Lo cual no nos impi de de una vez r epl ant ear l a demost r aci n de IX.20 con l a r egl a apr endi da de Pascal :
Lema 1: Si P={p
1
} ent onces exi st e ot r o nmer o pr imo adems de p
1
, ya sea p
1
+1 si p
1
+1 es compuest o, el
p* que por VII.31 di vi da a p
1
+1y por consi gui ent e sea di st i nt o a p
1
.
Lema 2: Supongamos que hay ms nmer os pr imos que l os cont enidos por cual qui er conj unt o f i ni t o de el los
con k element os. Sea P cual qui er conj unt o conf or mado por k+1 nmer os pr imos, i .e. P={ p
1,
p
2
,...,p
k
,p
k+1
}.
Consi der emos ahor a al subconj unt o P* de P i nt egr ado por sus pr imer os k el ement os, i.e. P* = { p
1,
p
2
,...,p
k
}.
Luego por hi pt esi s exi st e un nmer o pr imo p* di st i nt o a l os cont eni dos en P* . Si p* = p
k+1
ent onces exi st e
ot r o nmer o pr imo adems de l os per t enecient es a P. M ient r as que si p* = p
k+1
, ent onces consider emos al
mni mo comn ml t i pl o m de t odos l os pr imos en P (m=p
1
p
2
... p
k
p
k+1
). Si m+1 es pr imo ent onces exi st e ot r o
nmer o pr imo a par t e de l os enumer ados en P, si m+1 es compuest o ent onces por VII.31 exi st e un nmer o
pr imo p* * que di vi de a m+1. Per o p* * no puede ser i gual a cual qui er a de l os pr i mos p
i
en P pues de l o
cont r ar i o, p* * di vi dir a a 1 l o cual es un absur do (si a| b y a| b+c ent onces a| c pues b=ma, b+c=qa y por
consi gui ent e, c=(q-m)a).
Por l o t ant o, par a cual qui er conj unt o f ini t o P de nmer os pr imos, i.e. | P| =n, exi st e ot r o nmer o pr imo no
cont enido en l .
52

apr endi do en una r egl a, l l amada i nducci n mat emt i ca de Pascal , a pesar de l as
r est r i cci ones l i ngst i co-epi st mi cas que no per mi t en ent r e ot r as cosas, enunci ar de
maner a conci sa l a cuant i f i caci n sobr e pr opi edades. En concl usi n, en el Tr at ado del
Tr i ngul o Ar i t mt i co es donde por pr i mer a vez se encuent r a, al menos de acuer do a
nuest r os act ual es r egi st r os hi st r i cos, l a expr esi n de una r egl a de i nducci n mat emt i ca.
Por l o que par a t er mi nar est e capt ul o, con t odo der echo ahor a s podr emos cuest i onar
cmo es que al gunas de sus demost r aci ones l a si guen. Dado que se t r at a de una r egl a
deduct i va, est a pr egunt a se concent r ar sobr e l a val i dez de su segui mi ent o. Es deci r ,
ahor a expl i car emos cmo es que l as demost r aci ones r eal i zadas de acuer do a est a r egl a,
r espal dan a sus pasos segui dos, i ncl uso cuando el cont ext o l gi co-mat emt i co en el cual
est n i nmer sas, t odava est baj o el domi ni o del l a gener al i zaci n uni ver sal sobr e
i nst anci as.
Ret omemos a l a demost r aci n de l a Consecuenci a Qui nt a, l a cual empi eza
est abl eci endo l a i gual dad de l os nmer os par a l as cl ul as r ecpr ocas en l a pr i mer a base en
donde se ubi can un par de el l as, a r ecor dar l a segunda denot ada medi ant e o. Por l o
que est e paso se da en conf or mi dad con el Lema 1 de l a r egl a de Pascal par a l a i nducci n
mat emt i ca dbi l , ya que f i nca una pr opi edad par a el pr i mer el ement o de una col ecci n
de el l os, i .e. l a i gual dad par a l as cl ul as r ecpr ocas de l a pr i mer a base en donde pueden
ser hal l adas. M i ent r as que est e paso est asegurado por el pr i mer pr i nci pi o const r uct or ,
pues l os nmer os en l as cl ul as del pr i mer r ango per pendi cul ar , al cual per t enece , y en
l as cl ul as del pr i mer r ango per pendi cul ar , al cual per t enece o, son t odos i gual es al
gener ador .
Luego l a demost r aci n de l a Consecuenci a Qui nt a pr osi gue j ust i f i cando que si l os
nmer os en l as cl ul as r ecpr ocas de l a t er cer a base At son i gual es, ent onces t amb i n l o
ser n l os de l as cl ul as r ecpr ocas en l a base si gui ent e D. Por l o que est e paso si gue al
Lema 2 de l a r egl a de Pascal par a l a i nducci n mat emt i ca dbi l , pues medi ant e i nst anci as
se ensea cmo demost r ar que si l a i gual dad ent r e l os nmer os de l as cl ul as r ecpr ocas
se pr esent a en una base cual qui er a (en par t i cul ar At) , ent onces t ambi n debe hacer l o en
l a si gui ent e (en par t i cul ar D) . M i ent r as que el mt odo most r ado por Pascal par a deduci r
53

al Lema 2, se apoya sobr e l os dos pr i nci pi os const r uct or es con l a asi st enci a de l a hi pt esi s
sobr e el cumpl i mi ent o de l a pr opi edad par a l a base pr evi a. El pr i mer o de l os pr i nci pi os
est abl ece l a i gual dad de l os nmer os de l as cl ul as r ecpr ocas en l os ext r emos de l a base
si gui ent e (en par t i cul ar D=); mi ent r as que el segundo al i mpor t ar l a hi pt esi s sobr e l a
sat i sf acci n de l a i gual dad par a l a base ant er i or , si r ve par a hacer l o con l os nmer os en l as
cl ul as i nt er medi as (en par t i cul ar B=u) de l a base si gui ent e (en par t i cul ar B=A+, u=+t
por el segundo principio mientras que A=t por hiptesis, de donde se infiere que B= A+=+t=u).
Por l o t ant o, l a demost r aci n de l a Consecuenci a Qui nt a si gue a l a r egl a de i nducci n
mat emt i ca dbi l de Pascal y l o hace vl i dament e ya que el mt odo most r ado por el l a, en
especi al el exhi bi do par a el Lema 2, es r epet i bl e gr aci as l os dos pr i nci pi os const r uct or es
del t r i ngul o ar i t mt i co.
Por ot r o l ado, l a ver i f i caci n del segui mi ent o de l a i nducci n mat emt i ca de Pascal
por par t e de l as demost r aci ones de l a Consecuenci a Duodci ma y de l a Pr oposi ci n 1
par a l as combi naci ones, r esul t a ms evi dent e pues el l as se el abor an expl ci t ament e
conf or me a l as i nst anci as del par de l emas que const i t uyen a esa r egl a deduct i va. Si n
embar go cabe r emar car que l a val i dez de su segui mi ent o, r ecae de nuevo en l os pr i nci pi os
const r uct or es del t r i ngul o ar i t mt i co. En pr i mer l ugar , t ant o el Lema 1 par a l a
Consecuenci a 12 ( es a o como 1 a 1) como el Lema 1 par a l a Pr oposi ci n 1 ( en el
primer tringulo, la suma de las clulas de su nico rango, a saber G...iguala a la suma de las
combinaciones de 1 en 1), se sust ent an mani f i est ament e en el pr i mer pr i nci pi o const r uct or
del t r i ngul o ar i t mt i co.
En segundo l ugar , el Lema 2 par a l a Consecuenci a 12 cuyo mt odo de j ust i f i caci n
se ensea en el est abl eci mi ent o de que E es a C como 2 a 3 , se apunt al a en el segundo
pr i nci pi o const r uct or . Par a cor r obor ar l o r esul t a ms senci l l o r evi sar nuest r a f or mul aci n
con var i abl es i ndexadas c
i j
del pl an de pr ueba apr endi do de l as i nst anci as, pues en el l a
hacemos menci n de ese pr i nci pi o cada vez que se ut i l i za par a r espal dar al guna
i nf er enci a de maner a sol i t ar i a (v.gr . c
i j
= c
i (j -1)
+

c
(i -1)j
) o con l a asi st enci a de l a hi pt esi s
i mpor t ada sobr e el cumpl i mi ent o de l a i gual dad ent r e r azones par a l as cl ul as adyacent es
en l a base ant er i or (v.gr . c
i j
/ c
(i -1)j
=(c
i (j -1)
+c
(i -1)j
)/ c
(i -1)j
=(j -1)/ (i -1)+1=(j +i -2)/ (i -1)). Aunque si se
54

desea mayor met i cul osi dad, t ambi n puede ver i f i car se el papel ci ment ador del segundo
pr i nci pi o en l a demost r aci n or i gi nal , por ej empl o en l as der i vaci ones cor r espondi ent es a
l as ci t adas de nuest r a t r aducci n ( D+B = E y E a B como 4 a 3 ). Por consi gui ent e, una
vez descar gada l a hi pt esi s del cumpl i mi ent o de l a Consecuenci a 12 par a l a base pr evi a,
es el segundo pr i nci pi o qui en queda como ni co apoyo del Lema 2. En consecuenci a, el
segundo pr i nci pi o const r uct or del t r i ngul o ar i t mt i co es el r esponsabl e de que el mt odo
de j ust i f i caci n exhi bi do por Pascal par a l as i nst anci as de cual qui er base D, de su
sucesor a H y de cual esqui er a cl ul as r ecpr ocas E, C en su sucesor a, sea apl i cabl e
par a cual esqui er a ot r as i nst anci as per t i nent es y por ende, es l qui en gar ant i za l a val i dez
del segui mi ent o de est e paso de l a r egl a de i nducci n mat emt i ca.
Anl ogament e, se puede i dent i f i car en l a demost r aci n medi ant e i nst anci as
despl egada en el Tr ai t del Lema 2 par a l a Pr oposi ci n 1 sobr e combi naci ones, al
segundo pr i nci pi o const r uct or como uno de l os r esponsabl es de que sea r epet i bl e el
mt odo al l mani f est ado. Si n embar go t al como se menci on en nuest r a moder na
t r aducci n de el l a, t ambi n par t i ci pan en l a sust ent aci n del Lema 2 l a Consecuenci a
Segunda del t r i ngul o ar i t mt i co y el Lema IV de l as combi naci ones. Y si b i en con
ant el aci n ya f ue expuest o que l a Consecuenci a Segunda se basa en l os dos pr i nci pi os
const r uct or es, el Lema IV, a r ecor dar C
I+1
m+1
= C
I
m
+ C
I+1
m
con l +1sm, es j ust i f i cado por
Pascal medi ant e un ar gument o sobr e i nst anci as cuya t endenci a haci a l o uni ver sal , pudi er a
at r i bui r se a l a noci n mi sma de combi naci n
34
. Por l o que en est e caso, son l os dos

34
Su ar gument o pr ocede de l a si gui ent e maner a. Supongamos que t enemos una colecci n de cuat r o let r as
cual esqui er a: {A, B,C ,D}. De est e modo el Lema IV nos pi de demost r ar que el nmer o de combi naci ones de
una l et r a t omadas de una col ecci n de t r es ms el nmer o de combi naci ones de dos l et r as t omadas de un
gr upo de t r es es i gual al nmer o de combinaci ones de dos l et r as t omadas deuna col ecci n de cuat r o. Por
ot r o l ado, el nmer o de combi naci ones de dos l et r as t omadas de un gr upo de cuat r o l et r as es i gual a sei s,
pues podemos cont ar l as con ayuda de nuest r as i nst anci as: {A,B}, {A,C} , {A,D}, {B,C} , {B,D} y {C,D}. Ahor a bien,
di vi damos en dos gr upos a nuest r as combi naci ones de dos l et r as t omadas de un gr upo de cuat r o con base
en si apar ece o no en el l as det er mi nada l et r a, v.gr . l a A. As ent onces, por un l ado t endr amos a {A,B}, {A,C} ,
{A,D} y por el ot r o a {B,C} , {B,D} , {C,D}. Por l o que l as combi naci ones donde no apar ece esa det er mi nada
l et r a (A), equi val dr an a l as combi naci ones de dos l et r as ({B,C}, {B,D}, { C,D}) t omadas de una colecci n de
t r es l et r as ( {B,C,D} ). M i ent r as l as combi naci ones en l as cual es s apar ece esa det er mi nada let r a (A), al
f i j ar nos en l as ot r as t r es l et r as que l a acompaan en el l as (B,C,D), se pueden poner en cor r espondenci a con
l as combi naci ones de una l et r a ({B},{C} ,{D}) t omadas de un gr upo de t r es ({B,C ,D}). Por consi gui ent e, el
nmer o de combi naci ones de dos en t r es ms el numer o de combinaci ones de uno en t r es, es i gual al
nmer o de combi naci ones de dos en cuat r o. En concl usi n, el nmer o de combi naci ones de k en n-1 ms el
55

pr i nci pi os const r uct or es y pr i ma f aci e el Lema I V, qui enes asegur an l o r epet i bl e de l a
demost r aci n or i gi nal del Lema 2 par a l a Pr oposi ci n 1 y por consi gui ent e, el l os ot or gan
l a val i dez al segui mi ent o de est e paso.
En suma, l as demost r aci ones de l a Consecuenci a 5 , 12 y de l a Pr oposi ci n 1 par a
combi naci ones, si guen a l a r egl a de i nducci n mat emt i ca de Pascal . M s i mpor t ant e an,
l a si guen vl i dament e gr aci as al par de pr i nci pi os const r uct or es del t r i ngul o ar i t mt i co,
es deci r est abl ecen al par de l emas i ndi cados por l a r egl a sust ent ndose sobr e el l os.
Sobr e t odo son l os pasos dados par a af i r mar a l os segundos l emas, l os que se apoyan con
mayor peso en l os dos pr i nci pi os, pues el l os l es si r ven par a asegur ar que sean r epet i bl es
sus mt odos de j ust i f i caci n most r ados sobr e al gunas i nst anci as. Si n embar go, hast a el
moment o sl o hemos def endi do el segui mi ent o vl i do de l a r egl a por par t e de est as t r es
demost r aci ones, mas no l a val i dez mi sma de l a r egl a. Es deci r , t odava no hemos seal ado
sobr e qu se af i anzan l as concl usi ones i nf er i das a t r avs del apunt al ami ent o del par de
l emas enunci ados en l a r egl a de i nducci n mat emt i ca dbi l de Pascal . Aunque debi do al
papel f undament al ya r evel ado del par de pr i nci pi os const r uct or es par a sost ener a l as
par ej as de l emas, podemos sospechar que el l os t ambi n par t i ci pan act i vament e en l a
ci ment aci n de l as concl usi ones obt eni das medi ant e l a r egl a deduct i va capt or a de nuest r a
at enci n. Y est a sospecha hemos de conf i r mar l a en el pr xi mo capt ul o cuando
anal i cemos al Tr ai t desde una per spect i va axi omt i ca.
Par a t er mi nar est e capt ul o convi ene hacer una not a acl ar at or i a pr evi a a su snt esi s
f i nal . Si se ha cal i f i cado a l a r egl a de i nducci n mat emt i ca de Pascal como dbi l , es
por que se puede poner en cor r espondenci a con nuest r o mt odo de i nducci n mat emt i ca

nmer o de combi naci ones de k-1 en n-1, es i gual al nmer o de combi naci ones de k en n. La demost r aci n
or i gi nal puede r evi sar se en l a pgi na 112 de Pascal (1665 va 1967), mi ent r as que l o r epet i bl e de est e
mt odo enseado, puede at r ibuir se a nuest r a compr ensi n mi sma de l o que es una combi naci n, l a cual es
asi st i da por l as r epr esent aci ones medi ant e let r as (A,B,C,D) pl ant eadas por Pascal. Cabe menci onar que est e
ent endimi ent o en el Tr ai t t ambi n se hace ms r i gur oso, pues al l se menci onan al gunas pr opi edades de l as
combi naci ones deduct i vament e r el evant es, v.gr . l a combi naci n {A} es l a mi sma que {A,A} y l a combi naci n
{B,A} es l a mi sma que {A,B}.

56

act ual ment e as l l amado
35
. Ahor a al Lema 1 se l e acost umbr a nombr ar Caso Base,
mi ent r as que al Lema 2 usual ment e l o conocemos como Paso Induct i vo. M i ent r as que l a
i nducci n mat emt i ca dbi l hoy en da l a podemos f or mul ar de l a si gui ent e maner a:
Sea X un conj unt o bi en or denado. Si quer emos demost r ar que t odos sus el ement os
cumpl en con l a pr opi edad P, es suf i ci ent e est abl ecer :
1. el Caso Base, es deci r el pr i mer el ement o de X segn el or den dado cumpl e con l a
pr opi edad P; y
2. el Paso Induct i vo, es deci r que cada vez que un el ement o de X cumpl a con P, el
que l e si gue segn el or den dado, t ambi n cumpl e con P.
Nuest r o coment ar i o sobr e el nombr e dado a l a i nducci n mat emt i ca de Pascal f ue
hecho par a anunci ar desde ahor a l a f al t a de uni ci dad de esa r egl a. Es deci r , el nombr e de
i nducci n mat emt i ca engl oba a di st i nt os mt odos de demost r aci n cuya desi gnaci n
puede hacer se ms pr eci sa al aadi r l e un adj et i vo cal i f i cat i vo que r ef i er a a su r espect i va
car act er i zaci n. Por ej empl o, post er i or ment e ser exhi bi da en el Capt ul o 3 a l a i nducci n
mat emt i ca compl et a f or mul ada por Dedeki nd, mi ent r as que en el Capt ul o 5 ser
expuest a a l a i nducci n mat emt i ca t r ansf i ni t a acuada por Cant or . Ahor a bi en, l os
r asgos comunes par a agr upar a est as r egl as baj o el nombr e de i nducci n mat emt i ca
ser n di scer ni bl es conf or me el l as se vayan exponi endo.
En est e capt ul o hemos vi st o al gunas demost r aci ones empar ent adas con l a
i nducci n mat emt i ca dbi l . Las demost r aci ones hechas por Vi t e-Ander son de l os
Teor emas III y VII en su Ad Angul ar i um Sect i onum, pr ef i gur an a est a r egl a pues en ambas
se est abl ece un caso base y se usan casos ant er i or es par a f i ncar al si gui ent e. Por ot r o l ado,
l as demost r aci ones el abor adas por Pascal de l a Consecuenci a 12 y de l a Pr oposi ci n 1
par a l as combi naci ones en su Tr ai t , al i ndi car expl ci t a aunque par t i cul ar ment e l a
sat i sf acci n de un caso base (Lema 1) y de un paso i nduct i vo (Lema 2), enunci ar on por vez

35
Dado que no r esul t a de nuest r o i nt er s l a hi st or i a de l os nombr es dados a l os mt odos de i nducci n
mat emt ica, si no su hi st or ia compar t i da con l a ar i t mt i ca, aqu no acl ar emos quien baut iz a est a ver si n de
l a i nducci n como dbil . Si n embar go s anunci amos que volver a apar ecer en una pr esent aci n ms
f or mal , en l os Pr inci pi os de Peano, l os cual es ser n est udi ados en el Capt ul o 3. Si se desea r evi sar una
hi st or i a (no muy act ual izada) de l os nombr es dados a l a i nducci n mat emt ica, se puede leer a Caj or i (1918).
57

pr i mer a a una r egl a de i nducci n mat emt i ca dbi l . Par a sust ent ar l o ant er i or ,
i dent i f i camos l a i nj er enci a de un modo de r azonami ent o pr esent e desde l os El ement os
que per si st i en el Ad Angul ar i um Sect i onum y en el Tr ai t , el de l a gener al i zaci n
uni ver sal . M i ent r as que est e r econoci mi ent o adems de ayudar a asent ar a l a expr esi n
de est a r egl a, asi st i a l a apr obaci n del segui mi ent o vl i do de el l a r eal i zado por l as
demost r aci ones de l a Consecuenci a 5 , 12 y de l a Pr oposi ci n 1 . Es ms, se
descubr i er on a l os dos pr i nci pi os const r uct or es del t r i ngul o ar i t mt i co como l os
pr i nci pal es r esponsabl es de que l as demost r aci ones par t i cul ar es de l as par ej as de l emas
que const i t uyen a l a r egl a, f uer an r epet i bl es y por ende vl i das. Aunque est e hal l azgo no
f ue una af or t unada casual i dad, pues en el si gui ent e capt ul o se ver n a esos dos pr i nci pi os
como l os causant es de l a val i dez mi sma de l a r egl a de i nducci n mat emt i ca dbi l de
Pascal .