1 Antecedentes histricos

Es bien conocido el tringulo

1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
:
(que se supone que se prolonga indenidamente hacia abajo)
Muchos llaman a esta disposicin de nmeros tringulo de Pascal, atribucin
equivocada, como suele ocurrir. Le llamaremos tringulo, de todas maneras.
Esta disposicin contiene, ordenadamente, los nmeros que usamos en el
llamado teorema del binomio de Newton, otro error.
En realidad, el lsofo y matemtico Blaise Pascal us este tringulo en el
estudio de probabilidades, en una correspondencia con Pierre de Fermat que
comienza en 1654, a propsito de clculo de probabilidades el tringulo con-
signa, tambin en forma ordenada, el nmero posible de eventos con una de-
terminada condicin. (Hay quienes arman que Pascal padeca de dolor de
muelas, y que acostumbraba abstraerse de su dolencia encontrando propiedades
interesantes en el tringulo las hay en cantidad apreciable).
Resulta interesante consignar, adems, que Pascal tampoco es, como se acos-
tumbra a decir, el primer matemtico que se ocup de las probabilidades.
En el siglo anterior, Gerolamo Cardano, uno de los mejores matemticos
italianos de entonces, se ocup seriamente en determinar, por ejemplo, la proba-
bilidad de que una determinada carta de naipe apareciera durante el juego,
problema al que no seran ajenos Pascal y Fermat. Sin embargo, entre otras
armaciones, Cardano asevera que esa probabilidad aumenta bastante si en
forma previa se unta convenientemente la carta con jabn.
1
El tringulo fue usado tambin por un contemporneo y rival (en la res-
olucin de ecuaciones cbicas por radicales) de Cardano, Niccol Fontana, ms
conocido como Tartaglia (o tambin Tartalea, pues era tartamudo, debido a una
herida de espada que recibi en la mandbula cuando pequeo).
En realidad, sin embargo, el tringulo aparece el texto El precioso espejo de
los cuatro elementos, (o El espejo de jade de las cuatro incgnitas, como tambin
se ha traducido) del matemtico chino Zhu Shijie, aparecido en 1303.
1
Cardano, un personaje notable, fue mdico y astrlogo adems de matemtico, invent
el cardan que hoy usan los automviles. Alguna vez decidi que, en lo posible, deba obtener
un benecio por cada una de sus actividades; tal ganancia poda consistir en avanzar en el
conocimiento de algn asunto, pero su acin a los juegos de cartas deba reportarle tambin
alguna utilidad.
1
Ms an, el tringulo (y aun el llamado Lema de Stiefel) aparece en la
obra de Abu Bakr Muhammad ibn al-Hasan Alkrgi, o Al-Karaji, quien vivi
hacia 953-1029.
En cuanto al teorema del binomio
(a + b)
n
= a
n
+ na
n1
b + : : : + nab
n1
+ b
n
;
el resultado se conoce desde antiguo; el matemtico rabe Al-ka si lo usa en
su Llave de la Aritmtica (Miftah al-hisab), en 1427, sin pretender que es un
descubrimiento suyo (l llama elementos de los exponentes a los nmeros del
tringulo de Al-Karaji).
Lo que Isaac Newton hizo en sus Principios Matemticos de la Filosofa
Natural (Philosophiae Naturalis Principia Mathematica), en 1687, fue ampliar el
exponente natural n del teorema a nmeros racionales cualesquiera, obteniendo
tanto sumas nitas como series innitas. (El resultado est, al pasar, en el libro
1, en el escolio a la proposicin 93 del Libro Primero, a propsito del clculo
del rea de un semicrculo).
En lo que sigue haremos honor a la historia, y, evitando otras expresiones,
nos referiremos al tringulo de Al Karaji, o, simplemente, el tringulo.
2 El tringulo: primera aproximacin.
Si mostramos el tringulo de Al Karaji a un niito (o niita, por supuesto),
probablemente observar que es simtrico (lo que expresar tal vez diciendo que
es como un pinito o algo as). Un nio ligeramente mayor observar que hay
slo nmeros 1 en los lados (no en la base), que la sucesin de los nmeros
naturales aparece al interior de los lados. Alguno descubrir, seguramente, cmo
es que se obtienen los nmeros interiores del tringulo, vale decir, se suma los
dos nmeros inmediatamente arriba del que se va a escribir.
Ms adelante y con ms experiencia matemtica (digamos, a los diez aos),
un nio puede observar, adems, que si mira detenidamente una determinada
la, se tiene, (alternativamente), que la suma de todos los nmeros de cada
la es una potencia de 2, o bien, que cada la es una potencia de 11, segn se
aprecia a continuacin:
suma potencia de 11
1 1 = 2
0
1 = 11
0
1 1 2 = 2
1
11 = 11
1
1 2 1 4 = 2
2
121 = 11
2
1 3 3 1 8 = 2
3
1331 = 11
3
1 4 6 4 1 16 = 2
4
14641 = 11
4
2
3 El tringulo: segunda aproximacin.
3.1 Los nmeros combinatorios.
Convengamos primero que 0 es un nmero natural. Tomemos n; k N; k _ n y
escribamos

n
k

=
n!
k! (n k)!
:
Nuestro nio, ya ms crecidito, se sorprender agradablemente al reconocer
en esta frmula los nmeros del tringulo, ordenados convenientemente. Slo
tiene que contar con precisin. Por ejemplo,

5
2

= 10 se encuentra intersectando
la la del 5 (la sexta) con la columna del 2 (la tercera, y un tanto oblicua).
Para llevar mejor la cuenta de las y columnas, puede serle conveniente
anotar el tringulo en forma no-simtrica:
columnas 0 1 2 3 4 5
las
0 1
1 1 1
2 1 2 1
3 1 3 3 1
4 1 4 6 4 1
5 1 5 10 10 5 1
Esta notacin permite ahora expresar con claridad las propiedades que se
aprecia en el tringulo (y que no son, claro est, propiedades del tringulo):
Proposicin 1 Sean n; k N; k _ n; entonces:
1.

n
0

n
n

= 1
2.

n
1

n
n1

= n
3.

n
k

n
nk

; simetra
4.

n
k

n1
k1

n1
k

; (n; k _ 1) ; ley de formacin

5.
P
n
k=0

n
k

= 2
n
Por supuesto, la ltima propiedad es ms difcil de leer. Adems, un lector
perspicaz observar que la propiedad 4 debera haber sido escrita con antelacin,
tal vez, en primer lugar. (Lo referente a potencias de 11 ser postergado, por
ahora).
3
3.2 Heurstica de la demostracin.
Nuestro estudiante podr hacer algunos experimentos y comprobar las arma-
ciones anteriores para el caso de nmeros concretos.
Ms an, puede habrselas con las frmulas de manera directa; por ejemplo,
puede hacer

n
k

=
n!
k! (n k)!
=
n!
(n k)!k!
=
n!
(n k)! (n (n k))!
=

n
n k

:
Ello le mostrar, adems, que puede abreviar los enunciados 1 y 2 (si es que no
los haba hecho antes).
La armacin 4 ofrecer mayor resistencia, pero, si el acervo del alumno
contempla el teorema del binomio, escribir eventualmente
2
n
= (1 + 1)
n
=
n
X
k=0

n
k

1
k
1
nk
=
n
X
k=0

n
k

3.3 Demostracin inductiva

3.3.1 Excurso
Hay un paso importante en darse cuenta de cundo se requiere hacer demostra-
ciones recursivas y cundo son ellas evitables. Uno de los ingredientes consiste
en saber, realmente, desde dnde empiezan demostracin y enunciado.
Nuestro alumno puede hacer buen uso, por ejemplo, de una pregunta al estilo
de
Cul es el nmero que sigue en la sucesin 1; 2; 3; 4; 5; : : :?
que, en este caso particular, podra ser el 1:811 :040: 006 (pues estaba pensando
en la ley
15092000 (n 1) (n 2) (n 3) (n 4) (n 5) + n
(aqu se ha comenzado los nmeros naturales al estilo tradicional, desde el
1, para no estorbar eventualmente el ejemplo).
Por el contrario, cuando presentamos la lista (que puede completarse hacia
arriba)
5
2
= 25
15
2
= 125
25
2
= 625
35
2
= 1225
4
nuestro alumno puede colegir que, siguiendo la ley de formacin,para hacer
75
2
basta tomar 7 8 = 56 y agregar 25 al nal: 5625; y hacer una conjetura
conveniente al respecto.
Aqu, la induccin no es indispensable, pues se trata de la frmula
(10n + 5)
2
= 100n(n + 1) + 25;
que es vlida para todo nmero real n:
(Nuestro estudiante podra tambin en ocasiones recurrir a una variable
continua para una armacin de variable discreta. Por ejemplo, que se tiene
2
x
> x
2
+ 17 a partir de algn x > 0 es ms fcil de demostrar para nmeros
reales que naturales si bien es cierto que el caso discreto se puede tratar
antes).
En cualquier caso, nuestro sufrido alumno puede colegir, a propsito de
la pregunta inicial de esta seccin, que el enunciado de la proposicin es ms
conable que el tringulo que dibuja.
3.3.2 Induccin nita.
El hacer o al menos sugerir la demostracin inductiva de nuestra proposicin
relativa al tringulo de Al Karaji tiene como subproducto la leccin de la or-
ganizacin de las diferentes propiedades: es claro que las propiedades 1 y 2 se
abrevian usando la nmero 3; la demostracin de la 5 depende de la del teorema
del binomio y por tanto de la 4; pero, adems, cuando se quiera comenzar la
induccin, habr que recurrir siempre a la regla de formacin, cual debera ser
la primera en la lista de propiedades (y, qu curioso que el cociente
n!
k!(nk)!
sea
siempre un nmero natural - cosa no tan evidente de demostrar sin la regla de
formacin).
4 Aproximacin conjuntstica.
En analoga con aquellos concursos en que se pide descubrir una meloda en un
mnimo de compases, podramos proponer ahora a nuestro alumno enunciar la
demostracin de cada propiedad del tringulo en una sola palabra.
Ello requiere de una mirada ms de conjunto.
4.1 Un nuevo tringulo
El estudiante conoce el concepto de conjunto de las partes de un conjunto dado
A:
Podemos invitarle a recordar el concepto y hacer el clculo correspondiente
siguiendo la disposicin sugerida por los siguientes casos:
5
0 1 2 3 4 5
0 ?
1 ? a
2 ?
a
b
a; b
3 ?
a
b
c
b; c
a; c
a; b
a; b; c
4 ?
a
b
c
d
a; b
a; c
a; d
b; c
b; d
c; d
b; c; d
a; c; d
a; b; d
a; b; c
a; b; c; d
5 ?
a
b
c
d
e
a; b
a; c
a; d
a; e
b; c
b; d
b; e
c; d
c; e
d; e
c; d; e
b; d; e
b; c; e
b; c; d
a; d; e
a; c; e
a; c; d
a; b; e
a; b; d
a; b; c
b; c; d; e
a; c; d; e
a; b; d; e
a; b; c; e
a; b; c; d
a; b; c; d; e
Nuestro alumno podra observar atentamente esta tabla, y concluir que, dado
un conjunto A con n elementos, si cuenta los subconjuntos de A que tienen
exactamente k elementos, obtiene precisamente

n
k

de ellos; en otras palabras,

ha reproducido, nuevamente, el tringulo de Al Karaji.
4.2 En una palabra
De acuerdo a lo que se observa en la tabla de arriba, cada vez que se elige k
elementos de A; quedan n k elementos sobrantes; esto es, cada vez que se
elige un subconjunto B de A se elige, inevitablemente, su complemento A B
(lo que explica el orden en el que se escribi los subconjuntos en la ltima
tabla). De manera que es obvio que el nmero de subconjuntos de A que tienen
(exactamente) k elementos es igual al nmero de subconjuntos de A que tienen
(exactamente) n k elementos. Es decir, la demostracin de la propiedad 3,
esto es, la simetra

n
k

n
nk

, requiere slo del concepto de complemento de

un subconjunto de un conjunto dado.
Resulta ahora ms directo que con el clculo numrico que se tenga, por
ejemplo,

n
0

= 1 (pues no hay ms que un conjunto vaco),

n
n

= 1;

n
1

= n;
etc.
6
Ahora bien, cuando se suma

n
0

n
1

n
2

+ : : : +

n
n 1

n
n

se est contando todos los subconjuntos de A; que son, en total, 2

n
:
De manera que la demostracin de la propiedad 5 requiere slo del concepto
de conjunto potencia.
4.3 Cardinal del conjunto potencia
Sera interesante realizar con nuestro estudiante la demostracin de que el car-
dinal del conjunto de las partes de un conjunto nito A es 2
jAj
, es decir,
Proposicin 2 Si A es un conjunto nito de cardinal n; entonces
[P(A)[ = 2
jAj
= 2
n
:
Demostracin. Para cada subconjunto B de A denimos la funcin
caracterstica
B
de B de la siguiente manera:

B
(x) =

1 si x B
0 si x = B
As, tenemos una funcin : P(A) f : A 0; 1 : f es funcin :
Ahora bien,
cada funcin f : A 0; 1 dene el conjunto B = x A : f (x) = 1 ; y
por lo tanto es epiyectiva; adems,
si B ,= B
0
, es obvio que se tiene
B
,=
B
0
Por lo tanto, es biyectiva, y, en consecuencia
[P(A)[ = [f : A 0; 1 : f es funcin[ = 2
jAj
:
Se observar, sin duda, que este resultado se basa en uno anterior. Lo
importante, nos parece, es que el alumno registre que la armacin [P(A)[ = 2
jAj
recoge un hecho bastante natural.
Adems, nuestro alumno puede tal vez aventurar que la misma demostracin
le servira para conjuntos innitos.
El estudiante podra querer intentar probar primero la siguiente armacin
para, desde all volver al cardinal de las partes de A:
Proposicin 3 Si A es un conjunto nito de cardinal n; k _ n; y
P
k
(A) = X P(A) : [X[ = k ; entonces
[P
k
(A)[ =

n
k

Ello requerira de induccin. El paso crucial del argumento est, una vez
ms, en la ley de formacin del tringulo, es decir,

n
k

n1
k1

n1
k

:
Ahora bien, aceptada la relacin anterior, ella nos indica cmo contar los
conjuntos en P
k
(A) : si A = A
0
' b ; donde [A
0
[ = n 1 y, (por lo tanto),
b = A
0
; para obtener los subconjuntos de A que tienen k elementos, hay que
contar por separado los que no contienen a b y luego los que no lo contienen:
7
se toma los conjuntos de A
0
que (ya) tienen k elementos, que son

n1
k

; y
se aade
los conjuntos de A
0
que tienen k 1 elementos, a cada uno de los cuales se
agrega b:
5 El tringulo visto como listado de potencias
5.1 El etctera de Newton.
El gran Isaac Newton hizo la misma observacin sobre las potencias de 11 que
anotamos al comienzo: la segunda la tiene escrito el nmero 11; la tercera tiene
121 = 11
2
y as, sucesivamente...
Parece que Newton pens que, como se tiene que 11
3
= 11
2
11; por tanto,
para hacer 11
3
hay que escribir, segn el mtodo abreviado de multiplicacin,
1 2 1
+ 1 2 1
1 3 3 1
similarmente, para hacer 11
4
= 11
3
11; se escribe
1 3 3 1
+ 1 3 3 1
1 4 6 4 1
Lo nico que sucede, entonces, es que se est siguiendo la regla de formacin
del tringulo, y, anotndola tal vez de otra manera. En cualquier caso, Newton
examin hasta la quinta la, la del 4, y escribi a continuacin &c , que es
la manera en que entonces se abreviaba et caetera.
El problema es que, para 11
5
= 11
4
11; se tiene
1 4 6 4 1
+ 1 4 6 4 1
1 6 1 0 5 1
de manera que parece que el Newton se equivoc, por no haberse acordado
de la suma con reserva (me reservo 1, llevo 1...). Sin embargo, como quiera
que estamos hablando de Newton, es mejor que dejemos la decisin al lector -
tal vez, para despus de la siguiente seccin.
5.2 Bases de numeracin.
Como se sabe, el sistema de numeracin que nosotros usamos es el posicional
de base 10. As, cuando escribimos, por ejemplo, 3425, estamos anotando
3000 + 400 + 80 + 7; es decir, 3 10
3
+ 4 10
2
+ 2 10 + 5:
8
Para enfatizar que estamos usando base 10, podemos anotar 3425
(10
(si no
declaramos una base, sub-entendemos que se trata de la base 10).
Si anotamos en otra base, con los mismos dgitos sealamos otro nmero.
Por ejemplo,
3425
(6
= 3 6
3
+ 4 6
2
+ 2 6 + 5 = 3 216 + 4 36 + 2 6 + 5 = 809
(10
Por supuesto, si estamos trabajando, por ejemplo, en base 6, los dgitos que
cuentan son 0; 1; 2; 3; 4; 5; de otra forma, tendramos errores intiles de notacin.
Por ejemplo, si quisiramos escribir n = 3485
(6
; tendramos, en realidad,
n = 3 6
3
+ 4 6
2
+ 8 6 + 5 = 3 6
3
+ 4 6
2
+ (6 + 2) 6 + 5 =
3 6
3
+

4 6
2
+ 6 6

+ 2 6 + 5 = 3 6
3
+ 5 6
2
+ 2 6 + 5;
y deberamos haber escrito n = 3525
(6
:
Recordemos ahora que Newton, considerando los nmeros en base 10, en-
contr que cada la registraba las potencias de 11.
Una conjetura natural podra ser, entonces, la siguiente (de acuerdo a la
descripcin anterior):
Conjetura 4 Si consideramos el tringulo en base b; en tanto cuanto no ex-
cedamos la base de numeracin, tendremos escritas, en las las, las potencias
de b + 1.
Hagamos algunos experimentos:
Si la base es 5, tenemos sucesivamente
1
(5
= 1 = 6
0
11
(5
= 1 5 + 1 = 6 = 6
1
121
(5
= 1 5
2
+ 2 5 + 1 = 36 = 6
2
1331
(5
= 1 5
3
+ 3 5
2
+ 3 5 + 1 = 216 = 6
3
Nuestro experimento termina all, pues ya en la siguiente la excedemos la
base de numeracin y estaramos escribiendo incorrectamente.
Podemos intentar con bases menores que 10, con anlogo resultado.
Un caso interesante sera tomar precisamente b = 11: Para no tener incon-
venientes de notacin, tenemos que introducir un dgito adicional para anotar 10;
usaremos K; como suele hacerse para los nmeros de identidad, o de pasaporte.
Tal notacin nos alcanza ahora hasta sexta la, la del 5, segn se comprueba
de inme- diato. Deberamos tener escritos, hasta esa la, slo potencias de 12.
Veamos:
1
(11
= 1 = 12
0
11
(11
= 1 11 + 1 = 12 = 12
1
121
(11
= 1 11
2
+ 2 11 + 1 = 144 = 12
2
1331
(11
= 1 11
3
+ 3 11
2
+ 3 11 + 1 = 1:728 = 12
3
14641
(11
= 1 11
4
+ 4 11
3
+ 6 11
2
+ 4 11 + 1 = 20: 736 = 12
4
15KK51
(11
= 1 11
5
+ 5 11
4
+ 10 11
3
+ 10 11
2
+ 5 11 + 1 =
248: 832 = 12
5
9
En n, los ejemplos son sugerentes.
El teorema general es un tanto difcil de enunciar con entera precisin (note
que, cada vez que agregamos una nueva la, es mayor el nmero de bases que
salen de competencia), pero es un ejercicio saludable.
6 Comentario
Como se sabe, es frecuente que las fbulas de Esopo (y otras) terminen en una
enseanza moral. Uno no puede escapar a la sensacin de que tales moralejas
sean aadidos posteriores, que arruinan la poesa de la fbula propiamente tal.
En este caso, bien o mal, se ha tratado un hermoso tema, y, con alguna
reticencia, aadimos algunos comentarios.
6.1 El mtodo axiomtico
Respecto de las propiedades enunciadas en la primera proposicin, hemos de-
jado, deliberadamente, algunos cabos sueltos. Pensamos que es conveniente que
el estudiante, que sabe que algunas armaciones se apoyan en otras, se enfrente
ocasionalmente a la arquitectura de algn edicio, aunque sea de dimensiones
menores. Ello le ilustrar, de mejor manera que leer o escuchar alguna descrip-
cin, en qu consiste el mtodo axiomtico.
En nuestro caso, el alumno requerir de alguna ayuda para visualizar las
diferentes opciones que tiene en cuanto a qu puede aceptar provisoriamente y
luego proceder desde all.
6.2 Propiedades de los sistemas numricos
El anlisis de potencias de la ltima seccin nos alerta respecto del estudio de
los nmeros, o, mejor dicho, de los sistemas numricos.
En efecto, algunas propiedades que se atribuye a los nmeros son, en rea-
lidad, propiedades que se vinculan a la forma en que se escriben los nmeros.
Cualquier estudiante de Matemticas se enfrenta alguna vez a armaciones
que provienen de la Gematra, o Numerologa, que tiene sus races en antiguas
mitologas (y que hace dos o tres siglos competa por preferencias con la Astro-
loga, en Europa). Aparte del contenido simblico de algunas expresiones que
involucran nmeros (recuerde, por ejemplo, la ubicuidad de los nmeros 3, 7, 12,
por ejemplo, en las ms diversas tradiciones), se atribuye a veces propiedades
un tanto mgicas a ciertos nmeros. Por ejemplo, se ha usado reiteradamente
en la historia, de manera un tanto misteriosa, al hecho de que al dividir un
determinado nmero n por otro nmero m aparecen, como residuos en los deci-
males, todos los dgitos. Adicionalmente al hecho de que tal situacin se da, en
realidad, en una cantidad innita de casos, podemos imaginar de inmediato que
el enunciado cambiara, para los mismos nmeros, si se los escribiera en otra
base (en cuyo caso, los dgitos no seran exactamente los mismos, segn se vio).
10
(Como motivo de reexin adicional: Wilhelm Fliess, el de los biorritmos, le
cont a Sigmund Freud acerca de su teora, y ste qued muy impresionado por
el hecho de que si uno tomaba las frecuencias f; g de dos biorritmos distintos
de una misma persona, se poda escribir cualquier otro nmero tomando unas
cuantas veces f y otras tantas veces g; por supuesto, tal propiedad depende slo
de que f y g sean primos entre s, lo que no resulta tan fuera de lo comn, al
n y al cabo).
Para nuestro alumno, establecer diferencias entre propiedades de los nmeros
y propiedades que se relacionan con la manera de escribirlos podra constituir
una manera un tanto inusual de comprender por qu los matemticos preeren
decir, por ejemplo, que
el nmero real 1 es el objeto gracias al cual se cumple (\a R) (a 1 = a)
6.3 Matemticas antigua y moderna
El tema tratado es especialmente instructivo respecto de lo que se acostumbra
a llamar matemtica moderna y la matemtica antigua.
La primera observacin es, por cierto, que la matemtica moderna ya est en
su tercera edad; por lo dems, ya lo estaba en el momento en que se la introdujo
a la enseanza.
El tringulo de Al Karaji nos sirve para ilustrar que la oposicin entre mod-
erna y antigua, adems de irrelevante y lingsticamente discutible, puede ser
inconveniente. Nuestro caso presenta, por el contrario, un interesante vaivn:
el tringulo permite ver directamente las frmulas elementales de los nmeros
combinatorios; el tratamiento de conjuntos se apoya en esa mirada, le da solidez
y la ampla; el tringulo se reviste de mayor signicado (si se nos permite la
expresin); algunas propiedades conjuntsticas no estn ya en la memoria RAM
sino a la vista...
Incluso, nos parece que nuestro alumno se dar inevitablemente cuenta, por
ejemplo, de por qu Pascal y Fermat usaban el tringulo en su discusin acerca
de probabilidades.
Hay por lo general varias estrategias para abordar el estudio de un tema. A
menudo, una de las ms interesantes consiste precisamente en poner un pie en
la historia.
7 Bibliografa
Grattann-Guinness, Ivor; The Norton History of Mathematical Sciences
W.W. Norton & Co., New York, 1998
Kline, Morris; Mathematical Thought from Ancient to Modern Times
Oxford, University Press, 1972
11
Kline, Morris; Mathematics in Western Civilisation.
Oxford, University Press, 1972
Youschkevitch, Adolf P.; Les Mathmatiques Arabes (VII-XVe. sicles)
Librairie Philosophique Vrin, Paris, 1976.
12