, . ".....,..,.,....- c·~_... • '-"''i''~'!

Lecciones populares

de matematlcas

CARACTERisTICA EULERIANA

Yu. Shashkin

~~itorial MIR ~ MO~~~"

CAHACTItRISTICA IWI,F.RIAN A.

1101lY Jim' IIbl E Jll~W l~1l1 110 M:\T ~M.'\'rlHtE

10. A. 111 A III R.IUI

Uf1.1 EPOBr\ XAPAKTEPl1CTaHA

MomlllA ~HAYRA.

LI~CGWNI~S POL'UL,'\){BS DI5 IIHT I~M \TICAS

Yl1. SHASHKI N

CARACTERISTICA EULERIANA

EdHo!'in 1 M if:

MOSci'L

'fradurir!o rld ruso pill B. Mireh!!v~ki

Impreso en Ia U~SS

Ilu JH""alHlKml IIlJl>IlW

ISBN 5..()3·{)OO(i7Hl

© l-I~Jln'fe.l\ l,C,Tllt;l ~ HaYK1'~, 1084 © truducci6n revlsadn y arnpliada " II I cspaij 01, od it erial M j r, HI89

5

INDICE

Prelacio (I

§ l. ["')l'IlluJas de ~lJler 1IlII'a III roct« y ol 1'1.1110 8

§ :!. ~Qmj es III caractaristtea de Euler? 15

3. Caructsristica eulertana dl) I()~ ]1,,1 igonos ~

§ 4, Caracteristlca de Euler y suma de los

lulgulos exterlores de 1111 Jloligono 34

§ 5. Ajllkac.illH do In caracterist.lca tIe

gul(.)' a l culculo de areas 38

§ ro, Formula do Ellh,r paru l,1 ospaclo 46

§ 7, j<'urmulu de Euler para pol iedrns COllVt','(OS

y sua corolarioe 5t

§ ~. Ax lomas de Ia caractertsticu <II.! Euler 61

~ \1. D('HlOstr,-,,:i6n de III. existcncia de III.

caructerist ieu d" Euler 69

§ 10. Equlva lencia (Intra dos doturm inncionos

de Ia caracterjstrca do ~uJN' 75

§ 11. Figunl~ dCIoenta 1 es sobre III. esft_1'1l J' sus

c.m·ae-kl'i"tkns de Euler 89

§ 12. ApJi('a~,iollcs sncesivus du lu curacturist.ica

de Euler 94

fjibli()gmfia 109

pnEFACIO

Leonardo Euler (1707-1783), eminente matemattco del siglo XVUI, lInd6 on la ciudad suiza de Basilea. Desde. los veinte afins vivie en San Petcrsburgo , Berlin y Juego de nuevo en San Petersburgo. Euler juga un papal insigne en 01 desarrollo de las matemiiticas, Ia mecanica, La Iisica y Ia tOcnica. Fue 01 pionero de las i nvestigaciones ruaterruit.icas en R usia.

En 17.'58, en las «Memorias de la Academia de Ciencias de Pstersburgo» publico la demostraci6n de 13 formula

V-A+C=2

(0.1)

que cn lasa entre si 10<1 mnneros de vertices V, artst.as A y caras C de un polledro convexo arbitrario.

El follolo que so ofrece al Iector esta dedicado a 13 f6['mula de Euler (0.1), asl como a sus dlforentes analogos y aplicaciones, Supougamos, por ejemplo, que el plano tione una Iamllia fini ta de rectas que so iutorsecan en clerto uumero de puntos V «vertices}) divid iendo cl plano ell C «caras», m icntras (lue las mismas se d ividcn. por los vertiues en A earistes». Entouces resulta que

V-A+C=1.

(0.2)

A I igua 1 q ue In f orrn u 111. (0:1) es jus ta para un po lied ro convexo C1HI.1!{ ulcra, In formula (0.2) es jus! a para una farnilia do rectos cualquiera scbre e1 plano y no dapende de su mimero Hi de la dtspostcion mutua do las mismas,

En general, 10 notable del heche consiste en que si esta dada una figllra (de cierta claso dcterminada), comoquiern que £)8t6' dividida en partes (onras, aristas y vertices) que de cierta ruanera elindana unos con otros, la suma de slgno variable V - A + C, denominada caracteristtca tie EIJ ler de Ill. figura, conserve un va lor constanto.

Eft I a pr imera parte do dicho folleto (§§ 1-7) se calcuIan las earactcrfsticas do Euler de la recta, el plano, el ospaoio tr id i monxinnn}, poltgonos de. diferont.cs clases, los Hmites de los pol iedros convexos. En los §§ 4 y 5 so exponen las aphcactones de la caraotaris tica de Euler con arreg lo "I ca lcuro dpl area del pohgono y la suma de :,\11:'1 allglllo~ ux tertures.

7

En Ia segunda parte dol folleto (§§ 8-12) I i:I caracterlstica de Euler de una figura (por €!jeru plo, de un poligono) so dcterrnina ax iornal.icamen te como In dllncion adrtivae de diclia Iigura. En estesentido ella se parece al iit'eft del po1i:gono. Para dcducir el area de In union de des poligonos es necesarlo , como se ssbe, restar nil In suma de sus areas el area de 911 intsrssccion. Precisarnonte est-a es Ia propiedad de ad itividad del area. Uno de Ios ax iomas de I a caraeterisrlca de Ell Ier ex i ge q ue est.a tenga una proplcdad analoga, EI segundo axioma (eJ de enormacton») disungus sl area y I a carae teris ti ca. La «norma ci 0 n ~ de Ia primera de est.as dos Iunciones del po ligono exigc que el area del cuadrado unitario sea iguaJ fl 11.1 unidad. La caracterlstica de Euler se «nnrrna» de l.a l mansra que results igual a la un id ad en cada pol ignno convexo.

En el § 9 se demuestra [a existencia do Ia caracteristlca de Euler que satisface los axlomas dados, yen eJ § 10, la equi valencia de sus dos daterrntnnctonos diforcnt.es. £'.:1 § 12 (final) ccntiene las aplfcaclones de I» caracterfstica de Euler II ciertos problemas de geometria com hinatorla, corriente nueva de I as maternaticas, con I a cualel lector puedo familiarizarse, por ejemplo, en los Ii bros 12], 15], [6 J (las cifras en tee corohetes pertsnecen a 1 us !lll m eros de los Iibros en la bibliografia aducida ell In plig. 10m.

En el folleto no se dice nada de la invarlacion topologic.a de I a cars cterlstica de E ulor y, en genera I, de su papal em la topologis. EI lector puedc obtoner datos sohro esto ell cl libro de V.G. Bolti<lnski _y V.A. Efl't')01I;vtch [11.

Yu. A. Sll(j.~hkin

8

§ 1. FORMULAS nil: EULER PABA LA RECTA Y EL PLANO

La variaute mas simple de Ia formula do Euler surge 01 di vi d if J a recta L en partes por un conjunto finito de pun tos. Si se escogen so bre Ia recta V pun tos, €stos Ia divi den on \'-1 segmcntos y dos rayos, es dec ir, co V + 1 partes. Designaudo .. I mirnero do d ichas partes por A. tendremos

V-A=-1.

(1.1)

Precise men 1.1.\ cst.! COl In formula de Euler para Ia recta. Esta formula durnuost.ra que Ia (lifcrCllcia V - A as

aJ

6J

c)

9)

h)

I)

Fig. 1

co nstan tc, os (i I'd r , 110 d epe nd 0 II (' I 11 lUHt'l'I ) de pu n ~()S tlscogitlos IlL de su posicion, y {' xprasa , por tanto, una prcpiedad de la misma recta.

Pasomos ull( .... a al plnun Q y trntcmos rle obtenor para estu Ia formula de Euler analoga a Iu (1.0. E~tc problema

9

ell miis comphcado e interesante pa ra ul plano quo para la recta: efectfvamente, Ia division se efectria on est.e coso por una familia finita de rect.as situsdas sobre el plano de rnaneras diferentes. Por ejemplo, dos rectas pueden intersecarse 0 ser paralelas. Existen cuatro cases de disposicien mutua de tres rectus, a saber: Ills tres reel as son paralelas: dos son pnralalas, miontras quo I a tercera las interseca: cada par cia rectas tiene un punto com iin, pero no existe tal punto para las tres; las tres rectas pasan por un punta. Los dlfsrentes casos de dlsposicicn de las cuatro rectas pucden verse en la fig. 1; 511 descripcion verbal saria dificultosa. So podria exarninar 18 disposicion de cinco, seis y mas rectas: con el crecimiento del numaro de rectas aume nta nipidamentc 01 numero de difcrentes formas de disposicion,

Cada familia derectas divide el pl a no en partes llamadas caras de porticidn; designarernos Btl nfimero cnn Ill, letra C. Llamanse vertices de parlid6n los puntos de intersecoion de dichas rectas, y aristas de porticuin, Ins partes en las cuales las rertas estan parttdas POl' los vertices. Designemos con las letras V yAel mimero de vertices y eJ mimero de aristas de partici6n, respect! vamente. La partician puede no tener ni 11n solo verl:ice (entonces V = 0); sera exclusivamente en los casos cuaudo cada dos rectas son para lalas. Es natural que las propias rectas se consideran aristas de tal pnrticien.

Resulta que los ruimercs V, A y C 05t311 enluzados an tra $1 mediante Ia relaci6n

V-A+C=1.

(1.2)

1!:sta es Ia f6rmulfl. de Euler para 01 plano: olin m uestrn que l a suma de signo variable V - A + C es constante, as decir, no depende del mirnero de rectas quo parten 01 p1ano, ni de su disposichin mutua. Por tanto Ia Iorrnnla do Euler express La pro piedad del proplo plano Q.

Domostremos In formula (1.2) para una pal'tiuiou que producen n rectas, haclendo previamunte unas observeciones.

Primero, en pI caso cuanrlo I n pnrt.icion no t.irl)o wlrticos, l a f6rmnl a (1.2) es ov idontf', puosto 'lUI' cntoncss V = 0, A = nyC = n + 1.

Segundo, demostremos 01 ~iglliente lema, ut.i I tambien para otros casos.

\,i<',M \ I Si sobro el plano eslti dado un. mimero [iniio de reclus, se puede tUU(1I' un« nueva recta que no sea paralela a ntnguna lb.· las dadas.

11E)\t(lS'rBM'.\CIN. Efoctivamente, sea que est.an dadas las rectus L I' .. " L", y sea tambien que 0 as un punto cualquiera sabre I;) recta L1• Tracemos par el punto 0 Ia recta L'r I:L/ (i- 2, ... ) m), y supongamos que q', designa cl angul u entre las rsctas '~1 y Li pudiendo considsrar q \10 0:;:;;; iPi ~ no", Si cr, = 0 para todos i, es decir, si todas las rectas dadas SOli paraielas (lntre sl, In inc6gnita sel'lI una. recta cualquiera no paralela a £1' En caso contrario elijarnos I;>nLl'C ilichos angulos pi minimo posi tivo ; por ejemplo, il'~. La recta L que pasa por e1 pun to 0 y forma, respccto aLI, IIIl angll10 positive manor que (1'2 es Ia inc6g1Jita. F,J lema 1 e.._.,l.a dernostrado.

Torcero, para demostrar la formula (1.2) tenemos que ha llar las exproslones de dos de las tres magnitudes V, Aye. suponiondo que Ia tercera magllitlHl es conocida. Sea quo se conoce el rnirnero de vertices V (y, naturalmente, III lI(lIlIero de roctas n). Hesul ta, no obstante, que los numerus C y A no 51! determinan uuivocamcnto por los J1U1l1CiOS n y V. Per ejemplo, las particiones c) y g) (fig. 1) ti('llcn uu numero Igual de vert ices V = 4, pero diferentt'_'-; nfimoros do caras y aristas. Observando dichas partloionos S(. pueds notar que estas so difersncian on Ia eestructura» de los vertices: en la part icidn c) par cada vertic.e pasau dos rectas, m ientras que CD la partici6n g) hay un ver'Lke I por 01 cual pasan tras rectas, A fin de considerar est.a diferencia introduzcarnos la definicion sigurento. Llaruemos grado de un verttco de partlcion al numc- 1'0 de rectas de una familia dada que pasan poe el. Por conaig uio ntc, ('I grado de cualquier vertice es un mimero natural no mcnor ele dos, Es natural esperar que los mimoros C y A Ole delerminon 81 so considoran dados, ademas, de n y V, los grudos do todos los vertices. Vsrernos que esto real monte cs asi.

Heali~al'elll(IS 1.,1 caleulo de arlstas y caras de partldon por 01 mct.odo de La recta «m6vih>.

S II ponga 1'1}05 q U(> L\7 . . ., D n so n 1 as rectas dadas y All' ,,:1\". los v~rliccs de partlcion ([jg. 2; en dtcha Iigurn n = 5 y V = 7), Tracernos por carla par de vertices una red a auxi l i n r; dcsignemos rlichas rectas por 11fu ... I ... , M". EIlL('c ellas riglll'lln, POI' supuesto, to das las reclus dallas [,1, .•. , Ln. (En la fig. 2 no ostau dibujadas

11

-----_------_._ .. __ ... _----

las rectus auxiltarcs «S II perf'l lIUS), «s ilurtr', [as (PII; d ificran de las roctas IJ". ., L", II fill Ih.> IlO rec.l1rg-ar]H; el lector com probara q us las m ismas dchcrinn t razarse PM los pares de puntos A,A~, A~A5' .. 12A" ",1"-1,, Y ...1",41.) Ahora, val ientl 0[105 dol ICII1<I 1, tracom o,~ In 1'1'('.1.a auxi liar

Fig. 2

Lo no parnlclu u ninguna de las reel-as M 1" .. , :Il,,, ~upon games que In recta £0 est-a sttuada , pr+moro , horixontnlmente y, segundo, «por debajo» rle los verl.ICel'< A.,

... , Av. De aquf sa despronde que para cada par rle vertices A I Y A I sus d istancias do 13 recta r.o son diforcntes *). Posteriorrnonte ost.e hecho so oxpresara mediante las palabras «todos los vertices se encuentrun n !li{eronl,e altura», sobrentendiendo SIl altura snbro 1'1 nivol do III recta Lo. Supongamos quo el 0\) mero Ii <'.1 verticll corrusponde al order) do creclmtento do Ja altura, es decir, q ue Al as e1 vertico mas bajo, ;j 2 Be encueutrn mas arriba que A" pero mas bajo quo A", etc. y, finnlroC:l)l.o, que A" es 01 vertico superior.

La recta emovil» L es Lara srtuadu hori z.ontahnentc, coincidiondo en su posicion Intcinl oon la recta Do y subiendo luego a partir de tista por 01 plano, La recta L puede utilizarse para 01 calculo de j us II ri~fas lie pa rlid6 n: puesto que so lnterssca con las rsctas Lt,. ., L" y con cada una do ellas on un pnnto particular, en In postcion

*) Ilealmente, 51 .4/ Y A J ~e hn llan >l igual distancia ,I" Ia recta £0, la recta que rasa por ,lichoB v6rtic(':" rcr;i paralela a Lo. ::lin embarzo. tal heehe n~ pucde ex rsf.ir pOl' el tratado de Lo.

12

iniclal ella encuentra n aristas, Ahora hagamos subir Ia recta L por 01 plano paralelamento a si misrna. Basta el momonto do encontrarse con el vert ice mas bajo Al cl mnnero do urrst.as Intersacadas par esta se mantiene invar iahle e igual II n., AI pasar por el vert.ice AI> dicho numero ha ('II, variac: apareceran nuevas aristas cuyo nurnero us Igual a l grado al del vertice At. Por eso el mimero total do ar istas que la recta L encuontra flash al momento dado sera igual a n + ell Y se mantendra as! hasta el encuen l.ro con el vertice siguicnte A:!, Si al grado de este ultimo es (;(2' entcnces, una vet. que L paso par A~, cl numero do aristas ya encontradas para este momenta uument.ara do 1111(>\,0 y sera igual a n + 0;1 + 0;2. etc, Par Iin , dospues til' pasar por 01 ultimo Vel'tiel', el mas alto, Av con cl grade O;v, dicho mimero sera igual a n + Cl.l + + Cl.2 +. . . .,,' avo Asi pucs, 01 numero total de aristas de part icion sera igual a

A = n + f.tJ + a2 + . ' . + av obion, escri b j () n dolo In {is bre v arne 11 te,

v

A=n+ ~ at.

i=l

(1,3)

Hallarernos el nuniero do carss de particion de Ia rnanera stgutan te: la recta L se parte, en Ill. posicion inicial , por IDS ractas L" ... , Ln en n + 1 partes; cada una de ostas partes so encuentra en 18 cara de parttcien quo le eorrespondu, «eon tandoe tambidn dlcha cara. Por 10 tanto, la recta L encuentra en 18 posicion Inicial n + 1 caras y este mrmero no varia hasta que 6sta no suba hasta el vertico AI' Una vez pasado 01 vertico Al" aparecen, como homos vtsto, nuevas aristas cuyo ruimero es al. Esta claro que el numoro de cnras nuevas encontradas en este caso por [a tecta L sera igual a o;l - 1 *), Par oso eJ niimero total de caras eucoritradas hasta este memento sera lgual u "I + n + al - 1. Dospues do pasar POI' 01 vertico A 3 este miuicro Lot-al uurnenta en a~ - '1, etc; finnlmente , cuando D interssqua 01 vert ice mas alto Ay. el ultimo, el II urnero totn 1 de earns a umontnrzi ell ay - 1. POI' eso

C = n + I -I- (Ctl - 1) + (a~ - 1) + ... + «(;(v-1)

cx" iJ.ril;liJ.~ III1t.VU:;,

liJ

----_._------_--_ .. _. __ ..

o bien

v v v

C=l +n+ 2J (r.t, ·-1) = 1 +n+ ~ (1,,- ~ 1 ...

;=1 l~J i··~t

v

=1+n-VI ~ 0.1, (1.4)

j I

v

Aqui ~ 1 designa la suma de las uuidudes tomada por

i=1

todos 108 vertices do pnrt.icien y por eso igual a V.

Asi pues, hemos expresado el numaro do aristas y el mrmero de caras a traves del mirnero de vertir.1!8 Y sus

Fig. 3

grades. De las formulas (1.3) y (1.4) se ve, entre tanto, que los mimeros Aye dependen s610 rle 13 surna tie grades y no dopenden, por ejemplo, del orden 011 que aparecen, Ahora a partir de (1.3) y (1.4) se o htiene inruediatamente Ia formula de Euler:

v

V-A +C= V-n- ~ C(,/+ 1 +n-V

is=1.

v

LJ al = 1.

;.,.(

Notemos qne Ia demostraci6n de dicha .formula puede slmpllftcarse si no sa trata de obtener In exprt'si6n cxpllcita para los mirneros A y C. A saber: sea. que todos los vertices de particion sa encucntran dontro de una banda horizontal cuvo ancho es H (fig. 3). Deslgnemos por L (0) el limite inferior de d icha banda, es decir, la recta Lon SlI posicion inicial, por L (H), el Iimite superior de 1a banda, es decir, la recta L en su posicion Hnal, y por L (h), la recta L situada lot una distancia h de L (0).

14

Rea q II() £1 (h) dl,sign(t 01 numero de arlst as ya encoutradas por Ia I'cda L on ruoviuuento hasta el momeuto de ocupar la posicion 10 (h); 1111 seutldo anatogo tieueu las dcsignaclones V (h) }' G (h). Los val orcs de A (h), V (It) y C (h) varian en Iuncion de h; tenemos que domostrar que su sumn de siguo variable S (h) = V (h) - A (h) + C (h) so

. torn.') Igual a 1 para h = lI. Si h = 0, entonces, como hemos visl.o , \' (h) -= V (0) "''' 0, A (0) = n, C (0) = = 1 + u, slemlo por eso S (0) = 1. A! pasar Ia rocta L por ttl vertko AI> 131 mirnero A (h) aumenta en 0::" C (h) aumouta en "j - 1 y V (h) aumenta OIl 1, por eso S (h) no varia su valor. Ell particular, S (H) =. j, 10 que habia que demostrnr.

PROBLEI\IAS

t. Douiuestrnso qUI) para cua lquier particion do una recta £lor un munoro Iintt.o V de puntas, la suma V + A Ell; impar,

2. Demucstrosa quo para cualquier partlcion del plano por un nllme.I'O fiDito de rectas, la suma V + A + C es impar ,

3. Sa dice que las rectas sobre un plano se hallan en posicien g"".ral, si nmgunus dos de elias son paralelas y ningunas tres tienen un punto CQJllUIl, lJnDlIu'slrcse qu~. para cua lquier munero nntural n exlston sobre cl plano n rectas de posicion general.

Ii. Pruebese q 110 si I a part icion del plano so rca Ii ZIl por 1! rectRs lie poslc.it'in general,

A ~ C-1+ +,,(n-1}

=n, - n --2--'

!i, Demuestrese In f6rIDuia de Euler (1,2) pOl" el DIHorlo de la recta movil, snpnnisndo qUIl ('stll es paralala a una 0 vartas reetas de la familia,

6. Demuesl"(ls~ In formula do Eule" para una familia. de rectas rIo posicion genera! por el m~tlJdo no inducciOll matematica respeeto "I n{imero de rectas,

7. Una Iigura plana gil danomina Itmttada (acotada.) si se encuentra dnntrn do un eircu lo de oierto radio (tal vez, muy grande) y n<> limiteda (II" acotada). on ease eontrarlo. HUlMa 61 numero de arish& Itmitudas A, (es dectr, so.gmentos) y el de artstas no l imitnrlns A~ (es rlecir , rayos). asi como el mimero de cares l imitadas C, y 01 do NII·ns no limitadas C. para 1::1 partic.i6n de un plano, que l ione verticns. I'ruebese que

V-A1+C1=i.

8. Esta clar« que Ia partici6n de un plano sisrnpro tieme caras y arrstas 00 limltndns, I,Clllinrlo tieno caras Iimitadas (Ilristas Hmitadas)?

15

§ 2. t~QUE ES LA CAHACTIi:H U::i'J'ICA lIE EULEII?

Las formulas de Euler para la recta yel plano demostradas en 01 ~ 1 son una mantfostaclcn dol siguiento hocho notablo general. Supongnmos que (I) ('·8 \HID figlJra paruida de cierta rnanera en partes que hernos uc 11 nmar veruces, artnas y caras. Denoternos al nil mere de vertices, el do aristes y el de earns de part icion por V, Aye, respect.ivamente, Para todos los elementos de part.icion so IIt.ilizara tambldn el Hombre unificado celulas, cs decir, ell VIJZ de las palahras earistas, caras y verl.ices do particidn» diremos hrevcmente' ({('IUIlIas de particicn». Besulta quo, independlenternente del metodo dC' particion de la figura Ql en CIHulas. la suma de signo variable V - A "I- C conserva el valor constante 0 bien, on otras palahras, es invariante respecto al metoda do parttcion. Dicha sum a sa denomina caracteristica de Euler de 1.1 figura y se dcsigna por la letra griega X (ji). Por conslgutente, pur definicion,

x «(}J) = V - A + c.

Como se ha mostrado antes, Ia caracterist icn de Eulor para III recta es igual a - 1, y pan! el pl ano , a 1.

En 1a IlUmR de signo variable V - A + C quo dotermilia la caracterist ica de Euler !)l ordcn cle los sumnndos no es casual: depende de la dimension dl' las cklulas quo corresporiden a clichos sumaudos. Bo otras palabrns, V designa el mimero de ceIulas de pa rtrcion de dimension nula; A, el numero de celulas unid imensionales y C, el de bidlmenstonales. Sefialernos que las cebllas: de dimenslou nula (0 vertices) son puntos, las cel ulas unid i monslonalcs (0 aristas) SOD, lag mas de las vecas, ssgmentos rcct.il ineos, y las c~Hulas bid imensionales (caras), poligo noe eon vexes,

La determinaci6n de Ill. caraeteristica dc Euler aq III dada necesita de una precisi6n: ha y que ind icar arlsmas que clases de figuras exponemos al ex amen, que 80 enticnde por celulas en cada caso concreto Y. por fin, como Sf' determiua Ill. partfcidn de Ia rigurll en celulas, os dcrir, como «hacen con tactoa entre SI I as d iferent es eel u 1 as. A estos problemas esta dedicado cast todo el § 2.

As! pnes, constderernos ciertas clasos de fignras, para las cualss es posible determiner la caraoterlstlce de Euler,

16

Sean A" .. " .1" difol'CUWS puntos sobre el plano, La linea Ijlu:ul'ada 1W cerrada. con vertices ell dichos puntos so define como el corijunto de segmontos roct.ilineos A1A2• A2Aa, .,., A "_lA" l lamados artstas de Ia misma. Si n;> ,) y 10,<; vertices primero y ultimo coiner den (es decir, Al = A,,), miontras que los dotuas son diferentes, In quebrada se rleno rn ina cerrnda, Se considuran adqacentes dog aristas do 1a quebrada. que tieuon un v~r~ice WIDun. La

IZS' ~ I I o Wt
"i1'J
U,
a) oJ c)
(:J @ !
f)
d) e)
Fig. 4 quebrada (cerrada 0 no) se denomina simple 51 ningunas dos de las artstas no ccntiguas tienen puntos oomunes. Llamemos contorno a una quebrada cerrada simple.

Esta clare que la caracteristica de Euler X (L) = V - -A es igual a 1 para In quebrada no cerrada L ya 0 para Ia cerrada. Es facil cornpeohar tambidn que X (L) no varia, si so intorpone un numaro arbitrario rn do vertices nuevos rlontro do alguna a rista, part.iendola as! en aristas nuevas, cuya cautidad es m + 1 0, por 10 contrarto, si so snbstituyen por una varias aristes consecutivas que se sncuentran sobre una recta.

LUmaM grafo a Ia figura G que consta de un numero fintto de vertices (situ ados sobre el plano 0 en 01 espaeio) y de segmentos rsct il ineos quo unan algunos pares do vertices. Uichos segmentos se donominan artstas del grafo. Esta clare que, en particular, toda quebrada as un grafo. La caractertstica de Euler del grafo as Ia diforencia V - Ai

17

es invariants ell 01 rnisino senti.do q ue para Ia q uobrada .. Puede sucerler que el grafo G no tCllgU arlstas, sino que dispo nga solo do n vertices; on cste caso X (G) = n. Ejemplos de grafos se exponen en la fig. /1; sus vertices estan marcadoseon pequefios circulos claros. De la figura se desprende que algunas aristas pneden toner puntos de in tersecoion «su perf] \lOS», I os c. ua les no so 11 vertices. E I

a)

Fig. 5

Fig. 6

lector eompro hara que las oaractorlsttcas de Euler de 105 grafos al, b), e), d). e), f) en dtcha Hgura son iguales a -1, -2, 4, 0, -5, 2, respectfvamente.

Llamase grado del vertiCIJ de un grafo al nurnero do a rist as q ue u nen este a ot ros vert ices. En Ia fig. 4. por ejernplo , los vertices v1. Y (.12 del grafo aJ Lienen 81 grado 31 los grados de sus otros vertices son iguales 32. EI grafo c) tiene dos vertices eon grado 0 (precisamente, WI Y Wi) Y custro viJ;rticoo eon grade 1. EI grado do cada vertice del grafo b) es igual a 3, y del graio e). igual a 1(. Los vertices con grade 0 se de nominan tam hien atstado«.

El grafo se denomina eonexo si cunlesquiera dos de sus vertices pucden ser unidos por una quebrada no cerrada que consta de las arfstas del grafo.

So dice que el grafo encaia en el plano si eSf:e pusde tra .. zarse sohre el plano de tal manera que las aristas sa intersequen s610 en los vertices. Aai es, por ojcmplo , et grafo a) representarlo en la fig, 5 (ol IJamado grafo completo con cuatro vertices), puesto quo se pucde «volver a trazarlo»

2-0326

18

de ina u()ru II uc desa pa rozca 0 las iu tersccciones s uperll uas de las aristas (fig. D, /I). POI' dodo q lie duraute esta uperucion homos tantdo que subst.ituir una a cista deL gra[o POl" dos aristas e ill trod neil' lIH vert ice nuevo, So suol e considerar quo en I).~I.(' GilBO el grafo «00 Ita variatlos, por 10 menos, SlJ caracj.erfst ica do Euler ha conservado su valor. Presto adcmas atencion ul heche de q ue en la fig. 4, b) est:\: represent.ado eol mtsrno» grato que en Ia fig. 5, a), pero sin i nt N1S(.'cGiones superfl uas de IIlB ar istas y sin introducir v!)eLic-os uucvos, Eu general, todos los grafos de Ia fig. 4 monos el e) encajan ell el plano. POI" otro lado, e1 grafo c) [Ilamado grafo complete con cinco vertices) no ancaja ell cl plano, aun cuando se intrud ncen vertices nuevos (veRse ol problema 13).

Es interesaute seoa lar q lie l:1I da grafo puode situarse en el ospacio sin in tarsscclon $11 perf! ua de las arlstas, Dem 05- t.ccmoslo. Seu que el graio G ticne V vert.ices y A aristas. Tomemos en 1'1 espacto un «libro con A hojas» (fig. 6, dondo A= 1) senalul)(lo en su «lorno» V puntos (vertice-s del grafo). A caua una de las A aristas del grafo Ie ponemos en Cones po ndonc ill. S II hoj a del Ii bro di b uja ndo en est-a dicha urist.a en forma de una quebrada que consta de dos sogmantos. Est" claro que no hay intersecciones superll uas de las ar lstas; por cierLo que hemos tenido quo subst.it uir cada arlsta ()or dos nuevas y un vertice nuevo. Notemos, sin damostrncion, que cada grato puede situarse en el espncio sill int rod ucir nuevas vertices y sin q uebrar las arttstas,

Pasemos ahara 0 la siguien te class de figures, poligonos planes, examlnando prlmero los convexos que son los mas simples de estos.

Cada recta divide I'll plano en dos semiplanos. Con esto se supono que r a pro pia recta se encuantra en cada uno no ellos, En otras palabrus, suponernos que ambos semiplanes son cerrndos. Llamase polfgono conveso a Ia tnterseccion de un mimero finite do semiplanos a condicion de que esta, prunero, est6 ltmitada, as declr, ee cncuentra dentro de un circulo de radio Iinito, y segundo, sea bidimenslonal, 0 sea conticne un circulo con un radio que difiere de cero (fig. 7). La ultima exigencia es equivalents a quo 01 poligono convexo no se encuentre sobra ninguna recta.

Definamos ahora ul poltgono en general (no obligatoriamente convexo).

19

Llamase puUgo/U) a lu figU1'I1 plana M quo COLlSla del cunjunto de un JIlIIUC1'O finito do pollguuos couvexos de tal manera que so cumplan las dos condicionas slguientes:

1) dos poligonos convexos cualesquiera no tienen en ahsnluto punt os cornunes, trsnen 5610 un verticc comjin, () tienen un Iado ccmun:

2) la figura .1lit es coneaa, es decir, cualesq uiefa des puntos de esta pueden uotrse par una quebrada DO cerrada que so encuentra POt entero en u.

La ultima condlclon significa que el poligono no se divide en pedazos aislados no enlazados ontro 51.

Do csta doriniotou so desprands clarameuts que de btl comprsndorsepor particien deJpoHgotlo M on celuias, a saber: Ilamarernos cares de parttcuin. a aquellos poligonos convexos, de loa cuales est6. compuesto ol poligono 1\1; aristes de partici6n, a los lados de dichos poligonos couvoxos, y vertices de parttcion, a sus vertices. La fig. 8 ofrece ejempJos de poligonos y sus particiones. Esta clare que cada pollgono admite difsrontes representaoiones en forma de la union (lEI poligonos convexos y tione par eso ,Ii reroutes pa rticicnes.

Ahara adqutars 1111 sontido exacto la noeion de la caracterist.ica do Euler del poligono. En 01 pli.rrafo siguionto sera rlcmostrado que esta. no doponde de In clecclon dol prnced i mlon to de p articion.

Es natural distinguir ontre los puntos do un pollgouo los inte.riores y los de Irontera. BI punta do un pcligono so denomina interior 5i se p uede indicar un circulo de clerto radio (aunque sea muy ~equefi.o) coo 5U centro en dicho puuto y que ostn enteraroentc en 01 poligono. El punto de un poHgono se llama de [roniera si un circulo de cualquiee radio con su centro on dtcho punto conticne puntos del propio poligono y puntas de su complemento respecto al plano (es decir, puntas del plano que no pertcnecen 81 potigono). En la £ig. n. los puntos II y B son puntos mterio res de! poligono, C Y D. de frontera, E y P, puntas del

'_

J.'ig. 7

20

complerneuto. La colecoion de todos los puntos de Irontsra de un poligono se donomina jrontera del mismo.

Demostremos que ta [rontera del poltgono M es la uni6n de u.n. numero [tntto de contornos. Dicha Frontera es 01 grefo G. Mostrernos primeramenta que cada vertico do aste

aJ

d)

fJ

oj

cJ

Fig. 8

grafo tiene un grado par. Efectivamento, sea A e1 vertico del grafo G. Tracemos una circunferencia con el cen tro en eJ punto A de Ull radio tan psquefio que interseque s610 aquellas arlstas del grafo que salen de A. Scan All A 2' ..• . . . , A n los puntos consecutivos de Intorseccien do Ia circunferencia con d ichas aristas (fig. 10). Dasplacdmonos por la circunferencia desde el punto Al hacta e) punto A:,!. luego hacia 01 A31 etc. Saliendo del punto Ai salirnos tambien del poligono J~f a su complemento, y pasando por et punto A2 entramos, contrarlamente, en 01 poligouo. Dado que al pasar por el iiltimo punta Au entramos de

21

nuevo en 1\'[, rnientras que las entradas y las salldss se alternan, el mirnero n tiene que ser par.

Ahora vamos a desplazarnos por las aristas del graEo comenzando desde algun vertice y sin PilARI' nurguna arista dos 'laces. Puesto qua todos los vertices ticnen los grades

o

Fig. 9

Fig, to

pares, ontrando en cualquier vertice, sicrnpre tenemos Ia poslhilidad de saltr de til. Por otro Iado, ya que 01 mimero de a ristas y vertices del grafo G as Iini to, tenemos que dar en tal vertiee donde ya hamos ostado antes. Asl sa obtiene un contomo. Suprlmamos el contorno obtenido en el grafo G. El grafn nuevo vol vera a toner 5610 vertic,es COil grado::; pares. Por esc, repitlcnrlo verias veces el recorrido sefialado, representaremos todo 1:11 grafo G, (IS decir, Ia frontera del pollgono .lVI', en forma de union de un nfimero finit.o de eontornos, 10 cual era nacesar io demostrar.

Un poligono so denomina simple si SII froutera consta de un solo contorno. Asl son, por ejemplo, todos los poligonos convexos, asi como 01 poligono b) en la fjg. 8. Sa podria demostrar (no 10 hacemos) que el complemen to de un poligono simple (respecto al plano) es conero, Poseen dicha propiedad DO 5610 los pol igonns simples (VeMa, por ejemplc, Is fig. 8, c).

Si eJ cornplemento de un poligonu es inconexo, este eonstura do var los frag rnentos COIlIlXOS 11 amados coniponentes (fig. 8, d, e, t, g)_ Un ccmponcnta siernpre es ilimitado;

22.

todos los dema.s son.~imitado~ .. A 02tOS 6Himos componantes los Ilamararaos hueeos.

Demostremos qul c.(lda ·kUeco F, junto con su [rontera ,e.~ un po Ltgono, .. Cori;.'EjSt:e:prop6sito-ha.sta comprobar que puede 8OIj;p~esI;lDt~j:lo'(l4:for·nia de.uni6n de poHgonos oonvexos. 'l;'racemos_l'ilt}ta:~-por--tbdos los segmentos quo so encuantran

dsntro de 10 Irontera del hueco F (fig. 11). En ssto caso so produce cierta -particion de todo el plano. 'I'odas.las caras Hmltadns de dicha partld6n son paligonosconvexos. Queda sefialar que todos los puntoo interiores de cada uno de dichos poligonns so enc uen tra ne n toramente en &1 hueco F 0 en gil complemento y, POf constgutsnto, el hueco F (junto con su frontara) es igual (l 1 a i oi6n de los [10- Jigonos de 10. primera de esaa dos clases, 10 cual era necosarlo dumostrar.

El hueco do un poltgono so

denomina simple si au Iro nteru es lin ccntorno. En los tres p,arrofos siguientes (§§ 3, It· y 5) se exam inarau s610 los poligonos simples, as! como los que se ohtieoen a partir de estos erecortando» nIl numero fillil,o de h UI::C 06 simples. Con esto so excl uycn del uxamen, en pa rt.icular, los pollgonos e), 1), g) en 10. fig. 8.

Hagamos una nbservacion que se fl'-fil're H Ia d iv isi o n del pol'igono M en ciHnlas. A voces resulta mas camano considerar earasdo partici6n los pofigoncs convoxos abiertos quo constttuycn el POJigOHO .M (os declr, sin sus fronteras) , y aristas de purttcicn, Los lados abiertoe lie d ichos poligonos convexos (sin sus extremes]. En v Irt ltd de ests punto de vista, las diferentes ct'ilules do part.icion no tienen puutos comunes, Utdlizaremos J a d ivislon Oil este ssntido 15610 una ves, ell I'll § 7 (p .. 53).

! i

~~ .. _i.

/:

,

I

,

, , , , , ,

"

"

Fig. 11

l'II(lULgMA

~I. :--~a d;l·rtn lII\~ p~rt.lr i on ar b i I.-r" rin dol p ln '''' ~'()~ llll n " nil"'" iinito <1(' rrr(nll. Y fl'n M In nni6n riC' torln~ "II~ ~;lrag llmitadas. D,.ml\P~tr[>."" !I"" ln r;l{l1~:l M· C'H ,·on~)Oft y porpsn I.'S un polig"no. n~,ntutS;st.l'P'.I'h~ {,It1B (tl Ilolf_gU1H) 11-1 (;is ~;rrlr.IH () ;.~lJ=--1 ,l t.., IIn:j!"lu 'lie rlns pnlig()n"~ si mp lcs quo !.;OIWIl 01 (Inie" puntc ';'110('11-

23

§ 3. CARACTIW ISTIGA EULER lANA DE lJOS POLIGONQS

Pasamos al calculo de la ceraeterlstica culerlana do los pollgonos basado en el empleo del metoda de 18 recta mevrl. En relaclrin con esto a 10 largo do todo 01 § 3 se supondra que los verticos de partici6u del pol igono se encuentran a diferente altura. AI igllal quo antes, BSt.O puada lograrse valUindose del lema 1.

Consideremos primeramente 01 oaso do 1111 poligono simple. Inlroduzcamos la clasificaci6n siguiente de sus vertices. Llarnemos al vertic.e v saliente hacia arriba, si el angulo interior del poligono en dicho verticG as rnenor que rt (posteriorrnente todos los lingulas se miden en radtanes) y si ambos vertices adyacentes a !Sstc se encuentran por debajo de v. Llamernos at vertico w entrante hacta abaia, si 01 angulo interior en dicho vertiee as mayor que Jt y si umbos vodicos ad yacontes a este so encuentran por enci rna de u). I ... lamaremos especiales !l los vertices de estas dos classs, y a todos los demas vertices dol poligono, corrientes. £1 rnotivo de la eleccion do dichos 110m bres se aclarani mas adelante. En la fig. 12 sobresalen hacia arriba los vertices v.s y vu, ponetra hacia abajo el vertice vs: los OtTOS seis vertices son corrientos, Sea a el numero de vertiws que sobresalsn hacia arriba, y ~. ol mirnero de vertices que penetran hscia abajo.

L1UB 2. Para cada poUgono simple, cuuos vertices se encuentran. a diferente altura, es justa la ignaldad siguiente:

(J. - ~ = t (3.1)

DJ:lII\U:':'l'HM;lON. Apllquemcs In inducclen respecto al nuruuro do lades dol poligono. Para los tr-ui ngulos Ia iguuldad (3.1) as ev idente, pussto que cada tl'iongulo rleue lin vert.ic·e saltente hacia arriba *) y no tiene nii1giin otro vertice especial. Sefialemos que esto as val ido tarnbien para todos los pollgonos convexos, Demostremos la igua ldad (:3.1) para un puligono si rnple M que tiene n lades supentendo que dsta ya csta demostrada para todos 10.'1 pol fgonoR simples con un mimero do lades menor rle n_

'1 I\('cu(orllelle (jill.' I,"los I"s \·frt.ice.~ :<(1 (,11- cuentrn n a d Heren to Jl! til Til •

24

Notemos prcviamente quo cada poIigono simple M puede dividirse por una diagonal que sa oncuentra dentro de M en dos poligonos simples, carla uno de los cuales tiene UI1 mimero de lades mcnor que M. Eiect.lvarnente, sea A el vartice mas hajo del poligono lVI, mientras que Bye. los vertices adyacantas a eJ (fig. 13). Unamos los puntos B y C por \JnA diagonal. Si tanto sabre el segrnonto BC como dentro del trhingulo ABC no hay otros vertices del poli-

Fig. 12

t'ig. 14

gono AI, l a d iagonal Be nos do. la parlici6n necesaria. Pero si tales \,ert.ic.es existsn , tomornos el mas bajo de ellos; supongamos que sea e1 punLo D. En este caso 111 particlon nccosarta del poligono M se do. par su diagonal AD.

Volvamos a Ia demostraoiou de Ia igualdad (3.1).

Supongamos qUI! Ja diagonal AB divide Men dos polfgonos Simples MJ Y jV~ yes, POl' tanto, SU lado comun (fig. 14). Supongamos pri meramenta, a fin de Iacilttar la derncstracion , que el segmento AB csta situado verticalmeute, desiguando par A su extrema inferior y por B, el extromo superior; mas adelante se indicara como hay que vuriar 10. de mostracinn , si d icha condici6n no se r.umple. S1.Ja. adcmas, que e l polfgono 1W, hace contaoto con AH II la izquierda, y el poltgono Af~. a Ia derecha.

Si los puntos A y R son los vertices adyacentes de cada uno de loa poligonos /1'1. y l~{ 2, entonces dcsignemos por C el vertice del pol igono :If, que es el segundo adyacente it A, Y por E el segn ndo v;'irtice de e5te I]lle es el segundo adyaconte Ii 1J. U II sen lido umilogo tieneu las anotaciones

25

D y F para los vertices del poligono ilf z (fig. 14). Son post hl es, no obstan te, los cases «axel usi vos», C uando los puntos A y B (0 uno de ell os) no son vertices rle uno de los poligonos MJ Y M2 (los poligonos 4) en Ia fig. 15 y 5) de la fig. it)). En estos cases las designaclones ('stan mostradas en las figuras. Puede suceder tamhisu que C = E o bien D = F.

Asignemos el numoro f Cv) a cada verlice /) del poligono M segun Ia regla siguiente:

{I 51 /) sobresalo hacia arriba, f (v) = -1 si v penetra haciu ahajo ,

o en los dermis casos ,

Esto quiere decir que determinam(ls Ia funcion I en los vertices del poHgono M. Por ejemplo, en In fig. 14 dicha funci6n torna el valor de 1 en los vertices E y F, el valor de -1 en los vertices A y B Y I!J valor de () en todoslos demas vertices. Deterrninemos las funciones II Y 12 en los vertices de los pol igonos il·ft Y M 2 atenicn donos a la regla de determinacion de f ell los vertices de M. Los indices 1 y 2 de 11 y J 2 muesrran precise mente que dichas funcionss oorresponden R los poligonos Ml Y M2• En 01 caso cuando , per ejcmplo, el PIlOt!) A no es un vertico del poHgono M\. nosotros conslderamos, no obstante, segun 18 determinacion 11 (A) = O. Por tanto, las funciones!l y f 2 estdn dcterrninadas ohligator iemente tarn bien en los puntas A y B. Es faci! ver que si v eli lUI vert ice do I poHgono Ml diferents de los puntos AyE, enlonel's t, (1l) = f (v); pOI' analogia, 12 (v) = I (u) para torlos los vertices v del poligono 11'.1 ~ que di fiercn deli y de B.

Ahora podemos volver a sscribir III igualdad (3.1) que se necesi ta dernostrar de la msnera siguiente:

'i./ (v) = 1, {::!c. 2)

donde la adicion se ext ionde a I odes los vertices IJ de] poligono M, Dado que cada uno de los poligonos M, Y Jf 2 tiene un numero de vertices menor rle n, entoncos, conforme 8 la suposicion do inducciou, para ul primero de ellos, 51.' (Jump}!' l a igualdad siguiente:

'i.fl (v) = '1, (.''$.3)

y para el segundo. lu igunldad

l:.1'J (0) = 1,

(3.4)

26

dondo 1M' sumas 00 ternan respocto u todos los vertices de 1Ifl s Mz, respecuvamante. Sumcmos ternlino a ter· rnino las igualdados (B.3) y (3.4) Y afiadamos 1.1 ambos miembros sumandos iguales; como resultado teuemos Io siguiento:

~ It (I.') - I, (..1)-/1 (8) + ~ ,~ (IJ) - 12 (A)-

- I ~ (B) -I- t (lJ) + f (B) = 2 - f I (A) - f I (B) - f ~ (A) -

-f2(B)-!-t(A)+f(B). (::l.5)

El primer mlembro de 10 igualdad (;;.5) us igual a 'f.j (v), os decir, a la suma de los valores de la Iunclou / rcspecto a tcdos los vertices del poHgono i'lt!. Por 080, para demostrar Ju igualdad (3,2), basta establocer que

/1 (A) -!- /1 (lJ) + 12 (A) + t, (8) - - f (A) - f (B) = 1.

(::l.ti)

Doruostru reuios (l1W

/1 (A) + /2 (A) - f (A) = 0, (:i. 7)

11 (8) -!- 12 (8) - I (lJ)= 1, (3.8)

do dondo on seguida so desprande (3.6) y a la voz Ia [ustcaa del lema 2.

Sea 'PI oj valor dol iinguio BAC. (P2' 01 valor del aIlguIo BAD (fig. 14 () 15). Corrveugnmos em contar ambos angulos a partir dol segmento AB ell direccion POSitiVH, es decir, en direccicn contraria a la de la manccilla del reloj, hi cual da quo (PI < lP2. Dado que el segrnento AB (monos sus extremes) so encusntra dentro del' poligono M, los va 1 ores 0 y 2 n do 105 angulos <PI Y cP 2 13S tall «peolu bi d oss. Ahora, como todos los vertices del pohgono so encuentran a diferente altura, tamhien estaran «prohibldusi para d lchos angulos Los valores n/2 y 3n/2. Par tanto para dernostrar la igualdad (3.7) ss necesario examinar sets casos expuestos en 13. tabla 1 y mostrados ell Ja fig. 15.

Considorernos atentamente 81 prirnero de estos cases, cuando 0 < <I.'J < <r~ < n/2. En ostc case los puntos C y D ::;~ sncuentran mas arriba dol punto A, y el ungula intorior CA IJ del po'llgono ,tT es mayo!' que l't (:0\1 valor as igual II 211 - (rp2 - 1('1»)' Por o~n, ol vcrtic,{' A tlol pol igono &;)iinlado penetra haria ahajo y, por tanto, 1 (A) .,.." = - 1. AlliilogaTlII'I1I<', n mhos punlos B y D SIl cncuentran mtis arriba dul puuto.zl . siando fill angulo int.erior (JAD

27
7'a1;I"
Nli!ue-I r tAl I I
eo d"1 'Jf'$;i~IH11dHtI('li. para lns nugulos _II (, I) !tIM
caso
1 0< (jJ1 < 'I" < nj2 -I u -1
'2. () < CI'1 < Jt!'2. < q'! •• < 3rt!;! 0 0 U
3 o < q', < n!2 < :In/2 < 'I'. < Zit 0 (I 0
1 :n;;2 < '1'1 <: Q'2 < 311j2 o I) 0
:.1 n,l2 <: 11'1 < 31t/2 < 'P2 < Zit 0 U 0
t; 3n,2< '1'1 <: CJ-'~ < 2n -1 -·1 0 rid pol igono 1Y[. mayor que It (su valor es ignal a 2:rt - - (1-'1)' POI' eso 01 verttcc A del pnligono M. enlra bacia abajo y. por l'OIl1<igui{'lIt.e, 12 (11) '"", - L Por otro lado,

c IJ

') II

B

8

lJ (J

l'iJ!. 1:,

8

3) B

[J

6)

--------- ._. _,",_'._,-----

umbos verLices jJ y C del poligono .lIl se encuantran mas arriba que SIl V6l'ticB A. y, adenuis, su ang-ufo interior BAC Q~ menor que n (su valor es igual a (1',), Por ()SU (I} vorlice A es conient.e para NTI Y. por tanto, 11 (11) '"""" 0, A,~; pucs, ln igllllidall ({.f) 8(> ~i11 i~f.lI'(' Pill'.l 1'~Lo primer "aSH.

28

Los va lores de las Iunciones f (A), 11 (A) y f'/, (A) en los otros cmco cnsos se cxponen en Ja tabla 1. De (ista se desprende q III.' la igual dad (3.7) siempre se cumple,

Sea 1fl 01 valor del Angulo ABF, 'lJ2' ol valor del lingu- 10 ABE (figs. 11 6 16). Dichos Angulo:> con los vertices en

6
r
E
F f
A A
2/ J)
E
f
E A

4)

5)

6j

Fig. 16

el punto B SI! cueutan a partir del segrnento BA en sentido positivo. Por oso 'PI < 1J12' Al igual que antes, los valores 0, n/2, 3n!2 y 2n estan prohibidos para dichos angulos. Por tanto, para demostrar la igualdad (3.8) es nscesaeio examinar los .~f.\is casos representados en la fig. Hi. Las igualdades q ue enlazan los ungulos ~11 Y "P2 en cads uno deestos cases, asi como los valores de las Iunciones 1,11' f 2 on el punto B estan expuestos en Ia tabla 2. De l a tabla se dosprendo que 111 igualdad (3.8) slempre es justa.

ASl plies, 1"1 lema 2 est:\. dsmostrado para 01 case de la posicion vertical del segmcnto AB. Supongamos que este segmento I'orma ahora eon 18 recta vertical un angulo (0,

siando 0 ~ (U < 1-. Ell este caso a cada UIlO de los angulos

29

TaNa 2

Num··1

ro uet

Caw

1 0< '+'1 < 1J>2 < ott2 !) II 1
2 0< '+'1 < !It/'}. < 1'2 < 3!1t,2 0 0 t
3 0< 'I\ll < 1[}2 < 3n/2 < 'fl2 < 2n 1 1 1
4 nj2 < 1h < 1Ji2 < 3R./2 _1 \) 0
5 n/2< 1\', < ;l:t/2 < 'Ijl, < 2n 0 , I)
6 311/2 < '1-'1 < W" < 21[ 0 1 0 CPl' 'f2' 'l'1 Y 'P2 le esta «prohlbldo» tomar los valores 0, 2l't, i- + (I), ~ + 0). Por Io damas la demostracirin no varia.

TEORBMAI. La caracteristica euleriana de un poligono simple es igua! a 1.

PEMOSTRActON. So considera que el poligono esta dado con cierta partici6n. Situemoslo do manera que todos los vertices de partlcidn estell a diferente al tura. Adernas, dlcha supostclen es poco importante para In justsza del teorema, Vamos a nurnerar los vertict's IJO pacticidn (/1' •.• , v,, en orden de creoimiento de su altura, es decir, de tal manera que el vertice V1 S9a 01 mas bajo, el vertice v. se encuentre por encima de Vl' etc. De aqui se desprende que si una arista de particion une dos vertices Vj Y VJ. entonces uno de estos es el extremo superior de In arista, y el otro, el inferior. Analogameute, cada arista de particion tiene el iinieo vertice mas hajo. Sea A{(i = 1, ... , V) el mimero de aristas, para las cuales el punto Pi sirva de extrema inferior, y C" el mimero de arlstas, para las cuales Vi sine del vertice mas hajo, A pa rt ir de 10 d icho esta clare que el mimero total de artstas de partlcion

A = At + A2 + ... + Av, (;1.9)

y el mimero total de caras

C = C1 + C2 + ... + Cv.

(:t 10)

Hallemos para cada vertice Vi la relation entre los numeros At Y C/. Sea Mj el poligono forrnadn por todas aquellas caras (y anatas), para las ouales el pun to Vj es ol vertice mas baio (figs. 17 y 18, dondo los po'ligonos M I estan sombreados). El puligono Mt puede edegenerar», es decir, contener no s610 caras y sus Iados sino tambien

30

<Iris Las (!lIC no se one uon trail deutro d OJ 1 R f 1'0 ut.era de II 19u1l a car" (tal cs ar is tas so muestrun or I las Iigs, 17 y 18 con trazos gruosos). Consideremos tres cases,

1.1)

b)

C)

I,'lg. 17

11}

l'i~. Hi

l')

C)

L El pun to v, es un vertice corriento del poligono M o su punlo interior (diremos entnnces, para sirnpltficnr, quo til es un verticc de parficion corrionte), Como cada earn es convoxa, ell oste caso la recta horizontal L qUI) pasa Iigeramente por oncima del vertioo Vi (recta <(fTl(}vib) tnterseca el polfgotloMr par un soJo scgmetu» (fig. i7}.

Por 080

"\, - Ci = 1. (::l.B)

2. El vOI'tice Pi dBI poligouo JI sale iW'ia arriba (fig. 1R, (1). Eli evidento que en este caso

Ai=Ci=O. (3.12)

3. EI vertice !?'i del pollgono ivr entra hacia abajo (fig. 18, b, c), En este caso la recta L iuterseca d poligono ;11", por dos scgmentos aisl ados (los cuales puedsn dogonersr on puntos). POI' eso

Ai - C, = 2. (3.13)

Precisamsnte las igualdades (3.11)-(il.13) dan motivo para distinguir lOB vertices de particion corrientes y espedales.

Vamos a pormenorizar, a fin do hallar la caracteristica ouleriana, Ia suma de signo variable V - A + C respecto a los verLices valiendonos de las igualdades (3.H) y (3.10):

X (M) = V - A + C =

=(1-At+Cl)+(1-A2+C~)+--. +(l-Av + Cv).

Partiendo de las Iguaidades (3.11)-(3.13), la expresidn 1 - AI + C1 es igual a 0 para cada vertiC-f' coreisnte, as iguaJ a 1 para cada vertice que sale hacia arriba y ('8 igual D. - i para cada vert ice que entra hacin abaj(). POI' cso X (M) = a - ~, 0 bien, de acusrdo con {I] lema 2, X (M) = 1. El teorema 1 eata demostrado.

COROl,A,HIO. La caracteristica de Euler de un poligono abierto simple (es dectr ; que ttene suprtmidos todos los vertices y aristas de Jrontera) es iguai a 1.

La DFl1l10S'rHACIQN del corolario parte del teororna 1 y 01 heche de que 1 a caractcnstica euleriana de Ia frontora de un poltgono simple as igual a CErro.

TPDREMA 2, La caracteristiea de Euler del poli.gono M que tienc n huecos es igual a 1 - n.

A continuaclon so ox pondra Ia de mostracion de un caso particular de dicho teorema. El caso general eSI-lIra demostrade en el § 12, Introduzcamos previnmente las liofiniclones y damostrcmos un lema.

Sea M de nuevo un poHgono Simple. Llamcmos a 811 vcrtke L' saliente hacia abajo si ('1 angulo interior del poligono en esto verLice es menor q lIC Jt Y si am bos vertices adyacontes del mismo estan situados por eucima de v.

32

En 111. fig. 12 tales son los vertices VI Y vs. Llamemos al valUcs w entrants hacia arriba si el angulo interior del polfgono en dicho vdrt ice os mayor que l't y si ambos vertices adyacentes estan situados por debajo de este. En III. fig. 12 tal es el vertice v7• Designemos por y el mimero de vertices de un pcligono simple que sale hacla abajo y par <'\, el numaro de sus vertices que ontran hacia arriba.

LEMA 3. Para cada poUgono simp 1£ , todos los vertices del eual se encuentran a diferente altura, ee justa la igualdad slguiente:

'1-6=1.

(3.14)

DEM(~"1'RAC!ON So po drfa demostrar III. igua ldad (.3.14) casi de l a mlsma rnanera que 111. (3.1) ole), perc es macho mas simple deducir (3.14) II. partir de (3.1), 10 cua l precisamente hemos de hacer. Supongamos que un punto se mueve por el coutorno del poligono en cierto sentido determmado, cornenzando el movimiento en el vert ice mas bajo 11, y supongamos tam bien que rscoree de una vez todo e1 contorno y retorna al vertice, subiendo y bajando varias vecos, Esta claro que III numern de tramos de elevaci6n es igual al de los de bajada, Por otro Indo cada elevacion comienza en un vertice que sale 0 antra hacla abajo, y cada hajada, en el vertice que sale 0 entra hacia arriba. Por eso 81 numero de tramos de elevacion es igual a y + ~, mientras que el de tramos de bajada, a 6 + a. Quiere decir esto que 'I + B = 6 + Ct, 10 cual junto Con (3.1) da (3.14). E1 lema 3 csta domostrado,

DEMOSTRACION DEL TEORE~(A 2. Supondramos que la frontera de cada hueco no tiene puntas comunes con el contorno exterior del poligono }lI[ ni eon las fronteras de otros huecos, Vamos a numerar todos los vertices de particfen, a l igual que en III. demostracton del teorema 1, en orden de creoimien to de I:!U altura, y pormenoeicemos 111. expreslon para l a caracteristtca de Euler X (M) = V -

A + C respecto a los vertice:'l:

V - A + C = (1 - AI + C1) + .. ... + (1 - Ay + Cy).

(3.15)

*) Pucd" notarse quo si cnmbian las noctonus do .-arribH Y *!tblljn~, lod()~ los ve.rLkes salientes hacia arriba So conviert-en en sallontes hacjn abajo, etc, Asi la demostescton de Is Igualdad (3.14) Ill' obriene directamsnta de) lema 2.

33

Al ig ual q lie antes, se compruchan con Iaclltdad lOB dOB hechos siguieutos: primaro, si el vertlce de particlon VI es un puuto interior del poligono 1'11, el sumaudo que le corresponde es 1 - Ai + Ci = 0; segundo, la suma de todos los sumandos del segundo miembro de l a Igualdad (3.15) que corrosponrlan a los vertices do particion quo S6 encuentran en ej contorno exterior del poligono M es igual a 1.

Considercmos ahora alguu hucco C y todos los vertices de particion que se encuontran on su Irontera, Como se ha dicho, el hueco C junto con su frontera I'-S un poligono simple. Sea que el punto VI considerado como vertice del poligono C sale hacia abajo. Entonces, slendc vertice del polfgono 1I-I, dicho punto entra hacia aba]o. Por eso, como hsmcs visto en la demostracidn del teorema 1. 1- - Ai + Ci = - 1. Si el vertice Vi del poligono Centra hacia arriba, ontoncos, stendo vert ice del poligono M, sale hacia arriba, y por eeo 1 - At + C; = 1. Para los demas vertices del poligono C tenemos 1 = Ai + C1 = O. Esto quiere decir qUfl 18 sum a de tudes los surnandos del segundo miembro (Ie Ia igualdad (.3.15) que corrosponden al hueco C es igual a .s - ,\" mientras quo. SCgllJl el lema ;:l 6 - y = -1. Hepiliendo este razonamiento para cada hueco por separado , tendremos Ia Igualdatl X (M) = 1 - -no As! pues, hernos demostrad.o un caso particular deJ teorema 2.

Sea la figura A Ia union de un mimero Iini to de poligonos que 110 tienen puntos comunos do dos en d08. Dtchos poligonos sa denominan componentes de la figura Ai designemos 51l mimero por c (A). Luego, sea c *" (A) el numaco de componentes de complemento de La [igura A hasta ei plano. Uno de dichos componentes es ilimit.ado; los demas son huecos que pertenccen U 1.1110 !J () I ro pollgono. A partir del toorema 2 so obtieufl d.iractarnan tEl el. siguienta

C(lIl(_lLAHI0 La caracieristica euleriana de l« [igura A es igual a

X (A) = c (A) - c >I< (A) + 1.

(iUIi)

PHOllLEMA

10. J)"mll!"'~tr('~f' quo In sums V -/- A -/- C -/- /I es imlJSr para cuulnuior pnrLicioll del pnligono que tieue n huecos.

3-0326

34

§ 4. CAHACTEHISTICA DE EULER Y SUMA DE LOS ANGULOS EXTERIORES DE UN POLtGONO

En el presento parrafo se mostrara que la carecteristfca euleriana de un poligono se expresa de una manera muy simple, a travss de la sums de SIlS angulos oxterlorea.

fig. 20

Can esto se dara, en particular, una demcstracien distinte del teorema 1. AI igual que antes, comsncemos par el caso de los poligonos simples.

Sea AI 1111 p()ligono .stmple. Orientarlo significa indicar cuel de los LIDS sentidos pcsibles de recorrido de su conterno sa considers posittvo. Corrientemente es al sentido del reccrrido, para 01 cual los puntos interiores del polfgono quedan a la izquierda (fig, 19). Entences el senti do opuesto sera nogativo. Puedo decirse adernas que el recorrido del contorno en suntirlo postttvo es el movtmtonto par este coritorno en dlreccton contraria a la de las maneci llas del rel 0 i. Esto es1.a re laclonado con e 1 acuerdo antes mencionado sabre el senl.ido posi tivo de contso de los angulos.

Sea AI un pol.igonu simple orient.ado, y supongamos <1\110' nos 1II0V(,1Il01l por 3U contorno en sentido posttivo. Llamase ttngu.Zo exterior- del pcligono en su vertice A el angulo un I.r!· ) 11 pro] ungacion (en sen tide posttivo) del lade de estc que ademas termina en el punta A, y ellado del pollgono que co mienz a en este punta (fig. 20). Es natural considerar el angulo exterior como medida de giro del contorno ell HI punto A al recorrerlo en sentido positlvo.

.35

Si, par eiemplo. ,,1 angulo interior eu e l vert.ice A sa aproxima a .it, 01 angulo exterior se a proxima II 0 Y 01 contorno gira PO~\o. En general, as fa.eil comprohar que entre el angulo ill terior q: del poHgo no ell S U v(~-r ti ce A Y e J lingula exterior 1j:. en el mismo verttce existe In relaclon

q:+'P=1l (4.1)

(tomando en oonsldereclon el signo de! ang1l1o tjJ), Notemos que los angulos interiorcs del pOifgOI10 siempre se consld eran posi ti vas. Dc Ia form ula (4.1) '-:1.'\ desprenda, en particular, que el lingula exterior del poligono es posttivo si , y solo ai el angulo interior que le corresponde es menor que n,

LEMA.. Sea jlf un pol!gono simple que iiene n lados.

Entonces la suma ()J de todos sus angulrm inieriores es igual a (n - 2) st; Y la surna'lf de tows .I·US dnguloe ezteriores es igual a 2n lndependientemente del mimero de lados.

EI lector conoce, natnralrnente, 91 casu particular de este lema que concierne a los poligonos COil Vl'XOS.

Dsmostremos la primera afirmaci6n del lema per ind uccion respccto al mimerc d t\ I ados del poligono. Esta es conoctda para los triangulos. Ad mitidndolu correcta para todos los poligonos COil un mimero de lados mellor que n, dernostremcsla para un poligono con n lados, Tracemos en el poligono M una diagonal que 10 divide: en des poligonos simples MJ y Mz (veaso la dcmostracion del lema 2). Sean U)\ y n1 Ia suma dCl 101:' ii.nglllos intariores y .. 1 mimero de lades del poligouo }II; (lIt Y n~, 10.$ mismos valores para el poUgono M~. SOg(lll la supostcion de In inducci6n tencmos <1\ = (Ill - 2) 1t, (1)2 = (na - -2) rt; Adsmas, es evidsnte qUE' <1) = (1)1 +. (112 Y nl + + n2 = n + 2. Por eso

(f) = (n\ -2)n -1-{n2-2)n =(n1 +II~-Lj ).T( =jn-2).n, domostrando con esto Ia primera afirrnacion dl'i lorna Sea qll el angulo intPrtQr del poltgono Y lh, el angulo

exterior que Ie corrssponde, i -- 1,. TI, eulonces

'l't + ~'I -~ 1t. Por eso

no ,I, "tl

'1f.,- 2j "k= ~ (n-q>,)=nn·-. ~ '1',=

1=1 1 .... ,[ l-,l

= mc - nn + 2n -,"CO 2n El lerna 4 estii demostrado ,

36

Demostremos ahara la formula

'Y = 2ft (V - A + C)

(4.2)

que enlaza La .~uma de los dngulos eeteriores de un. poligono simple con su caracterisuca de Euler. Aqul util lzamos his designaoiones dol lorna 4.

DEM()STIMCION. Sea M un poligono simple partido on oaras; 0:, cualquier angulo interior de una cara arhitrartal]ct.Ia sumn de tndos los angulos de este tipo. Entoncc~ ~a. = ~la + ~2a., donde ~l designn la suma de todos los angulos a; cuyos vertices se encuentran en la frontera

del poHgono 1\·1', y 2.j2' la suma de los demas vertkos, es decir, aquellos, (,llYOS vertices estan dentro de J11.

Sea V 1 ol n iimcro de vertices de partici6n que S9 enc ue ntran on Ia frcntera de M~, Y V 2' el nurnero de vertices de parttcion interiores. En este caso V = VI + V2• La surna de los lingulo!'; (1. alrodedor de cada vertice interior es Igual

a 211:, siondo por eso ~ 2 = 2V 211:. A partir de aqul, tomando en considernoion In igualdad (4.1), ohtendromos Ia expresion siguiente para Ia suma rill los ungulos ex teriores del poligono M:

V, v, v,

IJ'= Lj 'p,= L; (n-(Pi)=V11t- 2j If'; =

;=1 i~l i=1

=Vt1t- ~ {t'''' Vt1t- Lj a+ L:j 2(1.=- (VJ + 2V2) - L:; a.

(1.3)

Sea m 01 numero rio l ados (0 iingulos) de la cara , para la cual estc nurnero es maximo. SeguJI 01 lema 4

~tX [Ca + 2C. -f- .•• + (m - 2)Cml n , (4.4)

slendo C~ el numero de earns triangulares; Cu cl nii m01'1) de caras r.uadrnngulnras: ... Crn, ei numero do caras mangulares. A parf.ir de (4.3) y (4.4) 51.' despronde quo

\IT = rV1.+2V2-C3-2C4- ..• ,-(m-2)Cml n, (4.5)

Sea A, cl nurnuro ric nristas de part ictun ([11(' St' oncuc nIran en In lrontera del poligono JIIf, y A2, el numoro C[0 nris ta8 inteniores; entonol.'S A = Al + .;\2' Dado que cada arist.a i nterior pertenece ados earns, y cada arista de Ironters u una, ontones sumando las arrsras de todas las

37

caras, tendremos

3C" + 4CoI. + ... + mC", = .4.1 + 2A2. (4.!1)

De Is Igualdad evidente

C = C3 + C4 + .. , + em se desprendo que

C~ + 2C~ + ... + (m - 2) C,,, =

= (3C3+404 + ' , . + mCm)-2(Ca -I- C4 -I- ' .. +Cm) =

= (3C3 + 4.C4 + ... + mCm) - 2C. (4.7

A partir de Jas igualdades (4..5), (4.7), (4.U), VI =. AI y A = Al + A2• obtenemos

lJ! = (VI + 2V 2. - Al - 2A2, + 2C + VI - Ad 11 o bien

10 que preclsameute era uecesario demostrar.

Esta claro que de 11.1 formuJa (4.2) y del Irma 4 se desprende de nuevo 1a afirmacl6n del teoremu 1.

Sea ahora M Ull poHgono con huecos, Vamos a considerar, para sirnpl ificar, que la fron tera de cad a h ueco quo represent a un contorno no tiene puntos eomunes con las fronteras de otros huecos ni con 01 contorno exterior del I poHgono M. La orientacion ide este se da Igualmente que antes, es decir, se considera positivo el sentido de reco-

rrido do su frontera, para el I~ig. 21

cual Ios puntos interiorcs de

lkf so quedsn a Ia tzqutcrda.

Quiere decir esto que 61 con-

torno exterior S~ recorre ell direccitiu contraria a Ia de las manecillas del reloi , mientrus que Iu Ironteru de cada hueco, sigllienc!o el seutido rle las manecillns de relnj (rig. 21). Se conserve [.ambio!] Ill. determinllcion del ilHglllo exterior. Se comprueba con fac.ilidad e l hccho l'liguionlC'-. Si A es el vertice del poligono M quo :-;c ()IL('.1.I01L1.1·" en In fron-

'V = 211: (V - A + G),

(4.2)

38

Iera del hueco P; 'ljl, eI iing ulo exterior de Af on eI punta A; w, 01 lingula exterior del poligono simple P en 01 mismo punto, entonces ~) = - to. Por ejomplo, en Ia fig. 21 DAB es 01 lingula exterior del poljgono iII en el punto A. y HAC, el del poligono P. Dlchos angulos son igualas en valor absolute como vertlcales. Esta claro t mbien que son de signos opuestos. Par tanto, Ia sums de los iingulos oxteriores de U.II poligono, tomada par todos los vertices de alguno de 13118 huecos, es igual 11 -2n. Esto quiers dscir que parH 01 poligono A-J con n huecos So cumpJe la igualdad 'Y = 2n (1 - n) tambisn por el teorema 21¥ = = 21lX (M). So podriu dernostrar la ultima ig ualdad independicniementc del teorema 2.

PROBLEMAS

II. Supungamos que un pentagon» simple estu partido en ~lI.rBS poligonales convexas de tal modo que elida lade del pentagono as a Is vez cl de alguna cara, Dsmuestrese qUE> si el numero de caras es no menor de 5. entonces por 10 msnos en una de ellas hay un angu- 10 ;;;'2n/5.

12. Supougatnos que un pcligono simple M ~8t.a dlv id ido en poligonos simples Mp ... , Mn de tal manera que cada dos poligonos Mi Y .!'tlj no tlenen. on absoluto, puntos comunes 0 su intersccc.i6n consta do una quebrada simple no cerrada que se encuentra en la Irontera de eada \100 de "lIos. Dichas quebradas pueden degenerar, as decir, ssr puntos. Llsmemos a los pollgonos M" ... , Mn caraa de parlicicin de M. Llamemos verttce de p articuir: tnterior a I punto interior del poiignno M, que pertenece a tres caras (0 a un njimero mayor de estas). Llamsmos ~ertife de p aructe« de [rontera al punto Ott Ia Ironters da M. que pertsnece a dos caras (0 a un numeTO mayor de esta~). Vamos a Hamar aristes de p arttets» a las quebradas simples no cerrarlas qua se encuentran en las Ironteras de las caras uniendo Jos vertices de particidn. Dsmuestrese. va liendose de los razonarnientos utilizados en Ja demostrac.eu de Ia formula (4.2), que para tal comprenstun de III partlcion es justa la igualdad X (M) = V - A + C = L

f3. Delli u cstres« , utili~andtl ol resultado dnl problema 12, que un graIo complut.o con cinco vertices no uncaja I'D 1'-\ plano,

§ 5. APLICACION DE LA CARACTERISTICA DE EULER AL CALCULO DE AREAS

Supongamos q ne ell 61 plano t':,;tlin trazadas unas ror-tns horizontales de till manera qUE! l a dlstancia ell tre cada pal' de rectas VE!ci1l3S es igual a 1; 1M rect.as vcrtica les est an

39

traz.adas con la misma condiclon {fig. 22}. Tales rectas dividen el plano en ouadrados de lado iguaJ a 1 y que t.ienen , por tanto, un area unltaria.

EI ccnjunto de vertices de todos los cuadrados so denomills reticula puntual, y los propios vortiees ue los cuadrados, nucfus de d icho retfculo.

Aplicaremos la caracteristica de Euler a1 calculo de las areas de los pullgcnos. todos los vertices de los cuales 56

Fig. 23

encuerrtran en los uudos del reticule. Ccnvengamos en Ilamar reticulares a tales pnligonos. En dtcho parrafo 511 examinan snlarnento los poHgonos reticulares.

Sf ill es u.n poligono reticular simple, entonces para su area S (M) resulta justa La formula siguienie:

S 1M) = i + ~. - 1 , (!'i.1)

donde i es el nlimero de nudes quese encuentran dentro del poligono Alj b, el numero de nudos que coniiene .~u [roniera. Por ejcmplo, para el poligono M (fig. 23) tcnornos i. = 13,

b = 16, stsndo por eso S (M) = 13 + ~ - 1 = 20. Por lanlo, el calculo del area se reduce Oil este caso al calcule de los nudes del reticulo de dos tipos dlforcntes, La f6rmllIII. (5.1) rue ohtonida en 1899 pOl' III maternatico austriaco

G. Pick (185\l-h. HI43).

La Dl!..MOSTRM:.!ON de III. formula do Pick slIdi real izad s on tros etapas,

1. Llamcmos primitio» a un t.ritinguJo rcLicular sl denI'O de esto y en sus lades no hay n udos del reticulo;

40

ejemplos de tales triangulos pucdon verse en la fig. 24. La pcimera etapa d~ Ia domostrnci6n conststo ell comprobar eJ heche tie que el area de cualquier triangulo primitivo L::. os igual a 112:

S (6) = 1/2. (5.2)

Sea AHC un triangulo prim itivo (fig. 25), S (ABC) es su ~Iroa, AGCE, 01 rectangulo mas pequofio con los verti-

FIg. 2~
1--)-
..
._
,1--,

t-I~ I o c
J_ .. '.
Fig.2r, ces on los nudes del rcticulo que contluna el triangulo ABC. Soan D y ,.. las bases de las perpondioularss bajadas desde el punto B a las rectas AE y CE, respectivamente. Introduzcamos las notacionos siguient .. ~ para las iongil.ndes de los scgmentos:

IADI- p, IAEI=q, IEFI=r, IECI='s.

41

Es evidcnte que los numeros p, q, r y I) son enteros . HalIemos las areas de los triangulos ACE, ABD, nep y del recttingulo IJDEP. Tonemos 10 siguiente:

S (ACE) --' 9;, S (.11:1D) = _LJi' ,

S (BCF) = (1]- IJ~ (s~r), S (BDEll).· (q- fJ) r, De aqui

S C 1]8 pr (q-/,) (s-d ( )

(AB .... )~-2-2- 2 ._ I]-{J r

o bien, una vez hecha Ia simpl ificacidn ,

1

S (ABC) ="2 (ps-qr).

(5. :»

No hemos utrltzado todav.ia Ia condiciou de que el trlangulo ABC es primitivo. Mostremos que sf dicha condici6n ss curnple, entonces en In formula (5.3) ps-qr = 1 y, por cousiguicnte, 10 igualdad (5,2) es justa. Designemos por N (jH) el mimero de nudes del rsticulo que sa cncuentran deniro (jpero no en In fronteral) del poHgono M, y por N (PQ). el mimero de uudos que estan en eJ segmento PQ y diferentes de sus extremes. As! PUllS, por ejeraplo, N (ABC) = N (All) = IV (II C) '-~ N (BC) = = 0 (fig. 25),

Hallernos primorarnente cl nnrnero N (AGC E), Puosto que I AE I = I GC I ".= q, I AG 1'= I C B 1-" s, 01 rectangulo AGeE contlcne s610 (q + 1) (8 + 1) nudos. De estos 2 (q + 1) + 2 ( I>' + 1) - 4 nudos se oucuentran en la frontera del rectangulo, los dernas, dvntrn do est.c. Por tanto, N (AGeE) = (q + 1) (8 + 1) - 2 (q -I- 1) - -2 (8 + 1) + 4 = (q -1) (s-1). Luogo , como AC 0!5 lu diagonal dol rectangulo AGeE que [f) divide ell dos trUingules Igualos, y N (AC) ,-", 0,

N (ACE) = ; N (,MiCE)~, -} «({-'I) (s -- 1) Anaiogamente,

N(ABD)= ~ (/)-1) (r-n.

N(BCF) .'-+(f/-p-1) (8- r-I).

IV (BDEF) c-= ('1- P -1) (I' -1)"

N (ED) -1'-1, N (BF)= q-/i"- I,

42

A partir do Ia figura 25 esta claro que

N (ACE) -= N (ABC) + N (ABD) + N (RCP) +

+ N (lWEF)+N (AB)+N (BC) + N (BD) +N (BF)+1. donde lu uni d a d eo !)1 segundo mi em hro corrosponrlo al punto B. Poniendo en esta formula 10:; valores hallados de los rnimeros N (lIn para diferentes poligonos 11;/, tenemos 10 stguiente:

1 1

T(I{.-1)(s-1)=T(P-t) (r-1)+

1

-YT (q-- p-l) (s-r-l) +

+ (q- II --1) (r-l) + (r-l) -to (q- P -1) +- 1- Despues de In simplificacion tenernos ps - qr = 1, 10 cual demuestru Ia formula (5.2).

2. Sea 1lJ un pol igono reticular simple. ~Iostrcmos que este puede ser di vidido en tri6.ngulos primitivos. Pucsto que 01 poHgono siemprs so supone dado en forma de parttcton en poligonos convexos, mientras que carla poligono ret.icular convexo so parte 011 triangu]os reticulares, resta mostrar que cada triangulo reticular pucde dividirsc en otros primi tivos. Supongamos que dentro de- 6. 0 en su rrontera hay nudes del rcticulo. Unamos aIglin nudo interior a todos los vertkes del triangulo b. 0 a lgun nudo que est.a en un lado de 6, a su vert ice opuosto. Entcnces se obtiene Ia purt.icion de 6 en dos 0 tres lria.ngtllo~, cada uno de los cuales t iene dentro de 51 y en sus lados menos nudes que L. Luego apllquernos Ia misma construccion a los triangulos nbtcnidos que no son primtt.ivos. Est.i claro que despues de un numero finito de pasos llcgarernos a la part icion elf. 6. en triangulos prlm it.ivos.

:'I. Mostremos q ur, para cualquier parlictoll de un pollgono retroular simple Jl'T en trLingulos prlmitivos el mirnero de estos ()S ig ual a 2i + b - 2. siendo i ol nu mero de nudos interiores; h. el numsro de DUclos de frontera del reticula. A partir de aq ui y de 1(1 igualdad (5.2) so obt.iono la form ula de Pick. Scan V, Aye los mirneros de vertices, arist.as y earns (t riangulares) de partlcion. Dado que los vertices de pa rt.ir-ion cotncrden co n los nudes que se encnentran en M, V '- t -I- b. Ademas, se cumplen las iguald ades A .; ~ Ai -I- A,,, dondc Ai es cl nurnero de aristas de part.icidn i uteriores: Ab, 01 nurnoro de arist.as

43

---------------------

de parl.ic ion de frontera, asi COIllO Ab = b

y

(5.5)

La iguald ad (5.5) se obticne suma ndo las aristas respecto a todas las caras (triangulares) considerando que cad a arista de frontera psrtenece a una cant, Y ('II d a a rista interior, exactameute a dog caras. Ahnra Ia igua! dad (5.5) puede tra nsformarse asi:

3C = 2 (A - Ab) + Ab = 2 (A - b) .+. a,

do donde se desprendo que A = -j- rsc + b). Sustitnysndo los valoras hallados de V y A en la formula de Euler

V - A + C -'= 1 (5.6)

tendremos i + b - -j- (3C + b) -+- C = 1 n bien C = = 2i + b - 2, 10 cual preclsamente ora neccsario. La formula de Pick (5.1) eatii demostrada.

Si se vale de la noci6n de «peso» del punto con respecto al poligono, la formula (5.1) puedo escrl birso en otra forma. q uiza mas c6moda para rccord arln. Consideremos algun punto ell el plano y un circulo de radio muy pequefio con el centro en d icho punlo. Llamomos peso Ja razcn del area de Is parte del circulo que so encuenl.ra dentro del polfgono, al area de todo el circulo. Si el punto so encuentra dentro del poHgono (como, por ojompl o , los puntos A y B en Ia fig. 9, p. 21), entcncos el pequciio eire 1110 se encuontra por entero dentro del poligono; por ('·50 01 peso de tal punto es iguaJ a 1. Si el punt.o 1'(' 11I1CIHmtra en lin Iado del poligono y dtfiorc de 511:-1 vertiees (por ciernplo, el punto D en Ia fig. !J), su peso es igua l a 1/2. POc fin, como es Uicil ver, al vertif'.c d(~l poligollo t.iene un peso igual al valor del angulo interior ell rl icho vertice dividido por 21(. Ahora Ia f6rmula de Pick puede expresarse ast: et area de un. poUgono reticular Simple es igual a la suma de los pesos de todos los nude» del reticule incluidos en este.

Dado que el numero i on la forrn ula (5. f) no es sino Ia surna fIe los pesos de los nud os intcrl ores del I"Qtlc1l1o,

basta COil demostrar que In surnn algebraica ~ ~- 1 as iguaJ a la slim a de los pesos de totlos los nudes de limi te.

44

Sea b, ol nrunoro de vertices del poljgnno, y bz• eJ numerc do los d011H13 II lidos de lfmite. Eritoncos

/J 1'1 b"

2--1=2- .. 1+2" .

Eslt\ clare que Ia ox presion

~-1~ (/,!-2)n

2 ~'l

IlS igual, on \' ista dol lema 4, a 1a sum a de ]I)S pesos de todos los vertk(~s del poligono, mientras que ~ es 11\ sumo. de los pesos de los domas nudes de limite, 10 que demues-

tra 11 uostra afirmaci6n.

Es de interes sorialar quo ex Isto un analogo de Ia f6rmuIa do Pick (5.1) para los poligonos reticulares con huecos (fig. 26). Su aspccto es 01 slguiente:

S(M) =t++ -X(M)+

+i:- X (iJM), (5,7)

donde oM ClS In frontera del pol igono M. Estii claro que Ia formula (5.7) genoraliza Ia formula (5.1), puesto quo para UD pol.igouo simple

x (M) = 1 y X. (ai'vl) = O.

Fig. 211

La demos tractcn de Ia

._-- f61'1lL ula (5.7) se realiza de lEI.

misrna 111 a ueru q Ill' I a du la (5.1) difOl'enci6nrlOSB de ella sulo al final. Practsamente, en vez de l a lgualdad (5/l) l<'>U('nW5 ahnra , de acuerdo con In determinacion de Ia carnc terfstrca euleriana de ia frontara,

b - Au ='" X (Ci'v1), (5.8)

yell vel. II(! (S.Il).

V ~ A + C = X (il.l) ,

(5.9)

Por GSO 'Iii igualdad (S.:I) una vez hecha la trausformacidn conxhleraudo (~d;!), obtlene Ia forma siguicnte:

3C -= 2A - b + 'X (oA1)

45

o bien

A =T [3C+b-X «(LII) I ..

Sustituyendo en la igualdad (5.!l) el valor halJado de At as! como V = t + b , tenemos

i + lJ- ~ [3f'.+ 17- X (8M) J "H.~ = X (.0\1).

A partir de aqui deducimos el numuro C:

C = 2i + b - 2:<, (M) + x. (OM).

Dado que tndas Ins caras de particidn son triungulos primi tivos cuyas fireas son igualos a 1/2, 1(\ rormltla (5.7) queda demostrada.

Sobre otros aualogos de Ia f6rmllla de Pick en 131 plano y en 91 espacio VOSSI.' el interesante articulo [31.

PROBLEMAS

14 _ [)eIDuesll'f);;C quo parH 1'1 Area S (J-l_l J,. un p"lig"oo retlcu .. lac simple ill es [usia In Igualdad

(5.10)

Aqut G llooigna 01 numero total do nudes del ret.iculo q",~ se en .. cuentran en M (es docir, G = t + b); L. al ptlrlmetrn dd polignno, cs rlecir, Ia Iongitud de su lrontera. i\d,)ma~. si ,,) 1".Jigl)no est.a partido en cuadrudos unitarms con ,-6rticl's en los nutlos del reticulo, III desigualdad (5.10) se cony ierte en igual dad.

15. Supongamos que en III plano e.sta el l'eLkuln puntual descr lto antertormente (Ilamemosle reticulo 1 i "I'racnmos unas recta, horizcntales y vort.iea les comptamentarius de manora que S~ ob ..

tenga la partrc ion tiel plano en cuadrados cuvo 13,1,) cs -} . Llama ..

rnos a hlH verti('e~ d" dtchos euadrarlos n\I(I",~ del rut.iculo ~ _ S"a M un poligono (stmple 0) con huecos). cuyos v;jl'lk·~·s ,~"'l.iin NO los During !l~1 ret icu ln + . Sr~n tarnbien iz y b~ IQ~ nii"It:>('()S ,11, nudns de cste rotlculo que se eneuentran doltll'" Y ('II I .. r,,'ul"Ta .Iel potigono, respeot.lvarnentn (tle~iglle-m"s los nilillJ.ll'ns (mlil(,gn~ parn cl reticule 1 pOI' 'I Y bl)_ Demusstrese fjlH' eJ "n_>11 (J~1 pnllguno (>8 igual a

Poro ~i l,,~ .i· r I.l<"-e~ d[oI pnlignno e~l:iIl un los I.WrlOS del rcriculo t ( Y pur 1'5<> l;lmb jell en los nudos de ret.iculo + ), entonc es

as decir, los U;rminu' que cunt ienen In earacteristtca de Euler se suprrmo n

§ 6. FOR!VIULA DE EULER PARA EL ESPACIO

Estudiemos It I caracterfstice euleriana de las figuri:ls Irif.limensiona les. Al pllrLir tal figura aparacen no s610 vej"t ices, nristM y caras, sino tambien celulas tridimensiouales (tridi.mer~wn(llido.d de una cal uta qui ere decir q ue cl la co ntiene por ontero cierta esfera 0 hien, 10 qus cs If) mlsrno , JlO vace eo ningun plano). Ahora as natural Jlumar curacterist.ics de Euiar de. la figura ct> al nurnaro

X (<t)) = V - A + C. - K,

donde K E'$ el uumero ,Ie .~IJ.!. eel \l I a." t.ridimen.sionales.

Comence mos por calcular JII c.aracteristica de Euler del propio espacio (tridimensional) R. Sea que en el espacio existe una familia finita de planes Ql' ... , Qn. Dichos pianos partsn el sspaclo ell un conjunto finito de cHulas trtdimenstonales: designcmos su mimero con ia letra K. Sea Q i cierto plano de Ia familia. Su interseccion con los demas planes da en Qt nn conjunto finito de rect aa, q 110, por consigu ionte, forman la paeticiou de dicho plano. Llamernos a los vertke.s, aristas y Caras de partidon de todos los planus dados, respecttvamante, verlices, arlst.as Y earns de parttcion del espacio , Pl1ede snceder que' 1<1 part icirin no tenga vert.ices ni aristas; es fad] ver 'lUI' osto licne Ingar si , y solu sl, todos los pianos de l a familia son parale los entre sf; en este caso es natural cousidera r como caras de particion a los proplos planes. Luego , 110 es d ificil most rar q ue JlI parrtcten no tiene \'ertic.cs si , y :sMo si, todos los planes dados son parulalos a delta rect a L del espacio (fig. 27) (,eompnll'ibl:'S!l estoJ). Sell Q HII plano perpendicular a In recta L. Entonces los mi mcros ill' celulas trtdimensionales, arist.as y caras dt~ In d i v isiu n o xu mi na da del espacio son igualos respoc t.lva-

47

mente a los numeros de caras, aristes y vortiee~ de part icion del plano Q ohteni do por interseccion de Q con los planes de Ia familia. De aqui so desprendo que en este caso particular tenemos V - A + C - K .,'"' -1. Resulta que dtcha igualdarl se cumple

sisrnpre, ss decir , l a caracter lstica euleriana del espaclo es igna J a -1 (vease (6.1».

Llamemos lineae de particion. a las intersaccionas rectas de los planes de la familia dada. Para e1 calculo do la caracteristtca de Euler necesttaremos de la nocton de grado del verticc (asi como de 18 linea) de partlcion. Se deter-

minan con absoluta analogia , es L

decir, como un uumero do planes de 1a familia que pasan por dicho

vertice (0 Iinea). I'ilt· 27

LEMA 5. Si en ei espacio estan dados los planes Ql' ... , Qm JI las

rectas Lll •.• , L,,, resulta posible trazar un plano nuevo Q no paralelo a ninguno de los planes dados y a ninguna de las rectus dadas.

J.)EMOS']"'RACI(\N. Tomemos algun punto 0 ell el plano Ql y tracemos por este los pl anos Q~ II Q2' ...• Q;" II II Qm y las rectas L~ II L1, , • " L;, II i... Sea !PI el angulo entre los pianos QI y Qj (i = 2, ... , m) y 1~J> 01 lingulo entre el plano Ql y la recta Lj U = 1, .... n). Como de costumbra, como medida del Angulo comprand ido entre dos planes se toma el valor del angulo lineal respecttvo ,

considerando que 0 ~ \PI ~ ~ y 0 ~ 1.jlj~·i para todos i y ;. Si todos los iingulos !jJ2' ... , (j'In' 'PI' .. " "¢n son iguales acero, cualquier plano lIO paralelo a Q! sera el huscado. En caso contrario eJijamos entre dichos angulos 01 mintmo positivo; por ojemplo, 'Pl' Tracernos on 01 plano Ql por el punto 0 la recta 1..1 d iferonte tanto dl~ todas las roctas L;,. ., L;. como tarnbien de las Jlneas de intersecoion del plano Q1 con cada uno de Los pianos Q~, ... , Q'm (vease Ia domostracion d(11 lema 1). Tracemos POl' In recta L el plano Q que forma con el plano Ql un angulo positivo mellor que 'Pl. Esta claro que Q no coincide con ninguno de 10$ pianos Q;, ... , Q;" Y lIO contiene

48

ninguna de las 1·8c.~a8 L;, ... , L;', y por aso es 91 buscado. EI lema queda demostrado.

Demostruruos 13 f6rm ula de Euler para el espacio R, es deci r , c-o U\ II ro berncs que para sup nIH ('.ion e ualqulera por lin nuinero finito n de planes se cumple In igualdad

:x un ~;;::- V - A -I- C - K = -1. (6.1)

Vamos a considerar qUI} Ill. partici6n on cuesti6n !Yin tiune vtirticul:I y, por consiguiente, t.iene aristas; al lector se le ofreee dernostrar Ja formula (6.t) para el caso cuando no hay vertices.

Demostrernos Ill. formula (6.1) pOI' el rnetodo del plano en movi mion to. Para (',OQS t.ruirlo , tracemos primera monte unas roctas complomentarias por cada pal' de vertices que lIO est.an en una Hnea de particidn , Por cjem p lo , si Ia parttcion dol nspacio so realiza POI' seis pianos obtenidos prolo ngando todas las caras de un cubo , se necesttara trazar solo H1 rectas complamentarias, a saber: POI' los ~ pares de vertices opuestos del propio cubo y por cada par de vel'tieBs opuestos de elida eura , Villiendonos del lerna 5, tracornos ol plano Q no paralelo a nlnguno de los planes dudes, ni a ninguna Iinoa de part.ici6n, ni a ninguna recta complementaria. Precisamente Q sera 01 plano mOvil. Harem os dos supostcionss con respecto a este: prim ern, vamos a considerar que, es horizontal (esto puedc lograrse haciendo girar de manera debida todo e1 espacioj ; segundo, esta sit uado On su posicion Inicial par debajo de todos los vertices. De Ia primera supoeicicn se desprendo , on particular, que todos los "ertices de dtvlsi6n yacen en ol espacio II. diferente altura; vamos a numerarlos en orden de crectmtento de III altura, es decir, sea VJ el vertice mas hajo, 02' el siguiente ell altura y, fina 1- mente, ,,'v, oj mas alto.

Con ol fin de demostrar la igualdad (6.1) se puade, POI' cjemplo , ex prcsar los numeros A, C y K a traves de V y n, Ell este caso, anaiogamente a Ia domostracion de Ill. j'{)rm uln (1. ~). so neccsitara de nuevo una tuformacron com pl ementar!a, y basta mucho mas grande que para el caso plano: so tendran que considerar los grades de todos los vertice:-;, Pi mimaro total m. de Iineaa de pnrtici6n y sus gradns, asi como eJ mimero de liueas de partici6n que pasan Pili' cad a vertrco. Realicemos csta dcmostracton, COli ct {in !II' simp lificar, sOlo para eJ caso partrcuiar, Quando cl grade de cada vertic(_> es igual a 3 y del de cads

49

linea de pacucton as igual 1I 2. Adomas, el razonamiento sxpuasto mos ahajo sirve tamhien para of caso general (lo que se utilizara mas adelan te), y Ia diforencia entre los cases particul ar y general so manltiosta s610 en las f6rm ulas de V, C y K.

Veamos 01 plano m6vil Q en 811 posicloa inicial. AI intersecar Q por los planes do la familia, en esto primero se forma una familia de n rectal! q 110 const! tuyen 18 particion .!ZJ Q d 01 pill no Q. A cad a Iin ea do III pn rtici6n fIJ R del espacio Ie corresponde su propio vertice de Ja particion !!lJ Q del plano, es docir, 01 punto de interseccicn do dicha linea con Q. Analogamente, a las earns y celulas tridimensionales dr la particion fL'R intersccadas pot 01 plano Q les corresponden las aristas y caras de la par ticion mQ, respectivnmente. ASI puss, till pnrtlcitin del plano Q ti ene m vertic-os con 01 grade tie cada uno ignnl a 2. De acuerdo con las formulas (1.3) y (1.4), Ia particlon !?iI Q tiene n + 2m artstas y 1 + n: + Tn earns, respect ivamente. Por eso el plano Q intersecn en au posicion in icia l

m, urist.ns " +- ~'11- r aras Y

1 + rl .+ In t.Eljllln.~ lTjrlllll('I,siljll<lk~

de la particion a;_'n.

Ahora supongamos que el plano Q :;1,11)(, hacia arriba quedandose constuntomonto hor izuntal . A part.ir de In pri mera suposicion so hre dieho pl n 110 ~. fit'l lerna G so dosprende que cada arista de la parl.icioll:Z Ii (y, ilidilogamente, cada cara y cel u la trirl imensio nnl dl' IlsI.a), II l'XC,t'.Pcion de las q!le Sf! intersecan eon ol pla no Q ('11 RU posici6H Inicial, tiene el unico vertice mas bnjo I)e nqui so desprenden dos concluslonos. Pri mcro , If!:" 1I.1/('(.'l1S r'.e.lullls

de la part.ic idn .'X R surgen s610 ell los mnmont ns ('111111(10 e l

plano Q pasa por sus vortices. Scg und o , 1,1 nu morn liE' aristas, caras y celulas trldlmcnsiu lIaks 1lIH'\'i!S (1'1(' SII rgem a l pusar Q por 01 verlico 1.'(1'1' igunl r'11:,;ppcl.iv(l1l11_>utp, al ruunero de vertke,<;, ar istas l.im.uadas r (','I''l.~ Iimiuuias In. de part.ici6n del plano Q fonnnda 1'1)1' las rectns rosultantcs do '<;11 intorseee ion con los nlnnos lit' In ln m il in que atravissan al punto 1-'i en el m o nil' Il I 0 e 1111 II rI 0 Q ostri un poco POl' encima de Vi (las nuevas ('·clu1n~ de \iI pnrt.icibn 5J 1, rom" .~f enacleran» del v(irlir.e /.Id tv(oa-~e In fig, 2R). Dicha part.icicn del plano (J, a fuccI.a de lu SlipU' slcion sobre ol grado de los vcrl.iel'~ y Ins 11111'(\'1, se efcctua

4-0326

50

por tres rcct.as de posiciou genera I (veasc el problema 3). Por consrgulento , surgan tros nuevas arlstas, tres caras y una calula tridimensional. As! sera al pasar el plano pur cad a vertlce, POI' eso

A'-~'m+BV, C=n+2m+:W,

1\ -~H-n+m+V. (H.2)

DC! aqui £Ie daspreudo que X~)=V-A+C-K~V-m-3V+n+2m-+ +3V-1-m-n-V=-1.

As! puos, 18 formula. de Euler (6.1.) f)sta dnmostrada , suponieudo fl ue cad a vertrco de part.icion Hone un grado igual a 3, yeada linea de part.icion 10 tlene iguaJ a 2.

Para el casu general no v a-

I;"ig, Ui mos a hallar las formulas que

expresan A, C y K por rned io de V, n y otros datos, sino q ne harornos uso riel lnt'ltoclo ya utirlaado nnterinrmente en el plano. Precisamante escribamos Ia suma de siguo

variable V - .11 + C - K rospecto a lus verl.ices, es

decir, III representaromos en l a Iorin» slguient.e:

"J. (RJ =.- V - A + C - K ""~ (- Av + Co - KoJ + + (1 - '\1 I- C, - K1) + (1 - 1\.2 +- C~ - K2) ·r ...

_ ... !- t1 - Av + Cv - Kv), (t).3)

d onde Ao, C" y K 0 SOli los numerus do c..ell! I AS de part.ic iun del «spar.to q ue cncuen tra el pl ;1I1() Q fHl su posicion i nic in l: AI, C1 Y 1<.1. los mimeros de cel ulas de pnrttcion qua surgen dl'Hput~S d e pasar Q por c l pri mor vlirlitu, etc. COIllO ya so Iw dicho, la suma

So ~-. ll" - C, ... j Kn

fOS igunl a 10 <"H'ncl"1"i,~l.ic.a rh' Euler d('i plano; mientras que cada "~11!1111

S, - Ai - C,. + "I (l """ 1, .•. , V)

51

es igual ala caructceist lca do Euler tie la Iigura compuost.a de las celulas Ilmitadas do la paet.lcion dol pl ano Q (lHgC!ldrad (I pOI' Ius l'oetas resultantss de su illtCl'M,rGion con los planes de la familia que pasan PM el verttce V" A Iuorza do 1n flfirmaf,ion dol problema 7 !.ollomos S i .r- 1. SIl;;I.itILyondo IOf; valorss hnllndos Ill' Ins sumas Si ell (n .. 'l), tenernos que X (R) = - 1,

§ 7. j<'OHMlILA DE BULEH PABA POLlBDHOS CONVEXOS Y SUS COR.OLAlIIOS

Lhimase poliedro eonuezo a la mterseccion Ite nn mime- 1'0 rinito do somiespacins a condlcion do que ('st-a, prirnero , ('sl·e limitada, es decir, este ancerruda denim do darla osfora, y segundo, os tridimensiona 1, u,~ docir, ron tlene una o tra esfera 0 bien, ] 0 que c.~ 10 mismo, 110 yace en ningun plano. gil esta dnHllicion dl'l pol iorlro COJlYOXO se supuno tam bit'lrl q no cada serniospccio cnntivno un plu no quo Io 1 irn i t,a.

Tndos los puntos del pohodro C.OllV{\XO so d ivirlcn Oil los interiores y los do Irontern. Se dlce que IIIl puulo del pnliedro X es interior si extstc una esfera con 811 centro en dlcho punto que ,<ill> encuontra por entoro ell X. Un punto del pnliad ro es de [rontera si cual quier osiera con su centro en dicho punto conticne tan 1,0 puntos .Ie X como tambien puntos de SIl complsmonto respecto al ospaci o. Todos 10;; puntos de Frontera consti tuyen 1 II [rontera del polrodro. Dlcha Irontera consta de un numuru fi nito de cnras, las cuales son pol lgonos convoxos. Lo» lados y los vert ices de dichos pol igonos se denomiunn aristas y vertices del poltcdro, respcctivamente.

Dornosl.rornos la lamesa {6rmu/'(1 (u., Euler

Y - A + C -"" 2,

(7.'1)

[usta para t'ualquit'r poitedro conoexo .

nFMO~'I'IC\' ',I o x. S upongamoa, coruo <1\.\ <"'0<,11111\ 1,,1'\", q IIIl totlos sus Vf>rtic.Po/, estiin 3 diferl"lIlc [I]lur\1 y uumerauos como V" 1)2' ... , l;v H fin de q II!'. (,f'ld~ :sign ionto R'lLe pur encima del antarlor. Designemos por Ci Ii .. 1, ... ) V -t) Pi n llUll'I"O de caras del pol icdro, parn 1(1$ (. uales el punt.o o, IlS 01 vurLic(! mag bajo 0, Oil 01.['11" pal a bras, las

52

eualus esa leu» huc ia arribn del verUCt~ Pi' Sea Ai (i = - t •.. " V - 1) cl mnuero de al'lstas del poliedro que tieneu ul vertiGC I); Oil su extreuio tufcri(H' (0 «saleu» do tl icho vl'J"l-ir.'_' hnci a arriba). Esta cl aro (!ll!) tales caras y aristas no ox isu-u para el verI-ice rnaf; alto uv. Dildo que C·OII el v,'rl:il',I' Vi liuda lin numero igunl de earns y aristns, y t(l(ID::l (>sla~ «salem de d ichn verLice hacia arriba, entunccs

(7,2)

Cortnmo« ahora ('1 pol iadro X por loll plano horizontal QJ slt.uurlo I ig('rnnll'lltc por oncima del vcrUel' Pj

Fig. 29

(i= 1, . , ., V - 1). En In SOCC,HJn hahra un poligono (',OIIVt'XO M I A cad a IIDIl. de J as ,1\ 1 arisf.as dol poJiedro que sale hue in arriba tiel punto Fj Ie corrosponde su propio verticn dol poligono M'i' Amilogamanto, II cada una de las C; earns que' M11'1l hucia arrrba desdo el mismo punto It' (' 0 rrnspo lid (' "IJ pro pi 0 J ado d oJ pcllgono 11-11, Los vortic.os y lades ind icndus drl pnligono ccnstituyen una Ilnea quebrarln ~illlpl(1 (1111 corrnda que, posiblemente, conste de Illl solo \'I~I·t in'). Puesto que la caractoristioa do Euler d l' l'St i'l q IIPill'llila I~'" igun I a I a un idad , entonces

A., - C,

1 (i , ... 2" .•. , V - 1)

(7.3)

(f'1I Ia rig'. 2\1, donrle l'sl.a mostrmlo UIlO de los oases mas sl m plus, X l'.~ lit! t.et.racdro. La qucbradn consta de un solo $cgnll'ul !I), Ll 1I1111ll'ro total tip. srist.as del po liedro es A -,= A] -+ -I /\"-J' Y el numero total do sus caras

53

os C = C1 + ... -\- CY-1• Por eso , vali~ndonos de las igual dades (7.2) y (7 .:{) , tendremns

V - A + C = V - (AJ + ... + ;\Y-I) + (CI + . . . . + CV-1) =

= V - (Al + ... + Av-1) + Al -\- (A~ - '1) + ... . + (Av-J - '1) . .; V - (A[ + . .. j .• Av-1) + -\- (AI + ... + AV-1l - (V -:!) ,,' 2.

Asi plies, lu formula de Euler (7.1) est,l demostrada,

Sefialemos que dicha formula expresa la propiedad Uf) la [roniera OX del poliedro. No obstante; el razonamieut.o sxpuesto no demuestra que la caractertsttca eu Ieriana de Ia frontera soa tgual a 2: pues se ha tornado en consideracion solo la partici6n «natural» *) de III front[lra en c81ulas, misntras que para la demostracicn do la igualdad

'X. (OX) = 2 (7.4.)

hay que most-rat quo la formula (7.1) tlS justa para cualq uier par ~ic.ion.

Ahora, vamos a suponer que adcmas do In llatl!t'lIl existe alguna otra partir,ion (enueva») de I" Irontora aX en celulas convexas, cuya dimension 1')8 de lJ a 2. Vamos a seguir e1 segundo punto de vista sobre arnbas part.iclonee, cs decir, vamos I) considera r (1 ue (ml as I as c,jl u las sstan a hiortas, y por e80 Ius d ifnrun tes celllttH' rle HnH parficidn no ttsncn puntos oomunes. Scan v, aye los numeros de vertic,es, arlstas y caras de If) nueva particlon. Tenemos quo damostrar 111. igualdad v - a -I- c = 2. Como todas las celulas son convexus, cadit nueva celula 51;! contlene exactamcnte en una vieja. AticllIas, todas I,IS celulas nuevas que constttuyon una v iejn fOl'lll:lIl ~II p art.icion. Por oso, si F es una eel II Ill. v ioja ahiert a I rid i rncnsiunal, es decir, III cara riel poliedro sin $11 lruntcru: VI' a., C1' los numeros de nuevas c~Jl\lJas dl' d iI\'rent('" II i mun .. siones que so conttousn en F, entouces

VI - ill + CJ = X (F) - 1,

AniilogatrH.HI(t', si E Uti una nristn a hiorta \-it'ja, l'S docir, La arists natural rlel poltedro ~iTI ,~11~ I' x ! 1'1' IIIIIS; V" V I} ~.

54

los numeros de 1m; (~elI11aB nuevas contonidas on E, eutoncos

v,- a~ = X (E) = - 1.

(7.G)

Puesto 11"1_' (odlls las cl,I\llafl nuevas so eucuentran 011 ilX, cntonces In !<III1HI. v - ,I. + c puede daS(,OlllrOncr~l' r'ospccto a 1(11:1 c.ehdns vi ojas, tenisndo a part ir do las iguuidades (7,5) Y (7.U):

% «(1.\-)- v - iI + t' = V - /\1- C = 2, ASl pues, lu igualdad (7.4) esta dernostrada.

EI ultimo razonarnlcntc rnuest.ra , entre tnuto, qu o III caractut-istfca dl' Euler de l a frontera de un po lied 1"0 Uli igual II Ia surnn de las caraoteristlcas de Euler de sus {,'jHulas ahicrt.as. Dil'lw propiedad se Jlama aditiotdad: y 50 cxamil!lu'a postcriormente en una Iorrna mas ~,Wlll\rai.

Dctemunemos. antes do deducir los corolartos (10 1<1. f{)['mull1 de E ulol' (7,1), cicrt.as corrnlaciunes sim p1c~'" pew utilos. Notumos que hust.a el final de d icho pnrrafo por poliedro siomprc se cornprcndera solo ~ll pol icdro CQII.V(~XO,

Llamernos grado rlol ve,'tkll do unpnliudro ,,1 numero de aristas q ue "al(1l1 de aquel. Est(1 clnro que e I gl'1-I.rlo du e ada vel't.icn cs no iuenor do trcs. Dunoteruos P()!' V ~ el mimero de vert.ices COli cl grado ;~, pOI' V" ul HUmO!'O <Ill verLicm:l con cl grudo 4, otc. Entonces

'"

V~~\"J-'I-V,+ ... +VHl.-- ); Vi' (7,7)

i=1

Aqlli m. es U] i:(!'ado nui xi 1110 dol VOI't Ice y V1 = V 2 = U. FWClll.;'lltmncut(' no 110" inLcl'Osar'il. ('1 va lor oxacto del nu mero m: pot' eso YO lvemus u oscri blr la U)J'm uln (7,7) 011 forma nbreviada:

V -. Vri- 'I.', + . ' . ,,~~ Vi' (7,7')

1;:;:.~~

Carla caw (lei pol iedro L'S un })OHgOllO couvexo , cuyo IlUIIICI'C.o (10 larlus (I) (110 ,llIgliloil) es igual a 3 () It, do, J)('sig'lIo- 11101" PH" C, 01 IJUII!l'1'O do earns i-ilHt;lIlaL'l'tj t.lol pol iedru

(i = :), 4, . -I, E n est e caso

(7,8)

S inn :wllo I ;\~- a I"l~b," l'~':-; poeto 11 I.u\ 1 ()~ I,,~ ,,(;r 1 i r ('1" ~, 1 \)mando l'lI n)lHlldeL'1Ki{)u quo curln ar ist.a trill) dus Vt'l"ti\:l'S.

55

('.5 d.ec ir, so cueuta dos veces, obtenomos:

2A~:n',+4V~+:)v~+ .... _, ~ (Vi' (7.[))

i~;l

Ana logamonto, sumando las arist.as respocto a tod as las (' aras y to In a ndo en ('0 nsi deracion q lie cada t1 rista portcneco u I us fro II teras rto d os ca ras y, pOl' tan tn, Ole cuen tn d O'i vecos, tenemos que

2A =::lC~+4C. +~)C3+ .... , ~ lCI· i~J

(7.11)

Dado quo III ~l'ado de cad a verticc 0.9 no menor que tres () hien, 1(1 quo 1':< 10 mismo , de cndn VCl'tico salon 110 monos do t.ros aristas, sntonccs

(7.1'1)

Como cada cara helle lIO ruenos do tees vOI'tk(!lI, entoncss

3V ,,-~3CJ +!jC~ + 5C. + ... ,_ ~ i,C/. ,,;;,3

(7.12)

Pnistaso atcncion al heeho de quo 1'.1 par de mimeros V .Y C (asi como los pares de numeros V 3 Y (;3' V, y C~, etc.) Iorman parts s i rnetrie u munte dl-) todas las relaciones (7,7)-(7.12), 10 mismo que de In foi'mllJu d(l. Euler (7.1), es dedi', dlchas relacio nes se m auti enen [nstus :;i el numero V en estas se suhst.ttuye por el mrrm-ro C, el 1l11m!;'ro Va 1>01' HI mrm ero (;3' otc. y vicevcrsa. POI' cso a cadn afi 1']'11 ado 11 sobre, pOI' ejemplu, las raras del poliedro (leduc-ida do 1<1 formula (7.1) y Ills rrladones (7.7)(7.12) I(l corresponde una afirmar ion aiuiloga (dual) sobre ~IlS viirtie.!;'~. Ell esto conslste el 'hnuulio principia de dualulad, En ,pu I' lieu Jar, S(' pu ado d ec i r f1 TH', por ojem plo. las igualdades (7. ~I) Y (7.10). asl como 111:-\ d r~iglH\l dados (7.11) y (7.12), son duales una con fI'SP{''" '.0 a otrn. La f{lnnlll [I dl' E Iller ss d ual consigo mi sm a ..

Pasamos (l I a ded ucclo n de l()~ (:01'0 larios .t part ir de las reluctonos (7.1) y (7,7)-(7.12).

Tonemos, II PIU·l.i l' do ]1\ igua ld ad (7,12) y I" ignllJdarl

(7.10), que V ~; f ~ .c, Y ,\ -" ~ ~ .c.. Susi.i-

;;;.3 ':,<:!

11lycn(1010 ('11 (7,1) Sf.' tienc:

+ ~ iCj-+ h iCjl ~ CI~,·2

56

o bien

Scparemos Gil ambus sumas los termilJos qua contienen c; C4 v C&. Entonces

G(C3+C.+CS)+f.:l ~ c;-

ipS

-(3C~+4C4 + 5C5) - ~ iC,>12 i:;.c.1i

o bien

Dado que Ia suma que figura en 01 segundo m.iembro de dicha igualdad no es nsgat iva, entonces

(7.13)

La deaigualdad (7.13) tiene unos corolar ios geometricos intercsantes, Muestra que un poliedro convexo tiene obligatoriamente las caras triangulares, cuadrangulares, o pentagoualos. En particular, no existe poliedro conVBXO que tenga hexagonales todas sus caras, Si se suponc que C4 = C6 = 0, a partir de (7.13) 88 tiona Cs# 4, siando estrlcta d ich a desigualdad, es dscir, existe un poliedro que ttuno C4 = C6 = 0 Y C1 = 4, el tetraedro (piramlds triangular). Si C'1 = Cs = 0, entuncos C4 # 6; dtcha deslgualdad tamhien as estrlcta, como 10 muestra el ejemplo del cube. Si C3 = C. = 0, ontonces G; ~ 12; el caracrer oatricto do dicha desiguuldad 10 musstra 01 ojomplo del dorlccacdro (vease la tabla 3).

La iguuldad dual a Ia igualdad (7.13) t.ieno la forma siguiente:

(7.14)

EI lector por 5\ mismo puado demostrar!a, A partir de (7.14) se obt.icne, on particular, que no uxlste poliedro convexo cuyos vertices t ongnn el grade igual a U, asi como las afirmac iones stguiontes:

,.,i V" = V~ = 0, cntonces V3~ 4;

~l V, =- V!, ~'~ 0, ontoncos V' oJ ~~ 6; .. i V3 .= V~ ~ 0, cntuncos Vs~ 12.

57

Las uHi TTl as tres dcsiguuldades ~Oll l'stl'id,IS, lo que so ve en la tabla 3.

)1

,A

NOll1Ul'" d(;) Jl<,licdrn

'I'otruedro

4 ::I ~! I, G "
, I
t£> ---I
t
4 J Il I '12 c
I
,
... ~-,----. Octacdro

Dodccaedro

Icosaedru

Ii

8

'J2

llJ

Alrorn supo ngnmoe quo ol pol icdro ('"11,,,'\(1 1iI'Ill' ~1I1() earns tnnngulares. Entonces C = C~ y In [(/l'llluIH (7,.:10) Li()IlC In [o!'Ow 2A =.0 3C. D (J aq IIi ld " () ]'0 lnr i (l (llll) .'CUI:

58

sl todas las c aras de UJ] pol iud ro sun tl'i{lugulos, ontonces !,I1 numsro de sus curns os par. De manera dual, si todos ]0::; vertices de till pol icdro trouen 0\ grado ;1, el numoro de sus VMtic,t1~ es I)HI'.

Sea, a In inversa, que ol pol iedro convaxo no tioue ntuguna cnra triangular. t~ll este caso resul ta que BsLc t,ieno por 10 monos g vertkus (;()1I 01 grudo 3. Para dcmostrar (·S\.U ilfiarHwd{m vul vumus a escrihir la HiL'tuu l a de I'; ul N' (7.1) un I U form ,1 sig'lllt, u l.e:

ltV - :loA + 4C - 2A ~", fl,

sustltuyendo los term i nos del pri ruor iuiemhrn lie d ichn igualdad pOl' sus oxpresioues segull las formulas (7. 7), (7.9), (7.8) y (7. to). Entonces obtonemos

(4Va + 4V, + 4V. +, ' ,) -(:Ws + 4V~ + 5Vs + + .. .) + (1(:3 + 4(;, + ltC5 + ... ) - (lea + 4(;4 -+ l- !')C, + ' , .) = g

o bien, una "01. reil ucirlos los termiJlus semojuntes,

V3 + CJ c.' Ii I- (V5 + C6) + 2( Vii +- (;6) +

-+~i(V1-+C7)+'" (7.1S)

C'>01O eud a uno de los numeros Vi Y C, (.\11 e l segundo miernbro de ost.u i~ullldad bion ee mayo!' q Lie C.lH'U, bien (l;; igunl l,\ ccro, V~ + Ca ;;;;;;. 8. Tencmos !ltlg(m 01 ouuuciado quo C3 ""~ O. POl' eso V3;;'- 8, 10 quI' procfsamento halria que demostrar, De lu m ism a igunldad (7.15) se dt~..'lJlrelldu d lrectumcntu J a siguionte afi rrnncic 0, dual a la recien d ernostrad a; "j un po liedro convsxo ElO t.ieuu 11 iugu!l vert leo con 01 grado :~, el numoro de ~IJS <:,<UIlS tri a fig-ill nn'~ cs 110 mellor que g,

l Jn poltedro cuuvexo se d.enOEllllla combiruitorlruucnte regular ,<;1 todns SlIS cams t.iano n igllaJ numero de lades (digamos, m) }' todos sus vGrLicl.'s ti oneu iguHl grndo (rl iguruos, n). Asi puos, on Jicha dnIiuicjon IlO so exige que lus varas 15NIU pol'igonos regulares igunlos 0 'IlW los ungll I()~ pollcdros soan ignales l;;n csto co nsist.o In difpnllll:ia del poliedro UHH hi nnt.nri tl mr.,n!,(, regu In r II cl metrtcamente regular, conoe ido de1 rnrso 1'~("ol:ll' ,)(> R'comctl'la. (POI' 1;11 pucsto , ol policdro luetrir.nnll'lll.l· 1'1'11111,\1' CI; a 1,1 vez I: ornhinu turlainente rcgu l nr.)

:59

Vamos a d(~r,ir que \Ill pol iedro (com.lnnutoriamente l'cglliar til'lIl' el u.po (m, n) sl cada cara ell' e"tt' us un m-iigono, y el grado do cada vcrtkH es iglllli U fl.

Domostrornos que pueden ex iatir s610r i nell t i pos d if crentes de po li edros comblna toriamen te regu lares, Y a conocemos que uu poliedro regular liene cada uno de los lIumcros rn y n solo Igual a 3, 4 b 5. Do dichos numcros pueden hacersc nuevo pares (m, n) diferentes, Nos qusdu pur comprobar cuii los Ito dichos nuevo IUu·oS pucdon ronl izarse de hocho.

Asi, suponiendo q 110 tenemos on p I) ltcdro regul ar t.i PC) (m, n). Entoncas C = em, yon vista de (7.10) 2,\ = me. Aualogarnente , V = V"' y en vistn de (7,\l) 2A -rrm nV. Hcsolviendo el sistema de ecuscionos V- A + C= 2, 2A = mC, 2A = nV respecto 0. Los nnmeros V, Aye tuudrernos:

v.... . 41"

- 2rn-!-211-lIw'

A" ...... 2m" , 2m.+2n-·l'in.

C' ..... 4" :Jm-+2n~ntll

Como los n {I IIlCl'OS SOil pusit.i \' OS, ()nl·Olwl',~ 2m + 2n - mri > U.

o bien

(m· 2) en - 2) <; fr.

(7.1.13)

;\ hera p~ta c.1 aro que tit' los nuevo pares de n (1IlIeros (m, /I) i1 In desigualdad (7 ,Hi) Ie sattsfucon ~olo I o,~ ('I Ill' () :;igni ~Ht cs: (3, 3), (4. 3), (8, 4), (5, 3), (:~, ;), Los po lledrns comhi natnrlamon to rczul ares q ue correspond en ,\ estos pfl res roalmnnto existon: son .. I tetraodro (cua tro caras), ('1 hexaedro (s(!i'< c.a ra~), el octaedro (ocho n'l·iI'~), el dOlit,cscdro (doce caras), el Icosacdro (vr-intc r aras), Enla tuhln a pucden verso los val ores do los n(1lIl(,'!'OS tn, u, V, A y C pura dkhos pol ledrcs.

Completernos dtch» panaro con ta observaclen siguiento dirir:i"nl! 013 n I lectorqua ,'.OIlO~() pi concepto d~ ospaci u n-d Imenstonal. !'i ,liel", nspndn (,o"til'ne un jloli('.ilrn r.rmv<'x,,· que )10 se oncuentra (in n ing-II n It i PPl' P 141 un (1':1 ,_ 1 )~(I i mons r i nn(. i l ',=>tl f run tt\rfi sr- tlividc na lm',li.tlll'nl,' I'll ,·('llIta,~ "'I,VilS <lirU(,Il~inl)e'"'~"Jl ,1\' 0 a " - 1. SM fl; III nUmC11) d.c celulas con di(lll'n~iou t (I -~ (1., I, ' '" n - 1),

60

En{.()n('e~ cx lsto ('I Kllul()go sigu iuntu de la formula Ja Eu lor (i ,1): au - .. C<I + "" - , , , + (~1)"-J 0',,-1 =

__ j + (_I)n-'.

t6. Demuestrese que 01 rnimorn V + A + C es par para cualqu i t'l' pultcdro con VfJXO,

17, DelJ1u<;.~l·"HSI) In ft.rmula do Euler (7.1) pur ol m€todo del plau« movil si II su ]1(111('>" que loa vertices dill pol i edro se cncuentran a diferanto altura.

18. Demuestrvse quo si cada par de \;~rtiCf)s do \Ul poltedro convexo 05t.1 Imido a la arista, ontoncas el propio polied ['Q es un tctraodro.

Seiin leuros que on este problema 110 se pucde deseartar la cxi gencia ttl,' convax ldad, cornu rnuestra 01 ejempio de un cuerpo que consta do tres tetruedros ADCF, ADBIt y lJ].,·Cl', de 105 cuales cuda dos ticnen UDa arl:3ta COInUD (fig. 30),

Scgunda observucidn a estu problema: en III espacio mu lbid imensional Ill) ticne Iugar una afirmae ion analog", POI' ej{'mplo, en til espucio cuadrul uueneioual 0;>;: isten , ademus dol simplice euadrieli mens iona I (1\II,;I<lf(" dol l,dl'ucdwj, los poli .. rh-os convoxos COli un nnmero cunlquiera 11(, v<!rt,il~PS, no menor .le cinco; cad" uno de sus pares se nne lIIe' I ianl.e una nrista.

f!l. Furm ulese v ,l('mueslr{'se la aftl'mlll;ioll dUlIl a Ia del pro-

blcma 19, ..

20. (<<L"l1lH d(' G:l1l1hy»), Sea quo WdH arlsta lie un policdro convex" Il~t(, ~eil.) hula con el signo mas (J monos, Durante cl recorrido a lrcdedor del vertice pur JIlS aristas puede hahcr camhlos de ~'gU()S (de rruis 11 JIIUllOS Y vicuversa}, estaudo clare que cl ntimero tl" estes camhios cs par {!,osiblelll.ent~, iguill " cero) , Deuiuestrcsc d lema tit' Cauchy: eziste till verttce en et poliedr», recorrlendo eired.d..r del ella! eI "timf"o de cambto$ de etgnos es n~ maj,lIJr de 2,

Forrnu losr- y II C muestrese la afi rm nl'i61l dua I,

N<)({ltno,~ ql'" IlidlO lema Iuo utrlizado en 1813 por el matemd!.ico Irances ,\ I" Call1:hy (1789~ 1857) para demostrar (II tcorcma ~"brl' In ri!(j."~1. II., las Irontoras 11(, los poliedros convexos (llIal! rlctul les ~',lJt,(' (>~(." veaus« en el I ibro [4J),

21, UtI I",jicdl'll '''ltWXO ti(>ul) cinco al'i~t~tl. ~Cu"l pued" ~(!r <'i numern ,1., sus v(;('[.ice~ y ol de 811~ ur istus? l,'"rmt.l"so y uBlOn<!s~1'('Sl' ol problema rlnal.

22. "lili1,lnd,>I"s igllal"arl\,,~ (7.1) y (7.7) , ' (7,ifl), rlplJIlu!strese In rlil'Il<,Il"

': [21-IZ,,-,,;)Vj,,' 2 ~ (n ,;)(",=1,'"

.;:::-3 f,;;oS

B

l7,t7)

61

donde H \'5 cua lquier IllLUlL'l"O natural. I~Jl d1<;lJ,J Iuuuulu e~lii H'Xclutdo» 01 tel'mino en'

Escr ihase y rll'mll~sln'slL In Iormllla dual.

23. V III j cud (}~C d e Iil Iormula (7, 'i 7 i pa 1"1\ It .... " 7, demuestrese 01 teoroma siguu-ntc. Sea 'l1te el grad<; de cada vrruc« de 1m pol iniro Com'6a:a es igu at a <1 !! que este polietlro no ttene earns trlaneulare» Iii cuadrangularee. Bntanee» liens una rara I'entalf"nal '{roe boer raniacto CIIn otra caTa p~t!tagQllal u nexaeonol, (So dit-u qLI(' ,j')S earns se tncan sl tienen un lado comun.)

Formulese y demuestrcse 01 t.eorsma dual.

§ 8. AXIOMAS DE LA CARAC'l'EHISTIC,\ DE lWLEH

Hagnmos el resumen prlncipal de 10 (1\1(\ h(\rHOS necho hasta 61 memento y tracemos 1111 breve progrnma de Ia axposicinn siguiontn. Homos d icho que it r ad;1 figura M de cierta close (digamos, de Ia clase de IN; poligonos) puede asignarse su caracteristtca de Euler 'X (M) flividiendo Ia [igur a on celullls do difcrontcs d imonsioues. Ell otras palabras, ('Il un conjuuto de Iiguras fun determinada In iuncum X por la formula 'X (M)- V - A + C, y nuestro prohlerua pri ncipnl co nsistf a en (hom ostrnr q Ill' dicha Iuncidn Iuo deterrniuada correctameute, es dcr ir, ru) depende del rn6todo de partieion dt' 1[1 figura , Las rletel'minac.iones de tal U[W suelen Ilamarse constru.cliuas, puesto que GU elias se da, de una vez , unn regla (C.O!IStruceion}, seg-(m la oual se put-d e calc ulnr 101 fHnd6n incegnita.

Ahora se darri una deterrn i nacion nueva (axwrnatica) de III caracteristic» en Jeri una. COTnl'HC.ClOOS, prccis.unentc, por la detormln acion do cierta cl ase de fig'ufas Ilamadas 01 em en ta I es. L ucgo d etermin arsm os lilt' a rnctcriatica do Euler como Iuncion X do osta clase do manern que liatis.fllga a los requari.rn ientos (axiomas) slm pi es y naturales IH0- vlamente sefialados. Como ax iornas so ehg-i rim Ias propiodades de Ia caeacteristica tie Elder ya corioridas por el lector. EI problema principal consiste nhuru ('[1 rlemostrn I' que tal fl.lnc.i6n X realmcntc existo y se dot.orruina de IIlIa manera unica. Homos do demostrar, u.lenuis, que lac; det.erminacinnee constructivu y axiotruitrca de Ia caracteristica de Eu ler SOIl equlvalentes, os dcr i r, dan una m isma Iuncion X determinadn sohra las figJII\\S elomnnta les.

El nuevo metodo de determinacion !le In raracteristicu de Euler t i ene cicrtas veutajas, l a prmcl pn l do Ius cuales

62

l'·ollsbtl\ ell \0 "i~!lit'l\tl'; flcrmile deducir (\L \/<1101" de Ja fUlld6u X (j{, 1:1, ['ij!,'UI'U ell tern 1VI, cunocreu do SUH va lnrcs Oil Ius purt.es 111,1;' suuplcs que coustituycn <Heha figlll'u (SO.II, pOl' l'o).{l" Ml'I\()l'al, pOligolLo..'i CIlDVOO.'i.()s), Es impurtau-

te sefia lar qlll' dkhM' pnrt.cs IlO tj(mon q ue 1-1(1,1' obl ljrntor ln-

mente c a ras , Mist f!~ 0 on gcn('rn I c E! III nl-i d{' purI icion.

La CUlICl!pnlHI axiuuuit ir-u do I a dcturmi nncton d e la caractcrtstiea <I., Euler Iue pro pues ta en HI aiio HI.')';) pOI' H, Ihdw igor, lYUIt.r~[)'l:ll.ic.O sulz o (1 \JOB -19!l1),

Pasemos a In descri pr ion (iUllnJ)i6n axiornat ical) del conju nto (It' f(g!.lr'fI.~ elemrntales <Jilt. Dicho conjuuto ,it do fignrlls sobre elplano SI' d oterrn iua fijando los do!> n x iornns siguiell t.es:

1) ('au a pul igono ('011 vexo C so coot Len!' ou .,,4t (sogl) n otra ternnnnlogla C es clemente de • ,It ; .'1e escribo .'lim)){Jiicamuntu as.i: C E: ",Ii),

2) si '!tIs figuras A ,'Ii lt se co nt ienen en ",7' I eutouces CD ",It S(, ton\.jprw AU muon A U n e int.erscccion A n B (Ia

i"i~ .• ')1.

forma siml.lulit'n fie anotncion 0:-; In siguiente: si A E ('it Y n c ;«, entonces A UlJE,-.lt y A nBE,dt).

Dcduzcnmos los corolnrios mas ximplos do dichos axiomas. La i ntcrseccion do dos pOHgOT\OCl co nvexus pusdu sel' un po llgouo coovexo, ~eg'01CJlto 0 punto: pucd e no (,OIltoner ni un so lo puntl) (es decir, ser una Iigul'a vacta) (fig. 31), Llamcmos en adelanto poligonos degenerados (co nvexns] a los scgment.os y puntos. La figura vncia AI' denota eon cl ;-;igfl{) </>. As! PUl\<;, de los axiomas so dcsprendo que In clnse IJ/!t cit, figuras o lementa les inchrye todos los po ligonos dcgcnorados, asi CORHI ("I pol igono vscio 0.

Dcl ax iorna 2), pM tnduccton, ,<;'0 desprende quo el cunjUl'lt,o·JI d oho r oru.encr In lillii'm y Il-l intl'rSl1,'dun d(' rlill \quiur numcro Iin ito do SHS elcmcutos .Ai (aimbol icamuutu,

63

1'.

si Ai E 'Jft (i = 1, ... , II), eutoncos U Ai E ",It

" i-·l

Y U Ai E",Jt).

i:=il

Domostremos que on 01 plano cxist c 1111 cunjunto do figmlls que satislaeon a los axtornns J ) y 2). Tal ~e["rl III conjuuto que oousta de unas uniOIWS finitas cunlesquiera de po ligouos C011VOXOS (posibleinente, dcgenorarlos), Ell a del ante d esignaromos preclsam ente este conj It n to eo 11 la letra (>Ill llamando figuras elemenlales a sus olemontns (para mayor hrevedad , simplemento fignra..~). Seau A y If fignras, cs dccir, !'lea

" m

A = U c; B-,-·-- U DJ, (8.1)

.=1 .i=t

dorule C, Y D j son poljgonos convexos. Esui elaro que ol axlorna 1) se cumple, puesto que on 10 expresion (8.1) el mimero nom de pol lgonos qUB S(; sumun puede tomarse igual a 1. Es(.a cl aro t.amhidn qllo forma parte de In clase (JIlt In u ni6n A U B, In cual tione <:>1 m ismn aspecto (8.1) que cada 11110 de los sumanrlos A )' 11. Ih~sla do mostrar quo la intarseccirin A n R puedo prosentarso nn Iorma de 111 nniun d(\ uu 1I1lm(?I'O fin ito de poll gtlT10~ eon V(~XoS. I:;sto se desprendo en 01 acto do III fbnll(J 1 a

(iQl C,) n (gl Dj) - i~1 «. n OJ) (8.2)

(do Ia «ley distr-ihutiva»), donde Ios In(licp.~ i y j en 01 segundo mlomhro tionen los mismos vnlorcs que on (II prirnero.

Notemos que adcrnas del conjuuto ;if desc rito , en el pln no existen otras cIases do Ilguras quo sa tjsf:H'on II lns axiomas 1) y 2), pero no las conaidcraromos.

Las figuras olerncntales, como es Hl:-i1 emu probar, son, por cjc In pJo, los poligonos (no ohlign to!' i mil on to ('.0 n v pxos) d eli nidos on el § 2. Por otro lad u , 11 n (I figlH'it (llI'JO(mt.a] conexa, igual a 1a union do pnligonos r.(JIIVl'Wf; 110 degenerad os, es un pol igono. Esto so co mpruobu de igllnl rns nern que 01 hecho de que 61 hU6CO simple Of' u n vollgo!lO :limpl" (ve3se § 2, p. 22).

Aocma!' de los poligonos, integrun el conjunt o alt. c laro ('sLa, 101'\ gralos plnuos, No I'S rii fki J convcnceree deuqe cualq 11 icr ligura elemental puedo ropresontarse en forma de l a (J n ion tlB v:Jrins poligonos y u n grafu plano (posibl e-

64

mente, no ('01\0»:0), pudteudo Ialtar algunos de dichos ('SU rna II d 0:;') ,

Ami logu ruento U 1u cl ase ",It de flgW'M' clemontalcs plana." ,.'It' tleterm inn If!. olv .. <;o",1t (L) de figlH'/I,'\ clemontales sobre In I·()r\.a L. C~~dil elomonto de ln dnsc.dl (1-) Oil In unirin ,Ii, 1111 numoro f inif.o de sogmentos que pucdon degenerar en puntns, Es fne.n domostrar que 10. union cY/t (L) sattslace a los axiomas 1) y 2) {lie hace igualruente que. para la Colasc L,/I).

Vamos a conslderar en al espacio It solo la clase .cll (It) Ill' {igul'Uf\ olementales, cada una de las cua les os In union (\l' u n numcro hnit.o de poligonos C.01H'llXOS (poslblementc, degenerados), sin coincldir ohligatortamcnte J 05 planes do los difcrentes pollgonos. Integran dichu clase, por ciemplo, las Irontcrns de los poligo nos COn vox us.

Pasam as 3. Ia determinacion d I.' III caract.oristica de l<~ull\r tratando , para precision, dol conjunt.o 00 1M; figuras ,.,It. Diremns que sobre <YI6 esta darla In caracieristica de Euler X. si II ca da figuru elemental A E ,,;It Ie Ilstil puosto ell oorrsspondoncia ol niimero X (A) de rnanera quo se cumplen 10$ ax lomas slguientcs:

(a.) la carooteristica de Euler de una j tzura vacfa es igual (1 cera, es dec ir ,

x (0) = 0;

(~) [lara cad-a poligono COI1-V8:1'o riO racio (induso degenerado) C tenemos:

x (C) = 1;

(,\,) parr! las [iguras elemenuiles A ,l{ B cuolesquiera

X (A U B) = X (A) + X (ti) - X (11 n 11).

L 11 P "0 P I orlnd ('V) so danom inn aditivulad de In eo. racteristlc a de i~ull)r. Por eso se puede alirmar mas. brevsmente que In Gllral;.llll·l$tica de Euler es 13 Iunclou aditlva de la figlll'll olr-mentnl «norm ada» POI' L., cnndicion (~).

N os 11(.'1111)5 sncnntrado unteriorrnentc con Is aditividad de Ia Iunci ou X. poro en condiclones mas restringidas, cuando los pol ignnos A Y B no toniau puntos comunes (vea8o p. ;)4). El lector conoce, sin Ingar a dudas, otras fun<.: iuues ad i ti vas del puligono: baste dncir que tal propiedad ptl>~t·c 1i II <\INl. Eft.....: ti vament.e, pura hill! ar t:'l aroa do J II uniou de dos poligonos e~ precise tomar Ia suma de sus

65

------------~------------

arCWi, rest ando 1'1\: csla cl {in\H do su ill!,t>]":,;",'ci6t1, puostn quo 0>'1.,1 (lit.illl" ::<0 ron"illl'I'u on 111 ::<1111111 d(>" .1'1:-0:<, Dcduzcamos algunos corclarlos de los axiom as de III c II I':lc.tarlstie-a cu I or ian R.

Supongn mos que estrin d adns n Iigu rns e lomvutalos AI, ... , A .. 0, como vnmos 1\ rlecir, supongamo» Q\1(o <l<:tii dada In parte U€I n: elementos de todo cl con junto (vlt. Vamos a escribirlo de Ja manera siguionto: .4. = {Aj• ' •• , An}.

Sea A =

"

U A i In union de todas las figuras d ad as.

1_1

Eutonces 1:1 caruc.tcrfst.iea de Eul er de la figufa A, fli tal oxistc, se expresn par las caracterlsucas euleriunas de Jas figuras A I' . . ., An. de In manera si gil ion t I';

Yo (11) = 22 Wx, (JI.) - ~ (2)% (il" n Ai.) +

+ :E (3ix, (.4;, n A;, n A ;,)~ ~::B WX(A;, n A;, n A;, n Ai.) +- . , .

, . , + -1 )"'-2 2J ("-J)X (Ai n . - . n A, ) +

I 11-1

+ -1)"-'X(A{ n ' .. nAn)· (8,:1)

Exphquernos rlicha formula. En !lsta 1:(1) dosigna la suma tomada respccto a todas la,<; figuras Ajo, 10 quo 05 10 mismn, respecto a todns las partes de.1 olemeuto del eonju nto ,4 ;2.:(~) dusigna In surna t.o madn respcotn u todos los pores de Iiguras {AI" Ai,}, siondo il -=t= £2,0 bien, lo que "S 10 m isrno , d ichn sum a 86 torna respoct.o a t.odas I as partes do 2 elementos del coni u nto .It; 2:~~) designa la sum a tomada respecto a tOll as I as ternas do fig ura S {At" Ai" A;,), donde los indices ill i~, e i3 toman diferentos valores; en otras palabrns, dicha suma se lorna respect.o a todas JAS partos de 'l elementos dEll conjunto A, etc.

Si n. = 2. cntonces la f6rm ula (8.~) no es 81 no ol axiomn (y), 1'1)1' I'SO I-1tl debe dornustrarln solo para n-;?: 3.

Sea n = R, Ent.ouoos, ut.iliz ando (,1 n x ioma (i') , teuomos

x (;1, U 11" U ,1'1):" X 1(,1, U A~) U Aal'~

'X {/1, U ;12} + X (113)~ X 1(-1, U -,q n .. 131. (8.4)

Vali!;ndl)[l()~ tlpl fHSO pnl't,ic.l1)nf

(A U Ii) n c = (A n C) u (8 n C)

66

d,~ In It·.\' distl'li>l.Iliv;1 (~.l). 'teHI',n01;

XI(;I,u.l~ln 1".1 XHI11nAj)U(,1tl1,,13)]--

,X (/1. n .l,,) -I X (..12 n All) -- X (t! J n ,12 n ,taJ· Su"litllYUIIIO,~ didlll t,xpre:'\i<ln para X [(AI UA~) n A.,I ell l a f6nllu(,1 (Rlj) y ('~'riharnos t.'[1 ella mismn X (A I U A2) segllrt (.j ,1); in mil (yJ. I~ IltOTWCS tenomos dcfi II i ~i vnmentc:

X (,,1, U .r, LI As) ",. X (/1\) +X ("12) +X(Aa)- y. (,I, 11 A!J - X (A, n .. 1~,)- X (A2 n Aal-l-

+ X (AI n A2 n A:J. (Rfi)

A81 PU(-'_9, l a {lITHlllla (8.3) esta d emost radu para n = 3. l)cmost,l'(>tlIos Sit caso gl~l1cral por induccion rcspocto al munero n, suponiendo qUI' (IS justa para el IIUDlOl'O (ie figllras «tntegrnntes» ignal a n. - 1, I}S derir, !fUO se cumpto la ig-ua[dn rI

1\-1

X (,U .4,) ')-, '('X (A) - ,1 12)X (·1.· n 1, ) _!..

l~t _I", I ~ ~ tj ~ I. I

'1 Li (3)X (Ai. n Ai, n Ai,) - . , . +

+ (--1)"-:< ~ ("-Z)X (A;, I',. _ n Ai,,) +

+ (-1 )"+2X (,1, n ... n A '/I-i)' (8.0)

Segull el n x ioma (y), tonomos 10 sigu iunto:

'X (_ 0 A j ) - X ('13 I A j) +

-,-( . ".-,\

+%(Anl-X[(';Q;,1r)n /1,,]. (8.7)

U tili1.f1fH10 [a ley d Istrlbutiva on Ia forma sigutente:

(u lli)nB= U (AlnB)

. i ~1 i=i

y la !!llpo~ki61l 110 In ind uccton (8.6), rnsnlta quo

[("-1) "I [",,-1 ]

x .U "1i n .'1" ;,'% U (AI nAn} =,

,.- I - /=1

"~(J)X(AI n An) -~ (2)X(A;, n Ai. n A,,) + . , . .. + (-1r-3 ~ ("-2)x. (AI, n ...

. . . n A In_, n t1 ,,) + (_1)"-2.;.: (At n ... n A,,_, nAn), (8.8)

67

doudoen cada una do las sumas todos los iudtces iI' iz• etc. >;01\ d i Ierer I tl'~ v rocorre n log v a Ioros II I:!S d (J "1 has III n -- 1.

Su:;l.ituyumoti ahora las ex prssiuues (8.0) y (8.8) eu Ia f6rmulo (8.7). La suma !;(l) de la tgualdad (8.6) se toma respccto 11 toda" Ins figurns A I, menns A ", tonic ndose a d emil", en (H.7) el surnando x: (An). Uniendo todos estos RUmandos, ohtcnernos 10 suma 1:(1) de In formula (8.3) que SCI demuestra, ya rospecto a todas Ias !igurss sin oxcepcion. Luego, ell elsegunrlo m iembro de (8. G) Ia sums 1:(~) se toma respecto a todos los pares de figuras {AI" AI,} que no cnnttsnen la figura An. A fin de ohtener todo« los pares de figuras (con diferentes indices), hay que aftadir tumhisn a los pares ssfialados los pares {Al' An}, .... , {A,.._l' An). Preorsamenl.e a los 6.ltimos pares les correspondo en Ia f6rmula (8.8) In suma Z(l). Por 6S0, surnando a Ia suma 1:(~) de (8.6) Ia suma 1:(1) de (8.8) obtcnernos Ia snma 1;(2) de 18 igualdad (8.3) que so demuestra, teniendo todos los sumandos de dicha suma el signo menos, Analogamente, In Burna 1:<.8) de In f6rmula en cuest ion so obtione sumando 1:(~) de (8.6) y 1:(8) de (8.8), eta. La igualdad (8.3) esta demostrada.

Escribamos otro caso particular de dicha igualdad que "era necesario on adelanto:

4

X (.U Al) = 2J (1)X (Al)- L;: (l':);«Aj, n A./,) +

,,,,,I

+ Lj (3)% (Ai, n Ai. n Ai.) -j'_ (;11 n A~ n 11'1 n A~). {8.9}

No tornos q HI' no ('.9 obi i~ntori 0 ex igir IlliG "Ill 18 ft'ltmnl a (8)l) todas J as fi/!:Il ras A l' ••. , A" senn rliforuntes. En otras pala b 1'1\0;, c iertas fig1Jra~ AI puodon integral' sl conju nt.n .4. varias voces; ell partlcular, .4 puorlc constat de ojem pleres do una misrna Iigura.

fAJ formula (8.3) llova el Hombre de «principio de in" cl usion .v exctusion». Dado que In demcstrncron de dlcho prinoip.io :-;(1 Iunrlu solo en el uxiomn (Y) Y Ia ley distrlbut.i va, ().~ j 11;;1 o para fuwionrs adi ti vas cualesquiera del poJigono. por ejcmplo, para ol area (vease mas detallad am en to sohro esto on III nrt.ic 11 J 0 l7J). Co mo o tro to jempl 0 de una fll noion Itditi VII, poro no del po ligono, sino de llTl ronjunto finitu, puede cltarse p.l nurnero de sus elementos 0, como so dieo .. su pol,erlcifl. En otrus palabras, ell un conjnnto fiB n (II omt>nlos (I icha Iu nr.irin torna el valor igual a n. En l n aplicaciou del princip io de inclusion y exclu-

L*

68

sion ('11[11 husadu , PUI'U esto caso , ill. sulucio n ell! los pL'111110- IDa:; 24 y 2;).

Supongnmns que 1111OL'11 en Ia Iormula (8.;{) todus In,; figurns A; son poligonos convexos no "ados; entonces, cit' ncncrdo 1'.OIl el uxlomn (~), cada surnando de :E{l) es igual a 1. Dt>. Ios axinmns (Ct) y (~) so d espreurl o que coda UTIO do los suma ndos de :El~l es igual a 0 6 1. en fuucion de si IlS vacfa () no Ja ilJtt'rslJ(~rio(l del IHU' de poltgonos convexos q ue currespo ndeu a d ieho su ma ndo. Analognmente, cada sumando cit,! ~(;l) es iguaJ. a 0 6 1 ell Iuncion de si es vacia () no ]11 intorsocci (Hl d u la Lorna de polfgonos convoxos que corrospouden a rlicho sumando , etc. As! so obtiene Ia fon n!ll 11. s igu i ente pa ra elL ca Icul 0 del a c aracterist ica euleciana de> l a figul'a A igual a If! union de uri numero finito n do puHgonos convexos 110 vnclos Aj:

% (A) ... '/1 -- {h + qs - ... + (_1)'I1-1q". (8.10) Aqiri q, (i = 1, .. , n) designa el numero de tales partes do i clnmont.ns del conjuuto .Il = {AI, ... , A,,} que los po ligonos que integran oada una de d ich as p n rtes tienen una i ntersscclon no vacia,

As! pues, si para la clase ",It de todus ]1'18 figuras clomentales existe UOa caractoristtca de gulor 'X que sattsfaco a los axtcmas (0:.) - ('V), ontonces estn se dctermina untvocamente: su valor ss d a mediante Ia formula (8.10), En

Fi~, :12 particular. 1<1 carncteristica de Euler de cualquisr figura elemental es un nrimero eotero.

Consideromos un cjernpln Simple. Supongamos que oj conjunto J£ consta de cuatro segmentos, mtentras quo Ia figura A es l a union de dichos scgmentos (fig. 32), En este caso hay seis pares do ssgmentos eon interseccron 11(1 vacia, ']11(1 t.f)I'IW de st'A'Incntos eon interseccion no vncfa; In iutersecciou do los cuntrn segmontos os VM.i3, POI cso tenemos 'j( (A) =- !~ - (j +·1 - 0 = -1.

PIHH1LEMAS

24, En un i""LJt,l)i.() ,10 investigation ('ientirica trahajan 67 personae. Entre '~"Las, I,i cnnocon ,,1 Ingles, 35, l,1 aleman y 20, el Irances. Atlpm:is SB sahn quI!' 23 personas domlnan a. la vez el

69

inglcs y el aleman. 12 personas, 01 logles y ,,1 fr""",:;.<, 11 p"Y80nIl8, el a lorn.in y el Irancos y, por fin, 5 porsouas r!1,lIIIU.H' Ius t.rns hl;I" mas. ~Cualltas personns ell el mstuu [.0110 (-nlln('rJ1 ,., runmo do e.~t"s idiomas?

25. Entre 1", numeros naturales ,10' I a 11)110, ,\<:lliinL"~ ~('IJ IOIj quo no so rI I,· nlou PU[' ninguno dt' los nuuu-rus :!, 3, 5?

26. linn [igun, coustu de crnco I'"Jig(lut,~ ('''U\.'''X''~, I.l'Ilil'lId" todns It;los una inteJ'N!t',cion no vncin. lla[\Nl(' In ,.'.awct"ristic.a II" i':ular de dicha figura.

§ n. DEMOSTRACION DI<~ LA gXISTI~NCIA DE LA CARACTERfSTICA DE ElH,IW

Dcrnostrernos 1.<1 exlstcncla do La ra r.ictcrfst.ica de Euler on las cluses du Iiguras eleurontnl [\>; so ln:o I a rectu , el plano y t'H el ospacio, cousccutlvumcnt c

SO;I A = U Hf una Iignrn <,1..'1111-'111- ... 1 rl o In cluso

kl

&II (L), es decir, la union de ~l)gllll'lIt.OS 11) (I'llmlen ser

degoncrados) que 51) encuontra n !'<01)J'[\ III l'l'dn L Doruostrcrnos que Jil Figura A cs [glial a Iii uniou tic :-'11;; cumponentes, O!; ducir. de los sogtnl;mlo~ C, \Jnll'n lo~ (,Il;dm, no hav am' que lellgall IHI ntns COJnunH1O, Efl'("!ivllIlH'rlt.L', tumoruos 01 segrnento BI_ Son posiblos los dos (:;I:-;()~ siguicute-: ilion Bl ya es un componoutn de Ia I'igura A (desig-!lclIloslo antonces pOI' l\), hisn no 10 cs. ETI cl segu rlllu r aso entre los segmontos lJ2, B", .. , il", existcn tldl''5 (sean, paru mayor precision, JJ2, ••• , B,,), eada 11110 dl' Jo:- cualos t ione POI' lu muuox \II) puut.o co.muu rou 1,1 "I'~\lll,mt.o NI,

Ic

Efltoaeps In union c;,~ U H, C'" l'vi(J"llt('illl'IIL(" (HI

;=1

segment». De nuevo son Jl(l~ihlN;; dos \:a.sl).~: hi e n C; yu Of;

un cornpnnan t('. do III fil{\lj'o A (entonces Ilef'ign6mo!<lo rumo C; = C,l)' hicn no 10 cs. En ol segundo "a~o ('Ill.)'" Ius seg mentes 131:+1, .. " lJ,,, uxisten t.a les (1'11[111, pOl' ejeml'lo, Hh+l, ' , ., B,,), cudu uno do 10::; (\Illh>" l,il'IW IIU1' J()SJ1101l(1~ (Ill punto conui n ton t'I $t'gmentu C;. 1<:11 pc;\.e (':t~o Iii uniuu

p

,U

J..--t

d05 C,Ilf>OS: blon C; ya (-,s lin co mporu-nt (, oil' la riglll'a A, hion no 10 es. Puosio q ue \'11 tot,d I'xi:.l!' 1111 nl'IIIlI'l"H rillito de segmentos iJj, dtcho JH\lCeSO llehl' tvnuiu.u-. l''' l["dr,

C ..

!

Bj PS IIfl ~('!;IIH'lltO, DL' 1111('\'1 "Uil pl!sibll',~

70

hemos (h, scparar ~,! C(Ull ponente C1 de III Iiguru A. n('"~pues, excluycndo cit\} sistema dado de segrnentos {ill' ... , ... , n",} los qlle cornponen C1 Y up licarulo ol procsdlmiento sefialado a los segment us restantes, homos de soparsr oj componentc C2, luego CJ y, Iinulmente, Cn. So o btiono la igun lda d:

"

Lt,-- U c..

j=\

donde C, es u n comporu-nto de 1a figllra A.

Su pongamos (I hora que

x (A) = 11"

es deci r, lJ a memos c a rae torlstica euler i a (lI! del a [igura A al nfimsro do SllR ~omIl(llIentes. Para just.lfic.arlo , es nor esario coruprobar q ue para tltcho: !uncirin % son valido.'; los axiomas (a) -_ .. ('1'). En 10 que se reliere a los ax imas (a) y (13), estus 86 real izun de uua rnanera trivial. R(I~ta demos-

m

trar In adit ividad du Ja Iuucicn %. Sea B '-~. U Il, ;=1

otra Ilgura de In clase Gft (L) con coruponentcs D J- Demostrarcmos al n x iorn a ('1') en Ia Iorma siguinnto:

x (A) + X (8) = 'X (A U B) + X (A n B) (ll.l)

por mduccidn 1'I)spec to u It componcn tel! de Ia fLgU1'8 A, Supongamos prlmera rnC'ottl quo n = 1, es tlecir , q uu A co nsta d PUll scgrnento C l' Y sea que C 1 ttcne pu It tos comunes oxuot amcnte con k I'egmcnto;;, componentos du La figura B, donde O~ k~ m. s ni es <11 numero do cornponentes do B. Entoucos el primer miern hro de la Iorrnula (9.1) es iguaJ a _1 + m. El primer sumando del segundo miembro es igual n 1 + m - k, puesto quo cuando reunimos ambas tip;ufns en una Rol a. k 9PJpTlCntos (I!) In fi~lIra B so <tpegaJl» en 1111 C'ogm('nto (Iig. ;33) Ii'n tnnto que el segundo sumanrlo del segundo miernbro CI' igual al mnncro k seguu In suposicfon. Por consiguient.e, In Igualrlad (9.1) CIS justa para 01 casu particular dado. SUpOJlg'HJUIJ~ que ella ostii demostradn para tndas las figor,,:; A cuu un numero de com ponnntos no mayor que /I. - 1 [para 1<1 figllra B fjj:l); dcmostremosln para el e aso cuando II tsngu exnctnrnento 11. r omponontes. Po ngarnos

:: n-I "

AI = C1• A~ ~ U C" ...• A"_I = U Ci' A -" An = U C,'

i-J i~j i~l

it

S<>gilll III supusiciuu <10 i uduccicn , c>' Justa In ig:UHldad siguiente:

X (An_I) -I- X (8) = X (A n-I lJ B) f- x (~111_1 n IJ). (U .2)

Su pOllgamos que el sogmonto C" S{' i IIterSI.,(~ll nx :11' La meute con k" segrnontos de la figura B y, por tanto. no se interseca con los dcmas m - kn segmentos 00 dicha Iigurn, Pasernos ahora de Ia Iignru A1'_1 a [a A" y VCI)JJlOS C.OUIO var ia n ('II oste. caso ambos miembros de la iJ(lIlIldad (tI.2).

- A

........... --{j

Ave

____ -----.--. __ <- -.-- .. A II fi

"·ig. 3!!"

EsUi clare lJ Ill) X (A ,,) - x (A "",) - I. POl' ",,0 el primer mieio hro de JIl iguaJt1ad C.I.2) .uuu '!Ita pura tal transicie n ell 1. LU!lgo

X (A" U R)-X(,!,,_, U Hl .. '1- kll•

puesto que ul [)I.ll!YQ segrnento C .. (q)('~;I» \,'11 1111 COllljlO(Wnte k" segmeutos de. la figul'H B; adcmris,

x (AI! n HJ -J( (All_I n l:J) kn·

Por eso el segundo miernbro dr' (8.2) aunreut a ell k'L I· + (1 - lc,,) = 1, ('S dcclr , varia igUlL 1111(:111-(, q no cl pri ruvr mismbro. Estn q UiOIC dcci r qlle

:d.'ln) + X (B) = X (An U B)-i X (A" rllJj,

10 que procisarneute era necesurio rlcmostrer.

Asl P'll''', esta demustradu la lWi;:;t(,'II\'UI Ill' 1.1, .1T'ih'I.Cristicn de Euler sobro In claso It (L).

Pasemos 31 caso del plano. SE'() {CH• , r n I un CGn-

n

junto Ilnito rle poligonos convoxos, y ,I U C J. una

.... -=1

filfura elemental do la claso ,y/i. Entrl.! tlic.llo_~ poJigonos

72

puedeu ex isti r dcgeucradus, 0 sea segmentos 0 puntos. Vamos It cnnsrdcra r, pura simpltllcar, que 01 punto as I.arnbiell Ull 8\'!prwnt.o (('.uyos extremes coinciden). Exarninomos (Ill con] unto t de seg mentos tal q DC cadn uno de el los os o hian ol Iadn dB algllll poligno Cj (si este ultimo no es degoucrado}, 11 hiuu el propio poligono (si es degenorado). Llll memos oertices de 11\ Iiguru A, primero , a los us tremos till los sogmuutos q uu int.egran la igunldatl T, segundo,

-----_ .. _-_ ... ,--------------

Fig. :lli

--------, .--- -----Lo

Fig. :15

a los fHIIILo1i de iuterseecion de tales dos (0 mas) segmont os. POI' ejemplu , la Iigura de La fig. 34 tiene 21 vertices.

Supongnmos que todos los vertices de La figura so oncuontran n dfferf'nlo altura y estan numerarlos en ordell d~ su aumonto , (>.s decir , que v1 es (\1 vertico mas bajo, v. se oncucntru por encirnn do VI' pero mas bajo que Va' ctc., Vm es t1J \'(~rtiGl' superior (fig. 35).

Truc()III(1s lu recta hortzontal Lo situada bajo Ia figllra .1 y dosignernos POl' ii, (I. = 1,. ., m) la distancia entre 1.\1 vertir.n ". y dkhll fr'cf.n, Seg(m nnestrn suposicton 0 < < h, < 111 <' < lim. Sen L nun rpc,' a hnri zon tnl que so muevo JlOI' d p la no IitH',in arriba, de 18 posicion inirill! "0 1,,11 Inl"l"~('r(',iilll c, nJ, l'f': 1111 segmento (posiblerlJl'lllc, flt'~ellernd() " V<IGJO). De acnordo COil la loy distri·

73

butiva tenemos

"

An U (Cjnf,)

j=1

y, par tanto, dicha interseccksu E,g una u m on fj !litll dr segmentos, es decir, una figura de Ia clase ;i..11 (l~). POL' eso exlste Ia caracteristica de Euler X (;1 n L) de intersection de la figum A con Iu recta m6viL Sea If' (h) = X (A n L) designacidn de rlicha caractcristtca para tal posh'ion do Is recta L cuando esta se encueutra a una dietancia It de 811 posicion inicial Lo. Designernos tambien pot' L, la posicion fija de 13 recta L en el momento cunndo esta pasa por e1 vert ice V, (i = 1 •... , m). y por £'-0 tal posicion cnande esta sa halla mas bajo que Is recta Li, porn por encima de L'-l' Es faeil ver (fig. 35) que ClHWUO 13 recta L se traslada , perrnaneciendo entre des vertices vociuos en altura (asi como. permaneciendo mas abajo del vertice VI o por encima del vm), entcnces el nu mero (I' (h) no varia. Puede varfar solo al «acercarse» In recto L por abajo a algun vertice 0 bien al edesprenderse» de est\! hacta arriba. Pongamcs

cf (hi) = X (A n L.), 'I: (h,- 0) -, X (A n {'i_V) (!J.::l)

y determi 11 emcs J a caracterlsti ca oul ori una rie 1 n f igHtA A E'JI/t POt 1(1 iguaJdad

'"

X(A)= L] [cf·(k.')-!I,(iI;-Oll, (HA)

i~1

As! pues, Ia difereucia Ip (h;) - q. th, - 0) es la variacion del mimerc X (A n L) al «ar('E'C,IfI:W}) III n-ota L pOI' abajo al vertico Ili (jpero no al «desprendorsc» dtl oste hacia arriba ni al etraspaaarlos l), mientras quo In carncteristlca de Euler X (A) es 1 II suma de tn le." vnrmcronos tom ada rsspecto a todos los vertices.

Notemos quo no. todas las d iferencias It {Ill integran la suma (U.4) d ifleren ohligaturiarnentc (Ie cere. POI' cjourplo, para la figul"a A (fig. 35) tenemos:

rp (hI) - (jl (hI ~ 0) = !]l (h~) ~ <I: (hz - 0) = 1, rp (ha) - IJ' (h~ - 0) -r-: - 1,

Y para los demas vertices Ins diferencins son iguales

a cera. Per eso ln dotcrminacion ria X (A) L

74

Dnmostremos quo 11.1 !ullci6n % du Iu Hguril A, determinada por Ia igualdad (9.4), satisl'acc los axiomas (0:) - (1') y> por tanto, puode real mente 1 11.111\ 1.1 r81.:1 caractoristica de Elder.

Estu claro QlW X (0) = O. Sea A uu puligono convexo. Errtoncns

II" (h,)-Ij' (h!-O) - 1, Pl'TO Iji (hi)-~' (hi - 0) = 0 puru torlos los \'ortk,I;Js !'-'i con los numeros i> 1 (si tales existen), POf (~SO X (4) .~"O 1. A'!;l plies, los axtomas (-x) y (~) ee cumplen,

Curnprobomos Ia ad itividad de In Iuncion X. Scan A y /j unas figUl'US elomontales, Sv necesita rlernostrar la [usteza de l a [g-tlulrlad

Yo (A) + X (Ti) = X (A U lJ) + X (A n 11). (U.5)

Sean vI> ... , "'r los vertices de la figura A U B numerados segiin d orden dl' aumnnto de lIU altura (notemos que basta COil oxa m inar s610 el cunjunto de vertices de In uni6!1 A U FJ, puesto 'Ille los vert.ic.('s de las otras tres fignrus forman parte de este). Supongamos que las dosignaciones L/ Y [";-0 (l -" 1, ... , r) ti!lncl'l el mismo sentidc de antes, Cada una de las rectas L, Y £1-0 se Jnterseca eon cads una de las Ilguras i1, H, A U U, A n II [lOI' Ia union Iinita de segmontos. Introd uzcamos, para sunpHficar, las designaciones

\I'/. (A) -'" "I, (11 n r'I)' (['1-(1 (4) -" X (;1 n D,_o)

y analognmente para las otras tres figuras. Entonccs, dada la adit.i v idud do Ia curacterfsttca de Euler para III cluse •. ,ff, (D), ohtuncrnos Ins igualdades siguiontes:

Ii'! (;'1 I .. Wi (B) = (ri (A U B) + If< (A n E), (U,H)

q);-o (AJ -\-!PHl (R) = q'i-o (.4 U B) + (PH (A n 8) (9,7) para todos i ,,- 1, . , " r. Rcstemcs 'lermino a lermino III igualdnd (!1.7) de la (H.6) y sumemos Ias Igualdades obtsnldas respccto I) tudos i "'"" 1. ., ., r, Entollct;s tonernos:

r r

Li l<l';(A)-4,_o(A)/-I· ~ l(l'; (H)-(I,_u W)I-"

i.=1 j~1

r

~ [11'1 (11 U B) - <11-0 (A U B» + j i

r

+ ~. 1'1'1 un 8) -W:-o{A n B)1-

1=1

75

10 que significa, tomando en conslderacidn (0,3) y (~J.4), que Ia Igualdad (8,5) es valrda.

Ahora bien: hemos demostrado In existencia de In caracterfstica de Euler para la clase wit de figuras elorncntales sobre el plano,

La demostraci6n respective para la claso ~/i (U) dp Iigurus slomentales en el ospacio se ufectun analogamente util izundc el tuetodo de plano m6vil y In caracterfstlca de Euler ya para la clasn ",it,

§ 10. EQUIVALENCTA ENTRE DOS DETlmMINACLONBS DE LA CARACTEH1STICA DE EULER

La introd ucciou a dicho parraio contiene algunos datos sobre los cooficiente hinorninales nccesartcs mas adelante.

Supongarnos que estan dados un n6.mcro natural n y cierto COO junto de n elementos A = {aJ' .'" an}· Cualquier parte de m elementos do ostc oonjunto .'Ie dencmlna comliinacttin. m (0 combinad6n respect» a m) de n olernontos dados, El IIU msro de dii(!rentes COIDbmacionos m de n elementos so desigua con los simbolos

(n) 0 C:::' (preferimos utilizar d prlmero de ellos). Por

In

ejeruplo , el conjunto de!t elementos {aI, a2, Us, u4} tiona sots partes de 2 elementos: {aj, a2}, {aJ' a~}, {at, a~},

{a~, ua}, {a2• a,d, {a~, Il~}, siondo per .)811 (:) = C~ = B,

LH cxpresiou (~) tione sentido 110 solo para m::;;;; n, sino tamhion para m > n, siendo en este caso igual a cero , puesto que el conjunto de n elementos no tiene, en absolute, partes do elementos m para m > II. Sefialamos

especial mente la igual dad (~) .=- t QU(1 siguif'ica quo cualquier conjunto de n elementos ticne LIlla Pluto ds 0 elementos, os doclr, el cunjunto vacio.

Los mirneros (n) 11i1 manse ta mhicn NI('/icientes blno- 111

nunles, p uesto que integran In fbrm nla cunocida

78

que expresa Ia potencia n del binomio 1 + x ell forma de pol (no III io con expo nen I es crccientes do Ia letra x, Nus() tros «cusi» 00 necosi taremos de Ia Iormula (10.1).

N ntemos lu form u la siguiente, t.arnbien ccnocida , para pi 1'5kllio ,Ii' 1()1:; coeflctorues hinomiales:

( J/ )= ~_= u(n-1).-.!n-{m-iJI

/Ii. III' (_II-'u)! 1-2 ... m .

DellloSLJ'DIIIOS Iii igualdad

(Ii) = ( n. -1 ) + (" - -1).

m m-1' m

(10.2)

Tomeuros C(.1I1 ~'~lo propcsito algun conjunto de n elementos A = {Ill' • __ , an} di virliendo todas S11S partes de elementos m ell do" clases. Incluvamos u lu prirnera clase aquellas partes (lUI) contienen 01 elernonto 11" y II 111 50- glllldu, lH.<; qU!1 no Jo conueuen. EJ nurnero de partes que

integran 1:1 pr imern claso es igual a (,: =!) ; cfoctivamente, si de tud as osas partes se excl uye el slemen to an I so ohtendran 1.0([118 las partes de (m - 1) elementos del coujuuto de (n - 1) elementos {ai, , .. , an-d· Por otro lado, las partes que intcgran III seguuda class son partes de elementos m riel misrno conjunto {aI' ... , an-d; por

eso 511 mimr-rn es igunl a (It,; 1). Puesto que las dos cl ases sell al a d as uo t iencn elsmen LOB com unos (en otras pal abras, ninguuu parte de elementos m cluj conjunLo A co nstituy •• simultanea mente am bas clases), entonces la igualdad (10.2) est-5 dcrnostrada.

La fOl'mula quo so aduce a contluuacirin jugaru un papel muy importanto en 10 sucesivo

(") (n) (n) (n)

o - [ ,~ 2 -. - . + (_1)m /It =

r;' )

=(-1)'" m

(fU.3)

wlli!!,1 pars tudos Ins mimero« ontoros nn negativos m y n. I'll igual que .'(1I (',:1~() partlcul ar

77

paru m: = n, DCIl\UstrcIIIOS la formula (1(Ul) por j lid uccion respecto ul IlUIIII.l£O m. 8i m -= 0 {, bien m. .. -= 1, esta Iormula es 811 Idonto. Supcngarnos (Jut. Ia III ism a es valirla para m. = i, demostrernosln parn m= i+ 1. Asi plies, supongamos que' so conoce

j .(n) . fn_'I)

i~O(-1)' i,·-(-1)·'t j •

Entonces, vali6n.lonos de La igualdact i to.2), obtcuemos .i-t I

b. (_1)l(~)_(_1)j(n-1).t_(_1).;+I(.1/. )-=

i_O t: } .I -j-1

= ( - 1) j [ ( n 71) - C _~ 1 ) 1 = (- 1)' r - ( ; -+ ~ ) J==

(n-1)

"'0' (_1);'11• •

. J + 1

Alli pues, homos demostrado (10.3). Sefiale.mns que Ia UirmuLa (10.4) se obt leno tnmediataments do la igual rI ad (10.1), si en esta sa adopts x = - 1.

A veces es mas comedo utillzar otras Iorm as de las igualdades (10.3) y (10.4), a saber:

CW.!!)

(10.1'\)

Pasernos a In demostracton de la equivalencia de las dos determinaciones do 11'1 caractertst ioa de Euler sin calcularla. La harernos para las tros clases tie figuras siguieu.es: grafos, fronteras de poliedros convexos y pollgonos simples sobre el plano, partidos en caras convoxas, En diohas damostraciones es importante 01 que III aristn del grafo contiene dos vertices que uno eut.ro si, y 01 que J a cars ill) pol isdm (0 del po]fgono aim pic) ccutieue su frontera. 51.' podria dernostrar que Ins dos deterrninaclones de Ia caracterfstica de Euler (ccnstructi va y axio-

78

nuiUca) son l'ljlli vulcn LeI; pura cualq uier Iigura que adnn ttl In IHII' I it in II eu l'ciulas.

Supongumos que (lsta dado E.Jl grulo G. Puede considerarse quo esLH no t iene vertices aisl ados siendo por eso union tie uu mimero finito (10 aristas, os doctr, U(' sogmontos. A tit'l' mas exacto, el grafo G osta sit.uado on .. J espacio y 110 I;ODrE'l el plano. 811 cacactcrist ioa de Euler, segun la form \J la (8,'10), es igua I a

(10.7)

Aq uf ql dosigna el mimero total ric aristas dol grafo G; Q2' 01 njimero de pares do SIlS arlstas que ttnnen Intersecc ion no vacia 0, 10 que as iguul , quo tianon un vertice cormin: qa, eJ mimero de ternas de aristas con interseccion DO vacia; hnalruentc, qn IlS el rnimero de tales partes de n elementos del conjunto de aristns, que todas las aristas que integran cada una. de dichas partes tienon intcrsecoion no vacla , es decir, t.ionen un vertic,e comjin. Debernos demostrar la form ula

ql - q$ + ... -I- (- 1)H qn = V-A. (10.8)

Seiialemos proviamenta la relaci6n entre 01 mimero de aristas A y los niimeros de vertices de diferentes grades. Supongamos que VI deslgna el numero de. vertices del grato con el grade 1; V 2. til niimero de Sill! vertices con el grado 2, ctc.: finalmente, V n 08 eJ muncro de vertices con e1 maximo grade n. Entonces

VI + 2V2 + 3V3 + ... + nVn = 2A. (10,9)

(Obsarvese que on las igualdades (10.ts) y (10.9) COli La Ietra n est.a designado practicamente un mismo numero.] La relaci6n (10.U) so obtieno muy f<icilnwnte sumando las arrstas del grato respecto a torlos los vertices de (tst.e, ten iendo presente que para tal ad icion cada artsta se oonsi ilera dos vecee,

Para La demostraclon de (10.8) notemos ante todo que ql = A. Hallemos ahnra Ia oxpresion para el mrmero qz· Un par de aristas C{)D mtersocolon no vacia «surge», pri rnaro , gracias a La extstenciu de los v6rtices con el grado 2, correspond isndo a ca da uno no estes vertices un par de estos. Luego, dado que en cada vel'tic(' del grade 3 convergor: :1 aristas , ontonces, a est.a 11' corresponden tantos pares de aristas con interseccidn no vacia , cuantas partes do 2 elementos de un conjunto de 3 elementos axis-

79

tim, os GPoir, (n, AIl,l.!OgUlllOlllu, a cadu verticc del grado 4. II.' correspund eu (~) pares do arlstas COil intorseccton no vacia , rl('., POI' fin, a ca.la vertic.c COli pi m.i x imo grlldo n lo corrospondon (;) pares do ~st,(' genero. Dnrlo q 110 las aristas se intersscan solo en los vertices, de todo 10 dicho podemos deducir quo

Parttend 0 de las mism as ideas (tornandn en consideracio n quo las temas do aristas con interseccldn 110 vacia no «surgen» de los verticos con el grade 2), obtenernos la igualdad siguisnte:

q.~= (~!)v~ i(! )V.+(~)V5+ ... +(;)Vn.

Analogarnente,

(4) (5) (11)

q. ~ 11 V ~ -I- -1 V ~ -\- ' . ,+ <\ V" ,

Sustit uycnrl o [>1\ In fr'irmul1l. (10.7) ql POl' los valores hallados tenemos:

80

I (",-1) (It) 'I

-I- (-1l"-~ 1/.-1 V"_I+ n--1 V" +

I (_11"-I(n. ) V

n U

o bien, tras reagrupar los l.erminos,

X«(;')=-,\-(~)v~+1-(~)Il:~)IV3~"-

... + I '" (~ )1 (.~ ) - ... --/- ( - 'I); (i ~ 1 ) --/+ (-1)j~1 ( ~) _I Vi + ... + [ - ( ; ) +- ( ~ ) - , .. .. . H-1)" (n~ 1) -1-(-1)"+1 (:) j V".

Apl icnndo In iguol.dlld (10.G) olltl.'Tleroos

x(G) ..",A-~ V2-2V3- ••• -(i-l)V;- ... -{n-llV".

Luego transformarnos el segundo rnicmbro d« Ia manera slgulentc:

X (G) = (-A + 2A) +. (V1- VI) -\- (V2 - 2V~) +

-I-- (V.~ - sv 1) -+- , .. -I- (V n - nV n) = - A + (V I + + V2 + ., . --/- \'n) + (2A - V1 - 2V. - 3VJ - •••

... - nV,,).

En virtml de 1 a Iorm ula (10.D) y la igualilll.d evidente V=VI-/-V2+VS-/-··.+Vn

tenomos que X. (G) = V - A, 10 que habla que d emostrar.

Sea X un pnl iorl ro convexn, De acuerdo c-on Iasegunda df't('.rm inaci(i n, I a carncterfstica d(\ En IeI' lie sn Frontera ,)X es igual a

X (0 Xl -~ ql - (12 + q3 - . , . + (-1)'!-I fin' (10.10) douds ql Ill:! 01 1l11mero t.nt.al de caras de-l poliodro Xj Q2' ol tluTnero Ull pan'S do caras que tienen lntorsecclon no vacla; q'l' pI munero tit· ternas do earns que tienen inter.~ec('.j{) n JIO v ncia: , . " g". el numero de tales pa rtes de n elementos del conjunto de cams, que todas las caras

81

que iutegran uua parte Liouan una intorsecciou no vacfa, Tenemos que dsmostrar la igualdad

ql - g2 + q~ - .•. -1- (-1}"-lqn - Y - A + C, (10.11)

Notemos, ante todo, que stemprs qj C. ConsidereIllOS primernmentc cl caso mas airnpl« ouan dn 1m, grades de todos los vertices IIp[ poliedro son igunles !I. ::I (como 10 tiene el tetraedro, el cuho 0 el dodecaodro). l~ntollrAll'l qz = = A, puesto qus en este CRSO oada interscccion no vacia de dos caras ee o IJliga tori aments la

arlsta del poliedro y, vice versa , todas las artstas do est.. tienen tal aspecto. Ademds, cada vertice del poliodro es igual a la mterseccion no vscia de tres carusprecisamente y. v lceversa, ca d a una de estas in terseceiones determiua el vertice. De aqui so dssprende que fj3 = Y, q4 """"' = q& =. . = 0, por esc

ql - qz + q3 = C - A + V.

Con esto queda demnstrado el N\:~O particular de Ja formula (10,11).

En el caso general, cada interseccion no .. acia de dos caras de

un poliedro es su arista 0 511 vert ice. No 0 bs i.a II te, asto de ninguna ma nera significa que I{~ = A "'r V, porquc un misino vertiee puedo oncnnt rarsc onl.re est,,;; Intersecciones mas de una vex on funcion de su grado. Por ejempio, si IJ e~ 81 verUce de grarlo 11, nllt.OIlc,(,.., 6st.e f\(> con tieno en I as cua teo caras diferen tes F!, 1/2' P 3 Y F' 4 del poliedro X (fig. :"16, deride astan roprcsentadas no I us caras en sf, sino sus prcyeccionss sobro 01 plano. 10 quo no cambia, desde luego, el asunt o]. Di(JIDS (111"11:< for-

man (~) = 6 interseccfoues pares no vocias. 1':01 r!'rsta:-: sOlo CUll. tro in torsecciones, a saber: {'\ n F2, Ii't n r ; F a n F 4 Y F. Il f\ son iguales a las nris! us: la.~ !los restautes, 0 sea PI n P3 Y F~ n P4 cotnctdou ,:()Jl (·1 pro pio v(irtice u. En general, si e[ grado del v(irt.j(>.l' I' I)S igua I a i (i> 3), enl onees i oaras que ticuon ,.j pun!« t: por SI!

vertiee comun rlan (~) int.ersecci ()<WfI Pllf('.~ ItO vnr i as ;

entre (istes (;') intcrsocciones correspcurlu II ala,'=. aL'is~M

82

quo SUiCH de dicho vert ice , mien trus (PIC las dumas, (, uyo numero es iguill If. (~) - (~), cuiuculcu ('OJI e l J'1'UJ!i o vert ice v. Asf pues, tenomos 1<1 lgualdad

q2=A+r(~)-(:)lV3·r[(~)-., .. (~)]v41."

- .. +[(;)-(~.)J v.. (10.12)

donde Va rlesigna 01 ruimoro do vel'Lkos del pol iadro ([1111 tienen el grade igual a 3, ... ; V 1 .. el nurnero de SUI-! verlices «)II ld rnax irno grade n (aqui, al igual quo antes, en las fOrm ulas (10.10) y (1.0.12) In letra n dcsigna UII mismo num .. ro), A partir de (to.12) y Ia igualdad evidonto

( '1 ) , I. )

V=\'d V.+ ... +V,,= ~ \':1-1 (~ V,,+ ...

... +(~)Vn

{ l ( :~ ) , ;{ , J

ql-q~--C-A -, 2 -( 1) V.l+···

I(n') ('n)'l} f(3)

•• , --1- .. 2 _ .. 1 . Vn + V-I \ 0 V,! i'-'"

... + ( ~ ) V" J ~" C - A + V - {l ( ~ ) .- ( ~ ) +

(a) 'I [(n)' (rI.)' (n)] }

-+ () " v:!+ ... + 2 - 'l +, 0 Vn•

A partir de aqui osti claro (jUO para tanntnar Ja demostraci6n do III fOrmula (10. H) hastn con cornpro har In .... 111 ide7- de la iguuldad

se obticne

[ ( ; ) -- Cl )\, (~ ) J v, + .. ·1 [( ; ) .. - ( ~ )

-I (~) ] Y" -q.~+IJ{- ... + (-it ([,..'00. (10.1:~) Ocupemonos do ostn com probacion COil ('st e propnslto notemos que cada interseccion no vacia dl' Ires, c uutro

8i1

o tie cualquier nurnero mayor que i de caras es uhligatortarnanl.e un ve.-tiro del polledro. En esto caso la interssccicn no vaciu do i caras «surge» solo de los vcrtit;e~ C,OIL ol grado::;' i; st til grndo del vertice ell igual a m, I'Htonc,es ex is-

II' 1.11). 1 • • I ',. •

IflU cxac .ame nt (I \i un ;e,rS6C(',IOJIl'S Ig'U8 f.'!:< a e.8"I' mrsmo.

Por oso

g"'-I --

(n~ 1 )

n~1 \,,<-1.+

Porrieudo dichas exprestones en (10.1i1) y vari ando e\ ordon de los sumandos, vemos que ol primer miembro de (10.13) os iguaL a

[(3) (;~) (:~) (R)"I

_ 0 - j + 2 - :~ ... Vd-

[(4.) (.'J) (1) (/(.) ('It)]

+ 0 -. 1 + 2 - ;) +, /1 V,.-f- ...

l'(n-1) (n-1)

... + O· - 1 ,-i,.,

(U~1)] l(It') I")

... +(_1)"-1 n.-1 V1l_1+ "0 -\'li

I- (-l)"-J ( n n '1) ·1· (-1)" ( : ) J v..

A consecuencia de (10.4) cada parentesis angular es igual a cero. La igualdarl (10.1S) osHI demostradn, luego 10 est!l tam bten la ig ua ldad (10.11).

Sea .11-1 \J11 pollgono simple sohre 01 plano, partido on caras convexas. Domostremos Ia igualdad siguiente:

Ifl - I/~·I IJ:, - ,

+ (-i),"-'q" = V-A+C. (10.14)

do ndo Ins dosignacrones tionon 01 DI ism 0 sen lido que en 1a form nln (10.11), prro respecto n una purtiei6n arbttraria M. La dCHlostl'llciun so desarroll a por nl mismo esquema. £'{ 0 te rn os, no 0 hstanta, algunas d iferencias.

Llamomos grado til) UD verlice do particlcn al nurnero de uristas lj till sa leu de 6ste, Ahora los vertices (10 mismo quo las arfstas), a d iferencta del caso de un pol iedro, se d iv idcn on interioros y de Iron tern. Supongamos que Vi dosignn el mimero total de vertices Intenorcs; V~. el mirucrn de verhc.('s Intorinres con 01 grado 3, . , ,; V!" 01 mimero do vert.tc.es intvriores eon 01 maximo grado n. Entoncos

V' = V! + V,: + _ .. + V:, =

'3' (/l) 'n'

'~I n ) V;~+ 0 V!-+, .. + (0) V;" (10.15)

Adcrn.is, sea V' 1'1 numero de todos los verlices de frontera; AI Y ,\0, Ius numoros do aristas intarioros y do Irontora, respectivarnente. E;> evidonte que

V = V, -I V·, A = AI + Ae, Ve = AO. (10.16)

Desrgnnmns tam bliSIl POl' Vf-, ., " V:. el rnimern de vcrt.icl's do Iroutora con grados iguales a:!, ' .. , n, respoctlvnmcme.

Al igunl qUI! PIl ol cuso del pol icdro , toncmos 91 = A.

Sill embargo, ~'Il ell (>1 calculo de q2 apareccn difurenoias:

Tlri msro , s6\ <l Las ari stas in tartores son 1 as i nterseccionas de las caras, H1 icntras que las de frontera no 10 son; segundo, en ~,) ve:.'rtic.c de Frontera de grado i U>- 3) convergen ahora j - 1 earns, y no [. POf consiguiente , tal vert-ice de

e -;-1) in tersoccioues pares no vacias do las caras: de estas, i - 2 intersecoiones corresponden II las aristas iuteri ores (/l,n sa Ion de osta vert Icc, y las dernas, cuyo

mlmcrn I',~ iglw I a (J 2 1) - (j - 2) SOIl iguales al propio ver['i(~p_ I'nc ntrn [ado 1Jl tqual que antes, cada vert ice i nt erior /' ('OJ! l'l grarlo j !ill. (~) i Jl torsecclones pares no vacia s de III.'; artstas, cads una de las cuales es igual a Ia

85

arista in ted or y (~) - ({) ill torsoccio 1l8.'! 1M res DO v ad n l' iguales a l propio verLice v. POI' esn

ql-q2=C-Ai_{[(~ )-( nJVl+

+ [ ( ~ ) - ( ~ ) 1 v~ + ... + [ ( ~ ) - ( ~ ) J v; +

+ l ( ~ ) - 1 J V~ +- [ ( ~ ) - z J V~ + . . + r (fl 2 1 l-

-(n-2)IV~,}_

A partir de (10.16) se obueno

C - Ai, = (C - A + V) + AI - v· - V· = (C - A + V) - Vi.

("10.17)

(10.18)

Para terminal' 11'1 demostracton d(j la f6rmu1a (10,14), en virtud de (10.17) y (10.18). basta COlI voriflcar que

Vi + [ ( ~ ) - ( :) J V~ + ... + [ ( ; ) - ( '.~ )1 v;, + + [( ~ )-1J v:+ ... +[(n~1 )-(,.-2)J v~-

-qd-'l,,- ... +(-1)" q" =0. (10.19)

Para esta comprobaolon hallemos los numerus qat Cf4' etc. Dado q ue las Intersecciunes triples no vacfas de las C 111'1'11; «surgen» a partir de los vertices tntertores con ol grado ;-;;:. 3 y los vertices de> frontera con .. I grado > 4, entonc,(l~

( .3 ) (Ii ) ( It - I )

as= ::l V~+ a V!+ ... -I- :\ Vf,_.+

+ ( : ) Vi •.. 1., ( ~ ) v~ +. . _1_ ( n -;; 2 ) v ;,_, +

(11-1 )

: :l V~.

86

Aualogamentc,

q,,=

= (~ ) v, 1 (~ ) V~ + + (n~ 1 ) \'!,-t '1- (~: ) V:, +

+('4)V~ ,., +(tl-2)Vr ,.(It-I) v»

~ i;l l, 11-1 '"" II t

(1l-1 )

n-'J V;,_I+

( II )

+ n-1 V},+

(n-1 )

n-1 Vi,

( :) v:,.

q".=

Coustderaudo (10.15) y poniendo los rdimel'o.'! Q3' q, ...

. . .• qn en e] primer mternbro do Ia iguahlad (10. Hl) hallaremos, haciendo HilUS transformuciones simples, que dtehoptimer micmhro liene la forma siguieute:

[( 3) (;1) (J ) (~i )1 1'-( 4.) ( 4 )

() - 1 + 2 - 3 ,V,\+" 0 - 1 -j

-I ( ~ ) - ( ~ ), ( ! ) J V~ + . , . -I- [( ~ ) - ( ; ) + .. , , .. + ( - -1)" ( : ) J V:'. + [ - 1 + ( ~ ) ] vg -\-

+ [ - 2 -+ ( ~ ) _- ( ~ ) ] V: + ... + [ - (n - 2) +

(n-.1) (11,-1) (n-1.)]

-I- 2 - 3 +- ... +(_1},,-1 n-I _ V,~,

Todos los cot.fic[entes <It! los termino.s V!, Vi, ...• V.!, son igunles II cero dehulo a Ia igualdad (10.4). En 10 que respoctn a los coef icieul.es de V~. V: •... , V~, [',,1(111 111\0 de cst-os ta m bi{i n 0:;; ignaL a cero, De osl () 1I0R COBVOII("Omos mas fad] mente con ayuda de la formula (10,0), si e:-;La

87

se escri be de Ill. mansru siguiente:

( ~) - ( I;~ ) + ( I~ ) - •.• -I- (-1)" ( ~: ) ._ ( ~ ) -1 _.

- n-1.

Por uso tilleda demuslrauu la igualdad (lU.1t1), y, lJOI' tunLO, taru bidn In fOl'lullla (10.14).

l'JlOBLEMA

27. Una flgUI';1 O~ Iii nuion de n poligonus COIlV(!.~03 (en part in

cular, dc, sogllluni.""1 Il" ., , An., sicmlo n .1 i ~ 0. 113 llesc III i=t

curactcrlst ica dn Euler !it' dicit:! figura.

Ahoru podernos (il! r otra demcstraciou de la exlstencia de la caractcristlca !Ie E:ular sobre las clases de figuras elsrnuntnlus sobre la recta. el plano y en eJ ospacto. LimiwUlonos, para simplificar, s610 con la primera de estas clases. En I a rlernostracion 51;) utilizaru el conocido eprincipio de segmenios (jue se coniraen» siguiente: st la sucosion infinite de los segmontus {lo, '1' ' ... 1,,, ... } sobre una recta es +al que cnda segrnonto siguionte de ellos so encuentra en l~1 anterior Y sus tcngiturlos lienden II <:-£>1'0, ent.onC.H~. \.odos estos segrucnt os U()Jll)ll un unico punto rom un. Dicho pn ncipio (0 nlguna ot.ra aIirm ad6n cquivalunte) suele adoptarse par uno de los axiomas do la roctn n umerica

1>,

Ahora bien: sea A = U A, una figaro. elumcntal so-

.=1

lire una recta, que es La union do los sngmcn Los A i- Algunos de estes segmeutos pueden degenerar en pun tos, Llamamos caructeristica de Euler de la [igura A al rnimero X (A) ya determi nado mas arr i ha 0 por I,) [tlfTllul a (8.10):

X (11) ~ 1]1 - (12 ·f- 1]3 - ••• + (--1),,',·lqm· (8.10)

Dornostremos (l lie Ia Iuncion X determi nuda pOI' esta f{lrrr)ul<l sobro In clase de figuras clcmontalss sa LiS[IlCa a los nxlornas (a.)- (y) dol § 8. £5 necesurio domostrar, al igual qne antes, 8610 In propiedad <II) It(litividad. Notemos provinmon l., q lie dicha propierl fI(1 se r.u rn ple para todas I(ls fi!{uras 011 dert.a [urllla debil !jlli' nhorn vamos a ~()iiaI a r. Supongamos quo la flgura A yon' ell e1 segmento

88

10 = [a, br, parttendolo el punta c en dos partes iguales. Introduzoamos Ills dosignaciones siguientes: A- . .» A n Ma. cl, :1 + ."'-. A rl [C, bJ, AO . A n {el. En Ot1'8S nahdJra.~, A - (1.<; Pal·tfl <In I:; fignrll A, que SIl encuentra en (;>1 scg men t,o [(/, r.l; A +, parte de I a m is mil. que se eucuentra en 01 sogmeuto [r , bl, y AO es ol punto co una figura vacia , ell Iuncion de si ol punto c forma parte de A 0 no. La forma Mvil d(1 10 propiedad de aditividad mencionada mas arriba t iene Ia forma siguiente:

x (A) = X (A-) + X (A +) - X (AO).

(10.20)

Bsta ~f;J comprueba facilmente partiendo de la determinacion cie la caracterlstlce de Euler por la formula (8.10).

/,

Ahora sea II = U Ii j otra figura elemental en el seg-

; ·l

ILWIlI.O 10 = fa, bl y, 10 mismo que antes, el punta c 10 parte en ilos pnrtos iguales, Tensmos que dornostrar Ia igualdad

X (A UB) -= X (A) + X (8) - X (A n 8). (10.21) Suponiendolu val ida para las figuras cualesquiera y util izando (10.20) para las figuras A, B, A U n y A n B, podemos volver a escrlbir la igualdad (10.21) de la manera siguiente:

X(A-US-)'I X(A+Ull+)-X(AOUBO)-=

.~ Ix (A-J ·1 'X (8-) ~ X (;1- n B-)l -I- tx (A+) + X (HI)-

~ l. (.M n B+) 1- IX (.t1Q) + % (80) - X (AO n 8°)1.

Entcncos, ai ;;0 cumplen las tres igualdudes siguientes:

;dA- U.o--) X (....1-) + 'X (B-) - X (.,.1- n B-1, (10.22)

X (At U B+) '~X (.'1+) + X (B+) - X (A+ n S·). (11).23)

X (AQ U BO)- X (Ab) + X (EO) - X (A0 n 8°), (10.24)

as valida tarubien la igualdad (10 21}.

Supongamos 10 contrario , es decir, sea que (10.21) es incorrecta. Dado que la igualdad (10.24) t1S valida siempre (to que so comprucba COli facflidad), es iucorrocta pOl' 10 menos una do 1M igualdades (10.22) y (10.23); sea, para mayor precision, la primera de ellas, Por tanto, 1& propied a d de ad i f.i v idHd rcsulta incorrocta pn ra l{l~ Iig uras .1- =,.1 nIl y /j- .. = Ii n'l quo so oncueutran on el sogmento [1 1<1, cl Al partir d icho sogmeuto por el

89

punto d en dos partes lguales, hallarernos tal segmerrto f I conteuido IlD la. c], que para las figures A2 = A n 12 y B2 = B n fa que so encuentran sobro este Ia prup iedad de aditlvldad sera incorrscta. Prosiguieudo asi ohtandremos una auceslen infinita de segmentos que so coutrsen {lo.l!> ... ,1" •... } tal que para las figural; A" = A n n In Y En = 8 n I" que estan sobra 01 segmonto t ; S6 altere Ill. propiodad de aditividad.

Sea .t' el unieo punto connin de todos los segmental! I,..

It =0,1,2, .... Las figuras An =A nl" y Bn = = B n I rI tienen Is. forma signiente:

m

An = U (A; n Jll),

i .. i

~

B~ .. ~ U (B,n f,,). i-I

Si el n(U001'0 n se torna muy grande, outre los segmontos Ai n L; Y Hj n I" saran no vacios cxactarncnto los quo contienon el punto x, Esto quiere doctr, {I Iuerza del problema 27, que para tales numerus n tonemos X (A n In) = = 'X (B n l ,,) = 1 si , por ejemplo, el punto x secontiene en A n B. Analogamsnte, 'X I{A U B) n I" = X (A n n B n 1 n) = 1. De aqui se dasprende que para las figuras A n t ; y 8 n 1 n so cumplo la propiedad de adit.Ivldad , La contradlcclon 0 htenida dom uostra n uestra afi r maci 6 n.

§ 11. {<'IGUHAS ELEMENTALES SOBRf~ LA EBli'EllA Y SUS CARACTEHfSTICAS DE ImLER

Soa S una esfsra. Llamase circunierencia flwyor so hrc S a Ia II uea de in tersecclon de I fI I:lsfe ra con un pla no quo pusa por sa centro 0 (fig. 37, a). La clrcuntcrcncla mayor divide Ia ssfora en dos semtesjeras; varnos a supouer que ella rnlsma se contiene en cads una de c:;I.<1.'J. Llamase poligono eonveao sobre S a la tnterscccton de un IL1.lmero Jinito do somiesforas (fig.3?, b, c). Asi plIOS, los poligonos co JJ VIJX os so h re lu ostera SIJ deter III i Hall iguH 1 men te q ue so bre pi plnuo , perc el pa pel do Ins rectas l u j Iwga n a qui las circunferenoi as mayoros, y ('·1 de los sern iphlllUS, la1l scm i osfcras.

A d ifl,r()lwi:t dol plnno , II nndc e l 1. rUillgll[o ().~('l pollgoJJU con 01 II Ul1lcro rn ini mo do lnrlos, PI.I J II esfl:'l'a hay pol igonos conVIJXO$ con lin cumoro de lades mcnur quo tres

90

denorninados 1 (1£1I11a5. La lI.inula es Ia intersecci6n de dos semiesfsras CUYIIS circnnforsncias mayorss de frontera no comctdcn (fig. :\8). La circunfcrencia mayor tarubien us 1111 pol igono convaxo , puesto que es Ia rnterseccren de

dos seuuesferas [que Ia determinan). POI' fin, entre los poligonos ccnvexos sabre S figurau pares de puntas antfpOMS, os docir. pares de puntos que son los extremes de

lin ruismo drarnutru de la esfera. Efectivamente, un par de an tipodas es Ia intcrssccion de dos cirounf erencias HI ayorcs y, por tall to, 1 a i n tersecckin de c ua tro sem iesleras,

Un poligono convexo sobre 1<1 ostera S~1 denornina estrictamente conuezo, .~i 110 con tione nl nn solo par de anti po dns: I ales son, par ejemp!o , cl tri.ingulo y 01 pent.agono oe la fig. 37. Y a la inversa: la hmulu JIO es est.rict.a-

91

mente co nvexa , puesto que contiane un pill' «(mic,o) de autipodas, asto son sus vertices. Un poligono convoxo se dcnomina degenerado si se encuen tra en In clrcunfcrencia mayor (en particular, coincide eon esta).

Llamase [igura elemental sobre in esfera a la union tit' un nu mero finito de poligonos estrtctamente COfiVCXOS, poaiblamente, degenerados, Designernos II esta clast" de figuras por dt (8). Es f[\cil ver que la clase {}lIt (8) est:! Integrada POI tOMS los poligonos convexns (per ejemplo , In semiestera, la 1 unula. 01 par de antlpodas), y no solamente los cstrictamente convexos, Es importante sefialar que tambien la propia esiera S integra dicha clase. Efectivamente, sean V1, 1)2' Va Y V~ los vertices de un tetraedro inscrito en S tal que el centro de In osfera Sll sncuentra dentro de el (fig. 39). Considerumos sobre ] a asfera cua lro trlangulos, a saber; A 1 con los vertices V~, V3' v4; A \I con los vertices VI' Va. v4: A 3 con los vertices Vl' V2' 1/4. Y A ~ con los vertices V10 V2, va' Bsta claro que todos estes triangulos son estrictamente ccnvexos y, ademas.

(11.1 )

Sea C Ia circunferencia mayor de III osfera. Lldmaso [igura elemental sabre la circunlerencia C Ii In union de un nfimero finito de arcos cuyas longitudes SOil munorcs que Ia longitud de una semlcircunlerencla. Llarnaremos carlos a estes arcos. En particular. fa pro pia circunferencia puedo represent-argo en forma de If! union d e trl'S arcos cortos, cada dos de los cualss tienen un extreme comun:

Sea c;Jt (C) la clase de todas las figllras elomcntalos so bre l a ctrcunfcrnncla.

La caractcristica do Euler para las ('ltI..~uC\ cit (S) Y ,J1t (C) so determine con ayuda do los nxiomas (a), (Ii) Y (I') del § 8. No obstante, a diferenci a del caso del ulano, 01 axiorna (~) ahora rez a asi:

(~) para cada poHgono estrlcttuncnte COIWB.t'O no vacin (incluso al r'le,!{f1nel'Rrlo) A snhr« la ('~fHra S !'<e l.iene

X (A) = 1-

En partlculur, parn carla arco r orto no vacio IJ de la circunlerenc.iu mayur C Sf.' ucno 1. (R) = '1.

92

Ahoru ::;u comprendc por que Ia izuultlad X (A) = 1 debe cumphrse ;,bIo para los poligonos esl,ric,tullumte COIIvexes (y no parn torlos los COllVCXOS); l'~ que entre los poligunos GUll VO};t)S figura. pUI' cjomplo , uu par de anti podas, pl~ro es n a tural considerar que su caracteristtca de Euler cs ol nurnero 2 y no 1.

La domostracion de. la existenr ia de In cnracteristtca de Elller 50iJI'C Ill. cl ase oJ{ (e) se efudCta aualogamcnto a como se ha heche para Ia clase de figllrus elementales sobre Ia recta, pero ('011 una difereucia, a saber: es flieU comprobar (}l1e toda figure elemental M sabre la circunferencia C (;','1 igual a l a union de un numoro finito de arcus (no 0 bligatoriameute cortes) de dicha oircunferencia quo de dos en dof' no tionen puntos comunes y llamados. como de costumbro, compouentes de la figura M, 0 bicu coincide con Iii clrcunfcrencia C, En el pri TIler CIlSO suponemos X (M) igual al numsro de com.ponentea de la Iigura M. Ell 01 segundo debemos cunsidcrar que X (11:1) = = X (C) = 0, puesto que dioha igualdad so desprendc uecesariamente dl' 10;; axiomas de 18 caractcristica de Euler, su unicidud y 1<1 representacion (11,2), EIoctivamente,

X (C) = ~(I) X (B,) - ~m X (lii. n R,.) +

+X(Bj n B, nB;\) - ;~- 3+0= O.

Se comprucba, igualmonte quo en 01 § OJ, que en l'sLe <:1l1;0 se cumplen los axicmas (a) - (')'),

LII dcmostrnc ion de la existencia de la caracterfstica de Euler sobre Ia clase alit (8) so efectua a rul logumunte H como se ha heche para la claso de [jg'UI'U~ clcmoutales sohrc 01 plano, "S dccir, cnrpl eando ol IUtiLodll do cirouuIereuci a mayor «giratOl"iiJ»); Sill embargo, eu I.'stu (U:-IO "a m hi en exi stou ri e rt.as d ifere nc i as. Sea

.,

JI .. U ~1 j

;=1

I1JliI Iigura ulumcutu l til! 1>1 cluse Jolt (8), () :oil';\ 1<1 union lit, poligonos (.'~t('id.illlJ(~nle (0[1\'0XI)[; ilj so hro Ia eslora. Entre E:isl.os pur-den figural' los clCg'lHllll'llltOS, ('S dccir, los arcos ('(lItO!'; n I<)f; puulos. Del)('11 Ilifel'PTl('inr"I' 10f; 1\0f< cases sigllipnl('f;: M 0' S y M =I.~ S, Ell al prlmur cnso hay (Jllll ('fJllbjdl~l:at' X (.lI) -- % (8) :!, In q(I<' -t' .!('SllI'I'II· do nccesariuiuentr- de los IIX iornns til' la (lH'adIH'islir.a

93

de Euler, SIl unlcidad y la representnctou (11.1):

X (8) = ~(I) 'X (Aj) - Lj(Z) t. (Aj, n AjJ ~

+ L](3) X(AJ, n Aj, nAj,)-X(A, n r1~ n .'1 .• n Ai,)""" -If-··() i- /r-[h- 2.

Tornsmns en e\ segundo cnso 1In par de ]111 ntos a nl.i J)()das Nl Y N 2 difercntes de todos los vertic!'!' Ito Ia Iigufa M. Llamsrnos a. los puntos Nt y N 2 «PO](IS)) (digamos, «polo Norte y «polo SUr»). El ijarnos In c.ircunfurcncia mayor Code tal manora que pase por los poles 51 n jHlSIH por los verticos de Ia fignrn Af (qU!l CIl total dan un nurnsro finito). Supongamos, por eiernplo, que e" constn del «merid iano Greenwich» v Ia «linea do cambio cic Iochas». Son C In circunforencia mayor que pasa pM los poles y «gira», digamos, do «oer<te) a «estes a purt ir do la posicion inicial CQ hasta l a posicion filial, tamhien Cn (poro de tal manera que ('1 «merldlano Greenwlcl» Y la «liuea de cambio de fc('ha>'l> 13(> cn mbien rle lug-arlo

Pong-amos

m

X (M) =-X (Mn Nil +x(Mn N~l -+- ~ lx (MnC,)-

·i=l

(11. ::\)

Aqul C1 designa In posicion do La circun lorencln giratoria en el momento cuando esta pasa 1'01' c icrt.o verl.}c.(' "1 00 la figura M, mienrras que C1_0 estn P,itlwdll all poco «mlii< hncia oeste» quP C i' So puadc d~JOI)8t.rar, al igual qUI:! lIn el § 9, que la Iunclon 'X de la fig\II'U M, determinndn pnr 101 igualdad (11.3) satisfaco los axio m as d« hi c nracturtsur.a euleri ana, Ademjis, no cs ohligatorio exigir que In circunferoneta C oncuentrc en carla una dl' SUS po.~ici()fl('S Ull solo vertice de La Iigura M.

PROBLEMAS

28. On halon de i,.thol BIl cnso , por r"g\n gt'n~l'"l, <Ie unos ppdazos do ~U4'r(l do <los tip,os: pentngo~l:d(\!\ y ""xagonalell .(109 cunles, adem as d() 13 Iorma , ,M,eren tum bien on color). lE~ poslbh' COlier una pOJOtB sMo de pedazos de cuero hexagnnales?

2H. gn una eslera hay n (n ;;. :J) dl'I;lInf"J"'nr;as wuynrr9 que no pusan pOI' lin par rle pllll1.".~ Ilni.ipIllIfL~, l;"~ hallarla ~"brl' .\a e,~rera un punto quo !'IJ oncusntru exactamente I'll ,1"", ~I.' estas r 11'cunlerenc ias?

94

§ 12. APLICAClONES SUCES)VA~ DE LA C.,\flACTEH.ISTlCA DE ELILEH

Ell ol pl,rrafo presente so uti! iznr.i In fb1'Jllllln

X (M) = c (M) - c'll U1'1) + 1

(1.2.1)

para lo!'; pol igonus M sohre eJ plano 0 la <\::;fet'a. Recordt1- mos que c (111) d~'~igna ('1 numcro de componontes d e 111 f'igur a JIlT, y c* (M) .• ,1 numero do cnrnpouontos ell' Sll complcmento respee to 31 plano 0 Ia esfera.

Noternos prtmsrnmente, Bill domostrar, que cunlquier polfgono B puede representarso de una munera unica en forma de In llni{J11

(12.2)

de tal E'.~ pol igonos Ai rarl II uno d e [M c 1l1\ lcs 8.'l si mpl e o \ . lone s6lo huccos sirup I es ('011 I II part ic u laridad lit' que l a intp.rse,'d{Jll d{1 r ada IHII' A I n Aj co nst.a de II n pnntn o cs vacia.

Por ejemplo, (>I pol igono c) (fig. 8 on IH p.20) const a

de tres triallg'lllos; ('-1 poligono f), de dos f.l'janguIos Y UII polfgono can dos huecos simples, y 01 poJigono g), II@ lres poligonos simples Y Ill! poligono con tres Iruecos stmplos,

La unicidad de Ia representacion (12.2) fie garantiza, como regIa, ~61o por Ill. restrfccion antes sei'iaiada sobro las intersecc iones de Ius pares A, n Aj• Efecti vamen te, el poJigono e) de Ill. fig. 8 puede considorarso como una lInion tie tres simples. d e Ius c ualos, sin embargo, carla dos t ieuen dos puntos comunos: pur otro Indo, 1'1 mismn pol igono e) p n cde considerurse, ~e.g(HI J a represoutac Ion (12.2), 511 (Ill ico ssumaudo» q II(> tiene tres huecos simples.

Pasarnos a Ill. demostraclcn de la i~u al dud (12.1).

Supungamns qUE> nl principle el poligono .TJ 110 trene huecus. Demostrernos quo ont onccs 'X (B) = 1. En efecto, "egllJ\ Ja representucinn (12.2) ]00 esumandoss A I puedeu situarso ell tal orden qlle tonss las figurM<

3 ru

H1=1I1, B'I.-A,UA~, Ba-' U Ai' ... , B ·~1Jm·='" U Ai

1="1 ;=1

95

sean conexos (Fig. 40). Eutunces para todns I()~ mimeros i Iu ill [.uft)cCGiuli B, _I n Ai cunsta QI} Ull puntu, IIUl'SlQ que en caso t'OJI trurio 1.'1 poligono B i tendria huecos (fig_ 41). POr' eso

x (8 I) z-r- X (A 1) -= I ,

%([12) - x(Al)+ 1::(112) - X (A I n A2)~-1'll -1 ""'" 1,

J 'or otro ladu, para el pcligono sin huecos tonemos c (H) = c* (B) _,_,. 1 y, por tanto, (12.1) 1.jene validez.

Pongamos (jIIC ahora el poligono M t.iene n huecos C,. . . , , en y todos ellos sun simp] es, Dcmostremos la

Fjg .... ()

Fig. 4J

ignaldad (12.1) por Induccion en Iune ion dfl] mimero de huecos,

Sea MOl 01 poltgono obtEo'nido a partrr .Ie Ivl «eneo landoe tndos lns huer os, Como snhomos, 1a igu a ldad (12.1) es correcta para M~. Sea MJ un po ligonn nhtonido a partir de Mo srecortundo» 01 huuco G1; Mz, un pul igono obtenitlo /I partir de M] rocortando el hueco C 2, ctc.: M n, = M, un l)ollg(lno ohtenido II partir de M" -1 rocortando ol agujoro C". Esta cl aro quo

r (MJ) =- C (M2) = ,,," c ("''In) = 1,

c* (MI) = 2, c* (M2) =~ il, , c* (Mn) =

= c* (M) = n. + 1.

96

Supougarno« II Ill' Ia iguaJdfld (12,1) 1:'1' val ida para el po1igOHO .Mr._I' es decir. sea

X (M"-J) -= (' IM"~I) ,_ .. e* (M"_l) -{ 1 = 1 - n +

+ " = 2 - n.

Demostroruos una ig-lInlllad nll:Hoga pam M" = M. 'I'enemns Mil_I ~., lV/" U C,,, do douds X (Mn-I) = % (M ... ) + + X (C,,) ,\d('tHa5, do acuerdo con el corulnriu del teoremil. 1, X (['II) ,,,_, L POI' eso

X (MfI) = X (M n-l) - X (en) = 2 - 1/. - 1 =- 1 - ft.

POI' ot.ro Indo,

(' (M,,) - c" (,11,1,,) + 1 -0= 1 - n - 1 -I- 'l = 'I - n.

ASl PIlC!!, In igualdad (12.1) e~t.;i dernostrarla para un poHgono que tit'lI\' ;;()Io huecos strnpl es.

Para 01 caso lId IS gennral , dicha iglla] dad se nbtisne a partir de la propie.lnd de adi tivulad de l a caraotcristioa do Euler y l a representacton (12.2). Notemos que est a se rlemuestra tam bien do In misma mnnern para Ia {lsfera; NI (iste caso s610 rlehc consi deraree que, a diforencia dol r.aso dol plano, al oncolar los }III('(:,OS puede obtonerse IInR figura qUE:' co incido con toda Ia osiera,

El empleo de la caracteristlca de Euler es especi.almenI,e corrwdo si so tra ta dol enlace entre las propledad as de recubrim ionl 0 de una f igucn (por ejemplo, una esfera) por una familia til' p()Jigonos convexos y Ins prupicdndes de intorsoec ton [1(> d ic h a fmnilia de recuhrrrniento. So dice q ue la famiJin {Al>' ., A,,} de pnl igonos convoxos cubre I n l'~rf)rn S si

,..

S~ U Ai'

t=1

'fl'.or1F.~U 'I Sean AI' A2, Aa. A4 los plJligollos estrictamente conueros 110 degeuerados sobre In estern S, Entoncee son equivalentes las «[irmaciones siguientes:

(It) dtelios poligonos cubren la esjera i

(h) la tntrrsercton de los cuatro poUgonfls es mda, mientras que lo. intrrserciori de cada tres de ellos TID es vacta.

Formulcmos otru proposicion allitloga para (,I r aso do 11'1 ci rr unferuur ia mayo!' (en VOt de la csfera).

'I'R(}IW~.~ f, Sean A1> A2• A3 los areas cortes so lire la circuulerrncia mayor C. Entonces SUfi equi['(lZellielJ las af irtnucioncs stgu ientes:

97

(a) dichos areas cubren la circunjerenaur:

(b) la interscccion de los tres areas es !lacia, nuentras que la inierseccion de cada dos de ellos no lo es.

Demostraremos el teorama 3 uritizado oj teorerna 4 como lema. Pussto 'IIII:' los teoremas 3 y 4 se dcmuestran analogamente, Ia demostractcn del 4 puede ofrscerse al lector.

Dl'-l>10STRACIOX. Dcmostremos que (b) "1' desprende de (a). Sea que los cuatro poligoll()s cubren In osfcra. Entoncos esta claro (JUll scbro una e,,!'m'a no pueds existir un punto quo pcrtenezc a a todos est.os po ligonos: si tal punto existiera, su nntipoda no perteneceria II ni nguno de los poligonos debido a su call vexid ad «stricta, 10 que eontradice al enunclado. Demostremos quo (ada tres poligonos en tre 105 cuatro dados ticneu u 11 punto rorn ii n, Con este prop6.sito tnmsmos e l polfgono A ~ Y lrnl""mos sobre 11\ esfera una ci rcunlcrencia mayo]' C que no t iene puntus comunos COil .14, Podomos convcnvemos de 111 ex istenci a de tal circuuferenc.ia de ]11 manera ~jglJiell\.c. EI pol igono A ~ equivulo R JII intcrseccicn d e ciorto mimero etc semtesferns. Si entre. die has semie.sfer;t,f; S(\ escogeu s610 dos, Sit inteTl"eedoTl 8era In I unu]a D, Tracemos In ci 1"c.\I[\ferenda mayor C' que tiene s610 des puntos comuues con In I unuh\ 0: ~IIS vorttccs son 1/ y v'. Para (] btonf'," A 4 a partir de D, es noccsario «cottar» de csl./l ciortos pedazos; en particular. en este caso sC'i'a cortnrlo 11(11' 10 monos uno de los verti(;(;l~ v 0 v'. Pero ent onccs COil IHI pequonn giro de 1a clrcuaferoncia C' so pued» lograr q IW >,sln d ejl! de tener puntos comunes con A •.

Asl pues, exist .. una ctrcuntorcuc ill mavor (.' t.n l q uo C n A4 = 0, En este easo la circu nlerene in C sr- cubre can tres conjuntos Al n C, A. n c 'J' .4 3 n C q lie SOil arcos cor tos. Seg(m ()I teorema 4, cad a dos do !-'stOl" tres arcos tienen un punto cornun: luego que cads pill" de los tres poligonos A" A. y A 3 tarn hien t ienc lin puntn comun, Puesto quo en voz del poJfgono A4 Ole porlrta t.omar eualquiar otro, dos potigonos cualesquiora de 10:'; cuatro tienen una interseccion no vacia. Pur eso X (A inA j) = 1 para todos i. ; = 1, 2. 3, 4, Ahorn , vi\lieJ(donos de III

"

igualdad S = U A; y In f6rmuJ a (8 .. 10) ohtcnemos

!~I

2=X (S)=qt-qd~q3-q, = (~ ) -( ~ ) + Q3-0,

7-0326

98

de dondo 'h .7'" II. Esto quiere decir (jilt' catUl terna de !,oiigQIl()'! to mada dvl co njunt.o {AI' A2, A., A41 tiene un a inttlrs('nibn no vacia, puesto que en total hay exactamente 4 ternas de oste tipo. Conque homos demostrado que (Ill (u) Sf' desprende (b).

Domostromos ahorn (1110 de (il) SQ inf'iore (a). Supongamoa que nhorn ~t· rutu ] .• le la afil'llHl(.'iOn (II). Ponzarnos ~

A = U A" ()lIt.()!lCl'S h!

La figura A t>" couexa, Il1e~o t: (.4) = 1. Apf ic audo para dicha fig-lira la formula (12.1). valida tarnbien para Ia esfcra, obtoucmos c* (A) = 0, 10 cual significa que A cuhre Ia oslcrn S. 6:1 toorcma 3 e8ta dernostrado.

wn(IL'\/( ro, El ruimero minimo de poligonos estrictameute convexus que cubren una esjera es igual a It.

DEMOSTHM;rOi". En rigor, la Igualdad (11.1) muestra que existen cuatro triangulns estrictamente convexos que cubron In esfEm·\. POl' otro Iado, si I a cuhren tres pollgunos estrictameutp. eOIlV!,lCO~ AI' .4z Y A'I' los cuatro poligonos AI, A 2' A.1"Y A.\ la cubriran t.arnbien. I~~ntotlces. scgtin

3

01 teorema 3, la intcrsecctcn n Ai 110 es vacia, lo cual

1=1 contradtce al mlsmo tooroma.

TEOHE}M '> Sean A I' A 2 Y A 3 u.nas ldnulas sobre la esjera S. Entonces ISOII equiualentes las ajirmociones siguientes: (a) estas luruilas cubrea la esjera;

(b) la interseccuin de las ires lanulas es iguai a un par de aniipodas, mientras que la interseccuin de cada dos de ellas no es !Jada y difiere del par de anHpodas.

DEMOR'l'RAmON. Sefinlemos primeramente que Ia caracteristica de Euler d e la Iunula, asi como la de cualqnier poligeno convoxo no vac io contenido en esta. y diterente del par de antipodal', as igual a t (jcompruebese estcl}.

Demostremos que de (a) SIl desprends (h). SUI)OIlgamo9 que las lunulas At. Az Y Aa cubren In esfera S, y que Al n A~ ~ 0 .. Designemos por J) Y v' los vert lees de Ia hinnla AI' y por u: y w' los de la Iunu la A~. Segun 18 supostcton, los cuutro pnntos v. v', U' Y Wi son dlferentes. Por OS;) por olios puede tr azarse sabre S Ia unica circunterencia mayor C (fig. 42). Ento ncos l a intorsocclcn AI n c

Sign up to vote on this title
UsefulNot useful