Talento Matemtico GRAFOS III

8/02/03

La frmula de Euler establece que, en un poliedro convexo, el nmero de caras ms el nmeros de vrtices es igual al nmero de aristas ms dos. Llamando C al nmero de caras, V al de vrtices y A al de aristas se tiene que: C+V=A+2 Las consecuencias ms importantes del teorema de Euler son: 1) No puede existir un poliedro convexo con menos de seis aristas, cuatro caras y cuatro vrtices. 2) Slo existen cinco poliedros convexos cuyas caras sean polgonos de igual nmero de lados y cuyos ngulos poliedros tengan entre s el mismo nmero de aristas y que son: tetraedro, octaedro, icosaedro, hexaedro y dodecaedro. 3) La suma de todas las caras de un poliedro convexo es igual a tantas veces cuatro rectos como el nmero de vrtices que tiene menos dos. Piensa en el cubo, se cumple la frmula?

El Teorema de Euler Definicin: Si un grafo se puede dibujar de modo que no se corten sus lados (aristas) excepto en los vrtices se dice que es un grafo plano.

El grafo de la figura es un grafo plano, porque aunque en la figura de la izquierda, las aristas se cortan en puntos distintos de los vrtices, se puede encontrar un grafo isomorfo a l, el de la derecha, en el que las aristas no se cortan. Cuando est as dibujado, diremos que est representado apropiadamente. Un grafo plano, apropiadamente representado divide al plano en distintas regiones llamadas caras. Si se denota el nmero de caras por C, el nmero de vrtices por V y el nmero de lados por A, en la figura se tiene que C = 4, V = 4 y A = 6. Teorema de Euler: En todo grafo conexo y plano que est apropiadamente representado se verifica que el nmero de caras ms el de vrtices menos el de aristas vale 2. Es decir C A + V = 2.

Talento Matemtico GRAFOS III

8/02/03

Prueba Para probar el teorema usamos el mismo razonamiento que ya empleamos en el problema de la red de volleyball: dado un grafo conexo y plano, como el de la figura, suprimimos lados hasta tener un rbol. En el proceso, el nmero de vrtices permanece invariable, mientras que el nmero de lados disminuye de uno en uno mientras los vamos eliminando. Pero el nmero de caras tambin va disminuyendo de uno en uno. Fjate que por cada lado que se elimina, dos caras se convierten en una. Entonces, la cantidad C A + V permanece invariante en todo el proceso. Claro que para un rbol ya sabemos que el nmero de vrtices excede al de lados en uno, es decir V A = 1, y como en un rbol hay una sola cara, V A + C = 1 + 1 = 2. Y como ya se ha visto que para todos los grafos del proceso de eliminacin de lados, incluido el grafo original, la cantidad C A + V permanece invariante, se tiene la famosa frmula de Euler: C A + V = 2.

Talento Matemtico GRAFOS III

8/02/03

Problema 1 En la ciudad de los lagos hay 7 lagos conectados por 10 canales, de modo que se puede navegar desde un lago hasta otro cualquiera a travs de ellos. Cuntas islas hay en la ciudad de los lagos? Problema 2 En el interior de un cuadrado marcamos 20 puntos y los unimos entre s y con los vrtices del cuadrado mediante segmentos de modo que estos no se corten. As el cuadrado ha quedado dividido en tringulos. Cuntos tringulos han quedado dibujados? Problema 3 Prueba que para un grafo plano, 2A 3C . Problema 4 Prueba que para un grafo conexo y plano A 3 V 6 . Problema 5 Prueba que para todo grafo plano, aunque no sea conexo, se cumple A 3 V 6 . Problema 6 Se pueden construir tres casas y tres pozos de modo que haya caminos desde cada casa hasta cada pozo sin que los caminos se crucen? Problema 7 Prueba que el grafo completo de orden 5 no es plano. Problema 8 Eres capaz de abatir un tetraedro a un plano de modo que se vea que el nmero de caras ms el de vrtices menos el de aristas es igual a 2? Y con un hexaedro? Y qu me dices del octaedro? Lo del dodecaedro e icosaedro te lo dejo para que te rompas la cabeza durante toda la semana.

Talento Matemtico GRAFOS III

8/02/03

Serie de Taylor
En matemticas, la serie de Taylor de una funcin f(x) infinitamente derivable (real o compleja) definida en un intervalo abierto (a-r, a+r) se define como la siguiente suma:

Aqu, n! es el factorial de n y f (n)(a) indica la n-sima derivada de f en el punto a. Si esta serie converge para todo x perteneciente al intervalo (a-r, a+r) y la suma es igual a f(x), entonces la funcin f(x) se llama analtica. Para comprobar si la serie converge a f(x), se suele utilizar una estimacin del resto del teorema de Taylor. Una funcin es analtica si y solo si se puede representar con una serie de potencias; los coeficientes de esa serie son necesariamente los determinados en la frmula de la serie de Taylor. Si a = 0, a la serie se le llama serie de Maclaurin. Esta representacin tiene tres ventajas importantes:

La derivacin e integracin de una de estas series se puede realizar trmino a trmino, que resultan operaciones triviales. Se puede utilizar para calcular valores aproximados de la funcin. Es posible demostrar que, si es viable la transformacin de una funcin a una serie de Taylor, es la ptima aproximacin posible.

Algunas funciones no se pueden escribir como serie de Taylor porque tienen alguna singularidad. En estos casos normalmente se puede conseguir un desarrollo en serie utilizando potencias negativas de x (vase Serie de Laurent. Por ejemplo f(x) = exp(1/x) se puede desarrollar como serie de Laurent. Definicin La serie de Taylor de una funcin f de nmeros reales o complejos que es infinitamente diferenciable en un entorno de nmeros reales o complejos a, es la serie de potencias

que puede ser escrito de una manera ms compacta como

Talento Matemtico GRAFOS III

8/02/03

donde n! es el factorial de n y f (n)(a) denota la n-sima derivada de f en el punto a; la derivada cero de f es definida como la propia f y (x a)0 y 0! son ambos definidos como uno. Series a serie de Taylor de a verdadero o complejo funcin f(x) que es infinitamente diferenciable en a vecindad de a verdadero o complejo nmero a, es serie de energa cul en una forma ms compacta se puede escribir como donde n! es factorial de n y f (n)(a) denota nth derivado de f evaluado en el punto a; el derivado del zeroth de f se define para ser f s mismo y (x a)0 y 0! son ambos definidos para ser 1. A menudo f(x) es igual a su serie de Taylor evaluada en x para todos x suficientemente cerca de a. sta es la razn principal por la que las series de Taylor son importantes. En el caso particular donde a = 0, la serie tambin se llama una serie de Maclaurin.