La Formula Euler

Divulgacin o
La frmula de Euler y la o topolog a

Juan E. Npoles Valdes a Universidad de la Cuenca del Plata, Lavalle 50, 3400 Corrientes, Argentina.
idic@ucp.edu.ar
UTN-FRR French 314, 3500 Resistencia, Chaco, Argentina.

matbasicas@frre.utn.edu.ar
recibido: abril de 2002 aceptado: agosto de 2002

0. Algo de historia
[Ne] 3s2 3p4
S
Azufre 16 peso atmico: 32.066 o punto de fusin: 115.2C o punto de ebullicin: 444.7C o
El proceso de desarrollo de las matemticas, a en el transcurso de su historia, se hace cada vez, ms y ms complejo a lo largo de la hisa a toria del hombre, pero, sin lugar a dudas, el siglo xviii ocupa un lugar predominante: en este siglo la complejidad y multilateralidad del desarrollo matemtico, alcanz un alto a o grado. El ritmo de desarrollo de la ciencia en esta poca aumenta rpidamente, la revolucin e a o industrial, la formacin de un mercado muno dial, lo que conlleva un desarrollo de la navegacin y construccin naval, la tcnica mio o e litar, la termotecnia, la hidroenergtica, etc., las necesidades de los hombres, e presentan problemas ante la ciencia que rpidamente se complican. Junto a a los problemas de la mecnica y la astronom se situaron los problemas a a,
LA FORMULA DE EULER Y LA TOPOLOG IA
de la creacin del aparato matemtico de investigacin de los fenmenos o a o o electromagnticos y trmicos. e e Para las investigaciones cient cas, en las ciudades ms grandes de Eua ropa, se crean instituciones especiales: las Academias de Ciencias, subsidiadas por el Estado. Gradualmente crece el papel de los centros superiores de enseanza, hacindose particularmente notable hacia nales de n e siglo, en la poca de la Revolucin Francesa. Es as como surge una capa e o de cient cos profesionales, entre ellos los matemticos-profesionales, cuyo a principal asunto es la investigacin cient o ca y la enseanza. Entre ellos, n como el ms notable de dicho siglo, surge Leonard Euler (17071783). a Euler fue no solamente uno de los matemticos ms fecundos de la histoa a ria, slo igualado, probablemente, por Cayley y Cauchy, sino tambin, uno o e de los ms eminentes cient a cos de todos los tiempos. Cosmopolita en el exacto sentido de la palabra pas los primeros aos de su vida en Basilea o n (Suiza), trabaj ms de 30 aos en San Petersburgo y un cuarto de siglo en o a n Berl entonces capital de Prusia y alcanz una popularidad y una celen, o bridad comparables a las de Galileo, Newton o Einstein. Euler, hijo mayor del pastor campesino Pablo Euler, se interesa pronto por las matemticas a y, en consecuencia, asiste a los cursos de Jacobo Bernoulli. El inteligente joven recibe las primeras enseanzas de su padre, asisn tiendo posteriormente al gimnasio de Basilea, entonces de poco prestigio y, adems, es alumno particular de Burckhardt. Ingresa, en 1720, en la a Universidad de Basilea y asiste simultneamente, a los cursos de Daniel y a Niclas II Bernoulli; adelanta mucho en la clase de ste. En 1721 se grada o e u de bachiller y, en 1723, de maestro en artes; traba amistad con el hijo de Juan Bernoulli, interrumpiendo sus estudios teolgicos y dedicndose, por o a entero, a las matemticas y, ya en 1725, trabaja dignamente en las trayeca torias algebraicas rec procas (publicada en 1727). En mayo de este mismo ao viaj a San Petersburgo, pues no fue aceptado, por su juventud, en la n o ctedra de F a sica de la Universidad de Basilea y all comenz a trabajar o en la Academia. La vacante, es cierto, era en la ctedra de Fisiolog pero a a, esto no desconcert al joven cient o co. A pesar de todo, era un trabajo!, sin embargo, no lleg a ocuparse de siolog y le propusieron la posibilidad o a de realizar investigaciones en el campo de las ciencias sicomatemticas, a dedicndose con ah a nco al trabajo cient co y pedaggico. o Con respecto a lo ultimo apuntado, debemos decir que no hay posibi lidades de enumerar, aunque sea, los descubrimientos principales y los logros cient cos de Euler, ellos son demasiados. Caracterizarlos signicar a, prcticamente, caracterizar toda la matemtica del siglo xviii. En los traa a bajos de Euler est contenida toda una profunda serie de ideas, las cuales a obtuvieron desarrollo ulterior slo despus de algunas decenas de aos. Por o e n ejemplo, parcialmente se adelant a las investigaciones de Gauss sobre la o
[Ne] 3s2 3p5
Cl
Cloro 17 peso atmico: 35.4527 o punto de fusin: -101C o punto de ebullicin: -34C o
J. E. NAPOLES VALDES
[Ne] 3s2 3p6
Ar
Argn o 18 peso atmico: 39.948 o punto de fusin: -189.37C o punto de ebullicin: -185.86C o
geometr interior de las supercies. Los teoremas y frmulas, los mtodos a o e y s mbolos que llevan el nombre de Euler, frecuentemente se encuentran en la matemtica actual, ocupando un lugar de importancia. a Muchos descubrimientos de Euler se redescubrieron despus de su muerte e por otros investigadores. Especialmente numerosos son los redescubrimientos que se encuentran en la teor de las ecuaciones diferenciales ordinarias. a Por ejemplo, Euler redujo, ya en el ao 1766, el problema sobre las vibracion nes de una membrana circular a una ecuacin diferencial lineal de segundo o orden con coecientes variables. Ahora esta ecuacin lleva el nombre de Beso sel, matemtico y astrnomo alemn del siglo xix. A propsito, la solucin a o a o o dada por Euler a esta ecuacin es una serie innita que expresa funciones o cil ndricas de primer gnero y cualquier orden (las funciones cil e ndricas de orden cero aparecieron en las memorias de Daniel Bernoulli sobre las vibraciones de un hilo exible jo en un extremo). Ejemplos de tal tipo de redescubrimientos pueden citarse muchos. Euler era tambin extraordinariamente modesto, respecto a la propiee dad intelectual. Jams aspir a disfrutar de privilegios contrariamente a o a la mayor de los cient a cos de todos los tiempos llegando, incluso a veces, a hacer don generoso de sus ideas y descubrimientos. En sus obras no oculta nada al lector, sino que juega limpio con l, brindndole las mise a mas condiciones y posibilidades de que disfrut para encontrar algo nuevo; o ms an, frecuentemente lo gu hasta el umbral, dejndole la alegr del a u a a a descubrimiento, unica pedagog valedera. a Cules son las razones que propiciaron la aparicin del fenmeno Euler? a o o En primer lugar, una memoria prodigiosa (a edad avanzada divert a su a familia recitndole, elmente y en lat cualquier canto de La Eneida de a n, Virgilio; amn de que conoc de memoria las actas de las sesiones de la e a Academia, varios decenios despus de efectuadas, esto sin referirnos a su e prodigiosa memoria para las matemticas). En segundo lugar, una extraora dinaria capacidad de concentracin. Con un nio en las rodillas o un gato o n en el hombro, as escrib sus obras inmortales, nos cuenta su amigo y a colega Thibault. La tercera razn es, simplemente, su trabajo, tranquilo e e o incesante. En la ciudad alemana de Koenigsberg (en la poca sovitica, Kalinine e grado) siete puentes atravesaban el r Plegel en su curso sinuoso por la o ciudad. Sencillos ciudadanos se preguntaban: Cmo puede una persona o planear su paseo del domingo en la tarde, de modo que cruce una sola vez cada puente? As estos siete puentes del siglo xviii proporcionaron el ma, terial para uno de los ms clebres problemas de las matemticas. Cuando a e a Euler present, en 1735, la solucin a la Academia Rusa de San Petersburgo, o o la Topolog o Analysis Situs qued fundada. Con respecto al Problema de a o los Siete Puentes, debemos decir adems, que sent tambin las bases de a o e
la moderna teor de grafos, pues su solucin, present las tcnicas actuales a o o e de esta rama de las matemticas. a En 1758 public la demostracin de la frmula V + C = A + 2, para o o o poliedros simplementes conexos, consolidando e iniciando la acumulacin o de hechos de Topolog Esta frmula, que Poincar reconoci como uno de a. o e o los teoremas centrales de la Topolog permite demostrar que no existen a, ms que 5 poliedros regulares; y de hecho, ser el eje central de nuestra a a exposicin. o Con la primera concepcin formal del Calculus, elaborada por Newton y o Leibniz, y que tuvo en los hermanos Jacques y Johan Bernoulli, entre otros, a los descubridores de un mundo inconmensurable del esp ritu humano, que hab de colonizarse en el Siglo de las Luces (siglo xviii), el papel de primer a colonizador de gran estilo, comparable al de hombres como Cristbal Coln, o o iba a corresponderle a Euler. En el campo de las llamadas Matemticas puras, Euler cre de golpe y de a o manera extraordinaria varias nuevas disciplinas de investigacin, apartes de o las ya mencionadas, y las desarroll metdicamente: la teor de las series o o a innitas, el lgebra superior y el clculo de variaciones. a a Asimismo, Euler determin, investigando la serie armnica, la constante o o de su nombre, siendo la ms sencilla y conocida de las series innitas que a dan el valor de ella: 1 1 e = 1 + + + 1! 2!
[Ar] 4s1
K
Potasio 19 peso atmico: 39.0983 o punto de fusin: 63.2C o punto de ebullicin: 766.4C o
Euler, que indudablemente ten el tacto de Midas en las matemticas, a a no slo invent el s o o mbolo e y calcul su valor hasta 23 decimales, sino que o le dio varias expresiones interesantes, en trminos de fracciones complejas e innitas. Por otra parte, la Frmula de Euler: ei = 1, es, a no dudarlo, la frmula o o ms famosa de las matemticas. a a En el lgebra, la investigacin la centra sobre todo en los problemas y a o teoremas de Fermat. Aunque su esperanza de poder resolver ecuaciones de grado superior mediante radicales no se cumple, Euler descubre, no obstante, en 1776, clases especiales de ecuaciones que s pueden resolverse. Los mtodos generales de solucin de problemas del clculo de variaciones e o a fueron elaborados en este siglo por Euler y Lagrange. Precisamente en esos trabajos fue establecida una estrecha relacin entre el clculo variacional o a y las ciencias naturales. La elaboracin de la teor de ste prosigui en el o a e o transcurso de ms de dos siglos como una imperiosa necesidad de completar a las condiciones necesarias de primer orden (ecuacin de Euler), as fueron o halladas las condiciones necesarias y sucientes de segundo orden para dos tipos de extremos: fuerte y dbil. e Para no agobiar al lector con sucesivos datos de este tipo, debemos decir que, en conclusin, Euler es quien hace triunfar los conceptos y los mtodos o e anal ticos sobre los sintticos, demasiado unidos a lo concreto y quien abre e a los sucesores, un campo de trabajo muy amplio. Ya por su sola productividad (aqu no hemos hablado de sus traba jos teolgicos, loscos, mecnicos, astronmicos, de hidromecnica y de o o a o a o ptica, que ocupan signicativo lugar en su obra) Euler constituye un fenmeno unico. La gran edicin suiza de sus obras, en la que vienen trabao o jando desde comienzos de siglo numerosos especialistas de diferentes pa ses, cuenta hasta la fecha con 70 volmenes en cuarto, a los que seguirn 14 tou a mos de cartas y manuscritos. El siguiente cuadro da una idea ms completa de las obras que prepar a o Euler para la imprenta, sin contar algunas decenas de manuscritos que no han podido ser fechados todav a:
Aos n
[Ar] 4s2
Obras
Ca
Calcio 20 peso atmico: 40.078 o punto de fusin: 841.5C o punto de ebullicin: 1500.5C o
17251734 17351744 17451754 17551764 17651774 17751783
35 50 150 110 145 270
Segn las diversas disciplinas de que tratan, estas obras se distribuyen u de la siguiente manera:
Disciplina
Algebra, teor de los nmeros y anlisis a u a Mecnica y dems aspectos de la f a a sica Geometr y trigonometr a a Astronom a Construccin naval, arquitectura, artiller o a Filosof teolog teor de la msica, etctera. a, a, a u e
40 28 18 11 2 1
De todo lo expuesto, podemos decir que an quedan por descubrir numeu rosos tesoros en la obra de Euler, por lo que es necesario esperar todav a para que esa obra prodigiosa sea accesible a todos. En 1750 en una carta a su colega Christian Goldbach, que estaba empezando a estudiar los poliedros y sus propiedades, Euler escribi: o
. . . Recientemente se me ha ocurrido determinar propiedades generales de los slidos limitados por supercies planas, porque no hay duda de que se podr o an encontrar teoremas generales sobre ellos. As como para guras planas rec til neas hay propiedades como las siguientes: 1 ) en cada gura plana, el nmero de lados es igual al nmero de ngulos, y u u a 2 ) la suma de todos los ngulos interiores es igual a dos rectos por el nmero a u de lados menos cuatro rectos. As como para guras planas slo es necesario considerar lados y ngulos, o a para el caso de los slidos debern ser tenidos en cuenta ms elementos. . . 1 o a a
En esta carta, Euler consideraba la posibilidad de tener en cuenta las caras del poliedro, sus ngulos slidos, los ngulos planos, los vrtices y lados de a o a e cada cara, las aristas del poliedro, . . . As Euler obtuvo: ,
. . . En cada cara, el nmero de lados es igual al nmero de ngulos planos. Dos u u a caras se encuentran en un lado, entonces la cantidad de lados total de todas las caras es el doble de la cantidad de aristas del poliedro. Por lo tanto, la cantidad total de lados de todas las caras es siempre un nmero par. Cada cara tiene por u lo menos tres lados, entonces la cantidad total de lados de todas las caras es mayor o igual que tres veces el nmero de caras. . . 2 u
[Ar] 3d1 4s2
De donde lleg a la siguiente propiedad: o

por Cronwell, tra de Biggs, N. L., E. do 1976. 2 Citado por Cronwell, tra de Biggs, N. L., E. do 1976.
1 Citado
Sc
Escandio 21 peso atmico: 44.95591 o punto de fusin: 1539C o punto de ebullicin: 2831C o
Peter, Polyhedra, Cambridge University Press, Cambridge, 1997, pp. 189, exK. Lloyd y R. J. Wilson, Graph Theory 17361936, Clarendon Press, Oxford, Peter, Polyhedra, Cambridge University Press, Cambridge, 1997, pp. 190, exK. Lloyd y R. J. Wilson, Graph Theory 17361936, Clarendon Press, Oxford,
. . . La cantidad de ngulos slidos ms la cantidad de caras es igual a la cantidad a o a de aristas del poliedro ms dos. . . 3 a
Esta relacin fue completamente original en el momento en que se escribi o o esta carta y hoy es conocida como Frmula de Euler. Normalmente, en o la actualidad, en vez de hablar del nmero de ngulos slidos, se hace u a o referencia al nmero de vrtices del poliedro. El enunciado del Teorema de u e Euler, es, por lo tanto: Sea P un poliedro convexo, con C caras, A aristas y V vrtices. e Entonces se satisface C A + V = 2. Euler public su resultado pocas semanas despus de la carta a Goldbach o e con su correspondiente demostracin. Existen varias demostraciones para o este teorema y ms adelante presentamos algunas de ellas. La siguiente es a sencilla por los pocos recursos externos que involucra. Sea P un poliedro convexo con C caras, A aristas y V vrtices. Queremos e demostrar que se verica C A + V = 2. Consideremos que al poliedro P le quitamos una de sus caras, pero dejamos sus correspondientes aristas y vrtices. Elegimos una de las restantes, e llamndola C1 . C1 tiene a1 aristas y v1 vrtices. a e Elijamos ahora otra cara, C2 , no disjunta con C1 ; o sea, que tiene alguna arista en comn con ella. C2 tiene a2 aristas y v2 vrtices no comunes u e con C1 . Consideremos luego C3 , no disjunta con C1 o con C2 , con a3 aristas y v3 vrtices no comunes con las dos caras anteriores. Y as sucesivamente e podemos ir considerando todas las caras del poliedro. C 1 es el nmero total de caras que podemos elegir de esta manera. A u travs de este procedimiento recorremos todo el poliedro, excepto la cara e que le hemos quitado. Se verica entonces que: a1 = v1
[Ar] 3d2 4s2
a2 = v2 + 1 a3 = v3 + 1 . . . . . . ac 1 = vc1 + 1
22
3 Citado por Cronwell, Peter, Polyhedra, Cambridge University Press, Cambridge, 1997, pp. 190, extra de Federico, P. J., Descartes on Polyedra: a Study of the Solidurum Elementis, Springer Verlag, do 1982.
Ti
Titanio peso atmico: 47.88 o punto de fusin: 1666C o punto de ebullicin: 3358C o
Sumando miembro a miembro las desigualdades anteriores, resulta: (a1 + a2 + a3 + + ac1 ) = v1 + v2 + v3 + + vc1 + C 1 1, o sea, A = V + C 2. O bien, como quer amos demostrar:4 C A + V = 2. En este trabajo presentamos la relacin de la Frmula de Euler con la o o topolog (en realidad, es el primer resultado publicado sobre esta rama de a las matemticas, como ya dec a amos), con la geometr elemental, v los a a slidos platnicos y los slidos arquimedianos (algunos arman que este reo o o sultado es el nico teorema de geometr que no descubrieron los griegos) u a y relaciones diversas con otras ramas de las matemticas, as como problea mas y ejercicios. Se aaden, adems, 18 demostraciones de este resultado n a que pueden servir para ilustrar los puntos de contacto antes citados. Dos resultados independientes, con serias repercusiones en la geometr como a son el Teorema de Pick y el Teorema de la Curva de Jordan, se presentan en los anexos para completar varias de las demostraciones tratadas.
1. La Formula de Euler para la esfera
Hablando grosso modo, una red o, como dir los matemticos, un grafo, es an a una coleccin de puntos (llamados vrtices) y l o e neas que los unen (llamadas aristas). Cada arista une slo dos vrtices (uno en cada uno de sus extremos) o e y dos aristas no se deben cortar excepto en un vrtice (qu ser entonces e e a un extremo comn de las dos aristas). La coleccin de aristas forma el u o l mite (la frontera) de ciertas reas llamadas caras. Las caras no deben a tener agujeros ni asas en ellas. Si dos caras tienen puntos frontera comunes, entonces deben compartir un vrtice o una arista comn (y slo esto). En e u o la gura 1 se muestran dos ejemplos de grafos (i ) con 3 caras, 12 aristas y 10 vrtices, y (ii ) con 2 caras, 6 aristas y 5 vrtices, respectivamente. e e No es necesario asumir que las aristas en un grafo sean l neas rectas, pueden ser curvas de cualquier clase, siempre que no se corten o corten a otras. Es ms, nosotros podemos dibujar tales grafos sobre cualquier supera cie (por ejemplo un plano, una esfera, un cilindro, y as sucesivamente). Un triangulacin de una supercie es una red sobre la supercie, de tal o forma que todas las caras sean triangulares, es decir, que estn limitadas por e
Crespo Crespo, Cecilia R., Geometr algunas consideraciones y sugerencias para la introa: duccin del Teorema de Euler en la clase, Zona Educativa en el Aula 10, pp. 27, Ministerio de Cultura o y Educacin, Buenos Aires, noviembre 1998. o
4 Consultar
[Ar] 3d3 4s2
V
Vanadio 23 peso atmico: 50.9415 o punto de fusin: 1917C o punto de ebullicin: 3417C o
FIGURA 1.
tres aristas. De hecho, los agrimensores miden un campo por triangulaciones del mismo, con puntos vrtices (normalmente en cimas de montaas) y e n midiendo ngulos y distancias entre estos puntos. En este caso los puntos a son los vrtices de la triangulacin. e o El ejemplo ms simple de una triangulacin en la a o esfera (que nosotros pensamos como la supercie de la Tierra) se obtiene dibujando el ecuador y, digamos, n l neas de longitud. En este ejemplo, que se ilustra en la gura 2, hay 2n caras triangulares, n+2 vrtices (n en el ecuador, y uno en cada polo) y 3n e aristas, para que
FIGURA 2.
(nmero de caras) (nmero de aristas) u u +(nmero de vrtices) = 2n 3n + (n + 2) = 2. u e
Es quizs sorprendente que esta respuesta no dependa de la eleccin de a o n. Ms notable an es el hecho conocido como Teorema de Euler,5 que a u se cumple para todas las triangulaciones de la esfera. As para cualquier , triangulacin de la esfera con, digamos, T tringulos, A aristas y V vrtices, o a e la frmula de Euler para la esfera es o T A + V = 2. Lo importante aqu es que esta frmula es una invariante topolgica; esto o o signica que si deformamos la triangulacin y la esfera continuamente6 , o entonces los nmeros T , A y V no cambiarn y la frmula seguir siendo u a o a cierta. Por ejemplo, cuando nosotros deformamos la esfera en un cubo, la frmula seguir siendo vlida para el cubo; vericaremos esto con triangulao a a ciones particulares del cubo. Dividamos cada cara del cubo en dos tringulos a dibujando una diagonal por cada cara. Hay seis caras del cubo y cada una da dos tringulos, as T = 12. Claramente V = 8 (no hay ningn nuevo a , u vrtices introducido cuando nosotros dibujamos las diagonales) y A = 18 e
5 Como 6 Doblndola a
[Ar] 3d5 4s1
Cr
Cromo 24 peso atmico: 51.9961 o punto de fusin: 1860C o punto de ebullicin: 2679C o
dijimos, probablemente el matemtico ms productivo de todo los tiempos. a a o estirndola, pero sin romperla. a
(doce del cubo original y las seis diagonales agregadas). As T A + V = 12 18 + 8 = 2. Ejercicio 1. Verique la Frmula de Euler en cada uno de los casos siguientes (y en o
cada caso use triangulaciones diferentes): 1 ) para un tetraedro (una pirmide con una base triangular); a 2 ) para la supercie formada uniendo dos tetraedros por su base; 3 ) para una pirmide con una base cuadrada como las que se encuentran en Egipto a (recuerda que la base de la pirmide, donde la pirmide toca la tierra, es parte de la a a supercie de la pirmide); a 4 ) para el octaedro (que es formado uniendo dos pirmides por su base); a 5 ) la supercie formada uniendo dos pirmides, cada una con una base cuadrada, hacia a dos caras diferentes de un cubo. Debe asumir que las caras del cubo son del mismo tamao n que las bases de las pirmides. a
Ejercicio 2. Construya su propia supercie (por ejemplo, pegando varios cubos juntos),
trianglela, y entonces verique que la Frmula de Euler trabaja para este caso. u o Observacion 1. Construir aqu no signica que debe construir la supercie f sicamente; parte de las matemticas es aprender a representar tales objetos tridimensionales en una a hoja de papel! Observacion 2. La supercie debe ser una esfera deformada. La Frmula de Euler como o fue dada antes no se cumple sobre la supercie de una rosquilla (un toro).
2. La demostracion de Legendre de la Formula de Euler para una esfera
La geometr de la esfera es sumamente importante; por ejemplo, cuando los a navegantes (en naves o aviones) trabajan sus cursos por uno de los ocanos e deben usar la geometr de la esfera (y no la geometr del plano!). En la a a geometr euclideana plana usual, la suma de los ngulos interiores de un a a tringulo es 180 grados (o en radianes). En la supercie de la esfera el a arco de distancia ms corta entre dos puntos es el arco de un gran c a rculo en la esfera, y si nosotros formamos un tringulo esfrico con estos arcos a e como lados, entonces la suma de los ngulos interiores del tringulo no es a a 180 grados. Por ejemplo, si miramos el tringulo en la esfera limitado por a el ecuador, el meridiano de Greenwich, y la l nea de longitud dada por 90 Este, obtenemos un tringulo esfrico donde los tres ngulos son de a e a 90 . Llamemos a este tringulo D. Puede considerar qu otra suma de los a e a ngulos interiores de un tringulo son posibles en la esfera. a Es un hecho que asumiremos aqu que si un tringulo esfrico est en , a e a una esfera de radio unidad y tiene, digamos, ngulos a1 , a2 y a3 (medidos a en radianes), entonces el rea del tringulo es a1 +a2 +a 3. Por supuesto, a a
[Ar] 3d5 4s2
Mn
Manganeso 25 peso atmico: 54.93805 o punto de fusin: 1246C o punto de ebullicin: 2061C o
en la geometr euclidiana tendr a amos a1 + a2 + a3 = , pero esta frmula o ya no es vlida porque nuestro espacio es curvo. En su nivel ms simple, la a a teor de Einstein sobre el espacio-tiempo es que el espacio-tiempo en que a vivimos es curvo y as las frmulas f o sicas son diferentes a las que usamos en el espacio euclidiano. Note que si aceptamos la frmula anterior para el rea de un tringulo o a a esfrico, el tringulo D construido anteriormente tendra rea 3(/2) = e a a /2. Como ocho copias de D llenarn la esfera sin solaparse, el rea de la a a esfera (de radio unitario) es 4. Daremos ahora la elegante prueba de Legendre de la Frmula de Euo ler, basada en una discusin simple de geometr esfrica. Para cualquier o a e tringulo en la esfera, tenemos a Suma de los ngulos de un tringulo = rea del tringulo + . a a a a Suponga que hay T tringulos con A aristas y V vrtices en la triana e gulacin de la esfera. Entonces, sumando todos los ngulos en todos los o a tringulos, la suma del ngulo total es 2V (porque todos los ngulos cona a a curren a un vrtice sin solaparse y el ngulo suma en cualquiera de los e a vrtices de V es exactamente 2). Tambin, la suma de las reas de los e e a tringulos es el rea de la esfera, a saber 4; as tenemos que a a , 2V = 4 + T , o T = 2. 2 Ahora (contando las aristas de cada tringulo y notando que cuenta cada a arista dos veces), obtenemos 3T = 2A, o A = 3T /2. As tenemos V T A+V =T que es la Frmula de Euler. o
[Ar] 3d6 4s2
3T T + 2+ 2 2
= 2,
Fe
Hierro 26 peso atmico: 55.847 o punto de fusin: 1536C o punto de ebullicin: 2860C o
3. La Formula de Euler para un pol gono cerrado simple
Dado un pol gono que no se corta a s mismo, podemos triangular el interior del pol gono en tringulos no-solapados tal que cualequiera dos tringulos a a se encuentran o a lo largo de un borde comn, o un vrtice comn. Suponga u e u que hay T tringulos, A aristas y V vrtices, entonces la Frmula de Euler a e o para un pol gono es T E + V = 1.
FIGURA 3.
EL lector puede conrmar esto en el pol gono de la gura 3. Ejercicio 3. Dibuje pol gonos diferentes, trianglelos, y verique que la Frmula de u o
Euler es cierta.
La prueba de la Frmula de Euler para un pol o gono cerrado simple. Como los trminos T , A y V permanecen inalterables cuando aplicamos un cambio e continuo (o deformacin) a la gura, podemos imaginar la gura dibujada o en una hoja de caucho exible. Recortamos el pol gono de la hoja y lo manipulamos hasta que encaje exactamente en la mitad baja de una esfera que se apoya en un plano (por ejemplo, una mesa). Podemos considerarlo ahora como una triangulacin del hemisferio bajo de esta esfera y usar trminos o e geogrcos, tales como ecuador y polo norte, para describir los puntos en la a esfera. Habr un cierto nmero de vrtices, digamos N , en el ecuador de la a u e esfera (exactamente el mismo nmero que en el u l mite del pol gono original) y, como los vrtices e y las aristas se alternan en el ecuador, habr a tambin exactamente N aristas en el ecuador. e Ahora dibujamos arcos del polo norte de la esfera a cada uno de estos N vrtices (vase la e e gura 4). Esto nos dar una triangulacin de la a o esfera con N nuevas caras triangulares, N nuevos bordes (todos del polo norte) y un nuevo vrtice (en el polo norte). As de la Frmula de e , o Euler para la esfera,
FIGURA 4.
[Ar] 3d7 4s2
Co
Cobalto 27 peso atmico: 58.9332 o punto de fusin: 1495C o punto de ebullicin: 2912C o
(T + N ) (A + N ) + (V + 1) = 2, y esto da la Frmula de Euler para el pol o gono, a saber T E + V = 1.
4. La Formula de Euler con caras poligonales en cualquier superficie
Hasta ahora hemos considerado la Frmula de Euler con la red teniendo slo o o caras triangulares en la supercie. De hecho, la frmula tambin es vlida o e a cuando las caras son pol gonos. El lector puede probar algunos ejemplos de esto para persuadirse que es as Tomemos el ejemplo de un cubo con seis . caras cuadradas, 12 aristas, 8 vrtices y 6 12 + 8 = 2. e Presentamos aqu un boceto de una prueba de la Frmula de Euler para o una esfera C A + V = 2. Algunos detalles se omiten, pero la idea general es clara. Tomemos un pol gono sobre la esfera. Suponga que tiene N vrtices y N e lados sobre la frontera del pol gono. Hay dos caras (la interior y exterior del pol gono) as para esta red tenemos C A + V = 2 N + N = 2. Suponga que unimos dos vrtices por una curva poligonal, mostrada como e una l nea roja en el diagrama.
[Ar] 3d8 4s2
Para una curva general de este tipo, agregamos k nuevas aristas, k 1 nuevos vrtices (en la gura, k = 4) y el nmero de caras se aumenta en e u uno (una cara se divide en dos). Entonces para la nueva red Cnueva Anueva + Vnueva = (C + 1) (A + k) + (V + k 1) = C A + V = 2. De la misma manera, podemos agregar otra l nea sin cambiar C A + V ; as podemos construir una red general para la que se tiene C A + V = 2. , Para un pol gono la prueba es muy semejante a la de la seccin 3. o
Ni
N quel 28 peso atmico: 58.6934 o punto de fusin: 1455C o punto de ebullicin: 2883C o
5. La Formula de Euler para un pol gono con agujeros
Considere dos pol gonos, uno dentro del otro; algunos ejemplos se dan en la gura 5. Cul es la frmula de Euler para la regin entre los dos pol a o o gonos? Dibuje distintas regiones de este tipo, trianglelas de maneras diferentes y u cuando halla alcanzado una respuesta experimentalmente, la prueba y lo demuestra.
FIGURA 5.
Ahora intente encontrar la Frmula de Euler para las regiones con dos o o ms agujeros como las de la gura 6. a
FIGURA 6.
6. La Formula de Euler para un tubo cuadrado
Considere un tubo cuadrado sin los extremos como se ilustra en la gura 7, y considere triangulaciones que cubran el tubo entero, cul es su Frmula a o de Euler? El lector debe dibujar triangulaciones diferentes y cuando haya alcanzado una respuesta experimentalmente debe probarla y demostrarla. Cuando haya hecho esto, encuentre y pruebe la Frmula de Euler para o la rosquilla doughnut de la gura 8.
[Ar] 3d10 4s1
Cu
Cobre 29 peso atmico: 63.546 o punto de fusin: 1085C o punto de ebullicin: 2570C o
FIGURA 7.
FIGURA 8.
7. El angulo de deficiencia de un poliedro
[Ar] 3d10 4s2
Zn
Cinc 30 peso atmico: 65.39 o punto de fusin: 419.6C o punto de ebullicin: 907C o
Veremos una aplicacin atractiva de la Frmula de Euler. El ngulo de o o a deciencia de un vrtice de un poliedro es 360 (o 2 en radianes) menos e la suma de los ngulos en los vrtices de las caras que se encuentran en a e el vrtice. Para un cubo, por ejemplo, hay tres caras, cada una con un e a ngulo recto en cada vrtice; as el ngulo de deciencia (en cada vrtice) e , a e es 2 3(/2) = /2 (360 3 90 = 90 ), o 90 grados. El ngulo de a deciencia total para el cubo es 8 90 = 720 (4 radianes). Es un hecho notable que el ngulo de deciencia total de cualquier poliedro que sea a topolgicamente equivalente a una esfera es 720 o 4 en radianes. o Suponga que tenemos un poliedro construido con caras C1 , . . . , Ck (cada una de stas es un pol e gono que no es necesariamente regular). Entonces podemos aplicar el Teorema de Euler al poliedro si contamos las caras, aristas y vrtices. Por denicin, hay k caras. Suponga que la cara Cj tiene e o Nj aristas (y por lo tanto Nj vrtices). Si contamos el nmero total de e u bordes mirndolos por dentro de cada cara, vemos N1 + + Nk aristas. a Pero, por supuesto, vemos cada borde dos veces (para cada arista se ven de ambos lados); as , 2E = N1 + + Nk .
Un hecho interesante aqu es que N1 + + Nk , inclusive, debe ser impar; aunque esto no es muy evidente. Finalmente, el nmero V de vrtices est u e a dado por la Frmula de Euler para una esfera (o para cualquier esfera o deformada), es decir, V = A C + 2 = (N1 + + Nk )/2 k + 2, o 2V = (N1 + + Nk ) 2k + 4. El poliedro tiene V vrtices y, por denicin, el ngulo de deciencia total e o a del poliedro es en absoluto 2V menos la suma de los ngulos de todas las a caras en todos los vrtices. Como la suma del ngulo interior de un pol e a gono con n lados es (n2), tenemos que el ngulo de deciencia total del poliedro a es , donde = 2(V [(N1 2) + (N2 2) + + (Nk 2)] = 2V (N1 + + Nk ) + 2k = (2V (N1 + + Nk ) + 2k) = 4. As tenemos demostrado el siguiente resultado , Teorema. El ngulo de deciencia total de cualquier poliedro es 4. a Ejemplo. Consideremos el tetraedro regular. Este tiene tres tringulos a equilteros que se encuentran en cada uno de sus cuatro vrtices; as en a e , este caso, = 8 4 (3 /3) = 4. Quizs al lector le gustar probar con otros ejemplos. a a El hecho de que el ngulo de deciencia total de un poliedro sea 720 a grados, junto con la Frmula de Euler, da la llave para encontrar cuntos o a poliedros regulares hay (slidos platnicos) y cuntos poliedros semireguo o a lares hay (slidos de Arqu o medes), y descubrir sus propiedades (formas, nmero de caras, etc.), tal y como veremos en la seccin 9. u o
8. Sumando numeros de Euler
[Ar] 3d10 4s2 4p1
Ga
Galio 31 peso atmico: 69.723 o punto de fusin: 29.77C o punto de ebullicin: 2203C o
Vamos a mostrar que si unimos dos supercies por la frontera de un agujero en cada uno, entonces el nmero de Euler de la supercie unida es la suma u
de los nmeros de Euler de las dos supercies separadas. u Suponga que tenemos dos supercies S1 y S2 , cada una con un agujero. Deformando las supercies, podemos asumir que los dos agujeros son redondos con el mismo radio, tal y como se ilustra debajo.
Ahora triangulemos ambas supercies de manera que haya exactamente k vrtices y, por tanto, k aristas en cada una de las fronteras circulares de e los agujeros. Deformando de nuevo las supercies podemos asumir que estos k vrtices y k aristas se encuentran exactamente cuando las dos supercies e se renen. u Suponga que la triangulacin de S1 tiene T1 tringulos, A1 aristas y o a V1 vrtices, y la triangulacin de S2 tiene T2 tringulos, A2 aristas y V2 e o a vrtices. Cuando las supercies se han unido por los bordes de los dos e agujeros redondos, tendremos una triangulacin de la nueva supercie que o llamaremos S, con exactamente T1 + T2 tringulos en ella. Sin embargo, no a tendr A1 + A2 aristas porque cada una de las k aristas en la frontera de a un agujero se unir a uno de los otros bordes en la otra frontera; as la a , nueva triangulacin tendr exactamente A1 + A2 k aristas y, por analog o a a, V1 + V2 k vrtices. As e Nmero de Euler (S) = (T1 + T2 ) (A1 + A2 k) + (V1 + V2 k) u = (T1 A1 + V1 ) + (T2 A2 + V2 ) = (S1 ) + (S2 ).
[Ar] 3d10 4s2 4p2
Ge
Germanio 32 peso atmico: 72.61 o punto de fusin: 945C o punto de ebullicin: 2850C o
Por ejemplo, un disco es topolgicamente equivalente a un hemisferio y, o por lo tanto, tienen el mismo nmero de Euler. Si unimos dos hemisferios u por sus fronteras (por ejemplo, los hemisferios norte y sur se unen por el ecuador) vemos que los nmeros de Euler de una esfera es dos veces el u nmero de Euler de un hemisferio. Por lo tanto, el nmero de Euler de un u u hemisferio y de un disco es uno.
9. Clasificacion de los poliedros regulares y semiregulares
Los problemas de clasicacin son importantes en muchos campos de las o matemticas. En topolog el principal problema es agrupar espacios toa a, polgicos en conjuntos de tal forma que todos los espacios en un conjunto o dado sean topolgicamente equivalentes7 . Una forma de caracterizar eso tos conjuntos es asociar con los espacios ciertas entidades (frecuentemente nmeros u o grupos de nmeros) los cuales sean esenu cialmente los mismos para todos los espacios en un conjunto dado. Tales entidades son llamadas invariantes topolgicas, poro que son las mismas para todos los espacios topolgicamente equivalente. Ciertos invao riantes pueden ser iguales para espacios no equivalentes; una clasicacin completa slo o o se obtiene cuando dos conjuntos no diferentes poseen todos sus invariantes iguales. Un ejemplo de un invariante topolgico ocurre en la Frmula de Euler. o o El invariante aqu es C A+V , su valor para poliedros ordenados es 2. Una generalizacin del teorema nos brinda el carcter invariante ms claramente. o a a Esta plantea que, si cualquier supercie cerrada es dividida en C regiones, por medio de A arcos (aristas), uniendo en pares V vrtices tal que al menos e dos aristas se encuentren en cada vrtice, entonces la expresin8 C A + V e o es independiente del mtodo de divisin de la supercie. e o Los poliedros9 regulares se llaman slidos platnicos y los semiregulares o o slidos de Arqu o medes, en honor de dos matemticos griegos famosos10 . a As podemos introducir una notacin para describir el vrtice formado , o e por cada teselacin. Esta notacin, describiendo el nmero de aristas de o o u cada pol gono que se encuentra en un vrtice de una teselacin del slido e o o regular o semiregular, fue inventada por el matemtico suizo Ludwig Schlai a (18141895). Un profesor de matemticas de escuela, que hizo investigacin a o matemtica en su tiempo de descanso. a
introduccin interesante al estudio de invariantes topolgicos puede encontrarse en E. M. Pato o terson, Topology, Oliver and Boyd, Edinburgh and London, 1959. 8 Llamada la Caracter stica de Euler . 9 Pol gonos-Figurae rectilineae; poliedros-Corpora bedris planis inclusa. 10 La primera mencin de los trece slidos arquimedianos es un manuscrito del quinto libro de la o o coleccin del matemtico griego Pappus de Alejandria, quien vivi al comienzos de la cuarta centuria. o a o Para la descripcin de Pappus de los slidos con modernas ilustraciones vase o o e http://www.mcs.drexel.edu/~crorres/Archimedes/Solids/Pappus.html. El lector puede encontrar ilustraciones de los slidos polidricos y mucha informacin interesante sobre o e o estos slidos y su construccin geomtrica y prctica en el sitio mantenido por Tom Gettys en o o e a http://mathworld.wolfram.com/ArchimedeanSolid.html
7 Una
[Ar] 3d10 4s2 4p3
As
Arsnico e 33 peso atmico: 74.92159 o punto de fusin: 816C o punto de ebullicin: 615C o
[Ar] 3d10 4s2 4p4
Cada vrtice en la teselacin hexagonal est rodeado por tres pol e o a gonos de seis caras, por lo que decimos que la forma del vrtice es 666. e La teselacin cuadrada tiene vrtice 4444. o e De manera similar, cada uno del vrtices en la teselacin triangular est e o a rodeado por pol gonos de 3 lados y el vrtice tiene forma 333333. Los e a ngulos interiores del tringulo, el cuadrado y hexgono son 60 , 90 y 120 a a respectivamente, y puede verse que la suma de los ngulos en un vrtice en a e cualquiera de las tres teselaciones es 360 . Es claro que stas son las unicas e teselaciones regulares posibles del plano porque los pentgonos con ngulos a a interiores de 108 no pueden encajar juntos alrededor de un vrtice, y para e los pol gonos con ms de seis lados los ngulos interiores son mayores que a a 120 y es imposible unir tres o ms alrededor de un vrtice. a e En cualquier slido, el nmero de caras en un vrtice debe ser mayor que o u e dos. Comencemos con tringulos. a Usando slo tringulos, cada vrtice debe tener menos que 6 caras (sino, o a e terminamos con una teselacin del plano). Podemos unir tres 3-gonos (i.e., o a tringulos) para hacer un vrtice con forma 333. Continuemos construyendo a e un slido de tal manera que cada vrtice tenga forma 333 y as llegamos al o e tetraedro con 4 caras triangulares. Podemos unir cuatro 3-gonos para hacer un vrtice con vrtice forma a e e 3333 y este slido es el octaedro con 8 caras triangulares. o Podemos unir cinco 3-gonos para hacer un vrtice con forma 33333 y a e este slido es el icosaedro con 20 caras triangulares. o Tomemos ahora los cuadrados. Para hacer un slido, debemos tener ms o a de 2 caras en un vrtice y menos de cuatro11 . Esto nos deja con el vrtice e e de forma 444 y construimos el cubo (o hexaedro) con 6 caras cuadradas. Luego viene el pentgono. Cada vrtice de cualquier slido debe tener a e o ms de 2 caras. Una vez ms, el lector puede convencerse que no podemos a a tener un vrtice de forma 5555, as que nos quedamos con el slido regular e o con vrtice forma 444 llamado el dodecaedro con 12 caras pentagonales. e Como dijimos antes, no podemos hacer un slido regular con un pol o gono 12 . con seis o ms lados a De esta manera, hemos mostrado que hay cinco y slo cinco slidos reo o gulares, y podemos empezar a completar la tabla siguiente. Despus de contar cuidadosamente los vrtices y aristas no es tan fcil e e a como parece, podemos completar las prximas dos columnas. o
Se
Selenio 34 peso atmico: 78.96 o punto de fusin: 221C o punto de ebullicin: 685C o
11 Por 12 Por
qu menos que 4? e qu? e
Nombre
Forma del vrtice e
n(caras) C
n(vrtices) e V
n(aristas) A
angulo de deciencia
ngulo a total de deciencia
Tetraedro Octaedro Icosaedro Cubo Dodecaedro
333 3333 33333 444 555
4 8 20 6 12
La conjetura de que C + V A = 2 debe surgir de examinar los nmeros u de C, V y A. Esto es el famoso (y tan util) Teorema de Euler. Aqu est a planteado slo como una conjetura al mirar la tabla, pero de hecho es cierto o encontrar una prueba es una tarea para el lector que disponga de tiempo, en caso contrario consulte la seccin correspondiente a las demostraciones. o La prxima columna ngulo de deciencia se trata en la seccin 7. o a o Considere el tetraedro. Su forma de vrtice es 333, as que la suma de e los ngulos en cada uno de su vrtices es 60 + 60 + 60 = 180 y decimos a e que el ngulo de deciencia es de 360 180 , o sea, 180 . Es lo que usted a consigue si aplana el poliedro en un vrtice y mide el ngulo faltante. e a Puede ver que la suma del ngulo en el vrtice de cualquier slido debe a e o ser menor que13 360 ? Denicin. El ngulo de deciencia en un vrtice es 360 menos el ngulo o a e a suma en el vrtice. e
Podemos rellenar la prxima columna en la tabla con el ngulo de deo a ciencia por cada slido platnico, pues sabemos el ngulo interior de cada o o a n-gono. a La diversin aqu nos devuelve un poco al plano, la idea es unir el ngulo o a de deciencia con la curvatura y probar la frmula para el ngulo interior o a de un n-gono regular que es (180 360/n) en grados. De esta frmula a o , 90 y 108 , vemos que los ngulos interiores de 3-, 4- y 5-gonos son 60 a a respectivamente.
13 Por
[Ar] 3d10 4s2 4p5
Br
Bromo 35 peso atmico: 79.904 o punto de fusin: -7.25C o punto de ebullicin: 59.35C o
qu? e
Si recorremos todo un c rculo desde un punto de partida, recorreremos un a ngulo total de 360 grados o (usando otra medida) 2 (radianes). Imag nese dando una vuelta a un n-gono regular que empieza en uno de sus vrtices. a e Ahora la curvatura, en lugar de extenderse uniformemente alrededor del borde, se concentra en los vrtices. En cada vrtice se hace lo mismo: se e e camina a lo largo de la prxima arista. Cuando se vuelve al punto de partida o se ha recorrido un ngulo total de 360 . Cada uno de estos giros es por a consiguiente de 360/n grados, el ngulo exterior al vrtice. El ngulo interior a e a es por consiguiente (180 360/n) grados. La columna nal de la tabla el ngulo total de deciencia es justo la a suma de los ngulos de deciencia en cada vrtice de un slido particular. a e o Puesto que en cada caso la forma del vrtice es la misma en cada vrtice, e e podemos multiplicar simplemente el nmero de vrtices (columna V ) por u e el ngulo de deciencia. As obtenemos la tabla siguiente. a ,
Nombre Forma del vrtice e n(caras) C n(vrtices) e V n(aristas) A ngulo a de deciencia ngulo a total de deciencia
Tetraedro Octaedro Icosaedro Cubo Dodecaedro
333 3333 33333 444 555
4 8 20 6 12
4 6 12 8 20
6 12 30 12 30
180 120 60 90 36
720 720 720 720 720
[Ar] 3d10 4s2 4p6
Kr
Kriptn o 36 peso atmico: 83.8 o punto de fusin: -157.2C o punto de ebullicin: -153.35C o
Hemos concluido con el resultado de que el ngulo total de deciencia a para cada uno de los cinco slidos platnicos es de 720 . Pero, es cierto o o este resultado?, es el ngulo total de deciencia para cualquier slido igual a o a 720 ? Es as y puede tomarse con conanza, por ahora pero deber , a vericarse mejor este resultado con algunos otros slidos y podr intentarse o a buscar una prueba en internet o en algn libro. Nosotros hemos generalizado u ideas en dos dimensiones (el plano) a tres dimensiones. En el plano la suma de los ngulos exteriores de cualquier pol a gono siempre es de 360 (o 2 radianes); ello se une al concepto de curvatura y al hecho de que en el l mite cuando n tiende a innito, se obtuvo un c rculo de longitud 2 veces su radio. En el plano la constante 360 grados o 2 radianes desempea n el mismo papel que el ngulo total de deciencia en tres dimensiones. El a a ngulo total de deciencia para cualquier slido es de 720 grados o 4 o radianes. Se une ello al concepto de curvatura y al hecho de que en el l mite cuando n tiende a innito, obtenemos una esfera con rea de la supercie a de 4 veces el cuadrado de su radio. Debilitemos ahora la condicin de regularidad. Un slido semiregular es o o aquel que se hace con ms de un tipo de pol a gono, pero que en todos los
vrtices tiene la misma forma del vrtice. e e Supongamos que escogemos que el vrtice tiene forma 366 para que cada e vrtice sea rodeado a travs de un 3-gono y dos 6-gonos. Generar esta e e a a a opcin un slido semiregular? y, en este caso, cuntos hexgonos y cuntos o o a a a tringulos necesitamos? Usaremos el Teorema de Euler y el teorema del a a ngulo total de deciencia para ayudarnos a llenar otra la en nuestra tabla, ya tenemos la segunda y la ultima columna.
366 Ahora pasamos por los siguientes pasos:
720
Angulo de deciencia. Puesto que la forma del vrtice es 366, el ngulo e a 300 = 60 . de deciencia debe ser 360 Nmero de vrtices. Puesto que todos los vrtices tienen la misma forma, u e e podemos dividir 720 por 60 para obtener el nmero de vrtices, que u e resulta ser igual a 12. Nmero de aristas. Dado que cada vrtice est rodeado por 3 caras (y por u e a consiguiente por 3 aristas) podemos argumentar que el nmero de aristas u es 12 3 = 36, pero siendo as hemos contado las aristas dos veces14 , , entonces el nmero de aristas debe ser la mitad de 36, esto es 18. u Nmero de caras. Use el Teorema de Euler C + V A = 2; luego, C = 8. u
366
12
18
60
720
Pero, cuntas de las 8 caras son tringulos y cuntas hexgonos? a a a a Contemos los tringulos primero. Dado que cada vrtice tiene un 3-gono a e a y hay 12 vrtices, podemos obtener que el nmero de tringulos debe ser e u a 12 1 = 12, pero siendo as hemos contado cada tringulo 3 veces, una , a vez en cada uno de su vrtices dado que cada tringulo tiene 3 vrtices. e a e Entonces el nmero de tringulos debe ser 12/3 = 4. u a Contemos los hexgonos ahora. Podr a amos decir simplemente que son 84 = 4, pero veriquemos nuevamente. Dado que cada vrtice tiene dos 6e a gonos y hay 12 vrtices, podemos obtener que el nmero de hexgonos debe e u a ser 12 2 = 24, pero siendo as hemos contado el nmero de hexgonos 6 , u a
14 Por
[Kr] 5s1
Rb
Rubidio 37 peso atmico: 85.4678 o punto de fusin: 39.5C o punto de ebullicin: 697C o
qu? e
veces pues cada hexgono tiene 6 vrtices. Entonces el nmero de hexgonos a e u a debe ser 24/6 = 4.
Nombre Forma del vrtice e n(caras) C n(vrtices) e V n(aristas) A angulo de deciencia ngulo a total de deciencia
Tetraedro truncado
663
4 3-gonos a 4 6-gonos a
12
18
60
720
Por qu no slo se escoge una posible forma del vrtice y vemos lo e o e que pasa? La forma del vrtice debe ser tal que la suma del ngulo sea e a menor de 360 . Las cosas pueden salir mal. Por ejemplo, si escogemos un vrtice de forma 335, vemos que el ngulo de deciencia es de 360 120 e a 108 = 132 , que no divide 720 , por lo que no existe slido semiregular o con semejante forma del vrtice. e Algunas formas de vrtices producen prismas, como el 344 que es el e prisma triangular que tiene tres caras cuadradas y dos caras triangulares. Otras formas del vrtice producen antiprismas. Adems de los prismas e a y antiprismas, se pueden producir todos los slidos de Arqu o medes, cuyos detalles estn en la tabla siguiente. Por supuesto, puede preferir complea tar su propia tabla y entonces vericar sus resultados con la presentada a continuacin. o Los 5 slidos platnicos y los 13 slidos arquimedianos o o o
Tetraedro Cubo Octaedro Dodecaedro Icosaedro Tetraedro truncado Cubo truncado Octaedro truncado Dodecaedro truncado Icosaedro truncado Cuboctaedro Icosidodecaedro Snub dodecaedro Rombocuboctahedro Gran rombicosidodecaedro Rombicosidodecaedro Gran rombocuboctaedro Snub cubo
333 444 3333 555 33333
4 6 8 12 20
4 8 6 20 12 12 24 24 60 60 12 30 60 24 120 60 48 24
6 12 12 30 30 18 36 36 90 90 24 60 150 48 180 120 72 60
180 90 120 36 60 60 30 30 12 12 60 24 12 30 6 12 15 30
720 720 720 720 720 720 720 720 720 720 720 720 720 720 720 720 720 720
[Kr] 5s2
Sr
Estroncio 38 peso atmico: 87.62 o punto de fusin: 776.9C o punto de ebullicin: 1412C o
366 8=4+4 388 14 = 8 + 6 466 14 = 6 + 8 31010 32 = 20 + 12 566 32 = 12 + 20 3434 14 = 8 + 6 3535 32 = 20 + 12 33335 92 = 80 + 12 3444 26 = 8 + 18 4610 62 = 30 + 20 + 12 3454 62 = 20 + 30 + 12 648 26 = 8 + 12 + 6 33334 38 = 32 + 6
Los 5 slidos platnicos: cubo, tetraedro, dodecaedro, icosaedro y octaedro. o o
Los 13 slidos arquimedianos: cuboctaedro truncado, icosidodecaedro truncado, icosidodecaedro, o cubo snub, dodecaedro snub, rombocuboctaedro, rombicododecaedro, cubo truncado, dodecaedro truncado, icosaedro truncado, octaedro truncado, tetraedro truncado y cuboctaedro.
[Kr] 4d1 5s2
10. Dieciocho pruebas de la Formula de Euler15 : V A + C = 2
Muchos teoremas en las matemticas son lo sucientemente importantes a como para que se hayan demostrado repetidamente de muchas maneras dife15 Vanse e http://www.ics.uci.edu/~eppstein/junkyard/ y http://www.ics.uci.edu/~eppstein/junkyard/
Y
Itrio 39 peso atmico: 88.90585 o punto de fusin: 1530C o punto de ebullicin: 3264C o
[Kr] 4d2 5s2
Zr
Circonio 40 peso atmico: 91.224 o punto de fusin: 1852C o punto de ebullicin: 4400C o
rentes. Un ejemplo de esto incluye la existencia de innitos nmeros primos, u la evaluacin de la funcin zeta, el teorema fundamental del lgebra, recio o a procidad cuadrtica (una frmula para probar si una progresin aritmtica a o o e contiene un cuadrado) y el Teorema de Pitgoras (segn Wells tiene 367 a u pruebas por lo menos). Esto tambin ocurre para teoremas insignicantes, e como el hecho de que en cualquier rectngulo dividido en dos rectngulos a a menores, si cada rectngulo menor tiene anchura o altura entera, lo mismo a es vlido para el mayor. a Esta seccin presenta varias pruebas de la Frmula de Euler, que engloo o ban caminos diferentes a los antes presentados. Segn Malkevitch, esta frmula se descubri alrededor de 1750 por Euler, u o o y fue primero demostrado por Legendre en 1794. Antes, Descartes (alrededor de 1639) descubri un invariante polidrico (el ngulo de defecto total), o e a pero al parecer no identic la propia Frmula de Euler. Hilton y Pederson o o proporcionan ms referencias as como la entretenida especulacin sobre a o el descubrimiento de Euler de la frmula. Confusamente, otras ecuaciones o como el ei = 1 y a(n) = 1(mod n) tambin pasan por el nombre de la e Frmula de Euler, realmente Euler era un hombre muy ocupado. o La frmula del poliedro, por supuesto, puede generalizarse de muchas o maneras, algunas usan mtodos descritos ms adelante. Una generalizacin e a o importante es a grafos planos. Para formar un grco plano de un poliedro a coloque una fuente de luz cerca de una cara del poliedro, y un plano en el otro lado. Las sombras de los bordes del poliedro forman un grco plano, incluido a de una manera tal que los bordes son segmentos de l nea recta. Las caras del poliedro corresponden a pol gonos convexos. A la cara ms cercana a a la fuente le corresponde la cara externa de la proyeccin. Rec o procamente, cualquier grafo plano con ciertas propiedades de conectividad se transforman en un poliedro de esta manera. Algunas de las pruebas descritas a continuacin, usan slo la topolog o o a del grafo plano, algn uso de la geometr proyectiva y algn uso de la geou a u metr tridimensional del poliedro original. Los grafos en estas pruebas no a son necesariamente simples: los bordes (aristas) pueden conectar un mismo vrtice a s mismo, y dos vrtices pueden ser conectados por mltiples e e u aristas. Algunas de las pruebas presentadas descansan en el Teorema de Jordan16 , el que tiene mltiples demostraciones; como stas en general no u e son basadas en la Frmula de Euler, podemos usar la Curva de Jordan sin o pecar de razonamiento circular.
16 Vase e
anexo.
Prueba 1: Arboles entrelazados. Para cualquiera grafo planar conecto G denamos el grafo dual G dibujando un vrtice en medio de cada cara de G y coe nectando los vrtices de dos caras adyae centes por una curva e a travs de la e arista compartida e. Note que G = G. Cualquier ciclo en G hace desconexo a G por el teorema de la curva de Jordan. Cualquier subgrafo ac clico F de G es un bosque y ninguno hace desconexo a G (puede ir de cualquier cara a cualquier otra cara alrededor de los rboles en F ). a As la conexin y la aciclicidad son duales entre s Esta dualidad forma la o . base de la siguiente prueba: Escoja cualquiera rbol T en G; este es por denicin un subgrafo conexo a o y ac clico. Las aristas duales del complemento, (G T ) forman tambin un e el cual es tambin un rbol. Los dos rboles subgrafo conexo ac clico de G e a a tienen juntos (V 1) + (F 1) aristas. Esta prueba es presentada en muchas ocasiones cuando se ensea teor n a de grafos. Sommerville la atribuye a Von Staudt. Encaja bien con otros tpicos de dualidad planar tales como el hecho de que todo grafo planar o con todas las caras iguales es bipartido (por la dualidad del recorrido de
[Kr] 4d4 5s1
Nb
Niobio 41 peso atmico: 92.90638 o punto de fusin: 247C o punto de ebullicin: 4858C o
Euler). Varias otras pruebas de la Frmula de Euler tienen dos versiones, o una en el grafo original y otro en su dual, pero esta prueba es asimismo dual como es la propia Frmula de Euler. o La idea de descomponer un grafo en los rboles entrelazados ha demosa trado ser util en varios algoritmos y reas de la programacin. a o Prueba 2: Induccin sobre las caras. o Podemos demostrar la frmula para todos los grafos conexos planos, por o induccin sobre el nmero de caras de G. o u Si G tiene slo una cara, es ac o clico (por el teorema de la curva de Jordan) y conexo, es un rbol y A = V 1. Por otra parte, escojamos una arista a e que conecte dos caras diferentes de G, qu telo; e puede aparecer entonces slo una vez en la frontera de cada cara, as el grafo sigue siendo conexo o cualquier camino que involucra a e puede reemplazarse por un camino alrededor del otro lado de una de las dos caras. Esta eliminacin de e, o disminuye tanto el nmero de caras como de aristas y el resultado se sigue u entonces por induccin. o Esta prueba normalmente aparece en los libros de texto de teor de graa fos (por ejemplo, Bondy y Murty) pero goza de menos favor: es innecesariamente complicada y no es elegante, la justicacin completa de algunos de o los pasos parece ser algo como el mismo trabajo de toda la primera prueba; no se generaliza muy bien y existen algunos detalles cr ticos que los autores de libros de texto preeren omitir a menudo. Prueba 3: Induccin sobre los vrtices. o e Este argumento es dual plano de la prueba por induccin sobre las caras. o Si G tiene slo un vrtice, cada arista es una curva de Jordan, as existen o e A + 1 cars y C + V A = (A + 1) + 1 A = 2. Por otra parte, escojamos una arista e que conecte dos vrtices diferentes de G, contrigalo. Esto e a disminuye el nmero de vrtices y aristas en uno, y el resultado se obtiene u e entonces por induccin. o
[Kr] 4d5 5s1
Prueba 4: Induccin sobre las aristas. o Combinando las dos pruebas anteriores conseguimos una induccin con un o caso base mucho ms simple. a Si el grafo planar conexo G no tiene ninguna arista, es un vrtice aislado e y V + C A = 1 + 1 0 = 2. Por otra parte, escojamos cualquier arista e. Si e conecta dos vrtices, vamos a contraerlo, reduciendo V y A en uno. Por e otra parte, esta arista es una curva de Jordan y separa dos caras; qu tela y reduzca C y A en uno. EL otro caso se sigue por induccin. o
Mo
Molibdeno 42 peso atmico: 95.94 o punto de fusin: 2623C o punto de ebullicin: 4679C o
Esta es la prueba usada por van Lint y Wilson. Otras variantes son posibles si e conecta dos vrtices y separa dos caras, podemos escoger e varias maneras de anular o acortar e. Prueba 5: Divide y vencers. a Esta prueba la encontr Alex Bogomolny en una traduccin rusa (1958) de o o la sptima edicin de la Geometr elemental de J. Hadamard (vol. 2). Est e o a a muy relacionada con la prueba por descomposicin del asa. o La prueba es por induccin sobre el nmero del caras. Antes que todo, o u quite una cara y demuestra la frmula V A + C = 1 para supercies o polidricas abiertas. Para una sola cara la frmula obviamente se cumple. e o Asuma que se cumple para un nmero menor de caras que C y considere u una supercie con un nmero C de caras. Corte dos vrtices de la frontera u e (por la cara faltante) de la supercie y conctelos por una cadena de aristas e interiores. (La existencia de una tal cadena se sigue del teorema de la curva de Jordan.) Ahora corte a lo largo de la cadena. Se obtienen dos supercies para las que la frmula V A + C = 1 se cumple. Para la primera, sea o V1 A1 + C1 = 1 y para la segunda V2 A2 + C2 = 1. Asuma que la cadena contiene L aristas y por tanto (L + 1) vrtices. Se sigue entonces e que A1 +A2 = A+L y as V1 +V2 = V +L+1. Por supuesto que C1 +C2 = C. Sumando (algebraicamente) se obtiene el resultado deseado. Se puede usar tambin una versin e o dual de la prueba, en la cual un disco abierto (inicialmente formado quitando un vrtice del poliedro) se descompone e encontrndose sucesiones alternadas de a aristas y caras. Prueba 6: Carga elctrica. e Esta prueba es debida a Thurston: Coloque el poliedro en el espacio, de tal forma que ningn borde est horiu e zontal y que exista exactamente un vrtice superior S y un vrtice inferior e e I. Ponga una carga unitaria positiva en cada vrtice, una carga unitaria negae tiva en el centro de cada cara. Mostraremos que todas las cargas se cancelan excepto aquellas en I y S. Para hacer esto, desplacemos todas las cargas de las aristas y los vrtices de e una cara vecina y agrupmoslas en cada cara. La direccin del movimiento e o
[Kr] 4d5 5s2
Tc
Tecnecio 43 peso atmico: 97.9072 o punto de fusin: 2200C o punto de ebullicin: 4567C o
queda determinada por la regla que dice que cada carga se mueve en su correspondiente cara, vista horizontalmente, contrario a las agujas del reloj. De esta manera, cada cara recibe la carga neta de un intervalo abierto, sobre sus fronteras. Este intervalo abierto se descompone en aristas y vrtices e que se alternan. Puesto que el primero y el ultimo son aristas, existe un sobrante de negativo; por consiguiente, la carga total en cada cara es cero. Todo lo cual nos deja +2, para S e I. Thurston generaliza esta idea un una prueba que dice que la Caracter stica de Euler es un invariante de cualquiera variedad diferenciable triangulada. Prueba 7: El dual de la carga elctrica. e En lugar de agrupar las cargas en las caras del grco, podemos dar un a argumento dual en el que se agrupan los cargas en vrtices. Esta prueba e trabaja mejor con el grafo planar convexo inmerso en el grafo de un poliedro. Rote el grafo si es necesario para que ninguna arista est vertical. e Como en la prueba anterior, ponga una carga unitaria positiva en cada vrtice, una carga unitaria negae tiva en el centro de cada arista, y una carga unitaria positiva enmedio de cada cara. Mostraremos que todas las cargas, menos dos positivas, se cancelan. Para hacer esto, desplace la carga en cada arista a su vrtice derecho, cambie de sitio e la carga en cada cara (excepto la cara exterior) a su vrtice ms a la e a derecha. Cada vrtice (excepto el e vrtice situado ms a la izquierda) e a recibe las cargas de una sucesin en la que se alternan aristas y caras, o cancelando su carga inicial. Las unicas cargas que quedan sin cancelar son una carga positiva sobre la cara exterior y una carga positiva en el vrtice e ms a la izquierda. a Prueba 8: Suma de ngulos. a
44 peso atmico: 101.07 o punto de fusin: 2310C o punto de ebullicin: 4119C o
[Kr] 4d7 5s1
Ru
Rutenio
Esta prueba usa el hecho que el grafo planar formado por el poliedro puede considerarse inmerso para que todos las aristas formen segmentos de l neas rectas.
Sume los ngulos en cada cara de una l a nea recta del grafo (incluyendo la cara exterior); la suma de ngulos en un k-gono es (k 2), y cada arista a a contribuye con dos caras, as la suma total es (2A 2C). Ahora contemos los mismos ngulos de otra manera. Cada vrtice interior a e se rodea por tringulos y contribuye con un ngulo total de 2 la suma. a a Los vrtices sobre la cara exterior contribuyen 2((v)), donde denota e el ngulo exterior del pol a gono. El ngulo exterior de cualquier pol a gono es 2; as el ngulo total es 2V 4. , a Combinando estas dos frmulas y dividiendo por 2, vemos que V 2 = o A C, o equivalentemente V A + C = 2. Sommerville, atribuye esta prueba a Lhuilier y Steiner. Hilton y Pederson usan los ngulos de una manera similar a la relacin de la caracter a o stica de Euler de una supercie polidrica con su ngulo de defecto total. e a Prueba 9: Angulos esfricos. e La prueba por las sumas de los ngulos trabaja ms limpiamente en lo a a que se reere a las triangulaciones esfricas, principalmente porque en esta e formulacin no se distingue la cara exterior para causar complicaciones o en la prueba. Necesitamos el siguiente hecho bsico de la trigonometr esfrica: si nora a e malizamos el rea de la supercie de una esfera a 4, y miramos cualquier a tringulo denido por los grandes arcos de c a rculo en la esfera, la suma de los tres ngulos interiores es + a, donde a (el exceso del tringulo) es a a igual al rea de la supercie del tringulo (vase por ejemplo Wells, 1995, a a e pg. 238). a Para convertir nuestra pregunta en el poliedro a una de geometr esfrica, a e primero triangulemos el poliedro; cada nueva arista aumenta A y C en uno cada uno, para que V A + C quede inalterable. Ahora realice un experimento de luz similar al descrito al comienzo de la seccin: ubique la fuente de o iluminacin en un punto interior del poliedro, y ponga una pantalla esfrica o e fuera del poliedro que tiene la fuente de iluminacin como su centro. Las o sombras lanzadas en la pantalla por los bordes del poliedro formarn una a triangulacin esfrica. Puesto que cada arista est en dos tringulos y cada o e a a tringulo tiene tres aristas, 2A = 3C. a Sumemos ahora los ngulos de todos los tringulos; por la trigonometr a a a esfrica descrita arriba, la suma es (4 + C). Agregando los mismos ngulos e a de otra manera, por lo que se reere a los vrtices, da un total de 2V . e Puesto que estas dos sumas miden el mismo conjunto de ngulos, C = 2V 4 a y combinando esto con la otra ecuacin 2A = 3C da el resultado esperado. o Sommerville atribuye esta prueba a Legendre. Debido a sus conexiones con la topolog geomtrica, sta es la prueba usada por Weeks que tambin a e e e
[Kr] 4d8 5s1
Rh
Rodio 45 peso atmico: 102.9055 o punto de fusin: 1960C o punto de ebullicin: 3727C o
da una prueba elegante de la relacin ngulo esfrico-rea, basada en la o a e a inclusin-exclusin de cuas dobles en circulares. o o n La relacin Ak = 2(V A+C) en una supercie de curvatura constante o k, tal como la esfera, es una forma de la frmula de Gauss-Bonnet de la o geometr diferencial. a La prueba presentada, tiene la siguiente variante. Prueba 9: Angulos esfricos. e Usaremos el teorema de Girard y su extensin a los pol o gonos esfricos para e derivar y demostrar la famosa frmula de Euler. Vamos a comenzar sta o e como un teorema. Teorema. Sea P un poliedro convexo con vrtices V , A aristas y C caras, e entonces V A + C = 2. Comenzaremos la prueba escogiendo un punto C dentro de P . Dado que P es convexo, el segmento que une C a cualquier punto dentro del poliedro P , o sobre P mismo, queda enteramente dentro de P . Ahora escojamos un radio R tan grande que la esfera con centro C y radio R contenga el poliedro P . Apliquemos el poliedro sobre la esfera con una proyeccin central de C. Esto signica o que por cada punto sobre el poliedro, tomamos la l nea de C a travs e del punto y trazamos el punto de interseccin de esta l o nea con la esfera. Esto se ilustra en la gura de la izquierda. El poliedro original se indica en la red, y las l neas azules muestran cmo los vrtices se trazan sobre la o e esfera. Las l neas negras son la referencia de los grandes c rculos en la esfera y la prpura es la imagen del poliedro. u Una manera buena de visualizar la proyeccin central es considerar lo o que pasa si ponemos una luz en el centro de la esfera. Entonces el resultado de la proyeccin central es la sombra del poliedro en la esfera. o Es importante entender lo que pasa a una arista del poliedro bajo la proyeccin central. Una arista es un segmento de una l o nea. Esa l nea y el centro determinan un unico plano. El segmento de C a cualquier punto del borde queda completamente en este plano, y el plano corta la esfera en un gran c rculo. Por lo tanto, la imagen de una arista es un segmento
[Kr] 4d10
Pd
Paladio 46 peso atmico: 106.42 o punto de fusin: 1552C o punto de ebullicin: 2940C o
de un gran c rculo en la esfera. Esto signica que cada cara del poliedro se proyecta en un pol gono esfrico, e y el poliedro se proyecta hacia un poliedro esfrico que simplemente es e una imagen curvada del original. (En la gura sta es la conguracin pre o u pura). El poliedro esfrico tiene V e vrtices, A aristas y C caras, exactae mente como P . Adems, puesto que a el centro de la esfera fue escogido dentro de P , el poliedro esfrico cue bre la esfera entera. Por lo tanto, el poliedro esfrico es una divisin de e o la esfera en F pol gonos esfricos dise juntos que llamaremos Q1 , . . . , QF . La segunda gura muestra las marcas de la esfera determinadas por el poliedro en la primera gura. Apliquemos el teorema de Girard al pol gono Qi . Realmente, usaremos la extensin del teorema de Girard a los pol o gonos esfricos. Sea ei el nmero e u de lados de Qi . Entonces, la suma de los ngulos de Qi est dada por la a a expresin (ei 2) + rea(Qi )/R2 . o a Sumando esto sobre las caras obtenemos
F i=1 F F
suma de ngulos deQi = a
i=1
(ei 2) +
i=1
rea(Qi )/R2 a
Examinaremos cada uno de estas sumas. En cada caso, podremos encontrar la suma por las medias geomtrica. e Aunque parece muy complicado, la primera suma es simplemente la suma de todos los ngulos en el poliedro esfrico. Recordemos de nuevo a e la suma. En lugar de agruparse los ngulos por la cara a que pertenecen, a agrupmoslos por su vrtice. Puesto que el poliedro esfrico cubre la esfera, e e e en cualquier vrtice los ngulos de ese vrtice llenan 2 radianes enteros. As e a e , los ngulos en cada vrtice contribuyen 2 a la suma, y multiplicando por a e el nmero de vrtices, vemos que la primera suma es igual a 2V . u e Desdoblemos la segunda suma en dos sumandos.
F i=1 F F
[Kr] 4d10 5s1
Ag
Plata 47 peso atmico: 107.8682 o punto de fusin: 961C o punto de ebullicin: 2195C o
(ei 2) =
i=1
ei
2.
i=1
La primera suma es veces el nmero total de aristas de todas las caras. u
Note que cada arista del poliedro esfrico separa dos caras. Puesto que e estamos sumando sobre las caras, cada arista del poliedro est dos veces en a esta suma. Por consiguiente
F i=1
ei = 2E.
La segunda suma simplemente es

F
2 = 2F.
i=1
Finalmente, puesto que los pol gonos son disjuntos y cubren la esfera entera, tenemos
F i=1
rea(Qi )/R2 = rea(S)/R2 = 4. a a
Reuniendo todo esto conseguimos 2V = 2E 2F + 4. Dividiendo por 2 y reordenando, obtenemos la frmula de Euler: o V A + C = 2. Prueba 10: El teorema de Pick. Hemos convertido nuestra prueba de suma de ngulos a la trigonometr a a esfrica, y en el proceso hemos obtenido las frmulas en trminos de la suma e o e de reas de las caras. Ahora examinaremos frmulas similares para sumas a o de reas en la geometr plana, siguiendo una sugerencia de Wells. a a La herramienta bsica aqu es el teorema de Pick17 : en cualquier pol a gono P dibujado para que sus vrtices estn en los puntos (x, y) donde x e y son e e ambos enteros, el rea de P puede expresarse como N + B/2 1, donde a N es el nmero entero de los puntos interiores y B es el nmero entero u u de puntos frontera (aristas) y vrtices de P . Esto puede demostrarse de e varias maneras, por ejemplo, escogiendo una l nea horizontal L que pasa por debajo del pol gono y dividiendo el rea del pol a gono en la suma de las a reas de los trapezoides de L a cada arista. Estas pruebas no requieren la frmula de Euler, as que no hay ningn peligro de razonamiento circular. o u
17 El
[Kr] 4d10 5s2
Cd
Cadmio 48 peso atmico: 112.411 o punto de fusin: 320.8C o punto de ebullicin: 770C o
teorema de Pick, enviado para su publicacin. o
Primero dibuje el grafo planar que corresponde al pol gono, con las aristas como segmento de l nea recta. Es posible escoger un radio sucientemente pequeo, r, tal que si movemos cada vrtice en alguna parte dentro de un n e c rculo de dicho radio centrado en su posicin original, el grafo resultante o seguir siendo plano; ampl el grafo para que r = 1. Entonces mueva cada a e vrtice al vrtice del entero ms cercano; el resultado es un grafo planar e e a equivalente dibujado en el enrejado. La cara exterior del grco se cubre precisamente una vez por las caras a restantes, as la suma de las reas de las caras restantes debe igualar el , a a rea de la cara exterior. Esta suma de reas es, por el teorema de Pick, a I + X + B/2 + S/2 (F 1), donde I es el nmero de los puntos interiores u a una de las caras, X es el nmero de puntos en un borde interior (cada uno u de los cuales cuenta 1/2 en cada una de dos caras), S es la suma (en todos los vrtices) del nmero de caras interiores a las que el vrtice pertenece, e u e y el trmino (F 1) resulta de agregar el trmino 1 en cada una de las e e F 1 aplicaciones del teorema de Pick. Un vrtice interior al grafo contribuye con un trmino S igual a su grado, e e considerando que un vrtice en la cara exterior contribuye slo con su grado e o menos 1. Por consiguiente, S = 2EK, donde K es el nmero de vrtices en u e la cara exterior. Adems, por el teorema de Pick, el rea de la cara exterior a a es (I + X + V K) + (B + K)/2 1. Combinando las dos ecuaciones anteriores nos da el resultado esperado. Desafortunadamente, el teorema de Pick no se generaliza a dimensiones superiores, por lo que este acercamiento es improbable que pueda trabajar para demostrar variantes de la frmula de Euler en dimensiones superiores. o Prueba 11: Descomposicin del asa. o Prueba 12: Descascarando. Prueba 13: Quitando el tringulo. a Esta prueba es solamente una variacin de la de descascarar, pero est o a incluida aqu por su importancia histrica, la us Cauchy y la examin o o o profundamente Lakatos. Comencemos con un grafo planar convexo dibujado de las aristas del poliedro. Si hay una cara no-triangular, agreguemos una diagonal a la cara, dividindola en dos y agregando uno a los nmeros de aristas y caras; el e u resultado se sigue entonces por induccin. o Suponga que tenemos cualquier grafo planar con todas las caras interiores triangulares, con por lo menos dos caras as y con la propiedad adicional , de que uno puede unir cualquier punto interior a cualquier otro por un camino que evite el l mite de la cara exterior del grafo. (La triangulacin o
[Kr] 4d10 5s2 5p1
In
Indio 49 peso atmico: 114.82 o punto de fusin: 156.61C o punto de ebullicin: 2080C o
del dibujo convexo de nuestro poliedro claramente satisface estas propiedades.) Entonces, existen siempre por lo menos dos tringulos que tienen a los bordes en este l mite, tal que al quitar uno cualquiera de los dos deja un solo tringulo o un grafo menor del mismo tipo; esto puede demostrarse a por induccin sobre el nmero de tringulos, para el caso en que si algn o u a u tringulo del l a mite desconecta los puntos interiores, los dos componentes desconectados en sus dos bordes del no-l mite o deben ser slo los tringulos o a (los cuales son suprimibles) o tiene (por induccin) dos tringulos fronteras o a trasladables, con por lo menos uno de los cuales ser trasladable en el grafo a global. Por lo tanto, quite los tringulos l a mite uno por uno; en cada paso quitamos o una arista o una cara, o dos aristas, una cara y un vrtice. En todos e los casos V A + C permanece inalterable. Finalmente, obtenemos un grafo formado por un solo tringulo en el cual V A + C = 3 3 + 2 = 2. a El anlisis en versiones multidimensionales de esta prueba se relaciona a estrechamente con el teorema de Radn, en el que cualquier punto d + 2 o puede dividirse en dos subconjuntos con cscaras convexas y arrojar los a algoritmos basados en construir triangulaciones de Delaunay y cscaras a convexas. Prueba 14: El arca de No. e Prueba 15: Homolog binaria. a Prueba 16: Particin espacial binaria. o Prueba 17: Valoraciones. Helena Verrill ha mostrado que la frmula de Euler es equivalente al hecho o de que cada variedad terica sobre GF [p] posee un nmero de puntos igual o u a 1(mod p), pero todav no se tiene una buena prueba no-combinatoria de a este ultimo hecho. Ser posible construir las inducciones basadas en la representacin de a o poliedros convexos como las intersecciones de semiespacios o cscaras cona vexas de puntos, pero la necesidad de ocuparse de entradas en posiciones no generales har las pruebas resultantes bastante desprolijas. a Tambin parece haber una conexin potencial con los binomios: si uno e o dene un polinomio p(t) = 1 + V t + Et2 + F t3 + t4 , la frmula de Euler o puede interpretarse armando que p(t) es divisible por 1 + t. Pero para simplex de cualquier dimensin, p(t) = (1 + t)d+1 por la frmula del bio o nomio. Quizs exista una prueba de la frmula de Euler que utilice estos a o polinomios directamente, en lugar de convertir cada una de las inducciones a una forma polinmica. Jim Propp se pregunta cuestiones similares o
[Kr] 4d10 5s2 5p2
Sn
Estao n 50 peso atmico: 118.71 o punto de fusin: 232C o punto de ebullicin: 2623C o
para politopos innito-dimensionales, interpretando p(t) como una serie de potencias. Ejercicio 4.
1 ) Para un poliedro dado, sea Ci el nmero de caras i-gonos. Entonces 3C3 + 4C4 + = u a 2A. 2 ) Para un poliedro dado, sea Vi el nmero de vrtices que estn sobre i las (vrtices u e a e i-valentes). Entonces 3V3 + 4V4 + = 2A. 3 ) (2V3 + 2V4 + ) (C3 + 2C4 + 3C5 + ) = 4. 4 ) (2C3 + 2C4 + ) (V3 + 2V4 + 3V5 + ) = 4.
Referencias
[1] Bishop y Goldberg, Tensor Analysis on Manifolds, Dover, 1980.

Prueba la frmula p1 p2 + p3 = 2, donde el valor pi denota el nmero de m o u nimos locales, sillas y mximo locales sobre una supercie esfrica. a e
[2] Bondy, J. A. y U. S. R. Murty, Graph Theory with Applications, Elsevier, 1976.

Usa la induccin sobre las caras. o
[3] Euler, L., Elementa doctrinae solidorum. Demonstratio nonnullarum insignium proprietatum, quibus solida hedris planis inclusa sunt praedita, Novi comment acad. sc. imp. Petropol. 4 3, 1752, pp. 109, 140 y 160. [4] Hadamard, J., Elementary Geometry.
De acuerdo a Alex Bogomolny, la traduccin rusa de 1958 contiene la prueba divide o y vencers. a
[5] Henle, A Combinatorial Approach to Topology, Freeman, 1979.

[Kr] 4d10 5s2 5p3
Este libro se utiliza en cursos de topolog de grado. Presenta una historia de la a frmula de Euler, la cual sigue el folklore comn (errneamente, atribuido a Malo u o kevitch) en el cual sta es atribuida a Descartes, y no clarica la prueba Henle e presenta la prueba de quitar el tringulo sin mencionar los requerimientos necesarios a de cmo encontrar una tal sucesin. o o
Sb
Antimonio 51 peso atmico: 121.757 o punto de fusin: 630.7C o punto de ebullicin: 1635C o
[6] Hilton y Pederson, The Euler Characteristic and Plyas Dream, o Amer. Math. Monthly 103, 1996, pp. 121131.
Este art culo proporciona alguna especulacin de cmo Euler pudo haber encontrado o o su frmula, relacionndolo a las teor de Plya de descubrimiento matemtico. o a as o a Tambin contiene una prueba de la equivalencia entre la caracter e stica de Euler y el ngulo de deciencia total, estrechamente relacionada a la prueba de la suma de a ngulos presentada aqu a .
[7] Klain, D. A., y G.-C. Rota, Introduction to Geometric Probability, Lezioni Lincee, Cambridge University Press, 1997.
Muestra que la caracter stica de Euler puede verse (e.g., junto con el volumen y rea a de una supercie) como uno de los fundamentales invariantes ante funciones sobre uniones de conjuntos convexos. La prueba est en la seccin 5.2; las otras secciones a o importantes relacionadas con la caracter stica de Euler son la seccin 3.2 (mostrando o que la caracter stica se dene bien para los simpliciales complejos) y la seccin 7.3 o (generalizando la frmula de Euler a otros volmenes intr o u nsecos).
[8] Lakatos, I., Proofs and Refutations: The Logic of Mathematical Discovery, Cambridge, 1976. (Existe la traduccin al espaol: Pruebas y o n refutaciones. La lgica del descubrimiento matemtico, Alianza Editoo a rial, Madrid, 1986.)
Utiliza la prueba de supresin de tringulos de la frmula de Euler como un ejemplo o a o importante para una investigacin de qu signica una prueba matemticos. Tambin o e a e describe una prueba basada en la teor de la homolog binaria. a a
[9] Legendre, M., Elements de gomtrie, Par 1794. e e s,

Acreditado por Sommerville como fuente de la prueba para la suma de ngulos a esfricos. e
[10] Lhuilier, S. A. J., Mmoir sur la polydromtrie, contenant une dmone e e e stration directe du thor`me dEuler sur les poly`dres, et un examen e e e de diverses exceptions auxquelles ce thor`me est assujetti, Gergonne e e Ann. Math. 3, 1812, pg. 169. a
Acreditado por Sommerville como fuente compartida (con Steiner) de la prueba para la suma de ngulos. a
[Kr] 4d10 5s2 5p4
Te
Telurio 52 peso atmico: 127.6 o punto de fusin: 450C o punto de ebullicin: 990C o
[11] Lint, J. H. van y R. M. Wilson, A Course in Combinatorics, Cambridge, 1992.

Demuestra la frmula de Euler v induccin en las aristas. Tambin mencionan, o a o e pero no demuestran, una generalizacin a pol o topos de dimensiones ms altas en su a seccin sobre la inversin de Mbius. o o o
[12] Malkevitch, J., The First Proof of Eulers Formula, Mitteilungen aus
dem Mathem. Seminar Giessen, Heft 165, Teil III (Coxeter, Festschrift), pp. 7782.
Describe la historia temprana de la frmula, incluyendo su descubrimiento por Euo ler y la prueba por Legendre, refutando la teor folklrica en que la frmula fue a o o descubierta, en cambio, por Descartes, y fue demostrada por Hirsch.
[13] Sommerville, D. M. Y., An Introduction to the Geometry of N Dimensions, Dover, 1958.

Incluye un cap tulo sobre la frmula de Euler incluyendo las pruebas descascarando, o suma de ngulos, suma esfrica de ngulos y rboles entrelazados. a e a a
[14] Steiner, J., Leichter Beweis eines stereometrischen Satzes von Euler, Crelle J. 1, 1826, pp. 364367.
Acreditado por Sommerville como fuente compartida (con Lhuilier) de la prueba por suma de ngulos. a
[15] Thurston, W. P., The Geometry and Topology of Three-Dimensional Manifolds.

Estas notas inditas (se distribuy como contribucin dentro de la comunidad de la e o o topolog incluyen una prueba de la frmula de Euler basada en la carga elctrica. a) o e
[16] Von Staudt, G. K. C., Geometrie der Lage, Nrnberg, 1847. u

Acreditado por Sommerville como fuente de la prueba rboles entrelazados. a
[17] Tverberg, H., How to Cut a Convex Polytope into Simplices, Geometriae Dedicata 3 (2), 1974, pp. 239240.
Demuestra que cualquier pol topo puede cortarse en simpliciales por una particin o espacial binaria y usar esto como la base para una prueba de la frmula de Euler. o
[18] Semanas, J., The Shape of Space: How to Visualize Surfaces and ThreeDimensional Manifolds, Dekker, 1985.
[Kr] 4d10 5s2 5p5
Demuestra la frmula del exceso de rea para esferas y usa sta en la prueba de la o a e suma esfrica de ngulos de la frmula de Euler. e a o
[19] Wells, D., The Penguin Dictionary of Curious and Interesting Geometry, Penguin, 1991.
Incluye una descripcin de la propiedad del exceso de rea de la trigonometr esfrica o a a e usada en la prueba de la suma esfrica de ngulos, as como una pequea mencin e a n o
I
Yodo 53 peso atmico: 126.90447 o punto de fusin: 113.6C o punto de ebullicin: 184.5C o
de que el teorema de Pick es equivalente a la frmula de Euler. Curiosamente, no o hay ninguna seccin para la frmula de Euler propiamente dicha. o o
[20] Ziegler, G., Lectures on Polytopes, Springer, 1995.

Presenta una prueba de la frmula de Euler basada en el descascarado, que evita o anlisis de casos y se extiende sin dicultad a cualquier pol a topo convexo de dimensiones mayores.
La siguiente es una lista, muy interesante, de lecturas adicionales: [1] Chen, On the Euler Characteristic of Finite Unions of Convex Sets, Disc. Comput. Geom. 10, 1993, pp. 7993.
La caracter stica de Euler desempea un papel importante en muchos temas de man temtica discreta y continua. Para espacios no-compactos, su denicin homolgica, a o o siendo un invariante de homotop no parece tan importante como su papel para a, los espacios compactos. Sin embargo, su denicin combinatoria, como una medida o nitamente aditiva, demuestra ser ms aplicable en el estudio de espacios singulares a tales como conjuntos nitamente semialgebraicos, conjuntos subanal ticos, etc. El autor introduce una integral interesante por medio de la cual la caracter stica de Euler combinatorial puede denirse sin la necesidad de descomposicin y extensin como o o en el tratamiento tradicional para los poliedros y las uniones nitas de conjuntos compactos convexos. Subsecuentemente, las uniones nitas de conjuntos convexos cerrados no pueden ser obtenidas cortando conjuntos convexos como en el caso del poliedro, un tratamiento separado de la caracter stica de Euler para funciones generadas por funciones indicador de conjuntos convexos cerrados y conjuntos convexos relativamente abiertos es necesario, y esto forma el contenido de este art culo.
[2] Levitt, The Euler Characteristic is the Unique Locally Determined Numerical Homotopy Invariant of Finite Complexes, Disc. Comput. Geom. 7, 1992, pp. 5967.
El autor muestra que si un invariante homotpico numrico de simpliciales complejos o e nitos tiene una frmula local, entonces, a la multiplicacin por una constante obvia, o o el invariante es la caracter stica de Euler. Es ms, la propia caracter a stica de Euler tiene una unica frmula local. o
[Kr] 4d10 5s2 5p6
Xe
Xenn o 54 peso atmico: 131.29 o punto de fusin: -111.8C o punto de ebullicin: -108.09C o
[3] Rocek y Williams, On the Euler Characteristic of Piecewise Linear Manifolds, Phys. Lett. B 273, 1991, pp. 9599.
Las relaciones de Dehn-Sommerville y las ecuaciones correspondientes para las sumas de ngulos son usadas para derivar dos expresiones para la Caracter a stica de Euler de una variedad simplicial, primeramente en trminos de los nmeros de sube u simpliciales innito dimensional, y segundo en trminos del ngulo de deciencia e a innito-dimensionales. En cada caso se relacionan los coecientes involucrados con los nmeros de Bernoulli. u
[4] Peter Hilton y Jean Pedersen, Eulers Theorem for Polyhedra: A Topologist and Geometer Respond, comentario a: Grunbaum, B., y G. C. Shephard, A New Look at Eulers Theorem for Polyhedra, Amer. Math. Monthly 101 2 (1994), pp. 109128 [MR 95c:52032]. Con una respuesta por Grunbaum y Shephard: Amer. Math. Monthly 101 10 (1994), pp. 959962. [5] Krzysztof Przeslawski, Linear Algebra of Convex Sets and the Euler Characteristic, Linear and Multilinear Algebra 31 14 (1992), pp. 153 191. [6] G. Thomas Sallee, Eulers Relation and Where It Led, Convexidad y Geometr Combinatorial Relacionada, Norman, Okla., 1980, pp. 45 a 55. Lecture Notes in Pure and Appl. Math. 76, Dekker, Nueva York, 1982. [7] R. Courant and H. Robbins, What is Mathematics?, Oxford University Press, 1996. [8] H.S.M. Coxeter, Regular Polytopes, Dover Publications, Nueva York, 1973. [9] H.S.M. Coxeter, Introduction to Geometry, John Wiley & Sons, Nueva York, 1961. [10] M. Henle, A Combinatorial Introduction to Topology, Dover Publications, Nueva York, 1994. [11] D. Hilbert y S.Cohn-Vossen, Geometry and Imagination, Chelsea Publishing Co., Nueva York, 1990. [12] D. Wells, You are a Mathematician, John Wiley & Sons, 1995.
Anexo El teorema de la curva de Jordan
El teorema de la curva de Jordan es decepcionantemente simple: Teorema de la curva de Jordan. Cualquier curva cerrada simple continua en el plano, separa el plano en dos regiones disjuntas, el interior y el exterior. Durante mucho tiempo este resultado fue considerado tan obvio que nadie se molest en demostrar el teorema. El resultado se declar primero como un o o teorema en el famoso libro de texto de Camille Jordan (18381922), Cours dAnalyze de lEcole Polytechnique en 1887, y por tanto lleva su nombre. Jordan encontr que demostrar este teorema no es de ninguna manera fcil, o a
[Xe] 6s1
Cs
Cesio 55 peso atmico: 132.90543 o punto de fusin: 28.4C o punto de ebullicin: 674.8C o
y de hecho la prueba que l brind en su libro de texto est completamente e o a equivocada. El teorema es de hecho obvio para las curvas suaves18 y no demasiado dif para las curvas lisas a tramos. Sin embargo, este acercamiento no es cil vlido para curvas cerradas simples no suaves en ninguna parte como el copo a de nieve de van Koch mostrado aqu . La primera prueba correcta del teorema de la curva de Jordan fue dada por Oswald Veblen en 1905. Sin embargo, su prueba dej abierta la pregunta de o cuando el interior y exterior de tales curvas son homeomrcas al interior y exterior del c o rculo normal en el plano (i.e., la unidad de los nmeros compleu jos). Esta versin fuerte del teorema de la curva de o Jordan fue probada por A. Schnies en 1906. (Su o prueba tuvo algunos errores que fueron sealados n por L. E. J. Brouwer en 1909.) Teorema de la curva de Jordan-Schnies. Para cualquier curva cerrada o simple en el plano, hay un homeomorsmo del plano que transforma la curva en el c rculo normal. Brouwer consider entonces anlogos en dimensiones ms altas de esta o a a pregunta. En 1912 l mostr: e o Teorema de la separacin o de Jordan-Brouwer. Cualquier inmersin de la esfera o (n1)-dimensional en un espacio euclidiano n-dimensional separa el espacio euclidiano en dos regiones disjuntas. Brouwer fue incapaz de demostrar el anlogo del teorea ma de Jordan-Schnies que o el interior y fuera de semejante esfera fuera homeomro co al interior y exterior de la esfera normal en el espacio euclidiano (i.e., la esfera de vectores unitarios). En 1921, J. W. Alexander anunci que o l ten una prueba de este resultado. Sin embargo, antes de que publie a cara su art culo, descubri un error en su prueba. Entonces, en 1924 deso
18 Los textos de clculos elementales normales muestran cmo calcular el vector normal exterior a a o semejante curva.
[Xe] 6s2
Ba
Bario 56 peso atmico: 137.327 o punto de fusin: 726.9C o punto de ebullicin: 1845C o
cubri un contraejemplo al anlogo del teorema de Jordan-Schnies en o a o 3-dimensiones, el que lleg a ser conocido como La esfera astada de Aleo xander : el exterior de la esfera astada simplemente no se conecta, es diferente el exterior de la esfera normal: una vuelta alrededor de uno de los cuernos de la esfera astada no puede deformarse continuamente a un punto sin atravesar la esfera astada. En 1948 R. H. Fox y E. Artin dieron los ejemplos ms simples de ina mersin de esferas no-estndar en el espacio euclidiano de 3-dimensiones: o a
as como los arcos:
[Xe] 5d1 6s2
La
Lantano 57 peso atmico: 138.9055 o punto de fusin: 920C o punto de ebullicin: 3420C o

La Formula Euler

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

La Formula Euler

Uploaded by

Copyright:

Available Formats

Divulgacin o

La frmula de Euler y la o topolog a

UTN-FRR French 314, 3500 Resistencia, Chaco, Argentina.

recibido: abril de 2002 aceptado: agosto de 2002

[Ne] 3s2 3p4

LA FORMULA DE EULER Y LA TOPOLOG IA

[Ne] 3s2 3p5

[Ne] 3s2 3p6

LA FORMULA DE EULER Y LA TOPOLOG IA

17251734 17351744 17451754 17551764 17651774 17751783

35 50 150 110 145 270

LA FORMULA DE EULER Y LA TOPOLOG IA

[Ar] 3d1 4s2

De donde lleg a la siguiente propiedad: o

LA FORMULA DE EULER Y LA TOPOLOG IA

[Ar] 3d3 4s2

(nmero de caras) (nmero de aristas) u u +(nmero de vrtices) = 2n 3n + (n + 2) = 2. u e

[Ar] 3d5 4s1

LA FORMULA DE EULER Y LA TOPOLOG IA

2. La demostracion de Legendre de la Formula de Euler para una esfera

[Ar] 3d5 4s2

3. La Formula de Euler para un pol gono cerrado simple

LA FORMULA DE EULER Y LA TOPOLOG IA

[Ar] 3d7 4s2

(T + N ) (A + N ) + (V + 1) = 2, y esto da la Frmula de Euler para el pol o gono, a saber T E + V = 1.

4. La Formula de Euler con caras poligonales en cualquier superficie

[Ar] 3d8 4s2

LA FORMULA DE EULER Y LA TOPOLOG IA

5. La Formula de Euler para un pol gono con agujeros

6. La Formula de Euler para un tubo cuadrado

[Ar] 3d10 4s1

7. El angulo de deficiencia de un poliedro

[Ar] 3d10 4s2

LA FORMULA DE EULER Y LA TOPOLOG IA

[Ar] 3d10 4s2 4p1

LA FORMULA DE EULER Y LA TOPOLOG IA

9. Clasificacion de los poliedros regulares y semiregulares

[Ar] 3d10 4s2 4p3

[Ar] 3d10 4s2 4p4

qu menos que 4? e qu? e

LA FORMULA DE EULER Y LA TOPOLOG IA

Forma del vrtice e

ngulo a total de deciencia

Tetraedro Octaedro Icosaedro Cubo Dodecaedro

333 3333 33333 444 555

[Ar] 3d10 4s2 4p5

Tetraedro Octaedro Icosaedro Cubo Dodecaedro

333 3333 33333 444 555

720 720 720 720 720

[Ar] 3d10 4s2 4p6

LA FORMULA DE EULER Y LA TOPOLOG IA

366 Ahora pasamos por los siguientes pasos:

333 444 3333 555 33333

6 12 12 30 30 18 36 36 90 90 24 60 150 48 180 120 72 60

LA FORMULA DE EULER Y LA TOPOLOG IA

Los 5 slidos platnicos: cubo, tetraedro, dodecaedro, icosaedro y octaedro. o o

10. Dieciocho pruebas de la Formula de Euler15 : V A + C = 2

[Kr] 4d2 5s2

LA FORMULA DE EULER Y LA TOPOLOG IA

[Kr] 4d4 5s1

LA FORMULA DE EULER Y LA TOPOLOG IA

[Kr] 4d5 5s2

[Kr] 4d7 5s1