CURVAS COMO L IMITES DE POL IGONOS

CARLOS J. RODR IGUEZ B. Resumen. La desigualdad isoperim etrica, la desigualdad de Cauchy-Crofton y el teorema de los cuatro v ertices son tres teoremas cl asicos sobre curvas planas, ver por ejemplo, [1]. De todas las curvas planas continuas los pol gonos son las curvas m as sencillas; tanto que son l as u nicas curvas planas que podemos dibujar con exactitud. Adem as, cada curva continua es el l mite uniforme de una sucesi on de pol gonos. Los pol gonos son a las curvas como los racionales son a los reales. Resulta, pues, natural pretender entender las curvas continuas a trav es de los pol gonos. El prop osito de este trabajo es estudiar la desigualdad isoperim etrica y el teorema de los cuatro v ertices desde esta perspectiva. La prueba cl asica de la desigualdad de CauchyCrofton fue concebida ya desde esta perspectiva. Complementamos el trabajo con una aplicaci on de estas ideas presentando una nueva prueba geom etrica de la desigualdad de Wirtinger, un prueba muy elemental.

1 1. Introducci on 2. Al menos cuatro v ertices 2.1. Pol gonos 2.2. Curvas suaves 2.3. La primera prueba 2.4. La segunda prueba 3. Desigualdad isoperim etrica 3.1. Notaci on 3.2. Una f ormula para el inradio 3.3. Pol gonos umb licos 3.4. El teorema principal

2 3 4 5 8 9 11 11 12 12 13

Date : Septiembre 12 del 2005. Key words and phrases. Teorema de los cuatro v ertices, Desigualdad isoperim etrica. Muchas gracias al Profesor Agust n Revent os Tarrida por su orientaci on en la redacci on de este trabajo.
1

Carlos J. Rodrguez B.

3.5. La desigualdad para pol gonos 3.6. Una comparaci on con geometr a integral 3.7. Curvas en general 3.8. Comentarios 4. La desigualdad de Wirtinger 5. Conclusiones. 6. Ap endices 6.1. Un lema t ecnico 6.2. Otro lema t ecnico 6.3. Curvatura en pol gonos 6.4. Ap endice 6.5. Wirtinger para pol gonos Referencias

14 15 16 16 17 18 19 19 20 21 24 24 26

Indice 1. n Introduccio

Pasamos a describir las secciones en que est a dividido este trabajo. Al menos cuatro v ertices. Un v ertice de una curva regular plana es un punto de la curva donde la curvatura alcanza un m aximo o un m nimo local. En 1909 Mukhopadhaya prob o que cualquier ovalo (curva regular cerrada y convexa) tiene cuatro o m as v ertices. En este trabajo formularemos y probaremos un teorema de los cuatro v ertices para pol gonos cerrados convexos. Como cada curva regular convexa es el l mite de una sucesi on de pol gonos convexos, deduciremos por un paso al l mite el Teorema de los Cuatro V ertices para curvas regulares. El teorema para pol gonos convexos es consecuencia de resultados elementales de geometr a euclideana. Daremos dos nuevas pruebas inspiradas en la demostracci on del teorema para curvas regulares que aparece en [6] y en el libro [7]. La desigualdad isoperim etrica. En este trabajo probaremos que kn r2 Lr + A 0 ; donde L es la longitud de un n- agono convexo en el plano, A su area, r es su radio interior o inradio (ver denici on abajo) y kn es el a rea del n- agono regular de apotema 1. De esta desigualdad se deducir a que el n- agono regular es el u nico n- agono de a rea m axima entre los de per metro dado. Usando un paso al l m te como en la secci on anterior se da una nueva prueba de la desigualdad isoperim etrica cl asica en el plano.

CURVAS COMO L IMITES DE POL IGONOS

La desigualdad de Wirtiguer. En esta secci on damos una lectura diferente, usando [3], de la preciosa relaci on entre la evoluta de una curva y la curvatura total del radio de curvatura encontrada en [2]. Esta lectura nos conduce a una nueva prueba geom etrica y elemental de la desigualdad cl asica de Wirtinger. Opina el autor de esta observaci on que es la prueba m as elemental que conoce de ella. En el cl asico Lecture Note 1000 de la Springer [5](p. 52), Hopf reclama por una prueba m as elemental de esta desigualdad b asica y da una prueba que es m as elemental que la prueba cl asica. Esta u ltima, debida a Hurwitz, se basa en la identidad de Parseval que relaciona la morma L2 de una funci on peri odica cuadrado integrable con la norma l2 de la serie Fourier de la misma funci on; para esta u ltima prueba ve ase, por ejemplo [10] o [4]. La prueba que presentamos constituye, adem as, un ejemplo elemental de an alisis geom etrico. Conlusiones. En esta secci on comentaremos la extensi on de estas ideas a supercies como l mites de poliedros. Ap endices. Por u ltimo, hemos dejado para los Ap endices los detalles, todos ellos elementales, de algunas armaciones que si demostracci on hemos hecho a las primeras secciones. 2. rtices Al menos cuatro ve

Del Teorema de los Cuatro V ertices se han dado diversas pruebas. La original de Mukhopadhaya es de 1909 y la m as reciente la de Tabachnikov [9] en el American Mathematical Monthly es de 1995. En 1985, en [6] de la misma revista, Osserman lo di o como corolario de un resultado m as general para curvas no necesariamente convexas. En el curso de Geometr a Integral del a no 2003, en la Universidad Aut onoma de Barcelona, el Profesor Revent os explic o una prueba muy bonita incluida en el libro que Santal o escribi o con Rey Pastor sobre geometr a integral de dimensiones dos y tres [7]. Motivado por esta prueba y por la idea de entender el Teorema de los Cuatro V ertices en pol gonos surgi o esta nueva prueba. La nueva prueba es en esencia reformulaci on de las ideas de Santal o y Rey Pastor en el contexto de las curvas poligonales. En esta secci on formularemos y probaremos un teorema de los cuatro v ertices para pol gonos cerrados convexos. Como cada curva regular convexa es el l mite de una sucesi on de pol gonos convexos, deduciremos por un paso al l mite el Teorema de los Cuatro V ertices para curvas regulares. El teorema para pol gonos convexos es consecuencia de resultados elementales de geometr a euclideana.

Carlos J. Rodrguez B.

El Teorema de los Cuatro V ertices para curvas regulares se obtendr a por un paso al limite; aprovechando el hecho de que cada curva regular es el l mite de una sucesi on de curvas poligonales. Los resultados para las curvas poligonales son resultados elementales de geometr a euclideana. 2.1. Pol gonos. El pol gono orientado = P0 P1 . . . Pn es la colecci on de (n + 1)-puntos ordenados Pk (k = 0, . . . , n) del plano y de los n-lados orientados Pk1 Pk (k = 1, . . . , n). El lado orientado Pk Pk1 est a orientado negativamente. Los puntos Pi son los v ertices del pol gono. Tres v ertices A, C, B del pol gono orientado son consecutivos si AC y CB son lados positivos de . Con AB denotamos la longitud del vector AB . Denici on 2.1. Sea un pol gono orientado del plano y sean A, C, B tres v ertices consecutivos del pol gono. La curvatura de este pol gono en C es 2 kC = , (AC + CB ) donde = (AC, CB ) es el angulo exterior orientado en el v ertice C . El radio de curvatura en C es el inverso de la curvatura en C . Lema 2.2. La curvatura de un pol gono inscrito en una circunferencia de radio R es siempre mayor que 1/R. Prueba. Sea A, C, B tres v ertices consecutivos del pol gono inscrito. La curvatura en C satisface la siguiente desigualdad: 2 2 > kC = , (AC + CB ) (AC + CB ) donde AB y CB denotan los arcos subtendidos por los lados AC y CB respectivamente. Como AC + CB = 2R se tiene el resultado. De este lema se deduce inmediatamente el importante corolario siguiente: Corolario 2.3. Si una circunferencia de radio R pasa por el v ertice C de un pol gono y los v ertices adyacentes a C son interiores (exteriores), entonces la curvatura kC en C es mayor (menor) que 1/R

Lema 2.4. Sea AB una cuerda de una circunferencia de radio R y ACB un arco de determinados por los extremos de AB de longitud no mayor de y el sector del c rculo determinado por este arco y

CURVAS COMO L IMITES DE POL IGONOS

la cuerda. Entonces para cada Q en el interior de la curvatura del tri angulo AQB en Q es menor que 1/R. Prueba. Basta probar que el radio de la circunferencia circunscrita a AQB es mayor que R. Cosa que resulta inmediato cuando analizamos el haz de circunferencias que pasan por los extremos de AB y observamos que solo las de radio mayor que R tienen puntos interiores a . M as generalmente, tenemos el otro resultado importante de esta secci on. Lema 2.5. Sea AB una cuerda de una circunferencia de radio R y ACB un arco de determinados por los extremos de AB de longitud no mayor de y el sector del c rculo determinado por este arco y la cuerda. Entonces para cada pol gono con v ertices en y de extremos A y B , existe un v ertice interior a done la curvatura del pol gono en Q es menor que 1/R. Prueba. Sea = P0 P1 . . . Pn el pol gono; donde P0 = A, Pn = B y los v ertices Pi con i = 2, . . . , n 1 son interiores a . Construyamos por inducci on la siguiente sucesi on de circunferencias de radios iguales a R con R > R: 1. 1 es la circunferencia que pasa por A, P1 , B . 2. Si Pk no es interior a k1 , esta es la u ltima circunferencia de la sucesi on; si Pk es interior, entonces k se construye as : 3. Es la circunferencia que se obtiene trasladando k1 en la direc ci on Pk Ok hasta que la nueva circunferencia pase por Pk . Es claro que Pk1 y B = Pn no son interiores a k ; por lo tanto la sucesi on tendr a a lo m as n1 elementos. Sea j la u ltima circunferencia de la sucesi on. Entonces Pj 1 y Pj +1 no son interiores a j ; por el corolario 2.3 la curvatura en Pj es menor que 1/R . 2.2. Curvas suaves. En esta secci on recordaremos la denici on cl asica de curvatura para curvas suaves y probaremos los lemas que nos aseguran que la curvatura de toda curva suave es el l mite de las curvaturas de los pol gonos inscritos que las aproximan. Esta es la secci on m as anal tica del art culo y para no recargarla, hemos dejado para el ap endice al nal las pruebas completas de algunos resultados. Para nuestro enfoque geom etrico es mejor expresar los resultados en t erminos de los radios de curvatura. Observaci on 2.6. Notaremos con letras griegas las curvaturas y radios de curvatura de las curvas suaves para distinguirlas de las an alogas denidas en v ertices de pol gonos. As C es el radio de curvatura de

Carlos J. Rodrguez B.

una curva suave en el punto C y RC es el radio de curvatura de un pol gono en un v ertice C . La misma distinci on se aplica a las curvaturas C y kC . Denici on 2.7. De todos las circunferencias tangentes a una curva K en punto C , existe una u nica que tiene un contacto de orden 2 con la curva. El radio C de esta circunferencia se llama el radio de curvatura de K . Este radio est a caracterizado porque es el l mite de los radios de las circunferencias que pasan por C , A K y B K , cuando A C y B C. Tenemos el primer lema de aproximaci on. Lema 2.8. En el contexto de la denici on y observaci on anteriores, el radio de curvatura RC de la poligonal ACB en C tiende a C cuando AC yBC . Prueba. El radio de curvatura en el v ertice C satisface la siguiente desigualdad (ve ase Lema 2.2): RC = RACB = (AC + CB ) (AC + CB ) < 2 2 ,

donde AC y CB denotan los arcos subtendidos por los lados AC y CB respectivamente en la circunferencia que pasa por A, B y C , cuyo radio denotamos con R. Como AC + CB = 2R , se tiene que: RACB < R .
1 Como AC = 2R sin( 2 AC/R) y CB = 2R sin( 1 CB/R) , tenemos que : 2 1 sin( 1 AC/R) + sin( 2 CB/R) (AC + CB ) 2 = =R . 2

RACB Pero

1 1 1 1 sin( AC/R) + sin( CB/R) > sin(( AC/R) + ( CB/R)) = sin . 2 2 2 2 Por lo tanto, RACB > R De R sin .

sin < RACB < R , se deduce el lema, pues 0 cuando A y B tienden a C . De este Lema se deduce el siguiente:

CURVAS COMO L IMITES DE POL IGONOS

Teorema 2.9. La curvatura de los pol gonos inscritos a una curva suave tienden a la curvatura de la curva cuando los pol gonos tienden a la curva. Prueba Heur sticamente esto es evidente del Lema anterior, pues la noci on de curvatura es local. Para una formulaci on m as precisa de este resultado y una prueba formal del mismo ver el Teorema 6.3. El siguiente lema nos dice como los pol gonos circunscritos dan tambi en cuenta de la curvatura de la curva convexa que aproximan. Lema 2.10. Sea = ( ) una curva convexa parametrizada con el par ametro angulo de inclinaci on de la tangente. Sean A, B, C tres puntos de la curva con B entre A y C . Sea D la intersecci on de la tangente a la curva por A con la tangente por el punto B y E la intersecci on de la tangente por C con la tangente por B . Adem as, supongamos que el angulo exterior en D y en E son iguales a . Entonces DE B cuando A y C tienden a B . Prueba. Las siguientes armaciones se deducen f acilmente de las hip otesis: 1. | ( )| = ( ) donde es la funci on radio de curvatura de la curva . Si (0 ) = P , escribiremos P para referirnos al radio de curvatura (0 ). 2. Existe tal que ( )2 = AC . 3. Por lo tanto AC = 2F , donde F = ( ) . F est a entre A y C . 4. Escogiendo un origen, los puntos pueden tratarse como vectores, de modo que: E D = C A (D A) (C E ). 5. As que DE AD EC =1 AC AC AC Por el Lema 6.5 se tiene el resultado. Un pol gono ser a llamado isogonal si sus angulos exteriores son todos iguales. Toda curva convexa es l mite de pol gonos isogonales circunscritos (ver 6.11 ). Del lema anterior se tiene el siguiente: Teorema 2.11. La curvatura de los pol gonos isogonales circunscritos a una curva convexa suave tienden a la curvatura de la curva, cuando los pol gonos tienden a la curva.

Carlos J. Rodrguez B.

Prueba De nuevo el resultado es heur sticamente inmediato del lema anterior. Pero una prueba formal se puede escribir similar a la del Teorema 6.3. 2.3. La primera prueba. Estamos listos para demostrar el Teorema de los Cuatro v ertices en la versi on de Osserman [6]. Lema 2.12. Toda curva cerrada suave est a contenida en un u nico c rculo de radio m nimo. Adem as, el borde del c rculo intersecta a la curva en al menos dos puntos. Este c rculo ser a llamado el c rculo circunscrito de la curva. Prueba. Se entiende en este caso que la curva K es la imagen de S 1 por una funci on suave , que la parametriza. Como la imagen de un conjunto cerrado y acotado por una funci on continua es cerrada y acotada, existen un c rculo que contiene la curva. Sea R el nmo de todos los radios de los c rculos que contienen la curva y sea n una sucesi on de c rculos que contienen a la curva y cuyos radios Rn R cuando R . Supongamos que Rn < 2R, como d(x0 , On ) < Rn < 2R para cualquier punto x0 de la curva, la sucesi on {On : n N } de centros de los c rculos n est a acotada; podemos pues suponer que On O, para alg un punto O cuando n . Veamos que el c rculo con centro en O y radio R contiene a la curva. Pensemos que O sea precisamente el origen del plano vectorial; de este modo, para cada x K = n K , se tiene que |x On | Rn , luego |x| R , es decir x . Si K = , entonces el c rculo con centro O y radio R /2, donde es la distancia entre K y , contiene a K . Si K = {P0 }, entonces de la familia de c rculos tangentes a en P0 que contienen a K , nos jamos en el c rculo que tiene centro en O1 , donde d(O1 , P0 ) = m ax d(M (P ), P0 ), donde M (P ) es el centro del c rculo que pasa por P K (puede probarse que el m aximo se alcanza en un punto P1 de K ) y es tangente a en P0 . Si P1 no est a en el borde de , este c rculo de radio menor contiene a K . Si hubiesen dos c rculos distintos de radio m nimo que contienen a K ; como la intersecci on de dos c rculos distintos de igual radio est a contenida en en un c rculo de menor radio tendr amos una contradicci on. Diremos que un arco de la curva K est a entre dos puntos consecutivos de contacto de K con su c rculo circunscrito si los extremos del arco son puntos de contacto y el arco no contiene m as puntos de contacto. Lema 2.13. Todo arco del borde de de longitud mayor que intersecta la curva.

CURVAS COMO L IMITES DE POL IGONOS

Prueba. Si una semicircunferencia cerrada S no tiene puntos en com un con K , sea la distancia de S a K . Sea n la direcci on normal al diametro de S . El c rculo obtenido trasladando paralelamente a n una distancia /2 hacia fuera de S tambi en contiene a K . De la unicidad de , se deduce el lema. Teorema 2.14. En cada arco entre dos puntos de contacto consecutivos hay un punto donde la curvatura es menor o igual que 1/R. En cada punto de contacto la curvatura es mayor o igual que 1/R. Sea R el radio del c rculo circunscrito de la curva K y sean P y Q dos puntos consecutivos de contacto de K con su borde . Consideremos una sucesi on de pol gonos inscritos que tienden a la curva y contienen cada uno de ellos los puntos de contacto como v ertices. Por el 2.3, se tiene que la curvatura de estos pol gonos es mayor que 1/R en los v ertices P y Q. Por paso al l mite (2.9)la curvatura de la curva en estos puntos ser a tambi en mayor o igual que que 1/R. F jemonos en el arco ( que podemos suponer de longitud menor que , ver Lema 2.13) de K determinado por P y Q que no tiene puntos de contacto con el borde del c rculo circunscrito. Por el Lema 2.5, para todo pol gono inscrito en este arco habr a vertices con curvatura menor que 1/R , con R > R; por paso al l mite (ver de nuevo 2.9), la curvatura de la curva ser a menor que 1/R en el arco en cuesti on. De este Teorema y del Lema 2.12 es inmediata la generalizaci on de Osserman del teorema de los cuatro v ertices Teorema 2.15. Toda curva con n puntos de contacto con su c rculo circunscrito tiene 2n-v ertices. Como toda curva tiene al menos dos puntos de contacto, toda curva tiene al menos cuatro v ertices. 2.4. La segunda prueba. En esta parte daremos otra prueba; es una reformulaci on para poligonales de la prueba de Santal o mencionada en la introducci on. Lema 2.16. Sea = P0 P1 . . . Pn un pol gono isogonal cerrado (P0 = Pn ); entonces n ; i=1 i ti = 0 donde ti es el vector unitario en la direcci on del i- esimo lado Pi1 Pi de . Prueba. Es inmediato pues del Lema ?? i = Li / y ti = Pi1 Pi /Li .

10

Carlos J. Rodrguez B.

De modo que
n Li Pi1 Pi n t = i=1 i i i=1 Li

= =

1 n i=1 Pi1 Pi 0

Estamos listos para demostrar el teorema de los cuatro v ertices para pol gonos isogonales, del cual el Teorema de los Cuatro V ertices para curvas suaves convexas es un corolario. Teorema 2.17. Sean un pol gono isogonal de n-lados . Entonces existen i < j < k < l tales que: i . . . j , j . . . k , k . . . l , y l . . . i .Es decir, en el ordenamiento c clico de los ndices 1, 2, . . . , n, i y k s on m mimos y j y l son m aximos . Prueba Claramente existen un m aximo, digamos j , y un m nimo, digamos i , absolutos. Si no existen al menos otros dos extremos relativos, i = j y sea r la bisectriz del angulo formado por los vectores ti y tj . Los extremos de los vectores unitarios t1 , . . . , tn determinan un pol gono regular de n-lados con r como un eje de simetr a. Cada vector m tm del mismo lado de r en donde est a j tj es en m odulo mayor que su sim etrico m tm , que esta del mismo lado de i ti . Escojamos un sistema cartesiano de coordenadas rectangulares, de tal modo que el eje y coincida con el eje de simetr a r y tal que j tj tenga abcisa posi tiva. Como la abcisa de m tm es positiva y mayor que el valor absoluto de la abcisa de su sim etrico m tm que tiene abcisa negativa, la abcisa de (ver lema anterior) n i=1 i ti = 0 (que claramente es la suma de las abcisas de m tm + m tm ) es positiva, una contradici on. De este lema y del lema 2.10 del Ap endice C se deduce el Teorema de los Cuatro v ertices. Teorema 2.18. El radio de curvatura de toda curva convexa suave tiene al menos cuatro v ertices Prueba Aproximemos la curva convexa por poligonales isogonales circunscritas. Por el Teorema 2.11 los radios de curvatura de los poligonos circunscritos tiende al radio de curvatura de la curva suave; pero entonces del Lema 2.17 por paso al l mite se deduce el teorema.

CURVAS COMO L IMITES DE POL IGONOS

11

3.

trica Desigualdad isoperime

3.1. Notaci on. Un n- agono P en el plano est a determinado por sus n v ertices distintos V1 , V2 , ..., Vn (supondremos que un v ertice nunca est a en el segmento determinado por los otros dos adyacentes). Escribiremos en esta caso que P = V1 V2 ...Vn . Haciendo Vn+1 = V1 , el segmento Vi1 Vi es el i- esimo lado de P ; la longitud del i- esimo lado es li =| Vi1 Vi | ; i = (Vi1 Vi , Vi Vi+1 ), el angulo interior i- esimo. Si O es un punto interior y P es convexo, i = (OTi1 , OTi ) , el i- esimo angulo central; donde Ti es el pie de la perpendicular de O al i- esimo lado. Con B (O, t) denotaremos el c rculo con centro O y radio t. Todo pol gono convexo P dene una regi on convexa K tal que su frontera K = P . El conjunto K se considerara cerrado y K o denota su interior. De todos los c rculos contenidos en K hay uno (o varios) de m aximo radio; uno de tales c rculos m aximos se dice que est a inscrito en P ; su radio, el radio interior o inradio de P ; y su centro, un incentro de P . De manera an aloga, de todos los c rculos que contienen a K hay uno (o varios) de radio m nimo; uno de tales c rculos se dice que est a circunscrito a P ; su radio, el radio exterior o circunradio de P ; y su centro, un circuncentro de P . Cada tres lados consecutivos de P determinan un u nico c rculo tangente a los lados dados o a sus prolongaciones (el c rculo debe estar del mismo lado que el resto de lados del pol gono). Este c rculo se llamar a un c rculo osculador de P ; su centro, centro de curvatura de P ; y su radio, radio de curvatura de P . El menor de los radios de curvatura de P se llamar a el radio normal de inyectividad de P . T engase en cuenta que el radio normal de inyectividad de P puede alcanzarse simultaneamente por varios c rculos osculadores; y que varios c rculos osculadores pueden coincidir. En el caso extremo en que todos los centros de de curvatura coincidan diremos que el pol gono es umb lico; y esto sucede si y s olo si el poligono est a circunscrito a un c rculo. Si P m es un pol gono convexo, Am denotar a su a rea, Lm su per metro, nm su n umero de lados o de v ertices, rm su inradio, Rm su circunradio y m su radio normal de inyectividad. Si el pol gono lo denotamos P , entonces A, L, n, r, R y denotar an respectivamente su a rea, su longitud, su n umero de v ertices o lados, su inradio, su circunradio y su radio normal de inyectividad. Convenimos en considerar un segmento P d de longitud d un caso degenerado de un pol gono con Ad = 0 , Ld = 2d, nd = 2, rd = 0

12

Carlos J. Rodrguez B.

y d = 0; as como un punto P O = 0 ser a considerado una pol gono degenerado con AO = 0 , LO = 0 , nO = 1, rO = 0 y O = 0. 3.2. Una f ormula para el inradio. Sea r R ; Qr es el pol gono obtenido de Q desplazando sus lados paralelamente una distancia r hacia afuera, si r 0, o hacia adentro, si r 0. A P lo denotaremos P 1 y lo llamaremos el pol gono derivado de P ; claramente n1 < n. El n umero de lados de Pr es igual a n si s olo si r < ; esto justica el nombre de radio de inyectividad normal que hemos dado al n umero . Lema 3.1. Para cada pol gono P se tiene que r = r1 + y, adem as, cada incentro de P 1 es incentro de P . Prueba. En efecto, un incentro de un pol gono convexo est a caracterizado por maximizar el m nimo de las distancias de cada punto interior del pol gono a cada uno de sus lados. Y como es claro que P se 1 andolo en sus v ertices por rectas a una distancia obtiene de P trunc 1 de los v ertices de P , tantas como n n1 , se tiene que todo incentro de P 1 es incentro de P y que r = r1 + . Lema 3.2. Como el apotema de Qr es claramente el apotema de Q m as r (los centros de curvatura de Qr y los de Q coinciden) ) y el 1 apotema de P es el apotema de P B (O, s) est a contenido en el interior de P 1 , entonces los lados de Q est a a m as de s del punto O y por lo tanto los lados de P estan a m as de s + de O; luego B (O, s + ) est a en el interior de P y se tiene que r1 + r. Es claro, tambi en, que si B (O, s) est a contenido en el interior de Q, B (O, s + r) est a contenido en Qr y si B (O, t) est a contenido en Qr , entonces B (O, t r) est a contenido en Q. Luego el apotema de Qr es 1 el apotema de Q m as r. Luego r r1 + , pues P P . La prueba es por inducci on en n1 el n umero de lados de P 1 . 1 O Si n1 = 1 , entonces P = P y el pol gono P est a circunscrito al c rculo de centro O y radio . Claramente r = y la f ormula para el apotema se cumple en este caso. Si 3.3. Pol gonos umb licos. Sea kn = n tan ; de tal modo que kn r2 n es el a rea del poligono regular de n-lados circunscrito en el c rculo de radio r. Claramente (kn ) es una sucesion decreciente cuyo l mite es .

CURVAS COMO L IMITES DE POL IGONOS

13

De la convexidad de y = tan x ( o, si se quiere un argumento m as elemental, por inducci on) se deduce que (3.1)
n i

n tan n

tan i
i

donde tan i = ; siempre y cuando 0 i < /2. Adem as, la igualdad s olo se da si todos los i s son iguales. Si P es umb lico, entonces P 1 = P O y P es un pol gono circunscrito al c rculo B (O, ). Considerando los a ngulos centrales respecto de O es claro que A = 2 n 1 tan y que L = 2n 1 tan Y por lo tanto (3.2) es equivalente a 3.1. 3.4. El teorema principal. Demostraremos por inducci on en el n umero de lados del pol gono P el teorema principal. Teorema 3.3. Para cada pol gono convexo P se tiene que (3.3) kn r2 Lr + A 0 . kn 2 L + A 0 i 2 . i 2

Prueba. Sea n1 R la corona exterior de P 1 de n1 rect angulos de altura construidos sobre cada uno de los n1 lados de P 1 ; puede verse que se puede descomponer P \(P 1 n1 R) en n cuadril ateros que juntos forman un pol gono de n lados P el cual de manera natural esta circunscrito a un c rculo de radio . Puede verse que ademas se tiene que (3.4) y que (3.5) L = L1 + L A = A1 + A + L1 ;

14

Carlos J. Rodrguez B.

As pues como la desigualdad que queremos probar es v alida por la secci on anterior para P (tambien lo es trivialmente para P d y P0 ) y suponi endolo v alida para P 1 por inducci on tenemos que demostrar que: (3.6) y (3.7) implican que (3.8) kn r2 Lr + A 0
2 L1 r1 + A1 0 kn1 r1

kn 2 L + A 0

donde r = r1 + , L = L1 + L y A = A1 + A + L1 . Pero un c alculo elemental a partir de estos datos y de que kn < kn1 , reduce la prueba de 3.8 a la validez precisamente de 3.1 . 3.5. La desigualdad para pol gonos. Veamos como se obtiene ahora la desigualdad isoperim etrica. Completando cuadrados en 3.8 tenemos que kn (r de lo que se deduce que (3.9) L2 4kn A (L 2kn r)2 . L 2 L2 ) kn 2 + A 0 ; 2kn 4kn

Pero dado el per metro L, el pol gono regular de n lados de apotema 2 L L tiene area igual a A = , el valor m aximo posible seg un 3.9. r= 2kn 4kn Pero si P es un pol gono que no es umb lico, L = L1 + L con L1 > 0 y como L 2kn r, se tiene que (L 2kn r)2 > 0 y, por lo tanto, se ha demostrado el siguiente teorema. Teorema 3.4. Entre todos los n- agonos convexos de per metro L dado, el area alcanza su m aximo s olo en el caso del n- agono regular de L apotema r = . Es decir, para todos los pol gonos convexos de n 2kn lados se tiene que: L2 4kn A 0 , y la igualdad s olo se alcanza en el caso del pol gono regular de n lados.

CURVAS COMO L IMITES DE POL IGONOS

15

3.6. Una comparaci on con geometr a integral. Consideremos el convexo K delimitado por el n- agono convexo P y el convexo K0 denido por P0 el n- agono regular de apotema igual a r el inradio de P. Sea M la medida cinem atica del conjunto de g (traslaciones o rotaciones del plano) tales que gK0 intersectan a K y , para estas g s, sea n = n(g ) el n umero de veces en que gP0 intersecta a P . Si mi es la medida del conjunto de g tales que n(g ) = i, tenemos que (3.10) M = m0 + m1 + m2 + . . . = 2A + 2kn r2 + 2kn rL y

(3.11)

0m0 + 1m1 + 2m2 + . . . = 8kn rL .

La primera es la f ormula de Blaschke y la segunda la f ormula de (ver [8], p.119). Poincare Como r es el inradio de P , m0 = 0 y como los pol gonos son cerrados m2i+1 = 0 para cada i = 0, 1, . . .. De modo que si dividimos 3.11 entre dos y se lo restamos a 3.10 obtenemos (3.12) 2kn Lr 2kn r2 2A = m4 + 2m6 + ;

y por lo tanto kn Lr + A 0 Una desigualdad menos fuerte que la que se obtuvo en 3.3. En efecto, como kn > , 3.3 implica 3.13. Adem as,la igualdad se alcnza en 3.3, mientras que en 3.13 nunca se da. Pero por otro lado, el argumento anterior vale no s olo para r el inradio de P sino para cualquier r comprendido entre el inradio y el circunradio de P . Por el argumento de completar cuadrados puede probarse la desigualdad isoper metrica siguiente: Para cada pol gono convexo P y para cada r t R se tiene (3.13) kn r2 (3.14) kn t2 kn Lt + A 0 .

De lo cual se deduce que 1 L2 4kn A [(L 2r)2 + (2R L)2 ] . 2

16

Carlos J. Rodrguez B.

Este teorema en el l mite cuando n da las f ormulas de Bonnesen (ver [8], p. 120) y esta nota surgi o precisamente como un intento de demostrarlas de una manera m as elemental, pero s olo se pudo conseguir la desigualdad en el extremo inferior del intervalo de Bonnesen; aunque s olo fue suciente para obtener la desigualdad isoper mterica en su forma m as fuerte posible para pol gonos. 3.7. Curvas en general. Unas cuantas observaciones y un argumento de paso al l mite nos permiten deducir de los resultados elementales de la secci on 3.5 la desigualdad isoperim etrica cl asica para curvas recticables. Para curvas que sean l mites de pol gonos convexos, por ejemplo las curvas convexas, se tendr a la misma desigualdad 3.3 en donde kn debe reemplazarse por . Ahora bien si C es una curva convexa cuya area L 2 es ( ) ; y r es su radio interior tenemos que 2 r2 Lr + A 0 L 2 L (r ) ( )2 + A 0 2 2 L 2 (r ) 0 . 2 Pero la u nica curva de a rea A que contiene un c rculo de area A es circunferencia de area A!. Hemos pues demostrado que De todas las curvas convexas de longitud dada, la circunferencia es la u nica de are a m axima. Es decir, para toda curva C de a rea A y longitud L se tiene que L2 4A , donde la igualdad s olo se alcanza cuando C es una circunferencia de L radio . 2 Este resultado es v alido para curvas no necesariamente convexas, pues de la desigualdad para sus envolvente convexas que tienen menor longitud y mayor area, se deduce la desigualdad para la curvas en general. 3.8. Comentarios. Hemos probado que para todo n- agono P convexo de area A per metro L L + L2 4kn a L L2 4kn a (3.15) r , 2kn 2kn

CURVAS COMO L IMITES DE POL IGONOS

17

donde r es el inradio de P . Es decir, hemos estimado el radio interior de P en t erminos de su a rea y su per metro. De geometr a integral se tiene el estimativo
kn L

(3.16)

L 2 ( kn ) 4kn a

2kn

kn L

L 2 ( kn ) 4kn a

2kn

kn Como kn t2 Lt + A kn t2 Lt + A = pn (t) es claro que nuestro estimativo para el radio interior es mejor que el de Bonnesen; pero como lo hemos comentado su estimativo estima tambi en el radio exerior de P . Para el caso de n = 3 el tri angulo rect angulo de lados 3, 4, 5 muestra que pn (R) > 0, donde R = 2,5 es el radio exterior de este tri angulo. Por lo tanto, el polinomio pn (t) no estima el radio exterior. Conjeturo que si deno de manera inductiva ri = r1 + i , donde i es el i- esimo radio de curvatura de P y r1 es el radio interior de P 1 el derivado de P ; entonces pn (ri ) 0. 4. La desigualdad de Wirtinger

En [3] se prob o, desde la perspectiva de curvas como l mites de pol gonos, la siguiente desigualdad: Sea C = K la frontera de un dominio convexo compacto K en R2 de area F . Entonces (4.1)
C

1 ds 2F , k

donde k = k (s) > 0 es la funci on de curvatura C , s es la longitud de arco de C . La igualdad se tiene si y s olo si C es una circunferencia. La primera parte de este resultado se obtiene por paso al l mite del lema 6.22 que demostramos en el Ap endice 6.5. Sea p la funci on soporte de C , ve ase [2] para el concepto y para toda esta secci on; entonces p es la funci on soporte de la evoluta y en el art culo mencionado se deduce, muy elementalmente de la f ormula de integraci on por partes, que 1 ds = 2(F Fe ) ; k

donde

18

Carlos J. Rodrguez B.

Fe =

1 2 1 = 2

h(h + h )d
0 2

p (p + p )d.
0

es el a rea algebraica de la evoluta de C . Por lo tanto, la u nica manera de que se d e la desigualdad 4.1, es que el a rea algebraica de la evoluta sea negativa. Pero, integraci on por partes, demuestra que 1 2
2

(4.2)

Fe =

((p )2 (p )2 )d .
0

Si hacemos f = p en la igualdad anterior, la negatividad de Fe se traduce en la desigualdad siguiente: 1 2

2 2 2

(4.3)

(f )
0

(f )2 d

que no es otra que la desigualdad de Wirtinger, para la funci on f de per odo 2 e integral nula sobre el intervalo [0, 2 ]. Para cualquiera de estas f derivable, existe una constante C tal que p = f + C es la funci on soporte de una curva convexa. La desigualdad 4.2 implica la desigualdad de Wirtinger. Hemos obtenido as una nueva prueba de esta desigualdad. 5. Conclusiones.

Hemos visto en este trabajo c omo resultados y sus pruebas sobre curvas planas tienen una contraparte en pol gonos. Y, lo m as interesante, hemos descubierto pruebas m as elementales usando las formulaciones poligonales y pasando al l mite para obtener el resultado an alogo para curvas. Como un extra hemos obtenido una prueba muy elemental de una desigualdad b asica del an alisis. La idea de pensar las curvas como l mites de pol gonos es tan antigua como la misma idea de curva, pero el enfoque anal tico de la geometr a diferencial cl asica la ha relegado a un segundo lugar. Una raz on es que el desarrollo de la geometr a de supercies o de variedades de mayor dimensi on a la dos pens andolas como l mites de poliedros tiene muchos problemas de entrada. Sin embargo un geometra como Hopf, siempre

CURVAS COMO L IMITES DE POL IGONOS

19

considero la contraparte poli edrica como muy interesante, ve ase el comentario de Chern en el prefacio del la Lecture 1000([5]) mencionada en la introduci on. Para terminar, no queremos dejar de mencionar la escuela de geometr a que Alexandro creo en la antigua Rusia y que se construyo desde esta perspectiva. Las ideas de Alexandro han tenido profundas aplicaciones como se deduce del trabajo de Gromov. 6. ndices Ape

6.1. Un lema t ecnico. En esta secci on vamos a estudiar la siguiente funci on denida geom etricamente as : Denici on 6.1. Dada la recta r y en ella un punto A, a cada punto X del plano fuera de la recta dada asociamos el radio R = R(X ) de la circunferencia por X tangente en el punto A a la recta r. La prueba del siguiente lema es un ejercicio elemental de geometr a anal tica. Lema 6.2. Introduciendo un sistema de coordenadas cartesianas rectangulares (x, y ) con centro en A y eje x coincidiendo con r, la expresi on en estas coordenadas de R viene dada por : R = R(X ) = R(x, y ) = x2 + y 2 2y

Observaci on 6.3. Las curvas de nivel de R coincide con el haz de circunferencias tangentes a la recta r en el punto A. En la recta r la funci on R es discontinua; pero restringida a la gr aca de cada funci on f de clase C 2 denida alrededor de 0 con f (0) = f (0) = 0 y f (0) = 0 es continua. Lema 6.4. Supongamos que en el v ertice A un pol gono siempre est a del mismo lado de la recta r y que A est a en r (se dice que r es una l nea soporte del pol gono). Supongamos ademas que la perpendicular por A a r separa al pol gono. Entonces la curvatura en A es mayor que el radio del c rculo tangente a r en A que pasa por uno de los v ertices adyacentes a A y contiene al otro. Prueba. Sean B y C los v ertices adyacentes a A y supongamos que el c rculo que pasa por B y es tangente a r en A contiene a C . Sea C el punto en donde la prolongaci on de AC intersecta al borde del c rculo. Entonces, si D es el centro de este c rculo, el a ngulo exterior en A es la suma de m as , donde 2 y 2 son , respectivamente el valor

20

Carlos J. Rodrguez B.

de los angulos subtendidos por las cuerdas AB y AC ; de modo que tenemos: AC + AB AB > 2 sin 2 sin Otro lema t ecnico. En este ap endice probaremos el siguiente

6.2. :

Lema 6.5. Sea f (x) una funci on de clase C 2 denida en un intervalo con centro en 0, tal que : f (0) = f (0) = 0 y f (0) = 0. Si B es el origen de coordenadas, C = (x, f (x)) , E es el intertcepto en el eje x se la recta tangente a la gr aca de f en C , y es su angulo de inclinaci on; entonces EC 1 l m = B . x0 4 Donde B es el radio de curvatura de la gr aca de f en B . Prueba. Como EC = f (x)(sin )1 tenemos que para ciertos valores y : EC f ( x) 1 sin f (x) = O(1) tan2 1 f (x)x2 = O(1) 2 (f (x))2 x2 =

Como B = 2(f (0))1 , de lo anterior se deduce la conclusi on del lema. Lema 6.6. Sea f (x) una funci on de clase C 2 denida en un intervalo con centro en en 0, tal que : f (0) = f (0) = 0 y f (0) = 0; entonces (x
x0

l m

f (x) ) f (x)

f (x)

1 2f (0)

Prueba. Por el teorema de Taylor tenemos que: 1 f (x)x2 2 f (x) = f (x)x , f (x) = para ciertos valores 0 < , < 1 .

CURVAS COMO L IMITES DE POL IGONOS

21

Por lo tanto, (x
f (x) ) f (x)

f ( x)

(xf (x) f (x)) f (x)2 f (x)x2 1/2f (x)x2 = f (x)2 x2 =

Lo que tiende a 1 2f (0) .

6.3. Curvatura en pol gonos. Por P0 P1 . . . Pn denotamos el pol gono en el plano formado por los (n + 1) v ertices P0 , P2 , . . . , Pi , . . . , Pn y por los n lados P0 P1 , P1 P2 , . . . , Pi1 Pi , . . . , Pn1 Pn . El i- esimo angu lo exterior i es (Pi1 Pi , Pi Pi+1 ). Con Li denotamos la longitud del i esimo lado Pi1 Pi . Cuando n tienda a , siempre supondremos que m axi=1,...,n Li 0. Denici on 6.7. La curvatura ki en el v ertice i es indistintamente cualquiera de los n umeros siguientes : 2i /(Li + Li1 ) o 2f (n)/(Li + Li1 ); donde f (n) dividido por n tiende a 1 cuando n tiende a . El radio i de curvatura en el v ertice i es el inverso de la curvatura. Denici on 6.8. Sea = (s) = (x(s), y (s)) un encaje de clase C 2 1 de S en R2 ; es decir es una curva plana suave cerrada y simple. Identicamos s con exp(2is) donde 0 s L; s es par ametro longitud de arco y L es la longitud de la curva. Cada partici on = {si : 0 = s0 < s1 . . . < sn = L} de [0, L] determina el pol gono inscrito con el v ertice i- esimo igual Pi = (si ) por cada si de . La malla || de la partici on es el m aximo de los incrementos li = si = si si1 ; obs ervese que li es la longitud del arco de la curva entre (si1 ) y (si ). A cada partici on podemos asociar las funciones escalonadas continuas por la derecha y k que toman los valores {i en [si1 , si ) : i = 0, . . . n} y {ki en [si1 , si ) : i = 0, . . . n} respectivamente, denidas para el pol gono inscrito asociado a . En lo que sigue, escibiremos j por j +1 j . Observaci on 6.9. Sea = (s) el angulo de inclinaci on (comprendido entre 0 y 2 ) del vector tangente (s) de la curva en el punto (s). (s) y puede probarse que viene dada La curvatura k (s) de en (s) es d ds por la f ormula:

22

Carlos J. Rodrguez B.

(6.1)

k (s) = y (s)x (s) x (s)y (s)

Denici on 6.10. Si = (s) es una funci on estrictamente mon otona de s de incremento 2 diremos que la curva es convexa. Puede verse que esta denici on de curva convexa coincide con la usual para las curvas suaves (v ease, por ejemplo, [7] p.14). Toda curva convexa puede parametrizarse con el par ametro angulo tangencial de inclinaci on ; si (0) = a, a 2 + a. Supondremos siempre que a = 0. Escribiremos ( ) = ( (s)). Denici on 6.11. Si la curva es convexa, el pol gono construido con segmentos de rectas tangentes a en los puntos (i ), donde 0 = 0 < s1 . . . < n = 2 es una partici on de [0, 2 ], es el pol gono circunscrito; La intersecci on Pi de la recta tangente por (i ) con la tangente por (i1 ) es el v ertice i- esimo de . A cada curva convexa y a cada partici on de [0, 2 ] podemos asociar, como en el caso del pol gono inscrito, las funciones escalonadas continuas por la derecha y k que toman los valores {i en [i1 , i ) : i = 0, . . . n} y {ki en [i1 , i ) : i = 0, . . . n} respectivamente, denidas para el pol gono circunscrito asociado a . Es claro, que i = i . Observaci on 6.12. Para el caso del pol gono inscrito, por el teorema del valor medio de Cauchy, para cada i entre 1 y n existe i = si1 + i li entre si1 y si tal que el argumento i = (i ) de (i ) coincide con el del vector Pi1 Pi ; pero i es precisamente la diferencia i+1 i . O sea que, i = k (i + i i )i donde 0 < i < 1. Observaci on 6.13. Usando desarrollo en serie de Taylor, puede probarse que i tiende a 1/2 cuando la malla de tiende a cero. Observaci on 6.14. Como la curva est a parametrizada por longitud de arco x (s)2 + y (s)2 = 1 para cada s entre 0 y L. Observaci on 6.15. Dada una partici on n de [0, L] en n partes iguales; el v ertice i- esimo de n el pol gono inscrito asociado a n se denotar an i(s)L por Pni , para cada s [0, L] sea 0 i(s) n tal que n s < (i(s)+1)L . Naturalmente si(s) s y Pni(s) (s) cuando n . Las n mismas consideraciones haremos para los pol gonos circunscritos n asociados a curvas convexas suaves parametrizadas por el par ametro angulo de inclinaci on y parametrizaciones n de [0, 2 ] en n partes iguales.

CURVAS COMO L IMITES DE POL IGONOS

23

En las demostraciones de los siguientes lemas, por simplicar la notaci on, el sub ndice i debe leerse como ni(s) y i+1 como ni(s)+1 . Formularemos primero los lemas para los pol gonos inscritos en curvas suaves en general. Lema 6.16. Para los pol gonos inscritos se tiene que Lni(s) /lni(s) tiende a 1 cuando la n tiende a . Prueba. Como Li = (x(si+1 ) x(si ))2 + (y (si+1 ) y (si ))2 , tenemos que Li = x (ri )2 + y (ti )2 li para valores apropiados ri y ti de [si1 , si ]; de la observaci on 6.14 el resultado es inmediato. Lema 6.17. Para los pol gonos inscritos se tiene que Lni(s) /ni(s)+1 tiende a 1 cuando n tiende a . Prueba. Como i+1 = (1 i )li + (1 i+1 )li+1 = ((1 i ) + (1 i+1 ))li ; ya que li = li+1 = L/n, tenemos que (6.2) Li /i+1 = (Li /li )((1 i ) + (1 i+1 ))

Y el lema sale del lema anterior y de la observaci on 6.13 de que los i s tienden a 1/2 cuando n tiende a . Para los pol gonos inscritos , kni(s) tiende a k (s) cuando la n tiende a . Prueba. cos i = Li (xi , yi ) Li+1 (xi+1 , yi+1 ) = xi yi + xi+1 yi+1 = O(1) Li Li+1

donde (i ) = (xi , yi ) y O(1) signica que la expresi on tiende a 1 cuando n tiende a . Tambi en tan i = yi+1 xi yi xi+1 = (yi+1 xi yi xi+1 )O(1) xi xi+1 + yi yi+1

tan i = ((yi+1 yi )xi yi (xi+1 xi ))O(1) tan i = y (i + i+1 )i+1 xi yi x (i + i+1 )i+1 De donde se deduce que (6.3) Pero l m tan i /i+1 = y (s)x (s) x (s)y (s) = k (s).

24

Carlos J. Rodrguez B.

tan i = por el lema anterior,

sin i = i O(1) ; cos i

tan i /i+1 = (i /Li )O(1) ; por 6.3 , kni(s) = i /Li tiende a k (s). El mismo argumento, demuestra que kni(s) = i /Li+1 ; y, por lo tanto, kni(s) = i /2(Li + Li+1 ) tambi en tienden a k (s). 6.4. Ap endice. Primero, si K no es convexo, sea K su envolvente convexa, entonces como A A, L L y n n la desigualdad 3.3 vale tambien para pol gonos cerrados no necesariamente convexos, si denimos el inradio de todo pol gono como el inradio. Demos m as detalles de la armaci on siguiente: Como el apotema de Qr es claramente el apotema de Q m as r (los centros de curvatura de Qr y los de Q coinci1 den) ) y el apotema de P es el apotema de P B (O, s) est a contenido en el interior de P 1 , entonces los lados de Q est a a m as de s del punto O y por lo tanto los lados de P estan a m as de s + de O; luego B (O, s + ) est a en el interior de P y se tiene que r1 + r . Es claro, tambi en, que si B (O, s) est a contenido en el interior de Q, B (O, s + r) est a contenido en Qr y si B (O, t) est a contenido en Qr , entonces B (O, t r) est a contenido en Q. Luego el apotema de Qr es 1 . el apotema de Q m as r. Luego r r1 + , pues P P Lema 6.18. La prueba es por inducci on en n1 el n umero de lados de P 1 . 1 O Si n1 = 1 , entonces P = P y el pol gono P est a circunscrito al c rculo de centro O y radio . Claramente r = y la f ormula para el apotema se cumple en este caso. Si 6.5. Wirtinger para pol gonos. Con la misma notaci on del Ap endice 6.3, consideremos un pol gono orientado convexo = P0 P1 . . . Pn ; supondremos siempre que no hay tres v ertices alineados, de tal modo, de para cada i entre 0 y n existe el punto Ei intersecci on de la bisectriz del angulo de en el v ertice Pi con la bisectriz del a ngulo en el v ertice siguiente Pi+1 . El pol gono E1 . . . En puede llamarse si se quiere la evoluta del pol gono original . Se puede probar f acilmente el siguiente lema

CURVAS COMO L IMITES DE POL IGONOS

25

Lema 6.19. El interior del pol gono est a contenido en la reuni on de los tri angulos Ei Pi1 Pi donde i = 1, . . . , n . Del que se deduce inmediatamente lo que llamaremos la desigualdad de Wirtinger para pol gonos : Teorema 6.20. 1 2
n

li hi A ,
i=1

donde A es el area del pol gono , li es la longitud del lado Pi1 Pi y hi es la altura sobre ese lado del tr angulo Ei Pi1 Pi . La relaci on de esto con la desigualdad 4.1 esta dada por los siguientes resultados. Lema 6.21. Para cada i = 0, . . . , n, la altura hi es menor que el radio de curvatura i Prueba. El pie de la altura bajada desde Ei sobre el lado Pi1 Pi divide a este lado en dos segmentos de longitudes x y li x. Sean , y los angulos del tri angulo Ei Pi1 Pi en los v ertices Pi1 , Pi y Ei respectivamente. Con k denotamos al a ngulo exterior orientado en el v ertice Pk del pol gono , sabemos que i = y por lo tanto i = Debemos demostrar que li . hi Sean 1 y 2 los angulos en los que queda dividido por la altura que sale de Ei sobre Pi1 Pi . La desigualdad buscada resulta porque tan > y la cadena de desigualdades siguientes: li x li x = + = tan 1 + tan 2 > 1 + 2 = . hi hi hi Del lema y teorema anterior se deduce inmediatamente que li . 2li i1 + i

26

Carlos J. Rodrguez B.
n

Teorema 6.22. 1 2

li i A ,
i=1

donde A es el area del pol gono , li es la longitud del lado Pi1 Pi y i es el radio de curvatura de en el v ertice Pi . Esta es la versi on poligonal de la desigualdad 4.1. Referencias
1. Manfredo Do Carmo, Geometr a diferencial de supercies, Mac-Graw Hill, 1989. 1 2. Carlos A. Escudero and Agust` Revent os, An interesting property of the evolute, UAB (2005), 16. 3, 17 3. Carlos A. Escudero and Carlos J. Rodr guez, Curvatura en un pol gono y el teorema de ros para curvas planas, Trabajo de grado para la licenciatura, Universidad del Valle, Cali, 1993. 3, 17 4. Polya G. and Litlewood J.E Hardy, J.H., Inequalities, Cambridge University Press, 1973. 3 5. Heinf Hopf, Dierential geometry in the large., Lecture Notes in Mathematics, vol. 1000, Springer-Verlag , Vol. 1000., 1983. 3, 19 6. Robert Osserman, The four-or-more vertex theorem, American Mathematical Monthly 92 (1985), 332337. 2, 3, 8 7. Rey Pastor and Luis Santal o, Geometr a integral sobre el plano, Espasa-Calpe, 1951. 2, 3, 22 8. Luis A. Santal o, Integral geometry and geometric probability, Cambridge University Press. 15, 16 9. Serge Tabachnikov, The four vertex theorem revisitedtwo variations on the old theme, American Mathematical Monthly 102 (1995), no. 10, 912916. 3 10. G. Talenti, The standard isoperimetric theorem in handbook of convex geometry, vol. A, North Holland, 1993. 3 `s, Barcelona, CP 08172 Lluis Companys 15,2,3, Sant Cugat del Valle E-mail address : crodri@mat.uab.es