Polígonos

Definición. Sea O un punto arbitrario de un plano euclidiano. Entonces, un conjunto de

puntos de ese plano es asteroide de O si para todo Q el segmento OQ está contenido en .
2
Ejemplos. Sea O arbitrario pero fijo; entonces:
1. es asteroide de O, ya que es válida la implicación
Q OQ
2. O es asteroide de O, porque
OO O
2
3. es asteroide de O, porque
2 2
OQ , Q
4. Toda recta que pase por O es asteroide de O, porque
OQ , Q
Proposición. Sea cualquier conjunto de puntos de un plano euclidiano y sea
2
P : es asteroide de P
Entonces, es un conjunto convexo.
2
Demostración. Si , entonces , que es convexo.
Supongamos que . Si O , entonces O , que es convexo.
Si
1 0

entoces , que es convexo.

Si es tal que
1
entonces, escojamos
O1, O2
arbitrarios. Hay que probar que O 1 O 2 ; para ello, tomemos cualquier O O 1 O 2 . Es
claro que si O O 1 u O O 2 entonces O . Supongamos que
O O1 y O O2
Para poder concluir que O , hay que demostrar que es asteroide de O; para esto,
tomemos cualquier P y, veamos que, efectivamente, OP .
Sea Q OP; si Q O ó Q P, entonces Q , y no habría más por demostrar. Si
Q O y Q P, entonces
Q O 1 PO 2
Por lo tanto, la recta que pasa por O 2 y por Q corta a O 1 P en algún punto R. Puesto que es
asteroide de O 1 , tenemos O 1 P ; R . Y como es asteroide de O 2 , tenemos
O2R ; Q . Esto es prueba de que OP , lo cual a su vez, demuestra que es
asteroide de O. Y como O se escogió arbitrariamente en O 1 O 2 , queda demostrado que
O1 O2 . Pero también O 1 y O 2 se escogieron arbitrariamente en . Por lo tanto,
es un conjunto convexo, como se quería demostrar. @
Definición I . Sea cualquier conjunto de puntos de un plano euclidiano. Entonces, el
conjunto de puntos de los cuales es asteroide (es decir, el conjunto de la proposición
anterior) es el núcleo convexo de .
Recordemos que llamamos región poligonal convexa a la intersección de un número finito
de semiplanos, y que un polígono convexo es una región poligonal convexa que está acotada.
Ejercicio c 35 : Probar que
(a) todo semiplano abierto es un conjunto abierto;
(b) todo semiplano cerrado es un conjunto cerrado.
Acordémonos también de que la intersección arbitraria de conjuntos cerrados es un
conjunto cerrado. No es difícil demostrar que la intersección finita de conjuntos abiertos es un
conjunto abierto.
Esto, aunado a los resultados del ejercicio c 35 , justifica que llamemos abierta ó cerrada a
una región poligonal convexa definida por la intersección finita de semiplanos abiertos ó
cerrados, respectivamente. En particular, resultan efectivamente abiertos los polígonos
convexos abiertos (es decir, las regiones poligonales acotadas abiertas), y efectivamente
cerrados los polígonos convexos cerrados.
2
Definición II . Sea arbitrario.
Una división de es una pareja , de conjuntos abiertos tales que
y
La división 2 , se llama trivial.
Se dice que es conexo si la única división que tiene es la trivial.
2
Definición III . es un polígono si es la unión de un número finito de polígonos
convexos y es conexo.
Se ha demostrado ya que la unión arbitraria de conjuntos abiertos es un conjunto abierto.
Es fácil demostrar que la unión finita de conjuntos cerrados es un conjunto cerrado. Así, si
llamamos abierto ó cerrado a un polígono que sea unión (finita) de polígonos convexos
abiertos ó cerrados, sabemos que es un conjunto efectivamente abierto ó efectivamente
cerrado, respectivamente.
Notemos, por otra parte, que todo polígono es un conjunto acotado, ya que es una unión
finita de conjuntos acotados.
Definiciones. 1. Al conjunto formado por tres segmentos de longitud finita que tienen un
extremo común lo llamaremos triodo.
2. Un polígono es de Helly si es cerrado y si para cualesquiera tres puntos
A, B, C
existe P tal que el triodo
PA PB PC
está contenido en .
Proposición. Si el núcleo convexo de un polígono cerrado es distinto del vacío, entonces el
polígono es de Helly.
Demostración. Sea un polígono cerrado tal que ; sean
A, B, C y P
Como es cerrado, tenemos que A, B, C ; en consecuencia
PA, PB, PC ; PA PB PC
Esto prueba que es de Helly. @
El resultado anterior es tan sencillo que quizá hubiera podido haberse comentado como una
observación. El que no es tan simple es su recíproco, es decir, que un polígono de Helly jamás
tiene vacío su núcleo convexo. Ambas afirmaciones constituyen un teorema, mismo que
veremos enseguida. En su demostración desempeña un importante papel el resultado
establecido en el ejercicio c 21 , que es el caso finito del Teorema de Helly para dos
dimensiones.
Teorema de Krasnoselskii. Sea un polígono cerrado arbitrario. Entonces, son
equivalentes las afirmaciones:
(a) ;
(b) es de Helly.
Demostración. a b Es la proposición anterior.
b a Orientemos la frontera de recorriéndola en sentido contrario al de las
manecillas de un reloj; de este modo, al considerar las rectas determinadas por cada lado de ,
podemos referirnos con precisión a los semiplanos cerrados situados a la izquierda de estas
rectas, según esta orientación. Probaremos que la intersección de cualesquiera tres de estos
semiplanos en diferente del vacío.
Sean m , n , ñ tres de estas rectas y denotemos por
m, n, ñ

a los semiplanos cerrados correspendientes, respectivamente. Sean

A m ,B n ,C ñ

que no sean vértices de . Puesto que es de Helly, existe P tal que el triodo
PA PB PC
Aseguramos que P m n ñ . En efecto, porque lo contrario querría decir que P está
a la derecha de alguno de estos semiplanos, y entonces uno de los brazos del triodo (PA ó PB ó
PC) llegaría desde P hasta su otro extremo (A ó B ó C) por la derecha, es decir, por fuera de
Esto está en contradicción con . Por lo tanto

P m n ñ ; m n ñ

A partir de esto podemos aplicar el Teorema de Helly y asegurar que si son k los lados de , y
si denotamos por i y por i , i 1, 2, . . . , k , a las rectas que estos lados determinan y a los
k
semiplanos cerrados corespondientes, entonces i . Sea
i 1
k
P0 i
i 1
Aseguramos que P 0 . En efecto, porque si P 0 , bastaría fijarnos en el lado de más
cercano a P 0 y tendríamos que P 0 estaría a la derecha de ese lado, contraviniendo el hecho
(implícito en ) de hallarse a la izquierda.
Para concluir la demostración, probaremos que P 0 , es decir, que es asteroide de
P0.
Sea Q arbitrario; hay que probar que
P0Q
Supongamos que no fuera así; entonces, podríamos hallar un punto
2
R P0Q
Sea S QR ; nótese que P 0 ha quedado a la derecha del lado de en que está S Esto
es una contradicción con ; esta contradicción ha surgido por haber supuesto la existencia de
un punto de P 0 Q fuera de . Luego, P 0 Q ; y como Q se escogió arbitrariamente en ,
queda demostrado que es asteroide de P 0 . Por lo tanto, , como se quería
demostrar. @
En su libro Convex Figures, los rusos Yaglom & Boltianskii sugieren una interpretación
muy simpática del Teorema de Krasnoselskii: Si nos encontráramos en una casa de espejos en
la que éstos estén colocados de manera tal que siepre que escojamos tres cualesquiera de ellos
hay un sitio desde el cual nos podemos ver reflejados en los tres, entonces podemos asegurar
que existe un lugar en la casa desde el cual nos podemos mirar reflejados en todos los espejos.
2
Ejercicio c 36 : Sea arbitrario. ¿Es verdad que son equivalentes:
(a) es convexo
?
(b) es asteroide de todos sus puntos
Justifique su respuesta.
Compacidad
Como veremos a continuación, la idea de ser de Helly no es privativa de los polígonos, sino
que puede generalizarse a una clase más grande de subconjuntos de 2 : la clase de los
conjuntos compactos.
2
Definiciones. Sea arbitrario.
1. Se dice que una familia j J de subconjuntos de 2 es una cubierta de si
j
j J

2. Se dice que una cubierta j J de es abierta si j es un conjunto abierto, para toda

j J.
3. Si J J y j J es una cubierta de , entonces se dice que j J es una subcubierta
de j J .
4. Diremos que es un conjunto compacto si toda cubierta abierta de tiene una
subcubierta finita.
Para comprender el concepto de conjunto compacto de 2 , pensemos en cómo tendría que
2
ser un conjunto para no ser compacto. Cómo podemos hacerle para evitar que una
cubierta abierta de tenga una subcubierta finita.
Después de pensar en ello un rato, suele uno caer en la cuenta de que si el área de , por
ejemplo, no deja de crecer, entonces solamente con una familia infinita de conjuntos abiertos
podremos cubrir a .
Nótese que un subconjunto de 2 cuyo área no deja de crecer, no puede estar acotado.
2
Observemos también que si no está acotado, entonces la familia de discos abiertos
2
centrada en el origen O de
Dn O
constituye una cubierta abierta de que no puede tener una subcubierta finita, pues ello
engendraría una contradicción con haber supuesto no acotado a .
 2
Es así que caemos en la cuenta de que
.
Veamos ahora que no estar acotado no es el único modo de dejar de ser compacto.
En efecto, veremos que un conjunto que no sea cerrado no puede ser compacto.
¿Cómo es no ser cerrado un conjunto ?
Recordemos que es cerrado si, y sólo si, ; además, tengamos presente que

Consecuentemente, no será cerrado nomás con que le falte algo de su interior o algo de su
frontera, (aunque sea un puntito). Para entender mejor cómo es que un conjunto no es cerrado,
supongamos que es un conjunto cualquiera de 2 y hagamos referencia a cualquier punto

P
Entonces, el conjunto
P
es no cerrado. Veremos que tampoco es compacto.
En efecto, consideremos la familia n de conjuntos abiertos cuyos miembros son los
complementos de los discos cerrados
D 1n P , n
Es claro que al no ser P elemento de , n es una cubierta abierta de porque
2
n D 1n P
n n
2
D 1n P
n
2
P
Por otro lado, el ser

P ó P

implica que en cualquier D 1n P hay elementos de diferentes de P. Por consiguiente,

cualquier intersección finita de elementos de D 1n P tiene elementos de ; por las Leyes
de D’morgan, esto es tanto como decir que ninguna unión finita de elementos de n llega a
contener del todo a . Dicho de otro modo: n no tiene subcubiertas finitas de . Por lo
tanto, no es compacto.
Y si hemos demostrado (como acabamos de hacer) que
no cerrado no compacto
entonces, hemos demostrado que
.
Si conjuntamos este resultado con el de la observación anterior, obtenemos la primera parte
del siguiente teorema.
2
Teorema de Heine-Borel para dos dimensiones. Sea arbitrario. Son equivalentes:
(a) es compacto
(b) es cerrado y está acotado
 Demostración. a b
b a Procederemos por reducción al absurdo suponiendo que existe una cubierta
abierta j J de , de la cual no puede obtenerse una subcubierta finita.
Puesto que está acotado, podemos encerrarlo en un cuadrado cerrado . Uniendo con
segmentos de recta los puntos medios de los lados opuestos de , formamos una cuadrícula de
cuatro cuadrados cerrados. Ahora queda repartido en esos cuatro cuadrados. Obsérvese que
si cada una de estas cuatro partes de pudiera ser cubierta con un número finito de miembros
de j J , entonces todo se podría cubrir con un número finito de miembros de j J , lo que
es falso. Por consiguiente, alguno de estos cuatro subcuadrados de , digamos , contiene
1
una parte de que no puede cubrirse con un número finito de miembros de j J .
Como hicimos con , podemos hacer con , subdividiéndolo en cuatro cuadrados
1
cerrados. Un argumento similar al anterior nos muestra la existencia de un subcuadrado de
2
que contiene una parte de que no puede cubrirse con un número finito de miembros de
1
j J.
Es claro que esta construcción podemos proseguirla indefinidamente, con lo cual
obtenemos una sucesión decreciente de cuadrados cerrados

1 2 3
cada uno de los cuales contiene una parte de que no puede cubrirse con un número finito de
miembros de j J .
Tengamos en cuenta lo siguiente: Sea
dn sup d Q, Q : Q, Q
n
Por la construcción de los es claro que
n
lim d n 0
n
Además, si llamamos n a la longitud de la diagonal del cuadrado , entonces para toda
n
n
n d n ; lim n 0 a
n
Ahora escojamos, para toda n , un punto
Pn
n
Entonces, P n n es una sucesión de puntos de . Como está acotado, la sucesión P n n está
acotada. Ya en otra ocasión empleamos el resultado (que en nuestra Facultad se ve en el curso
de Cálculo de segundo semestre) de que toda sucesión acotada de puntos de un plano
euclidiano tiene una subsucesión convergente.
Sea P n k k tal subsucesión y sea
 P 0 lim P n k
k
Puesto que es cerrado, tiene como elementos a los límites de las sucesiones convergentes
de puntos suyos; por lo tanto, P 0 . Puesto que j J es una cubierta abierta de , debe
existir un j 0 J tal que
P0 j0

Por ser j 0 un conjunto abierto, existe un número tal que

D P0 j0 b
Por a , podemos hallar ñ 0 lo suficientemente grande como para que se dé
simultáneamente que
d P ñ0 , P 0 y ñ0
2 2
Entonces, cualquiera que sea P , tenemos
ñ0

d P, P ñ0 sup d Q, Q : Q, Q ñ0
ñ0
2
Luego
d P, P ñ 0 d Pñ0 , P0
2 2
Aplicando la desigualdad del triángulo, podemos afirmar que
d P, P 0
Puesto que P se escogió arbitrariamente en , esto significa que
ñ0
D P0
ñ0
Por b ,
j0
ñ0
Esto se pone en contradicción con el que la parte de contenida en no se puede cubrir
ñ0
con un número finito de miembros de j J .
A esta contradicción se ha llegado por haber supuesto que no puede obtenerse una
subcubierta finita de alguna cubierta abierta j J de un conjunto cerrado y acotado.
Por lo tanto, es compacto. @
Ahora que ya tenemos idea de cómo son los conjuntos compactos de 2 , podemos enunciar
para ellos la definición que queremos generalizar.
Definición. Sea cualquier conjunto compacto de 2 . Se dice que es de Helly si para
cualesquiera
A, B, C
existe P tal que el triodo
PA PB PC
está contenido en .
 Puesto que el concepto de núcleo convexo podemos referirlo a los conjuntos compactos,
tiene sentido pensar en un resultado que generalice el Teorema de Krasnoselskii.
Recordemos que durante su demostración empleamos el Teorema de Helly, aplicándolo
sobre el conjunto (finito) de semiplanos cerrados determinados por los lados del polígono .
En el caso de los conjuntos compactos de 2 , el número de los que vienen a ser algo así como
los lados del conjunto (al fin de cuentas, rectas soporte del compacto) bien pueden ser
infinitos, y requerimos de una generalización (para infinitos convexos compactos) del Teorema
de Helly.
Para ello resulta conveniente que sepamos esto:
Definición. Sea j J cualquier familia de subconjuntos de 2 . Entonces, j J tiene la
propiedad de la intersección finita si nunca es vacía la intersección de cualquier número
finito de miembros de j J .
Lema. Sea j J una familia de conjuntos compactos de 2 con la propiedad de la
intersección finita. Entonces,
j
j J

Demostración. Procederemos por reducción al absurdo, suponiendo vacía la intersección de

los j . Separemos un miembro cualquiera de j J , fijando arbitrariamente un índice j 0 J.
Para j J j 0 hagamos
2
j j

Si j , entonces
j J

j j0
j j0

Por lo tanto, para toda j J j0

2
j0 j
j j0
2
j
j j0

j
j j0

Puesto que j0 es compacto, debe existir J J finito, tal que

j0 j
j J

Siendo esto así, resulta que

2 2
j0 j j
j J j J

j j0
j J

Esto es una contradicción con la hipótesis de que j J tiene la propiedad de la intersección

finita. Esta contradicción se produjo trás haber supuesto vacía la intersección de todos los j .
Por lo tanto
 j
j J

como se quería demostrar. @

Teorema de Helly para dos dimensiones (caso infinito). Sea j J una familia de conjuntos
convexos compactos tal que cualesquiera tres de sus miembros tienen intersección diferente
del vacío. Entonces,
j
j J

Demostración. En vista del lema anterior, basta comprobar que j J posee la propiedad
de la intersección finita. Para ello, consideremos cualquier J J finito.Es obvio que
cualesquiera tres miembros de la subfamilia j J tienen intersección no vacía. Aplicando el
caso finito del Teorema de Helly (ejercicio c 21 ), tenemos que
j
j J

Entonces, j J tiene la propiedad de la intersección finita. Puesto que sus miembros son
compactos, podemos aplicar el lema anterior y concluir que
j
j J

como se quería demostrar. @

Antes de pasar a generalizar el Teorema de Krasnoselskii, cerciorémonos de que no ha sido
exesivo añadir como hipótesis la compasidad a los convexos j del teorema anterior.
Porque podríamos pensar que acaso sería suficiente añadir a la hipótesis de que
cualesquiera tres miembros de j J tienen intersección no vacía, que cada convexo j sea un
conjunto cerrado,(y ya).
Consideremos la familia de semiplanos cerrados n , en la que
2
n x, y :x yy n , n
Todos los miembros de n son conjuntos convexos cerrados, y la intersección de tres
cualesquiera de ellos no es vacía, porque es el semiplano cerrado “más alto” de los tres que se
intersecten;

i. e. m n ñ ñ , si ñ max m, n, ñ

Sin embargo
n
n

porque lo contrario implicaría la existencia de un número mayor que cualquier n

Este contraejemplo deja ver que no podemos prescindir de la hipótesis de que al menos un
miembro de la familia de convexos esté acotado.
¿Podría demostrarse el teorema anterior para conjuntos convexos acotados que no por
fuerza sean conjuntos cerrados?
En un plano euclidiano cartesianizado consideremos la sucesión de puntos
Pn 1 n ,0 , n
y la familia de discos abiertos
D 1n P n , n
Como figuras geométricas, son círculos de centros colineales, tangentes interiormente en el
origen. Desde luego, se trata de una familia de conjuntos convexos acotados, y la intersección
de tres cualesquiera de sus miembros es distinta del vacío, porque es el menor de los tres
discos que se intersecten; es decir
D m1 P m D 1n P n D 1ñ P ñ D 1ñ P ñ , si ñ max m, n, ñ
Sin embargo
D 1n P n
n
porque lo contrario implicaría la existencia de un número positivo menor que el recíproco de
cualquier número natural
Este contraejemplo deja ver que tampoco podemos prescindir de la hipótesis de que al
menos un miembro de la familia de convexos sea cerrado.
2
Teorema de Krasnoselskii (caso infinito). Sea compacto. Son equivalentes:
a
b es de Helly.
Demostración. a b Sean A, B, C cualesquiera. Puesto que es cerrado,
tenemos que
A, B, C
Por a , existe P tal que los segmentos
PA, PB, PC
Por lo tanto, el triodo
PA PB PC
y es de Helly.
b a pendiente

Pseudosimetría y Equilibrio
Para concluir este curso introduciremos la noción de baricentro (centro pesado o centro de
gravedad) de una figura convexa.
En el ya citado libro de Yaglom y de Boltyanskii, se comenta con relación a la idea de
centro de gravedad que más bien se trata de un concepto foráneo a la Matemática, venido a
ella a través de la Mecánica . No obstante, esta idea ha mostrado tal docilidad, por así decirlo,
al haber sido adoptada por la Geometría, que es posible definirla en términos puramente
geométricos, sin que se tenga que recurrir a consideraciones físicas.
Antes de introducirnos de lleno al tema, recordemos que una mediana de un triángulo T
es un segmento cuyos extremos son, uno de los vértices de T, y el punto medio del lado de T
opuesto a ese vértice. Un resultado de geometría elemental se refiere a la concurrencia de las
medianas de cualquier triángulo T en un punto G de T con la propiedad de que triseca a todas
las medianas.
 Una demostración de este resultado es como sigue: Supongamos que los vértices de un
triángulo T arbitrario, son unos puntos A, B, C de un plano euclidiano. Sean E y F los puntos
medios de los lados AB y AC, respectivamente. Sea G el punto de intersección de las medianas
EC y FB. Sean M y N los puntos medios de BG y CG, respectivamente. Trácense
EF, MN, EM, FN
Por resultados elementales de geometría clásica euclidiana, sabemos que el segmento de recta
que une los puntos medios de dos lados de un triángulo tiene que ser paralelo al tercer lado e
igual a su mitad. Aplicando esto aquí, tenemos que EF es paralelo a BC y
|EF| 1 |BC|
2
Aplicando el mismo resultado, pero al triángulo GBC, tenemos que MN es paralelo a BC y
|MN| 1 |BC|
2
Por consiguiente, EF y MN son paralelos y de la misma longitud. Por lo tanto, EFNM es un
paralelogramo. De esto se deduce que
|MG| |GF| y |NG| |GE|
Por lo tanto, G está posicionado en cada mediana EC y FB exactamente a dos tercios de la
longitud de la mediana que sea, si comenzamos su medición partiendo del vértice hacia el
punto medio del lado opuesto.
Puesto que esto ha resultado cierto independientemente de cuál sea el par de medianas que
se consideren en T, se deduce que G es un punto en que concurren las tres medianas de T. @
El concepto de mediana y la posición de trisección que G tiene sobre cada una de ellas,
evidencia que G es punto interior de T, porque si D, E y F denotan a los puntos medios de los
lados de T, entonces claramente
Dt G T , si t min |GD|, |GE|, |GF|
Como sabemos, cuando se toca este resultado en los cursos básicos de Geometría, se nos
dice que (entre otros nombres) el punto de concurrencia de las medianas de un triángulo se
llama centroide de ese triángulo.
Este nombre queda justificado cuando se hace ver que el punto G de un triángulo T es un
centro de pseudosimetría de T, en el sentido de que es el punto P T en el cual el triodo
PA PB PC
triseca a T en triángulos de áreas iguales. Veamos una prueba de esto. Para darla recordemos
dos resultados que suelen verse en los cursos de geometría analítica del bachillerato.
El primero de ellos nos dice que si P 1 x 1 , y 1 y P 2 x 2 , y 2 son los extremos de un segmento
P 1 P 2 , entonces las coordenadas x, y de un punto P que divide a P 1 P 2 en la razón
|P 1 P|
r
|PP 2 |
vienen dadas para r 1 como
x 1 rx 2 y 1 ry 2
x y y
1 r 1 r
En el caso particular en que la razón sea algún número racional
 p
r q
de se obtiene
qx 1 px 2 qy 1 py 2
x q p y y q p
Estas fórmulas permiten expresiones para las coordenadas del punto G en términos de las
coordenadas de los vértices de T
A a1, a2 B b1, b2 C c1, c2
En efecto, si D d 1 , d 2 es el punto medio del lado BC de T, entonces
p 1 y q 1
y de se obtiene
d1 b1 c1 b2 c2
, d2
2 2
Por otra parte, en conformidad con la posición de G tenemos:
|AG| 2
|GD| 1
Entonces, podemos volver a aplicar , ahora con
p 2 y q 1
para obtener las coordenadas de G:
g1 a1 2d 1 a2 2d 2
, g2
3 3
lo cual, debido a puede ponerse como
g1 a1 b1 c 1 a2 b2 c2
, g2
3 3
El segundo resultado del curso de geometría analítica que hay que recordar se refiere a la
fórmula del área XYZ del triángulo
X x1, x2 Y y1, y 2 Z z1, z2
en forma de determinante; es
x1 x2 1
XYZ 1 y1 y2 1
2
z1 z2 1
Hay que aplicar esta fórmula a los triángulos
GAB GBC GCA
Aplicándola al primero, obtenemos
 g1 g2 1
GAB 1 a1 a2 1
2
b1 b2 1
Empleando podemos obtener una expresión de GAB en términos de las coordenadas
de
A a1, a2 B b1, b2 C c1, c2
mediante
a1 b1 c1 a 2 b2 c2
3 3
1
GAB 1
2 a1 a2 1
b1 b2 1
Una de las propiedades de los determinantes dice que el valor de un determinante no se altera
si las entradas de un renglón multiplicadas por un número cualquiera k se suman a las
entradas correspondientes de cualquier otro renglón.
Siendo esto así, el valor del determinante que aparece en el segundo miembro de la última
igualdad no se alterará si a las entradas de su primer renglón les sumamos las entradas
correspondientes del segundo multiplicadas por 13 . Por lo tanto,
b1 c1 b2 c2 2
3 3 3
GAB 1
2 a1 a2 1
b1 b2 1
Por la misma propiedad, el valor del determinante que hemos obtenido es el mismo que del que
se obtiene a partir de éste, sumando su tercer renglón multiplicado por 13 a su primer renglón;
o sea que
c1 c2 1
3 3 3
GAB 1 i
2 a1 a2 1
b1 b2 1
Otra propiedad de los determinantes dice que un factor k que sea común a todas las entradas
de un renglón de un determinante puede ser separado como factor del determinante.
Aplicando esta propiedad tenemos que
c1 c2 1
3 3 3 c1 c2 1
1 a1 a2 1 ii
a1 a2 1 3
b1 b2 1 b1 b2 1
Finalmente, otra propiedad de los determinantes nos dice que si se intercambian dos renglones
de un determinante, el determinante cambia de signo, pero su valor absoluto no varía. En vista
de esto resulta claro que si intercambiamos dos veces el primer renglón del último
determinante, primero con el segundo renglón, y después con el tercero, entonces en nada
habremos alterado el valor de lo que tenemos escrito, porque habremos cambiado de signo dos
veces y, por tanto, todo habrá quedado igual. En símbolos:
c1 c2 1 a1 a2 1
1 a1 a2 1 1 b1 b2 1 iii
3 3
b1 b2 1 c1 c2 1
Nótese que si aplicamos al triángulo ABC, tenemos
a1 a2 1
ABC 1 b1 b2 1 iv
2
c1 c2 1
De i , ii , iii y iv se sigue que
GAB 1 ABC
3
De manera similar se pueden probar las igualdades
GBC 1 ABC y GCA 1 ABC
3 3 @

Podemos hacernos una imagen física de este resultado recortando de una hoja metálica un
triángulo y, usando su centroide como punto soporte de la pieza triangular al apoyarla sobre
una varilla vertical adecuada, comprobar que así apoyada, la lámina queda en equilibrio.
Por este hecho de la Física Geométrica, el punto G de T recibe un nombre tal vez más
adecuado que el de centroide. Es un nombre compuesto, cuya primera voz procede del griego
barus, que significa pesado. Es el centro grave o punto pesado del triángulo. Es el baricentro.
También de barus procede la palabra barimetría, que es la técnica que se emplea para
medir la acción de la fuerza de la gravedad que ejerce un cuerpo sobre otro, (v.gr. la Tierra
sobre el triángulo de metal). Un técnico en barimetría llamará centro de masa, centro de
gravedad o gravicentro al baricentro de la lámina triangular. Esto se debe a que desde su
perspectiva, G es el punto que resiste la acción de la resultante de todas las fuerzas
gravitacionales que actúan sobre “cada punto” (o región física de área mínima) de la pieza
triangular.
Como iremos viendo a partir del resultado que sigue, también los conjuntos convexos
compactos de interior no vacío guardan una pseudosimetría en el mismo sentido en que la
observamos en un triángulo.
Definición. Una cuerda de un conjunto convexo es cualquier segmento de recta que una
dos puntos de la frontera de .
2
Proposición. Sea convexo, compacto y de interior no vacío. Entonces, existe un
punto P 0 tal que toda cuerda P 1 P 2 de que pase por P 0 queda dividida por P 0 de modo
que
|P 1 P 0 | 1 |P 1 P 2 | y |P 0 P 2 | 1 |P 1 P 2 |
3 3
Demostración. Sea P arbitrario, y pensemos en todas las cuerdas de que tienen
extremo en P; de cada una quedémonos con los puntos cuya distancia a P es menor o igual que
dos terceras partes de la longitud de la cuerda. El conjunto P de estos puntos de todas las
cuerdas de con un extremo en P, es un conjunto convexo, compacto, de interior no vacío,
 2
semejante a según la razón r 3
. Veamos que cualesquiera tres de estos conjuntos tienen
intersección no vacía.
Sean A, B, C ; consideremos el triángulo ABC; sea G su baricentro. Sean D, E y F los
puntos medios de los lados BC, AB y CA, respectivamente. Sea AD la cuerda de que pasa
por A y G. Es claro que |AD| |AD |; consecuentemente
2 |AD| 2 |AD |
3 3
Pero, según hemos visto,
d A, G 2 |AD|; d A, G 2 |AD |
3 3
Esto significa que G está en la parte con la que nos quedamos de la cuerda AD cuando
formamos el conjunto A ; por consiguiente, G A . De manera similar podemos demostrar
que G B yG C . Esto prueba que

A B C

A consecuencia de lo anterior tenemos que la familia P satisface las hipótesis que se

establecen en el caso infinito del Teorema de Helly; por lo tanto
P
P
Finalmente, observemos que cualquier punto de esta intersección satisface la afirmación que se
está queriendo demostrar. En efecto, sea
P0 P
P
y sea P 1 P 2 una cuerda de que pase por P 0 . En vista de lo anterior, tenemos
P0 P1 y P0 P2

y por consiguiente
|P 1 P 0 | 1 |P 1 P 2 | y |P 0 P 2 | 1 |P 1 P 2 |
3 3
como se quería demostrar. @
Antes de seguir adelante, es importante hacer notar que la proposición de existencia que
acabamos de demostrar, no puede llegar a ser un teorema de existencia y unicidad, pues fácil
dar ejemplos en los que la intersección anterior, lejos de contar con un solo punto, es toda una
región del convexo compacto, tan numerosa como 2 . Un ejemplo de esto es un círculo.
En efecto, para cada P sea P el conjunto de las secciones de todas las cuerdas que
tienen extremo en P, formadas por los puntos de ellas que distan de P no más de dos tercios de
la longitud de la cuerda de que se trate; entonces
P otro cículo, concéntrico a
P
Desde luego, cabe esperar que “el baricentro de ” pertenezca a P, como quiera que
P
vaya a ser definido el baricentro de un conjunto convexo compacto de interior no vacío.
(Mínimo.)
Pasaremos de lleno a todo esto después de que le extraigamos un corolario a la proposición
anterior. Para esto requerimos hacer notar una propiedad de los conjuntos acotados sobre la
que hasta el momento nada hemos dicho.
 2
Supongamos que está acotado. Entonces, no importa qué dirección d escojamos en
el plano, siempre habrá exactamente dos rectas soporte de paralelas a d.
En efecto, puesto que está acotado podemos pensar en dos rectas paralelas a d entre las
cuales se encuentre . Acerquémoslas deteniéndonos en el primer momento en que cada una
toque a ; en ese momento cada recta será una recta soporte de paralela a d.
Otra cosa de la que requerimos para entender el corolario que sigue es una noción que nos
permita decidir qué tan anchos son los conjuntos en 2 .
2
Definiciones. Sea arbitrario.
i Sea d cualquier dirección en 2 ; el ancho de en la dirección d, d , es la
distancia entre rectas soporte de perpendiculares a d, si tales rectas existen. Si no existen se
dice que el ancho de en la dirección d es infinito, en cuyo caso escribiremos
d
2
ii Sea el conjunto de direcciones de . El ancho de (a secas), es
d :d
iii Cuando el ancho de en cualquier dirección es un mismo número k, diremos que
es de ancho constante (igual a k).
El corolario de la proposición anterior a que venimos haciendo referencia tiene un nombre;
se llama
Teorema de Blaschke. Todo conjunto convexo compacto de ancho 1 contiene un círculo de
radio 13 .
Demostración. Sea un conjunto convexo, compacto, de ancho 1. Debido a esto último,
tenemos que . Entonces es como en la proposición anterior. Por lo tanto, existe
P0 tal que si P 1 P 2 es cualquier cuerda de que pase por P 0 , entonces
|P 1 P 0 | 1 |P 1 P 2 | y |P 0 P 2 | 1 |P 1 P 2 |
3 3
Para lo que se quiere demostrar conviene fijarnos en las cuerdas por P 0 que dan el ancho 1 que
por hipótesis tiene . Si P 1 P 2 es una de estas cuerdas, entonces |P 1 P 2 | 1 y tenemos
|P 1 P 0 | 1 y |P 0 P 2 | 1
3 3
es decir, no hay esperanzas de que P 1 o P 2 sean puntos (interiores) del
D 13 P 0
Quiere decir que ni siquiera en las partes más estrechas de en torno a P 0 , se llega a salir de
el disco anterior (ni su cerradura);

D 13 P 0 P0 P
P @

Pseudodefinición. Supongamos que se tienen ubicados los vértices de un cuadrilátero

convexo de interior no vacío, , arbitrario. Llamemos A a uno cualquiera de estos vértices, y
movámonos desde A, en sentido contrario al de las manecillas de un reloj, hasta el vértice que
sigue, al que llamaremos B. Moviéndonos de B contrario al reloj, llegamos al vértice que hay
que llamar C, y yendo con un movimiento similar, de C llegamos al vértice que va a llamarse
D. Nos fijaremos en dos pares de triángulos en los que se parte de modo natural. El primer
par es
 ABC CDA
El segundo par es
DAB BCD
Sean
G ABC G CDA G DAB G BCD
los baricentros respectivos. Llamaremos baricentro del cuadrilátero ABCD al punto de
intersección de los segmentos G ABC G CDA y G DAB G BCD . Notación:
G ABCD G ABC G CDA G DAB G BCD
Nota. Desde luego que la anterior no es una definición, pues no está probada la existencia
de un único punto en la intersección de los segmentos G ABC G CDA y G DAB G BCD .
Ejercicio c 37 : Sean ABC y CDA las áreas de los triángulos respectivos, que se mencionan
en la pseudodefinición anterior. Probar que
ABC G ABCD G CDA
CDA G ABC G ABCD
Pseudodefinición. Supongamos que los vértices de un pentágono convexo de interior no
vacío ABCDE recorridos a partir de A en sentido contrario al de las manecillas de un reloj van
dando el abecedario. El pentágono se parte de manera natural en el cuadrilátero ABCD y en el
triángulo DEA. Sean
G ABCD y G DEA
los baricentros respectivos. El pentágono también se parte naturalmente en el triángulo ABC y
en el cuadrilátero CDEA. Sean
G ABC y G CDEA
los respectivos baricentros. Entonces, se define al baricentro del pentágono ABCDE como
G ABCDE G ABCD G DEA G ABC G CDEA
Ejercicio c 38 : Sean
ABCD y DEA

las áreas del cuadrilátero y del triángulo respectivos, que se mencionan en la pseudodefinición
anterior.. Probar que
ABCD G ABCDE G DEA
DEA G ABCD G ABCDE
Pseudodefinición. Supongamos que siguiendo la tónica de la pseudodefinición anterior se
puede llegar a definir el baricentro de un n-ágono convexo de interior no vacío A 1 A 2 . . . A n .
Sean A 1 A 2 . . . A n 1 los vértices de un n 1 -ágono convexo de interior no vacío. Nótese
que este polígono se parte de manera natural en el n-ágono (convexo de interior no vacío)
A 1 A 2 . . . A n y en el triángulo A n A n 1 A 1 . Sean
G A 1 A 2 ...A n y G AnAn 1A1
los baricentros respectivos. Otra partición natural del n 1 -ágono en un triángulo y un
n-ágono es
A1A 2A3 y A 3A4. . . An 1A1
El baricentro del n 1 -ágono A 1 A 2 . . . A n 1 se define como
G A 1 A 2 ...A n 1 G A 1 A 2 ...A n G A n A n 1 A 1 G A 1 A 2 A 3 G A 3 A 4 ...A n 1 A 1
Ejercicio c 39 : Sean
A 1 A 2 ...A n y An An 1 A1

las áreas del cuadrilátero y del triángulo, respectivamente. Probar que

A 1 A 2 ...A n G A n A n 1 A 1 G A 1 A 2 ...A n 1
AnAn 1A1 G A 1 A 2 ...A n 1 G A 1 A 2 ...A n
Pseudodefinición. Sea un conjunto convexo de puntos de un plano euclidiano, y sea
n n 3

una sucesión de polígonos convexos de interior no vacío inscritos en , ordenada según el

número de lados del polígono (es decir, 3 es un triángulo, 4 es un cuadrilátero, 5 es un
pentágono, etcétera). Suponiendo que las longitudes de los lados de n tienden a cero cuando
n tiende a infinito y que G n es el baricentro de n , definimos el baricentro de como
G lim G n
n
Nota. Desde luego, la anterior no es una definición, pues no ha sido probada la
convergencia de la sucesión de baricentros G n n .
Ejercicio c 310 : Sea un conjunto convexo compacto de interior no vacío y sean
P 1, P2
Es claro que la cuerda P 1 P 2 da lugar a dos regiones convexas compactas de interior no vacío
de ; llamémoslas 1 y 2 . Sean 1 y 2 sus áreas y sean G 1 y G 2 sus baricentros,
respectivamente. Denotando por G al baricentro de , probar que:
a) G G 1 G 2
b) GG 1
GG 2
2
1

Nota. El resultado establecido en el ejercicio c 310 anterior tiene validez aún cuando en lugar
de convexo se escriba conexo. Más todavía; si 1 y 2 son conjuntos conexos compactos de
interior no vacío cuya intersección sí tiene interior vacío, y cuya unión es un conjunto conexo
, entonces
a) G G 1G 2
G G 1
b) G G 2

2 1

Usaremos esto.
Ya estamos en condiciones de argumentar a favor de que el baricentro G de un conjunto
convexo compacto de interior no vacío es uno de los posiblemente muchos puntos de con
la propiedad establecida en la proposición precedente.
Es fácil entender que no se pierde generalidad si suponemos que el ancho de es 1.
Haciéndolo así, demostraremos que G es uno de esos puntos de en los que se puede
centrar un círculo de radio 13 , con la confianza de que no va a salirse de . Enunciémoslo así:
 Proposición. Sea un conjunto convexo compacto de ancho 1 en 2 . Entonces, lo menos
que puede distar una recta soporte del baricentro G de es 13 .
Pseudodemostración. Sean y cualquier par de rectas soporte paralelas de . Puesto que
el ancho de es 1, la distancia
d , 1
Por otra parte, en conformidad con la definición de recta soporte,
tanto como
y como está acotado y está entre y , lo más grandes que pueden ser estas intersecciones es
como segmentos de la recta en cuestión ( ó ). En todo caso, abarcaremos todas las
situaciones posibles suponiendo que ambas intersecciones son segmentos que pueden constar
de un solo punto; supongamos pues que
A1A2 y A3A4
en el entendido de que tanto A 1 con A 2 , como A 3 con A 4 , pueden llegar a coincidir. También
supondremos que siguiendo a los puntos en el orden A 1 , A 2 , A 3 , A 4 se realiza en el plano un
movimiento de sentido contrario al de las manecillas del reloj.
A partir de esta construcción tenemos que consta de cuatro partes: los segmentos A 1 A 2
y A 3 A 4 , y dos curvas a las que denotaremos por A 2 A 3 y A 4 A 1 . No tendremos inconveniente en
escribir, por ejemplo,
A1A2A2A3A3A4A4A1
(ni cosas por el estilo).
Supongamos que A 2 A 3 no es un segmento de recta. Rotemos, con respecto a A 3 , a la recta
que pasa por A 2 y A 3 , fijándonos en los pares de puntos B, C que la rotación de esta recta va
determinando sobre y sobre A 2 A 3 , respectivamente.
Obsérvese que durante la rotación desde A 3 de la recta que pasa por A 2 y A 3 , hay un
intervalo del giro (contrario al de las manecillas del reloj) en que el área del sector
CA 3 A 3 C
de , decrece desde su valor máximo, que es el área del sector
A2A3A3A2
hasta el valor cero. Simultáneamente, el área del triángulo curvilíneo
A 2 BC
crece desde cero hasta donde nos venga en gana.
Denotemos mediante
CA 3 A 3 C y A 2 BC
a las áreas de estas figuras. De acuerdo con lo anterior, la diferencia de estas áreas
CA 3 A 3 C A 2 BC
varía continuamente. Puesto que el minuendo puede ser un número positivo tan pequeño como
queramos, y al mismo tiempo el sustraendo puede crecer tanto como se quiera, es claro que hay
un par de puntos B 0 , C 0 en que
 CA 3 A 3 C A 2 BC 0

Entonces, el área del sector C 0 A 3 A 3 C 0 y el área del triángulo curvilíneo A 2 B 0 C 0 coinciden.

Por lo tanto
y A3A4A4A1A1B0A3
son conjuntos convexos de áreas iguales.
Sea G 1 el baricentro de la parte
A3A4A4A1A1A 2A2C0C0A3
Nótese que ésta es la parte común de A 3 A 4 A 4 A 1 A 1 B 0 A 3 y de .
Sea G 2 el baricentro de
C0A3A3C0
y sea G 3 el baricentro del triángulo curvilíneo A 2 B 0 C 0 . En conformidad con el resultado
establecido en (a) del ejercicio c 310 anterior, el baricentro G de se encuentra sobre el
segmento G 1 G 2 .
Por otro lado, de acuerdo con los comentarios posteriores al ejercicio c 310 anterior, el
baricentro G de A 3 A 4 A 4 A 1 A 1 B 0 A 3 se halla sobre el segmento G 1 G 3 .
Por (b) del ejercicio anterior (así como por los comentarios hechos al mismo) se tiene que
A2B0B0C0C0A2 C0A3A3C0
G1G G1G
y
G G3 A3A4A4A1A1A2A 2C0C0A3 GG 2 A3A4A4A1A1A 2A2C0C0A 3
Puesto que los numeradores de los segundos miembros de estas igualdades representan al
mismo número, resulta
G1 G G1G
GG 2 G G3
Esto implica que GG y G 3 G 2 son paralelos. Esto implica que G y están en el mismo
semiplano de la recta determinada por G 1 G 2 . Consecuentemente, G no está más lejos de de
lo que lo está G; en símbolos
dG, d G, i

Procediendo similarmente, podemos reemplazar la curva A 1 A 4 por un segmento de recta A 4 D 0 .

Haciéndolo así obtenemos un trapezoide B 0 A 3 A 4 D 0 cuya área es igual al área de .
Antes de seguir adelante, incertemos el
Ejercicio c 311 . Probar que el baricentro del trapezoide B 0 A 3 A 4 D 0 no está más lejos de lo
que lo está G (baricentro de ); es decir, probar que
d , d G, ii
Si el segmento A 3 A 4 tiene longitud cero y, por lo tanto, A 3 y A 4 representan al mismo
punto, entonces el trapezoide degenera en triángulo. Sea R el punto medio del segmento B 0 D 0
y sobre la mediana A 3 R ubiquemos al punto mediano , baricentro de A 3 B 0 D 0 . Como sabemos
 RG 1;
RA 3 3
luego, siendo d la altura del triángulo bajada desde A 3 , tenemos
d , 1
d 3
de donde resulta que
d , 1d
3
Puesto que el ancho de es 1, lo menos que d puede medir es 1; consecuentemente, lo más
cerca que puede estar de es a 13 . Por otra parte, es claro que (ii) del ejercicio c 311 vale aún
cuando el trapezoide haya degenerado en triángulo. Por consiguiente, para el baricentro G de
tenemos
1 d G,
3
lo cual significa que para este caso degenerado (A 3 A 4 ) la proposición ha quedado probada.
Si B 0 A 3 A 4 D 0 es efectivamente un trapezoide, entonces su baricentro se halla sobre el
segmento determinado por los baricentros y de los triángulos A 3 B 0 D 0 y D 0 A 4 A 3 ,
respectivamente. Empleando un argumento de semejanza de triángulos podemos asegurar que
d , 1d
3
donde d es la altura desde A 3 de A 3 B 0 D 0 . Debido al paralelismo de con , también es igual a
d (en magnitud) la altura del triángulo D 0 A 4 A 3 bajada desde D 0 , de manera que por un
argumento de semejanza de triángulos análogo al anteriormente empleado, tenemos que
d , 1d
3
Por consiguiente
d , 2d
3
Por lo tanto
d , 1d 1
3 3
Por (ii) de c 311 , esto implica que
d G, 1
3
como se quería demostrar. @
Proposición. Sea un conjunto convexo compacto de ancho 1 en 2 y sea G su
baricentro. Supongamos que un segmento AB de longitud 1 es parte de la frontera de . Si
es el área de , entonces lo más lejos que puede estar G de AB es 23 .
Demostración. Sea la recta soporte de que es paralela al segmento AB; supondremos
que y tienen al segmento CD como intersección, en el entendido de que esta situación
comprende como caso particular el que C y D representen un mismo punto.
Procediendo como en la demostración anterior, podemos construir un trapezoide BHEA (en
sentido de las manecillas del reloj)de área igual al área de y cuyo baricentro no está más
lejos de de lo que lo está G (el baricentro de ). Nótese que esto implica que no está más
cerca de AB de lo que lo está G.
 Mediante las bases del trapezoide formemos el número
AB EH 1 EH
AB AB
para emplearlo como factor de elongación del segmento AE, para construir el segmento
AQ AE 1 EH
Por semejanza de triángulos es fácil comprobar que la razún hk de la altura h del triángulo ABQ
entre la altura k del trapezoide BHEA es
h 1 EH
k
Consecuentemente, la razón de las áreas es
1
ABQ 2
ABh 1 h 1
BHEA 1
AB EH k 1 EH k
2
Puesto que el trapezoide tiene igual área que , tenemos que
ABQ BHEA
Obsérvese, por otra parte, que el trapezoide BHEA consta del cuadrilátero ABChE y del
triángulo BHCh (siendo Ch la intersección del segmenteo BQ con ); en consecuencia, el
baricentro del trapezoide se halla sobre el segmento de recta que une los baricentros de estas
dos partes.
Antes de seguir adelante, incertaremos el
Ejercicio c 312 . Probar que el baricentro del triángulo ABQ que estamos considerando se
halla a una mayor distancia de AB de lo que lo está .
Puesto que no está más lejos de de lo que lo está G, tenemos que tampoco está más
cerca de AB de lo que lo está G; es decir
d , AB d G, AB
Esto, aunado al resultado que establece el ejercicio c 312 , tiene como consecuencia que
d , AB d G, AB
Como sabemos,
d , AB 1h
3
Pero la altura de un triángulo ABQ de base 1 y área es obviamente
h 2
De aquí que sea
d G, AB 2
3
como había que demostrar. @
Esto nos pone en la pista del último resultado que veremos en este curso.
Teorema de Winternitz. Sea un conjunto convexo compacto de interior no vacío y de
baricentro G. Entonces, cualquier recta que pase por G divide a en dos conjuntos 1 , 2 de
áreas 1 , 2 tales que

4 1 5
5 2 4
 Demostración. Sea cualquier recta que pase por G y sean 1 , 2 los dos conjuntos en los
que divide a . Llamemos A y B a los puntos en los que intersecta a , y consideremos
dos rectas soporte 1 , 2 de por A y por B, respectivamente. Procediendo como en el par de
demostraciones anteriores,, podemos referirnos a un triángulo ABQ de área 1 cuyo
vértice Q se encuentre, junto con 1 , en la región acotada por 1 , 2 y . Esta construcción deja
situado a 2 dentro del ángulo AQB. Prolongando los segmentos QA y QB podemos dar con
los vértices R y P de un trapezoide BARP de área 2 , cuya base AB no es mayor que RP.
Esto implica que el triángulo PQR tiene igual área que .
Sea G el baricentro del triángulo PQR. Como veremos enseguida, G pertenece al interior
del triángulo ABQ. Sean, G 1 el baricentro de 1 , G 2 el baricentro de 2 , G ABQ el baricentro
del triángulo ABQ y G BARP el baricentro del trapezoide BARP. Como sabemos, G es un punto
del segmento G 1 G 2 y divide a éste en la razón
G1G 2
i
GG 2 1

Análogamente, G es un punto del segmento G ABQ G BARP que lo divide en la razón

G ABQ G BARP 2
ii
G G BARP ABQ 1

No es difícil convencerse (procediendo como en el par de demostraciones anteriores) de que

G ABQ no está más cerca del segmento AB de lo que lo está G 1 ; tampoco es difícil ver que
G BARP no está más lejos de AB de lo que lo está G 2 . De (i), (ii) y de este par de observaciones
se sigue que G está en el interior del triángulo ABQ.
Ahora tracemos por G una recta paralela a (y, consecuentemente, paralela también al
segmento RP); sean A 0 y B 0 las intersecciones de con QR y con QP, respectivamente. Puesto
que, según acabamos de ver, G ABQ , es claro que
A0B0Q ABQ 1 B 0 A 0 RP BARP 2

Por consiguiente
A0B0Q 1
B 0 A 0 RP 2
De esta desigualdad podemos hacer la siguiente lectura: dice que hay un elemento mínimo en
el conjunto de números obtenidos como razones 1
2
tales que 1 y 2 son las áreas

de los dos convexos 1 , 2 en que una recta parte a un convexo cuando pasa por su
baricentro. Y dice más, porque además dice que tal elemento mínimo se obtiene cuando es
un triángulo y es paralela a uno de sus lados. Analicemos este caso sobre el propio triángulo
PQR.
Sea QQ una de sus medianas. Como sabemos,
QG 2 QQ
3
Consecuentemente, si denotamos mediante H y H a los pies de las alturas desde Q de los
triángulos A 0 B 0 Q y PQR, entonces se tiene que también
QH 2 QH y A 0B0 2 RP
3 3
A0B0Q 1 A 0 B 0 QH 1 2 RP 2 QH 4 PQR
2 2 3 3 9
Quiere decir que los 59 restantes del área de PQR están en el trapezoide B 0 A 0 RP. En
consecuencia tenemos que
4
A0B0Q 9
PQR 4
B 0 A 0 RP 5
PQR 5
9
4
Así es que 5
es el cociente mínimo de las razones referidas. Puesto que dos de estas razones
son
1 2
y
2 1
tenemos que
4 1
y 4 2
5 2 5 1

Al tomar los recíprocos de ambos miembros de la segunda desigualdad obtenemos

4 1 5
5 2 4
que es a lo que se quería llegar. @