LA CARA OCULTA DE LAS ESFERAS

Autor: LUIS MONTEJANO PEIMBERT COMIT DE SELECCI N EDICIONES INTRODUCCI N I. SOMBRAS Y TAJADAS II. CONVEXIDAD III. EL C RCULO IV. EL "LIBRO ESCOC S" V. EQUILIBRIO EN CUALQUIER POSICI N VI. FIGURAS DE ANCHO CONSTANTE VII. S LIDOS DE ANCHO CONSTANTE VIII. LA CONJETURA DE MIZEL BIBLIOGRAF A CONTRAPORTADA

COMIT DE SELECCIN
Dr. Antonio Alonso Dr. Gerardo Cabaas Dr. Juan Ramn de la Fuente Dr. Jorge Flores Valds Dr. Leopoldo Garca-Coln Scherer Dr. Toms Garza Dr. Gonzalo Halffter Dr. Ral Herrera Dr. Jaime Martuscelli Dr. Hctor Nava Jaimes Dr. Manuel Peimbert Dr. Juan Jos Rivaud Dr. Julio Rubio Oca Dr. Jos Sarukhn Dr. Guillermo Sobern Coordinadora: Mara del Carmen Faras

EDICIONES
Primera edicin (La ciencia desde Mxico), 1989 Tercera reimpresin, 1995 Segunda edicin (La Ciencia para Todos), 1997 Se prohbe la reproduccin total o parcial de esta obra incluido el diseo tipogrfico y de portada, sea cual fuere el medio, electrnico o mecnico, sin el consentimiento por escrito del editor. La Ciencia para Todos es proyecto y propiedad del Fondo de Cultura Econmica, al que pertenecen tambin sus derechos. Se publica con los auspicios de la Secretara de Educacin Pblica y del Consejo Nacional de Ciencia y Tecnologa. D.R. 1989 FONDO DE CULTURA ECONMICA, S.A. DE C. V. D.R. 1997 FONDO DE CULTURA ECONMICA Carretera Picacho-Ajusco 227, 142OO Mxico, D.F. ISBN 968-16- 5231-2 Impreso en Mxico

INTRODUCCIN
Escribir un libro de matemticas para un pblico amplio es, sin lugar a dudas, una aventura de la cual es difcil salir bien librado o al menos satisfecho. "Pero le s decir, desocupado lector que, aunque me cost algn trabajo, ninguno tuve por mayor que hacer esta introduccin que va leyendo. La razn es que quisiera que este libro, como hijo del entendimiento, fuera el ms hermoso, el ms gallardo y ms discreto que pudiera imaginarse. Pero no he podido yo contravenir a la orden de naturaleza, que en ella cada cosa engendra su semejante." Me he atrevido a presentar este libro y de paso a mal citar a Cervantes con el vano afn de destruir varios mitos, porque estoy convencido de que la imagen que de las matemticas y los matemticos tiene la mayora de la gente es parecida a aquella que de la msica tiene quien slo ha escuchado un metrnomo y nunca una sonata lo que tradicionalmente se ensea sobre matemticas est lejos de su verdadera esencia y creo que la aversin hacia ellas desaparecera si tan slo intentramos presentarlas como lo que son: una bella y terrible pasin. Matemtico es aquel individuo para el cual los centros de la creatividad y la lujuria se encuentran alejados en la corteza cerebral muy cerca uno del otro me dijo un da mi maestro y concluy: recuerde usted las palabras de Newton: "No poda dormir sin dejar de pensar en ella." En quin? pregunt. En la gravedad, por supuesto contest. Yo, como muy frecuentemente sucede cuando l toca alguna fibra sensible, sonre... y me qued pensando. Record entonces aquella noche en la que por primera vez so, en un jardn de azucenas, con aquella bellsima mujer vestida de blanco... Decase llamar Convexidad. Recuerdo que al final del sueo me reproch no haberle sido lo suficientemente fiel. Y era cierto. Mi primer trabajo original, mi primera pasin intelectual, fue la solucin al problema del equilibrio de los cuerpos, usando ideas de convexidad. No s por qu (no me lo explico an) pero, despus de resolver el problema, por mucho tiempo no volv a pensar en ella, excepto ocasionalmente. Me dediqu a otras reas: la combinatoria primero, la topologa despus. An la sigo soando... Con este libro espero saldar mi deuda con ella. Platico todo esto porque s que mucha gente piensa que las matemticas son feas, ridas, rgidas y fras. Yo s que son bellas, clidas, a veces terribles, s, pero siempre apasionantes y entretenidas. Mucho se ha dicho acerca de que la belleza de las matemticas es slo para iniciados, slo accesible para aquellos que entienden su lenguaje, y que est vedada para los dems. Yo he cometido la osada de intentar conducirlo a usted, a travs de este libro, por el jardn en donde s que suele pasear. La idea central alrededor de la cual gira esta obra es, como su nombre lo indica, la cara oculta de los crculos y las esferas. Son aquellas misteriosas y ocultas propiedades de crculos y esferas las que quiero tratar, no con el propsito de hacerlos parecer ms

lejanos, sino como un reconocimiento a la inesperada riqueza geomtrica que se encuentra escondida en su interior. Qu es lo que los hace ser lo que son?, Qu parecen ser y no son exclusivamente? Este libro comienza realmente en el captulo IV, con un relato sobre la Escuela Polaca de Matemticas y el "Libro escocs." Sin embargo, he querido dedicar el captulo I a las sombras y las tajadas de los slidos, no debido a que este material tenga una importancia especial, sino porque me permite establecer uno de los objetivos del libro: mostrar que las matemticas son fundamentalmente una vivencia y que por lo tanto es posible hacerlas sobre hechos y objetos cotidianos. Adems, todo esto me ha servido para implantar, desde un principio, un tono y una cadencia que prevalecer durante el transcurso de la obra. El captulo II es una introduccin a la teora de la convexidad, sin la cual el tratamiento de los captulos posteriores sera imposible. El captulo III es en s mismo un tema aparte y trata una caracterizacin del crculo que usaremos de manera crucial en los captulos V y VI, su lectura completa no es esencial y puede usted omitirlo si as lo desea; sin embargo, le recomiendo recordar el resultado principal de ese captulo para cuando sea usado ms adelante. La parte original del libro se encuentra en el captulo V con la solucin al problema del equilibrio de los cuerpos y en el captulo VI, con la forma en que han sido presentadas las figuras de ancho constante, muy particularmente en el tratamiento de sus binormales. El libro finaliza con la solucin de L. Danzer a una bella conjetura. Leer un libro de matemticas es fundamentalmente un acto de recreacin y en poco se parece, digamos, a la lectura de un bestseller: No intente usted tomar este libro y leerlo de corrido, su lectura requiere de otro procedimiento que se parece ms, por ejemplo, a la lectura de un libro de recetas de cocina. Lo que yo quiero decir es que en ambos casos uno tiene que reproducir concretamente y a cada momento lo que el autor seala. Por ejemplo, en la demostracin correspondiente a la figura II.9, en el captulo II de este libro, se dice: "Para ver esto dibujemos primero dos lneas en la direccin dada, que tengan a la figura entre ambas. Luego deslicmoslas hasta que toquen a la figura". Leer este libro significa tener los ingredientes: papel y lpiz: luego dibujar con ellos, primero una figura y a continuacin dos lneas paralelas a ambos lados de la figura; posteriormente deslizarlas, es decir, dibujar varias de ellas hasta dibujar dos que toquen a la figura. Con la prctica, lector, usted sabr cundo es necesario dibujar y cundo basta imaginarlo. Lo importante es, pues, no slo leer el texto sino, de alguna manera, recrearlo y reproducirlo para usted mismo. Este libro tom forma en un curso que sobre convexidad impart en la Facultad de Ciencias de la Universidad Nacional Autnoma de Mxico; tengo una deuda perenne con los estudiantes y mi ayudante, sin cuyo entusiasmo jams se hubiese concretado este libro. A ellos pertenece parte de esta obra y creo justo mencionar sus nombres: Daniel Cervantes Peredo, Claudia Gmez Wulschner, Daniel Juan Pineda, Atocha Aliseda, Rafael Morales Gamboa, Sairy Karp y Andrs Silverman. Quiero tambin agradecer a Vctor Neumann Lara el haberme introducido en el bellsimo mundo de la convexidad, a Isabel Puga la sntesis que dio origen al nombre de este libro y a todas aquellas personas que estn cerca de m por darme la suficiente libertad para vivir y crear. LUIS MONTEJANO PEIMBERT

Mxico, D.F., mayo de 1988

I. SOMBRAS Y TAJADAS
PIENSE usted en un slido; una papa suspendida en el espacio es, por ejemplo, una buena imagen. Suponga que por alguna razn usted tiene informacin acerca de esta papa slo a travs de sus secciones transversales. Es decir, usted slo conoce la forma que tienen las tajadas de esta papa. Suponga ahora que quiz usted conoce, de este slido, la forma que tienen las figuras que se obtienen al proyectarlo; es decir, imagnese que de l usted slo ha visto las sombras que deja sobre el piso. Podra usted decirme, a partir de esta informacin, qu forma tiene este slido? La situacin es mucho menos rara de lo que uno se imagina. Slo para mencionar dos ejemplos sumamente sencillos piense usted que, con frecuencia, cuando se usa el microscopio, lo que uno ve no es el objeto a observar, sino slo una tajada que de l se obtuvo al hacer la preparacin; o que la informacin que nos llega de la forma de un cuerpo celeste, a travs de un telescopio, slo tiene que ver con las proyecciones de este cuerpo. En este primer captulo vamos a proponernos resolver quizs el aspecto ms terico y sencillo de este problema. Quisiramos estudiar slidos que tienen siempre tajadas o sombras circulares y concluir, por supuesto, que estos slidos tienen la forma esfrica. A travs de este libro vamos a vernos con frecuencia en la necesidad de concluir que determinado slido es una esfera, pues sus sombras o sus tajadas son circulares. Debemos de estar seguros de que lo que ambos usted, lector, y yo entendemos por seccin transversal o tajada es lo mismo. Volviendo a nuestra imagen de una papa suspendida en el espacio, imaginemos que un plano la corta (Figura I.1). Una tajada de esta papa o mejor dicho, una seccin transversal de este slido, no es sino la parte de esta papa o de este slido que queda sobre el plano.

Figura I-1

Antes de continuar quisiera aclarar otro concepto. A diferencia de otros autores, entendemos por un crculo o una esfera no slo el borde de stos, sino tambin todo lo que se encuentra dentro de ellos. As, por ejemplo, el centro del crculo forma parte del crculo. Vamos a empezar pensando en secciones transversales o tajadas. Si toda seccin transversal de un slido 5 es un crculo, entonces 5 es una esfera. Es decir: si en una papa toda tajada es circular, es porque la papa es una papa esfrica. Demostracin. La esfera ms pequea que contiene al slido5 es llamada la circumesfera de 5. Su cscara debe tocar al slido 5, puesto que si no lo toca sta no sera la esfera ms pequea que contiene a 5 (vase Figura I.2).

Figura I.2 De hecho, la cscara de la circumesfera debe tocar al slido 5 en al menos dos puntos; de lo contrario, si solamente lo toca en un punto, despegndola sera posible encontrar una esfera ms pequea que contenga a 5 (Figura I.3). Fijemos nuestra atencin en dos puntos de la cscara de la circumesfera de 5 que se encuentren tambin en 5. Pongmosles nombre; llammosles por ejemplo X y Y. A continuacin haremos ver que cualquier otro punto de la cscara de la circumesfera pertenece tambin a 5, mostrando as que 5 y su circumesfera coinciden.

Figura I.3. Manos a la obra: fijmonos en cualquier punto de la cscara de la circumesfera de 5 (escoja uno, el que usted quiera). Pongmosle por nombre Z (ver figura I.4). En este momento conviene pensar que la circumesfera es azul y el slido5 es rojo (recuerde que para ayudarnos a pensar se vale hacer uso de cualquier truco, artimaa o mana, lo importante es pensar).

Figura I.4 Pensemos ahora en el plano L que pasa por X, por Y y por Z. Este plano corta a la circumesfera en un crculo azul (toda tajada de una esfera es un crculo) que contiene a X, a Yy a Z en su orilla. A su vez, este plano corta al slido 5 en un crculo rojo que contiene a X y a Y en su orilla y que se encuentra dentro del crculo azul, pues el slido e est dentro de la circumesfera.

Figura I.5 A continuacin, trate de dibujar un crculo rojo dentro de un crculo azul de tal forma que ambos compartan al menos dos puntos, X y Y, de su orilla (ver figura 1.5). Le ser fcil convencerse de que la nica posibilidad es que ambos crculos, el rojo y el azul, coincidan. Esto quiere decir que la tajada de 5 y la tajada de la circumesfera, determinadas ambas por el plano L, coinciden y, por lo tanto, que el punto Z de la cscara de la circumesfera, en el cual habamos fijado nuestra atencin (ese que usted escogi arbitrariamente), es parte del slido5. Ahora podemos fijar nuestra atencin en cualquier otro punto de la cscara de la circumesfera de 5 y repetir el mismo proceso anterior para convencernos de que este punto, y por lo tanto cualquier otro de la cscara de la circumesfera, es parte del slido 5. Hemos pues demostrado que el slido 5 y su circumesfera coinciden, es decir, que el slido es esfrico. Pongmonos de acuerdo en lo que significa la proyeccin o sombra de un slido. La idea intuitiva se refiere a la sombra que deja un slido sobre el piso, producida por los rayos del sol. Tomemos una direccin d y un plano 4 perpendicular a esta direccin. Nos vamos a fijar en todas las posibles lneas paralelas a la direccin d que cortan al slido (vase figura 1.6). Todas estas lneas van a cortar tambin a el plano4 para formar en l una figura, que es la figura a la que llamaremos la proyeccin o sombra del slido en la direccin d sobre el plano 4.

Figura I.6

Si toda proyeccin de un slido 5 es un crculo, entonces 5 es una esfera. Es decir: si todas las sombras de una papa son circulares, es porque la papa es una papa esfrica. Demostracin. Tomemos un slido 5 con la propiedad de que todas sus sombras o proyecciones son circulares. Pudiera ser por qu no? que en diferentes direcciones las sombras tuvieran diferentes dimetros, es decir, que algunas sombras fueran ms pequeas que otras. Empezaremos convencindonos de que no es as, de que en todas las direcciones las sombras son crculos del mismo tamao. Escoja usted dos planos. En ellos vamos a proyectar el slido 5 y a verificar si ambas sombras tienen el mismo dimetro. Sean pues 4 y + los planos elegidos y sean 4(5 ) y +(5) los crculos que se obtienen al proyectar 5 sobre 4 y+ respectivamente (vase figura I.7).

Figura I.7 El cilindro generado por la sombra que deja 5 al ser proyectado sobre el plano + es un tubo que perfora perpendicularmente a + precisamente en el crculo +(5 ). Este tubo se proyecta sobre 4 dejando como sombra una banda que aprisiona perfectamente al crculo 4(5). Por lo tanto, el dimetro de 4(5) es el ancho de la banda que, por ser la banda sombra del tubo, es el dimetro del tubo que a su vez no es otro sino el dimetro de 4 (5). Nos hemos convencido ya de que todas las sombras del slido 5 son crculos del mismo dimetro. Ahora vamos a convencernos de que, efectivamente, el slido 5 es una esfera. Con tal propsito vamos a pensar de nuevo en la circumesfera de 5, es decir, en la esfera ms pequea que contiene a 5. Conviene imaginar de nuevo que la circumesfera es azul, que el slido 5 es rojo y que, en cualquier direccin que se tome, la sombra que proyecta el slido 5 y su circumesfera es un crculo rojo dentro de un crculo azul. Recordemos que todas las sombras de 5 son crculos rojos del mismo dimetro que se encuentran contenidos en las sombras de la circumesfera, las cuales son crculos azules todos del mismo dimetro. Por tanto, si en alguna direccin nosotros furamos capaces de comprobar que el crculo rojo y el azul coinciden, entonces, en cualquier otra direccin, la sombra del slido y la sombra de su circumesfera coincidirn. Nuestro propsito inmediato es ahora verificar que, efectivamente, la aseveracin anterior es cierta, es decir, que las sombras de 5 y de su circumesfera coinciden. Lo haremos encontrando simplemente, una direccin en la que las sombras proyectadas por el slido 5 y su circumesfera coincidan. Sean X y Y dos puntos de la cscara de la circumesfera que sean parte del slido 5. Pensemos en el plano L determinado por los puntos X y Y y el centro de la circumesfera. Si proyectamos sobre un plano paralelo al plano L, lo que obtenemos es un crculo rojo dentro de un crculo azul en donde las proyecciones de los puntos X y Y se encuentran en la orilla del crculo azul. Por ser X y Y parte del slido 5, los crculos rojo y azul comparten dos puntos de su orilla. Como ya lo habamos constatado anteriormente, esto no es posible a menos que ambos crculos coincidan totalmente.

Hasta ahora todo lo que sabemos es que en cualquier direccin el slido 5 y su circumesfera proyectan la misma sombra. Ser esto suficiente para asegurar que 5 es una esfera? Si lo es, como lo veremos a continuacin. Tome usted un punto de la cscara de la circumesfera. Cul? Cualquiera, el que usted elija arbitrariamente. Llammoslo Z. Lo que quisiramos es convencemos de que Z es parte de 5. Para esto vamos a proyectar la circumesfera sobre un plano paralelo a un plano que pase por Z y el centro de la circumesfera. Al proyectar, la sombra de Z (llammosla Z') est en la orilla de la sombra de la circumesfera. Ms an, de todos los puntos de la circumesfera, el nico que se proyecta sobre Z' es Z, de manera que si Z no fuera parte del slido 5, entonces Z' no sera parte de la sombra de 5, lo cual no es posible pues sabemos que las sombras de 5 y su circumesfera coinciden. Por lo tanto, forzosamente, Z debe formar parte de 5 (vase figura I.8). Como Z fue escogido arbitrariamente, lo mismo pudimos haber concluido de cualquier otro punto de la cscara de la circumesfera. Es decir, toda la cscara de la circumesfera de 5 forma parte de 5, lo cual nos indica que 5 es una esfera. Hemos terminado el primer captulo de este libro. El siguiente captulo es una introduccin a la teora geomtrica de la convexidad, sin la cual mucho del material tratado en esta obra sera difcil de exponer. Por tanto, aunque el material presentado a continuacin aparentemente no se relaciona con lo que hasta aqu hemos visto, nos ser de mucha utilidad en los captulos subsecuentes. Por otro lado, la teora geomtrica de la convexidad, por su sencillez y profundidad, es en s misma de gran belleza y calidez. No dudo que su lectura le ser muy estimulante y entretenida.

Figura I.8

II. CONVEXIDAD
DECIMOS que una figura es convexa si cada vez que tomamos dos puntos en ella, el segmento que los une pertenece tambin a dicha figura.

As, por ejemplo, son figuras convexas un crculo, un semicrculo, una elipse, un paralelogramo, un tringulo, un segmento, un semiplano o un cono (vase figura II.1).

Figura II.1 Una forma de construir ms ejemplos es tomar varias figuras convexas y fijarse en la parte comn a todas ellas. Si tomamos dos puntos que estn en la parte comn, dado que las figuras son convexas, el segmento que los une estar en cada una de ellas y por tanto en la parte comn a todas ellas. Esto es, la interseccin, o parte comn, de varias figuras convexas es una figura convexa (vase figura II.2).

Figura II.2 Intuitivamente, una figura es convexa si no est "abollada". Imagnese usted alguna figura "abollada". Notar que es precisamente en la abolladura donde es posible encontrar un segmento cuyos extremos estn en la figura pero que, sin embargo, debido a la abolladura, parte de l se salga de aqulla (vase la figura II.3).

Figura II.3

Es ms, por aquellos puntos del borde de la figura en donde intuitivamente sentimos que sta se encuentra abollada, es imposible trazar una lnea que no parta a la figura en varios pedazos. En cambio, hay puntos del borde o frontera de la figura en donde sta no se halla abollada por donde es posible trazar una lnea que deje a la figura completamente de un lado (vase figura II.4).

Figura II.4 Dmosle nombre a este tipo de lneas: A una lnea que toca a una figura y que la deja totalmente contenida en uno de los dos semiplanos determinados por ella, la llamaremos lnea soporte de la figura. Siendo fieles a nuestra idea intuitiva de lo que sentimos que es una figura no abollada, se antoja decir que una figura es convexa si por cada punto de su frontera pasa una lnea soporte. En efecto, veremos ms adelante que as es. Por ahora, para seguir avanzando, es importante que aclaremos algunos conceptos de topologa, como son el de interior y frontera de una figura. Observando una figura podemos distinguir tres clases distintas de puntos: los puntos interiores, los puntos frontera y los puntos exteriores. Un punto es un punto interior de una figura si podemos encontrar, alrededor de l, una pequea bolita totalmente contenida en la figura. Por supuesto, entre ms cerca del borde est el punto, ms chiquita ser la bolita. Un punto es un punto frontera de una figura si cualquier bolita alrededor de l, por ms chiquita que sea, tiene puntos que son de la figura y tiene puntos que no son de la figura. Si un punto de la figura no es interior, entonces cualquier bolita alrededor de l no est totalmente contenida en la figura y por lo tanto este punto tendr que ser un punto frontera. As, un punto de la figura, o es interior o es frontera, pero nunca ambas cosas a la vez. Intuitivamente consideramos que el borde de la figura est constituido por todos los puntos frontera. Finalmente tenemos a los puntos exteriores, que son aquellos alrededor de los cuales existe una pequea bolita totalmente fuera de la figura. En una figura, los puntos exteriores son precisamente los puntos que no pertenecen a la figura. En la figura II.5 los puntos A y B son interiores, los puntos C y D son frontera, el punto E es exterior y U no es una bolita alrededor del punto F.

Figura II.5 Demostracin. Desde E empezamos a caminar hacia A sobre el segmento EA y paramos la primera vez que tocamos a la figura U . Llammosle C a este punto. Si C fuera un punto interior habramos tocado a U antes de llegar a C, pues existe una bolita, alrededor de C, totalmente contenida en U. Por otro lado, si C fuera un punto exterior, entonces al llegar a C, an no habramos tocado a U. Como no es interior ni exterior, C tiene que ser un punto frontera. Entre dos puntos interiores A y B, de una figura convexa U todos los puntos son puntos interiores. Demostracin. Como en otras ocasiones, conviene pensar que U es de color rojo. Alrededor de A y de B existen bolitas de color rojo. Como 5 es convexa, todos los posibles segmentos que unen a puntos de estas dos bolitas son de color rojo. Si iluminramos todos estos posibles segmentos de rojo veramos que alrededor de cualquier punto del segmento AB existe una pequea bolita roja (vase figura II.6).

Figura II.6

Demostracin. La demostracin es idntica a la anterior. Pensemos que U es roja. Alrededor de A existe una bolita roja a la que llamaremos 5. Como todos los segmentos que unen el punto B con algn punto de U son rojos, entonces existe un barquillo rojo, que empieza en B y cuya nieve esU (ver figura II.7). Por lo tanto, alrededor de cualquier punto del segmento AB, distinto del punto B, existe una bolita roja. Fjese que entre ms cerca de B tomemos al punto, ms chiquita tendremos que escoger la bolita roja alrededor de l.

Figura II.7

Entre dos puntos frontera A y B de una figura convexa o todos los puntos son frontera o todos los puntos son interiores. Demostracin. Si todos los puntos del segmento AB son puntos frontera, hemos acabado. Si no, quiere decir que, entre A y B, existe un punto interior. Llammoslo C. Luego, entre C y A, y entre C y B slo tenemos puntos interiores. Esto es, basta con que haya un punto interior entre A y B, para que todos sean interiores. Existen figuras, como una lnea, un semiplano o un cono, que se extienden hacia el infinito. Las dems, aquellas que no se extienden hacia el infinito y que por lo tanto estn totalmente contenidas dentro de un crculo suficientemente grande, sern llamadas figuras acotadas. A continuacin hablaremos sobre una propiedad de las figuras convexas acotadas, que ser muy usada en lo sucesivo. Si una lnea L pasa por un punto interior A de una figura convexa acotada U entonces L corta a la frontera de Uen exactamente dos puntos. (Ver figura II.8).

Figura II.8 Demostracin. Ya que * es acotada, muy lejos, sobre la lnea L a la izquierda de A, hay un punto que no pertenece a *. Entre este punto y el punto A debe de haber un punto frontera de *. Por otro lado, como entre un punto interior y un punto frontera slo hay puntos interiores, sobre L a la izquierda de A, no puede haber dos puntos frontera. Esto es, sobre L a la izquierda de A hay exactamente un punto frontera pero, por las mismas razones, a la derecha de A sobre L, hay exactamente otro punto frontera. Es decir, L corta a la frontera de* en exactamente dos puntos. Entre estos dos puntos todos los puntos son interiores y fuera de ellos, sobre L, todos los puntos son exteriores. Una propiedad de las figuras acotadas es la siguiente: Una figura acotada tiene exactamente dos lneas soporte en cada direccin. Demostracin. Para ver esto, dibujemos primero dos lneas en la direccin dada, que tengan a la figura entre ambas. Luego deslicmoslas hasta que toquen a la figura (vase figura II.9).

Figura II.9 Lo anterior no quiere decir que por cada punto de la frontera de una figura pasa una lnea soporte. Esto, como ya lo habamos mencionado antes, slo sucede en las figuras convexas. Por cada punto frontera de una figura convexa * pasa una lnea soporte y viceversa. Si por cada punto frontera de una figura * con puntos interiores, podemos trazar una lnea soporte, es porque la figura * es una figura convexa. Demostracin. La demostracin de la primera afirmacin es fcil pero un poco tediosa. Como, adems, no es relevante para el desarrollo subsecuente de este libro, la omitiremos. A continuacin veremos la demostracin de la segunda afirmacin. Para cercioramos de que * es una figura convexa necesitamos comprobar que el segmento que une cualquier par de puntos de * est tambin en *. Empezaremos verificando que entre un punto interior A y otro punto cualquiera B de * todos los puntos son parte de *. Si no fuera as, entre A y B habra un punto exterior y por lo tanto un punto frontera. Esto es imposible, como veremos a continuacin. El punto C es un punto frontera de y alrededor de A hay una pequea bolita totalmente contenida en *; as que trate de trazar una lnea soporte de * por C, es decir, intente dibujar una lnea que pase por C y deje tanto a la bolita alrededor de A como a B de un solo lado de la lnea (ver figura II.10).

Figura II.10 Imposible! No es cierto? Imposible que exista un punto frontera entre A y B. Pero si no hay puntos frontera, entonces tampoco hay puntos exteriores entre A y B. Es decir, entre un punto interior y otro punto cualquiera de*, todos los puntos son puntos interiores de *. Toca ahora comprobar que entre dos puntos frontera P y Q, todos los puntos pertenecen a *. Llamemos L a la lnea que pasa por P y por Q. Como * tiene puntos interiores existe un punto interior C que no est en la lnea L. Supongamos que est arriba de L. Entre C y P todos los puntos son interiores, por lo tanto, entre cualquier punto del segmento CP y el punto Q, todos los puntos son interiores. Es decir, todos los puntos del interior del tringulo PCQ pertenecen a la figura *; pero entonces todos los puntos del segmento PQ pertenecen a la figura * de lo contrario, entre P y Q habra un punto exterior, y por lo tanto una bolita alrededor de l, totalmente fuera de *

pero que se mete en el interior del tringulo PCQ que est dentro de * (ver figura II.11).

Figura II.11 La figura convexa ms pequea que contiene a una figura J es llamada el casco convexo de J (ver figura II.12) Por supuesto, cuando la figura es convexa, su casco convexo y ella coinciden.

Figura II.12 El casco convexo de J se obtiene al tomar la parte comn de todas las posibles figuras convexas que contienen a J. En las figuras planas, otra forma de obtenerlo es considerar a Q ms todos los posibles segmentos con extremos en J.

A continuacin usaremos el hecho anterior para probar la siguiente propiedad de las figuras convexas. Si toda lnea soporte de una figura J toca a la frontera de J en un solo punto, es porque la figura J es convexa. Demostracin. Vamos a ver que cualquier punto A de la frontera del casco convexo de J est en J, con lo cual J ser convexa, pues coincide con su casco convexo. Si A no estuviera en J, entonces A estara en algn segmento PQ con extremos P y Q en Q recordemos que el casco convexo de J se obtiene mediante J ms todos los posibles segmentos con extremos en J. Por A pasa una lnea soporte L del casco convexo de J (ver figura II.12). Como L debe pasar por A y dejar a P y a Q de un mismo lado, forzosamente L debe de pasar tanto por P como por Q, pero entonces L sera una lnea soporte de Q que lo toca en al menos dos puntos. Imposible! A tiene que estar en J.

Volviendo a nuestra idea intuitiva de que las figuras convexas son las que no estn abolladas, haremos notar otra de las propiedades caractersticas de las figuras convexas. Si una figura no est abollada, entonces cualquier punto que no est en la figura puede ser separado de ella mediante una lnea recta. No sucede as cuando la figura est abollada, precisamente en la abolladura se forma un hueco cuyos puntos no pueden separarse de la figura mediante una lnea recta (ver figura II.13).

Figura II.13 Ms precisamente: Si una figura * es convexa y A es un punto que no est en ella, entonces existe una lnea que separa al punto A de la figura * . Y viceversa, si en una figura * para cualquier punto A exterior a ella, siempre es posible trazar una lnea recta que separe a la figura Q del punto A, es porque la figura * es convexa. Demostracin. Tomemos una figura convexa * y un punto cualquiera que no est en ella. Llammosle A. De entre todos los puntos de *, pongamos nuestra atencin en aquel que se encuentre ms cerca de A y llammosle B (ver figura II.14). Mostraremos que la lnea L, que pasa por el punto medio del segmento AB y es perpendicular a ste,

separa a * del punto A. Es decir, mostraremos que "arriba de L" del mismo lado de A no hay ningn punto de * . Si existiera un punto C de la figura del mismo lado de A, entonces, por ser * convexa, el segmento BC estara dentro de * y por lo tanto habra en este segmento un punto de * cuya distancia a A es ms pequea que la distancia de B a A. Esto es imposible pues habamos escogido de antemano a B con la propiedad de ser el punto de * ms cercano al punto A. Esto nos convence de que no existen puntos de * "arriba de L" y que, por lo tanto, la lnea L separa a la figura * del punto A.

Figura II.14 Supongamos ahora que tenemos una figura * con la propiedad de que, para cualquier punto A exterior a ella, hay una lnea recta que separa a la figura * del punto A. Queremos ver que * es una figura convexa. Para tal efecto tenemos que tomar dos puntos P, Q de * y verificar que el segmento que los une est tambin en *. Yo afirmo que el segmento PQ est dentro de *. Si alguien digamos usted, lector quisiera negarlo tendra, por supuesto, que mostrarme un punto A entre P y * que no estuviera en *. Supongamos que pudiera mostrrmelo, entonces yo le pedira que dibujara una lnea que dejara a P y a Q de un lado y a A del otro pues hemos acordado que * est separado de A por una lnea. Como es obvio que esto no es posible, pues A est en el segmento P quedara claro que fue un error suponer que A no estaba en * y concluiramos los dos que todo el segmento PQ est dentro de *. Es decir, hemos demostrado que * es convexa verificando que el segmento que une cualquier par de puntos de * tambin esta en *. Como consecuencia de este hecho tenemos que las figuras convexas tienen la siguiente propiedad. La parte comn de todos los semiplanos que contienen a una figura convexa * es precisamente la figura *.

Demostracin. Por supuesto * est en la parte comn de todos los semiplanos que contienen a *, sin embargo, esta ltima figura pudiese ser ms grande. Todo punto exterior a * puede separarse de * mediante una lnea; entonces, para cada punto exterior de *, existe un semiplano que contiene a * pero en el cual no est dicho punto. Por lo tanto, tampoco est en la parte comn a todos los semianos que contienen a *. Esto prueba que la figura * no es ms chica que la parte comn, sino que son iguales. En este captulo, hasta ahora hemos hablado de figuras, pero no de slidos. Iniciaremos sealando que todo lo que se afirm para figuras es cierto para slidos si procedemos con las definiciones correctas. Decimos que un slido es convexo si cada vez que tomamos dos puntos en l, el segmento que los une pertenece tambin a l. Un plano soporte de un slido es un plano que toca al slido pero que lo deja totalmente contenido de un lado (es decir, en uno de los semiespacios determinados por l). En un slido podemos distinguir tambin tres clases de puntos: los puntos interiores, los puntos exteriores y los puntos frontera. Sus definiciones son anlogas a las dadas para figuras, excepto que ahora las "bolitas alrededor de los puntos" son realmente bolitas, es decir, son tridimensionales. Por supuesto, entre un punto interior de un slido y otro que no est en el slido, siempre hay un punto frontera y, si el slido es convexo, entre dos puntos del slido o bien todos los puntos son interiores o todos son frontera. Al igual que las figuras, los slidos convexos pueden caracterizarse es decir, todo slido convexo tiene esta propiedad y, si algn slido tiene esta propiedad, es porque el slido es convexo por medio de las siguientes propiedades: a) Por cada punto frontera del slido pasa un plano soporte. b) Cualquier punto exterior del slido puede separarse de l mediante un plano. Finalmente, mencionaremos que si en un slido, todos sus planos soporte lo tocan slo en un punto, entonces el slido es convexo. Finalizamos este captulo, una pequea introduccin a lo que se denomina convexidad geomtrica. Desgraciadamente algunos aspectos bellsimos de sta, como son la teora de Helly o Radon, han quedado fuera del alcance de esta obra. La convexidad es y ha sido de crucial importancia para el desarrollo de las matemticas, y ha acompaado a muchas de las ramas y resultados ms importantes de la actualidad. Si le interesa profundizar en el tema, le recomiendo los bellsimos libros de V.G. Boltianskii citados en la bibliografa.

III. EL CRCULO
HAY ciertos hechos de la geometra que forman parte de la experiencia comn; por ejemplo, todos sabemos que en una rueda, independientemente de su posicin, el eje est exactamente arriba del punto donde la rueda toca al piso. Si en lugar de hacer rodar la rueda pensamos que el piso va tomando la posicin de todas las tangentes del crculo, habremos demostrado un teorema de la geometra euclideana que dice que "si por un punto M de la frontera de un crculo trazamos una tangente, entonces sta es perpendicular al radio del crculo que termina en M" (ver figura III.1).

Figura III.1 Esta sencilla propiedad del crculo lo caracteriza, es decir, si existiese otra figura J y un punto K en su interior, con la propiedad de que, al rodar sta, el punto K siempre est exactamente arriba del punto donde J toca al piso, entonces J necesariamente es un crculo y el punto K su centro. A travs de este libro tendremos con frecuencia la necesidad de convencernos de que determinada figura es un crculo puesto que posee la propiedad antes mencionada. Es por ello que este captulo est dedicado ntegramente a convencemos del siguiente hecho: Sea * una figura acotada y K uno de sus puntos interiores. Supongamos que por cada punto frontera M de * pasa una lnea soporte que es perpendicular a la lnea que pasa por K y por M; entonces * es un crculo con centro en K.

Figura III.2 Demostracin. Para empezar, * es convexa pues por cada punto de su frontera pasa una lnea soporte. Adems, cualquier lnea que pase por el punto interior K, corta a la frontera de * en exactamente dos puntos y entre ellos (es decir, en el interior del segmento que los une) slo hay puntos interiores. La demostracin de que * es necesariamente un crculo, si bien no es complicada, s es un poco larga, motivo por el cual vamos a desglosarla, mostrando primero por separado cada una de las siguientes afirmaciones. Supongamos que por cada punto frontera M de * pasa una lnea soporte que es perpendicular a la lnea que pasa por K y por M, entonces:

i) Si C es un crculo que se encuentra dentro de * y toca a lo frontera de * enel punto A, entonces el centro de C, el punto K y el punto A estn sobre una misma lnea.

Figura III.3

ii) Si L es una lnea que pasa por K y corta a la frontera de * en los puntos P y Q, entonces el crculo cuyo dimetro es el segmento PQ est dentro de *. iii) El centro del crculo de * es K.

Por ejemplo, con respecto a i) algo como lo que se muestra en la figura III.3 no es posible. Empezaremos con la afirmacin i). Es decir: "Supongamos que C es un crculo dentro de * cuyo centro O es diferente de K. Si C toca a la frontera de * en un punto A, entonces A, K y O estn en una misma lnea." Esto se debe, sencillamente, a que por A pasa una lnea soporte de * perpendicular a la lnea que pasa por K y por A (ver figura III.4) Esta lnea soporte, por estar C dentro de * es una tangente de C que pasa por A. Como en un crculo los radios son perpendiculares a las tangentes, la lnea que pasa por K y por A tiene que pasar tambin por O, el centro de C

Figura III.4 Veamos ahora la afirmacin ii). Tomemos una lnea cualquiera que pase por K. Llammosla L. Sabemos, pues * es convexa, que L corta a la frontera de * en exactamente dos puntos que llamaremos P y Q.

Nuestro siguiente propsito es convencernos de que: "el crculo cuyo dimetro es el segmento PQ, est dentro de *." Es decir, queremos comprobar que el crculo con centro en el punto medio del segmento PQ, que pasa por P y por Q, est dentro de * . Para ver esto, pensemos en el punto medio del segmento PQ, al que llamaremos O. Primero veremos el caso en el que K es diferente de O. Llamemos C al crculo ms grande con centro en O que se encuentre dentro de *. Veremos que tanto P como Q estn en C, con lo que habremos terminado con este caso. Como C es el crculo ms grande con centro en O que se encuentra dentro de *, C tiene que tocar la frontera de * en algn punto, de lo contrario, sera posible hacer crecer a C un poquito ms. Supongamos que C toca a la frontera de * en el punto A. Por i), el punto A se encuentra en la misma lnea en la que se encuentran K y O, es decir, el punto A est en la lnea L, pero en la lnea L slo hay dos puntos de la frontera de * que son P y Q (ver figura III.5). Es decir, A tiene que ser alguno de estos dos puntos. En la figura III.5 vemos que A es diferente de P y Q lo cual es imposible, pues en ese caso el punto A, el punto K y O no estaran alineados. Finalmente, como O es el punto medio del segmento PQ, el crculo C tiene que pasar tanto por P como por Q que es lo que queramos.

Figura III.5 Nos falta ahora comprobar el caso en el que K es el punto medio del segmento PQ. Como antes, queremos ver que el crculo con centro K, que pasa por P y por Q, est dentro de * . Veremos primero que cualquier crculo que pase por P cuyo centro est en el segmento PQ est dentro de *. Tomemos un punto cualquiera R entre P y K, y consideremos el crculo ms grande con centro en R que est dentro de *. Este crculo debe de tocar la frontera de * en algn punto, digamos en el punto B. Como B, K y R estn en la misma lnea, es decir, en la lnea L, B tiene que ser o bien P o bien Q. Como R fue tomado entre P y K, B tiene que ser el punto P. Es decir, cualquier crculo que pase por P cuyo centro est entre P y Q, est dentro de *, pero entonces todo el interior del crculo cuyo dimetro es el segmento PQ est dentro de * (ver figura III.6).

Figura III.6 Todo lo anterior est muy bien, pero lo que queremos es ver que el crculo C, cuyo dimetro es PQ, est dentro de * . Si no fuera as, existira un punto Z, distinto de P y de Q, en la frontera de C, que no estara en * . Este punto Z sera un punto exterior de *, por lo que existira una pequea bolita alrededor de l, totalmente afuera de *; sin embargo, esto es imposible pues esta bolita mordera el interior del crculo C, que ya vimos que est dentro de Q (ver figura III.6). Hemos pues acabado de convencemos de que cualquier lnea que pasa por K corta a * en un segmento y, el crculo cuyo dimetro es este segmento est dentro de * . Continuemos con la afirmacin iii), pero antes hablemos un poco sobre el circuncrculo y el incrculo de una figura cualquiera. El crculo ms pequeo que contiene a una figura ] es llamado el circurncrculo de ]. El crculo ms grande contenido dentro de una figura ] es llamado el incrculo de ] ( ver Figura III.7).

Figura III.7

stos, por supuesto, no son necesariamente concntricos. En un rectngulo existe un solo circumcrculo, pero varios incrculos (ver figura III.7). En general puede haber varios incrculos pero el circumcrculo es siempre nico. Si existiera una figura ] con dos circumcrculos, digamos C1 y C2, entonces ] estara dentro de C1 y dentro de C2 por lo que habra un crculo ms pequeo que contiene a la parte comn de C1 y C2 y por lo tanto a y (ver figura III.8).

Figura III.8 En seguida nos propondremos ver que para nuestra figura *, el incrculo es nico pues su centro es el punto K. Escojamos uno de los incrculos de * y llammoslo Y. Denotemos por O a su centro. El crculo Y debe de tocar a la frontera de * en al menos dos puntos, de lo contrario, si slo la toca en un punto, despegndolo sera posible encontrar un crculo ms grande dentro de *. Sean X y Y dos puntos distintos que se encuentren en Y, pero tambin en la frontera de *. Por i), en la lnea que pasa por K y por X est O. Por la misma razn, en la lnea que pasa por K y por Y est O, el centro de Y. Las posibilidades que tenemos, ante estos dos hechos, son las siguientes: a) K es igual a O, es decir, K es centro del incrculo YS b) K es distinto de O, en cuyo caso, el punto X y el punto Y son diametralmente opuestos en Y, y K se encuentra en el segmento XY digamos entre X y O.

Figura III.9 Para acabar de convencernos de que K es el centro de Y y por lo tanto de que el incrculo de * es nico, basta ver que el caso b) es imposible. Pensemos en una lnea que pase por K y sea perpendicular al segmento XY (Vase figura III.9) Esta lnea corta a * en un segmento, llammoslo T. Esta misma lnea corta a Y en otro segmento, llammoslo S. Por supuesto, S est dentro de T. El crculo con centro en K que pasa por X est dentro de Y y slo toca a la frontera de Y en X. Por lo tanto, X esta en el interior del crculo cuyo dimetro es S, que est dentro del crculo cuyo dimetro es T que, a su vez, por ii), est dentro de *. Todo esto es imposible, porque X no es un punto interior sino un punto frontera de *. Por lo tanto, el caso b) no puede darse y la nica posibilidad que nos queda es que K sea el centro de Y.

Figura III.10

Ahora, una vez que hemos acabado con las afirmaciones i), ii) e iii), ser muy fcil ver que el incrculo Y de *, y * coinciden. Sea P cualquier punto de la frontera de *. Cul? El que usted escoja. Comprobaremos que P est en el incrculo Y. Sea L la lnea que pasa por K y por P. Como sabemos, L corta a la frontera de * exactamente en P y en algn otro punto, digamos Q. (Ver figura III.10). Por ii), el crculo cuyo dimetro es el segmento PQ est dentro de *, pero tambin contiene a Y. Como Y es el crculo ms grande dentro de *, Y y el crculo cuyo dimetro es el segmento PQ coinciden. Es decir, P est en u. Finalmente, ya que P fue cualquier punto de la frontera de *, el incrculo de * y * coinciden, esto es: * es un crculo.

IV. EL "LIBRO ESCOCS"

EN LA matemtica, como en cualquier otro arte, existen corrientes, influencias y misteriosas afinidades. Mi vida como matemtico ha estado ligada sin que yo as lo hubiera decidido, a la escuela polaca de matemticas y al maravilloso y mgico mundo que rodea, no a ese libro, sino a ese mito que es el "Libro escocs". No recuerdo quin me habl o dnde o hablar por primera vez del "Libro escocs" . Slo recuerdo haber quedado hechizado por la noticia de la existencia de un cuaderno de problemas de matemticas escrito en un caf o en un bar polaco por unos, ms que matemticos, bohemios. Recuerdo haber odo que el cuaderno fue enterrado en un campo de futbol durante la segunda Guerra Mundial y recuperado misteriosamente al trmino de sta, sin que en ese momento se supiera bien a bien dnde estaba y qu tipo de problemas contena. Me imaginaba, no a Banach, a Ulam o a Steinhaus, sino a nuestros bohemios: Daz Mirn, Gutirrez Njera, Acua, y en el colmo del delirio, a m mismo, pasar los das en un bar, platicando de poesas, mujeres y matemticas, por el solo gusto de derrocharse la vida por ellas, pensando en ellas. Tena noticias tambin de que los autores ofrecan botellas de cognac, de whisky, o un simple caf, como recompensa a quien resolviera alguno de sus problemas. Ese era el mito, la realidad no estaba muy lejos. Dejemos que Ulam, uno de los autores del "Libro escocs", nos la relate: Para aquellos que no lo sepan, empezar diciendo que el as llamado "Libro escocs" (Scottish Book) es una coleccin informal de problemas en matemticas. Empez a escribirse en Lvov, Polonia mi ciudad natal en 1935; cmo y por qu, ser explicado a su debido tiempo. La mayora de los problemas fueron propuestos por un pequeo grupo de matemticos de la localidad, entre los que me encontraba yo. De hecho, muchos de los primeros problemas se originaron antes de 1935 quiz seis o siete aos antes durante el periodo en el que an era yo estudiante. Como principiante, asista regularmente a todos los seminarios y conferencias en el campo de mi inters, y me hice amigo de varios de los viejos matemticos ya establecidos. Fue entonces cuando me

permitieron tomar parte en las discusiones informales generalmente discutamos dos o tres al mismo tiempo, lo que era la manera usual de convivir entre los matemticos del Lvov de antes de la segunda Guerra. Por muchos aos, yo fui invariablemente el ms joven de ese grupo; al final apareci Mark Kac y tuve que cederle el privilegio de haber sido el ms joven durante cinco aos. La historia del "Libro escocs" podra tambin ser llamada "La rivalidad entre dos cafs", el Caf Roma y el de al lado, el Caf Szkocka, o Caf Escocs. Estos dos establecimientos estn situados en una pequea placita a unos 50 o 100 metros de la Universidad de Lvov. No hace mucho, mi amigo Mazur uno de los autores ms prolficos representados en el "Libro escoces" me envi una postal en la que aparecen estos dos cafs tal y como estaban a principios de los aos setenta (quiz estn an ah). Hasta donde pude ver, nada ha cambiado desde aquellos das antes de la segunda Guerra Mundial. Para nuestra historia, el Caf Roma fue, en un principio, el ms importante de estos dos cafs. Fue ah en donde los matemticos empezaron a reunirse despus de las reuniones semanales de nuestra seccin de la Sociedad Matemtica Polaca. Estas reuniones tenan lugar comnmente los sbados en un saln de seminarios de la Universidad y por lo tanto cercano a los cafs. Podan ser en la tarde o en la maana. Usualmente el programa consista en plticas que duraban cuatro o cinco minutos; las plticas de media hora eran poco comunes y, afortunadamente, las plticas de una hora eran muy raras. Por supuesto haba cierta discusin en el saln de seminarios, pero la discusin realmente fructfera se daba en el Caf Roma despus de que la reunin se acababa oficialmente.

Figura IV. 1 El Caf Escocs a principio de los aos setenta. Entre los matemticos ya formados que frecuentaban el Caf Roma, el ms prominente era sin lugar a dudas Banach. Los otros profesores titulares o asistentes eran Stozek, Ruziewick, y Lomnicki. Adems asistan algunos ayudantes jvenes y uno que otro estudiante como yo. Kuratowski, que era profesor en el Instituto Politcnico, y Steinhaus, que estaba en la Universidad, preferan ir a un caf ms elegante. Pero Banach, Mazur y algunos visitantes como Sierpinski, eran clientes del Caf Roma. Ah nos sentbamos a discutir matemticas, chiquiteando una taza de caf o de t, durante tres o cuatro horas algo que an puede hacerse en algunos cafs de Pars. Adems de matemticas, haba ajedrez. Auerbach era un jugador muy fuerte. Frecuentemente jugaba una o dos partidas con Stozek o Nikliborc mientras Banach miraba y por supuesto meta su cuchara. Pero adems de todo esto, los matemticos continubamos con la discusin que habamos empezado ms temprano en la reunin de la Sociedad

Matemtica. La atmsfera que se viva, especialmente en Lvov, era de una colaboracin entusiasta; la gente estaba realmente interesada en los problemas de los otros. Esto tambin era cierto en Varsovia, en donde haba muchsima colaboracin entre toplogos, aqullos que hacan teora de conjuntos, y lgicos. En Lvov, el inters no slo estaba en la teora de conjuntos sino, debido a la influencia de Steinhaus y Banach, tambin en el anlisis funcional y algunos otros campos. Fue Steinhaus quien descubri a Banach; de hecho, sola decir que fue su descubrimiento ms grande. Steinhaus cuando joven, fue profesor en Cracovia, una ciudad que se encuentra a 300 kilmetros al oeste de Lvov. Una maana, mientras caminaba por un parque, oy discutir a dos jvenes, que se encontraban sentados en una banca, acerca de la integral de Lebesgue. La integral de Lebesgue era en ese entonces una teora muy novedosa (esto suceda en 1917). Steinhaus estaba tan intrigado que comenz a platicar con los dos jvenes, uno de los cuales era Banach. Qued muy impresionado y desde entonces apoy y aconsej a Banach para que continuara con sus estudios. Banach, por otro lado, era una persona muy excntrica en sus hbitos y en su vida personal. Jams present un examen, pues los odiaba intensamente. Pero escribi tantos artculos originales y propuso tantas nuevas ideas, que aos ms tarde fue premiado con el grado de doctor sin haber pasado por ninguno de los exmenes regulares. Todo esto suceda a finales de la primera Guerra Mundial, alrededor de 1919.

Figura IV.2 Del "Libro escocs" original, manuscrito de Banach. Pero para volver a la escuela polaca de matemticas, a los cafs y al "Libro escocs" debo sealar que las reas tratadas por nosotros formaban parte de algo muy novedoso. La teora de conjuntos era todava muy nueva y la topologa de conjuntos ms an. La teora de funciones de variable real y la idea de espacio de funciones fueron, en cierto sentido, descubiertas y desarrolladas en Polonia, especficamente en Lvov. An no he explicado cmo naci esta coleccin de problemas. Volvamos entonces al Caf Roma y a Banach. l sola pasar horas, y aun das enteros ah, especialmente hacia el final del mes, que era cuando la Universidad pagaba. Un da se enoj muchsimo, pues ya no le queran fiar en el Caf Roma y decidi cambiarse al Caf Escocs que se encontraba en la puerta de al lado, a slo diez metros del Roma. Stozek y algunos qumicos y fsicos continuaron frecuentando el Roma, pero el Caf Escocs se convirti, desde ese momento, en el lugar de reunin de un pequeo grupo de matemticos, que incluan a

Banach, a Mazur, a m, y ocasionalmente a algunos otros. A esto se debe que muchos de los problemas de esta coleccin lleven nuestros nombres. Haba, por supuesto, visitantes, mi amigo Schreier entre otros, pero los consumidores habituales ramos nosotros tres. Cmo naci el libro? Un da Banach decidi que ya que hablbamos de tantas cosas, deberamos escribir las ideas, cuando era posible, para que no se nos olvidaran. Trajo un cuaderno muy largo y muy bien empastado en el que empezamos a escribir los problemas. El primero de ellos tiene la fecha del 17 de julio de 1935. Esto sucedi cuando yo todava viva en Polonia. El cuaderno era guardado en el Caf Escocs por un mesero que conoca el ritual cuando Banach o Mazur llegaban, bastaba con que dijeran "el libro, por favor", para que el mesero lo trajera inmediatamente junto con unas tazas de caf. Los aos pasaron, hubo ms y ms problemas propuestos por otros matemticos polacos, Borsuk, por ejemplo un toplogo amigo mo de Varsovia y muchos otros. El "Libro" creci y lleg a ser una coleccin de unos 190 problemas, de los cuales ahora, cerca de cincuenta aos ms tarde, tres cuartas partes han sido resueltos. Algunos de los problemas fueron propuestos sin que se hubiera pensado mucho desde antes en ellos; pocos fueron resueltos inmediatamente. Todo esto est anotado en el libro. El documento permaneci en Polonia. En mi ltimo viaje a Polonia antes de la guerra, en el verano de 1939, Mazur, ms realista que yo acerca de la situacin del mundo, me dijo que crea que una gran guerra era inminente. Dijo que nuestros resultados acerca de grupos numerables, entre otros, algunos de los cuales no estaban publicados para entonces, no deberan de perderse. Entonces propuso que cuando viniera la guerra pondra el libro en una pequea caja y lo enterrara donde pudiera ser encontrado ms tarde, cerca de la portera de un campo de futbol. Nunca supe si sta fue la forma en la que el "Libro escocs" fue conservado, pues cuando volv a ver Mazur en Varsovia hace pocos aos olvid preguntarle. De cualquier forma el "Libro escocs" sobrevivi la guerra y Banach lo tuvo a la mano. Cuando Banach muri en 1945, su hijo Stephan Banach, Jr. (ahora un neurocirujano en Varsovia) lo encontr, y se lo ense a Steinhaus inmediatamente despus de la guerra. Steinhaus entonces lo copi a mano palabra por palabra y en 1956 me envi esta copia a los Alamos. Yo lo traduje y le saqu en mimegrafo 300 copias, despus envi por correo esas copias a varias universidades tanto de aqu como del exterior y se lo envi tambin a varios amigos. Desde entonces, el libro empez a conocerse en los crculos matemticos. Una vez terminado el relato de Ulam (que hemos traducido en sus partes esenciales), diremos que el "Libro escocs" consta de exactamente 193 problemas, algunos de ellos resueltos, algunos otros an sin resolverse. Los temas que se tocan son muy variados, pero todos ellos tienen como comn denominador la sencillez y nitidez con la que estn planteados. Todos ellos fueron escritos en el cuaderno original, en el Caf Escocs, ya sea por el grupo de matemticos que lo frecuentaba o por amigos suyos que llegaban de visita. La mayora de los problemas estn planteados por Banach, Ulam, Steinhaus o Mazur, pero existen adems nombres tan famosos como: Erdoz, Frechet, Infeld, Kuratowski, Sierpinski, Eilenberg, Lusternik, von Neumann, Knaster, Alexandroff, etc. Aunque Ulam afirma que los primeros problemas datan del ao de 1928, el primer problema tiene la fecha del 17 de julio de 1935 y el ltimo la fecha del 31 de mayo de 1941. Muchos de los problemas permanecen an sin resolverse

y los premios o recompensas que se ofrecen van desde una botella de champagne, una botella de whisky, una botella de vino, una copa de brandy, una cerveza pequea, una taza de caf, 100 gramos de caviar, cenas en varios restaurantes, hasta un kilo de tocino o un ganso vivo. Hablaremos sobre un problema en particular de este libro: el problema nmero 19, planteado por Ulam: Si un slido de densidad uniforme tiene la propiedad de flotar en equilibrio sin voltearse en cualquier posicin en la que se le deje, deber ser ste necesariamente una esfera? En particular, cuando la densidad es cero: Si un slido descansa en equilibrio en cualquier posicin en la que se le deje sobre una superficie plana horizontal, deber ser ste una esfera? Existe una versin bidimensional de este problema se refiere a figuras y no a slidos. En este caso, pensamos en un cilindro de densidad uniforme y suponemos que el cilindro tiene la propiedad de que, mientras su eje permanezca paralelo a la superficie del agua, flota en equilibrio, de acuerdo con la Ley de Arqumedes, sin voltearse en cualquier posicin en la que se le deje. Deber ser este cilindro un cilindro circular? En 1938, H. Auerbach el mismo que era muy buen jugador de ajedrez en el Caf Roma estudi el caso cuando la densidad es un medio. Se dio cuenta de que cuando la seccin transversal del cilindro es radialmente simtrica, entonces el cilindro tiene que ser un cilindro circular. Sin embargo, y es lo ms sorprendente, mostr que en general el cilindro no necesariamente es circular. En la figura IV.3 mostramos dos posibles soluciones. En ambas existe un segmento de lnea que rota dentro de la figura y que, en cada posicin, corta el rea y el permetro a la mitad.

Figura IV.3 En 1921 el matemtico Zindler encontr figuras F con la curiosa propiedad de que todas las cuerdas que cortan el rea de F a la mitad tienen la misma longitud y cortan el permetro tambin a la mitad. Auerbach prob que son precisamente estas figuras, o

curvas de Zindler, aquellas que flotan en equilibrio en cualquier posicin cuando la densidad es un medio. Ms adelante describiremos un mtodo ms o menos sencillo para trazar curvas de Zindler. El problema original en tres dimensiones adquiere a la luz de estos ejemplos un aspecto mucho ms interesante e intrigante despus de los ejemplos de Auerbach no es fcil decidirse por un s o por un no como respuesta y aun despus de ms de cincuenta aos "nadie sabe la respuesta". Con respecto al segundo problema cuando la densidad es cero vamos a ver en el siguiente captulo que la respuesta es un rotundo s tanto en la versin bidimensional como en la versin original. Quiz el caso ms simple que queda an sin responder se refiere a la versin bidimensional, cuando la densidad es distinta de cero o un medio, y la seccin del cilindro es radialmente simtrica. Es decir, nadie conoce que yo sepa la respuesta a la siguiente pregunta: Si un cilindro con densidad uniforne distinta de cero y un medio, cuya seccin transversal es radialmente simtrica, tiene la propiedad de que flota en equilibrio manteniendo su eje paralelo a la superficie del agua en cualquier posicin en la que se le deje, deber ser ste un cilindro circular?

V. EQUILIBRIO EN CUALQUIER POSICIN

EL PROPSITO de este captulo es dar una respuesta afirmativa al siguiente problema de Ulam. Si un slido descansa en equilibrio en cualquier posicin en la que se le deje sobre una superficie plana horizontal, deber ser ste una esfera?

Empezaremos pensando en la versin bidimensional del problema. Para abordarlo necesitamos algunas definiciones, no muchas y un criterio de equilibrio. Para todo slido, o para toda figura, existe un punto que se comporta como si toda la masa estuviese concentrada en l. A este punto lo llamaremos el centro de masas de la figura o del slido. Si ] es una figura, K es su centro de masas y L es una lnea soporte de ], denotamos por LK al punto sobre L que es el pie de la perpendicular a L que pasa por K (ver figura

V.1). Si pensamos que L es el piso, entonces LK denota al punto sobre el piso que est exactamente abajo del centro de masas de].

Figura V.1 Decimos que una figura ] est en equilibrio con respecto a una lnea soporte L de y si sobre L, tanto a la izquierda de LK (incluyendo a LK como a la derecha de LK (incluyendo a LK podemos encontrar puntos de]. Intuitivamente estos puntos de], a la izquierda y a la derecha de LK, sern los puntos de apoyo de la figura ] que permiten que sta no se voltee ni hacia la derecha ni hacia la izquierda. El caso extremo en el que LK es el nico punto en el que se apoya ], la figura est en equilibrio, pues hemos acordado que LK est tanto a la derecha como a la izquierda de s mismo. La siguiente serie de figuras ilustra, de acuerdo con el criterio anterior, cuando una figura est o no en equilibrio.

Figura V.2 Una figura est en equilibrio en cualquier posicin en la que se le deje si est en equilibrio con respecto a cualquiera de sus lneas soporte. A continuacin demostraremos que si una figura "est en equilibrio en cualquier posicin en la que se le deje", es porque la figura es un crculo. Recordemos que una interpretacin fsica de este problema se refiere a que el cilindro circular es el nico

cilindro que tiene la propiedad de que, mientras su eje es paralelo a la superficie plana, permanece en equilibrio sin voltearse, en cualquier posicin en la que se le deje. Si una figura ] est en equilibrio en cualquier posicin en la que se le deje y L es una lnea soporte de ] entonces L toca a la figura y slo en el puntoLK. Demostracin. Supongamos que no: supongamos que existe una linea soporte L podemos pensarla como el piso y un punto X sobre ella, distinto de LK en donde ] se apoya (ver figura V.3). Veremos que esto es imposible, pues si as fuera existira una (posicin) lnea soporte con respecto a la cual ] no est en equilibrio. De hecho, intuitivamente, la demostracin consistir de "palanquearse" en el punto X para desequilibrarla. Sea R el rayo que parte de K y pasa por el punto medio de LK y X, al que llamaremos E. Perpendicular a este rayo, quiz muy abajo, existe una lnea L1 que no toca a la figura ] y que corta al rayo R en un punto al que llamaremos b. Vamos a deslizar paralelamente la lnea L1 hasta que toque a la figura ]. Al deslizarla, el punto b se ir desplazando sobre R hacia el punto K. Sean L1' y b' las posiciones finales de L1 y b en su viaje hacia ]. En su camino, b nunca sale a la superficie. Quiero decir; "el punto b' est bajo tierra y con l tambin uno de los rayos de L1' que empieza en b' " (vase figura V.3). Si no fuera as, querra decir que en su camino b pas por E. Un poquito antes de ese momento la lnea L1 an no tocaba a la figura quedamos en que la lnea L1 se paraba en el momento en que tocara a la figura, pero esto es imposible pues, siendo E el punto medio de X y LK' , la lnea que pasa por E y es paralela a L1 deja a K de un lado y a X del otro.

Figura V.3

Giremos tantito la cabeza y pensemos que ahora el piso es L1. Es claro que ] no est en equilibrio con respecto a L1 pues a un lado de b' no hay ningn punto en donde ] se apoye. Si una figura ] est en equilibrio en cualquier posicin en la que se le deje es porque la figura es un crculo. Demostracin. Para mostrar que la figura ] es un crculo vamos a hacer uso del resultado principal del captulo III. Con tal motivo necesitamos comprobar que por cada punto frontera M de ] pasa una lnea soporte que es perpendicular al segmento KM, donde K es el centro de masas de ]. Como cualquier lnea soporte de ] corta a ] en un solo punto, la figura ] es convexa. Tomemos un punto M de la frontera de ] y ya que ] es convexa tracemos una lnea soporte L de y por M. Nosotros sabemos que L corta a la figura ] precisamente en el punto LK, donde LK es el punto sobre L con la propiedad de que el segmento MLK es perpendicular a L. Por tanto, el segmento KM es perpendicular a la lnea soporte L, que era lo que necesitbamos comprobar. Una vez hecho esto, por el resultado principal del captulo III, sabemos que ] es un crculo.

Pasemos a trabajar con slidos que estn en equilibrio en cualquier posicin en la que se les deje. En forma anloga a lo hecho en las figuras, si U es un slido, K es su centro de masas y 4 es una plano soporte de U, denotamos por 4/ al punto sobre 4 que es el pie de la perpendicular a 4 que pasa por / (ver figura V.4). Si pensamos que 4 es el piso, entonces 4/ denota al punto sobre el piso que est exactamente abajo del centro de masas de U. Intuitivamente, un slido U est en una posicin en la que pierde el equilibrio, es decir, se cae, si sobre el piso existe una lnea que separa a todos los puntos de apoyo del slido, del punto del piso que est abajo del centro de masas (ver figura V.4).

Figura V.4 Fjese que en tal caso existe una lnea en el piso que pasa por el punto que est abajo del centro de masas, que no toca al slido y que deja a los puntos, en los que el slido se apoya sobre el piso, en uno de los lados determinados por ella Es por esto que vamos a decir que un slido Uest en equilibrio con respecto a un plano 4 si cualquier lnea de 4 que pase por 4O, o bien toca a U o deja a puntos de Q a ambos lados de ella. De hecho, lo que estamos diciendo es que U est en equilibrio con respecto al plano 4, si cualquier subconjunto convexo de 4 que contenga a los puntos en los que U toca a 4, tambin contiene a 4O. Es decir, si 4O est en el casco convexo de la parte comn entre 4 y U. Finalmente, un slido U est en equilibrio en cualquier posicin en la que se le de, si est en equilibrio con respecto a cualquiera de sus planos soporte. Supongamos que U es un slido que est en equilibrio en cualquier posicin en la que se le deje; entonces todas sus sombras son figuras que estn en equilibrio en cualquier posicin en las que se les deje. Ha visto usted perder el equilibrio a alguna sombra sin que lo pierda quien la proyecta? Demostracin. Vamos a ver que si en alguna direccin la sombra de U no est en equilibrio en cualquier posicin en la que se le deje; entonces, el slido tampoco est en equilibrio en cualquier posicin en la que se lo deje. De esta manera, si U est en equilibrio tambin lo estarn todas sus sombras. Supongamos por tanto que la proyeccin de U en la direccin d sobre el plano 4, a la que llamaremos ]no est en equilibrio en cualquier posicin en la que se le deje (ver figura V.5). Entonces existe en 4 una lnea soporte L de ] y un punto T de ella que no est en ], pero que tiene la propiedad de que todos los puntos en los que ] toca a L estn de un lado de 8 y Lk est del otro lado. Llamemos 4 a el plano paralelo a la direccin d que corta a 4 en L, y sea L1 la lnea paralela a la direccin d que corta a 4 en el punto 8. Es fcil ver que 4 es un plano soporte de U y que la lnea L1 de 4 no toca a U pero deja a los puntos en los que U se apoya en 4 de un lado y a 4/ del otro lado. Evidentemente, el slido Q no est en equilibrio con respecto al plano soporte4.

Figura V.5 De lo anterior se deduce que si un slido est en equilibrio en cualquier posicin en la que se le deje entonces todas sus proyecciones son crculos y, por lo tanto, que: Si un slido descansa en equilibrio en cualquier posicin en la que se le deje sobre una superficie plana horizontal, entonces el slido es una esfera.

VI. FIGURAS DE ANCHO CONSTANTE

EL CRCULO es el lugar geomtrico de todos los puntos que equidistan de un punto fijo llamado centro. Es precisamente debido a esta propiedad que las ruedas tienen forma circular. Si ponemos un eje en el centro, al rodar el crculo, debido a que todos los rayos tienen la misma longitud, el eje no sube ni baja, slo se traslada, siempre a la misma altura sobre el piso.

Figura VI.1 Antes de ser usado como rueda, el crculo tuvo otra aplicacin ms primitiva, la de ser usado como rodillo. Si colocamos un bloque muy pesado sobre varios rodillos circulares, al rodar stos, el bloque se traslada sin subir ni bajar, siempre a la misma altura sobre el piso. Es interesante observar y difcil de creer que estas dos aplicaciones del crculo, rueda y rodillo, estn basadas sobre principios radicalmente diferentes, es decir, la propiedad caracterstica del crculo que le permite ser usado como rueda es radicalmente distinta a la propiedad del crculo que le permite ser usado como seccin transversal de un rodillo. Tan es as que slo puede haber ruedas circulares, pero existen rodillos no circulares que, sorprendentemente, funcionan tan bien como los rodillos circulares. Veamos cul es la propiedad del crculo que permite que los rodillos circulares funcionen adecuadamente. Esta propiedad no tiene nada que ver con el centro del crculo, lo importante es que el rodillo circular, al rodar, mantiene al bloque siempre a la misma altura sobre el piso, debido a que el ancho del crculo es el mismo en cualquier direccin. Si los rodillos tuviesen forma elptica, es claro que al rodar stos, el bloque subira, bajara y acabara finalmente por desequilibrarse y caerse. Esto se debe a que en diferentes direcciones, una elipse tiene diferentes anchos (ver figura VI.2).

Figura VI.2

Existen figuras distintas del crculo con la propiedad de que en cualquier direccin que se tomen, su ancho es el mismo y por tanto, usadas como secciones de rodillos, funcionan tan bien como los rodillos circulares.

Veamos primero que significa el ancho de una figura]en una direccin dada. Tomemos una direccin y lneas soporte perpendiculares a est direccin que aprisionen a ]. La distancia entre estas dos lneas es el ancho de ] en esta direccin (ver figura Vl.3).

Figura VI.3 Es claro que si para dos direcciones diferentes el ancho de una figura no es el mismo, entonces esta figura, al ser usada como seccin de un rodillo, producir en el bloque que se pretende trasladar un movimiento hacia arriba y hacia abajo. Las figuras que tienen el mismo ancho en cualquier direccin son llamadas figuras de ancho constante. A estas alturas supongo que es urgente conocer una figura de ancho constante distinta del crculo. Quiz la ms sencilla sea el tringulo de Reuleaux: Sea ABC un tringulo equiltero de lado, digamos, uno (es decir, todos los lados del tringulo miden uno). Con centro en A y radio uno tracemos un arco de crculo de B a C (ver figura v.4). Con centro en B y radio uno tracemos un arco de crculo de C a A. Finalmente, con centro en C y radio uno tracemos un arco de circulo de A a B. La figura as obtenida se llama tringulo de Reuleaux.

Figura VI.4 La siguiente serie de dibujos (figura VI.5) nos convencer de que rodillos cuyas secciones transversales son tringulos de Reuleaux funcionan tan bien como los rodillos circulares. En ellos se muestra a uno de estos tringulos de Reuleaux rodar entre el piso y un bloque de cemento. El tringulo de Reuleaux, al rodar, siempre toca el piso y el bloque. En el primer movimiento el tringulo se apoya en C y el arco AB resbala sobre el bloque, en cambio en el segundo movimiento el arco BC rueda sobre el piso mientras el vrtice A se desplaza pegado al bloque.

Figura VI.5 Lo anterior prueba que el tringulo de Reuleaux es una figura de ancho constante; sin embargo, para reafirmarlo vamos a dar una demostracin directa de que el ancho en cualquier direccin es siempre uno: Tomemos una direccin d cualquiera. Es fcil ver que existe una lnea L perpendicular a la direccin d que es tangente a alguno de los arcos de crculo que forman el tringulo de Reuleaux. Digamos, por ejemplo, que L es tangente al arco AB en X (ver figura VI.6). La perpendicular a L por X pasa por C, que es el centro del arco AB. Por otro lado, la lnea L', paralela a L que pasa por C, es una lnea soporte. El ancho del tringulo de Reuleaux en la direccin d est dado por la distancia entre L y L', que es

uno, pues es la longitud del segmento CX. Es decir, el ancho en la direccin d es uno y por lo tanto el ancho en cualquier direccin es tambin uno.

Figura VI.6 El tringulo de Reuleaux forma parte de un mecanismo muy sencillo que actualmente es usado en la mayora de los proyectores de cine es a este mecanismo a quien por cierto le deben su peculiar sonido. Para evitar una imagen borrosa, la pelcula debe correr mientras el objetivo est cerrado y pararse mientras el objetivo est abierto. Para obtener este tipo de movimiento necesitamos un mecanismo que transforme el movimiento circular uniforme en un movimiento que alterne los periodos de descanso con los periodos de movimiento. A continuacin describimos este mecanismo. El mecanismo o aparato consta de dos partes: la primera es una tabla, digamos de madera, en donde existen dos ranuras y una abertura, tal y como lo muestra la siguiente figura VI.7.

Figura VI.7 Para fijar ideas, supongamos que el ancho de la abertura es de diez centmetros. Por cada una de las ranuras corre un tornillo pegado, digamos, a la pared, que slo le permite a la tabla moverse hacia arriba o hacia abajo, pero nunca hacia los lados. La segunda parte del mecanismo consta de un disco con la forma de un tringulo de Reeuleaux de diez centmetros de ancho, sujeto a un eje por el punto A. El eje trasmite el movimiento circular uniforme, lo que produce que el disco d vueltas alrededor del eje (ver figuraVI.8).

Figura VI.8 Finalmente, el disco se encuentra encajado dentrode la abertura de la tabla (figura VI.9).

Figura VI.9 El disco, al girar uniformemente, produce un movimiento ascendente o descendente en la tabla, movimiento que describiremos a continuacin (ver figura VI.10). Mientras el disco gira de la posicin 1 a la posicin 2, el arco BC del disco simplemente se desliza sobre la pared inferior de la abertura sin producir movimiento alguno en la tabla. Por el contrario, mientras el disco gira de la posicin 2 a la posicin 3, ste empuja a la tabla hasta que alcanza su altura mxima, precisamente en la posicin 3. Entre la posicin 3 y la posicin 4 la tabla permanece en su altura mxima, pues el arco BC del disco simple y sencillamente se desliza sobre la pared superior de la abertura. Finalmente, mientras el disco gira entre la posicin 4 y la posicin 1, la tabla baja hasta alcanzar su altura mnima en donde permanecer hasta que el disco pase por la posicin 2. De esta manera, el disco gira alrededor del eje A mientras la tabla sube y baja intercalando periodos de reposo cuando alcanza su altura mxima o mnima.

Figura VI.10 Existen muchas figuras de ancho constante. Por ejemplo, es fcil construirlas sobre polgonos regulares (con nmero impar de lados):

Figura VI.11 Existen otras sin picos:

Figura VI.12 o algunas otras poco simtricas, como la siguiente:

Figura VI.13 Para trazarla, empecemos por un cuadrado ABCD cuya diagonal tenga longitud, digamos, uno. Sean E y F puntos tales que las distancias ED, EC, FA y FD sean todas uno. Con Centro en D y radio uno tracemos el arco EF que pasa por B. Con centro en C y radio uno tracemos el arco AE. Con centro en A tracemos arco FC y, finalmente, con centros en E y F los arcos DC y AD respectivamente. Todas las figuras de ancho constante que hemos descrito poseen arcos de crculo, pero es posible construirlas sin que ningn pedacito sea un arco de crculo. Mencionaremos algunas de las propiedades ms interesantes de las figuras de ancho constante. i) Toda figura de ancho constante uno tiene dimetro uno. ii) Toda figura de ancho constante uno tiene permetro T. iii) Entre las figuras de ancho constante uno, la de ms rea es el crculo y, la de menor rea es el tringulo de Reuleaux. iv) El incrculo y el circumcrculo de una figura de ancho constante uno son concntricos y la suma de sus radios es uno. v) La nica figura de ancho constante radicalmente simtrica es el crculo. Normales y binormales Una de las caractersticas esenciales de las figuras de ancho constante es que poseen al igual que los crculos dimetros. Estos dimetros son aquellos segmentos de la figura con longitud mxima de cuyo comportamiento se desprenden las propiedades principales de una figura de ancho constante. A diferencia del crculo, los dimetros de una figura de ancho constante no concurren siempre en un punto, y cuando as lo hacen

es porque la figura o es un crculo o posee un arco de crculo. Para identificar aquellos segmentos con longitud mxima dentro de una figura de ancho constante es preciso empezar viendo qu tan lejanos entre s pueden estar dos de sus puntos. La distancia entre cualquier par de puntos de una figura de ancho constante h es siempre menor o igual a h. Esto se debe simple y sencillamente a que si hubiese dos puntos, X y Y a distancia mayor que h el ancho de la figura en la direccin del segmento XY sera mayor que h, debiendo ser h. S L es una lnea soporte de una figura U de ancho constante h, entonces L toca a U en un solo punto.

Figura VI.14 Para ver esto, tomemos L', la lnea soporte de U paralela a L (ver figura VI.14). Sabemos que U se encuentra aprisionada en la banda determinada por L y L' y que el ancho de esta banda es h. La lnea L' toca a U quiz en muchos puntos, de los cuales vamos a poner nuestra atencin slo en uno de ellos escjalo usted al que llamaremos Y. Como la distancia entre L y L' es h existe un solo punto, al que llamaremos X, en L, con la propiedad de que la distancia entre X y Y es h de hecho, X es el punto de L con la propiedad de que el segmento XY es perpendicular a las lneas L y L'. La distancia entre Y y cualquier otro punto de L, distinto de X, es estrictamente mayor que h. Por lo tanto, como Y est en U, ningn otro punto M de L, distinto de X, puede pertenecer a U piense tambin que si M estuviera en U, el ancho de U en la direccin del segmento YM sera mayor que h. Esto nos convence de que L toca a U slo en el punto X. Esta demostracin nos da como regalo, mucho ms. Intercambiando los papeles de L por L' tenemos que L' toca a U solamente en el punto Y y por lo tanto: Si L y L' son lneas soporte paralelas de una figura U de ancho constante, entonces tanto L como L' tienen conU un solo punto de contacto y el segmento que une estos dos puntos de contacto es perpendicular a L y a L'. (Ver figura VI.5).

Figura VI.15 Las consecuencias de la proposicin anterior son muchas y muy importantes. Las dos ms inmediatas son: i) Toda figura de ancho constante es una figura convexa, pues cualquiera de sus lneas soporte la toca en un solo punto. ii) El dimetro de una figura de ancho constante h es h, pues no hay dos puntos a distancia mayor que h, pero existen dos puntos los de contacto entre dos lneas soporte paralelas cuya distancia es h. Llamaremos dimetro de una figura de ancho constante al segmento de lnea que une los puntos de contacto de dos lneas soporte paralelas. Por supuesto, debido a que las figuras de ancho constante son convexas, sus dimetros se encuentran contenidos completamente dentro de ellas. En una figura de ancho constante h, los dimetros son precisamente los segmentos de lnea contenidos en la figura que tienen longitud h. Demostracin. En una figura de ancho constante h, la longitud de un dimetro es la distancia entre dos lneas soporte paralelas, que es h. Supongamos ahora que P y Q son dos puntos de una figura U de ancho constante y que la distancia entre ellos es h. Queremos ver que el segmento de lnea PQ es un dimetro de U. Si L y L' son las lneas soporte de U perpendiculares al segmento PQ en la banda determinada por ellas, cuyo ancho es h, se encuentra el segmento PQ cuya longitud es tambin h (ver figura v.16). Es claro entonces que el punto P debe de estar en L y el punto Q en L' o viceversa y por tanto que el segmento PQ es un dimetro de U.

Figura VI.16 Una cuerda de una figura] es un segmento de lnea contenido en ] cuyos extremos estn en la frontera de] (ver figura VI.l7). Una normal de una figura ] es una cuerda de] con la propiedad de que la lnea perpendicular por uno de sus extremos es lnea soporte de ]. Finalmente, una binormal de una figura] es una cuerda con la propiedad de que las lneas perpendiculares por sus dos extremos son lneas soporte de ] (ver figura v.17). Por supuesto, en una figura de ancho constante h, los conceptos de dimetro, binormal y cuerda de longitud h, coinciden.

Figura VI.17

Es en el siguiente hecho en donde se encuentra la parte ms profunda y original de nuestro tratamiento de las binormales de las figuras de ancho constante. Quiero agradecer a Rafael Morales el haberme sugerido parte de su demostracin. Una figura de ancho constante posee una binormal en cada direccin y viceversa; si una figura posee una binormal en cada direccin, es porque la figura es una figura de ancho constante. Demostracin. Supongamos que ] es una figura de ancho constante y sea d una direccin cualquiera. Tomemos las dos lneas soporte a ] perpendiculares a la direccin d. El segmento que une los puntos de contacto de] con estas dos lneas es una binormal en la direccin d. Antes de continuar con nuestra demostracin, necesitamos la siguiente construccin: A partir de una figura cualquiera J, vamos a construir otra figura J* de la siguiente manera: Tomemos un punto fijo K (ver figura VI.18). En la direccin d dibujemos un rayo que empiece en K y sobre este rayo tomemos un punto, al que llamaremos Pd, de tal forma que la distancia entre K y Pd sea precisamente el ancho de J en la direccin d. Al ir variando la direccin d, el punto Pd ir describiendo una figura J* con la propiedad de que si M es un punto en la frontera de J*, entonces la longitud del segmento KM es el ancho de la figura J en la direccin del segmento KM (ver figura VI.19).

Figura VI.18 Por supuesto, J* es diferente a J. De hecho, si J es una figura de ancho constante, entonces J* es un crculo, pues el ancho de J es el mismo en cualquier direccin. Por

otro lado, si J* es un crculo con centro en /, entonces el ancho de J es el mismo en cualquier direccin, por lo que J es una figura de ancho constante.

Figura VI.19 Una vez hecha est construccin regresemos a nuestro problema original. Supongamos que la figura ] tiene una binormal en cada direccin. Queremos ver que] es una figura de ancho constante. Para tal efecto bastar ver que ]* es un crculo. Para ver que ]* es un crculo, vamos a hacer uso del resultado principal del captulo III, el cual nos dice que si por cada punto frontera M de ]* pasa una lnea soporte de ]* perpendicular a KM, entonces]* es un crculo y por lo tanto ] es una figura de ancho constante. Manos a la obra: Tomemos M, un punto cualquiera de la frontera de ]* y sea L la lnea que pasa por M y es perpendicular a KM (ver figura VI.20). Queremos probar que L es una lnea soporte de ]*. Para esto bastar verificar que para cualquier otra direccin d, el segmento KPd nunca cruza la lnea L esto nos asegura que ]* est totalmente contenida a un lado de L.

Figura VI.20 Sean L1 y L2 las dos lneas soporte de ] perpendiculares a la direccin KM (ver figura VI.21), y sean X y Y los puntos en los que L1 y L2 tocan a] respectivamente. Sabemos que el segmento XY es paralelo al segmento KM y de igual longitud. Si identificamos a L con L1 que por cierto son paralelas, es decir, si pintamos a ] sobre ]* de tal manera que L1 coincida con L y el segmento XY con el segmento KM, veremos que L2 pasa por K y que la figura y se encuentra entre L y L2. Pensemos ahora en d, otra direccin cualquiera (ver figura VI.22). En la direccin d existe una binormal PQ de P cuya longitud es, por supuesto, el ancho de ] en la direccin d.

Figura VI.21

Figura VI.22 Adems, la binormal PQ est contenida en] y por lo tanto entre L y L2. Como el segmento PQ y el segmento KPd son paralelos pues ambos son paralelos a la direccin d y de la misma longitud, es fcil ver que entonces KPd nunca cruza la lnea L. Como esto sucede para cualquier direccin d, la figura ]* nunca cruza la lnea L y por lo tanto L que es perpendicular a KM por M es una lnea soporte de ]*. Por el resultado principal del captulo III, ]* es un crculo y por lo tanto y es una figura de ancho constante. A continuacin enunciaremos algunas propiedades de las binormales o dimetros de una figura de ancho constante h. i) Cualesquiera dos binormales se intersectan en la figura. ii) Si dos binormales se intersectan en un punto frontera, entonces por este punto pasa una multitud de lneas soporte y la parte de la frontera que se encuentra entre los otros dos extremos es un arco de crculo de radio h. iii) Si un segmento de arco de crculo E de radio h' pertenece a la frontera de la figura, entonces h' es menor o igual a h. Si h' es igual a h, el centro de Eest en la frontera de la figura y por l pasa una multitud de lneas soporte. Si h' es menor que h, el centro de a est en el interior de la figura y el segmento de arco de radio h-h' concntrico a E pero diametralmente opuesto, est en la frontera de la figura. El siguiente resultado clsico es de mucha utilidad. En una figura de ancho constante toda nornal es binormal y viceversa; si en una figura toda normal es binornal es porque la figura es de ancho constante.

Demostracin. Supongamos que U es una figura de ancho constante y que el segmento PQ es una normal de U, es decir, que la lnea L perpendicular a PQ por P es lnea soporte de U (ver figura VI.23). Queremos verificar que la lnea L1 perpendicular a PQ por Q es lnea soporte de U. Dibujemos la lnea soporte L' de U paralela a L. Sabemos que L' toca a U solamente en un punto, al que llamaremos X, y que el segmento PX es perpendicular tanto a L como a L'. Por lo anterior, el segmento PQ y el segmento PX deben coincidir, el punto X tiene que ser el punto Q y la lnea soporte L' tiene que ser la lnea L1. Es decir, PQ es una binormal, pues la lnea L1, perpendicular a PQ por Q es una lnea soporte.

Figura VI.23 Supongamos ahora que en la figuraU toda normal es una binormal. Para convencernos de que U es de ancho constante vamos a construir en cada direccin una binormal. Sea d una direccin cualquiera. Tracemos una lnea soporte L a U perpendicular a la direccin d y supongamos que L toca a U entre otros en el punto X. La cuerda de U, perpendicular a L que empieza en X, es una normal de U y por lo tanto una binormal que es paralela a la direccin d. Esto prueba que U posee una binormal en cada direccin y que por lo tanto es de ancho constante.

Tomemos una figura F de ancho constante. Sabemos que en cada direccin existe una binormal de F y que todas estas binormales miden exactamente lo mismo, digamos, uno. Vamos a construir una figura, quiz no convexa, de la siguiente manera: por cada binormal 1 de F, tracemos un segmento I' perpendicular a I, de longitud uno, de tal forma que los puntos medios de I y I' coincidan (ver figura VI.24). La binormal I, al ir tomando todas las direcciones, girar sobre la frontera de F y por supuesto, al mismo tiempo, los extremos del segmento I' describirn una nueva curva \. La siguiente figura muestra la construccin anterior para el tringulo de Reuleaux.

Figura VI.24 Resulta que la figura \ as obtenida es una curva de Zindler, es decir, cada una de las cuerdas I' de \, que por construccin tienen la misma longitud, parten el rea y el permetro de \ a la mitad. Recordemos que estas figuras son precisamente aquellas que flotan en equilibrio en cualquier posicin, cuando la densidad es un medio. Por supuesto uno puede revertir el proceso y empezar con una curva de Zindler \, trazando por cada cuerda I' de \ que parte el rea a la mitad, un segmento I, perpendicular a I' y de la misma longitud, de tal forma que los puntos medios de I y de I' coincidan. Al ir girando I' sobre la curva \, el segmento I describir una figura de ancho constante F cuyas binormales son las cuerdas I.

VII. SLIDOS DE ANCHO CONSTANTE

POR supuesto existen slidos de ancho constante. Tomemos una direccin en el espacio y planos soporte perpendiculares a esta direccin que aprisionen a un slido U. La distancia entre estos dos planos es el ancho de U en esta direccin. Un slido de ancho constante es un slido con la propiedad de que su ancho es el mismo en cualquier direccin. Es fcil construir un slido de ancho constante rotando el tringulo de Reuleaux como lo indica la siguiente figura:

Figura VII.1 En un slido de ancho constante h, la distancia entre cualquier par de puntos es menor o igual a h. La razn, al igual que en las figuras de ancho constante, es que si hubiese dos puntos, X y Y a distancia mayor que h el ancho del slido en la direccin del segmento XY sera mayor que h cuando debe ser h. Si 4 y 4' son dos planos paralelos a distancia h y Y es un punto de4'; entonces existe un nico punto X en P aqul para el cual el segmento XY es perpendicular a 4 y a4' con la propiedad de que la distancia entre Y y X es h. Para cualquier otro punto M en 4, la distancia entre Y y M es mayor que h. Es por lo anterior que, de la misma forma como lo demostramos para las figuras de ancho constante: Si 4 y 4' son planos soporte paralelos de un slido U de ancho constante, entonces tanto 4 como4' tienen con U un solo punto de contacto y el segmento que une estos dos puntos es perpendicular tanto a 4 como a 4'. De lo anterior deducimos que todo slido de ancho constante h es un slido convexo con dimetro h. Llamaremos dimetro de un slido de ancho constante al segmento de lnea que une los puntos de contacto de dos planos soporte paralelos. En forma similar a como fue probado para las figuras, es fcil ver que los dimetros de un slido de ancho constante h son precisamente los segmentos de lnea contenidos en el slido que tienen longitud h. Lo siguiente nos permitir demostrar que un slido es de ancho constante verificando que todas sus proyecciones son figuras de ancho constante. Si todas las proyecciones de un slido U son figuras de ancho constante h, es porque el slido U es un slido de ancho constante h y viceversa; las proyecciones de un slido de ancho constante h son siempre figuras de ancho constante h.

Figura VII.2 Demostracin. Supongamos que todas las proyecciones del slido U son figuras de ancho constante h. Queremos ver que Ues un slido de ancho constante h (ver figuraVII.2). Tomemos d, una direccin cualquiera escoja usted una. Llamemos 41 y 42 a los planos soporte de U perpendiculares a la direccin d. Vamos a verificar que el ancho de U en la direccin d, es decir, la distancia entre 41 y 42, es igual a h. Tomemos d1, una direccin perpendicular a d y proyectemos a q en la direccin de d1 sobre el plano 43 que es perpendicular a d1. Llamemos d1 (U) a la proyeccin deU sobre 43 y L1 y L2 a las lneas que se obtienen cuando 43 corta a 41 y a 42 respectivamente. Es claro que L1 y L2 son lneas soporte de d1(U) y adems la distancia entre ellas es precisamente la distancia entre 41 y 42. Como d1(U) es de ancho constante h, entonces la distancia entre L1 y L es h y por lo tanto el ancho de U en la direccin d es h. Si ahora escogemos cualquier otra direccin podemos argumentar igual para concluir tambin que en esta otra direccin el ancho de U es h, es decir, para concluir que el ancho de U en cualquier direccin es h.

Figura VII.3 Supongamos ahora que U es un slido de ancho constante h y que d(U) es la proyeccin de U en la direccin d sobre el plano4 (ver figura VIII.3). Queremos demostrar que d(U) es una figura de ancho constante h. Para tal efecto bastar tomar una direccin cualquiera d1 en el plano 4 y ver que el ancho de d(U) en la direccin d1 es h. Pensemos en los planos y 41 y 42 en la direccin d que cortan a 4 en L1 y L2, respectivamente. Vemos que 41 y 42 son planos soporte de U pues sus proyecciones en la direccin d son precisamente L1 y L2. Como U es de ancho constante h y la distancia entre 41 y 42 es la misma que la distancia entre L1 y L2 tenemos que el ancho de d(U) en la direccin d1 es h. Es decir, d(U) es una figura de ancho constante h. Ser cierto que si todas las tajadas (secciones transversales) de un slido son figuras de ancho constante, necesariamente el slido es un slido de ancho constante? La respuesta es s pero, como veremos ms adelante, esta respuesta es ms interesante que un simple s. Por ahora, necesitamos una caracterizacin de los slidos de ancho constante en trminos de sus binormales. Una cuerda de un slido y es un segmento de lnea contenido en ] cuyos extremos estn en la frontera de ]. Una normal de un slido ] es una cuerda de ] con la propiedad de que el plano perpendicular por uno de sus extremos es plano soporte de y. Finalmente, una binormal de un slido ]es una cuerda con la propiedad de que los planos perpendiculares por sus dos extremos son planos soporte de ]. Por supuesto, en un slido de ancho constante h, los conceptos de dimetro, binormal y cuerda de longitud h, coinciden. Si en un slido toda normal es binormal es porque el slido es de ancho constante y viceversa; en un slido de ancho constante toda normal es binormal.

Figura VII.4 Demostracin. Supongamos que tenemos un slido U con la propiedad de que todas sus normales son realmente binormales. Vamos a ver que si as es, entonces todas sus proyecciones son de ancho constante y por lo tanto, l mismo es de ancho constante. Tomemos d, una direccin cualquiera, y proyectemos a U en la direccin d sobre el plano 4 perpendicular a d. Llamemos d(U) a la proyeccin de U sobre 4 (ver figura VII.4). Vamos a comprobar que d(U) es de ancho constante probando que toda normal de d(U) es una binormal. Sea PQ una normal de d(U), es decir, PQ es una cuerda de d(U) y la lnea L que se encuentra en 4 y es perpendicular a PQ por P es lnea soporte de d(U). Sea 41 el plano paralelo a la direccin d que corta a 4 en la lnea L. Es decir, 41 es el plano que, al proyectarse sobre4 en la direccin d, deja a la lnea L como sombra. Por supuesto 41, es un plano soporte de Uy por tanto existe un punto P' en el que se proyecta sobre el punto P. Sea P'Q' la cuerda de U perpendicular a41. La cuerda P'Q' es una normal deU y por lo tanto una binormal de U. As, el plano 42 perpendicular a P'Q' por Q' , es un plano soporte de U. Por otro lado, el plano 42 corta a 4 en la lnea L' que es una lnea soporte de d(U) paralela a L pues 41 y 42 son planos paralelos. Obviamente, la proyeccin de la cuerda P'Q' sobre 4 es la cuerda PQ de d(U). Por lo tanto, la lnea soporte L' pasa por U, lo que muestra que PQ es realmente una binormal de d(U). Esto muestra que d(U) es una figura de ancho constante. Como toda proyeccin de U es de ancho constante, entonces U tambin lo es. Supongamos ahora que U es un slido de ancho constante. Es posible convencerse de que toda normal de U es una binormal repitiendo, palabra por palabra, la demostracin de que lo mismo sucede en las figuras de ancho constante Si toda seccin transversal de un slido 5 es una figura de ancho constante es porque el slido5es una esfera.

Demostracin. Empezaremos demostrando que 5 es un slido de ancho constante, verificando que todas sus normales son en realidad binormales. Sea PQ una normal de 5 y llamemos 4 al plano soporte de 5, perpendicular a PQ, que pasa por 4 (ver figura VII. 5). Necesitamos probar que el plano 4' , perpendicular a PQ, que pasa por 5, es un plano soporte de 5. Pensemos en un plano cualquiera que pase por PQ. Escoja usted uno y llmelo 41. La seccin transversal determinada por 41 es una figura de ancho constante, a la que llamaremos 51. Claramente, PQ es una normal de 5l pues, si L es la lnea en donde 4 corta a 41, entonces L es una lnea soporte de 5l que pasa por4 y es perpendicular a PQ. Como en una figura de ancho constante toda normal es binormal, entonces si L' es la lnea en donde 4' corta a 41, tenemos que L' es una lnea soporte de 51 que pasa por 5 y es perpendicular a PQ. Como lo mismo pasa para cualquier plano que contenga a PQ entonces 4 'es un plano soporte de 5, PQ es una binormal de 5, y 5 es un slido de ancho constante.

Figura VII.5 A continuacin mostraremos que 5 es realmente una esfera demostrando que todas las proyecciones de 5 son crculos. Tomemos d, una direccin cualquiera, y llamemos 4 y 4 a los planos soporte de 5 perpendiculares a la direccin d (ver figura VII.6). Como 5 es un slido de ancho constante, digamos h, entonces el plano 4 toca a 5 en el punto K, el plano 4' toca a 5 en el punto T y K T es una cuerda de longitud h, perpendicular a 4 a 4 '. Sea ] la proyeccin de 5en la direccin d, sobre el plano 4. Usaremos el resultado principal del captulo III para demostrar que ] es un crculo. Tomemos un punto M de la frontera de ]. Necesitamos comprobar que existe una lnea soporte de ] que pasa por M y es perpendicular al segmento de lnea KM. Para esto ser suficiente probar que la cuerda MN de ] que pasa por K y por M es una binormal de ].

Figura VII.6 Tomemos ahora el plano 41 que pasa por los puntos K, T, M y N, y llamemos J a la figura de ancho constante h que se obtiene en 41 como seccin transversal de 5. Las lneas L1 y L2, paralelas a KT, que estn en 41 y pasan por M y por N respectivamente, son lneas soporte de 5 por lo que la distancia entre ellas, es decir, la longitud del segmento MN, es h. Luego entonces, MN es una cuerda de ] que tiene longitud h. Como ] es una figura de ancho constante, por ser proyeccin de un slido de ancho constante, MN es una binormal de ]y por lo tanto, por M pasa una lnea soporte de ]que es perpendicular al segmento KM. Por el resultado principal del captulo III, ] es un crculo. Finalmente, 5 es una esfera pues todas sus proyecciones son crculos. Anora es claro, puesto que no todo slido de ancho constante es una esfera, que no todas las tajadas de un slido de ancho constante, distinto de una esfera, son figuras de ancho constante pero, entonces, qu figuras pueden obtenerse como tajadas de un slido de ancho constante? Es posible que una figura convexa muy larga, por ejemplo con la forma de una lombriz ovalada, pueda obtenerse como tajada de un slido de ancho constante? La respuesta a la segunda pregunta es s, siempre y cuando el slido sea de un ancho suficientemente grande.

VIII. LA CONJETURA DE MIZEL

A CONTINUACIN vamos a platicar sobre una conjetura que estuvo rondando, a principios de los aos sesentas, en los crculos matemticos interesados en la convexidad geomtrica. Esta conjetura fue propuesta por V. Mizel y fue resuelta en el ao de 1961 por A. S. Besicovitch. Pensemos en un crculo. Ponga usted sobre l un rectngulo de tal forma que tres de sus esquinas queden colocadas sobre la frontera del crculo. Es intuitivamente claro que entonces la cuarta esquina estar tambin sobre la frontera del crculo. Esta propiedad del crculo no la comparten otras figuras, como por ejemplo las elipses o el tringulo de Reuleaux. (ver figura VlII.1). La conjetura de Mizel afirmaba que slo el crculo posee esta curiosa propiedad.

Figura VIII.1 Supongamos que usted tiene una figura convexa 5 con la propiedad de que cada vez que usted pone un rectngulo de tal forma que tres de sus esquinas quedan colocadas sobre la frontera de 5 entonces misteriosamente, la cuarta esquina tambin queda colocada sobre la frontera de 5. Empezaremos convencindonos de que esta misteriosa figura convexa5 tiene que ser una figura de ancho constante. Para demostrar que 5 es una figura de ancho constante bastar ver que toda normal de 5 es una binormal. Sea PQ una normal de 5 (ver figura VIII .2) y sea L la lnea soporte de 5que pasa por P y es perpendicular a PQ. Sea L1 la otra lnea soporte de 5 paralela a L. Queremos ver que Q est realmente sobre L1. Sea L2 la lnea paralela a L que pasa por 5. Como 5 es una figura convexa y Q est en la frontera de 5, la lnea corta a 5 exactamente en el segmento QR donde R es un punto de la frontera de 5. Consideremos el rectngulo PQRS determinado por los puntos P, Q y R. Claramente S pertenece a la frontera de 5, pero entonces, siendo 5 convexo, todo el segmento PS pertenece a la frontera de 5. Tomemos ahora cualquier punto S' en el segmento PS y consideremos el rectngulo PQR'S' determinado por los puntos P, Q y S. Tenemos entonces que R' est en la frontera de 5. Como S' fue en realidad cualquier punto del segmento PS, entonces todo el segmento QR pertenece a la frontera de 5, por lo que la lnea L, al tocar a 5 slo en puntos frontera, tiene que ser

necesariamente una lnea soporte de 5. Es decir, la lnea L2 es realmente la lnea soporte L1, el punto Q est en L1=L2 y por lo tanto PQ es una binormal y no slo una normal de 5. Hemos comprobado que toda normal de 5 es una binormal de 5, lo que muestra que 5 es una figura de ancho constante.

Figura VIII.2 Demostrar finalmente que 5 es un crculo que requiere de ms trabajo; sin embargo, en este momento es interesante notar que la versin tridimensional de este problema es, en virtud de nuestro trabajo previo, mucho ms sencilla de demostrar. Supongamos que un slido 5 tiene la propiedad de que cada vez que un rectngulo tiene tres de sus esquinas en la frontera de 5 entonces la cuarta esquina est tambin en la frontera de 5. Es fcil ver que 5es una esfera puesto que, en virtud de lo anterior, cada una de sus tajadas es una figura de ancho constante y sabemos, por el captulo anterior, que la esfera es el nico slido con la propiedad de que todas sus tajadas son de ancho constante.

Figura VIII.3 Antes de continuar con nuestro problema original, recordemos un hecho simple de la geometra. Supongamos que tenemos un tringulo rectngulo ABC con hipotenusa AC, es decir, supongamos que en el tringulo ABC, el segmento AB es perpendicular al segmento BC. (ver figura VIII.3) Entonces el crculo ], que tiene al segmento AC como dimetro, pasa por B. Ms an, si un punto X est sobre este crculo, el ngulo AXC tiene exactamente noventa grados; si el punto X est dentro del crculo ] entonces el ngulo AXC tiene ms de noventa grados y los puntos X exteriores al crculo ] son precisamente aquellos puntos para los cuales el ngulo AXC tiene menos de noventa grados. Volvamos a nuestro problema original. Tenemos una figura de ancho constante 5 con la propiedad de que si un rectngulo tiene tres de sus esquinas en la frontera de 5 entonces la cuarta esquina tambin est en la frontera de5. Queremos ver que 5 es realmente un crculo. Lo iremos viendo por partes. Lo primero que tenemos que notar es que, debido a que 5 es de ancho constante, existe por ah un punto en la frontera de5 por el cual pasa una sola lnea soporte. Vamos a encontrar dicho punto. Tomemos A, cualquier punto en la frontera de 5 (ver figuraVIII. 4). Si por A pasa una sola lnea soporte, ya lo hemos encontrado. Si no, existen dos lneas soporte, L1 y L2 de 5, por A; ms an, cualquier lnea que pase por A entre L1 y L2, es lnea soporte de 5. Las cuerdas de 5 que pasan por A y son perpendiculares a todas estas lneas soporte son binormales de 5 y por lo tanto todas ellas poseen la misma longitud. Luego entonces, en la frontera de 5, en la parte opuesta a A, existe un arco de crculo con centro en A. Hemos encontrado el punto que buscbamos, pues por cualquiera de los puntos del interior de este arco de crculo pasa solamente una lnea soporte de 5. De ahora en adelante llammosle A a este punto de la frontera de 5. Notemos que por A pasa una sola lnea soporte y por lo tanto una sola binormal de5.

Existen muchos rectngulos inscritos en 5, es decir, con sus cuatro esquinas sobre la frontera de 5. Algunos de ellos tienen al punto A como una de sus esquinas. Construir de estos ltimos es muy fcil; basta seguir una cuerda AB, que no sea una binormal de 5, doblar a noventa grados en B sobre la perpendicular a AB hasta encontrar la frontera de 5, digamos en el punto C. El rectngulo ABCD determinado por los puntos A, B y C tiene sus cuatro esquinas sobre la frontera de Q.

Figura VIII.4 Dmosle una direccin a la frontera de 5. Empezando en A y caminando en esta direccin, sobre la frontera de5, paremos en M la primera vez que encontremos un rectngulo ABMD con diagonal AM inscrito en Q. Notemos que si X es un punto de la frontera de 5 que se encuentre, siguiendo esta direccin, entre A y M, entonces la perpendicular a la cuerda AX por X corta a la frontera de 5 en un punto Y que se encuentra, siguiendo esta misma direccin, despus de M (ver figura VIII .5). Por lo tanto, para cualquier punto X de la frontera de 5 que se encuentre entre A y M, el ngulo AXM tiene ms de noventa grados y consecuentemente se encuentra dentro del crculo ^ , que tiene al segmento AM como dimetro. Es decir, el arco AM de la frontera de F se encuentra dentro del crculo^.

Figura VIII.5 Vamos a demostrar que la cuerda BD, diagonal del rectngulo ABMD, es una binormal de 5. Bastar ver que la lnea soporte a 5 por B es perpendicular a la cuerda BD. Tracemos el crculo ^ que tiene a AM como dimetro y pasa por los puntos B y D. Sea L la lnea tangente a ^ por el punto B. Dado que el arco AM de la frontera de 5 se encuentra dentro de ^, la lnea L es una lnea soporte de 5 que pasa por B. Siendo BD una diagonal del rectngulo ABMD, es claro que la lnea L es perpendicular al segmento BD. Es decir, BD es una normal y por lo tanto una binormal de 5. Ahora que ya sabemos que BD es una binormal de 5, es fcil ver que tambin la cuerda AM es una binormal de 5, puesto que cualquier cuerda de 5 que tenga la misma longitud que la longitud de BD es una binormal de 5. Volvamos a caminar sobre la frontera de5, pero esta vez paremos en el punto N la ltima vez que encontremos un rectngulo AGNT inscrito en 5 con diagonal AN. De la misma manera en que verificamos que AM era una binormal de 5, es posible comprobar hgalo usted que AN es tambin una binormal de 5, pero como escogimos el punto A de tal forma que por l slo pasase una binormal, el punto M tiene que coincidir con el punto N. Debido a la forma como encontramos al punto M y el punto N, al coincidir estos dos, tenemos que todo rectngulo inscrito en 5, que tiene a A como a una de sus esquinas, tiene forzosamente al segmento AM como una de sus diagonales. En particular, si X es cualquier punto de la frontera de 5, distinto de A y de M, y L es una lnea perpendicular a AX por X, entonces L corta a la frontera de 5 en M, de lo contrario habra un rectngulo inscrito en 5 cuya diagonal no es AM. Es decir, para cualquier punto X en la frontera de5, el ngulo AXM tiene noventa grados y por

lo tanto X tiene que estar en el crculo que tiene a AM como diagonal. Esto es, 5 es necesariamente el crculo con dimetro AM.

BIBLIOGRAFA
Auerbach, H., "Sur un problme de M. Ulam concernant l' equilibre des corps flottant", Studia Math. 7 (1938) 121-442. Boltianskii, V.G. y Yaglom, I.M., Convex Figures, Holt, Rinehart and Wiston, Nueva York. 1961. Boltianskii, V.G. y Gojberg, I.T., Divisin de Figuras en Partes Menores, Lecciones Populares de Matemticas, Editorial MIR, Mosc. 1973. Bonnesen, T. y Fenchl, W., Theorie der Konvexen Korper, Ergebn. d. Math. u ihrer Grenzgeb. Bd.3, J. Springer Verl., Berln. 1934. Chakerian, G.D. y Groemer, H., "Convex bodies of constant width", Convexity and its Applications, Gruber, P. y Wills, J.M. (comps.), (1983) 49-96. Danzer, L., "A Characterization of the circle", Proc. Sympos. Pure Math, Vol.VII, Amer. Math. Soc., Providence, R.I. (1963) 101-180. Fenchel, W., "Convexity trough the ages", Convexity and its Applications, Gruber, P. y Wills, J.M. (comps.), (1983) 120-130. Mauldin, R.D., The Scottish Book, Mathematics from the Scottish Caf, Birkhauser, Boston. 1981. Montejano, L., "On a problem of Ulam concerning a characterization of the sphere", Studies in Applied Math.,Vol.LIII, No.3 (1974) 243- 248. Rademacher, H. y Toeplitz, O., The Enjoyment of Mathematics, Selection from Mathematics for the Amateur, curves of constant breadth, Princeton University Press, Princeton, NJ. 1966. Ulam, S.M., A Collection of Mathematical Problems, Interscience Publishers. 1960. Valentine, F.A., Convex Sets Mc. Graw Hill, Nueva York. 1964.

CONTRAPORTADA

Dentro de los objetos geomtricos que a todos nos llaman poderosamente la atencin estn las esferas y los crculos. Desde los griegos su perfeccin hizo que fuesen parte esencial de toda visin cosmolgica; concepcin con la que rompi el Renacimiento, pero no por esto nuestra fascinacin por ellos disminuy. Para convencernos de ello basta la cara de nuestro pequeo hijo observando una pompa de jabn. Podramos suponer que acerca de dichos personajes todo lo conocemos. Nada ms lejano de la realidad; la presente obra nos muestra nuevas facetas de ellos que los vuelven an ms cautivadores y nos prueban que siguen vivos. Los resultados de los que el autor nos habla estn enmarcados dentro de la teora de los cuerpos convexos; teora que tuvo un fuerte impulso en la primera mitad de nuestro siglo y sigue cultivndose actualmente con una gran diversidad de problemas. En este libro, el lector se sorprender de la naturalidad con la que los resultados aparecen y se eslabonan; sin embargo hay que aclarar que esto es producto del trabajo del autor y su manera de ver el quehacer matemtico. Para l, las matemticas son algo de lo que todos podemos disfrutar, de la misma manera que los matemticos lo hacen cuando se plantean, piensan y discuten entre ellos los problemas. Un ejemplo de lo anterior es el relato acerca del "Caf Escocs", que tanto tuvo que ver con el desarrollo de la escuela polaca de matemticas. En cualquier otro idioma difcilmente el lector encontrar un libro que como ste le haga sentir qu es la matemtica. Luis Montejano es investigador del Instituto de Matemticas de la UNAM y profesor de la Facultad de Ciencias de la misma casa de estudios, donde curs la licenciatura. Su doctorado lo obtuvo en la Universidad de Utah (EUA) con un trabajo sobre topologa, rea que sigue siendo su principal inters. Diseo: Carlos Haces / Fotografa: Carlos Franco