P. 1
Triángulo de Pascal

Triángulo de Pascal

|Views: 2.082|Likes:
Publicado porCuater Cuyero

More info:

Published by: Cuater Cuyero on Jun 27, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/24/2013

pdf

text

original

· ......•...........••.....••...••..................

lecciones populares de matematicas

TRIANGULO DE PASCAL

v. A.Uspenski

A

Mosco

........•.......................•..........••.....

nonYflJlPHblE JIEKl(I1i1 no MAT.EMATMI<E

-,

B. A. YCn&HCKHA

TPEyrOJIbHHK DACKAJ1J1

H3IlATEJlbCfBO "HAYKAI> MOCKBA

LECCIONES POPULARES DE MATEMATICAS

v. A. USPENSKI

TRIANGUJ.,O DE pASCAL

EDITORIAL MIR MOSCU

Tradueido del ruse por L. B. Errnolaev

La presente conferencia es accesible j a los alumnos de la escuela de ocho grados, En ella se considera una importante tabla numerlcaIllamada triangulo de Pascal) que contribuye a resolver una serie de problemas. A la vel conla resolucion de tales problemas se toca la cuestion del significado de las palabras "resolver el problema".

Ha IIClWUCKOM .'1~brKe.

© Traducclon al espafio], Editorial Mir. 1978

IMPRIOSO EN LA URSS 1978

iNDICE'

Prefacio 6

§l. Problema de 1a VIII olimpiada 7

§ 2. l QUt': significa resolver eI problema? 11 § 3. Triangulo de Pascal 15

§ 4. Operacien de Pascal 22

§ 5. Coeficientes binorniales 26

§ 6. Numero de partes de un conjunto dado i9 § 7. Vinculo con factoriales 36

PREFACIO

Es imprescindible advertir al lector que no se ha enterado todavfa de que es el triiingulo de Pascal. que no se trata de una figurageometrica cen-tres :angulos y rreslados, Se llama triangulo de Pascal a una imporrante tabla numeriea por media dela cual se logra .. resolver toda una serie de problemas d.e calculo, Considerando algunos de ellos, se referira paso aiproblema concemiente al significado' general de las palabras "resolver el problema".

La exposicion no presupone conocimientos previos eualesquiera que salgan fuera de los limites del programs previsto por In eseuela de .ocho grad os, except 0 la definicion y deslgnacion de lao potencia de exponente nulo, Se debe conocerexactamente que .todo numero distinto de cera, elevado a la potencia cero, se considera (por definicion) igual a una unidad: aO ;; 1 cuando a"# O.

§ 1.

PROBLEMA

DE LA VH! OLIMPiADA

En la VHf olimpiada participantes, alumnos de siguiente problema I):

Se tiene una red de caminos (fig. J). Desde el punto A parten 21000 hombres. Una mitad de ellos tse iencaminan en la direccion l, otra, en la m. AI Ilegar al primer cruce cada grupo se divide: una mitad sigue la direcci6n /,Ia otra, ta m. Lo rnismo ocurre en cada cruce, i, Cuantos hombres llegaran a todos los cruces de la milesima serie?2)

matematica de Moscu(1945), a sus los 9 -10 .grados, fue propuesto el

A

FIG. I

Anunciemos, ante todo, que todavia no conocernos SI es resoluble el problema, es decir, si pueden moverse los hombres como 10 require la condicion del problema. En efeeto,si a un cruce cualquiera, en que va a dividirse por mitad Ia afluencia de gente, llega un numero imparde hombres, el movimiento se

1) Vease A. M. HZ,lOM Il H. M. HZ.1OM, «He:JJ1eMCHTapHb!C 3alla'ill II :HleMeHTapHOM 1{3JlOIKemmll, M., rOCTCXH31ffiT, 1954, C1'p. 10; I(HOMepa aaztax, npeanaraauiaxcs aa MOClCOIICIHIX MaTCMaTH'lOCKlix onasmaanax», aaaasa 606. Yag/om A. M. y Yag/om I. M. Problemas "no elementales en la exposici6n elemental. M. Gostejizdat, 1954, pag, 10, "Numeros de los problemas propuestos en las olimpiadas matematicas de Moscu", problema 6Gb, en ruso).

2) Se tiene en cuenta que lasJilas de los cruces estan numeradas,

partiendo de cero, ya que en la ultima hay un cruee (A), en 1a primera., dos, en 1a segunda, Ires, etc.

2*

g

detendra, Por consiguiente, para .que el problema tenga solueion, es necesario y suficieme que a cada cruce de cualquiera de las primeras mil series (fiJas), de 0 hasta 999, lJegue un numero par de hombres. De que esto es asi, nos cercioraremos resolviendo el problema.

PlG.l

AI principia introduciremos las designaciones para las cantidades de hombres que dejaron atras cada cruce de nuestra red de carninos, Numeremos los cruces de cada fila. de izquierda a derecha, partiendo de cero; por 10 tanto. los cruces de la n-esima fila· se numeraran de cera hasta n. Denotaremos por H! el numero de hombres- -que pasaron ipor eI k-esimocruce de la n..esima fila. Puesto que no se sabe todavia si es resoluble el problema, no podemos estarseguros de que existan todos los numeros H!, es .decir, que exista cada uno de los mimeros H~ can todo n de 0 hasia 1000 y todo k de 0 hasta II. Es indudable que algunos de ellos existeri.De modo que, en virtud de "las desigoaciones

introducidas, .

(1.1)

Veamos ahora como se vinculan entre si los numeros H~(k=O. 1,2, ... ,11) Y H!+dk=O, 1,2, ... ; n+l)

a, condicion de queexistan todos. Mas tarde veremos que si existen y SOn pares todos los numeros H~. existen tarnbien todos los numeros H~"+!. Consideremos las filas n y (n + 1) de los cruces y los tramos de los eaminos que los unen: pongamos frente a cada cruce la designacion del numero respective de hombres (vease la fig. 2). EI numero de hombres que salieron del cruceD

9

de la fila n (es decir, H~) se dividira en dos paries iguales y una mitad llegara al cruce 0 de la fila (n + 1); por eso,

(1.2)

Otra mitad de H~ se aproxjmara al primer cruce de la fila (n + 1) Y se reunira alia con la mitad de hombres que han abandonado el primer cruce de la fila n, o sea, can 1a mitad

H!.

De ahi H!+l = H~ ~ H! . En general, el numero de. hombres que Ileragon al cruee k de la fila (n + 1) era Ia suma de mitad de hombres que partierondel cruce (k - 1) de la. fila i1 (esta

mitad era igual Hk-1 ) la de hombres que partiercn
a _n_ con del
-2 ( esta
cruce k de la fila n mitad era igual a H~ )

2 . Par 10 tanto,

(1.3)

Por fin, el nurnero de hombres que alcanzaron el cruce (n + I) de Ia fila (n + 1) es equivalente a la rnitad de hombres que salieron del cruce n de la fila n:

(1.4)

Las relaciones (1.\) - (1.4) permiten establecer que el problema admire realmente su solucion, En efecto, de las igualdades (1.2) - (1.4) se deduce que si 'con eierto 11 fijo todos los nurneros de la fila n: H~, H~, ... , H~ existen y son divisibles por Za,

todos los mimeros de la fila (II + 1): H~ .. 11 H~ -t- " ... , Ii:! I

tambien existen y son divisibles por a. Por consiguiente, puesto que todos los numeros de la fila 0 (su total es un solo Hg exist en y son divisibles par 21000 (en virtud de (1.1), todos los numeros de la primera fila

£0

existen y son divisibles por 2999;-todos los numeros de la segunda fila

existen Y soh divisibles por 2998; todos los numeros de 13 999·esima fila

existen y son divisibles por 2; todos los numeros de la lOOO-esima fila

Ho HI BIOOO

1000, ,1000, "" 1000

existen (y son divisibles por 1).

Las relaciones(L2) - (1.4). no s610 dernuestran que existe la solucion del problema, sino que sefialan como de una linea de mimeros

H~, H!, ...• H:'

se obtiene la otra

H~+l>m+h .. " H~~l·

r

Empleando sucesivamente estas relaciones.va partir de la linea cera [es decir, aprovechando la relacion (1.1)] podemoscalcular. en prlneipio, los valorea de H~ para todos los 501501 cruces, que .se connenenen Ias '(ilas hasta el milesirno inclusive. en particular, para .t_()dos los cruces de la milesima fila, resolviendo, par 10 tanto, el problema. -De manera que para las primeras filas por ealeulo directo results:

HI '2999 HO 2998

H2 ! _' _'-_ 2998. HO - _2 - 299~.

2 = 2= 2 ,3 - 2 - 2 - ,

II

, § 2.

(;QUE SIGNIFICA

RESOLVER ELPROBLEMA?

Por consiguiente, el problema del § l esta resuelto ... "i,Resuelto?, se sorprendera un lector inexperto Tya que el experimeruado sabe de anteinano 10 que va a decir cl autor y no se sorprendera por nada). No he notado que 10 hayamos resuelto'',

Aut 0 r. Esta claro que 10 hemos resuelto, Es que resolver el

problema es hallar su solucion, Ya 10 hemos heche.

Lee tor (perturbado). {,Aeaso es esta 'la' solucion?

.A u tor {jingiendose que no entiende ell. 'qw} consiste el. aSimto}

I.,Y que, es erronea la soluci6n?

Lee tar. No, es cieria, pera, en general, no es la solution. Aut 0 r, Pues, (: que signifiea la sqludon1'

Lee tor. Una linea de numeros qucsefialen cudntos hombres lIegaran a los cruces de In milesima fila.

Aut 0 T, .Pero, esta linea ha de contener '1001 nurneros. lAcaso los organizadores 'de la VTII olimpiada tenian esperanza en que alguien les esoribiera el nurnero 1001?

Lee tor (queda pen.mtivo).

A 11 tor, Tengo una proposici6n. No compliquemos In situacion can lineas largas: escojarnos uno de los Cruces y tratemos de llegar a conocer cuanros hombres 10 hayan visitado, iDe acuerdo?

Lee I, o r (se pone' de acuerdos:

Aut 0 r. Empecernos pues: I;q ue eosa podriamos tener pOT soluci6n del siguiente problema: cuantos hombres llcgaran al tercer cruce de la cuarta fila?

Lee tor. [Como que cosa 1 Un nurnero, Aut 0 r. ,;Escrito en que forma?

Lee tor (con asombrot: Que sea en el sistema decimal, Aut 0 r. I:Y la respuesta "H!" no seraIa soluci6n?

Lee tor. Claro que no. i No tiene que ver can Ia solucion 1

Aut 0 r. AI continuar la cadena de cdlculos.ique ha 'sido iniciada

al final del parrafo anterior, es f<i.eil cerciorarse de que al tercer cruce de la cuarta fila llcganin 2998 hombres. i.Sen! la solucion del problema la respuesta "2998"?

Lee tor (sin esperar chasco). SI, naturalmente.

12

Aut 0 f. Pero, la expresion "2998" no es la representaeion del mimero enel sistema decimal. Ella se compone de do« representaciones decimales de los ,numeros, 0 sea, "2" y "998" euya disposicion relativa seflala que operacion habra de efectuarse con estos numeros a fin dc obtener un valor requerido,

Lee t-o r. Pero, la expresion "29911" es faei] convertirla en Ia representacion decimal.

Aut 0 r (con tono ejempJar). No tanto. Pruebese elevar 2 a la potencia 998. Pero, se trata de otra cosa, EI problema es que Ud. conlradice ahora a sus afirmadones anteriores, Se conformaba con tener por solucion tan s610 un nurnero escrito en el sistema decimal. Desde el punta de vista de esta definicion, 1a expresion "2998» no es todavia.la solueion (es, diriamos, un "producto en brute" de que ha de obtenerse la solucion). Por supuesto, tal punto de vista es posible si se Ileva a cabo de una manera sucesiva. Pero, es posible que haya tambien otro punto de vista conforme al cual 2"98 i!s la solucion, Pareee .que Ie gustaria mas este punto de vista porque muy a menudo las soluciones de unos u otros problemas matematicos no se dan directamerue en forma de los numeros escritos en el sistema decimal, sino en la "indirecta" analoga, Pero, c:c6mo sc cntendera el terrnino "solucion" en este caso, es decir, para 'el problema sobre el tercer cruce de la cuarta lila?

L.e c t 0 f. En este caso, es imprescindible tener por solucion toda expresion (no se trata del numero) que designe cierto numero 'para eJ eual haya un procedirniento que perrnita pasar de' dla a Ja representacion decimal del nurnero respective. 2998 sera. precisamente, la expresion de este tipo. EI procedimiento de paso a la representacion decimal (997 multiplicaciones sucesivas) a pesar de ser largo, se realiza en principio.

Au tor. (;Por que, entonces, Hl no es la solucion? Aqui tarnbien hay procedimiento de paso a la reprcsentaci6n decimal que se da por las relaciones (1.1) - (104).

Lee tor (de.~'concert(ldo).

Aut 0 r (conte'!to que ha podido poner al lector en un atoliadero;«

a/ inexperto, naturaimeme, ya que el experimeniado podm poner en el atolladero (1'1 mismo aUTOr). EI problema es que son posibles, par 10 menos, tres interpretaciones de 10 que significa resolver el , problema sobre eI numero de hom bres que lIegaron- a un cruce ' dado.

PR1MERA INTERPRETACION. Se tiene par solueion el nurnero escrito en el sistema de nurneracion decimal.

13

SEGUNDA INTERPRETACION. Se tiene por solucion tal exprcsion designadora del numeropara la eual se conoce el proecdimiento que perrnite pasar de ella', a la rep resent a cion decimal del numero designado por la ultima (0 sea, a la solucion t:11 la primera interpretacion).

TERCERA INTERPRETACION. Se tiene par solucion tal expresion designadora del numero que se compone por los numeros (escritos en eI sistema decimal) y ciertas operacitmes "universalrnente admitidas" (por ejemplo, las aritmeticas] 1J. Exijamos que .cada operacion "universalmente adrnitida" se acompaiie del procedirniemo que permita pasar de las representaciones decimales de los numeros, a los cuales se aplica la opera cion, a la representacion decimal del resultado (tales son, precisamente,las operaciones aritmeticas), Entonces, para toda la expresion en total. habra un procedimiento que permita pasar de las representaciones decimales de los numeros que en ella participan, a 'la representacibn decimal del numero que esta expresion designa; por lojanto, la soluci6n de Ja tercera interpretacion se convertira automaticamente en Ia de la segunda.

Can Ia primera interpretacion ni H~, ni 2998 constituiran la solucion del problema sobre el tercer cruce de la euarta fila. Para obtener la solucion es imprescindible hallar para 2998 una representacion decimal que, sin embargo, ha .de contener vmas de 300 signos;el autor desconoce si estaha sido hecha algun dia 2).

Can Ia sequnda interpretacion tanto H~, cOTl1O 2998 seran las

soluciones. -

En 10 que se refiere a la tercera interpretacion es un caso en que todo dependera de la elecci6n .deJas operaciones xle partida "universalmente admitidas": sl estas incluyen la potenciacion, enronces 2998 sera la solucion, si no, no. Igualmente, 51 se incluyeen el numero de las operaciones "universalmente admitidas"

I) El . conjunto de las operaciones "universalmente admitidas" ha de sefialarse de antemano, Vale subrayar que hi tercera interpretacion depende de como se ha eJegido este conjunto. De manera que la expresion 299S sera la soluciori en caso de la tercera interpretacion si el numero de las operaciones "universalmente admitidas" lncluye la porenciaclou,

2) En Ia pag, 27 ,dela obra de B. JlHTJ..(.\-lim «BeJlHKallhl 11 xapJlI1KH Il MHpe 'lIlCeJI)), M., ¢l 113M aITJ.t 3 , 1959 (Litzman V,. "Glgantes y pigrneos en el mundo de los ruirneros", M., Fizrriatguiz, 1959, en ruso] como potencia maxima de, las calculadas para el numcro 2 se ofrece la

representacion decimal de 2400. ,_

,3-16

14

la opera cion "hache" que calcula por n y k cl nurnero H! (eJ procedimiento de tal -calculo se da por las relaciones (1.1) - (1.4) ya que el requisite que se impone a las operaciones "universalrriente admitidas" ha sido cumplido en este caso), entonces fl~ seta la solucion del problema: en caso contra rio, no.

Surge una prcgunta: (:si se puede escogcr arbitrariamentc las operaciones "universalrnente admitidas"? Formalmente dicho, sf. Por el eontrario, en calidad de operaciones "universalmente admitidas", por medic de las cuules so expresa la solucion de cualquier problema, es imprescindible escoger tales operaciones que se u tilicen en la resolucion de muchos problemas, 0 por 10 rnenos, de problemas importuntes, Precisamente tales son las cuatro operaciones aritmeticas y algunas otras, par ejemplo, la operacion de potenciacion y Ia de calculo de la factorial (v ease la ultima a continuacion, en el § 6). Si la opesacion "hache" fuera necesaria para resolver diversos problemas 0 si nuestro problema sabre los cruces fuese muy importante, tal vez In operacion "hache" se referiria a la categoria de las "universalmente admitidas", Sin embargo, la operacion "hache" todnvia no 10 ha merecido y se duda de que 10 merezca, En el § 4 consideraremos una opera cion semejante ala "bache" que, a nuestro

"pareecr, merece ser incluida en el numero de las operaciones "universalrnente admitidas".

Y ahora. volvamos a nuestro problema inicial sobre los cruces de ·In milesima serie, Su solucion se puede hallar en tres divcrsas formas correspondientes a trcsinterpretaciones de la palabra "solucion" que se exponen mas arriba:

I) en forma de una linea compuesta por toOl numerus escritos en el sistema decimal; no tratemos de hallar solucion en esta forma (no vale la pena, yu que para uno cruce de la cuarta fila no hemos hallar la semejante solucion);

2} en forma de una expresion que permita calcular en principle para cada cruce de la milesirna seric (fiI~) el numero (es decir, nallar su tepresentaci6n decimal) de los hombres que llegaron al cruce; tal solucion la hemos hallado ya: moon; con la particularidad de -que el proceso del calculo se da por las igualdades (1.1) - (t.4);

3)- en forma de una expresion que no solo perrnita calcular H~ 000 para todo k de 0 hasta 1000, sino que se forme par medic de ciertas operaciones "universalmcnte admitidas"; hallemos la solucion en estaJotma; con ello, la exposicion sucesiva aclarara cuales opcracienos -se puede considerar como "universalmente admitidas",

,15

§ 3, TRIANGULO DE PASCAL

Consideraremos una de las lineas de nurneros d~, dr.. ,." dn, ,,== 0, 1, 2, ,., (cuando II = 0 esta linea "se degenera" en la compuesta' por un solo nurnero do). Formemos de ella tina linea nueva de mimeros So. s], ,." ..... +" segun la siguiente regia:

So = do, (3,1)

(3.2) (3.3)

Diremos, 'que esta linea nueva ha sido obtenidade la anterior sefJun 10 ley de Pascal!). Conforme a esta ley de Ia linea 2, -0, - 2 se obtiene la 2, 2, - 2, - 2, y, a su vez, de Ia ultima, la 2; 4, 0, -4, -.2.

OBSERVACrON 1. Si la linea n se ha obtenido de la C( de acuerdo con la Icy de Pascal, In suma de los terrninos de la primera es equivalente a la suma doblada de los terminos de la segunda, En efeeto, sl se cumplen las relaciones (3.1) - (3,3), entonces

So + s, + S2 + ,., + Sn + S.+! = do ,t' (do + dl) + (d, + (/2) +

+ ... + (dn"l + d,;) + dn = 2.(dl) + dl + ... + dll) (3.4)

OBSERVACION 2. L1amemos simhrica II la linea de nurneros do, ... , d; S.i con todo k eniero de 0 hasta " tiene lugar la ,igu'aldad

dk = dn-k• (3.5)

La linea de numeros So, .. " S" ... I que se obtiene segun Ia ley de Pascal de la linea - sirnetrica do, .... do es tarnbien simetrica.

lJ Blaise Pascal (1623 - 1662) es un gran cicntiflco de Francia. Investigo, en particular, las propiedades de la tabla numerica triangular, cada linea de la cual se obricne de Ia anterior segun la ley que se da por las relaciones (3.1) -OJ). Esta tabla que sera considerada a continuaci6n, adquirio una denominacion universalrnente admitida como "triangulo de Pascal", Por eso la ley que constituye la base de su Iormacion se llamara la ley de Pascal y sus lineas; las Ii/l(~as !if! Pascai.

16

Para afirmarlo es preciso comprobar la igualdad s~ = s(n+ 1)-.

(3.6)

can k = 0, 1, ... ,11 + J. Pero para k = 0 y k = II + I la igualdad (3.6) se deduce de las relaciones (3,1)-(3.3) y de la igualdad do = dn (que se obtiene de (3.5) siendo k = 0). Pero, si 1 ~ k ,.;; II, resulta que

s. = d"_1 + d" = d,,-Ik-'l) + dn-k == tln+ 1-. + dl(lI+ 1)-I<J-1 =

", = dUn+ll-kl- I + d(n+ I)-A = .1'(,,+ 1)-k' (3.7)

Consideraremos ahora la linea cornpuesta por un mimero, a sea" una unidad. Llamemos a esta .linea linea cera de Pascal. Segun Ja, ley de Pascal, de ella constituyamos una llnea nueva que Ilarnaremos la primerd linea de Pascal. De esta Iormemos, de acuerdo: conJa ley de Pascal, la segunda linea de Pascal, etc. Puesto que al pasar a cada linea sucesiva el nurnero de terminos de la ultima; crece en una unidad, en la l1·esjma linea de Pascal habra numero II + 1. Sin efectuar calculos, tomando tan solo en consideracion las observaciones 1 y 2, se puede afirmar que

1)la. suma ide los nurneros de la n-esima linea de Pascal es equivalente a 2" (yaque al pasar de una linea a la siguiente la suma. de las terminos se dobla y para Ia linea. cero ella es equiyalente a 2°::::: 1);"

: '2) todas las Iineas de Pascal seran simetricas (ya que I~ .propiedad de simetria se censer va al pasar de cada linea a la : siguiente, sicndo simerrica In linea ce;o).

Escribamos Ius lineas de Pascal, partiendo de la de cera, una debajo de la otra, de modo que cada numero de cada, linea resulte puesto entre Ios numeros de la linea anterior la suma de los cualeses este numero, Obtendremos una tabla inlinita que se llama triJngulo {Jrirmetico de Pascal, a sencillamente, truinqulo aritmetico a el de Pascal, Toda- la .tabla en total pareee rellenar Ia parte interior-de cierto angulo; todo su principio, formado par las IfneasO,L, ... , II, "Ilene la forma del triangulo, En la pig. 17 se representa el principio del triangulo de Pascal formado por sus primeras 15 lineas, desde ° hast a 14.

EI triangulo de Pascal es simetrico can respecto a su bisectriz, Los mimeros que 10- rellenan tienen una eerie de propledades interesantes (par ejemplo, la surna de los cuadrados de los terminos de su linea cualquiera siempre es igual 'al numero del

-
-
- .....
-
- ..,
- S! ;;
- ;.... r!
....;
- ~' <D i
<D
- eo lO -<C
~ ~
- CO· IQ 0 g-
' .... _z:i
-
- "" ~ :g' ~
:
...,
- <C ~ s ~ '8
.... -""
- 'It) - <il ~ .Ii)
""
"".
- .... ~ is ~ C'I l
"" i:!
.., ~ '" .., e-I ~
C? ';!' ..,
-e- -r---
- "" .., ~ <::> '" .... l
.... ~ ""
a>
- ,., s ~ . .., C>I- -10
:::! <C i'::
...
.... 2 ~ ~ '" -~
.... ~
- .,., ON <Ji ~, ,_
<0
CiI
- <0 co ~ ~ 8
""
.. ..... ... ~
- .... ~ ~ '2
....
- oc ~ ,~ 0
"" <::>
-
- eo :8 <D
""
""
- 0 :g ....
- ~
- - ~
-
- -<"I ;;
- <':I
- ...
-
-
- 18

mismo triangulo: para todo numero simple p todos los terminos de la p-esima linea; rnenos los dos extremes, son divisibles por p) I).

Esta chua que er procedimiento de formacion del triangulo de Pascal -se 10 podria dar sin recurrir a las mociones "ley de Pascal" 0 "linea de Pascal"; el triangulo de Pascal es sencillamente una tabla numerics infinite de "forma triangular" eon cuyos lad as se encuentran las unidades y todo numero, menos estas unidades laterales, se ohtiene como sumade dos numeros que estan encima de el, por su izquierda y derecha, En tal- forma el triangulo de Pascal aparecio en I'll "Tratado sobreel triangulo aritmetico" del rnismo autor, obra que se edit6 en 16(j5 despues del fallecimiento de su creador, Mas detalladamente, en dicho tratado .fue public-ada Ia siguiente tabla. 2) en que eada numero A es igual a In suma del numero anterior puesto en In fila horizontal en que se encuentra A y del ruimero anterior puesto en la ,fila vertical en que se encuentra tarnbien A:

I 1 I I I I 1 1 IJ 1
I .2 3 ! 4 5 6 7 8 9 I,
, 28 36
I 3 ·6 10 15 ;21
I 4 10" 20 35 56 84
I 5 15 3S' 70 126
i 6, 21 56, 126
. 'i' 28. ~4 '
1 -'
I :g ,36
I 9
~ Por 10 tanto, nuestro "triangulo de Pascal" difiere del "triangulo" que considero ei mismo Pascal con giro a 4sn .

. Pascal investigo deialladamente las propiedades y aplicaciones de su "triangulo"; algunas de estas aplicaeiones se consideraran en el siguiente

IJ Algunas de estas propiedades se consideran en las pags, 89-93 y 103 - 106 de Ia obra de E. 5, .II:!>l flKUfI Il B. A. Ycneucsut: «MaTCM!ilwICCKIlC 6 eceasi», M.-II., rOCTeXIt3,naT, 1952 (Dinkin E. B. Y Uspenski V. A. "Platicas maternaticas", Mosca - Leningrado, Gostejizdat, 1952, en ruso),

21 Vease 8, Pascal. Oeuvres completes, t. III. Paris, Hachette et Cie, 190B, pug. 144.

19

parrafo. Ahora, vamos a ofreoer como ejemplo, Ian s610 Ires propiedades del "triangulo" que hallo el mismo Pascal; en este caso (s610 en este lugar de nuestra exposicion) partiremos de aquella disposicion del "trulngulo" en el plano que indica Pascal y hablaremos de filas horizol1lales y certicales.

Propiedad 1. En latablacada numero A es -iguul a la suma de los numeros de 13 fila horizontal anterior. partiendo de la m.;is izquierda basta la dispuesta dtrectarneate por encima del numero A (vease la fig. 3 en que las casillas que conuenen los surnandos .y .que dan en suma A. esran rayadas),

Propiedad 2. En la 'tabla cada nurnero A es igual a In suma de los numeros "de la fila vertical anterior, partiendo de la superior hasta la dispuesta dircctamente par Is izquierda del 'numero A (fig. 4). .

Propiedad 3. Cada numero A de In tabla siendo disrninuido en una unidad, es igual a la suma de todos los nnmeros que reilenan el rectangulo lirnitado por aquellas mas verticales yhorizontales en cuya interseccion se encuentra el mirnero A (las propias liIas no se incluyen

en el rectangulo que se considera) (fig. 5). .

Se deja a cargo del lector Ia demostracion de -esras propiedades (sugerenda: la rercera proptedad SC deduce radlmeole' de- las primeras dos) .

A

FIG. 3

~ . J
~
~ A


'-- FIG. 4

..

A

FIG. S

20

Sin _ embargo, cien aiios antes de que naciera el tratado de Pascal; - la tabla que es de interes para nosotros, s610 no en Ia forma "triangular", sino .en la "rectangular", fue publicada en el ''Tratado general sabre ~I numero y Ia medida" (1556-1560) que tambien via la Iuz en parte despues de la muerte de su autor, el: distinguido matematico italiano Nicolas Tartaglia. Su tabla tenia la siguiente forma I):

1 I I I I
2 J 4 5 6
3 6 JO 15 21
4 10 20 35 56
5 15 35 70 126
6 21 56 126 252
7 28 84 ' 210 462
8 36 120 330 792 En.ellaia fila superior secompone por unidades; en cada una de las filas restantes el numero mas izquierdo es una unidad y el que 13 sigue se fOrJTI3 sumando dos .numecos que le preceden 'I estan por. encirna, Es natural que la tabla propuesta POt Tartaglia se Ilame "rectangulo de Tartaglia".

Los terrninos de cada linea de Pascal suelen 'nurnerarse de Izquierda a dereeha partiendo de cero, As!, el cuarto lugar en 1a quinta linea est4 -ocupado por el mimero 10, Elno.mero que se dispone en el k-esimo lugar, en la n-esima linea, se denotara par 11 de modo que, porejemplo, 1'8:= I, 11 = 10, Ti4 = 1001. Es evidcnre, que, .la expresion T.: ha sido definida con todo n ~ 0 y k = 0, I, ... , 11.

Consideraremos una sueesion inti nit a formada por los numeros 1! con. un k fiio y 11 variable, es decir, la sucesion

n, 11 + I, :n+2 •... , T~, ... (3.8)

Los terminos de esta sueesion son los numeros que figuranen cl triangulo .de Pascal "por fi:!:' izquierda, en la k-esima linea paralda al lado IZcquierdo", ast como, en virtud dela slmetrfa del (riangulo, los numeros que figuran "por Is .derecha, enla k-esirna linea para lela al lado dereeho", Ell el recuingulo de Tartaglia estos numeros rellenan la k-esima columna 'J la k-6si rna: linea.

I) Vease Zeu t hell, H .. G., Geschichte der Mathematik im Altertum und Mittelalter. Vorlesungen- von H. G. Zeuthen, Kopenhagen, Host, 1896..

21

Cuando k = 0 se obtendra la sucesion

.1, I, I, I, 1, I, ... ,

compuesta exclusivamente pot unidades (linea cero 0 columna CCfO en el rectangulo de Tartaglia).

Cuando k = I tenemos una s(lric natural

I, 2, 3, 4, 5, 6, ,.. .

(primera linea 0 primera columna del rectr:in~ulo de Tartaglia), Cuando k = 2 se obtendra In sucesion

1, 3, 6, 10, 15, 21, ....

(segunda linea 0 segunda columna del rectangulo de Tartaglia). Los terminus de esta sucesion se llaman Ii umeros trlanqulares: '1 esel primer numero triangular; 3, el segundo; 6, el tercero, etc.; el m-esimo numero triangular es igual a n.; Se llarnan nilmeros por indicar el mimero de bolas u otros objetos iguales . colocados en forma' de un triangulo [vease la fig. 6); el m-esimo numero triaugular, en particular,

(3)

o

Q Q

fiG. s

III

a

{4j

FrC.7

(6) ,

c

o 0 000

(10)

22 .

sefiala cu:inlos lerminos del triangulo .de Pascal se contienen en sus prirueras III llneas, de cero basta la (m- l)-esima,

Suponiendo k = 3 obtendremos la sucesion

I, 4, 10, ~20. 35, 56, ...

(tercera linea 0 tercera columna del rectangulo de Tartaglia). Los terminos de estu succsicn se llaman mlmems pir1lnlitlllles 0 mas cxactamente, /08 tetraedricos: I es el primer numero tetruedrico: 4, el segundo: 10. el terccro, etc.; es gue el· m.6~imo numero teiraedrico cs igual -a ri., Estes. numeros sennlah cuanras bolas Rueden coloearse en forma de una piramidc triangular (tctnicolo) (fig. 7.) ).

§ 4.

OPERACION DE PASCAL

En virtud de su definicion los nU,meros n se someten a las siguientes relaciones:

T8 = I,

(4.n (4.2)

T.:+I =;. r::!: = 1 para n:::;:; O. 1,2, ,

~+ I = T!- 1 + Tt para n = 0, 1, 2, ;

k = 1,2, ,.., 11.

(4.3)

I) Los numeros triangulates y pirumidalcs (que son casos particulares de los asl llamados numeros figuras) despertaron interes ya en Grecia Antigua., donde se les atrjbufan las propiedades mfsticas, Uno de los primeros tratados que nos lian llcgado yen. que se consideran estos mimeros es, por 10 visto, lu "Introduccion a la arnmetica" de Nicornaco (gr. Nikomakhos) de Gerasa, matematico. de Grecia Antigua, que vivia a fines del siglo 1 a. d. J. C. (vease Struik, D. J. A concise history of mathematics. Vol. 1-2. New -. York. Dover publications, cop. 1948; London, Bell, 1954;' Vall (IeI' Wacrdell,8. L: Science awakening. English transl, By Arnold Dresden. With additions of the author. Groningen, Noordhoff, (1961); Zeuthen; H. G. Geschichte der Mathematik .im Altertum und Mittelalter, Vorlesungen von H. G. Zeuthcn. Kopenhagen, Host, 1896.) Entre tanto, segun datos indirectqs, (as numeros poligonalcs eran conocldos mucho antes, en eJ siglo II a. d. J. C (vease Vall der Wucrliell, B. L; obra oitada, y mas antes aun, en el siglo V :I. d. J. C. por el famoso matemailco Pitagoraa y sus discipulos - pitagoricos (v ease Van der Waerden, B. L, obra citada, Zeuthen (Hieronymus}, obra citada, Struik, D .. J" obra citada,

23

Con estas relaciones se dan por complete- los mimeros T!; empleand 0 las igualdades (4.1) -(4.3) se puede constroircualquier cantidad de lineas del triangulo de Pascal.

Se puede -dar definicion complcmentaria II !.a j:xprtsi<m r. d.e- manera natural paraque ella tenga 'sentido con tcdo n cntero- 1)0 negativc-y todo k entero. Con esie fin, supongU01osque T! = O. 51 JL~· O. -y k.es. tal Que para el no estri cumplida aunque sea una de Jas .dos desigualdades: o ~ k Y k ~ n. Por 10 tanto, ~ = 0 para todos los pares (II, kl en los cuales n;. n. k: < 0 Y todos los pares (II, k) en los cuales. Il ~- 0, k > IZ. Ahara. In relacion ~ '" 'r!-' + r. se oumpHra para todosk [no s610. 'para k de 1 hasta Ii como en (4.3)) s : los numeros .'P, se daran par complete con las siguientes igualdsdes:

T8 = I, (4.4)

7t = 0 para k ¢ 0, (4.5)

7!_+1 "" n-1 + T~ para todos 11 ;. 0 y rodos k. (4.6)

Lo dicho- permire presenter el siguientecuadro demostranvo de surgimiento del tnangulo de Pascal, Consideremos Ja ta.Qla jnfinita ~9mlJUesla par ceres dispuestos al IresbolilJo, como 'se senBla a continuaeion

.... 0 0 00 .

.. ,. 00000 .

.... 0000 .

.... 00000,. ..

Por supuesro, para la tabla de esta indole se cumplira [a ley de Pasca! que consiste en que cada numero es la suma .de dos numeros preximos ala linea antenor IJ, Supongarnos ahora que en In lim;a inicia! de esta tabla uno de Ioa ceros' se ha sustiiuido por la u.nidad. Si exigimos que se cumpla Ja ley de Pascal, (1Il10nCeS .111 "perturbacicn' se.exteudera en forrna

I) Supongarnos que -Ia linea infinita

ha side obtenida tambien de Ia infinita

...• (L.2, eLl> llo, Ill, ...

segun laley de Pascal, ya que Sk= d~_1 +dr con todo k: De ahi se obtcndra la definicion de In Icy de Pascal para las [Incas flnitas 51 cada una de estas

se identifica con 11.1 infinita

.... , 0, 0, Xo, Xl'· .. ,' X,,, 0, 0, 0, ...

~4

de "angulo" como si se tratara .. de las ondas formadas pot el palo encorvudo puesto en un arroyo, o- sea, en forma del triangulo de Pascal:

.... 00 I 00 .

. " .. 00 I I 00 ..

.... 0 I 2 I 0 .

.... 0 I 3 3 I 0 ..

Dados los valoresarbitrarios n y k (11 == 0, 1, 2, ... ; k = 0, I, n), sepuede hallar ~ si se dispone de tiempo y paciencia suficientes, Con este fin conviene ernpezar a construir el triangulo de Pascal continuando Ia operaci6n hasta que se consiga el k-esjmb numero de la lH~sima linea, 0 sencillamente, se puede utilizar las relaeiones (4. L) - (4,3) que .. permiten definir T!. despues de ejercer el mimero Iinito de adiciones,

Ejerdcio(que se deja a cargo del lector). (;Cu<i.n(as adiciones seefectuaran para calcular T,: utilizando las.reiaciones (4.1) - (4.3)? (Tratese de disminuir el numero de estas adiciones recurriendo a la

simetria del triangulo de Pascal). .

Llamemos operaci,rin de Pascal a la que consiste en hallar el

numero 7!. con numeros n y k, '

La operacion .de Pascal queda definida para todos !I y k para los cuales II ~ 0; o~ k ~ n I),

Si se sigue definiendo r. como se sefialo mas arriba en. la pag. 23, la operacion de :Paseal se. definira para todo n entero no negative y para to do k enrcro,

Mediante -1a operacion de Pascal se escriben .facilmente los nurneros H! q'Wi sirven de soluoion para el problema' de la olimpiada planreado en el § 1. A fin de hallar tal representacion supongamos (para m = 0, 1, . ." .1000; q = 0, 1, ... , .m)

11 Mientras tanto, el mismo Pascal [partiendo de la propuesta disposicion de la tabla. sobre el plano, vease In 'Rag, 17) considerada en su tratado otra opcracion, a: saber, :)a de hallar por los numeros x e y el numero que se disponga: ell la interseccion de Ill, x-esima lila, vertical y de In j-esirna fila borizonta! [numerandose las .tilas' a partir de la primera, ya que esta operacion queda definida con oX;': 1, Y ~ 1). Si se denota el numcro que 'sed;~~a hallar por P (~ y). entonces es fadl enterarse de ~ue P [x, ,11)= TX-I+Y-h de donde I~ = P(k + 1,11- k + I).

Puesto que el numero dos elevado a 101 potencia ccro se considera igual, a I, con m = lOGO la igualdad (4.7) adquiere la forma Z100D =

"" :Hlool)· .

25

de manera que

(4.8)

Entonces de las relaciones (4.7) y (1, t) resulta

Zo - 1 21000 - I 0- 21000 • -.

(4.9)

Pongamos en las relaciones (12), (1.4) Y (1.3)enlugar de los numeros H:/. sue expresiones por Z,: eonforme a (4.8). De (1.2) se '

obtendra '

21000-"Z0

21000-( .. + I) zO _ n

.. +1 - 2 "

de donde

(4.10)

Igualmente de (1.4) tenernos

de donde

z:!l = Z:.

~ -

-(4.11)

Por fin, de (1.3) resulta

10 00 21000- ... Z~-I, + 21 000-" Z~

2 (I -("+1) Z!'+l ;;0 ""'-..,.. -"-"

,2

de donde

Zk Zk-I Zk

.. +1 = n + ~,

(4.12)

Las igualdades (4.10) - (4.12) indican que cada linea

0)"+1 == <Z~+l' ... , z~t:),

donde n = 0, 1, ... , 999 se obtiene de la anterior , Wn = (Z~, .. " Z:),

segun la ley de Pascal. Puesto que, como se 'ire de Ja igualdad (4.9), la linea ·inicial

roo = (Z8)

es la linea cere de Pascal, entonces la que sigue, COj, es la pf'imera linea de Pascal, 13. (02. su segunda linea, etc.; para cada m de 0

26

hasta 1000 1) la linea rom es la m-eshna linea de Pascal y

Z~ = 7;:. (4.13)

Por consiguiente, en virtud de (4.8), siendo Gada m = 0; 1, ... 1000 y cada k = 0, 1, ... , m

(4.14)

En particular,

H1000 = TjlOQQ'

(4.15)

De ah] se desprende que la cantidad de hombres que llegaron a los cruces de.Ia milesima fila no es otra cose que los miembros de la milesima linea de Pascal. SI la operacion de Pascal se tiene por "universalmente admitida", Ia igualdad (4.15) ofrecera la solucion para el problema del § 1 (en Ia tercera interpretacion indicada al final del § 2). En los siguientes dos parrafos veremos como se logra hallar las soluciones de dos problemas importantes par medio de Ia operaci6n de Pascal.

§ S.

COEFICIENTES BINOMIALES

En estc parrafo sefialarernos como se puede expresar los asi llamados cocl!ch/ntes binomiaies par medio de 1a opera cion de Pascal, Los ultimos se definen como sigue,

Tomemos el binomio 1 + x y empecernos a elevarlo a las potencias 0, 1, 2, 3, etc., disponiendo los polinomios que se obtengan segun los exponentes crecientes de la ietra x. Tenemos

(1 + x)" = I, (5.1)

(J + X)I = 1 + x, (5.2)

(1 + x? = (l + x)(l + x) = I + 2x + x2, (5.3)

(I + X)3 "" (I + xY'\l + x) "" 1 + 3x + 3x.2· + x3, (5.4) ,

etc.

En general, para cualquier numero n entero no negativo

(I + x)" = ao + alx + a2x2 + ... + GpXP, (5.5)

I! Cuando m :> 1000, 101 linea (Om no esta definida.

27

donde 40, C/ I, ... , a, son ciertos numeros. Si se quiere, no costaria mueho tmbajo para eerciorarse de que p = /I Y Qo = ii, = I. Sin embargo, no es eso 10 que se necesita ahora. Esto se conseguira como consecuencia de una formula mas comun, En esta etapa basta saber, que 01 resultado de elevacion del binomio (1 + x) a la potencia n (donde /1 es un numero cntero no negativo) puede ser cscrito en forma de un polinomio can coeficientes numericos, ordenado segun los exponentes crecientes de la letra x como se sefiala en 101 relacion (5.5). EI polinomio . que figura fl." el segundo miembro de esta relacion, sedenomina tfbarrollo de{ binomio para el exponente fl. Sus coeficientcs (su nurnero es p) dependen, naturalmente, de n. Para subrayar esta dcpendencia, se utilizan frecuentemente unas designaciones especiales para estes coeficientes de los cuales forma parte 11. Precisamerne, el coeflciente de .Y!' en el desarrollo del binomio para el cxponente II se designa por (k). Tales nurneros se Haman coeficientes binomiales.

La relacion (5.5) puede ser escrita ahora en forma de

(1 + x)" = (0) + (7) x + t!)xl + ... + t~)xP (5.6)

y de las relaciones (5.1) - (5.4) se deduce (&) = I W=I(l)=l @=lm=2@=1

@ = 1 W = 3 m == 3 (~) = I.

Se ve que para los exponentes 11=0, I, .2, 3 las lineas de los coetlcientes binomiales coinciden respectivamente can las 0, I, 2, 3 del triangulo de Pascal. Nos varnos a cerciorar de que esto es cierto para todo n. Con este fin, verernos como se obtiene In linea de coeficientes para el exponcnte n + I de la de coeficientes para el n. Utilicernos la formula

(1 + xl"'" 1 = (1 + x)~(l + x). (5.7)

Eseribamos para los miembros pnmero y segundo de esta formula los desarrollos segun los exponentes crecientes de la Ietra x. S~stituyendq /I porI! + I, In formula (5,6) ofreceni para el primer miembro:

(1 +xt+1 =(~+l)+{~+l}X+ ... +(k+l)Xk+ ... +(~+t)x'l, (5.8)

28

donde q es cierto numero. Para el segundo, debido a la misrna formula (5.6), se obtcndra:

(I + x)"(l + x] = [(0) + (i)x + + (~)xP]·(l + x) '"' (0) + ('i) X + ,.,

+ m·xk + ... + (;)x" + (0) x + + (~_·l)Xk + .. , + (;-dx" +

+ (;}xp+1 =- (~) + [(3) + (j)] x + ... + W-I) + (V] xl' + ... +

+ [(;-1) + (;)] )..p + (;) xl'+ I, (5.9)

En virtud de (5:7) los miembros segundos de las relaciones (5.8) y (5,9) son equivalentes, Par eso q = p + I; igualando los coeficientes de la letra x con iguales exponentes, se deduce

(5.10) (5.11) (5.12)

Las relaciones (5.10) - (5.12) muestran que Ja·.1 inea de coeficientes de desarrollo para 'el exponente n + 1 se obtiene de Ia de 'coeficientes de desarrollo para el exponente n segun la ley de Pascal. Puesto que la linea de coeficientes de desarrollo para el cxponente 0 coincide con la linea cero de Pascal. todas las Ilneas sucesivas de coeficientes coincidiran tarnbien can las lineas respect i vas del triangulo de Pascal. Par eso los numeros m estan definidostan s61.0 con k = 0, 1, .. ,' n; 'con .la particularidad Qe que

(5.13)

Obsemacibn. A la preguuta "i,con qui: coeficientes integran x - J Y x20 en el' desarrollo de]- binomio para el exponente 51" se podrfa responder: "con coeflcientes cquivalentes Ii cero", Es natural que se sign definiendo la expresion (~). para los cases k <: 0 Y k > 11, suponiendo que (~) = O. Entonces, la igualdad (5.13) en virtud de la definicion cornplementaria hecha en el parrafo anterior para el simbolo T~ sera valida para todos n no negatives y todos k enteros,

Por 10 tanto, han sido expresados los coeficientes binomiales por medio de la operacion de Pascal. Se podria escribir ahora 1a relacion (5.6) en Ia siguiente forma:

(1 + x)" = ~ +T~x + r;x2 + .: .. + ~Xk + , .. + T'.:x". (5.14)

A veces la formula (5.14) se denomina formula del binomio de

29

"-

Newton 0, sencillarnente, binomio de Newton I). Otra forma, mas

tradicional, de esta formula se ofrecera en eI § 7.

Puede admitirse que en el presente parrafo hemos considerado el siguiente "problema so brelos coeficientes binorniales": hallar la expresion para (f). Como conocemosdel § 2 se puede cornprender de distinta rnanera 10 que es la solucion para el problema de este tipo, Si, por ejeinplo, se tiene par solucion la expresion que per mite pasar de n y kal coeficiente binomial correspondiente (en representacion decimal), entonces m sera de par si la solucion, Exijamos que la solucion exprese (~ par media de los rnimeros II, k y las operaciones "universal mente admitidas"; tal interpretacion de la solucion dependra de Ia, eleccion de las' ultimas, Si la operacion de Pascal se considera 'como "universalmente admitida", .Ia formula (5. t 3) of recent la soluci6n para el problema sabre los coeflcientes binorniales. Otra soluci6n de este problema, rccurriendo a otras operaciones "universalmente admitidas",", se ofrecera en el§ 7.

§ 6.

NUMERO DE PARTES DE UN CONJUNTO DADO

En las matematicas se llama' conJul1ro a toda coleccion de

o bjetos. Por ~je.m"plo:

a) In de todas las paginas del presente folleto;

b) la de todos los nurneros enteros; c] la de todos los numerus pares;

d) la de todos los Iapices puestos en una cajetilla dada. Todas esas colecciones seran conjunios.

Si estan seiialados un objeto y cierto conjunto, pueden haber dos casos:

1) el objeto pertenece al conjunto que se considera;

2) el objeto no pertenece al conjunto que se considera,

II La formula (5.14) era conocida mucho antes lie Newton, en partlcular, por Tartaglia de' quien se ha dicho ya. EJ nombre de Newton se vincula con [a formula en cuestiort excluslvamente porque era quien indic6 en 1676 er procedimiento de suo generalizacion para el caso de exponente racional arbitrario [incluso elnegativo).

30

En el primer ease el objeto se llama elemenio del conjunto a considetar, Par ejemplo, el nurnero 3 es el elernento del conjunto de todos los nurneros enteros sin que 10, sea para eJ conjunro de todos los nurneros pares.

Puedesuceder que todos los elementos de cierto conjunto A sean simultaneameote los elementos de un otro conjunto B (par ejemplo, 'todos los elementos del conjunto de todos los numeros pares son los elementos del conjunto de todos los numeros enteros). En este caso, el conjunto A se llama parte 0 subconjunto del. conjunto B. Es evidente que cada conjunto es parte de sf mismo. Si el coojunto A es una parte del conjunto B y el ultimo es la del conjunto A, esto quiere decir que A y B se componen par los mismos elementos, es decir, coinciden (constituyen "el mismo conjunto").

Los conjuntos pueden ser finuos [los de los ejemplos citados mas arriba, en los puntos a) Y d) e inflnitos [los de los ejcmplos sefialados en Ips. punt os b) y e)l Los conjuntos finites (s610 estes seran considerados en este parrafo) constituyen e1 objeto de estudio de una disciplina matematica especial que se llama teoria cambinatoria.

Entre los conjuntos finitos 5C distingue uno especial, a saber, un conjunto que no .contiene ningunos elementos; tal conjunto se llama vacio. Por 1.0 tanto, no se excluye la posibilidad de que al abrir la cajetilla, serevele que el conjunto de lapices que esta contiene, este. vacio, He .. ahi' 10 que escribe sabre el conjunto vacio Alexandrov P. S. J);

Al genero de conjuntos finitos se refiere tambien el conjunto vacio, es decir, el conjunto quc no conticne nmgun elemento ; el

.. numero de elementos del conjunto vacio es cera. La conveniencia de considerar ¢I conjuntc vacio se debe a que cuando se define, de la forma que sea, el conjunto, es posibJe que no se sepa de antemano sl es te contiene por 10 menos un elemento, Por ejemplo, es probable quevel conjunto de avestruces que en actualidad se hallan tras el cfrculo polar, este vacio; sin embargo, 00 se [0 puede afirmar acertadamente,ya que puede ser que algun capitan haya lIevado alia un a vestruz", EI conjunto vacio se tiene par parte de todo conjunto,

I) AAeKcallop')6 IT.C. BBe}lC:U1~e B o6111ytO -reopato MHOlKeCTB Il QlYH!amfi, M . ..,..JI., roC're.x.1f3.o.aT,1948, CTp. 14. (Aleximdl"ov P. S., Introduccion a la teorta .general de conjuntos y funciones. Moscu-Leningrad, Cos tej izqat, 1948, pag. 1.4, en rUS9.)

31

Si el conjunto es finite, sus elementos pueden contarse hallando, por 10 tanto, el mimero de los elementos del conjunto. El conjunto cornpuesto por n elementos se llama "el de n elementos' . EI conjunto de paginas de este folleto es, pot ejemplo, el de 39 elementos, el conjunto vaclo es el de 0 elementos ..

Ejemplo. Considerarernos un conjuntocompuesto por tres objetos: lapiz, pluma y gom_a de borrar. Hallemos !od~ssus partes; .Se tiene exactamentc una parte de cera elementos, 0 sea, un conjunto vacio. Hay exactarnente (res partes de un elem"~to:

o

,

,

Hay exactamente tres partes de dos elementos:

32

Par fin, hay exactarnente una parte de Ires elementos (que coincide can todo el conjunto): .

Por consiguiente, en total, este conjunto tiene ocho partes. Que este dado un conjunto compuesto par n elementos.

Toda su parte de k elementos se llama' combinacibn de n elementos dados por k. (Son las mismas combinaciones que se exponen en el curso escolar de algebra, en <.:1 apartado "Ordenacion''], Es evidente que el nurnero de combinaciones de 11 elementos dad as por k no depende de cuales.son los n-·elementos que Sf: han dado, sino solamente de los numeros n y k; motivo por el cual este Ililmero se llama brevemente como numero de combinaciones de 11 elementos por k y se designa mediante

~.

En otras palabras, e~ es ei nemero de partes de k elementos del conjunro de 11 elementos, Suele considerarse que la expresion 'C! tiene sentido cuando n = 0, 1, 2 •.... , 0 ~ k ~ nO.

El numero de todas las partes del conjunto de n elementos se denotara par C~, ast que

Cn = C~ + C! + ... + e:.

(6.1)

lA que son equivalentes, pues, los numeros en, C~? A algunas de estas preguntas -se les podria dar una respuesta inmediata. Del ejemplo recien examinado se desprende que C3 = 8, cg = - C3 - I e1 - e2 - 3

- J-, ~- 3- .

II Mienlras tanto, es natural Creer que la expresi6n C~ tiene sentido tambien con k > n y es equivalente on eSIO ease a cere (ya que aqui no hay del todo partes de k elementos).

33

Luego tiene lugar 10 siguiente,

Primera propiedad del numero de combinadones:

co -C"'= 1 "

m- m .

(6.2)

Demonstracion. Efectivamente, el conjunto de m elementos tiene exactamente una parte de 0 elementos (conjunto vacio) y exactamente una parte de m elementos (el propio conjunto E).

Bstablezcamos ahara, sin calcular los propios numeros C~, otras dos propiedades de estes numeros, El establecirniento de la segunda propiedad sera un ejercicicutil para [a asimilaci6n de las nociones expuestas en este parrafo; en 10 que se refiere a Ia tereera propiedad, es precisamente ella que junto can la primera constituira la base para los calculosde Ids mimeros C:.

Segundo propiedad del numero de combinaciones:

(6.3)

Demonstracion. Censideremos cierto conjunto M cornpuesto.por n elementos. Debe demostrarse que el numero de sus partes de k elementos es equivaJente al de sus partes de (It - k) elementos. Imaginemos la siguiente construcci6n. Cortemos. de papel tantos cuadrados cuantas partes de k 'elementos haya, en este conjunto (es decir, C!) representando. por cada uno de ell os una de estas partes' de modo que cada parte de k elementos este representada en uno de los cuadrados. A continuacion, cortemos de' papel C~-A circulos y expresemos cada una de las partes de (/I - k) elementos exactamente por uno de estes circulos, Nos basta ahora revelar que hay iguai cantidad de circulos y cuadrados. Con este proposito coloquemos todos los cuadrados sobrela mesa poniendo sobre cada cuadrado un circuloconforme a Ia siguiente regia: 5i por medio del cuadrado esta representada cierta parte del conjunto M compuesta por k elementos, se ha de colocar sobreeste cuadrado el circulo que represente la parte del conjunto M compuesta por los demas n - k elementos, es decir, por todos aquellos elementos del conjunto M que no hayan integrado la parte representada en el cuadrado (fa fig. 8 ofrece varies cuadrados junto con cornpuesto por cinco elementos a, b, c, .d, e), Es evidente que sobre cada cuadrado se pondra exactamente' un circulo y cada circulo se colocara exactamente sobre un cuadrado, ESlO sigaifica que el niimero de clrculos es equivalente al de cuadrados,

Antes de pasar a la tercera propiedad demostremos e) siguiente lema.

34

lEMA. Escojamos en" el conjumo de- (11 + 1) elementos cierto elemento .. EI Itumero, de las partes de k elementos de este con junto que conueneneste elemenso eseoqido, C$ equivCilellte a Q~-l.

De.mt/11str:acion. Volvamos a efectuar el experimento mental con cir,culgs 1. cuadrados, Cortemos de papel tantos cuadrados cuanto

R ~

'~ \Q

conju'IHO 'i'o~io

00 DO

\

FIG. 8

haya partes de k elementos, que contengan el elemento escogido, y representemos en .. cada uno de ellos una parte tal que esten expresadas todas las partes. Corternos de papel C!-I circulos y representemos en cada circulo una de las partes de (k - 1) elementos del conjunto.de todos los elementos no separados de modo que todas 'tales partes esten representadas (hay It elementos no escogidos, motive por el cual hay exactarnente c:-! tales partes], Pongamos sobre cada cuadrado un. circulo conforme a la siguiente regia: 'si el cuadrado represenra cierto conjumo A, ha de colocarse sobre et un, circulo que tenga representado el conjunto obtenido .de A elimioando el elemento escogido. Es 'evidente que sobre cada cuadrado se pondra exactarnente un circulo y cada circulo se colocara exactamente sabre un cuadrado. Esto significa que el numero de c"4a~~ad6s es equivalente al de circulos,es decir, d.~ I. Pero, him sido cortados exactarnente tantos cuadra dos, cuantas partes de k elementos del coniunto de (/1 + 1) elementos contienen el elemento escogido. Por 10 tanto, el numero de tales parte's' es equivalente a C!- t, 10 que queda demostrado,

Pasemosahcra a Ia tereera propiedad del nurnero C~. Tercera propiedad del nitmero de combinaciunes:

'C::'H = C: -J' + C!.

(6.4)

35

Demonstriicion. Tomernos el conjunto arbitrario M de (n + 1) elementos y compongamos todas sus partes de k elementos. Escojarnos en M cierto elemento 'd,cnotandoio con Ia letra minuscula £/. Designemos por Ia letra mayuscula X el nurnero de aquellas partes de k elementos del conjunto M que cornengan el elernento a y por la Y el de aquellas partes de k elementos del conjunto M que no contengan a. Entonces

C~+ I = X + Y. (6.5)

Perc, segun el lema, X = C~ - I. En 10 que atai'ie, a y, esto -es el numero de cornblnaciones por k de 11 elementos no escogidos, es decir, C~. Por eso,

C~1-1 = C!- I, + C!, (6.6)

10 que queda dernostrado.

La tercera propiedad igual como la prirnera sefiala que la linea

CO CI C'~""l ,,+ I' ,,+1' ... , ~+ I

..(6~7)

se obtiene de la

c~, C~, ... , C~

(6.8)·

de acuerdo can la ley de Pascal. Puesto que can ,,= 0 la linea

cg

(6.9)

coincide, en virtud de (6.2), con Ia linea cera de Pascal, tambien para n arbitrario Ia linea (6.8) coincidira con ia n·bsima linea de Pascal, y par eso,

c~ = 'Pn.

(6.10)

Par consiguiente, ya sabemos calcular el mimero de las partes de k elementos del conjunto de n elementos: por 10 tanto; el" mimero de cornbinaciones de tl elementos por k (la formula' (6 . .10) da la solucion del "Problema sobre el numero de combinaciones" a condicion de que la operacion de Pascal se tenga por "urnversaimente admitida" 1).

En 10 que roe refiere a] numero de todas las partes del' conjunto de n elementos, las relaciones (6.1) y (6.IQ) senala" que este numero es equivalente a. 1a suma de los terminos de la ,,·6sima linea de Pascal, la cud, como se sabe, es equivalente a 2n. Deftniti vamente,

.(6.11)

I) El lector hallara en eI ~ 1 olea resolucion, con empleo de otras operaciones "universalmente adrnitidas",

36

§ 7.

ViNCULO

CON F ACTORIALES

En e1 § 4 se dan dog procedimientos para calcular el ruimero T,: can 11 y k prefijados: eI procedimiento mas "mecanico" [perc, que lleva a calculos adlcionales) de construcion gradual del triangulo de Pascal y el mas "economico" por 1a cantidad de operaciones (pero, que exige una organizacion determinada de calculos) que consisteen utilizar las relaciones (4.1) - (4..3). Ambos procedimlentos 50[1 muy semejantes y, en 10 fundamental, se deducen directamente de los numeros dados ~ par medic de la ley de Pascal. Sin embargo, existe tambien otro procedimiento para hallar ri que

se sefiala a continuacion, ,

Imroduzcamos a1 principio una designacion, Supongamos que

O! =0,

y para todo m entero

m! = (m - I) ! m.

POr consiguienteccuando m > 0,

m! = 1-2 ... m.

- La .expresi6n nt! se lee as{; "factorial del mimero m" 0 en forma mas breve: '''m factorial".

Expresemos, ahora la operacion de Pascal por 13 de calculo de la factorial- y_ lasoperaciones aritmeticas, Con este proposito se considerara la siguiente expresion:

. m!

iJ!_(m - q).! •

Designemos esta expresion por f~. Es evidente que la expresion P! tiene sentido con 1'Il;<l: 0, 0 ~ q ~ m. Anotemos que

() O!

Po = O!O!= 1.

Luego,

po. m! [F'" _ m! --J . ,;, = Orm! = ,m - mlQ! - .

37

Par fin,

k I k n! + n!

F~-.+F~= =

(k -1) ! (n - k + l] ! k ! (n - k) !

=

nl n!

. +..,.,....---,..,...,..,~---,:-:-:- ....

(k -I) !(II- k)!(n - k + I) ". (k ~ I)lk.(n - k)!

=

II~ [ .. I + kl J

(k - 1) ! (n - k) ! II - k + 1

II! --c:--.,..,....,7-----:~ x

(k - 1) !(n - k) !

n-i-I

x -;-:-~-7--:-:-

k(n - k + 1)

(n+1)1 =F~+l.

k! (n + I - k)!

Asi pues, la linea

Fg

es la I inea cera de Pascal, y la "(II + I)" -esima . I inea F~+h F~+I' ... , F~11

se obtiene de la "n"-esima

F2, F! •... , F~

segun la ley de Pascal. Par eso can todo m = 0, 1, 2, ._. la linea F~, Ff", ... , F;::

coincide can la m-esima linea de Pascal y F~= T:!,.

De ahi

m!

T:!,=

q!(m - q)! .

Par consiguiente, hemos expressdo la operaeion de Pascal par las operaciones de calculo de la factorial, la sustraccion, multiplicacion y division en el sentido de que hemos encontrado para T:!, la expresion que contiene, adem as de m y q, solo los signos de las operaciones seftaladas, Estootorga la posibilidad de calcular T:!" ya que sabemos calcular las factoriales, las diferencias, los product os y cocientes.

De la f6rmula recien hallada para T;t se puede -sacar una serie de consecuencias,

38

COTls_ecuencia I. Simplificando en la expresion hallada para T:' el numerador y denominador en (m - q)! resulta

p = m(m - n···Em - (q -I))

In 1.2 ... 4 .

Conseeuencia 2. Que sea In ~ I, 1 ~ q. El producto de 4 facta res m (m - 1) ... [m - ('I - 1-)] se divide .sicmpre por el producto de- q multiplieadores 1· 2 .... q.

Efectivamente, en virtud de la consecucncia I, la relaci6n de estes productos es equivalente aT!. y T! es un numero entero, 'Gonsecuencia 3. De la, relacion (4.15) sc deduce

WOO!

H1oQo = '11(1000 _ q)! .

Esta es lanueva forma, para In resolucion del problema del § 1.

Consecuencia 4. De Ia relaci6n (5.!'3) se obtiene

(~)= 'n! ,,(n - I) ... [tJ'- (k - 1)]

k! (n - k) r ... I ·2 ... k ' .

Esta es. 1a expresi6n "escolar" tradicional para el coeficiente binomial.

COIl,veclI:mcia 5. De la relacion (5.14) y Ja vconsecuencia 1 se

deduce que -

(1 "+ X)~I C '1 + fiX + l1'(n ~.~)X2 + ... +

/'

,+_n(n-l) ... [n-(k-l)] . .k n

.2 k _,1;-+ ... +X.

1 - ...

Esta esIa forma "escolar" tradieional de la formula del binomio de Newton .

. Cons,c~e~Ci_ci 6. La relacion (6.10) ofrece la formula. "escolar' tradicional para el nurnero de combinaciones

= _',(lI-I) ... [n-(k-l)] ]·2 ... k

A NUESTOS LECfORES:

"Mir" edira Jibros soviencos traducidos al espaftol, ingles, frances, arabe y otros idiomas extranjeros. Entre ellos figuran tas mejores obras de las disiintas rarnas de la ciencia y la tecnica: manunles para los centres 'de enserianza superior y escuelas tccnolegicaa; literature sobre ciencias naturales y medicas, rambien se incluyen monograftas, Iibros de divulgacion cienuflca y ciencia-ficci6n.

Dirijan sus opiniones II 13 Editorial "Mir", I Rlzhskf per" '2, 129820.

Moscu. 1-110, asp, URSS.

En 1978 la Editorial Mir publica:

Lubich. Yu., Shor L.

METODO CINEMA. TIeD EN LOS PROBLEMAS GEbMETR~COS

Smogorzhevski A.

ACERCA DE LA GEOMETRiA DE LOBACHEVSKI

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

" " •

" " " •

lecoio'nes populares de matematicas

• "

:-----------------------------------------

" •

• • • • • • • • • •

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

En 1978 editorial Mir publica:

Lidski V. y otros Problemas de matematica elemental Lubich Yu., Shor L.

Metodo cinematico

en los problemas geometricos Smogorzhevski A.

Acerca de la geometria de Lobachevski

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

• • •

!-----------------------------------------

• • •

" •

" •

" "

.-----------------------------------------

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

Editorial MIR

Moseu

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->