L A

C A R A
O C U L T A
L A S
E S F E R A S

D E

Autor: LUIS MONTEJANO PEIMBERT

COMIT DE SELECCIN
EDICIONES
INTRODUCCIN
I. SOMBRAS Y TAJADAS
II. CONVEXIDAD
III. EL CRCULO
IV. EL "LIBRO ESCOCS"
V. EQUILIBRIO EN CUALQUIER POSICIN
VI. FIGURAS DE ANCHO CONSTANTE
VII. SLIDOS DE ANCHO CONSTANTE
VIII. LA CONJETURA DE MIZEL
BIBLIOGRAFA
COLOFN
CONTRAPORTADA

C O M I T

D E

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

S E L E C C I N

Dr. Julio Rubio Oca

Dr. Jos Sarukhn
Dr. Guillermo Sobern
Coordinadora:
Mara del Carmen Faras

E D I C I O N E S

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

I N T R O D U C C I N

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 .

S O M B R A S

T A J A D A S

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 es un crculo, entonces 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 slido es
llamada la circumesfera de . Su cscara debe tocar al slido , puesto
que si no lo toca sta no sera la esfera ms pequea que contiene a
(vase Figura I.2).

Figura I.2
De hecho, la cscara de la circumesfera debe tocar al slido 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 (Figura I.3).
Fijemos nuestra atencin en dos puntos de la cscara de la circumesfera
de que se encuentren tambin en . 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 , mostrando as que y su circumesfera coinciden.

Figura I.3.
Manos a la obra: fijmonos en cualquier punto de la cscara de la
circumesfera de (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 slido 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 Y y a Z en su orilla. A su vez,
este plano corta al slido 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 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

slido . Ahora podemos fijar nuestra atencin en cualquier otro punto

de la cscara de la circumesfera de 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 . Hemos
pues demostrado que el slido 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 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 plano 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 .

Figura I.6
Si toda proyeccin de un slido es un crculo, entonces 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 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 y a
verificar si ambas sombras tienen el mismo dimetro. Sean pues y
los planos elegidos y sean ( ) y () los crculos que se obtienen al
proyectar sobre y respectivamente (vase figura I.7).

Figura I.7
El cilindro generado por la sombra que deja al ser proyectado sobre
el plano es un tubo que perfora perpendicularmente a precisamente
en el crculo ( ). Este tubo se proyecta sobre dejando como
sombra una banda que aprisiona perfectamente al crculo (). Por lo
tanto, el dimetro de () 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 ().
Nos hemos convencido ya de que todas las sombras del slido son
crculos del mismo dimetro. Ahora vamos a convencernos de que,
efectivamente, el slido es una esfera. Con tal propsito vamos a
pensar de nuevo en la circumesfera de , es decir, en la esfera ms
pequea que contiene a . Conviene imaginar de nuevo que la
circumesfera es azul, que el slido es rojo y que, en cualquier
direccin que se tome, la sombra que proyecta el slido y su

circumesfera es un crculo rojo dentro de un crculo azul. Recordemos

que todas las sombras de 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 y de su
circumesfera coinciden. Lo haremos encontrando simplemente, una
direccin en la que las sombras proyectadas por el slido y su
circumesfera coincidan.
Sean X y Y dos puntos de la cscara de la circumesfera que sean parte
del slido . 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
, 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 y su circumesfera proyectan la misma sombra. Ser esto
suficiente para asegurar que es una esfera? S 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 . 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 , entonces
Z' no sera parte de la sombra de , lo cual no es posible pues sabemos
que las sombras de y su circumesfera coinciden. Por lo tanto,
forzosamente, Z debe formar parte de (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 forma parte de , lo cual nos indica
que 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

I I .

C O N V E X I D A D

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 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 .
Llammosle C a este punto. Si C fuera un punto interior habramos
tocado a antes de llegar a C, pues existe una bolita, alrededor de C,
totalmente contenida en . Por otro lado, si C fuera un punto exterior,
entonces al llegar a C, an no habramos tocado a . Como no es
interior ni exterior, C tiene que ser un punto frontera.
Entre dos puntos interiores A y B, de una figura convexa todos los
puntos son puntos interiores.
Demostracin. Como en otras ocasiones, conviene pensar que es de
color rojo. Alrededor de A y de B existen bolitas de color rojo. Como
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
es roja. Alrededor de A existe una bolita roja a la que llamaremos .
Como todos los segmentos que unen el punto B con algn punto de
son rojos, entonces existe un barquillo rojo, que empieza en B y cuya
nieve es (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 entonces L corta a la frontera de en 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 es llamada
el casco convexo de (ver figura II.12) Por supuesto, cuando la figura
es convexa, su casco convexo y ella coinciden.

Figura II.12
El casco convexo de se obtiene al tomar la parte comn de todas las
posibles figuras convexas que contienen a . En las figuras planas, otra
forma de obtenerlo es considerar a Q ms todos los posibles segmentos
con extremos en .
A continuacin usaremos el hecho anterior para probar la siguiente
propiedad de las figuras convexas.

Si toda lnea soporte de una figura toca a la frontera de en un solo

punto, es porque la figura es convexa.
Demostracin. Vamos a ver que cualquier punto A de la frontera del
casco convexo de est en , con lo cual ser convexa, pues coincide
con su casco convexo. Si A no estuviera en , entonces A estara en
algn segmento PQ con extremos P y Q en Q recordemos que el
casco convexo de se obtiene mediante ms todos los posibles
segmentos con extremos en . Por A pasa una lnea soporte L del casco
convexo de (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 .

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.

I I I .

E L

C R C U L O

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 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
toca al piso, entonces 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 en el 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 . Denotemos por
O a su centro. El crculo 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 , 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 .

Las posibilidades que tenemos, ante estos dos hechos, son las
siguientes:
a) K es igual a O, es decir, K es centro del incrculo ,
b) K es distinto de O, en cuyo caso, el punto X y el punto Y son
diametralmente opuestos en , 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 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 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 slo toca a la frontera de 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 .

Figura III.10
Ahora, una vez que hemos acabado con las afirmaciones i), ii) e iii),
ser muy fcil ver que el incrculo de , y coinciden. Sea P
cualquier punto de la frontera de . Cul? El que usted escoja.
Comprobaremos que P est en el incrculo . 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 . Como es el crculo ms grande dentro de ,
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.

I V .
E L
" L I B R O
E S C O C S "

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 .
E Q U I L I B R I O
E N
C U A L Q U I E R
P O S I C I N

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 . 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 . 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 el punto medio de X y LK' , la lnea que pasa
por 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 es un slido, K es su

centro de masas y es una plano soporte de , denotamos por al
punto sobre que es el pie de la perpendicular a que pasa por (ver
figura V.4). Si pensamos que es el piso, entonces denota al punto
sobre el piso que est exactamente abajo del centro de masas de .
Intuitivamente, un slido 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 est en equilibrio con
respecto a un plano si cualquier lnea de que pase por , o bien
toca a o deja a puntos de Q a ambos lados de ella.
De hecho, lo que estamos diciendo es que est en equilibrio con
respecto al plano , si cualquier subconjunto convexo de que
contenga a los puntos en los que toca a , tambin contiene a . Es
decir, si est en el casco convexo de la parte comn entre y .
Finalmente, un slido 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 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
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 est en equilibrio tambin lo
estarn todas sus sombras. Supongamos por tanto que la proyeccin de
en la direccin d sobre el plano 1, a la que llamaremos no est en
equilibrio en cualquier posicin en la que se le deje (ver figura V.5).
Entonces existe en 1 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 y Lk est del otro lado.
Llamemos a el plano paralelo a la direccin d que corta a 1 en L, y
sea L1 la lnea paralela a la direccin d que corta a 1 en el punto . Es
fcil ver que es un plano soporte de y que la lnea L1 de no toca
a pero deja a los puntos en los que se apoya en de un lado y a
del otro lado. Evidentemente, el slido Q no est en equilibrio con
respecto al plano soporte .

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.

V I .

F I G U R A S
D E
A N C H O
C O N S T A N T E

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 .
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 de ancho constante h,
entonces L toca a en un solo punto.

Figura VI.14
Para ver esto, tomemos L', la lnea soporte de paralela a L (ver figura
VI.14). Sabemos que 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 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 , ningn otro punto M de L, distinto
de X, puede pertenecer a piense tambin que si M estuviera en ,
el ancho de en la direccin del segmento YM sera mayor que h. Esto

nos convence de que L toca a 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
solamente en el punto Y y por lo tanto:
Si L y L' son lneas soporte paralelas de una figura de ancho
constante, entonces tanto L como L' tienen con 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 de ancho
constante y que la distancia entre ellos es h. Queremos ver que el
segmento de lnea PQ es un dimetro de . Si L y L' son las lneas
soporte de 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 .

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 , vamos a construir otra figura * 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 en la direccin d. Al ir variando la
direccin d, el punto Pd ir describiendo una figura * con la propiedad
de que si M es un punto en la frontera de *, entonces la longitud del
segmento KM es el ancho de la figura en la direccin del segmento
KM (ver figura VI.19).

Figura VI.18
Por supuesto, * es diferente a . De hecho, si es una figura de ancho
constante, entonces * es un crculo, pues el ancho de es el mismo en
cualquier direccin. Por otro lado, si * es un crculo con centro en ,
entonces el ancho de es el mismo en cualquier direccin, por lo que
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 L1que
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 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 est 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 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 es una figura de ancho constante y
que el segmento PQ es una normal de , es decir, que la lnea L
perpendicular a PQ por P es lnea soporte de (ver figura VI.23).
Queremos verificar que la lnea L1 perpendicular a PQ por Q es lnea
soporte de . Dibujemos la lnea soporte L' de paralela a L. Sabemos
que L' toca a 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 figura toda normal es una binormal.
Para convencernos de que es de ancho constante vamos a construir en
cada direccin una binormal.
Sea d una direccin cualquiera. Tracemos una lnea soporte L a
perpendicular a la direccin d y supongamos que L toca a entre
otros en el punto X. La cuerda de , perpendicular a L que empieza
en X, es una normal de y por lo tanto una binormal que es paralela a
la direccin d. Esto prueba que 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.

V I I .

S L I D O S
D E
A N C H O
C O N S T A N T E

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 . La distancia entre estos dos
planos es el ancho de 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 y ' son dos planos paralelos a distancia h y Y es un punto de ';
entonces existe un nico punto X en P aqul para el cual el segmento
XY es perpendicular a y a ' con la propiedad de que la distancia
entre Y y X es h. Para cualquier otro punto M en , 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 y ' son planos soporte paralelos de un slido de ancho
constante, entonces tanto como ' tienen con un solo punto de

contacto y el segmento que une estos dos puntos es perpendicular tanto

a como a '.
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 son figuras de ancho
constante h, es porque el slido 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

son figuras de ancho constante h. Queremos ver que es un slido de
ancho constante h (ver figuraVII.2). Tomemos d, una direccin
cualquiera escoja usted una. Llamemos 1 y 2 a los planos soporte
de perpendiculares a la direccin d. Vamos a verificar que el ancho
de en la direccin d, es decir, la distancia entre 1 y 2, es igual a h.
Tomemos d1, una direccin perpendicular a d y proyectemos a q en la
direccin de d1 sobre el plano 3 que es perpendicular a d1.
Llamemos d1 () a la proyeccin de sobre 3 y L1 y L2 a las lneas que
se obtienen cuando 3 corta a 1 y a 2 respectivamente. Es claro que
L1 y L2 son lneas soporte de d1() y adems la distancia entre ellas es
precisamente la distancia entre 1 y 2. Como d1() es de ancho
constante h, entonces la distancia entre L1 y L es h y por lo tanto el
ancho de 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 es h, es decir, para concluir que el ancho
de en cualquier direccin es h.

Figura VII.3
Supongamos ahora que es un slido de ancho constante h y que d()
es la proyeccin de en la direccin d sobre el plano (ver figura
VIII.3). Queremos demostrar que d() es una figura de ancho constante
h. Para tal efecto bastar tomar una direccin cualquiera d1 en el plano
y ver que el ancho de d() en la direccin d1 es h. Pensemos en los

planos y 1 y 2 en la direccin d que cortan a en L1 y L2,

respectivamente.
Vemos que 1 y 2 son planos soporte de pues sus proyecciones en
la direccin d son precisamente L1y L2. Como es de ancho constante
h y la distancia entre 1 y 2 es la misma que la distancia entre L1 y
L2 tenemos que el ancho de d() en la direccin d1 es h. Es decir, d()
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 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 en la direccin d sobre el plano
perpendicular a d. Llamemos d() a la proyeccin de sobre (ver
figura VII.4). Vamos a comprobar que d() es de ancho constante
probando que toda normal de d() es una binormal. Sea PQ una normal
de d(), es decir, PQ es una cuerda de d() y la lnea L que se
encuentra en y es perpendicular a PQ por P es lnea soporte de d().
Sea 1 el plano paralelo a la direccin d que corta a en la lnea L. Es
decir, 1 es el plano que, al proyectarse sobre en la direccin d, deja
a la lnea L como sombra. Por supuesto 1, es un plano soporte de y
por tanto existe un punto P' en el que se proyecta sobre el punto P. Sea
P'Q' la cuerda de perpendicular a 1. La cuerda P'Q' es una normal
de y por lo tanto una binormal de . As, el plano 2 perpendicular a
P'Q' por Q' , es un plano soporte de . Por otro lado, el plano 2 corta
a en la lnea L' que es una lnea soporte de d() paralela a L pues
1 y 2 son planos paralelos. Obviamente, la proyeccin de la cuerda
P'Q' sobre es la cuerda PQ de d(). Por lo tanto, la lnea soporte L'
pasa por , lo que muestra que PQ es realmente una binormal de d().
Esto muestra que d() es una figura de ancho constante. Como toda
proyeccin de es de ancho constante, entonces tambin lo
es.
Supongamos ahora que es un slido de ancho constante. Es posible
convencerse de que toda normal de 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 es una figura de ancho
constante es porque el slido es una esfera.
Demostracin. Empezaremos demostrando que es un slido de
ancho constante, verificando que todas sus normales son en realidad
binormales. Sea PQ una normal de y llamemos al plano soporte
de , perpendicular a PQ, que pasa por (ver figura VII. 5).
Necesitamos probar que el plano ' , perpendicular a PQ, que pasa por
, es un plano soporte de . Pensemos en un plano cualquiera que
pase por PQ. Escoja usted uno y llmelo 1. La seccin transversal
determinada por 1 es una figura de ancho constante, a la que
llamaremos 1. Claramente, PQ es una normal de l pues, si L es la
lnea en donde corta a 1, entonces L es una lnea soporte de l que
pasa por y es perpendicular a PQ. Como en una figura de ancho
constante toda normal es binormal, entonces si L' es la lnea en donde
' corta a 1, tenemos que L' es una lnea soporte de 1 que pasa por
y es perpendicular a PQ. Como lo mismo pasa para cualquier plano
que contenga a PQ entonces 'es un plano soporte de , PQ es una
binormal de , y es un slido de ancho constante.

Figura VII.5
A continuacin mostraremos que es realmente una esfera
demostrando que todas las proyecciones de son crculos. Tomemos

d, una direccin cualquiera, y llamemos y a los planos soporte de

perpendiculares a la direccin d (ver figura VII.6). Como es un
slido de ancho constante, digamos h, entonces el plano toca a en
el punto K, el plano ' toca a en el punto T y K T es una cuerda de
longitud h, perpendicular a a '. Sea la proyeccin de en la
direccin d, sobre el plano . 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 1 que pasa por los puntos K, T, M y N, y
llamemos a la figura de ancho constante h que se obtiene en 1
como seccin transversal de . Las lneas L1 y L2, paralelas a KT, que
estn en 1 y pasan por M y por N respectivamente, son lneas soporte
de 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, 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.

V I I I .

L A

C O N J E T U R A
M I Z E L

D E

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 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 entonces
misteriosamente, la cuarta esquina tambin queda colocada sobre la
frontera de . Empezaremos convencindonos de que esta misteriosa
figura convexa tiene que ser una figura de ancho constante.
Para demostrar que es una figura de ancho constante bastar ver que
toda normal de es una binormal. Sea PQ una normal de (ver figura
VIII .2) y sea L la lnea soporte de que pasa por P y es perpendicular
a PQ. Sea L1 la otra lnea soporte de paralela a L. Queremos ver que
Q est realmente sobre L1.
Sea L2 la lnea paralela a L que pasa por . Como es una figura
convexa y Q est en la frontera de , la lnea corta a exactamente en
el segmento QR donde R es un punto de la frontera de .
Consideremos el rectngulo PQRS determinado por los puntos P, Q y
R. Claramente S pertenece a la frontera de , pero entonces, siendo
convexo, todo el segmento PS pertenece a la frontera de . 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 . Como S' fue en realidad
cualquier punto del segmento PS, entonces todo el segmento QR
pertenece a la frontera de , por lo que la lnea L, al tocar a slo en
puntos frontera, tiene que ser necesariamente una lnea soporte de .
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 .
Hemos comprobado que toda normal de es una binormal de , lo
que muestra que es una figura de ancho constante.

Figura VIII.2
Demostrar finalmente que 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 tiene la propiedad de que cada vez que
un rectngulo tiene tres de sus esquinas en la frontera de entonces la
cuarta esquina est tambin en la frontera de . Es fcil ver que es
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 con la propiedad de que si un rectngulo tiene tres de sus
esquinas en la frontera de entonces la cuarta esquina tambin est en
la frontera de . Queremos ver que es realmente un crculo. Lo
iremos viendo por partes.
Lo primero que tenemos que notar es que, debido a que es de ancho
constante, existe por ah un punto en la frontera de por el cual pasa
una sola lnea soporte. Vamos a encontrar dicho punto. Tomemos A,
cualquier punto en la frontera de (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 , por A; ms an, cualquier lnea que pase
por A entre L1 y L2, es lnea soporte de . Las cuerdas de que pasan
por A y son perpendiculares a todas estas lneas soporte son binormales
de y por lo tanto todas ellas poseen la misma longitud. Luego
entonces, en la frontera de , 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 . De ahora en adelante
llammosle A a este punto de la frontera de . Notemos que por A
pasa una sola lnea soporte y por lo tanto una sola binormal de .
Existen muchos rectngulos inscritos en , es decir, con sus cuatro
esquinas sobre la frontera de . 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 , doblar a
noventa grados en B sobre la perpendicular a AB hasta encontrar la
frontera de , 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 . Empezando en A y
caminando en esta direccin, sobre la frontera de , 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 que se
encuentre, siguiendo esta direccin, entre A y M, entonces la
perpendicular a la cuerda AX por X corta a la frontera de 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 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 . Bastar ver que la lnea soporte a 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 se encuentra
dentro de , la lnea L es una lnea soporte de 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 .
Ahora que ya sabemos que BD es una binormal de , es fcil ver que
tambin la cuerda AM es una binormal de , puesto que cualquier
cuerda de que tenga la misma longitud que la longitud de BD es una
binormal de .
Volvamos a caminar sobre la frontera de , pero esta vez paremos en
el punto N la ltima vez que encontremos un rectngulo AGNT
inscrito en con diagonal AN. De la misma manera en que
verificamos que AM era una binormal de , es posible comprobar
hgalo usted que AN es tambin una binormal de , 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 , 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 ,
distinto de A y de M, y L es una lnea perpendicular a AX por X,
entonces L corta a la frontera de en M, de lo contrario habra un
rectngulo inscrito en cuya diagonal no es AM. Es decir, para
cualquier punto X en la frontera de , 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, es necesariamente el crculo con dimetro
AM.

B I B L I O G R A F A

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) 243248.

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.

C O L O F N

Este libro se termin de imprimir y encuadernar en el mes de agosto de

1997, en los talleres de Impresora y Encuadernadora Progreso S.A.
(IEPSA), calzada de San Lorenzo 244, 09830 Mxico, D.F.
Se tiraron 3000 ejemplares.
La Ciencia para Todos
es una coleccin coordinada editorialmente
por Marco Antonio Pulido
y Mara del Carmen Faras.

C O N T R A P O R T A D A

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.