Tesis Geometria Del Cuadrilatero

Geometra del Cuadrilatero.
Jorge Alonso Santos Mellado
ii
Indice general
Indice general
IV
Pr
ologo
Agradecimientos
IX
1. Cuadril
atero: nociones b
asicas.
1.1. Tipos de cuadrilateros. . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1. Polgonos convexos y concavos. . . . . . . . . . . . . . . .
1.1.2. Cuadrilateros convexos, entrantes y cruzados. . . . . . . .
1.1.3. Clasificacion y propiedades de los cuadrilateros convexos.
1.2. Area
del cuadrilatero . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Aplicaciones del area del cuadrilatero: Teorema de Varignon. . .
1.3.1. Teorema y Paralelogramo de Varignon. . . . . . . . . . . .
1.3.2. Consecuencias del Teorema de Varignon. . . . . . . . . . .
2. Cuadril
ateros Cclicos y Circunscritos.
2.1. Cuadrilateros Cclicos. . . . . . . . . . . . . . . . . . .
2.1.1. Polgonos inscritos en crculos. . . . . . . . . .
2.1.2. Dos criterios para la caracterizacion
de cuadrilateros cclicos. . . . . . . . . . . . . .
2.1.3. Teorema de Ptolomeo. . . . . . . . . . . . . . .
2.1.4. Lneas antiparalelas. . . . . . . . . . . . . . . .
2.1.5. Lnea de Simson. . . . . . . . . . . . . . . . . .
2.1.6. Teoremas japoneses o de Mikami y Kobayashi.
2.1.7. Formula de Brahmagupta. . . . . . . . . . . . .
2.1.8. Construccion del cuadrilatero cclico. . . . . . .
2.2. Cuadrilateros circunscritos. . . . . . . . . . . . . . . .
2.2.1. Polgonos circunscritos en crculos. . . . . . . .
2.2.2. Dos criterios para la caracterizacion de
cuadrilateros circunscritos. . . . . . . . . . . .
2.3. Cuadrilatero bicentrico. . . . . . . . . . . . . . . . . .
2.4. Teorema de Casey . . . . . . . . . . . . . . . . . . . .
2.4.1. Tangentes comunes a dos circunferencias. . . .
iii
1
1
1
2
3
6
7
7
8
. . . . . .
. . . . . .
15
15
15
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
16
16
18
19
22
26
31
34
34
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
38
45
45
INDICE GENERAL
iv
2.4.2. Teorema de Casey. . . . . . . . . . . . . . . . . . . . . . .
50
3. El cuadril
atero cclico en el Almagesto.
3.1. Claudio Ptolomeo. . . . . . . . . . . . . . . .
3.2. La Tabla de Cuerdas. . . . . . . . . . . . . .
3.3. Identidades trigonometricas. . . . . . . . . . .
3.3.1. Teorema de Ptolomeo trigonometrico.
3.3.2. Identidades del seno y del coseno . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4. Cuadril
atero y cuadr
angulo completos.
4.1. Principio de dualidad . . . . . . . . . . .
4.2. Cuadrilatero y cuadrangulo completos. .
4.3. Conjugados Armonicos . . . . . . . . . .
4.4. Perspectividad. . . . . . . . . . . . . . .
4.5. Orden y continuidad . . . . . . . . . . .
4.6. Proyectividad . . . . . . . . . . . . . . .
4.7. Involucion. . . . . . . . . . . . . . . . .
4.8. Colineaciones y Correlaciones. . . . . . .
4.9. Polaridad. . . . . . . . . . . . . . . . . .
4.10. Triangulos polares y autopolares. . . . .
4.11. Polaridades elpticas e hiperbolicas. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
79
. 79
. 81
. 83
. 85
. 88
. 94
. 97
. 99
. 102
. 105
. 107
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
de Lambert. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5. Cuadril
ateros de Saccheri y de Lambert.
5.1. Cuadrilatero de Saccheri. . . . . . . . . . . .
5.1.1. Girolamo Saccheri. . . . . . . . . . . .
5.1.2. La obra de Saccheri. . . . . . . . . . .
5.2. Cuadrilatero de Lambert. . . . . . . . . . . .
5.2.1. Juan Enrique Lambert. . . . . . . . .
5.2.2. La obra de Lambert. . . . . . . . . . .
5.3. Relacion entre el cuadrilatero de Saccheri y el
55
55
56
69
71
72
115
115
115
115
126
126
126
128
A. Angulos
en la circunferencia
133
A.1. Angulos
Inscritos. . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
A.2. Angulos
semiinscritos. . . . . . . . . . . . . . . . . . . . . . . . . 137
A.3. Angulos
interiores y exteriores . . . . . . . . . . . . . . . . . . . . 137
Indice alfab
etico
143
Bibliografa
143
Pr
ologo
Una posible definicion de geometra euclidiana es: el estudio de las propiedades de la figuras geometricas. Si seguimos tal definicion, podemos decir que
es la rama del conocimiento que estudia las propiedades de los polgonos y del
crculo. Ahora bien, un polgono, de manera general, puede descomponerse en
triangulos y, por lo tanto, el estudio de las propiedades de aquellos se reduce
al de estos. En consecuencia, podemos decir que la geometra euclidiana es el
estudio de las propiedades del triangulo y del crculo. Esta definicion es, sin
embargo, solo una forma de entender la geometra pero explica porque en diversos libros de la materia se hace la division entre geometra del triangulo y
geometra del crculo. Sin embargo, cualquiera que ha llevado uno de estos cursos sabe que no solo se ven propiedades de las dos figuras mencionadas, sino
que ademas se atienden las propiedades de otros polgonos, principalmente las
de los cuadrilateros. A pesar de esto, en los libros no se hacen apartados para
la geometra del cuadrilatero, sino que se van estudiando sus propiedades en la
medida que facilitan y se requieren para la obtencion de resultados de las dos
figuras previamente mencionadas.
Es com
un que en los textos de geometra, ademas de presentar los temas
del triangulo y la circunferencia esenciales para cualquier curso de esta materia,
se consignen resultados mas particulares de tales figuras, los cuales no forman
parte de un curso basico y se les propone como una opcion para que el alumno
profundice sus conocimientos geometricos. Sin embargo, no es nada com
un que
se presenten propiedades particulares del cuadrilatero con la intencion descrita,
lo que fomenta que muchas de ellas sean muy poco conocidas.
Partiendo del razonamiento anterior, la finalidad del presente trabajo es
contribuir en la ense
nanza-aprendizaje de la geometra euclidiana. Por un lado,
y como su nombre lo indica, es un estudio de la geometra del cuadrilatero, que si
bien no es exhaustivo s da un visi
on general del papel que tal figura desempe
na
en el campo del conocimiento que nos interesa. Por otro lado, puede ser una
referencia, respaldo o auxiliar en los cursos de geometra, pues contiene temas
que no se ven en tales cursos a pesar de estar totalmente en contexto con ellos.
La idea fue crear un trabajo autocontenido que este al alcance de cualquiera
que tenga nociones geometricas mnimas, en concreto: criterios de congruencia
y semejanza de triangulos, las funciones trigonometricas seno y coseno y sus
identidades basicas como la ley de senos y la de cosenos.
Cuando realizamos un estudio de la geometra a partir del estudio de las
v
vi
PROLOGO
propiedades del triangulo es innegable que no atendemos u

nica y exclusivamente a tal figura, es decir, nos auxiliamos, por ejemplo, de las propiedades de
las circunferencias y de los cuadrilateros pero la idea central es el estudio del
trangulo. Las propiedades de otras figuras solo sirven para obtener resultados
referentes a el. De la misma manera, al acercarnos a la geometra a traves de las
propiedades del cuadrilatero, en repetidas ocasiones tendremos que establecer
resultados referentes al triangulo y a la circunferencia pero manteniendo siempre
como directriz al cuadrilatero.
Por u
ltimo, describimos brevemente el contenido.
En el primer captulo establecemos las propiedades mas elementales de los
cuadrilateros, hacemos una clasificacion, definimos su area, establecemos el teorema de Varignon y, a partir de el, obtenemos diversos resultados.
En el segundo captulo fundamentalmente atendemos a los cuadrilateros
cclicos (quiza este es el tipo de cuadrilatero del que se conocen el mayor n
umero
de resultados) y a los circunscritos. Con respecto a los primeros, establecemos
cinco distintos criterios que los caracterizan. Los dos primeros en funcion de
sus angulos, el tercero es el teorema de Ptolomeo, que dicho sea de paso, muy
probablemente sea el resultado mas conocido referente a estas figuras, el cuarto
esta dado en funcion de la teora de lneas antiparalelas y el quinto se basa en
la lnea de Simson. Luego nos ocupamos de dos teoremas conocidos como teoremas japoneses o teoremas de Mikami y Kobayashi. Deducimos la formula de
Brahmagupta, la cual nos proporciona el area en funcion de los lados. Construimos con regla y compas un cuadrilatero cclico a partir de sus lados y damos
condiciones para que la construccion sea posible. Adicionalmente, vemos que tal
construccion no es u
nica. Por u
ltimo, damos resultados que ligan a las diagonales con los lados. Para los cuadrilateros circunscritos establecemos un par de
criterios que los caracterizan. Enseguida definimos los cuadrilateros bicentricos
y los ortodiagonales para luego dar condiciones bajo las cuales un cuadrilatero
es bicentrico. La parte final de este captulo la dedicamos al teorema de Casey,
tambien conocido como generalizacion del teorema de Ptolomeo.
En el tercer captulo hacemos una revision minuciosa y ampliada del trabajo que Ptolomeo realizo en su Almagesto. Esencialmente es la construcci
on
geometrica completa y detallada de la tabla de valores de una funcion trigonometrica equivalente al seno: la funcion cuerda. El motivo por el cual exponemos este material es que los resultados se obtienen fundamentalmente del
cuadrilatero cclico y de la aplicacion del teorema de Ptolomeo. Por otro lado,
esta seccion, al seguir paso a paso la obtencion de los valores de la funcion cuerda, muestra como se podra elaborar geometrica y completamente una tabla
para el seno. Al final hacemos un agregado en donde obtenemos, con el uso exclusivo del cuadrilatero cclico y del teorema de Ptolomeo, las identidades para
el seno o el coseno de la suma o la resta de dos angulos, el seno o coseno del
angulo doble o del angulo mitad.
El cuarto captulo esencialmente es una introduccion a un curso de geometra
proyectiva. Hacemos esto debido a que en tal disciplina el cuadrilatero completo
es la figura a traves de la cual se definen todos los conceptos basicos. Si bien
para la geometra proyectiva el tema central es el estudio de las proyectividades
vii
y las perspectividades, para despues estudiar las conicas, tal estudio se realiza
con estrecho apego al cuadrilatero completo. Es por ello que esta figura desempe
na un papel fundamental en esta geometra y, consecuentemente, le prestamos
atencion. Cabe destacar que aunque este captulo tiene un caracter introductorio a la materia mencionada, en todo momento se hace ver que el cuadrilatero
completo y su dual, el cuadrangulo completo, estan presentes.
El u
ltimo captulo, el quinto, se enfoca a revisar y obtener resultados de
los cuadrilateros de Saccheri y de Lambert. En este captulo hacemos ver como
los trabajos de estos dos personajes dieron pie a las geometras no euclidianas.
Ambos trabajaron fundamentalmente con cuadrilateros y de ah nuestro interes.
Al final establecemos algunas relaciones entre estos dos tipos de figuras.
Hemos incluido un apendice en el que examinamos de manera atenta los
angulos en la circunferencia, a saber: angulos inscritos, semiinscritos, interiores
y exteriores. En cada uno clasificamos las distintas posibilidades y todos los
ponemos en funcion del angulo central.
viii
PROLOGO
Agradecimientos
A los responsables de que este logro personal sea una realidad: mis abuelitos
Santos y Carmen y a mi mama Bertha.
A mi toda mi familia, a mis amigos de la Facultad de Ciencias, a los profesores Julio Cesar Cedillo, Leobardo Fernandez y Silvestre Cardenas por las
oportunidades academicas que me han dado y a Sandra por acompa
narme en
este proceso.
ix
AGRADECIMIENTOS
Captulo 1
Cuadril
atero: nociones
b
asicas.
1.1.
Tipos de cuadril
ateros.
En el presente trabajo haremos un estudio detallado del cuadrilatero. Para

empezar necesitamos establecer un acuerdo acerca de que es un cuadrilatero.
Para tal efecto, primero debemos recordar brevemente que es un polgono y las
distintas clases que nos interesan.
1.1.1.
Polgonos convexos y c
oncavos.
De manera intuitiva un polgono es una figura geometrica plana y cerrada

que consta de puntos y segmentos de lnea que unen estos puntos en un orden
consecutivo. Estableceremos con mas precision esta idea en la siguiente:
Definici
on 1.1.1. Dados los puntos A1 , A2 , A3 , , An en el plano y tomados
de tres a la vez no est
an alineados. Diremos que el polgono determinado por
ellos es el conjunto de puntos del plano (figura cerrada) delimitados por los
segmentos de recta A1 A2 , A2 A3 , , An1 An , An A1 .
En la anterior definicion los puntos A1 , A2 , A3 , , An se llaman vertices
y los segmentos A1 A2 , A2 A3 , , An1 An , An A1 son los lados del polgono.
Tanto los vertices como los puntos que forman los lados son parte del lugar
geometrico. Ahora distinguiremos los polgonos convexos de los c
oncavos en las
siguientes definiciones.
Definici
on 1.1.2 (Polgono Convexo). Un polgono convexo es aquel que al
tomar cualquier par de puntos de el, el segmento de recta determinado por ellos
est
a totalmente contenido en el polgono.
Definici
on 1.1.3 (Polgono Concavo). Un polgono concavo es el que no es
convexo, es decir, aquel en donde existen un par de puntos que pertenecen a el
1
CAPITULO 1. CUADRILATERO:
NOCIONES BASICAS.
y, sin embargo, el segmento determinado por ellos no est

a totalmente contenido
en el polgono.
Figura 1.1:
1.1.2.
Cuadril
ateros convexos, entrantes y cruzados.
Estamos en condiciones de dar una definicion provisional de cuadrilatero.

Mas adelante definiremos con mas precision el concepto, mas por el momento
con esto es suficiente.
Definici
on 1.1.4 (Cuadrilatero). Un cuadrilatero es un polgono de cuatro
lados.
El cuadrilatero de vertices A, B, C y D, lo denotaremos como ABCD.
En la Figura 1.2 tenemos el ABCD. Los lados que comparten un vertice son
llamados lados adyacentes. Si dos lados no lo hacen, les decimos lados opuestos.
AB es adyacente a BC y DA. Los lados AB y CD son opuestos, as como
BC y DA. Los vertices que estan en un mismo lado son vertices adyacentes,
si no, vertices opuestos. A es adyacente de B y D. A y C, as como B y D
son opuestos. Finalmente, los segmentos determinados por un par de vertices
opuestos son llamados diagonales. AC y BD son las diagonales del ABCD.
C
B
Figura 1.2:
Como los cuadrilateros son polgonos, los hay convexos y concavos. A partir
de su definicion es claro que en los cuadrilateros convexos sus dos diagonales
estan totalmente contenidas en ellos. Si consideramos un cuadrilatero concavo
como el que aparece del lado izquierdo de la Figura 1.3, vemos que una de sus
diagonales queda fuera y la otra dentro de el. A este tipo de cuadrilateros se les
llama entrantes . La pregunta natural en este punto es: existira un cuadrilatero
en el que sus dos diagonales esten fuera de el? Algunos autores consideran que

1.1. TIPOS DE CUADRILATEROS.
s y, en consecuencia, a una figura como la que aparece del lado derecho de la

Figura 1.3 le llaman cuadrilatero cruzado . En el los lados siguen siendo AB,
BC, CD y DA pero el orden cclico en el que estan colocados sus vertices no
es el mismo que el del ABCD convexo de la Figura 1.2. Si consideramos
el sentido contrario a las manecillas del reloj, C aparece primero que B, lo
cual origina que los lados AB y CD se intersequen. Vemos que esta figura
tiene cuatro lados, pero tiene cinco vertices. Los autores que llaman a este tipo
de figuras cuadrilateros cruzados, no definen un vertice en la interseccion de
AB y CD con lo que este cuadrilatero cruzado sigue teniendo cuatro lados y
cuatro vertices. El definir esta figura como cuadrilatero, les permite clasificar
un cuadrilatero a partir del n
umero de diagonales que esten dentro de el. As,
si en un cuadrilatero sus dos diagonales estan dentro de el es convexo, si una
esta dentro y la otra fuera, es entrante y si las dos estan fuera, es cruzado. Otra
forma, mas intuitiva de entender que es un cuadrilatero cruzado es como sigue:
supongamos que tenemos un ABCD convexo como en la Figura 1.2 en el que
los lados AB y CD se pueden estirar. Giremos el lado BC 180 . El ABCD
convexo se convierte en el ACBD que queda cruzado como el de la Figura 1.3.
Insistimos en que en realidad esta figura no es un cuadrilatero pues no estamos
considerando un vertice, pero en este tratado la consideraremos como tal debido
a que hay autores que as lo hacen, ademas de que al hacerlo as hay teora que
queda establecida de manera mas general. 1
Adoptamos la convencion de que ABCD representa un cuadrilatero convexo y ACBD, uno cruzado. Cuando el cuadrilatero sea entrante lo anunciaremos explcitamente para evitar confusion.
B
D
D
1.1.3.
B
Figura 1.3:
Clasificaci
on y propiedades de los cuadril
ateros convexos.
Dentro de los cuadrilateros convexos podemos hacer una clasificacion atendiendo a la longuitud de los lados, a los angulos y a si sus lados opuestos son
1 Tanto el Teorema de Varignon como la caracterizaci
on de los cuadril
ateros cclicos a trav
es
de la noci
on de lneas antiparalelas quedan establecidos de manera m
as general (en el sentido
de que siguen siendo v
alidos) si tambi
en se consideran a los cuadril
ateros cruzados. El Teorema
de Varignon lo atenderemos en este mismo captulo, mientras que a las lneas antiparalelas,
en el siguiente.
NOCIONES BASICAS.
paralelos. Presentamos una lista con los nombres y su caracteririzacion.

(a) Cuadrado: Cuatro lados iguales y cuatro angulos rectos.
(b) Rectangulo: Cuatro angulos rectos.
(c) Paralelogramo: Lados opuestos paralelos.
(d) Rombo: Cuatro lados iguales.
(e) Romboide: Dos pares de lados adyacentes iguales.
(f ) Trapecio: Un par de lados opuestos paralelos.
(g) Trapecio Isosceles: Un par de lados opuestos paralelos y los otros lados
iguales.
f
Figura 1.4:
Se pueden deducir diversas propiedades de estos cuadrilateros especficos

a partir de las carecterizaciones dadas. Aqu solo enunciaremos y probaremos
algunas como proposiciones a manera de muestra.
Proposici
on 1.1.5. Un cuadril
atero es un paralelogramo si y s
olo si sus diagonales se cortan en el punto medio.
Demostraci
on. Sea ABCD un paralelogramo y E el punto donde se cortan sus
diagonales. CAB DAC pues BAC = DCA, AC es com
un y ACB =
CAD. En consecuencia AB = CD y BC = DA. Si usamos el mismo criterio,
obtenemos que EAB ECD y, por lo tanto, AE = EC y BE = ED.

1.1. TIPOS DE CUADRILATEROS.
C
E
B
Figura 1.5:
De manera inversa, supongamos que en el ABCD sus diagonales se bisecan

mutuamente en E. DEC BEA pues DE = EB, CED = AEB y
AE = EC. Luego AB k CD. Analogamente DAE BCE y DA k BC.
Proposici
on 1.1.6. Un paralelogramo es un rect
angulo si y s
olo si sus diagonales tienen la misma longitud.
D
C
E
B
Figura 1.6:
Demostraci
on. Sea el ABCD un rectangulo. Por la proposicion anterior tenemos que AB = CD y BC = DA. DAB CBA debido a las igualdades
precedentes y a que ambos son rect
angulos. Se sigue que AC = BD. Inversamente, si ABCD es paralelogramo y AC = BD, se obtiene que DAB CBA
y, en consecuencia, BAD = CBA. Como entre estos dos angulos suman 180 ,
entonces son rectos.
Proposici
on 1.1.7. Todo rombo es paralelogramo.
D
B
Figura 1.7:
Demostraci
on. Sea ABCD un rombo. Entonces CDB ADB al tener lados respectivos iguales. Ademas ambos son isosceles, lo que implica que
BDC = DBA y esto que AB k CD. Analogamente BC k DA. As ABCD
es un paralelogramo.
NOCIONES BASICAS.
Proposici
on 1.1.8. Un paralelogramo es un rombo si y s
olo si sus diagonales
son perpendiculares.
Demostraci
on. Sea ABCD un paralelogramo con AC BD. Por la Proposicion 1.1.5 AC y BD se bisecan en E y como lados opuestos son iguales se tiene
que EAB EBC ECD EDA. As los cuatro lados son iguales y
ABCD es rombo. Supongamos ahora que ABCD es un rombo. Por la proposicion anterior tenemos que tambien es un paralelogramo y, en consecuencia, por
Proposicion 1.1.5, sus diagonales se bisecan en E. As CDB ADB al tener
sus lados correspondientes iguales. Consecuentemente CED = DEA y como
suman entre los dos 180 , resultan ser ambos rectos. Con esto AC BD.
1.2.
Area
del cuadril
atero
Antes de empezar, introducimos notacion para el area. AABCD y AABC

denotan el area del ABCD y del ABC. Al area de un triangulo le asignaremos orientacion positiva o negativa, seg
un recorramos sus vertices en sentido
contrario a las manecillas del reloj o no 2 . As AABC = ABCA = ACAB =
AACB .
Resulta natural definir el area de un cuadrilatero convexo (como el de la
Figura 1.2) como la suma de las areas de los triangulos en los que se descompone
por cualquiera de sus diagonales.
AABCD = ADAB + ADBC = ADAC + ACAB
(1.1)
Al considerar un cuadrilatero entrante como el de la parte izquierda de la Figura

1.3, vemos que no con cualquier diagonal resulta natural definir su area. Si
consideramos la diagonal contenida en el cuadrilatero, entonces la definici
on
es la natural. Si consideramos la otra diagonal, definimos el area del ABCD
entrante de la Figura 1.3 como la diferencia de las areas de los triangulos
generados por esa diagonal. Con esto definimos el area del cuadrilatero entrante
de la Figura 1.3 como:
AABCD = ADAC + ACAB = ADAB ADCB = ADAB + ADBC (1.2)
Por u
ltimo, la definicion del area de un cuadrilatero cruzado no sera la que
resulta natural. Definimos el area de un cruadrilatero cruzado como la diferencia
de las areas de los triangulos que ((aparentemente)) se forman con sus cuatro
lados. Para ser mas claros nos referiremos al ACBD cruzado de la Figura
1.3. Decimos que en tal cuadrilatero ((aparentemente)) se forman dos triangulos
porque en realidad en la interseccion de AB y CD no hay definido un vertice.
Si nombramos E a ese punto -que no es vertice-, entonces el area sera:
AECB ADAE
(1.3)
2 Este concepto es totalmente an

alogo al de segmentos dirigidos, en donde si escribimos AB
significa el segmento que va de A a B, mientras que BA, denota al que va de B a A. Con esto
AB = BA que es equivalente a AB + BA = 0.
1.3. APLICACIONES DEL AREA

DEL CUADRILATERO:
TEOREMA DE VARIGNON.7
Surge la pregunta de por que mientras que en los cuadrilateros convexos y en los
entrantes se define el area como la porcion del plano delimitada por los cuatro
lados, en los cruzados no. La respuesta la hallaremos en la siguiente seccion.
1.3.
1.3.1.
Aplicaciones del
area del cuadril
atero: Teorema de Varignon.
Teorema y Paralelogramo de Varignon.
El siguiente teorema aparecio publicado por vez primera en 1731 y su demostracion se la debemos a frances Pierre Varignon (1654-1722).
Teorema 1.3.1 (Teorema de Varignon). La figura formada con los puntos medios de un cuuadril
atero es un paralelogramo y su a
rea es la mitad de la del
cuadril
atero.
D
S
S
C
A
P
Q
B
Q
P
Figura 1.8:
Demostraci
on. Haremos la demostracion refiriendonos al cudrilatero cruzado
que aparece en la parte derecha de la Figura 1.8, para hacer notar que la definicion del area en ese tipo de cuadrilateros tiene sentido. Para una demostracion
en convexos y entrantes se debe proceder de manera totalmente analoga.
Sean P , Q, R y S los puntos medios de AB, BC, CD y DA. De BAC y
DAC tenemos que P Q y RS son paralelas a AC y, en consecuencia, entre ellas.
Analogamente SP y QR son paralelas. Por lo tanto, P QRS es paralelogramo.
Este paralelogramo es llamado Paralelogramo de Varignon del ACBD.
Para calcular el AP QRS , fijemonos en el cuadrilatero convexo que se forma con los segmentos AC, CB, BD y DA el cual denotaremos solo en esta
NOCIONES BASICAS.
demostracion como ABCD.

1
3
3
1
AP QRS = AABCD ( ADAB + ABAC + ADCB + ADAC )
4
4
4
4
4AP QRS = 4AABCD (ADAB + 3ABAC + 3ADCB + ADAC )
= 4AABCD (AABCD + 2ABAC + AABCD + 2ADCB )
AP QRS
= 2AABCD 2(ABAC + ADCB )

1
= (AABCD (ABAC + ADCB ))
2
Con esto vemos que el AP QRS es igual a la diferencia de las areas de los
triangulos que ((aparentemente)) se forman con los lados del ACBD.
Corolario 1.3.2. En el ABCD, el permetro de su Paralelogramo de Varignon
es igual a la suma de sus diagonales.
Demostraci
on. Solo hay que observar que QR = SP = 21 BD y lo mismo para
la otra diagonal.
1.3.2.
Consecuencias del Teorema de Varignon.
De la Proposicion 1.1.5 sabemos que las diagonales de un paralelogramo se

bisecan. Cuando se trata de un Paralelogramo de Varignon, ese punto recibe
por nombre Centro del Paralelogramo de Varignon. El siguiente teorema hace
referencia a el.
Teorema 1.3.3. Los segmentos que unen los puntos medios de los dos pares de
lados opuestos y de las diagonales de un cuadril
atero concurren y se bisecan en
el Centro del Paralelogramo de Varignon.
D
R
U
O
T
P
Q
B
Figura 1.9:
Demostraci
on. En la Figura 1.9, P QRS es el Paralelogramo de Varignon de
ABCD. Sea O su centro. Solo resta ver que U T , con T y U puntos medios de

DEL CUADRILATERO:
AC y BD, es bisecado por O. Para eso basta considerar el cuadrilatero cruzado
que se forma con BC y DA y con las diagonales de ABCD. Se tiene que el
ST QU es su Paralelogramo de Varignon, con lo cual SQ y T U se bisecan,
pero el punto medio de SQ es justo O. Por lo tanto, P R, SQ y T U concurren
y se bisecan en el Centro del Paralelogramo de Varignon.
Teorema 1.3.4. Una diagonal divide a un cuadril
atero en dos tri
angulos de
igual a
rea si y s
olo si biseca a la otra diagonal.
D
F H
B
Figura 1.10:
Demostraci
on. Sean F la interseccion de AC y BD, G y H las proyecciones de D
y B sobre AC. Supongamos que en la Figura 1.10 ADAC = AABC . Entonces,
como en tales triangulos AC puede funcionar como su base, DG = BH. Con
esto DGF BHF pues ambos tienen angulo recto, angulos opuestos por
el vertice y un lado igual. Por lo tanto DF = BF . Inversamente, si se da esta
u
ltima igualdad se tiene que DGF BHF y as ADAC = AABC .
Teorema 1.3.5. Si en el ABCD las prolongaciones de AB y DC se cortan
en E, T y U son los puntos medios de AC y BD, entonces AUT E = 41 AABCD
D
T
A
B
Figura 1.11:
10
NOCIONES BASICAS.
Demostraci
on. Sea ST QU el Paralelogramo de Varignon de ACDB. Trazamos los segmentos U E, QE y T E. Notemos que T y Q son puntos medios de
AC y BC, con lo que T Q biseca a CE. Con esta informacion podemos aplicar
el Teorema 1.3.4 al CT EQ que es entrante. As obtenemos:
ACT Q = AQT E =
1
ACAB
4
(1.4)
1
ADBC
4
(1.5)
Analogamente en el U BQE:
AUBQ = AUQE =
Ahora aplicamos el Teorema de Varignon al ACBD

AUT Q =
1
1
1
1
AST QU = AACBD = ADAB ACAB
2
4
4
4
(1.6)
Sumamos (1.4), (1.5) y (1.6).

AUT E = AQT E + AUQE + AUT Q
1
1
1
1
= ACAB + ADBC + ADAB ACAB
4
4
4
4
1
= AABCD
4
(1.7)
A continuacion estableceremos algunas proposiciones que relacionan los lados

de un cuadrilatero con sus diagonales, estas con las de su Paralelogramo de
Varignon y, por u
ltimo, los lados con las diagonales de un trapecio isosceles.
Para tal fin, requerimos un par de resultados previos.
Proposici
on 1.3.6 (Ley del Paralelogramo). En un paralelogramo la suma de
los cuadrados de sus lados es igual a la suma de los cuadrados de sus diagonales.
a
d
b
A x E
e
ax
B x F
Figura 1.12:
Demostraci
on. Sea ABCD un paralelogramo. Sean E y F las proyecciones de
D y C sobre AB. Nombremos a = AB = CD, b = BC = DA, h = DE = CF ,

DEL CUADRILATERO:
x = AE = BF , a x = EB, d = AC y e = BD. Con esto lo que debemos
probar es:
d2 + e2 = 2(a2 + b2 )
(1.8)
Si aplicamos el Teorema de Pitagoras a CAF , DEB y DAE se obtiene:
d2 = (a + x)2 + h2
(1.9)
e2 = (a x)2 + h2
(1.10)
b2 = x2 + h2
(1.11)
Sumamos (1.9) y (1.10) y en la suma sustituimos (1.11) para obtener (1.8)

Como consecuencia de la Ley del Paralelogramo podemos obtener la longitud
de las medianas de un triangulo, en terminos de sus lados. Esto lo establecemos
en la siguiente:
Proposici
on 1.3.7. El cuadrado de la longitud de una mediana de un tri
angulo
cualquiera, est
a dado por la semisuma de los cuadrados de los lados que intersectan a la mediana, menos el cuadrado de la mitad del tercer lado.
A
N
Figura 1.13:
Demostraci
on. En la Figura 1.13, sean a = BC, b = CA, c = AB y ma = AL.
2
ElAN LM es un paralelogramo, consecuentemente en el se cumple m2a + a2 =
2
2
2 2b + 2c
. Al despejar m2a queda:
m2a =
b 2 + c2 a 2
2
2
(1.12)
Proposici
on 1.3.8. Si P , Q, R, S, T y U son los puntos medios de AB, BC,
CD, DA, AC y BD del ABCD, entonces se cumplen:
AB 2 + BC 2 + CD2 + DA2 = AC 2 + BD2 + 4T U 2

AC 2 + BD2 = 2 P R2 + QS 2
(1.13)
(1.14)
12
NOCIONES BASICAS.
D
R
S
T
P
Figura 1.14:
Demostraci
on. En la Figura 1.14 T U , AU y CU son medianas de U AC,
DAB y DBC. Por la Proposicion 1.3.7 se tiene:
AU 2 + CU 2
AC
2
2
(1.15)
DA2 + AB 2
AU =
BD
2
2
(1.16)
UT 2 =
CU 2 =
CD2 + BC 2
BD
2
2
(1.17)
Sustituimos (1.16) y (1.17) en (1.15). Agrupamos adecuadamente para obtener

( 1.13). Para demostrar ( 1.14) basta con aplicar la Ley del Paralelogramo a
P QRS y recordar que los lados de este paralelogramo miden la mitad de la
diagonal a la que son paralelos.

P R2 + QS 2 = 2 P Q2 + QS 2

2
2 !
AC
BD
=2
+
2
2
=
AC 2 + BD2
2
Proposici
on 1.3.9. Si ABCD es un trapecio is
osceles, con lados paralelos
c < b, lados iguales a y diagonales d, se cumple:
d2 = a2 + bc
(1.18)
Demostraci
on. Si aplicamos el Teorema de Pitagoras a CAF y CF B, obtenemos:
(b + c)2
+ h2
(1.19)
d2 =
4

DEL CUADRILATERO:
c
D
a h
A
d
E
C
h a
d
b
Figura 1.15:
(b c)2
4
En (1.19) sustituimos (1.20), acomodamos y obtenemos (1.18)
a2 = h 2 +
(1.20)
14
NOCIONES BASICAS.
Captulo 2
Cuadril
ateros Cclicos y
Circunscritos.
2.1.
2.1.1.
Cuadril
ateros Cclicos.
Polgonos inscritos en crculos.
Si un polgono tiene sus vertices sobre una circunferencia decimos que esta inscrito en ella o, dicho de otra manera, decimos que la circunferencia esta circunscrita en el polgono. Dado un polgono cualquiera no siempre podemos inscribirlo
en un crculo. Si el polgono es un triangulo, siempre es posible hacer lo anterior.
Basta tomar como centro el punto donde concurren las mediatrices del triangulo y como radio la distancia de este punto a cualquiera de los vertices. En la
siguiente figura aparece un triangulo y un cuadrilatero inscritos en circunferencias.
A
O
C
A
B
Figura 2.1:
15
16
CAPITULO 2. CUADRILATEROS
CICLICOS Y CIRCUNSCRITOS.
2.1.2.
Dos criterios para la caracterizaci

on
de cuadril
ateros cclicos.
Hemos visto que dado un triangulo, siempre es posible inscribirlo en un

crculo. Dado un cuadrilatero cualquiera, siempre es posible inscribirlo en un
crculo?
D
A
B
-a-
B
Figura 2.2:
-b-
Si un ABCD esta inscrito en un crculo como en la Figura 2.2a, entonces

sabemos que los angulos opuestos son suplementarios. Esto se sigue del hecho
que son inscritos y que entre los dos abarcan la circunferencia completa. Inversamente, si tenemos un ABCD en el que un par de sus angulos opuestos son
suplementarios, sabemos que entonces el cuadrilatero es cclico. La demostraci
on
completa de estos dos hechos esta en el apendice de angulos inscritos.
Del mismo modo, si tenemos un ABCD inscrito en un crculo como en la
Figura 2.2b, sabemos que los angulos que subtienden un mismo lado son iguales
entre s. Recprocamente, si en ABCD dos angulos que se forman cada uno con
un lado opuesto y con una diagonal son iguales entre s, entonces el cuadrilatero
es cclico. De nuevo, la demostracion detallada esta en el apendice de angulos
inscritos.
Las dos discuciones precedentes son las demostraciones de los siguientes teoremas.
Teorema 2.1.1. Un ABCD es cclico si y s
olo si sus a
ngulos opuestos son
suplementarios.
olo si dos de los a
ngulos formados
cada uno con un lado opuesto y con una diagonal son iguales entre s
Los dos teoremas precedentes caracterizan a los cuadrilateros cclicos a traves
de sus angulos. Otra caracterizacion de ellos se puede hacer atendiendo a sus
lados y, de hecho, es conocido como Teorema de Ptolomeo, el cual enunciamos
y demostramos.
2.1.3.
Teorema de Ptolomeo.
Teorema 2.1.3 (Teorema de Ptolomeo). Un ABCD es cclico si y s

olo si:
AC BD = AB CD + AD BC
(2.1)

2.1. CUADRILATEROS
CICLICOS.
17
C
B
A
Figura 2.3:
Demostraci
on. Demostraremos primero la proposicion directa del teorema. Consideremos un ABCD cclico como en la Figura 2.3. Sea E un punto en la diagonal AC de tal forma que ADE = BDC. Tenemos que DAE DBC
por la igualdad de angulos anterior y por la de EAD y CBD. Se sigue que:
AE
ED
DA
=
=
DB
BC
CD
(2.2)
Utilizamos la relacion anterior y EDC = ADB para establecer que DEC

DAB. Entonces:
EC
CD
DE
=
=
(2.3)
DA
AB
BD
De las relaciones ( 2.2) y ( 2.3) se obtiene DA BC = AE DB y CD AB =
EC DB. Sumando estas dos igualdades: ABCD+BC AD = (AE +EC)BD =
AC BD.
Para la implicacion inversa haremos la demostracion por reduccion al absurdo, es decir, supongamos que se cumple la igualdad ( 2.1) y ademas que
el ABCD no es clclico. De nuevo localicemos el punto E de tal forma que
BDC = ADE y ademas que CBD = EAD. Necesariamente E esta fuera
de AC pues estamos suponiendo que ABCD no es cclico. Procedemos exactamente como en la implicacion directa y llegamos a que AB CD + BC AD =
(AE +EC)BD. Ahora, como E no esta en AC, el EAC es no degenerado y, en
consecuencia, AE + EC > AC. Esta desigualdad no es mas que la Desigualdad
del Triangulo aplicada a EAC. Por lo tanto:
AB CD + BC AD = (AE + EC)BD > AC BD.
(2.4)
Esto genera una contradiccion a la hipotesis que dice que se cumple la igualdad ( 2.1). Esta contradiccion indica que en realidad el punto E cae en AC y,
entonces, CAD = CBD. As si en el ABCD se cumple (2.1) entonces es
cclico.
En realidad el Teorema de Ptolomeo solo es la implicacion directa del teorema anterior. Por comodidad lo presentamos con ambas implicaciones con ese
nombre. Al demostrarlo, de paso hemos demostrado una propiedad que se cumple para los cuadrilateros, sean cclicos o no. La enunciamos en la siguiente:
18
A
Figura 2.4:
Proposici
on 2.1.4. En un cuadril
atero la suma de los productos de los lados opuestos es mayor o igual al producto de las diagonales. En smbolos: en
ABCD se cumple:
AB CD + BC AD AC BD.
(2.5)
Existe otro criterio para establecer cuando un cuadrilatero es cclico. Para

poder establecerlo necesitamos, primero, hacer una definiciones.
2.1.4.
Lneas antiparalelas.
Definici
on 2.1.5. Sean dos pares de lneas que est
an de tal forma que la bisectriz del a
ngulo formado por el primer par, es transversal al segundo par y los
a
ngulos interiores que se forman del mismo lado de la transversal (entre esta
y el segundo par) son iguales. En estas condiciones decimos que las rectas del
segundo par son antiparalelas 1 entre s con respecto al primer par de lneas.
En smbolos: l3 l4 c.r. l1 y l2 .
En la Figura 2.5, l es la bisectriz del angulo formado por l1 y l2 . = .
As l3 es antiparalela a l4 con respecto a l1 y l2 (l3 l4 c.r. l1 y l2 ).
olo si un par de lados opuestos
en antiparalelo entre s con respecto al otro par de lados opuestos.
Demostraci
on. Sean ABCD cclico; E y F los puntos donde se cortan AB
con CD y BC con DA; l la bisectriz del AED; H e I las intersecciones de l
con DA y con BC; = IHD y = CIH. Notemos que DEH IEB
pues AEH = HED y IBA = EDH. En consecuencia DHE = HIB.
Luego DHE + = y HIB + = . Por lo tanto = .
1 La noci
on de lneas antiparalelas no es contraria a la de paralelas. Se pueden tener un par
de lneas antiparalelas entre s, con respecto a otras dos, y esas dos mismas lneas ser paralelas
una a la otra. Por ejemplo, en un trapecio is
osceles se tiene que la bisectriz del a
ngulo de los
lados no paralelos corta a los paralelos formando a
ngulos internos rectos. Un caso especial es
el del rect
angulo. Por convenci
on decimos que la bisectriz del a
ngulo formado por dos lneas
paralelas ajenas es la lnea que equidista de ellas. Obviamente
esta resulta ser paralela a ellas.
As se puede establecer que las lneas que forman un par de lados opuestos de un rect
angulo
son antiparalelas una a la otra con respecto a los otros dos lados.

2.1. CUADRILATEROS
CICLICOS.
19
F
C
l1
l
A
l3
B
l2
l4
Figura 2.5:
F
C
H
A
l3
l1
I
B
l4
l2
Figura 2.6:
Inversamente, sea = y sean l1 , l2 , l3 y l4 las lneas determinadas por
DC, AB, DA y BC. Procediendo al reves que en el parrafo anterior llegamos
a DEH IEB y de esto se sigue que CBA + ADC = que es lo
esperado.
Veremos un quinto criterio que establece cuando un cuadrilatero es cclico.
En realidad este criterio es el conocido Teorema de Simson (el cual se refiere a
la lnea que lleva su nombre) pero como a nosotros nos interesa el cuadrilatero,
primero presentaremos el teorema como com
unmente se presenta y luego en
funcion del cuadrilatero, es decir, como un criterio que establece cuando cuatro
puntos son cclicos.
2.1.5.
Lnea de Simson.
Teorema 2.1.7 (Teorema de Simson). Los pies de las perpendiculares desde un

punto P , en el circuncrculo del ABC, a los lados del tri
angulo, son colineales.
Demostraci
on. Sea P en el circuncrculo del ABC, como en la Figura 2.7,
X, Y y Z los pies de las perpendiculares desde P a BC, CA y AB. El P ZAY
20
Y
Figura 2.7:
es cclico pues AZP =
= P Y A, entonces:
P Y Z = P AZ
(2.6)
De igual forma, P XCY es cclico pues CXP =
= P Y C, entonces:
P Y X = P CB
(2.7)
Por otro lado, como P BCA es cclico por hipotesis, se tiene:

P AB = P CB
(2.8)
De las ecuaciones ( 2.6), ( 2.7) y ( 2.8), como P AZ = P AB, tenemos que

P Y Z = P Y X. Esto prueba que los puntos X, Y y Z son colineales.
La lnea que contiene a los puntos X, Y y Z es llamada Lnea de Simson
del ABC con respecto al punto P.
El recproco de este teorema tambien es cierto:
Teorema 2.1.8. Si los pies de las perpendiculares desde un punto P a los lados
del ABC son colineales, entonces P est
a en el circuncrculo del ABC.
Demostraci
on. Sean los puntos colineales X, Y y Z los pies de las perpendiculares P X, P Y y P Z desde P a los lados del ABC, como en la Figura 2.7. El
P BXZ es cclico pues P ZB = 2 = P XB, entonces:
XBP + P ZX =
Igualmente, el P ZAY es cclico pues AZP =
Y AP = Y ZP
(2.9)
= P Y A, entonces:
(2.10)
De las ecuaciones (2.9) y (2.10) tenemos que XBP = Y AP . Por otro lado
Y AP + P AC = . Por lo tanto, CBP + P AC = y el P BCA es
cclico.
Estamos en condiciones de dar el quinto criterio, el cual re
une y parafrasea
los Teoremas 2.1.7 y 2.1.8.

2.1. CUADRILATEROS
CICLICOS.
21

olo si los pies de las perpendiculares desde uno de sus vertices a los lados del tri
angulo formado por los otros
tres, son colineales.
Con los cinco criterios examinados, dado un cuadrilatero, es facil decidir
si es cclico. Por ejemplo, los paralelogramos, en general, no con cclicos pues
sus angulos opuestos son iguales y, en consecuencia, lo seran solo cuando sean
rectangulos. Un trapecio isosceles s lo es, pues los lados paralelos son antiparalelos entre s. Un romboide solo es cclico cuando su par de angulos iguales, son
rectos.
Una aplicacion interesante de la teora de la Lnea de Simson que se refiere
a cuadrilateros es la siguiente:
Proposici
on 2.1.10. Si el ABCD no es paralelogramo, existe un u
nico punto
P del plano tal que los pies de las perpendiculares desde el a los cuatro lados
del cuadril
atero son colineales.
F
P
W
D
X
Y
C
E
Z
D
X
C
Y
B
B
A
A
Figura 2.8:
Demostraci
on. Sea ABCD tal que no es paralelogramo. Supongamos que el
ABCD es un trapecio, como en la Figura 2.8. Sin perdida de generalidad,
BC es paralela a DA. Sea E la interseccion de AB y CD. Sea Y el pie de la
perpendicular a CB desde E, prolongamos EY hasta que corte a DA en X,
que resulta ser pie de perpendicular desde E. Como AB y CD concurren en E,
entonces E es el pie de las perpendiculares a estos lados. Por lo tanto, como
los punto X, Y y E son colineales, E es el punto buscado. Para mostrar que E
es el u
nico, debemos hacer ver que los circuncrculos de CBE y DAE son
22
tangentes en el punto E. Supongamos que no es as. Sea P el hipotetico punto

donde los crculos se cortan ademas de E. Por el Teorema de Simson 2.1.7, como
P esta en los dos crculos se tiene que los cuatro pies de las perpendiculares
desde P son colineales, pero dos lados son paralelos, entonces los pies de las
perpendiculares a esos lados son colineales con P . Ademas los otros dos pies
deben estar en esa lnea y cada uno en un lado no paralelo. La u
nica forma que
esto suceda es que P sea el punto donde concurren la perpendicular a los lados
paralelos y los lados no paralelos, o sea, P = E. De lo anterior y del Teorema
2.1.9 se desprende que E es u
nico.
Ahora supongamos que no es trapecio, es decir, no tiene lados opuestos
paralelos. Sea E la interseccion de AB y CD y F la de BC y DA, como en la
parte izquierda de la Figura 2.8. E y F no tienen la propiedad buscada justo por
como fueron construidos. Los circuncrculos de CBE y DAE se cortan en P
que es distinto de E. Sean W , X, Y y Z los pies de las perpendiculares desde P
a DA, BC, CD y AB. Debido al Teorema 2.1.7, W , Y y Z son colineales y X,
Y y Z tambien. Por lo tanto W , X, Y y Z son colineales. Por el Teorema 2.1.8,
aplicado a F DC y F AB tenemos que los circuncrculos de esos triangulos
pasan por P . Por lo tanto P es el u
nico punto con la propiedad requerida.
2.1.6.
Teoremas japoneses o de Mikami y Kobayashi.
Existen tres resultados conocidos como Teoremas japoneses o Teoremas de

Mikami y Kobayashi. El primero de ellos tambien es conocido como Antiguo
Teorema Japones y dice que si en un polgono inscrito en un crculo son trazadas todas sus diagonales desde un mismo vertice y si se construyen todos los
incrculos de los triangulos que se originan al trazar las diagonales, entonces la
suma de los inradios no depende del vertice elegido. El segundo teorema tiene
que ver directamente con un cuadrilatero cclico. El tercero habla de circunferencias tangentes a una misma recta. Abordaremos los dos primeros teoremas,el
primero en el caso particular en que el polgono es de cuatro lados.
Antes de ver dichos teoremas estableceremos una proposicion que describe
como son los triangulos (en funcion de sus angulos, es decir: acutangulos, obtusangulos o rectangulos) que se originan en un cuadrilatero cclico al trazar
una de sus diagonales.
Proposici
on 2.1.11. Si el ABCD es cclico y se traza cualquiera de sus
diagonales, entonces de los dos tri
angulos que se originan: uno es acut
angulo y el otro obtus
angulo o ambos obtus
angulos o ambos rectos pero no ambos
acut
angulos.
Demostraci
on. Sea ABCD como en el primer caso de la Figura 2.9, es decir,
los vertices del cuadrilatero abarcan un arco de la circunferencia mayor a
y ademas la diagonal trazada no es diametro. Entonces, BD origina ABD
y BCD. En nuestro caso BAD es obtuso y, en consecuencia, ABD es
obtusangulo. Ademas DCB, al ser el opuesto de BAD, es agudo. Resta ver
que CBD y BDC tambien lo son. Supongamos que CBD fuera obtuso,

2.1. CUADRILATEROS
CICLICOS.
23
D
C
C
B
bc
bc
A
Figura 2.9:
entonces el arco comprendido por C y D sera mayor a y C coincidira con

un punto como B . Si esto pasara, entonces todos los vertices del ABCD
estaran en un arco no mayor a , contrario a nuestra hipotesis y el cuadrilatero
sera como el segundo caso de la Figura 2.9. De esta contradiccion se deduce
que CBD es agudo. Analogamente BDC lo es. Por lo tanto el BCD es
acutangulo.
Supongamos ahora que los vertices del ABCD estan en un arco menor que
con lo que sus diagonales no son diametro, como el segundo caso de la Figura
2.9. Entonces, ABD y BCD son obtusangulos pues DBA y DCB son
obtusos por construccion. Por u
ltimo, si la diagonal es diametro es claro que
ambos triangulos son rectangulos.
Teorema 2.1.12 (Primer Teorema de Mikami y Kobayashi). En el ABCD
cclico, donde r1 , r2 , r3 y r4 son los inradios de ABD, BCD, ABC y
ACD se tiene que r1 + r2 = r3 + r4
D
D
Y
Y
r4
m4
m3
ma U
O
m1
A
W
m2
r1
m3
m4 O
mb
R
V
m1
bc
bc
r2
bc
Figura 2.10:
bc
r3
W
m2
24
Demostraci
on. Sean m1 , m2 , m3 y m4 las mediatrices de los lados AB, BC,
CD y DA; ma y mb las mediatrices de las diagonales BD y AC. Sean W , X,
Y y Z los puntos medios de los lados en el mismo orden, as como U y V son
puntos medios de las diagonales. El centro de la circunferencia circunscrita a
ABCD es O y su radio es R. Como primer paso probemos que en el ABD
de la Figura 2.10 se cumple que m1 + m4 + ma = R + r1 . Aplicamos el Teorema
de Ptolomeo 2.1.3 a W BU O, DZOU y ZAW O:
AB
BD
DA
ma +
m1 =
R
(2.11)
2
2
2
DA
BD
AB
ma +
m4 =
R
(2.12)
2
2
2
DA
AB
BD
m1 +
m4 =
R
(2.13)
2
2
2
Por otro lado, como el ABD se descompone en OAB, OBD y ODA,
sucede:
2AABD = ABm1 + BDma + DAm4
(2.14)
Si designamos s =
obtenemos:
AB+BD+DA
2
y sumamos ( 2.11), ( 2.12), ( 2.13) y ( 2.14),
s(ma + m1 + m4 ) = sR + AABD
(2.15)
Por otro lado, como el incentro de un triangulo siempre es un punto interior

de el y como los segmentos que unen el incentro con los puntos en donde el
incrculo toca a los lados son perpendiculares a ellos, se tiene que AABD =
AB
BD
DA
2 r1 + 2 r1 + 2 r1 = sr1 . Si sustituimos esto en (2.15), tenemos:
m1 + m4 + ma = R + r1
(2.16)
Si realizamos el mismo proceso, ahora en BCD y utilizamos OBXU ,

OXCY y OU Y D, llegamos a:
m2 + m3 ma = R + r2
(2.17)
Si sumamos (2.16) y(2.17), obtenemos:

m1 + m2 + m3 + m4 = 2R + r1 + r2
(2.18)
Analogamente, al utilizar ABC y ACD tenemos:

m1 + m2 + m3 + m4 = 2R + r3 + r4
(2.19)
El resultado se sigue de igualar las ecuaciones (2.18) y (2.19).

Para demostrar la version original del Primer Teorema de Mikami y Kobayashi, es decir, el que habla de un polgono inscrito, se procede exactamente igual
que en la demostracion anterior, es decir, en esencia lo demostramos. Adem
as,
al hacer tal demostracion de paso establecimos un resultado conocido como
Teorema de Carnot, el cual enunciamos:

2.1. CUADRILATEROS
CICLICOS.
25
Teorema 2.1.13 (Teorema de Carnot). Si O es circuncentro, R es circunradio

y r es inradio del ABC; L, M y N son los puntos medios de AB, BC y CA
y OL = m1 , OM = m2 y ON = m3 , entonces, dependiendo de si ABC es
acut
angulo, obtus
angulo en BAC o rect
angulo en BAC, se cumple:
m1 + m2 + m3 = R + r
(2.20)
m1 m2 + m3 = R + r
(2.21)
m1 + m3 = R + r
(2.22)
Demostraci
on. Los dos primeros casos quedaron establecidos en el Teorema
2.1.12. Cuando el triangulo es rectangulo se procede de manera analoga con
la particularidad de que O = M y m2 = 0.
Con el resultado de la Proposicion 2.1.11, vemos que en la demostracion del
Teorema 2.1.12 existen varias posibilidades para los triangulos en cuestion, sin
embargo, gracias al Teorema 2.1.13 el resultado se mantiene en cualquiera de
estas posibilidades.
Teorema 2.1.14 (Segundo Teorema de Mikami y Kobayashi). Los incentros P ,
Q, R y S de ABC, ACD, DAB y DBC, que se obtienen del ABCD
cclico al trazar sus diagonales, forman un rect
angulo
D
C
Q
S
bc
T
P
Figura 2.11:
Demostraci
on. Sean P , Q, R y S los incentros de ABC, ACD, DAB y
DBC. Por construccion tenemos que 2QAD = CAD y 2ADQ = ADC,
ademas en DAC se tiene que ADC + CAD + DCA = y en DAQ que
ADQ + QAD + DQA = . Luego DQA = DCA + 2 . Analogamente,
DRA = DBA + 2 . Como DCA = DBA, entonces DQA = DRA.
26
Con esto DARQ es cclico. De la misma manera ABP R es cclico. Con

estos resultados podemos probar que P RQ = 2 . Sea T la prolongacion de
AR. ADQ = T RD y P BA = P RT . Como ADC + CBA = ,
2ADQ = ADC y 2P BA = CBA, se obtine P RQ = 2 . De manera
analoga se demuestra que los demas angulos son rectos. Por lo tanto, P SQR
es rectangulo.
2.1.7.
F
ormula de Brahmagupta.
Previamente definimos el area de un cuadrilatero convexo como la suma de

areas de los triangulos en los que se descompone al trazar una de sus diagonales.
Cuando el cuadrilatero es cclico y convexo, su area se puede expresar en terminos de sus lados. Esta formula se le atribuye a Brahmagupta, un matematico
de la India de la primera mitad del siglo VII. Si bien el la dio por valida para
cualquier cuadrilatero, ahora se sabe que es cierta solo para los que son convexos
y cclicos a la vez.
Como paso previo estableceremos tres distintas formulas para calcular el area
de un triangulo, las cuales estan relacionadas con los tres criterios de congruencia
de triangulos: lado, lado, lado (LLL); angulo, lado, angulo (ALA) y lado, angulo,
lado (LAL). Estos criterios significan que si dos triangulos cumplen alguno de
ellos, entonces sus tres lados y sus tres angulos correspondientes seran iguales.
Otra forma de entenderlos es diciendo que cualquiera de ellos determina de
manera u
nica un triangulo. Por lo tanto, como cualquiera de los criterios (LLL),
(ALA) y (LAL) determinan un triangulo de manera u
nica, entonces el area de
ese triangulo se puede expresar en terminos de cualquiera de ellos. En resumen:
el area de un triangulo se puede expresar en terminos de sus tres lados, de dos
de sus angulos y el lado comprendido entre ellos o de dos de sus lados y el angulo
comprendido entre ellos.
Empezamos por expresar el area de un triangulo en funcion de sus tres lados.
Teorema 2.1.15 (F
ormula de Heron). Si los lados del ABC son a, b y c y
,
entonces:
si s = a+b+c+d
2
AABC =
p
s(s a)(s b)(s c)
(2.23)
Demostraci
on. En ABC sea O su incentro, D, F y E los puntos de contacto
del incrculo con los lados AB, BC y CA. Trazamos los segmentos OA, OB y
OC. La perpendicular a OB en O corta a la perpendicular a BC en C en el
punto P . Si K esta en la prolongacion de BC y es tal que CK = AD, entonces
CP B + BOC = pues OBP C es cclico. Ademas AOD = EOA,
COE = F OC y DOB = BOF , de esto se tiene que BOF + F OC +
AOD = . Entonces, AOD+BOC = , CP B = AOD y, en consecuencia,
BP C AOD:
BC
PC
=
(2.24)
AD
DO

2.1. CUADRILATEROS
CICLICOS.
27
A
E
D
O
G
C
bc
P
Figura 2.12:
Sea G la interseccion de OP y BC, entonces OF G P CG:
PC
GC
=
FG
OF
(2.25)
De (2.24) y (2.25), teniendo en cuenta que OF = OD y AD = CK, tenemos:

BC
GC
=
CK
FG
(2.26)
FG
Si en ( 2.26) sumamos CK
CK del lado derecho, F G del izquierdo y notamos que
BC + CK = BK y F G + GC = F C, esta igualdad nos queda:
(BK)(F G) = (CK)(F C)
(2.27)
(BK)2 (F G) = (BK)(CK)(F C)
(2.28)
Al multiplicar por BK:
Por otro lado, en OBG, OF es una de sus alturas, con lo que BF O

OF G. Luego:
OF 2 = (F G)(BF )
(2.29)
Con esto estamos en condiciones de calcular el area que nos interesa. AABC =
AOAB + AOBC + AOCA o:
1
1
((OD)(AB) + (OF )(BC) + (OE)(CA)) = (OF )(AB + BC + CA) = OF s
2
2
(2.30)
Ademas como DB = BF , F C = CE y EA = AD, entonces:
s = BF + F C + AD = BF + F C + CK = BK
(2.31)
Pues AD = CK por construccion. Con esto AABC = (BK)(OF ). Si elevamos

al cuadrado, sustituimos (2.29) y luego (2.28):
(AABC )2 = (BK)(CK)(F C)(BF )
(2.32)
28
Por lo tanto:
AABC =
p
(BK)(CK)(F C)(BF )
(2.33)
Si BC = a, CA = b y AB = c, entonces s a = CK, s b = BF y s c = F C.
Sustituyendo lo anterior y (2.31) en (2.33), obtenemos el resultado buscado:
p
AABC = s(s a)(s b)(s c)
(2.34)
Ahora expresamos el area de un triangulo en funcion de dos de sus lados y
el angulo comprendido por ellos.
Proposici
on 2.1.16. En el ABC sean a = BC, b = CA, c = AB, =
BAC, = CBA y = ACB. Su a
rea se puede calcular como:
AABC =
ac sen
bc sen
ab sen
=
=
2
2
2
A
c
ha
A
b
ha
(2.35)
D a
Figura 2.13:
Demostraci
on. Partiremos del hecho de el area de un triangulo se puede calcular
como el semiproducto de uno de sus lados por la altura que pasa por el vertice
opuesto a ese lado. Desde A trazamos la altura ha que corta perpendicularmente
a BC en D. Dependiendo de si es agudo u obtuso, D estara a la derecha o a la
izquierda de B, como en la Figura 2.13. Si es agudo, entonces ha = c sen .
Si es obtuso, sea = ABD. Como + = , entonces sen = sen y, en
consecuencia, ha = c sen . Con esto tenemos lo siguiente:
AABC =
a ha
ac sen
=
2
2
Que es la primera de las igualdades de la expresion ( 2.35). Las restantes se

prueban de manera analoga.
Proposici
on 2.1.17. En el ABC sean a = BC, b = CA, c = AB, =
BAC, = CBA y = ACB. Su a
rea se puede calcular como:
AABC =
a2 sen sen
b2 sen sen
c2 sen sen
=
=
2 sen( + )
2 sen( + )
2 sen( + )
(2.36)

2.1. CUADRILATEROS
CICLICOS.
29
. Al
Demostraci
on. De la proposicion anterior tenemos que AABC = acsen
2
asen
utilizar la Ley de Senos obtenemos c = sen . Por otro lado, como + ( + ) =
, entonces sen = sen( + ). Por lo tanto:
AABC =
ac sen
a2 sen sen
=
2
2 sen( + )
Las otras dos expresiones se pueden calcular del mismo modo.

Teorema 2.1.18 (Formula de Brahmagupta). Si los lados del ABCD cclico
, entonces:
y convexo son a, b, c y d y si s = a+b+c+d
2
AABCD =
p
(s a)(s b)(s c)(s d)
C
y
P
a
x
(2.37)
d
c
b
A
B
Figura 2.14:
Demostraci
on. Como primer caso supongamos que los dos pares de lados opuestos son paralelos, en cuyo caso y dadas las hipotesis, el cuadrilatero es un
rectangulo. Digamos que a = c y b = d. Si asumimos la formula de Brahmagupta:
p
AABCD = (s a)(s b)(s c)(s d) =
p
(a + b a)(a + b b)(a + b a)(a + b b) = a2 b2 = ab
Con lo que en un rectangulo es valida la formula. Supongamos que el cuadrilatero tiene un par de lados opuestos no paralelos, digamos AB y CD. Sea
P el punto donde se cortan. Sean x = P B y y = P C. Aplicamos la formula de
Heron a P BC:
AP BC =
1p
(x + y + c)(y x + c)(x + y c)(x y + c)
4
(2.38)
Por otro lado, como DCB = DAP , entonces AP D CP B pues el

AP D lo comparten. Con esto en cuenta y con auxilio de la Proposicion 2.1.17,
AAP D
ACP B
AAP D
a2
c2
a2
ACP B = c2 . Luego ACP B ACP B = c2 c2 Por lo tanto:
AABCD
c2 a 2
=
ACP B
c2
De AP D CP B, obtenemos:
(2.39)
30
x
yd
=
c
a
(2.40)
xb
y
=
c
a
(2.41)
Sumamos (2.40) y (2.41):

x+y
x+ybd
=
c
a
x+y =
x+y+c=
c
(b + d)
ca
c
(b + c + d a)
ca
(2.42)
Si en esta u
ltima igualdad en lugar de sumar c, la restamos:
x+yc=
c
(a + b + d c)
ca
(2.43)
Si a (2.41) le restamos (2.40) y luego al reves:

yx+c=
c
(a + c + d b)
c+a
(2.44)
xy+c=
c
(a + b + c d)
c+a
(2.45)
Sustituimos (2.42), (2.43), (2.44) y (2.45) en (2.38) y realizamos las operaciones:

p
c2
(b + c + d a)(a + c + d b)(a + b + d c)(a + b + c d)
2
a )
(2.46)
Al despejar en (2.39):
AP BC =
4(c2
AABCD =
p
(s a)(s b)(s c)(s d)
(2.47)
Con el teorema anterior podemos calcular el area de un cuadrilatero cclico

y convexo. Otro problema referente a este tipo de figuras es c
omo construir con
regla y compas un cuadrilatero cclico si conocemos la longitud de sus lados.
Como hemos venido haciendo, obtendremos un par de resultados previos que
nos auxiliaran en la construccion. El primero es el Teorema de la Bisectriz y el
segundo es la Circunferencia de Apolonio.

2.1. CUADRILATEROS
CICLICOS.
2.1.8.
31
Construcci
on del cuadril
atero cclico.
Teorema 2.1.19 (Teorema de la Bisectriz). En ABC las bisectriz interna

y la externa del BAC dividen al lado BC, la primera internamente y la se
gunda externamente, en la raz
on AB
CA . Si L y L son los puntos en donde estas
bisectrices cortan a BC, entonces:
BL
AB
BL
=
=
LC
CA
CL
b
A
c
Figura 2.15:
Demostraci
on. Haremos la demostracion para la bisectriz interna, para la externa se procede analogamente. Sean b = CA, c = AB, BAL = = LAC.
Trazamos la paralela a AL por C, sea R el punto donde esta paralela corta a
AB. Como ARC = = RCA, pues RC paralela a AL, entonces AR = b.
En el RBC tenemos las transversales BC y BR a lneas paralelas, entonces
BL
c
AB
on, con lo que el
LC = b = CA . Podemos invertir los pasos en la demostraci
recproco tambien es cierto.
Teorema 2.1.20 (Circunferencia de Apolonio). Si A y B son dos puntos fijos
on fija, el lugar geometrico de los puntos P que cumplen
y pq 6= 1 es una raz
p
AP
=
es
una
circunferencia
conocida como circunferencia de Apolonio.
PB
q
P
Y
X
q
A
C
p
Y
Figura 2.16:

32
Demostraci
on. Por los puntos A y B trazamos los segmentos Y Y y BX paralelos entre s, como en la parte izquierda de la Figura 2.16, de tal forma que
BX = q e Y A = AY = p. Si C y C son las intersecciones de XY y XY con
p
AC
AB. Como AY C BXC y AC Y BC X, obtenemos CB
= AY
BX = q
p
AC
AY
y C
an en el lugar geometrico buscado.
B = XB = q . Por lo tanto C y C est
Supongamos ahora que P es otro punto del lugar geometrico, entonces, utilip
AC
zando el Teorema 2.1.19, PAP
B = q = CB con lo que P C es la bisectriz interior
p
AC
de AP B. Ademas PAP
B = q = C B y P C es la bisectriz exterior del mismo
angulo. Por lo tanto, P se encuentra en la circunferencia de diametro CC , pues
CP C = 2 . El recproco tambien es valido.
Proposici
on 2.1.21. Construir con regla y comp
as un ABCD cclico de lados
AB = a, BC = b, CD = c y DA = d, con b y d un par de lados opuestos.
A
d
a
c
O
bc
bc
bc
C
d
Figura 2.17:
Demostraci
on. Primero notemos que si uno de los lados es mayor que la suma
de los otros tres, entonces no se puede formar ning
un cuadrilatero y si un lado es
igual a la suma de los otros tres, entonces solo se puede formar un cuadrlilatero
degenerado donde los cuatro vertices estan alineados y, en consecuencia, no son
cclicos. Suponemos pues que la suma de cualesquiera tres lados es mayor al
cuarto. En una recta colocamos el segmento BC = b, lo prolongamos hasta O
de tal forma que BO = ac
d . Se puede construir este segmento debido a que los
cuatro lados son magnitudes dadas. Supongamos que tenemos construido el cuadrilatero como el de la Figura 2.17, para ver que condiciones se deben cumplir
y a partir de eso construirlo. El vertice A solo puede estar en la circunferencia
de centro en B y radio a, ademas como queremos que el cuadrilatero sea cclico
se debe cumplir que ABO = ADC y como construimos BO = ac
d , entonces
AB
OB
ac
a
resultara que AOB ACD pues AO
=
=
=
=
AC
ad
CD
cd
d , es decir,
AO
a
=
lo
cual
significa,
por
el
Teorema
2.1.20,
que
A
debe
estar
en
el crculo
AC
d
de Apolonio de los puntos O, C y la razon ad . Construimos esta circunferencia
y donde intersecte a la de centro en B y radio a ese punto sera A. Con esto

2.1. CUADRILATEROS
CICLICOS.
33
tenemos construido el ABC. Para determinar D solo hacemos circunferencias

con centro en C y radio c y con centro en A y radio d. Donde se corten es el
punto D.
Al hacer la construccion anterior colocamos a b y d como lados opuestos. En
realidad, podemos colocar a a, c o d como opuesto a b con lo que se construyen
tres cuadrilateros cclicos distintos con los mismos cuatro lados dados.
A
A
d
l
B
l
C
c
D
c
C
m
n
b
Figura 2.18:
Nombramos l y m a las diagonales del primer cuadrilatero de la Figura
2.18.En el segundo cuadrilatero s
olo se intercambian a y d, o sea, la diagonal
l se mantiene y obtenemos una nueva diagonal n que abarca un arco en donde
estan inscritos los lado a y c. En el tercero se intercambian los lados c y d con
respecto al primero, es decir, m se mantiene y la otra diagonal subtiende un
arco en donde estan inscritos los lados a y c, por lo tanto, la longitud de esta
diagonal es n. Con esto obtenemos que estos tres cuadrilateros distintos solo
generan tres distintas diagonales. Por u
ltimo, como los tres cuadrilateros estan
formados con los mismos cuatro lados, por el Teorema 2.1.18, resulta que tienen
la misma area. Estos resultados los enunciamos en el siguiente:
Teorema 2.1.22 (Desigualdad del cuadrilatero cclico). Dadas cuatro cantidades a, b, c y d cada una menor que la suma de las otras tres, se pueden construir
tres cuadril
ateros cclicos distintos y de igual a
rea.
Cuatro segmentos como los anteriores determinan un circuncrculo en el
que pueden ser inscritos tres distintos cuadrilateros que tienen la misma area
independientemente de en que orden coloquemos los lados y ademas determinan
solo tres diagonales. Por lo tanto, estos cuatro segmentos tambien determinan
el circunradio R. Veremos, pues, que el area que determinan estos segmentos, se
expresa en terminos de las tres diagonales l, m, n y del circunradio R. Obtenemos
como paso intermedio una formula que relaciona a R con el area del triangulo
inscrito en el circuncrculo.
Teorema 2.1.23. Si el ABC tiene lados a, b, c y R es el radio de su circuncrculo, entonces AABC = abc
4R .
Demostraci
on. Sea ABC, trazamos su circuncrculo y la altura AD = h, como
en la Figura 2.19. Prolongamos AO hasta que corte en A a la circunferencia.
34
A
c h
D a
A
Figura 2.19:
Partimos del hecho de que AABC se puede calcular como la mitad del producto
de uno de sus lados por la altura trazada desde el vertice opuesto. En la figura,
AABC = ah
2 . Por otro lado, como CBA = CA A, se tiene que ABD
bc
AA C. De esto se sigue que h = 2R . Sustituimos para obtener AABC =

abc
4R .
Teorema 2.1.24. Si R es el radio del crculo donde se encuentran los cuadril
ateros de lados a, b, c, d y diagonales l, m, n; entonces el a
rea de los cuadril
ateros
es lmn
rea es (ac+bd)(ad+bc)(ab+cd)
.
4R . Adicionalmente el cuadrado de esta a
16R2
Demostraci
on. Por el Teorema de Ptolomeo 2.1.3, lm = ac + bd, luego lmn =
acn + bdn. Si aplicamos el Teorema 2.1.23 a los triangulos de lados a, c, n y
b, d, n del segundo cuadrilatero de la Figura 2.18 y sustituimos en la igualdad
anterior:lmn = 4R(ACDA + ABCA ) = 4R(AA BCD ). Por lo tanto:
AABCD =
lmn
4R
(2.48)
Para la otra parte, mn = ad + bc y ln = ab + cd. Multiplicando estas dos

igualdades y la que habamos obtenido, tenemos (lmn)2 = (ac+bd)(ad+bc)(ab+
cd). Despejando (lmn)2 de (2.48) obtenemos:
AABCD =
(ac + bd)(ad + bc)(ab + cd)

16R2
2.2.
Cuadril
ateros circunscritos.
2.2.1.
Polgonos circunscritos en crculos.
(2.49)
Si un crculo es tangente interiormente a cada lado de un polgono, entonces

decimos que el crculo esta inscrito en el polgono. Tambien podemos decir que el
polgono esta circunscrito al crculo. Es claro que dado un polgono cualquiera,
no siempre podemos construir una circunferencia inscrita en el. Si el poligono

2.2. CUADRILATEROS
CIRCUNSCRITOS.
35
es un triangulo, entonces siempre es posible contruirle su circunferencia inscrita. El centro de tal crculo es el punto donde las bisectrices interiores de sus
angulos concurren. Este centro est
a a la misma distancia de los tres lados y esta
distancia es justo la longitud del radio del crculo inscrito. Por u
ltimo, el crculo
es tangente a los tres lados.
En las siguiente figuras mostramos circunferencias incritas en un triangulo
y en un cuadrilatero.
A
D
S
r
r
r
B
Q
-a-
O r
A
-b-
Figura 2.20:
2.2.2.
Dos criterios para la caracterizaci

on de
cuadril
ateros circunscritos.
Si consideramos un rectangulo o un paralelogramo, nos ser

a facil intuir que
a este tipo de cuadrilateros, en general, no se les puede inscribir una circunferencia. La pregunta natural es que condiciones debe cumplir un cuadrilatero
para poderle inscribir un crculo? Para responder esta pregunta analicemos la
Figura 2.20b. En ella, el centro O de la circunferencia esta a la misma distancia
de los lados del cuadrilatero. Podemos decir entonces que O esta en cada una
de las bisectrices. Por lo tanto las cuatro bisectrices interiores de los angulos
del cuadrilatero concurren en O. Inversamente, si en un cuadrilatero las cuatro
bisectrices interiores concurren en un punto, este es el centro de una circunferencia tangente a los cuatro lados, es decir, inscrita. El radio es la distancia
medida perpendicularmente a cualquier lado.
La discucion precedente es la demostracion del siguiente:
Teorema 2.2.1. Una circunferencia se puede inscribir en un cuadril
atero (o,
dicho de otro modo, un cuadril
atero es circunscribible) si y s
olo si las bisectrices
interiores de los cuatro a
ngulos del cuadril
atero son concurrentes.
A manera de ejemplo, utilicemos el teorema en un romboide.
Proposici
on 2.2.2. En un romboide se puede inscribir una circunferencia.
36
B
2 1
A
E
1
D
Figura 2.21:
Demostraci
on. Consideremos el ABCD el cual es un romboide, es decir, AB =
AD y CB = CD. Debemos hacer ver que las bisectrices de este romboide
concurren. Si trazamos el segmento AC, resulta que BAC ADC. Luego
AC es la bisectriz de A y de C. Ahora sea E el punto donde la bisectriz del
B corta a AC. Tenemos que 1 = 2 . Debemos mostrar que ED es la bisectriz
del D, es decir, mostraremos que 1 = 2 . Notemos que BEC DEC,
pues EC es com
un, BCE = ECD y BC = CD. As 1 = 1 . Analogamente
BAE ADE y, en consecuencia, 2 = 2 . Por lo tanto 1 = 2 . Con esto
tenemos que el romboide es circunscribible, pues sus bisectrices concurren en
E.
Otra pregunta que nos podemos formular es: el criterio anterior es el u
nico
existente para determinar si un cuadrilatero es circunscribible? La respuesta es
no. Es posible determinar si a un cuadrilatero se le puede inscribir una circunferencia, si se conoce la longitud de sus lados. Este hecho queda establecido en
el siguiente:
Teorema 2.2.3. Un cuadril
atero es circunscribible a una circunferencia si y
s
olo si la suma de las longitudes de dos lados opuestos es igual a la suma de las
longitudes de los otros dos lados opuestos.
w
C
O
x
y
A
x
Figura 2.22:

2.2. CUADRILATEROS
CIRCUNSCRITOS.
37
Demostraci
on. Probaremos primero la suficiencia. Si tenemos una circunferencia inscrita en un cuadrilatero, como en la Figura 2.22, sabemos que la longitud
de las dos tangentes desde cada uno de los vetices del cuadrilatero es igual. En
estas condiciones podemos establecer las siguientes igualdades.
AB = x + y
DC = w + z
BC = z + y
DA = w + x
Sumando.
AB + DC = x + y + z + w
BC + DA = x + y + z + w
Por lo tanto.
AB + DC = BC + DA
D
(2.50)
I
C
E
O
J
A
Figura 2.23:
Probemos la necesidad. Supongamos que en la Figura 2.23 se cumple (2.50).
Debemos mostrar que el cuadrilatero es circunscribible. Si sucede que dos lados
adyacentes son iguales, entonces el cuadrilatero es un romboide y ya probamos
que en estos sus bisectrices concurren. Supongamos que no hay dos lados adyacentes iguales. Sin perdida de generalidad podemos suponer que AD > AB,
de la igualdad ( 2.50) se desprende que AD AB = DC BC y por lo tanto DC > BC. Sean E y F en AD y DC de tal manera que AB = AE y
BC = CF . Sustituyendo en (2.50) tenemos que AD AE = DC CF y entonces DE = DF . Con esto tenemos que EAB, F BC y DEF son isosceles.
En estos triangulos trazamos las bisectrices de A, C y D respectivamente. En un triangulo isosceles la bisectriz del angulo comprendido por los lados
iguales resulta ser tambien mediatriz. Teniendo esto en cuenta, resulta que las
bisectrices que trazamos son la mediatrices del EBF . Como las mediatrices de
un triangulo concurren, entonces las tres bisectrices trazadas son concurrentes.
Sea O este punto. Resta probar que la bisectriz de B pasa por O. Como O
esta en las otras tres bisectrices, entonces su distancia a los cuatro lados del
cuadrilatero es la misma, en particular, O equidista de AB y de BC. Por lo
38
tanto, O esta en la bisectriz de B. Tenemos pues que las bisectrices concurren

en O.
Utilizando el Teorema 2.2.3 es facil comprobar que, en general, los rectangulos y los paralelogramos no son circunscribibles. Para serlo, seg
un el teorema,
necesitan ser cuadrados o romboides. Un trapecio isosceles para ser circunscribible, requiere que la longitud de los lados iguales sea igual a la longitud del
lado paralelo menor mas la mitad de la diferencia entre el lado paralelo mayor
y el menor.
Hemos establecido dos criterios que establecen (uno en funcion de las bisectrices y otro en funci
on de los lados) cuando un cuadrilatero es circunscribible.
2.3.
Cuadril
atero bic
entrico.
En las dos secciones precedentes revisamos propiedades de los cuadrilateros

cclicos y de los circunscritos. Resulta natural preguntarnos si existen cuadril
ateros que tengan las dos propiedades simultaneamente. Esta pregunta la podemos
responder con lo visto hasta ahora. En la Proposicion 2.2.2 vimos que en un
romboide puede ser inscrita una circunferencia. Supongamos ahora que en la
Figura 2.21 de esa proposicion, 1 + 2 = 2 = 1 + 2 , entonces el romboide
sera cclico al tener angulos opuestos suplementarios. Vemos, pues, en un romboide que tiene un par de angulos opuestos rectos se puede inscribir un crculo
y circunscribir otro. Damos una definicion para este tipo de figuras.
Definici
on 2.3.1 (Cuadrilatero Bicentrico). Si el ABCD es tal que se le puede inscribir una circunferencia y circunscribir otra, entonces es llamado cuadrilatero bicentrico.
El siguiente paso es describir de manera mas general como debe ser el
ABCD para ser bicentrico. Esto lo consignamos en el siguiente:
Teorema 2.3.2. Un cuadril
atero, circunscrito en una circunferencia, es cclico
si y s
olo si las lneas que unen los puntos de contacto de lados opuestos son
perpendiculares entre s.
Demostraci
on. Sea A1 A2 A3 A4 circunscrito en una circunferencia, como en la
Figura 2.24. Sean B1 , B2 , B3 y B4 los puntos en los que los lados A1 A2 , A2 A3 ,
A3 A4 y A4 A1 tocan a la circunferencia. Supongamos que B1 B3 y B2 B4 se cortan perpendicularmente en M . Debemos mostrar que A1 A2 A3 A4 es cclico,
para tal efecto, probaremos que A3 A2 A1 + A1 A4 A3 = + = . Como
B4 B1 M es recto por hipotesis, entonces M B1 B4 + B1 B4 M = + = 2 .
El A2 B1 B2 = es semiinscrito y abarca el mismo arco que , luego = .
Del mismo modo B3 B4 A4 = = . Por otro lado, B1 A2 B2 y B3 A4 B4 son
isosceles pues dos de sus lados son las tangentes desde un punto a la circunferencia. Con esto + 2 = y + 2 = . Sumamos y sustituimos para obtener
+ = y, por lo tanto, A1 A2 A3 A4 es cclico. Inversamente, si suponemos
2.3. CUADRILATERO
BICENTRICO.
39
A4
B4
B3
A1
M
B1
A2
B2
Figura 2.24:
A3
que + = , entonces + + 2( + ) = 2. Despejamos para obtener

+ = 2 y, por lo tanto, B1 B3 y B2 B4 son perpendiculares.
Definici
on 2.3.3. El ABCD es llamado ortodiagonal si sus diagonales son
perpendiculares entre s
En la Figura 2.24 tenemos que el B1 B2 B3 B4 cclico es ortodiagonal. Una
consecuencia del teorema anterior se expresa en terminos de este cuadrilatero
ortodiagonal.
Corolario 2.3.4. Si el ABCD es cclico y ortodiagonal, entonces el cuadril
atero formado con las tangentes a la circunferencia por sus vertices es bicentrico.
Daremos enseguida un criterio que caracteriza a los cuadrilateros ortodiagonales.
Proposici
on 2.3.5. El ABCD es ortodiagonal si y s
olo si la suma de los
cuadrados de un par de lados opuestos es igual a la suma de los cuadrados del
otro par de lados opuestos.
Demostraci
on. En el ABCD sean E la interseccion de AC y BD, = AEB
y = DEA, como en la Figura 2.25. Como + = , entonces cos =
cos . Teniendo esto en cuenta, aplicamos la Ley de Cosenos a EAB, ECD,
EBC y EDA:
AB 2 = BE 2 + AE 2 2BE AE cos
CD2 = CE 2 + DE 2 2CE DE cos
40
D
C
B
Figura 2.25:
BC 2 = BE 2 + CE 2 + 2BE CE cos
DA2 = DE 2 + AE 2 + 2DE AE cos
Si les cambiamos los signos a las dos primeras igualdades y sumamos las
cuatro, obtenemos:
BC 2 + DA2 AB 2 CD2 = 2 cos (BE CE + DE AE + BE AE + CE DE)
Como por construcci
on 0 < < , entonces el lado derecho de la igualdad
anterior es cero si y s
olo si = 2
Las siguientes dos proposiciones relacionan cuadrilateros cclicos con circunscritos.
Proposici
on 2.3.6. Si el A1 A2 A3 A4 est
a circunscrito en una circunferencia
y B1 , B2 , B3 y B4 son los puntos en los que los lados A1 A2 , A2 A3 , A3 A4 y
A4 A1 tocan a la circunferencia, entonces las diagonales de A1 A2 A3 A4 y de
B1 B2 B3 B4 son concurrentes en un punto M
A1
B1
A2
A4
B4
B3
M
B2
A3
Figura 2.26:
Demostraci
on. Sea M la interseccion de A2 A4 y B1 B3 . En la Proposicion 2.1.16,
calculamos el area de un triangulo en funcion de dos lados y el angulo comprendido entre ellos. Teniendo esto en cuenta, podemos expresar el cociente de
2.3. CUADRILATERO
BICENTRICO.
41
AA4 B3 M y AA2 B1 M como:

AA4 MB3
B3 M M A4
=
AA2 MB1
B1 M M A2
(2.51)
Por otro lado, como A4 B3 M = M B1 A1 por ser B1 B3 la cuerda que originan las tangentes B1 A1 y B3 A4 . Ademas, A2 B1 M + M B1 A1 = por lo
que sen(A2 B1 M ) = sen(M B1 A1 ). Con esto podemos expresar el cociente
anterior como:
AA4 MB3
B3 M A4 B3
=
(2.52)
AA2 MB1
B1 M A2 B1
De (2.51) y (2.52) tenemos
M A4
A4 B3
=
M A2
A2 B1
(2.53)
4 B3
Esto u
ltimo significa que M divide al segmento A2 A4 en la razon A
A2 B1 .
Sea N la interseccion de A2 A4 y B2 B4 . Si procedemos exactamente de la
4 A4
misma forma llegamos a que N divide al segmento A2 A4 en la razon B
B2 A2 . Como
B4 A4 = A4 B3 al ser las tangentes desde A4 y B2 A2 = A2 B1 , obtenemos que
M y N dividen a A2 A4 en la misma razon y, consecuentemente, son el mismo
punto. Por lo tanto, la diagonal A2 A4 pasa por la interseccion de las diagonales
B1 B3 y B2 B4 . Si repetimos el proceso pero ahora con la diagonal A1 A3 llegamos
a que tambien pasa por la interseccion de B1 B3 y B2 B4 . Con esto, las cuatro
diagonales concurren en M .
Proposici
on 2.3.7. En el ABCD convexo, sea O la intersecci
on de sus diaginales AC y BD, sean K, L, M y N los pies de las perpendiculares desde O
a AB, BC, CD y DA. En estas condiciones ABCD es cclico si y s
olo si
KLM N es circunscrito.
D
N
Figura 2.27:
Demostraci
on. Primero supongamos que ABCD es cclico para probar que
KLM N es circunscrito. Es claro que OKBL, OLCM , OM DN y ON AK
42
son todos cclicos. Como ABCD tambien lo es por hipotesis, entonces podemos
escribir lo siguiente:
ON M = ODM = BDC = BAC = KAO = KN O
Esto significa que O esta en la bisectriz del KN M . Del mismo modo se prueba
que O esta en las tres bisectrices restantes con lo que estas concurren en O y,
en consecuencia, KLM N esta circunscrito en una circunferencia de centro O.
Ahora supongamos que KLM N es circunscrito y probemos que ABCD
es cclico. Para tal efecto, veremos que en estas condiciones las diagonales AC
y BD se cortan en O que es el centro de la circunferencia inscrita a KLM N .
Tenemos que OBK = OLK pues OKBL es cclico, OLK = M LO pues
LO es bisectriz de M LK y M LO = M CO. Con esto obtenemos KOB =
COM . Del mismo modo, AOK = M OD. Por lo tanto, AOB = COD.
Similarmente, BOC = DOA. Como AOB + COD + BOC + DOA =
2, tenemos que BOC + COD = . Por lo tanto, BD y AC se cortan en O.
Ahora probemos que ABCD es cclico. Del OKBL, BKL = BOL.
Por otro lado, LKO = OKN por ser OK bisectriz. Se sigue que BKL =
N KA. Por lo tanto, BOL = N KA. Del mismo modo, M OD = AN K.
Con esta informacion obtenemos que LOM = KAN pero como LOM +
M CL = , entonces KAN + M CL = y, en consecuencia, ABCD es
cclico al tener un par de angulos opuestos suplementarios.
La siguiente igualdad que estableceremos relaciona el circunradio, el inradio
y la distancia entre ellos en un cuadrilatero bicentrico. Es debida a Nicolaus Fuss
(1755-1826) quien fue estudiante y amigo de L. Euler. Fuss tambien establecio las
formulas correspondientes para pentagonos, hexagonos, heptagonos y octagonos
bicentricos. Antes de entrar de lleno en este resultado, veremos una propiedad
elemental conocida como potencia de un punto con respecto a una circunferencia.
Definici
on 2.3.8. Dada C(O, r) y un punto P en el plano, definimos la potencia de P con respecto a C(O, r) como el producto = P A P B, donde A y
B son los puntos en los que una secante desde P toca a C(O, r).
A partir de la anterior definicion, vemos que P puede estar dentro, sobre o
fuera de la circunferencia. Si le asignamos sentido a los segmentos, es decir, si
consideramos segmentos de magnitud positiva o negativa, entonces resulta claro
que la potencia de P con respecto a C(O, r) es negativa, cero o positiva seg
un
P este dentro, sobre o fuera de ella. En la Figura 2.28 esta representado del
lado izquierdo la potencia positiva y del derecho, la negativa.
Proposici
on 2.3.9. La potencia de P es independiente de la secante desde P
a C(O, r) que se elija.
Demostraci
on. Independientemente de si P esta fuera o dentro de C(O, r), sean
AB y A B dos secantes que pasan por P . Es claro que P AB P A B. De
esto se sigue:
= P A P B = P A P B
(2.54)
2.3. CUADRILATERO
BICENTRICO.
43
A
T
A
P
B
P
B
Figura 2.28:
Por lo tanto la potencia de P con respecto a C(O, r) es independiente de la
secante elegida.
Proposici
on 2.3.10. Si P est
a fuera de C(O, r) y T es el punto donde la
tangente a C(O, r) desde P la toca, entonces la potencia de P con respecto a
C(O, r) es = P T 2 .
Demostraci
on. Trazamos BT y T A como en la parte izquierda de la Figura
2.28. Tenemos que P T B P AT y de esto:
= PA PB = PT2
(2.55)
Proposici
on 2.3.11. La potencia de P con respecto a C(O, r) se puede calcular
como = OP 2 r2 si P est
a fuera de C(O, r) y como = r2 OP 2 si P
est
a dentro de C(O, r).
Demostraci
on. Si P esta fuera de C(O, r) el resultado es inmediato a partir del
P T O el cual es rectangulo. Si P esta dentro, sean T y T los puntos en los
que la perpendicular a OP por P corta a C(O, r). Como P T O P T O, se
sigue que P T = P T . Ademas = P AP B = P T P T = P T 2 = OT 2 OP 2 =
r2 OP 2 .
Hacemos la aclaracion de que si consideramos segmentos positivos y negativos, entonces en la demostracion anterior cuando P esta dentro la potencia es negativa con lo que = P AP B = P T P T = P T 2 = OP 2 OT 2 = OP 2 r2
y as obtenemos la misma expresi
on = OP 2 r2 independientemente de si P
esta fuera o dentro. Por u
ltimo, resulta claro que cuando P esta sobre la circunferencia los resultado anteriores se mantienen y en todos los casos la potencia
es cero.
Teorema 2.3.12 (Teorema de Fuss). Sea A1 A2 A3 A4 bicentrico, sean I y r
el centro y el radio de la circunferencia inscrita, O y R el centro y radio de la
circunscrita y d = IO. En estas condiciones se cumple:
1
1
1
+
= 2
2
2
(R d)
(R + d)
r
(2.56)

44
A1
A4
B4
B3
F
bc
A3
I
bc
B3 A1
B4
A3
A2
E
Figura 2.29:
Demostraci
on. Consideremos el A1 A2 A3 A4 bicentrico, como el de la Figura 2.29. Sean B3 y B4 los puntos en los que A3 A4 y A4 A1 tocan a C(I, r).
Como A1 A2 A3 A4 es cclico, entonces A4 A3 A2 + A2 A1 A4 = y como es
circunscrito, entonces A4 A3 I = IA3 A2 y A2 A1 I = IA1 A4 . Por lo tanto
A4 A3 I + IA1 A4 = 2 .
Notemos que en IA3 B3 y IB4 A1 se tiene IB3 = IB4 = r, ademas ambos
son rectangulos. Si estos dos triangulos los juntamos de tal modo que IB3 e IB4
coincidan como se aprecia en la parte derecha de la Figura 2.29, entonces este
nuevo triangulo es rectangulo, es decir, A3 IA1 = 2 . Partiendo del hecho de
que el area de un triangulo se calcula como el semiproducto de un lado por la
altura correspondiente a ese lado, podemos escribir:
2AIA3 A1 = r(A3 B3 + A1 B4 ) = A3 I A1 I
(2.57)
De la aplicacion del Teorema de Pitagoras a IA3 A1 :
(A3 B3 + A1 B4 )2 = A3 I 2 + A1 I 2
(2.58)
De las ecuaciones (2.57) y (2.58), tenemos:

r2 (A3 I 2 + A1 I 2 ) = A3 I 2 A1 I 2
(2.59)
De esta u
ltima ecuaci
on, se sigue:
1
1
1
=
+
2
2
r
A3 I
A1 I 2
(2.60)
Por otro lado, si prolongamos A3 I y A1 I hasta que corten a C(O, R) en F

y E, entonces EF es diametro de C(O, R) debido a que F OA2 + A2 OE =
2(IA3 A2 + A2 A1 I) = A4 A3 A2 + A2 A1 A4 = . En el IF E, IO = d es
mediana. Como en el captulo anterior calculamos la longitud de las medianas
2
I2
2
de un triangulo, podemos escribir ahora OI 2 = EI +F
( EF
2
2 ) . Notemos que
EF = 2R, con esta informacion se tiene:
EI 2 + F I 2 = 2OI 2 +
EF 2
= 2(d2 + R2 )
2
(2.61)
2.4. TEOREMA DE CASEY
45
Ahora, si consideramos a I un punto interior de C(O, R), la potencia de

I con respecto a C(O, R) la podemos calcular, con ayuda de las proposiciones
2.3.9 y 2.3.11 como:
A3 I F I = A1 I EI = R2 d2
(2.62)
Si combinamos las ecuaciones (2.61) y (2.62), obtenemos:

1
1
F I2
EI 2
+
=
+
A3 I 2
A1 I 2
(R2 d2 )2
(R2 d2 )2
F I 2 + EI 2
=
(R2 d2 )2
2(R2 + d2 )
=
(R2 d2 )2
(2.63)
Por u
ltimo, al combinar las ecuaciones (2.60) y (2.63), obtenemos:
1
2(R2 + d2 )
=
r2
(R2 d2 )2
(R + d)2 + (R d)2
=
(R2 d2 )2
1
1
=
+
(R + d)2
(R d)2
2.4.
(2.64)
Generalizaci
on del Teorema de Ptolomeo o
Teorema de Casey.
El geometra irlandes John Casey publico en Dublin en 1881 el libro A Sequel

to the first six Books of the Elements of Euclid. En el se incluye la generalizacion
del Teorema de Ptolomeo, sin embargo, la primera vez que aparecio publicado
este resultado fue en el artculo Proceedings of the Royal Irish Academy de Casey
en 1866.
2.4.1.
Tangentes comunes a dos circunferencias.
Para establecer el Teorema de Casey, necesitamos saber la longitud del segmento de recta que une los puntos de tangencia de la tangente com
un a dos
circunferencias. Desde luego que supondremos que las dos circunferencias tienen
tangentes comunes, es decir, no esta contenida una en la otra. La importancia
de conocer la longitud del segmento mencionado radica en que la demostracion
del teorema basicamente se reduce a sustituir estos valores.
46
Proposici
on 2.4.1 (Longitud de la tangente exterior a dos circunferencias).
Sean dos circunferencias de centros O1 y O2 y radios r1 y r2 denotadas como
C(O1 , r1 ) y C(O2 , r2 ). Sea t el segmento determinado por los puntos de tangencia de la tangente exterior com
un a las circunferencias. En estas condiciones se
verifica la relaci
on:
t2 = (O1 O2 )2 (r1 r2 )2
(2.65)
T1
r1
O1 O2
r1 r2
T2
t
R
O1
r2
O2
Figura 2.30:
Demostraci
on. Notemos que si las circunferencias son concentricas y los radios
desiguales, entonces no hay tangente com
un. Si son concentricas y los radios
iguales, a pesar de haber tangente com
un, el segmento t degenera en el punto
de tangencia. Tomemos C(O1 , r1 ) y C(O2 , r2 ) con O1 6= O2 y r1 r2 como en
la Figura 2.30. Sean T1 y T2 los puntos de tangencia de C(O1 , r1 ) y C(O2 , r2 )
con la tangente com
un. Tracemos paralelas a la lnea de los centros por T1 y
T2 hasta que corten en Q y R a las lneas determinadas por O2 T2 y O1 T1 . En
estas condiciones el T1 QT2 R es un paralelogramo y el T1 QT2 es rectangulo,
en el, la hipotenusa es O1 O2 , el cateto mayor t y el menor r1 r2 . Aplicando el
Teorema de Pitagoras el resultado es inmediato.
Corolario 2.4.2. Si en la proposici
on anterior las circunferencias son tangentes
entre s exteriormente, entonces se cumple la igualdad:
t2 = 4r1 r2
Demostraci
on. Basta con notar que como las circunferencias son tangentes, entonces O1 O2 = r1 + r2 y entonces t2 = (O1 O2 )2 (r1 r2 )2 = (r1 + r2 )2 (r1
r2 )2 . Desarrollando y simplificando se llega al resultado.
Proposici
on 2.4.3 (Longitud de la tangente interior a dos circunferencias).
Sean C(O1 , r1 ) y C(O2 , r2 ). Sea t el segmento determinado por los puntos de
tangencia de la tangente exterior com
un a las circunferencias. En estas condiciones se verifica la relaci
on:
t2 = (O1 O2 )2 (r1 + r2 )2
(2.66)
47

T1
r1
O1 O2
r1 r2
T2
t
R
O1
r2
O2
Figura 2.31:
Q
T1
r1 + r2
r1
O1
O2
r2
T2
Figura 2.32:
Demostraci
on. Primero notemos que si las circunferencias se cortan o son tangentes entre s, no hay tangente interior com
un o esta degenera en el punto
de contacto, respectivamente. Tomemos C(O1 , r1 ) y C(O2 , r2 ) con O1 6= O2
y r1 r2 como en la Figura 2.32. Sean T1 y T2 los puntos de tangencia de
C(O1 , r1 ) y C(O2 , r2 ) con la tangente com
un. Sea Q la interseccion de la paralela a T1 T2 por O2 y la prolongacion de O1 T1 . Como O2 T2 es paralela a O1 T1 ,
entonces t = QO2 = T1 T2 . Al igual que en la proposicion anterior, el resultado
es inmediato al aplicar teorema de Pitagoras el QO1 O2 .
En las siguientes proposiciones tambien calcularemos la longitud de la tangente com
un a dos circunferencias pero ahora cuando estas son tangentes a una
tercer circunferencia. Existen tres posibilidades para tal situacion: ambas son
interiores a la tercer circunferencia, ambas exteriores o una interior y la otra
exterior. En todos los casos el procedimiento sera exactamente el mismo: utilizaremos la ecuacion ( 2.65) o la ( 2.66) y despues, en una par de ocaciones, la
Ley de Cosenos.
Proposici
on 2.4.4. Sean C(O1 , r1 ) y C(O2 , r2 ) dos circunferencias tangentes
interiormente a C(O,r) en los puntos A y B. Entonces el segmento t, determinado por los puntos de contacto de la tangente exterior com
un a las circunferencias
48
interiores cumple la siguiente igualdad:

AB p
t=
(r r1 )(r r2 )
r
T1
bc
T2
bc
O
bc
(2.67)
O2
bc
bc
O1
bc
A
Figura 2.33:
Demostraci
on. Sin perdida de generalidad pongamos r1 r2 . Sea T1 T2 = t,
donde T1 y T2 son los puntos de contacto de la tangente com
un. Por u
ltimo, C
es la proyeccion de O2 sobre el segmento O1 T1 . De la Proposicion 2.4.1 sabemos
que t cumple la igualdad ( 2.65). Si nombramos = O1 OO2 y aplicamos la
Ley de Cosenos al OO1 O2 y al AOB, resulta:
(O1 O2 )2 = (r r1 )2 + (r r2 )2 2(r r1 )(r r2 ) cos
2
(AB) = 2r (1 cos )
(2.68)
(2.69)
Si de (2.69) despejamos cos , lo sustituimos en (2.68), esta igualdad a su vez la

sustituimos en (2.65) y realizamos las operaciones lo podemos simplificar hasta
obtener el resultado esperado.
Proposici
on 2.4.5. Sean C(O1 , r1 ) y C(O2 , r2 ) dos circunferencias tangentes
exteriormente a C(O,r) en los puntos A y B. Entonces el segmento t, determinado por los puntos de contacto de la tangente exterior com
un a las circunferencias
exteriores cumple la siguiente igualdad:
AB p
(r + r1 )(r + r2 )
(2.70)
t=
r
Demostraci
on. Sea T1 T2 = t, donde T1 y T2 son los puntos de contacto de
la tangente com
un. C es la proyeccion de T2 sobre el segmento O1 T1 . De la
Proposicion 2.4.1 sabemos que t cumple la igualdad ( 2.65). Si nombramos
= O2 OO1 y aplicamos la Ley de Cosenos al OO2 O1 y al AOB, resulta:
(O1 O2 )2 = (r + r1 )2 + (r + r2 )2 2(r + r1 )(r + r2 ) cos
2
(AB) = 2r (1 cos )
(2.71)
(2.72)
Al hacer las mismas sustituciones que en la proposicion anterior, llegamos

al resultado.
49

T1
bc
T2
bc
O1
bc
bc
bc
bc
O2
O
Figura 2.34:
Proposici
on 2.4.6. Sean C(O1 , r1 ) y C(O2 , r2 ) dos circunferencias tangentes,
la primera exterior y la segunda interiormente, a C(O,r) en los puntos A y B.
Entonces el segmento t, determinado por los puntos de contacto de la tangente
interior com
un a las circunferencias cumple la siguiente igualdad:
t=
T1
AB p
(r + r1 )(r r2 )
r
(2.73)
bc
O1
bc
bc
A
bc
bc
bc
O2
T2
Figura 2.35:
Demostraci
on. Sea T1 T2 = t, donde T1 y T2 son los puntos de contacto de la
tangente interior com
un. C es la proyeccion de O2 sobre el segmento O1 T1 . De
la Proposicion 2.4.3 sabemos que t cumple la igualdad ( 2.66). Si nombramos
= O2 OO1 y aplicamos la Ley de Cosenos al OO2 O1 y al AOB, resulta:
(O1 O2 )2 = (r + r1 )2 + (r r2 )2 2(r + r1 )(r r2 ) cos
(AB)2 = 2r2 (1 cos )
El resultado se sigue como en las demostraciones previas.
(2.74)
(2.75)
50
Resulta claro que en las Proposiciones 2.4.4 y 2.4.5 tambien podemos

calcular la longitud de la tangente interior com
un, de hecho, el procedimiento
es el mismo y obtenemos, respectivamente, las siguentes expresiones para tales
tangentes:
r
AB 2
t = 4r1 r2 + (r r1 )(r r2 )( 2 )
(2.76)
r
r
AB 2
(2.77)
t = 4r1 r2 + (r + r1 )(r + r2 )( 2 )
r
Del mismo modo, en la Proposicion 2.4.6 la longitud de la tangente com
un
exterior es:
r
AB 2
t = 4r1 r2 + (r + r1 )(r r2 )( 2 )
(2.78)
r
Con estos resultados, estamos listos para abordar el teorema que nos interesa.
2.4.2.
Teorema de Casey.
Teorema 2.4.7 (Generalizacion del Teorema de Ptolomeo o Teorema de Casey).

Si las circunferencias C(O1 , r1 ), C(O2 , r2 ), C(O3 , r3 ) y C(O4 , r4 ) son tangentes
a (C, r) y tij es el segmento de tangente com
un a C(Oi , ri ) y C(Oj , rj ) con
i, j = (1, ..., 4) e i 6= j. Entonces se cumple la igualdad:
t12 t34 t23 t14 = t13 t24
B
t23
bc
bc
(2.79)
bc
bc
O2
bc
bc
bc
bc
bc
O3
bc
t13
t12
t24
t34
bc
bc
bc
bc
O1
O4
bc
bc
bc
bc
bc
A
bc
t14
Figura 2.36:
51
Demostraci
on. Sean A, B, C y D los puntos en los que C(O1 , r1 ), C(O2 , r2 ),
C(O3 , r3 ) y C(O4 , r4 ) tocan a (C, r). Supongamos que las circunferencias estan
colocadas de tal forma que los puntos A, B, C y D estan en ese orden sobre
(C, r), como en la Figura 2.36. Con auxilio de la Proposicion 2.4.4, la demostracion consiste en sustituir, aplicar el teorema de Ptolomeo y reacomodar.
AB CD + AD BC p
t12 t34 + t23 t14 = (
) (r r1 )(r r2 )(r r3 )(r r4 )
r2
p
AC BD p
=
(r r1 )(r r3 ) (r r2 )(r r4 )
2
r
= t13 t24
Es interesante notar que en este teorema los radios de las circunferencias

tangentes pueden ser cero todos o algunos. Cuando todos son cero se tiene el
Teorema de Ptolomeo como caso particular del Teorema de Casey.
Por otro lado, en la demostracion anterior las cuatro circunferencias son
tangentes interiormente a la quinta, ademas, todas las tangentes comunes son
exteriores. Es evidente que existen otras configuraciones posibles las cuales discutiremos enseguida.
bc
t23
bc
bc
O2
B
bc
bc
t24
t13
bc
bc
bc
bc
bc
bc
bc
bc
bc
A
O1
bc
t34
D
bc
C O3
bc
bc
t12
bc
bc
O4
t14
Figura 2.37:
En la demostarcion anterior, obtuvimos el resultado gracias a que la expresion de las tangentes comunes era del mismo tipo, es decir, gracias a que todas
las tangentes eran exteriores y por lo tanto de la forma de la ecuacion (2.65),
lo que nos permitio factorizar y reacomodar. Si en la configuracion de la demostracion previa consideraramos tangentes interiores para uno o mas pares de
circunferencias, obtendramos expresiones del tipo de la igualdad ( 2.76) y al
sustituirlos en la ecuacion (2.79) ya no se verificara la igualdad. Por lo tanto,
vemos que para que se cumpla el teorema de Casey es necesario que las tangentes comunes se puedan expresar como en las ecuaciones (2.67), (2.70) o (2.73).

52
En otras palabras, si cualquier par de circunferencias son tangentes ambas interior o ambas exteriormente, entonces debemos considerar su tangente com
un
exterior y si una es interior y la otra, exterior, entonces debemos considerar la
tangente com
un interior.
Cuando las cuatro circunferencias son tangentes exteriormente y, por lo tanto, todas las tangentes comunes exteriores, tenemos el arreglo de la Figura 2.37
y este caso es identico al discutido previamente.
Si dos circunferencias son interiores y dos, exteriores puede ser que las dos
interiores sean consecutivas o que esten alternadas, con lo que las dos exteriores
seran consecutivas o alternadas respectivamente, como en la Figura 2.38. En
estos casos, cuatro tangentes comunes son interiores y las dos restantes, exteriores. Para verificar que en estos casos se cumple la igualdad (2.79) basta con
realizar el mismo procedimiento y tener en cuenta las igualdades (2.67), (2.70)
o (2.73) seg
un sea necesario.
bc
bc
bc
O2
t23
bc
bc
O3
t34
t24
D
bc
bc
A
O1
t13
t24
O3
bc
bc
O1
bc
bc
bc
bc
O4
D
bc
bc
t34
bc
bc
C
bc
bc
t12
bc
bc
bc
bc
bc
t13
t23
bc
bc
bc
t12
bc
bc
bc
bc
bc
O2
B
bc
bc
t14
bc
bc
bc
bc
bc
O4
t14
bc
Figura 2.38:
Por u
ltimo: tres circunferencias exteriores y una interior o tres interiores y
una exterior, como en la Figura 2.39. En estos casos hay tres tangentes exteriores
y tres interiores. Es claro que el resultado se sigue igual que en el caso anterior.
Hasta ahora hemos discutido todas las posibilidades suponiendo que C(O1 , r1 ),
C(O2 , r2 ), C(O3 , r3 ) y C(O4 , r4 ) se encuentran colocadas en ese orden cclico en
(C, r). En esta situacion vimos que los signos de los miembros de la igualdad
( 2.79) siempre permanecieron positivos. En general las cuatro circunferencias
tangentes a una quinta, pueden estar en cualquier orden cclico. Veremos que
dependiendo de tal orden es que cambian los signos mencionados. Como A, B,
C y D son los puntos en los que C(O1 , r1 ), C(O2 , r2 ), C(O3 , r3 ) y C(O4 , r4 )
tocan a (C, r), entonces tomar otro orden para las circunferencias equivale a
decir que A, B, C y D aparecen en otro orden sobre (C, r). Debido a que estos
cuatro puntos estan ordenados en orden cclico, en relidad solo tenemos tres
53
bc
t23
bc
bc
O2
B
bc
bc
bc
bc
t24
bc
bc
O3
bc
O2
B
bc
bc
t23
bc
bc
bc
t12
bc
t12
t34
t13
bc
bc
t24
t13
C
bc
bc
O3
bc
t34
bc
bc
bc
O1
bc
bc
O1
bc
bc
O4
t14
bc
O4
bc
bc
bc
bc
bc
bc
bc
bc
bc
bc
t14
bc
Figura 2.39:
posibles arreglos estructuralmente distintos: A, B, C, D (ya discutido); A, B,

D, C y A, C, B, D. Es facil verificar que cualquier otra permutacion de estos
cuatro puntos genera un arreglo equivalente a alguno de los tres anteriores. En
la Figura 2.40 ejemplificamos, en la parte izquierda, el arreglo A, B, D, C y en
la derecha el A, C, B, D.
t24
bc
bc
bc
bc
bc
bc
O2
t12
O4
t23
t13
bc
bc
bc
O1
bc
bc
bc
bc
bc
bc
bc
bc
O3
bc
t12
t13
t34
t14
bc
bc
bc
t23
bc
O2
bc
t34
bc
t24
bc
bc
B
bc
bc
bc
bc
O3
bc
bc
bc
bc
O1
O4
bc
A
bc
bc
bc
bc
bc
t14
Figura 2.40:
Verifiquemos que en el arreglo A, B, D, C se cumple ( 2.79) pero ahora

los signos del segundo miembro izquierdo y del derecho de esta igualdad son
negativos.
54
AB CD BC AD p
) (r r1 )(r r2 )(r r3 )(r r4 )
r2
p
(AC BD) p
=
(r r1 )(r r3 ) (r r2 )(r r4 )
2
r
= t13 t24
t12 t34 t23 t14 = (
Del mismo modo, en el arreglo A, C, B, D tenemos:

AB CD BC AD p
) (r r1 )(r r2 )(r r3 )(r r4 )
r2
p
AC BD p
(r r1 )(r r3 ) (r r2 )(r r4 )
=
2
r
= t13 t24
t12 t34 t23 t14 = (
Es claro que estos dos arreglos tienen todas las variantes discutidas para el
de A, B, C, D y que en cada una de ellas los signos se conservan. Con esto
queda completa la demostracion del Teorema de Casey.
Captulo 3
El cuadril
atero cclico en el
Almagesto.
3.1.
Claudio Ptolomeo.
Pese a que el nombre de Claudio Ptolomeo fue la referencia de la astronoma

hasta el siglo XVII, muy poco se sabe de este personaje. El hecho de no tener
ninguna noticia remarcable que poder contar de su vida, y que ninguno de los
biografos griegos posteriores le dedique el mas mnimo de literatura, hace pensar
que nacio y murio sin ning
un tipo de problemas y que dedic
o su vida a producir
tratados cientficos, que sin duda debieron ser su gran pasion. Asimismo su
nombre es ambiguo: Claudio es un nombre de origen grecorromano mientras que
Ptolomeo es totalmente egipcio. Posiblemente y, puestos a especular, Ptolomeo
provena de una familia griega afincada en Egipto y que tena la ciudadana
romana. Quiza el nombre de Ptolomeo sit
ue su nacimiento en alguna de las
ciudades egipcias que llevaban ese mismo nombre.
Para situar su vida cronologicamente, nos basaremos en que la primera observacion recogida en el Almagesto, hecha por el mismo, fue el eclipse de luna
del 15 de abril del a
no 125 d.C., que tuvo lugar en Alejandra; mientras que la
u
ltima es la observacion de la maxima elongacion de Mercurio, que tuvo lugar
el 2 de febraro del a
no 141 tambien en Alejandra. Por lo tanto, Ptolomeo estuvo trabajando en Alejandra entre los a
nos 125-141 y tras esta u
ltima fecha
se dedico a redactar el Almagesto. Tambien sabemos que en el a
no 147 o 148,
cumplio el encargo de construir una estela con sus parametros planetarios en la
ciudad de Canopo (actualmente Abukir), unos 10 Kms. al norte de Alejandra.
En una de las obras de Olimpiodoro de Tebas (hacia 412) encontramos recogido que Ptolomeo trabajo en Canopo durante 40 a
nos. Con este u
ltimo dato,
podramos situar la vida de Ptolomeo entre los a
nos 100 (hay que pensar que
tendra una cierta edad madura para empezar a hacer complicados calculos astronomicos tras un aprendizaje conciso) y 165. Fueran cuales fueran sus lugares
de nacimiento y muerte, sabemos muy bien que trabajo en Alejandra y Canopo
55
56
CAPITULO 3. EL CUADRILATERO
CICLICO EN EL ALMAGESTO.
y a la vista de los instrumentos astronomicos que utilizo, debemos pensar que

lo hizo en alg
un tipo de observatorio. Podemos a
nadir ademas otra razon de
peso para pensar que pudo estar en Alejandra desde muy peque
no. Desde la
fundacion de la ciudad y la creacion de su famosa biblioteca, todos los grandes
cientficos griegos pasaron en alg
un momento por all. Si ciertamente esa biblioteca se parecio en algo a lo que su fama indica, Ptolomeo debio instruirse all,
entre los grandes tratados antiguos compilados en ella. Tambien all fue el lugar
donde coincidio con Teon de Esmirna, quien pudo ser perfectamente profesor
suyo, ya que en el Almagesto lo cita como Teon el matematico y utiliza sus
observaciones hechas en los a
nos 127, 129,130 y 132. Ademas, por la informacion que tenemos de sus obras, siempre busco referencias observacionales m
as
antiguas, tales como las ya casi preteritas de los babilonios y las mas recientes
de los atenienses Met
on y Euctemon (siglo V a.C.), el alejandrino Timocaris,
Aristarco de Samos o el citado Hiparco.
Ptolomeo dedico su vida a la matematica, la astronoma, la geografa y la
astrologa. Ademas del Almagesto, otras de sus grandes obras son las Tablas
manuales, el Tetrabiblos, la Geografa, las Hip
otesis planetarias, el Planisferio,
el Analemma, las Fases de las esferas fijas, la Optica

y la Harmonnica.
Finalmente, por referencias posteriores, sabemos tambien que Ptolomeo escribio un tratado en tres libros sobre mecanica; un libro Sobre las dimensiones donde demostraba que no poda haber mas de tres dimensiones en nuestro
mundo; una revision de los Elementos y un intento de demostracion del quinto
postulado de los Elementos (postulado de las paralelas), muy discutido ya desde
su publicacion.
3.2.
La Tabla de Cuerdas.
Revisaremos detenidamente los calculos matematicos que fueron posteriormente utilizados en el Almagesto. Antes de meterse en sus modelos planetarios
e incluso, antes de realizar el calculo del a
no solar, Ptolomeo proporciona la
tabla trigonometrica que va a ser la base de todos sus calculos. Esta revisi
on
esta basada en el Almagesto de Ptolomeo.
B
Figura 3.1:
Antes de entrar de lleno en el calculo de esta tabla, es necesario decir que la
trigonometra griega se basa en la funcion cuerda. Dada una circunferencia, sea
57
3.2. LA TABLA DE CUERDAS.
el angulo determinado por dos radios y 2 su angulo doble. Tal y como su

nombre indica, la cuerda del angulo 2 (a la que representaremos por Crd2)
es el segmento determinado por los dos radios que limitan el angulo, es decir,
el segmento AB. Como se tiene que s = r sin , en notacion moderna podemos
escribir:
Crd2 = 2s = 2r sen
(3.1)
Por lo tanto, todos los calculos realizados con la funcion cuerda podan perfectamente haber sido realizados con la funcion seno, en caso de haber sido
conocida. Ptolomeo da una tabla de cuerdas para todos los angulos menores
que 180, calculada de medio grado en medio grado. La tabla presupone la circunferencia dividida en 360 y de radio igual a 60 unidades (llamadas partes).
Para poder entender bien los calculos utilizaremos la notacion sexagesimal
siguiente:
a0 ; a1 , a2 , a3 , a4 , ... = a0 +
a1
a2
a3
a4
+
+ 3 + 4 + ...
60 602
60
60
27
Por ejemplo, el n
umero 4; 12, 27 representa a 4, 2075 ya que 4 + 12
60 + 602 =
4, 2075
Lo primero que hace Ptolomeo, es determinar los lados del decagono y del
pentagono regulares inscritos en un crculo de radio dado. Para ello, considera
un semicrculo ABG con centro en D y diametro AG. Dibuja DB perpendicular
a AG por el punto D y se
nala E, punto medio de DG. Dibuja el segmento EB
y considera el punto Z sobre AG tal que EZ = EB. Finalmente une los puntos
Z y B. Este proceso le lleva a decir que ZD y BZ son, respectivamente, los
lados del decagono y del pentagono regulares buscados.
G
D
Figura 3.2:
Para calcular los lados del decagono y del pentagono regulares, Ptolomeo
parte de la igualdad EZ 2 = ZD ZG + ED2 , que es consecuencia directa de
la proposicion sexta del libro II de los Elementos de Euclides (E II.6), la cual
puede ser enunciada y probada como sigue:
Proposici
on 3.2.1. Sean AB y BD dos segmentos de recta, colocados en una
lnea de tal forma que el punto final de AB es el punto inicial de BD y sea C
el punto medio de AB. Entonces, el a
rea del rect
angulo de lados AD y DB m
as
el a
rea del cuadrado de lado CB es igual a el a
rea del cuadrado de lado CD.
58
Demostraci
on. Traduciendo la proposicion a lenguaje algebraico, debemos probar la igualdad:
AD DB + CB 2 = CD2
(3.2)
Donde AD = AB + BD, CB = 12 AB y CD = 21 AB + BD.
1
AD DB + CB 2 = (AB + BD)BD + ( AB)2
2
1
2
= AB BD + BD + AB 2
4
1
2
= ( AB + BD)
2
= CD2
Por otro lado, como EZ = BE, entonces tenemos que EZ 2 = BE 2 =

ED2 + DB 2 por el Teorema de Pitagoras.
Entonces:
EZ 2 = ZD ZG + ED2 = ED2 + DB 2
Por lo tanto.
ZD ZG = DB 2 = DG2
As tenemos que ZD ZG = DG2 , con lo que D divide el segmento ZG en
razon media y extrema 1 . Enseguida, Ptolomeo utiliza (E XIII. 9), que establece
lo siguiente.
Proposici
on 3.2.2. Sea (O,r) una circunferencia de centro O y radio r. Sean,
respectivamente, BC y CD los lados del dec
agono y del hex
agono regulares insDC
critos en la circunferencia. Entonces DB
=
donde
DB
= BC + CD.
DC
CB
d = 1 AB
d y
Demostraci
on. Como BC es el lado del decagono se tiene que2 BC
5
d = CA.
d De esto se sigue:
4BC
1
AOB
5
(3.3)
4BOC = COA
(3.4)
BOC =
1 Dado un segmento AB y un punto C en AB. Decimos que C divide a AB en raz

on media
AC
y extrema si AB
= CB
donde AC > CB.
AC
2 Al poner el s
d denotamos el arco de circunferencia cuyo punto inicial es B y,
mbolo BC
final C. Al igual que en los a
ngulos, el sentido en que se recorren preferentemente los arcos es
el contrario a las manecillas del reloj.
59
O
A
B
C
F
D
Figura 3.3:
Ahora, como CBO = OCB pues OBC es isosceles.

COA + BOC = = 2OCB + BOC
COA = 2OCB
(3.5)
Como CD es el lado del hexagono, entonces OC = CD = r. Tenemos que

ODC = COD pues OCD es isosceles.
2ODC + DCO = = DCO + OCB
2ODC = OCB
(3.6)
De las ecuaciones (3.5) y (3.6) tenemos: Con lo anterior obtenemos:

COA = 4ODC
(3.7)
A su vez, de las ecuaciones (3.4) y (3.7) tenemos:

ODC = BOC
(3.8)
Notemos que BCO y BDO tienen a CBO com

un y a BOC y ODC,
respectivamente. Por lo tanto, BDO BCO, ambos son isosceles.
Entonces:
DB
OB
=
OB
CB
Pero, tenemos que OB = DC. Por lo tanto:
DB
DC
=
DC
CB
Con esto podemos decir que, en la anterior demostracion, C divide en razon
media y extrema a DB. Como, en la Fugura 3.2, D divide el segmento ZG en
razon media y extrema y DG es el lado del hexagono, entonces ZD es el lado del
decagono. Por u
ltimo, Ptolomeo emplea (E XIII.10) que establece lo siguiente:
60
Proposici
on 3.2.3. Sea un pent
agono inscrito en una circunferencia de centro
F . El cuadrado del lado del pent
agono, es igual a la suma de los cuadrados de
los lados del hex
agono y del dec
agono inscritos en la misma circunferencia.
M
L
A
N
E
F
D
G
Figura 3.4:
Demostraci
on. Sea ABCDE el pentagono inscrito en la circunferencia, G el
punto diametralmente opuesto a A.
d = GD
d y, en consecuencia, CG = GD son lados del
Tenemos que CG
d
decagono regular inscrito en la circunferencia. Sean K el punto medio de AB,
d L y N las intersecciones de KF y M F con AB,
M el punto medio de AK,
entonces F K es perpendicular a BA, como ABF es isosceles, entonces F K es
la bisectriz del AF B, es decir, AF K = KF B y en consecuencia BK = KA
tambien son lados del decagono.
Tenemos que F M es perpendicular a KA. El AKF es isosceles y F M es
d
d
la bisectriz del AF K, entonces M
K = AM
Demostraremos que:
ABF F BN
(3.9)
Tenemos que:
d = 2AK
d = 4AM
d
AB
3d
d
M
B = AB
4
d = 3 AB
d
BG
2
d
d y M F B = 1 BF G, pero BF G = 2BAG. Por
Entonces M
B = 12 BG
2
lo tanto M F B = BAG.
Claramente ABF es isosceles, luego F BA = BAG. As, tenemos:
M F B = BAG = ABF
61

Por lo tanto, ABF F BN , ambos son isosceles.
ABK AKN
(3.10)
Como AKF es isosceles y F L perpendicular a AK, entonces AL = LK y

N K = N A. De esto u
ltimo, obtenemos que N KA = KAN .
Por otro lado, AK = KB y de ah que ABK = KAB. As tenemos que:
N KA = KAN = KAB = ABK.
Por lo tanto, ABK AKN .
De (3.9) y (3.10), tenemos respectivamente:
AB
BF
=
BF
BN
BF 2 = AB BN
BA
AK
=
AK
AN
AK 2 = BA AN
Con esto obtenemos:

BF 2 + AK 2 = (AB BN ) + (BA BN )
= AB(BN + N A)
= AB(BA)
= AB 2
En nuestro caso, en la Figura 3.2 aplicamos el Teorema de Pit

agoras, BZ 2 =
BD2 + ZD2 = GD2 + ZD2 , con lo que se cumple la relacion demostrada y, por
lo tanto, BZ es el lado del pentagono inscrito.
Con esta determinacion, Ptolomeo se encuentra en condiciones de calcular las
cuerdas de los angulos centrales interiores de ambos polgonos y empezar as su
tabla de cuerdas. Como el radio del crculo es R = BD = 60p y DE = 30p ,
tenemos que:
EZ 2 = DE 2 + BD2 = 302 + 602 = 4500
EZ = 4500 67; 4, 55p

Con este resultado, podemos calcular ZD = EZ ED = 67; 4, 55 30 =
37; 4, 55p. As pues, el lado del decagono regular es 37; 4, 55p y como este lado
es igual a la cuerda del angulo de 36 , Ptolomeo obtiene la primera cuerda para
su tabla:
Crd36 = 37; 4, 55p
(3.11)
Por otro lado tenemos que:
BZ 2 = BD2 + ZD2 = 602 + 37; 4, 552 = 4975; 4, 15
62
Entonces.
BZ =
p
4975; 4, 15 70; 32, 3p
Como BZ es el lado del pentagono regular, se corresponde con la cuerda del

angulo de 72 , obteniendo as, la segunda cuerda para su tabla:
Crd72 = 70; 32, 3p
(3.12)
La tercera relacion se obtiene al observar que el lado del hexagono regular

tiene60p y es la cuerda del angulo de 60 . Por lo tanto:
Crd60 = 60; 0p
(3.13)
G
D
Figura 3.5:
Otra cuerda que no es difcil de calcular es la del angulo de 90 , ya que se

corresponde con el lado del cuadrado inscrito. como AB es el lado buscado y se
cumple el Teorema de Pitagoras, tenemos que:
AB 2 = AD2 + BD2 = R2 + R2 = 7200
AB = 7200 = 84; 51, 10p

y, por lo tanto
Crd90 = 84; 51, 10p
A
r
O
B
l
r
D
Figura 3.6:
(3.14)
63
De manera similar, la cuerda del angulo de 120 , corresponde al lado del

triangulo equilatero inscrito. Como AC = l es el lado a encontrar, sea D el pie
de la altura desde A. Aplicando el Teorema de Pitagoras a ODC y a ADC,
tenemos lo siguiente:
2
l =
r+
l2
r2
4
!2
l2
4
resolviendo esta ecuacion, obtenemos que AC 2 = l2 = 3r2 , es decir:

AC 2 = 21600
AC = 21600 = 103; 55, 23p

y, por lo tanto:
Crd120 = 103; 55, 23p
(3.15)
A esta altura Ptolomeo ha calculado las cuerdas del decagono, pentagono,

hexagono, cuadrado y triangulo. Empieza, enseguida, a obtener relaciones para
la funcion cuerda que son analogas a las identidades actuales (como por ejemplo,
la suma, resta o mitad de angulos) para el seno y el coseno. El siguiente paso
que da Ptolomeo es la determinacion de la cuerda del angulo suplementario.
Dada la cuerda de un angulo determinado Crd, se tiene que :
Crd(180 ) =
p
4R2 Crd2
(3.16)
Donde R es el radio del crculo de referencia. Como el triangulo formado

sobre el diametro de un crculo es siempre rectangulo, tenemos que se cumple
el Teorema de Pitagoras. En este caso, la hipotenusa del triangulo es el propio
diametro, es decir, 2R, mientras que los dos catetos se corrsponden con las cuerdas de los angulos suplementarios se
nalados. Por lo tanto, aplicando el Teorema
de Pitagoras:
Crd2 + Crd2 (180 ) = (2R)2
Al despejar Crd(180 ) se obtiene el resultado buscado.
180
Figura 3.7:
64
Como 108 y 144 son los angulos suplementarios de 72 y 36 , respectivamente, mediante el resultado anterior Ptolomeo obtiene:
Crd108 = 97; 4, 55p
(3.17)
Crd144 = 114; 7, 37p
(3.18)
Al mas puro estilo de un tratado de trigonometra actual, Ptolomeo se dispone a dar las cuerdas de los angulos diferencia y mitad. Como paso previo,
enuncia y demuestra una propiedad que ha pasado a la historia con el nombre
de su propio autor. Aqu solo lo enunciamos, pues la demostracion de el y su
recproco estan en el captulo anterior.
Teorema 3.2.4 (Teorema de Ptolomeo.). Consideramos un ABCD convexo
cualquiera inscrito en un crculo en el que trazamos las dos diagonales AC y
BD. Entonces se cumple:
AC BD = AB CD + AD BC
(3.19)
Con este teorema, Ptolomeo se propone seguir calculando su tabla de cuerdas. Determina la cuerda del angulo diferencia como:
Crd( ) =
1
(Crd Crd(180 ) Crd Crd(180 ))
2R
(3.20)
Ptolomeo considera el semicrculo ABCD de diametro AD y dibuja las cuerdas conocidas AB = Crd y AC = Crd. Como el ABCD esta inscrito en
un crculo, se cumple el Teorema de Ptolomeo y, por lo tanto:
BD AC = AB CD + AD BC
B
D
Figura 3.8:
Pero como
BD = Crd(180 )
AB = Crd
AD = 2R
AC = Crd
CD = Crd(180 )
BC = Crd( )
65
Sustituyendo en la igualdad y despejando Crd( ), se obtiene la formula

dada. Con ella Ptolomeo calcula:
Crd12 = Crd(72 60 ) = 12; 32, 36p
(3.21)
Crd18 = Crd(90 72 ) = 18; 46, 19p
(3.22)
Crd6 = Crd(18 12 ) = 6; 16, 49p
(3.23)
Con esta u
ltima relacion y las sucesivas sustracciones de 6 de cada uno
de los angulos conocidos, Ptolomeo es capaz de calcular la cuerda de cualquier
angulo m
ultiplo de 6 . Con el objetivo de completar el resto de las cuerdas, el
proceso contin
ua calculando la cuerda del angulo mitad:
p
(3.24)
= R(2R Crd(180 ))
2
Como en los casos anteriores, consideramos el semicrculo ABCD con diamed = DC.
d Se dibuja CZ perpendicular
tro en AD y tal que se da la igualdad CB
a AD en el punto E sobre el diametro de modo que AE = AB, uniendolo con
C. Con esto, ABC ACE ya que tienen el lado AC en com
un, el lado AB
es igual al AE y CAB = EAC. Por lo tanto, BC = CE y como BC = CD,
se tiene que el CDE es isosceles y EZ = ZD.
Crd
B
C
D
E Z
Figura 3.9:
Como ED = AD AE = AD AB, podemos decir que:
1
(AD AB)
2
Por otro lado, el ADC es rectangulo, con la perpendicular CZ. En estas
condiciones se tiene ADC CZD, pues ambos son rectangulos y comparten
CDA. De esta semejanza:
ZD =
AD
CD
=
CD
DZ
AD DZ = CD2
Como AD = 2R y ZD = 12 (AD AB) = 12 (2R Crd(180 )), se tiene
que:
66
CD = Crd =
2
p
1
2R (2R Crd(180 )) = R(2R Crd(180 ))
2
que es el resultado buscado.

Ptolomeo utiliza esta formula para empezar a calcular las cuerdas de los
angulos de 3 (a partir de la de 6 ), 1; 30 y 0; 45 , obteniendo:
Crd1; 30 = 1; 34, 15p
(3.25)
Crd0; 45 = 0; 47, 8p
(3.26)
Ptolomeo sigue su calculo dando la cuerda del angulo suma con un razonamiento parecido al utilizado para la diferencia:
r
1
2
(Crd(180 )Crd(180 ) CrdCrd)
Crd( + ) = 4R2
4R2
(3.27)
Ptolomeo considera el crculo ABCD de centro en Z y diametro AD. Considera tambien los angulos y dados de los que tambien conoce sus cuerdas
respectivas AB y BC. Dibuja el diametro BZE y une BD, CD, CE y DE.
Con todo esto obtiene:
C
B
D
Z
E
Figura 3.10:
AB = Crd
BC = Crd
y
y
BD = Crd(180 )
CE = Crd(180 )
y tambien que DE = AB = Crd.

Siguiendo los mismos pasos del Teorema de Ptolomeo, deduce que:
BD CE = BC DE + BE CD
Tal y como se ha hecho en el caso del angulo diferencia, si traducimos esta
expresion al lenguaje trigonometrico, nos queda:
67
Crd(180 ) Crd(180 ) = Crd Crd + 2R CD

Si despejamos CD obtenemos:
CD =
1
(Crd(180 )Crd(180 ) CrdCrd)
2R
Como CD es la cuerda del angulo suplementerio del angulo suma + ,

aplicando la formula de la cuerda del angulo suplementario (3.16), obtenemos
(3.27).
Con este resultado, Ptolomeo es capaz de calcular todas las cuerdas de los
angulos que son m
ultiplos de 1; 30 a partir de ir aplicando a las sucesivas
sumas de 1; 30 con los angulos conocidos. Llegados a este punto, a Ptolomeo

a
un le queda por determinar las cuerdas de los angulos que se encuentran en
los intervalos que van dejando los m
ultiplos de 1; 30 . Como quiere calcular su
tabla de medio grado en medio grado, es decir, los m
ultiplos de 0; 30, se ve en
la necesidad de hacer el calculo de la cuerda del angulo 0; 30 o la del angulo de
1 . Ambos casos significan la triseccion de un angulo, totalmente imposible con
regla y compas, hecho que lleva a Ptolomeo a plantear el problema desde un
punto de vista totalmente distinto. Se da cuenta de que si se tiene unABCD
cclico en el que las cuerdas AB y BC son tales que AB < BC y ademas
BD resulta ser la bisectriz del angulo ABC. Entonces Ptolomeo se dispone a
demostrar que:
d
BC
BC
<
d
AB
AB
B
A
H
(3.28)
C
Z
D
Figura 3.11:
Considerando esta situacion, unimos AC y llamamos E a la interseccion de
AC y BD. Entonces tenemos que en el ABC, BE es la bisectriz del angulo
ABC. Aplicando la Proposicion 3 del Libro VI de Euclides (E VI.3) 3 tenemos:
3 Esta proposici
on es conocida actualmente con el nombre de Teorema de la Bisectriz.
Establece que si se tiene el tri
angulo ABC y AD es la bisectriz del a
ngulo ABC entonces
BD
AB
= BC
. Su demostraci
on est
a en el captulo anterior
DC
68
AE
AB
=
<1
CE
BC
CE > AE
Dibujamos la perpendicular DZ a AC. Con centro en D, se dibuja el crculo
de radio DE que cortara a DZ en F y a AD en H. Como el area del sector
DEF (denotada por AsectorDEF ) es mayor que el area del DEZ (denotada
por ADEZ ) y ADEA es mayor que AsectorDEH , se tiene que:
EZ
ZDE DE 2
AsectorDEF
ADEZ
ZDE
=
=
>
=
2
EDA
EDA DE
AsectorDEH
ADEA
AE
ZD
2
ZD
2
EZ
AE
Por lo tanto:
EZ
ZDE
<
AE
EDA
Del mismo modo, a partir del sector F DH, del ADZ, del sector EDH y
del ADE:
AZ
ZDA
<
AE
EDA
Multiplicando por dos los numeradores, se obtiene:
AC
CDA
<
AE
EDA
AE + CE
CDE + EDA
<
AE
EDA
CDE
CE
<
AE
EDA
Pero como tenemos que
CE
AE
BC
AB
y ademas
CDB
BDA
d
BC
d ,
AB
entonces tenemos:
d
BC
CE
CDE
BC
=
<
=
d
AB
AE
EDA
AB
Que el resultado deseado.
Con esto, Ptolomeo aborda el u
ltimo paso hasta su tabla de cuerdas. Considera el ABC inscrito en un crculo, del tal forma que AB = Crd0; 45 y
d
AC
AC = Crd1 . Gracias al resultado anterior se tiene que AB
< AC
d y, entonces:
AB
d
AB AC
AB R 1
4AB
AC <
=
=
d
R
0;
45
3
AB
De la igualdad (3.26) tenemos que AB = 0; 47, 8p y, por lo tanto:

AC <
4AB
4
= 0; 47, 8 1; 2, 50
3
3

3.3. IDENTIDADES TRIGONOMETRICAS.
69
Haciendo el mismo calculo, pero con AB = Crd1 , AC = Crd1; 30 y utilizando la igualdad (3.25) obtiene:
2AC
2
= 1; 34, 15 1; 2, 50
3
3
Con esto acota Crd1 por arriba y por abajo. Por lo tanto, Ptolomeo concluye que
Crd1 = 1; 2, 50p
(3.29)
AB >
y aplicando la expresion para la cuerda del angulo mitad (3.24).

Crd0; 30 = 0; 31, 25p
(3.30)
Con estos dos valores y todos los precedentes, Ptolomeo termina de calcular toda
la tabla, 360 valores calculados con dos fracciones sexagesimales. Como ejemplo
de la precision, damos los valores de las cuerdas de los angulos m
ultiplos de 3
hasta 90 .
3
6
9
12
15
18
21
24
27
30
Crd
3;8,28
6;16,49
9;24,54
12;32,36
15;39,47
18;46,19
21;52,6
24;56,58
28;0,48
31;3;30
33
36
39
42
45
48
51
54
57
60
Crd
34;4,55
37;4,55
40;3,25
43;0,15
45;55,19
48;48,30
51;39,42
54;28,44
57;15,36
60;0,0
63
66
69
72
75
78
81
84
87
90
Crd
62;42,0
65;21,24
67;58,8
70;32,3
73;3,5
75;31,7
77;56,2
80;17,45
82;36,9
84;51,10
Por u
ltimo, podemos a
nadir que traduciendo los valores de la tabla a nuestra
actual funcion seno, vemos como el grado de precision de la misma es bastante
bueno. Esto demuestra lo buen calculista que fue Ptolomeo.
3.3.
Identidades trigonom
etricas obtenidas con
el cuadril
atero cclico.
Ahora establezcamos algunas de las principales identidades referentes al seno

y coseno a partir del cuadrilatero cclico y del Teorema de Ptolomeo. Como
paso preliminar estableceremos algunos resultados. En la siguiente proposicion
usaremos una circunferencia de radio unitario.
Proposici
on 3.3.1 (Identidad Pitagorica). Sea un a
ngulo cumpliendo 0
< 360, entonces:
sen2 + cos2 = 1
(3.31)
70
A
A
tan
sen
B
cos
B
Figura 3.12:
Demostraci
on. Utilizando la Figura 3.12 vemos que, como el AOB es rectangulo, le podemos aplicar el Teorema de Pitagoras, notando que AO = 1, OB =
cos y BA = sen con lo que el resultado resulta evidente.
En el resto de esta seccion trabajaremos con circunferencias de diametro

unitario, a menos que explcitamente se diga lo contrario.
Proposici
on 3.3.2 (El seno de un angulo inscrito.). Si el CBA = est
a incrito en una circunferencia, entonces su seno es justo la cuerda que abarca dicho
a
ngulo, en la Figura 3.13: sen = CA
A
C
B
B
Figura 3.13:
Demostraci
on. Tracemos el diametro que pasa por A y sea B su otro extremo,
como en la Figura 3.13. Consideremos el AB C en el cual el ACB es recto
pues AB es diametro. En estas condiciones tenemos que CBA = CB A =
y sen(CB A) = CA, en consecuencia: sen(CBA) = CA.

3.3.1.
71
Teorema de Ptolomeo trigonom

etrico.
Consideremos el ABCD inscrito en una circunferencia. Aplicando el Teorema de Ptolomeo, obtenemos que:
AC BD = AB CD + BC DA
A
C
Figura 3.14:
Por otra parte, por la Proposicion 3.3.2, sabemos que el seno de un angulo
incrito es la cuerda que abarca, obtenemos las siguientes relaciones:
sen = BA
sen = DC
sen = AD
sen( + ) = sen( + ) = AC
sen = BC
sen( + ) = sen( + ) = BD
Sustituyendo esto en la expresion del Teorema de Ptolomeo se tiene:

sen sen + sen sen = sen( + ) sen( + )
Notemos que la igualdad anterior la obtuvimos a partir del ABCD cclico en
el cual se cumple que + + + = . Con lo anterior, podemos enunciar el
siguiente:
Teorema 3.3.3 (Teorema de Ptolomeo Trigonometrico.). Si + + + = ,
entonces: sen sen + sen sen = sen( + ) sen( + )
El Teorema de Ptolomeo y el Teorema de Ptolomeo Trigonometrico, se implican uno al otro, de hecho, la demostracion de que el primero implica el segundo
es la discucion anterior y procediendo de ella, en orden inverso, se obtiene la
otra implicacion.
Estamos en condiciones de mostrar que algunas de las mas conocidas identidades trigonometricas se pueden obtener a partir del Teorema de Ptolomeo.
Procederemos a deducir las identidades para el seno y el coseno de la suma y
diferencia de angulos, del angulo mitad y del angulo doble, as como las identidades de conversion de productos a sumas y diferencias y de sumas y diferencias
a productos.
72
3.3.2.
Identidades del seno y del coseno
Proposici
on 3.3.4 (El seno de la suma de angulos). Sean 0 <
0 < 2 dos a
ngulos, entonces se cumple:
sen( + ) = sen cos + sen cos
B
(3.32)
C
b
D
Figura 3.15:
Demostraci
on. Construimos un ABCD cclico de tal forma que AC sea diametro, CAB = , DAC = Notemos que ABC y CDA son rectos. Aplicando el Teorema de Ptolomeo tenemos que
AC BD = AB CD + BC DA.
(3.33)
Por otro lado:

cos = AB
sen = BC
cos = DA
1 = AC
sen = CD
sen( + ) = BD
Sustituyendo estos valores en la igualdad (3.33), obtenemos que:

sen( + ) = sen cos + sen cos
Proposici
on 3.3.5 (El seno de la diferencia de angulos). Sean 0 <
0 < 2 dos a
ngulos con , entonces se cumple:
sen( ) = sen cos sen cos
(3.34)
Demostraci
on. Consideremos un ABCD cclico de tal forma que AD sea
diametro, DAB = , DAC = Notemos que ABD y ACD son rectos. Aplicando el Teorema de Ptolomeo a ABCD tenemos la igualdad (3.33)
y, por otra parte:
cos = AB
sen( ) = BC
sen = CD
1 = DA
cos = AC
sen = BD

B
73
C
D
b
Figura 3.16:
Sustituyendo estos valores en (3.33) obtenemos la identidad:
sen( ) = sen cos sen cos
Proposici
on 3.3.6 (El seno del angulo doble.). Si 0 <
cumple:
sen(2) = 2 sen cos
2,
entonces se
(3.35)
C
b
D
Figura 3.17:
Demostraci
on. Sea ABCD cclico con AC como diametro, CAB = =
DAC, DAB = 2. El ABC y el CDA son rectos. Aplicando el Teorema
de Ptolomeo a ABCD tenemos la igualdad (3.33) y, por otra parte:
cos = AB
sen = BC
cos = DA
1 = AC
sen = CD
sen(2) = BD
Sustituyendo estos valores en (3.33), obtenemos la identidad:

1 sen(2) = cos sen + sen cos
sen(2) = 2 sen cos
74
Proposici
on 3.3.7 (El seno y el coseno del angulo medio). Si 0 < 2 ,
entonces:
r
1 cos
sen =
(3.36)
2
2
cos
=
2
1 + cos
2
(3.37)
D
b
Figura 3.18:
Demostraci
on. Sea ABCD cclico de tal forma que AD sea diametro, DAC =
2 = CAB, ABD = 2 = ACD. Aplicando Teorema de Ptolomeo a

ABCD tenemos la igualdad (3.33) y, ademas:
cos = AB
sen( ) = BC
2
sen( ) = CD
2
1 = DA
cos( ) = AC
2
sen = BD
Sustituyendo estos valores en (3.33) obtenemos:
sen = cos sen( ) + sen( ) 1

2
2
2
cos sen = sen( )(cos + 1)

2
2
cos
Aplicando la identidad (3.35) a sen = sen(2 2 ), tenemos:
cos + 1
cos2 ( ) =
2
2
Aplicando la identidad sen2 + cos2 = 1 a cos2 ( 2 ) se sigue:
sen( ) =
2
1 cos
2

75
Ahora, retomando la expresion anterior y volviendo a utilizar la identidad (3.35),

para el sen obtenemos lo que sigue:
cos sen = sen( )(1 + cos )

2
2
2
2 cos ( ) sen( ) = sen( )(1 + cos )
2
2
r 2
1 + cos
cos( ) =
2
2
Proposici
on 3.3.8 (El coseno de la suma de angulos). Sean y dos a
ngulos
agudos con + < 2 , entonces se tiene que:
cos( + ) = cos cos sen sen
(3.38)
A +
D
b
Figura 3.19:
Demostraci
on. Sea ABCD cclico de tal forma que AD sea diametro, DAC =
, CAB = , DAB = + y ABD = 2 = ACD. Aplicando el Teorema
de Ptolomeo a ABCD tenemos la igualdad (3.33) y, ademas:
cos( + ) = AB
sen = BC
1 = DA
cos = AC
sen = CD
sen( + ) = BD

cos sen( + ) = cos( + ) sen + sen 1
Utilizando la identidad (3.32) queda:
sen cos cos + sen cos2 = cos( + ) sen + sen

sen (cos( + ) cos cos ) = sen (cos2 1)
Aplicando la identidad (3.31) y acomodando se obtiene:
cos( + ) = cos cos sen sen
76
Proposici
on 3.3.9 (El coseno de la resta de angulos). Sean y dos a
ngulos
con < < 2 , entonces se tiene que:
cos( ) = cos cos + sen sen
(3.39)
B
C
A
Figura 3.20:
Demostraci
on. Sea ABCD cclico con AD diametro, DAC = , CAB =
, DAB = y ABD = 2 = ACD. Utilizando el Teorema de Ptolomeo en
ABCD tenemos la igualdad (3.33) y, ademas:
cos = AB
1 = DA
sen = BC
sen = CD
cos( ) = AC
sen = BD

cos( ) sen = cos sen( ) + sen 1
Utilizando la identidad (3.34) queda:
cos( ) sen = sen cos cos sen cos2 + sen
cos( ) sen = sen cos cos + sen (1 cos2 )
Aplicando la identidad (3.31) y simplificando se obtiene:
cos( ) = cos cos + sen sen
2,
entonces se
cos(2) = cos2 sen2 = 2 cos2 1 = 1 2 sen2
(3.40)
Proposici
on 3.3.10 (El coseno del angulo doble). Si 0 <
cumple:

B
77
C
D
b
Figura 3.21:
Demostraci
on. Sea ABCD cclico con AD como diametro, DAC = =
CAB, DAB = 2. El ABD y el ACD son rectos. Aplicando el Teorema
de Ptolomeo a ABCD tenemos la igualdad (3.33) y, tambien:
cos(2) = AB
sen = BC
1 = DA
cos = AC
sen = CD
sen(2) = BD
Sustituyendo estos valores en (3.33) obtenemos la identidad:

cos sen(2) = cos(2) sen + sen 1
Utilizando la identidad (3.35), se obtiene:
2 sen cos2 = sen (cos(2) + 1)
cos(2) = 2 cos2 1
Ahora con ayuda de la identidad (3.31) es facil obtener:
cos(2) = cos2 sen2 = 2 cos2 1 = 1 2 sen2
Proposici
on 3.3.11. Si <
2,
<
entonces se cumple:
sen cos =
sen( + ) + sen( )
2
(3.41)
cos sen =
sen( + ) sen( )
2
(3.42)
Demostraci
on. Cosideremos ABCD y A B C D de la Figura 3.22. Estan
construidos de manera que se cumple que AC = A D = 1, AB = A B = cos y
DA = A C = cos . Aplicamos el Teorema de Ptolomeo en ambos cuadrilateros
y sustituimos los datos anteriores en (3.33).
sen( + ) = cos sen + sen cos
78
B
B
C
A
+
D
C
b
D
Figura 3.22:
cos sen = cos sen + sen( )
Si en las anteriores igualdaes despejamos de ambas AB = A B = cos , igualamos y hacemos los arreglos necesarios obtenemos:
sen cos =
sen( + ) + sen( )
2
que es la primera igualdad. Ahora despejemos DA = C A = cos en las igualdades y procedemos igual. Se obtiene:
cos sen =
que es la segunda igualdad.
sen( + ) sen( )
2
Captulo 4
Cuadril
atero y cuadr
angulo
completos.
4.1.
Principio de dualidad
En el plano proyectivo cualesquiera dos rectas tienen un u

nico punto en
com
un. Como consecuencia de esto, en tal plano, no hay casos excepcionales para
la interseccion de rectas, por eso a la afirmacion valida Dos puntos determinan
una recta, le corresponde otra afirmacion tambien valida: Dos rectas determinan
un punto.
Este hecho es la clave de una de las propiedades mas bellas del plano proyectivo real: la dualidad, la correspondencia biyectiva entre puntos y rectas del
plano proyectivo real que respeta la incidencia: un punto incide en una recta si
el punto pertenece a la recta, y una recta incide en un punto si la recta pasa
por el punto.
El Principio de Dualidad de la Geometra Proyectiva, afirma que si en una
proposicion valida aparecen u
nicamente los terminos punto y recta y la relacion
de incidencia, entonces la proposici
on dual, obtenida de la original intercambiando las palabras punto y recta, tambien es cierta.
Por ejemplo, si pensamos en un triangulo como la figura determinada por
tres puntos no colineales, los vertices del triangulo, las rectas determinadas por
(que inciden en) dos de esos puntos son los lados del triangulo. Un triangulo
tiene tres vertices y tres lados.
La nocion dual es la de tril
atero: la figura determinada por tres rectas no
concurrentes que son los lados del trilatero. Los puntos en que se cortan (en que
inciden) dos lados son los vertices del trilatero. Como vemos, un trilatero tiene
tambien tres vertices y tres lados y eso justifica que digamos que un triangulo
es autodual, lo que ya no ocurre, como se vera, en un cuadril
atero. En general,
en este captulo todas las aseveraciones que hagamos se pueden dualizar aunque
no lo hagamos explcitamente.
El mejor ejemplo de aplicacion del Principio de Dualidad, lo constituyen
79
80
CAPITULO 4. CUADRILATERO
Y CUADRANGULO
COMPLETOS.
el llamado Teorema de Desargues y su dual, que en este caso coincide con su

recproco y que enunciaremos como proposicion. Hacemos la aclaracion de que
para poder hacer una demostracion del Teorema de Desargues es necesario hacerla en el espacio, es decir, si nos restringimos al plano nos vemos obligados a
presentar este resultado como axioma. Por lo tanto, solo en este teorema trabajaremos en el espacio.
Notaci
on 4.1.1. Denotaremos como a b el punto de intersecci
on de las rectas
a y b; AB CD el de AB y CD. Asimismo, la recta que une a a b y c d la
denotaremos como (a b)(c d).
Teorema 4.1.2 (Teorema de Desargues). Si ABC y A B C son tales que
las rectas definidas por vertices correspondientes son concurrentes, entonces las
intersecciones de lados correspondientes son colineales
A
O
B
C
Y
C
Z
R
Figura 4.1:
4.2. CUADRILATERO
Y CUADRANGULO
COMPLETOS.
81
Demostraci
on. Sean ABC y A B C en perspectiva desde O, como en la
Figura 4.1. Debemos probar que los puntos P = AB A B , Q = BC B C y
R = CA C A son colineales. Tomemos un punto X que no pertenezca al plano
en el que estan los triangulos y sus intersecciones de lados correspondientes. Sea
Y un punto en XB y Z = XB OY . Notemos que Z esta bien determinado
pues los puntos X, B, O, Y y B estan en un mismo plano.
Las rectas OA, OC y OY son las aristas de una piramide triangular y AY C
y A ZC son dos secciones planas de ella. Los planos a los que pertenecen esas
dos secciones se cortan en una recta, en ella estan R = AC A C , L = Y C ZC
y M = AY A Z. Al proyectar AY C y A ZC desde X al plano inicial,
obtenemos los triangulos originales ABC y A B C . Del mismo modo, al
proyectar los punto R, L y M , obtenemos los puntos necesariamente colineales
P , Q y R.
Proposici
on 4.1.3 (Dual del Teorema de Desargues). Si los tril
ateros abc y
a b c son tales que los puntos definidos por los lados correspondientes aa , bb
y cc inciden en una recta, entonces las rectas (a b)(a b ), (b c)(b c ) y
(c a)(c a ), todas definidas por vertices correspondientes, inciden en un punto.
El teorema y su dual pueden resumirse as:
Dos triangulos estan en perspectiva desde un punto si y solo si estan en
perspectiva desde una recta.
4.2.
Cuadril
atero y cuadr
angulo completos.
Dos figura que estudiaremos en este trabajo son el cuadrilatero completo y

el cuadrangulo completo los cuales definimos a continuaci
on
Definici
on 4.2.1 (Cuadrilatero completo). Dadas cuatro lneas a, b, c y d, que
tomadas de tres a la vez no son concurrentes, decimos que son los lados del
cuadril
atero completo abcd. Sus seis vertices son los puntos b c, a d, c a, b d,
a b y c d. Los vertices que no est
an en una misma lnea son vertices opuestos.
Las lneas que unen vertices opuestos son diagonales, denotadas: p = (bc)(ad),
q = (c a)(b d) y r = (a b)(c d). Ellas son los lados del trilatero diagonal.
Definici
on 4.2.2 (Cuadrangulo completo). Dados cuatro puntos A, B, C y D,
que tomados de tres a la vez no son colineales, decimos que son los vertices del
cuadr
angulo completo ABCD. Sus seis lados son las lneas BC, AD, CA, BD,
AB y CD. Los lados que no pasan por un mismo vertice son lados opuestos.
Los puntos donde se cortan lados opuestos son puntos diagonales, denotados:
P = BC AD, Q = CABD y R = AB CD. Ellos son los vertices del triangulo
diagonal.
A menos que pueda haber confusion, denotaremos al cuadril
atero completo abcd simplemente como abcd, como el la Figura 4.2. Del mismo modo, ABCD denotara al cuadrangulo completo ABCD. Cuando escribamos
82
Y CUADRANGULO
COMPLETOS.
D
b
b
b
bc
bc
bc
b
b
Figura 4.2: Cuadrilatero y cuadrangulo completos.

ABCDP R nos referimos al cuadrilatero completo cuyos lados se cortan en
A, B, C, D, P y R y, por u
ltimo, abcdpq denotara al cuadrangulo completo
cuyos vertices estan en a, b, c, d, p y q. Tambien nos referiremos al trilatero
diagonal de un cuadrilatero como triangulo diagonal pues, como ya vimos, no
hay diferencia entre estas dos figuras.
Proposici
on 4.2.3. Si el P QR es el tri
angulo diagonal del ABCD, entonces los puntos P1 = P Q AB, Q1 = RP BD y R1 = QR AD son colineales.
Demostraci
on. Basta con notar que ABD y P QR estan en perspectiva desde C. As, por el Teorema de Desargues, tenemos que P1 , Q1 y R1 son colineales,
al ser las intersecciones de lados correspondientes.
Corolario 4.2.4. Dados el tri
angulo diagonal y un vertice de un cuadr
angulo,
los restantes tres vertices pueden ser determinados por intersecciones.
Q1
P
bc
D
b
C
Q
b
R1
bc
bc
b
P1
Figura 4.3:
Demostraci
on. Supongamos que en la Figura 4.3 Tenemos dados el P QR y
el vertice D. Podemos determinar los siguientes puntos como sigue:
R1 = QR P D
A = RP1 P D
Q1 = DQ P R
C = AQ DR
Con esto queda determinado el ABCD.
P1 = Q1 R1 P Q
B = P C AR

4.3. CONJUGADOS ARMONICOS
83
Proposici
on 4.2.5. Los seis lados de un cuadr
angulo cortan los tres lados de
su tri
angulo diagonal en los seis vertices de un cuadril
atero que tiene el mismo
tri
angulo diagonal.
E1
P
bc
F1
D
A1
D1
b
bc
C
C1
bc
B
B1
A
Figura 4.4: Cuadrangulo y cuadrilatero con triangulo diagonal com
un.
b
Demostraci
on. Sea ABCD y P QR su triangulo diagonal como en la Figura
4.4. Sean:
A1 = DA QR
D1 = CD P Q
B1 = AB P Q
E1 = BD P R
C1 = BC QR
F1 = AC P R
Veamos que P QR y DAC estan en prespectiva desde B, luego A1 , D1 y

F1 son colineales al ser las intersecciones de los lados correspondientes. Analogamente se prueba que B1 , C1 y F1 ; C1 , D1 y E1 y A1 , B1 y E1 son ternas
colineales. Con esto, resulta que P QR es el triangulo diagonal del cuadrilatero
de vertices A1 , B1 , C1 , D1 , E1 y F1 .
4.3.
Conjugados Arm
onicos
Definici
on 4.3.1. Cuatro lneas concurrentes a, b, c y d forman un conjunto
arm
onico si existe un cuadril
atero completo tal que un par de vertices opuestos
est
an en a, otro par de vertices opuestos, en b y los restantes vertices opuestos
est
an, uno en c y el otro en d, como en la Figura 4.5. En estas condiciones
decimos que c y d son conjugadas armonicas entre s, con respecto a a y b.
Escribimos:
H(ab, cd)
Para construir a d, dadas a, b y c construimos un pqs cuyos vertices p q,
p s y q s esten respectivamente en a, b y c. Determinamos el pqrs cruzado,
donde r = (s a)(q b). Con esto, obtenemos d = (p r)(a b), como en la Figura
4.5.
84
Y CUADRANGULO
COMPLETOS.
Definici
on 4.3.2. Cuatro puntos colineales A, B, C y D forman un conjunto
arm
onico si existe un cuadr
angulo completo tal que un par de lados opuestos
concurran en A, otro par de lados puestos, en B y los restantes lados opuestos
pasen, uno por C y el otro por D, como en la Figura 4.5. En estas condiciones
decimos que C y D son conjugados armonicos entre s, con respecto a A y B.
Escribimos:
H(AB, CD)
Para construir a D, dados A, B y C construimos un P QS cuyos lados
P Q, P S y QS pasen respectivamente por A, B y C. Determinamos el P QRS,
donde R = SA QB. Con esto, obtenemos D = P R AB, como en la Figura
4.5.
S
b
b
b
a
b
s
b
Q
b
b
b
Figura 4.5: Conjuntos armonicos de rectas y de puntos.

En las anteriores construcciones de d y D fue necesario la eleccion de un
triangulo de entre una infinidad de posibilidades. Entonces la pregunta natural
es: si se elije otro triangulo obtendremos el mismo resultado final? Esto nos lleva
a establecer la unicidad del conjugado armonico. Estableceremos y probaremos
el resultado para un conjunto armonico de puntos, pues sabemos que el resultado
para un conjunto arm
onico de rectas se sigue por dualidad.
Proposici
on 4.3.3. El conjugado arm
onico, D, de C con respecto a A y B es
u
nico.
Demostraci
on. Una forma de parafrasear la proposicion es decir que el conjugado armonico de C con respecto a A y B es independiente de la eleccion del
P QS. Supongamos que tenemos el P Q S formado a partir del P Q R S
como en la Figura 4.6. Haremos ver que RP y R P determinan el mismo punto
D sobre la lnea AB.
Los lados correspondientes de P QS y P Q S se cortan en los puntos
colineales A, B y C. Aplicamos la Proposicion 4.1.3 y obtenemos que P P ,
QQ y SS concurren en un punto al que llamamos O. De la misma forma,
ahora con QRS y Q R S , obtenemos que RR pasa por O. As P QR y
P Q R estan en perspectiva desde O, entonces por el Teorema de Desargues
4.1.2 tenemos que las intersecciones de lados correspondientes son colineales,
pero estas son justo A = P Q P Q , B = QR Q R y D = RP R P .
85
4.4. PERSPECTIVIDAD.
S
R
Q
P
b
O
bc
S
R
P
Q
Figura 4.6:
Con esto, vemos que en la Figura 4.3 H(AB, P1 R) pues cumplen la definicion fijandonos en P DQC. Ahora, P A, P B,P P1 y P R forman un conjunto
armonico de rectas al cumplir la definicion en el cuadrilatero cruzado de lados
AB, CD, AC y BD. Lo interesante es notar que los puntos colineales A, B, P1
y R estan en la diagonal AB del cuadrilatero completo determinado por P D,
DQ, QC y CP . A y B son los vertices que estan en esa diagonal y P1 y R son
los puntos en los que las otras dos diagonales la cortan. Dualmente, P A, P B,
P P1 y P R concurren en el punto diagonal P del ABCD. P A y P B son los
dos lados que pasan por ese punto diagonal y P P1 y P R son las rectas que unen
los otros dos puntos diagonales con el. Lo anterior es la demostracion de dos
propiedades, duales entre s, que enunciamos formalmente como proposiciones.
Proposici
on 4.3.4. En cada diagonal de un cuadril
atero completo, hay un
conjunto arm
onico de puntos que consiste de los dos vertices en la diagonal y
los puntos en los cuales es intersectada por las otras dos.
Proposici
on 4.3.5. Por cada punto diagonal de un cuadr
angulo completo, pasa
un conjunto arm
onico de lneas que son los dos lados que pasan por el punto y
las lneas que lo unen con los otros dos puntos diagonales.
4.4.
Perspectividad.
Los puntos que estan sobre una misma lnea son llamados hilera de puntos,
especialmente cuando alguno o algunos de ellos los consideramos como puntos
variables que se mueven sobre la lnea. El dual de hilera es haz, que son las
lneas que pasan por un mismo punto, especialmente cuando alguna o algunas
de ellas las consideramos como lneas variables que rotan en torno al punto, el
cual recibe el nombre de centro del haz.
Nos interesara establecer correspondencias biunvocas entre hileras, entre
haces y entre hileras y haces. Por ejemplo, si tenemos dos hileras, a cada punto
X de la primera, le asociamos un punto X de la segunda y a X le asociamos
86
Y CUADRANGULO
COMPLETOS.
X para asegurar una correspondencia biunvoca. Otra posible correspondencia

sera a cada punto X asociarle el mismo X, es decir, la identidad. Aparte de esta
asociacion trivial, nos podramos preguntar sobre la manera en que se pueden
establecer este tipo de correspondencias entre dos hileras, entre dos haces o entre
una hilera y un haz.
La mas simple correspondencia biunvoca entre dos hileras es cuando consideramos un haz cortado por dos rectas o y o como en la Figura 4.7. La
correspondencia de X en o con X en o es tal que la recta XX pasa por O,
que es el centro del haz. En estas condiciones decimos que X y X estan en
perspectiva desde O y escribimos:
X
O
=
X o, simplemente, X X .
De manera dual, una perspectividad desde la lnea o ocurre cuando la correspondencia entre dos haces es tal que el punto de interseccion x x esta en la
lnea fija o. En tal caso escribimos
=
= x o, simplemente, x x .
x
O
b
O
b
o
bc
X
bc
x
bc
x
bc
bc
o
Figura 4.7:
Estableceremos un par de proposiciones que ilustran el uso de la perspectividad y nos ayudaran posteriormente.
Proposici
on 4.4.1. Es posible, con tres perspectividades, intercambiar entre
s los dos pares de cuatro puntos colineales.
Demostraci
on. Supongamos que queremos intercambiar A con A y B con B .
Construimos el P U T , como en la Figura 4.8, de tal forma que los lados P U ,
U T y T P pasen por A, B y B. Determinamos S = A P T U y V = AS BP .
As tenemos:
P
AA BB = U ST B = P V T B = A AB B
Ahora supongamos que queremos intercambiar A con B, A con B , B con A y

B con B . Sea R = T A P A . Se sigue:
P
AA BB = U ST B = P SRA = BB AA
Que son las permutaciones basicas.
87
4.4. PERSPECTIVIDAD.
Proposici
on 4.4.2. Es posible, con a lo m
as tres perspectividades, relacionar
tres puntos distintos y colineales con otros tres puntos distintos y colineales.
Demostraci
on. Supongamos que las tercias de puntos ABC y A B C estan en
dos rectas distintas como en la Figura 4.8. Sean R, S y C0 los puntos en los
que AA , BB y BA cortan a CC . Utilizando dos perspectividades podemos
escribir:
R
=
A BC0 = A B C
Si un par de puntos coinciden, digamos A y A , entonces es suficiente con la

perspectividad desde S. Si las dos tercias estan en la misma lnea, entonces con
un perspectividad arbitraria podemos llevar a ABC en A1 B1 C1 , estos en una
lnea distinta. A1 B1 C1 se pueden llevar en A B C con dos perspectividades
con el metodo descrito. As, vemos que en efecto se necesitan a lo mas tres
perspectividades para llevar una tercia en otra.
ABC
P
bc
U
bc
bc
bc
S
R
bc
R
A C C0
X0
bc
b
b
b
b
X B
b
S
Figura 4.8:
Ahora podemos empezar a mostrar relaciones entre los conjuntos armonicos
y la perspectividad. Los conjuntos armonicos conservan esa propiedad despues
de aplicarles un n
umero cualquiera de prespectividades. Para hacer ver la validez
de la afirmacion anterior, probaremos antes una propiedad.
Proposici
on 4.4.3. Una lnea que corta un haz arm
onico, origina una hilera
arm
onica y una haz que corta una lnea en una hilera arm
onica, es un haz
arm
onico.
Demostraci
on. Solo probaremos que si A, B, C, D colineales son unidos a un
punto P fuera de la lnea por las lneas a, b, c, d y si H(AB, CD) entonces
H(ab,cd). La otra parte, al ser dual, se sigue por este principio.
Esta demostracion se sigue de lo demostrado en las proposiciones duales
4.3.4 y 4.3.5. En la Figura 4.3, supongamos que H(AB, P1 R) y sea P el
punto fuera de la linea AB. Construimos P DQC. En la demostracion de las
Proposiciones 4.3.4 y 4.3.5 vimos que en tales condiciones el haz con centro
en P y lneas P A, P B, P P1 y P R es armonico, que es justo lo que queramos
probar.
88
Y CUADRANGULO
COMPLETOS.
Como consecuencia tenemos:
=
Corolario 4.4.4. La perspectividad conserva la relaci

on arm
onica: Si ABCD
A B C D y H(AB, CD), entonces H(A B , C D )
=
Demostraci
on. En efecto, si ABCD A B C D entonces existe un haz desde
el cual estan en perspectiva y, por la proposicion anterior, es armonico pues
H(AB, CD) y H(A B , C D ) tambien al ser una transversal de un haz arm
onico.
Combinando este resultado con la Proposicion 4.4.1, podemos establecer
que H(AB, CD) implica H(CD, AB). Recordemos que la definicion de conjugados armonicos establece la relacion por pares de puntos, entonces vemos que
la relacion es simetrica, es decir, si C y D son conjugados armonicos entre s con
respecto a A y B, entonces A y B son conjugados armonicos entre s con respecto a C y D. Es obvio que podemos hacer otras permutaciones respetando el
apareamiento de A con B y de C con D. As podemos establecer lo que sigue.
Proposici
on 4.4.5. Las ocho relaciones:
H(AB, CD), H(BA, CD), H(AB, DC), H(BA, DC)
H(CD, AB), H(CD, BA), H(DC, AB), H(DC, BA)
son todas equivalentes.
4.5.
Orden y continuidad
En el plano euclidiano o en el afn, dados tres puntos colineales y distintos

siempre hay uno de ellos que separa a los otros dos. Dicho de otra forma, uno de
ellos est
a entre los otros dos. En el plano proyectivo las rectas son ((completas))
y por tal motivo en muchas ocaciones conviene pensarlas como crculos. As,
dados tres puntos distintos colineales en el plano proyectivo, no es posible decir
que uno de ellos separa a (esta entre) los otros dos. Por ejemplo, en la Figura
4.9 dados los puntos distintos y colineales A, B y C no podemos decir que C
separa a A y B, pues estos a
un estan unidos por el segmento que va de A a B
contrareloj.
Si consideramos nuevamente las rectas como crculos, en el plano proyectivo,
dados A, B, C y D cuatro puntos colineales y distintos, diremos que A y B son
separados por C y D si para ir de A a B debemos ((pasar)) por C o por D, como
en la Figura 4.9. En tales circunstancias escribiremos AB k CD.
Damos a continuacion algunas propiedades de separacion como axiomas.
Axioma 4.5.1. Si AB k CD, entonces CD k AB.
Axioma 4.5.2. Si A, B, C y D son cuatro puntos colineales y distintos, entonces s
olo una de las relaciones AB k CD, BC k AD, CA k BD es v
alida.
Axioma 4.5.3. Si AB k CD y AC k BE, entonces AB k DE
89
4.5. ORDEN Y CONTINUIDAD

C
b
E
b
D
Figura 4.9: C y D separan a A y B.
=
Axioma 4.5.4. Si AB k CD y ABCD A B C D , entonces A B k C D

Dados los puntos A, B y C distintos y colineales, definimos el segmento
AB/C -AB sin C- como todos los puntos X de la recta tal que AB k CX. Es
claro que AB/C no contiene a C. Al considerar todos los puntos de AB/C y
a
nadir A y B se crea el intervalo AB sin C, denotado AB/C. Si X y Y estan en
AB/C, decimos que XY /C es interior a AB/C. Por u
ltimo, D est
a entre X y
Y en AB/C si pertenece a XY /C, esto es, si XY k CD. As la nocion de estar
entre es valida en un intervalo, pero no en toda la lnea.
Proposici
on 4.5.5. Si A, B y C son distintos y H(AB, CD), entonces AB k
CD.
N
R
P
Q
M
A
S
b
D
Y X
bc
bc
C
b
O
Figura 4.10:
Demostraci
on. Como H(AB, CD), es posible construir P RQSAB. Sea M que
pertenece a AS/P como en la Figura 4.10. Notemos que QM corta a AB en Y
y a RS en O y que P O corta a AB en X y a QR en N . Si Y coincide con D,
entonces AB k CD por el Axioma 4.5.4 con perspectividad desde Q. Si no:
ASP M
O
=
= ABXC, ASP M
ARN Q
Q
=
ABCY , ASP M
O
=
ADXY
90
Y CUADRANGULO
COMPLETOS.
Nuevamente por el Axioma 4.5.4 tenemos que AB k XC, AB k CY y AD k

XY , con esto obtenemos que X e Y pertenecen a AB/C y en consecuencia
AX k BY o AY k BX es valida. Supongamos el primer caso, si no es as, basta
con intercambiar consistentemente los nombres entre X e Y . Con ayuda del
Axioma 4.5.3 obtenemos a partir de AX k BY y de AD k XY que XA k BD.
Finalmente, de AB k XC y XA k BD se obtiene AB k CD.
Como consecuencia de esta proposicion podemos enunciar:
Corolario 4.5.6. Los puntos diagonales de un cuadr
angulo completo no son
colineales.
Demostraci
on. Si tenemos tres puntos A, B y C distintos y H(AB, CD), sabemos que AB k CD. De lo anterior se tiene que C y D son puntos distintos. A partir de la definicion de conjugados armonicos podemos ver que si en el ABP Q
sus puntos diagonales fueran colineales entonces C y D coincidiran.
En la geometra euclidiana o en la afn, un punto divide a la recta en la que
esta en dos rayos. En el plano proyectivo, retomando el diagrama circular de
la recta, se necesitan dos puntos para dividir una recta en dos segmentos. Con
esto, si tenemos cuatro puntos en una recta tales que AB k CD decimos que
determinan los segmentos AB/C y AB/D que llamamos suplementarios. Esta
propiedad de orden cclico que se establece nos permite introducir la noci
on
de sentido de los puntos en una recta del plano proyectivo. Tal nocion resulta
intuitiva si pensamos que hace referencia a que, en un esquema circular -como
en el de la Figura 4.9-, recorremos los puntos en el sentido de las manecillas
del reloj o no. As en tal figura podemos decir del sentido de los puntos A, B y
C, denotado S(ABC), que:
S(ABC) = S(BCA) = S(CAB) 6= S(BAC)
A su vez este acuerdo de sentido permite decir que AB k CD es equivalente
a S(ABC) 6= S(ABD). Este acuerdo facilita clasificar las correspondencias que
se establecen entre dos hileras de puntos.
Dadas dos hileras de puntos, sabemos que si las ponemos en perspectiva desde un punto lo que hacemos es establecer una correspondencia entre los puntos
de las hileras que preserva la separacion y, consecuentemente, el orden cclico de
los puntos.Llamaremos correspondencia ordenada a cualquier correspondencia
entre hileras de puntos que conserve la separacion. As, si X representa a una
hilera de puntos y X a otra, diremos que la correspondencia X X es ordenada si dados A, B, C y D en X tal que AB k CD entonces sus correspondientes
A , B , C y D en X cumplen A B k C D . Un punto M se llama invariante
si coincide con su correspondiente M .
Una correspondencia ordenada la llamaremos directa u opuesta de acuerdo
a si el sentido de tres puntos y sus correspondientes es igual o no, es decir, de
acuerdo con:
S(ABC) = S(A B C ) o S(ABC) 6= S(A B C )
91
La identidad es una correspondencia ordenada directa con todos sus puntos

invariantes. Un ejemplo importante de correspondencia ordenada opuesta la
presentamos en la siguiente:
Proposici
on 4.5.7. La correspondencia entre los puntos de una hilera y sus
conjugados arm
onicos con respecto de dos puntos fijos M y N , es una correspondencia opuesta con puntos fijos M y N .
R
Q
P
S
b
b
Figura 4.11:
Demostraci
on. Como la perspectividad es una correspondencia que preserva
orden, debemos mostrar que para un punto cualquiera X en M N y su conjugado
X con respecto a M y N , se cumple que los puntos X, M , N y X , M , N estan
relacionados a traves de perspectividades. En la Figura 4.11, Q y R son puntos
fijos colineales con M , P = N R QX, S = M P N Q, X = M N RS. Con lo
anterior establecemos:
MNX
Q
=
RN P
M
=
QN S = M N X
As, la correspondencia es ordenada con puntos fijos M y N . Como H(M N, XX ),

implica por la Proposicion 4.5.5 que M N k XX y esto equivale a S(M N X) 6=
S(M N X ). Con lo que la correspondencia es opuesta.
Proposici
on 4.5.8. Dos pares de arm
onicos conjugados con respecto a M y N
no pueden separarse mutuamente.
Demostraci
on. Supongamos que H(M N, AB) y H(M N, CD). Debemos mostrar que no puede suceder que AB k CD. Consideremos los puntos A, B y C, la
correspondencia los lleva a sus conjugados B, A y D. Por la proposicion anterior sabemos que esta correspondencia es opuesta, es decir: S(ABC) 6= S(BAD).
Entonces S(ABC) = S(ABD). Por otro lado sabemos que AB k CD equivale
a S(ABC) 6= S(ABD). Por lo tanto como S(ABC) = S(ABD) se tiene que A
y B no separan a C y D.
En este momento nos podemos hacer la siguiente pregunta: dadas dos parejas
de puntos A, B y C, D. existen M y N tal que H(AB, M N ) y H(CD, M N )?
Si es as, que condiciones deben cumplir estas dos parejas? Para responder afirmativamente la primera pregunta y dar las condiciones de la segunda, debemos
introducir un axioma mas.
92
Y CUADRANGULO
COMPLETOS.
Axioma 4.5.9 (Axioma de Continuidad). Si una correspondencia ordenada

relaciona el intervalo AB/C con el intervalo interior A B /C, entonces este
u
ltimo contiene un punto invariante M, tal que no hay otro punto invariante
entre A y M en AB/C.
De acuerdo con la Proposicion 4.5.7, los puntos M y N deben ser los puntos
invariantes de una correspondencia opuesta. Con ayuda de la Proposicion 4.5.8
deducimos que los puntos A y B no deben separar a C y D. Con esto podemos
establecer la siguiente:
Proposici
on 4.5.10. Si A, B y C, D son dos parejas de puntos que no se
separan mutuamente, entonces existen dos puntos M y N tal que:
H(AB, M N ) y H(CD, M N )
XJ BJ
AJ
bc
bc
bc
D
b
bc
Figura 4.12:
Demostraci
on. Un punto X en AB/C tiene su armonico conjugado XI con
respecto a A y B y su armonico conjugado XJ con respecto a C y D. El objetivo
es encontrar la posicion de X en la cual XI = XJ . Cuando X recorre el intervalo
AB/C de A a B, XI recorre el intervalo suplementario de AB/C de A a B,
en el cual se encuentran los puntos C y D. De la misma forma, cuando X
hace el recorrido descrito, XJ recorre el intervalo AJ BJ /C de AJ a BJ donde
AJ y BJ son los armonicos conjugados de A y B con respecto a C y D. La
correspondencia XI XJ relaciona el intervalo suplementario de AB/C con
su intervalo interior AJ BJ /C. Por el Axioma de Continuidad 4.5.9, este u
ltimo
intervalo contiene un punto invariante M que es el armonico conjugado de alg
un
punto N con respecto a los pares A, B y C, D.
Hacemos notar que la proposicion anterior asegura la existencia de los puntos
M y N , mas no dice como hacer una construccion tal1 .
Hemos dicho que, en el plano proyectivo, dos puntos descomponen una recta
en dos segmentos. De manera dual: dos rectas descomponen el haz que determinan en dos regiones angulares. As como conviene pensar una recta como un
1 En la geometr
a euclidiana o en la afn, s es posible hacer la construcci
on. Dadas las dos
parejas de puntos A, B y C, D, tal que los segmentos determinados por ellas no se intersectan,
se construyen circunferencias de di
ametros AB y CD. Se traza una tercera ortogonal a las
dos primeras. No es difcil probar que en tales condiciones la construcci
on siempre es posible
y, sobre todo, que la u
ltima circunferencia corta la lnea de los centros de las dos primeras en
dos puntos fijos que resultan ser los puntos buscados M y N .
93
M
b
Figura 4.13: M y N armonicos conjugados de A, B y C, D
crculo, conviene imaginar el plano proyectivo como una esfera. Con esta idea
tambien podemos decir que dos rectas descomponen el plano en dos regiones
angulares. Si concideramos una tercer lnea no concurrente con las dos primeras, esta penetra ambas regiones y, por lo tanto, podemos decir que tres lneas
no concurrentes descomponen el plano proyectivo en cuatro regiones.
Una cuarta lnea, que no pase por un vertice del triangulo generado por
las otras tres, es descompuesta en tres segmentos por las lneas. Cada uno de
ellos esta solo en una de las cuatro regiones, luego, hay una region que no es
penetrada por esta cuarta lnea. Esta propiedad nos permite decir que de las
cuatro regiones generadas por las lneas AB, BC y CA hay una que no es
penetrada por la lnea p. Tal region la denotamos como:
ABC/p.
I
A
III
II
IV
C
B
II
I
III
Figura 4.14:
En la Figura 4.14, la recta p no penetra la region III.
94
Y CUADRANGULO
COMPLETOS.
4.6.
Proyectividad
Hemos visto que la perspectividad es una correspondencia entre entre hileras

o entre haces. Demostramos que preserva la relacion armonica de los puntos
e introdujimos un axioma que establece que tambien preserva la separaci
on.
Sabemos que podemos establecer perspectividades entre hileras que esten en
lneas distintas, entre hileras que esten en la misma lnea o entre los puntos de
una misma hilera. Otro tipo de correspondencia que se puede establecer entre las
hileras, entre los haces o entre hileras y haces es el que llamaremos proyectividad.
Una proyectividad es una correspondencia que preserva la relacion armonica.
Definici
on 4.6.1. Una proyectividad entre dos hileras es una correspondencia
que preserva la relaci
on arm
onica. Dicho de otra forma, si los puntos A, B, C
y D pertenecen a la hilera X y cumplen H(AB, CD), entonces sus correspondientes A , B , C y D en X cumplen H(A B , C D ). La proyectividad entre
las hileras X y X la denotaremos
X X
Con esto, si ABCD A B C D y H(AB, CD) entonces H(A B , C D ).

En el Corolario 4.4.4 establecimos que la perspectividad conserva la relaci
on
armonica, entonces la perspectividad es un caso particular de proyectividad. De
manera dual, podemos estrablecer x x entre lneas de los haces x y x . Si

las rectas a, b, c y d pertenecen al haz x y cumplen H(ab, cd), entonces sus
correspondientes a , b , c y d en x cumplen H(a b , c d ).
Proposici
on 4.6.2. Cada proyectividad es una correspondencia ordenada, es
decir, si ABCD A B C D y AB k CD, entonces A B k C D .
Demostraci
on. Supongamos que se cumple ABCD A B C D y AB k CD
pero que no es cierto A B k C D . Por la Proposicion 4.5.10 tenemos que existen
M y N tales que H(A B , M N ) y H(C D , M N ). Como por definicion la
proyectividad conserva la relacion armonica, se tiene que los correspondientes de
M y N , digamos M y N , cumplen H(AB, M N ) y H(CD, M N ). Esto significa
que las parejas A, B y C, D no son separadas, lo cual es una contradiccion.
Proposici
on 4.6.3. Si una proyectividad tiene m
as de dos puntos invariantes,
s
olo puede ser la identidad.
Demostraci
on. Supongamos que tenemos una proyectividad, X X , que tiene
tres puntos invariantes y un cuarto no invariante. Siempre es posible nombrar
adecuadamente a los tres invariantes de tal forma que si P es el no invariante y
P su correspondiente, se cumpla que P esta en AB/C y P en P B/C. Como la
proyectividad es una correspondencia que conserva la relacion armonica, se sigue
que nuestra proyectividad relaciona P B/C con su intervalo interior P B/C. Por
el Axioma 4.5.9 tenemos que este u
ltimo tiene un punto invariante M y ya no
95
4.6. PROYECTIVIDAD
bc
bc
bc
bc
P M
bc
bc
Figura 4.15:
tiene puntos invariantes entre P y M en P B/C. De manera analoga, la proyecti
vidad inversa X X relaciona AP /C con AP /C. El u

ltimo intervalo tiene un
punto invariante N y no admite otro, entre el y P . Notemos uq e los intervalos
P M/C y N P /C se traslapan y, en consecuencia, N M/C esta totalmente libre
de puntos invariantes.
Por otro lado, consideremos a D el armonico conjugado de C con respecto
a M y N . Sea D su corespondiente, o sea, D D . Con esto, M N CD

M N CD pero como H(M N, CD), entonces H(M N, CD ) y con esto D = D
pues por la Proposicion 4.3.3 el conjugado es u
nico. Esto implica que D es
un punto invariante en M N/C, lo cual es una contradiccion. Por lo tanto una
proyectividad no puede tener tres puntos invariantes a menos que tenga todos
sus puntos invariantes y, en consecuencia, sea la identidad.
Con este resultado estamos en condiciones de enunciar un teorema impor nos mostrara que una proyectividad se puede construir como producto
tante. El
de perspectividades y con ello relacionar esos dos conceptos.
Teorema 4.6.4 (Teorema Fundamental de la Geometra Proyectiva). Una proyectividad est
a determinada cuando tres puntos de una hilera y sus tres puntos
correspondientes en otra est
an dados.
Demostraci
on. Supongamos que tenemos dados los puntos A, B y C en una
hilera y A , B y C en otra. Procedemos como en la demostracion de la Propo
sicion 4.4.2 y con eso construimos X X tal que ABC A B C como en la

parte derecha de la Figura 4.8.
Por otro lado, sea X un punto cualquiera en la primera hilera y X su
correspondiente.Para probar la unicidad de la proyectividad, debemos hacer ver
que, para cualquier otra construccion, X determina el mismo X . Supongamos
que no es as. Supongamos que para otra construccion se tiene:
ABCX A B C X
donde X 6= X . Por la proyectividad inicial tenemos:
ABCX A B C X
Si combinamos estas dos proyectividades es facil construir una tercera tal que:
96
Y CUADRANGULO
COMPLETOS.
A B C X A B C X
La cual, como es evidente, tiene tres puntos invariantes. Por la Proposicion 4.6.3
es la identidad. Por lo tanto X = X
Corolario 4.6.5. Una proyectividad puede ser construida como producto de
perspectividades, que se pueden reducir a tres. Si las hileras est
an en lneas
distintas, dos son suficientes.
Demostraci
on. En el teorema anterior vimos que una proyectividad queda determinada con tres de sus puntos y sus correspondientes. Sabemos que la perspectividad es una caso particular de proyectividad pues conserva la relaci
on
armonica. Con la Proposicion 4.4.2 somos capaces de cualesquiera tres puntos
relacionarlos con cualesquiera tres puntos con a lo mas tres perspectividades.
Vemos que una proyectividad puede ser definida como el producto de perspectividades y a partir de eso se puede demostrar que conserva la relaci
on
armonica. Nosotros lo hicimos al reves.
Corolario 4.6.6. Si una proyectividad entre hileras en lneas distintas tiene un
punto invariante, entonces no es m
as que una perspectividad.
S
b
C
B
A
X
X
Figura 4.16:
Demostraci
on. Como las lneas son distintas, debe pasar que el punto invariante,
A, es la interseccion. Consideremos B, B y C, C parejas de puntos corresponS
= AB C , pero por el Teorema 4.6.4
dientes. Sea S = BB CC . Con esto ABC
la proyectividad equivale a la perspectividad descrita.
Como ya hemos mencionado, una proyectividad puede darse entre puntos de
lneas distintas o entre puntos de la misma lnea. A menos que explcitamente lo
indiquemos, trabajaremos con proyectividades entre hileras de la misma lnea.
Diremos que una proyectividad en la misma lnea es proyectividad directa si
conserva el sentido de los puntos y es proyectividad opuesta si inverte el sentido.
Hemos visto que una proyectividad se determina de manera u
nica con tres
puntos y sus correspondientes, tambien que si deja invariantes a tres de sus
puntos, los deja invariantes a todos. Con esto podemos deducir que una proyectividad no tiene, tiene uno o tiene dos puntos invariantes. Esto nos permite
hacer una clasificacion de ellas.
Definici
on 4.6.7. Una proyectividad es llamada elptica, parab
olica o hiperb
olica de acuerdo a si no tiene, a si tiene uno o a si tiene dos puntos invariantes.

4.7. INVOLUCION.
4.7.
97
Involuci
on.
Supongamos que tenemos una proyectividad que al punto X1 X2 , X2

X3 , ... , Xn X1 y que la proyectividad tiene el mismo comportamiento para
todos sus puntos. En esta situacion diremos que la proyectividad es de periodo
n. No es difcil probar que tal comportamiento lo debemos verificar solo en
tres de sus puntos para asegurar que se dara en todos. Recordemos que una
proyectividad queda determinada por tres puntos y sus correspondientes. Es
obvio que la identidad es de periodo uno. La proyectividad que relaciona un
punto con su conjugado armonico, es de periodo dos. Este u
ltimo tipo, las de
periodo dos, nos interesan particularmente.
Definici
on 4.7.1. Una involuci
on es una proyectividad de periodo dos. En
smbolos:
XX X X
Proposici
on 4.7.2. Una proyectividad que intercambia dos puntos es necesariamente una involuci
on.
Demostraci
on. Supongamos que tenemos dada una proyectividad tal que AA
A A. Consideremos un punto X y consideremos su correspondiente X , es decir,
X X . Por el Teorema Fundamental 4.6.4, la proyectividad AA X A AX

es u
nica. Consideremos ahora los puntos A, A , X y X . Por la Proposicion 4.4.1
sabemos que es posible intercambiar por pares cuatro puntos colineales, o sea,
es posible construir la proyectividad AA XX A AX X. Esta proyectividad

hace lo mismo que la primera y ademas intercambia X con X. Entonces por la
unicidad de la proyectividad sabemos que, como X lo tomamos arbitrariamente,
la proyectividad es una involucion.
Con esto vemos que como una involucion es un proyectividad y estas quedan determinadas al dar tres puntos y sus correspondientes, entonces, como los
pares de puntos de una involucion se intercambian entre s, para determinar de
manera u
nica a una involucion es suficiente con conocer dos de sus pares. esto
lo establecemos enseguida.
Corolario 4.7.3. Un involuci
on queda determinada de manera u
nica por dos
de sus pares.
La involucion AA BB A AB B la denotaremos como (AA )(BB ).

Proposici
on 4.7.4. Si una involuci
on tiene un punto invariante, tiene otro y la
involuci
on es justo la correspondencia entre arm
onicos conjugados con respecto
a estos dos puntos.
Demostraci
on. Consideremos la involucion (AA )(M M ) y a N , el conjugado
armonico de M con respecto a A y A . Debemos probar que la involucion deja
invariante a N . Como la involucion, al ser una proyectividad, preserva la relacion
armonica y como H(AA , M N ), entonces a N lo relaciona con el conjugado
98
Y CUADRANGULO
COMPLETOS.
armonico de M con respecto a A y A pero por la Proposicion 4.4.5 sabemos

que ese punto es N . Ademas como A, A y M son distintos, se sigue por el
Corolario 4.5.6 que M y N son distintos. Por la tanto N es el segundo punto
invariante de la involucion. Por u
ltimo, notemos que si utilizamos cualquier otra
pareja X, X de la involucion para detrminar el conjugado armonico de M con
respecto a ella, volvemos a obtener a N pues de lo contrario tendramos tres
puntos invariantes y la correspondencia sera la identidad.
Como corolario podemos decir que no hay involuciones parab
olicas y que
la anterior involucion hiperbolica la podemos denotar a traves de sus puntos
invariantes como (M M )(N N ).
De la Proposicion 4.5.7 sabemos que la correspondencia que relaciona un
punto con su conjugado armonico con respecto a dos puntos fijos es opuesta.
Por lo tanto, una involucion elptica es directa. Esto demuestra la siguiente
proposicion.
Proposici
on 4.7.5. Cada involuci
on hiperb
olica es opuesta y cada involuci
on
elptica es directa.
Si tenemos los puntos colineales A, A , B y B podemos determinar la involucion (AA )(BB ). Si esta involucion es hiperbolica, entonces por la Proposici
on
4.5.8 sabemos que estos dos pares no pueden separarse mutuamente. Si la involucion es elptica, sucede que es directa y que S(AA B) = S(A AB ) 6= S(AA B )
y, en consecuencia, AA k BB . Lo anterior justifica la proposicion siguiente:
Proposici
on 4.7.6. La involuci
on (AA )(BB ) es elptica si AA k BB y si
no, es hiperb
olica.
Cuando decimos que los puntos A, A , B y B determinan la involuci
on
(AA )(BB ) significa que dado un punto C colineal con ellos, podemos determinar de manera u
nica a C de tal forma que el par C, C pertenezca a la
involucion. Lo anterior nos permite establecer un teorema acerca de un conjunto cuadrangular de puntos, el cual enseguida definimos.
Definici
on 4.7.7. El conjunto de seis puntos en los que una recta corta los
lados de un cuadr
angulo completo, sin pasar por ninguno de sus vertices, es
llamado conjunto cuadrangular de puntos.
Teorema 4.7.8. Cada punto de un conjunto cuadrangular de puntos queda
determinado de manera u
nica por los cinco restantes.
Demostraci
on. Si parafraseamos el teorema para enunciarlo en terminos de la
involucion nos queda: Los tres pares de lados opuestos de un cuadrangulo completo cortan a una lnea que no pasa por ninguno de sus vertices en tres pares
de puntos de una involucion.
En la Proposicion 4.4.1 vimos como intercambiar dos pares de puntos. La
Figura 4.8 es la misma que la 4.17 en donde se ha a
nadido un punto arbitrario
99
4.8. COLINEACIONES Y CORRELACIONES.

P
V
T
R
b
B C
Figura 4.17:
C en la lnea AB . Procediendo exactamente con las mismas perspectividades
que en la proposicion mencionada tenemos:
AA BB C
P
=
U ST B Q = P V T BR = A AB BC
Con esto, como A, A , B, B , C y C son los puntos en los que los lados del
P QRS cortan la lnea AB , se cumple que C queda determinado por los otros
cinco puntos y que el par C, C forma parte de la involucion (AA )(BB ).
4.8.
Colineaciones y Correlaciones.
La perspectividad y la proyectividad son dos tipos de correspondencias que

relacionan puntos colineales con puntos colineales. Estos dos tipos de correspondencias forman parte de de un conjunto mas general de correspondencias: las
que conservan colinealidad. Diremos que una colineaci
on es una correspondencia que relaciona puntos colineales con puntos colineales. Tres hileras en lneas
concurrentes distintas tienen un punto en com
un. Como la colineacion preserva
colinealidad, entonces el correspondiente de este punto com
un esta en las tres
hileras correspondientes de las tres originales y consecuentemente estas tres hileras correspondientes tambien son concurrentes. Dicho de otra forma, hileras
corresponden a hileras y haces corresponden a haces. Una colineacion preserva
incidencia: un punto X esta en la lnea x si y solo si el punto X esta en la
lnea x. As a una hilera dada de puntos X en la lnea x, le corresponde una
hilera de puntos X en la lnea x . Si tenemos cuatro puntos de la hilera X que
forman un conjunto armonico, entonces tenemos un cuadrangulo completo que
origina a esos cuatro puntos. A este cuadrangulo completo le corresponde otro
cuadrangulo completo que preserva las incidencias del primero y, por lo tanto,
al conjunto armonico inicial, le corresponde un conjunto de cuatro puntos, en
la hilera X , que tambien es armonico.
Con lo anterior vemos que una correspondencia que preserva colinealidad
tambien preserva conjuntos armonicos. Anteriormente definimos una proyectividad como una correspondencia que preserva la relacion armonica. As pues,
100 CAPITULO 4. CUADRILATERO

Y CUADRANGULO
COMPLETOS.
una colineacion induce una proyectividad entre hileras en lneas correspondientes y entre haces a traves de puntos correspondientes.
Proposici
on 4.8.1. Si bajo una colineaci
on un cuadril
atero o un cuadr
angulo
es invariante, entonces la colineaci
on s
olo puede ser la identidad.
Demostraci
on. Supongamos un cuadrilatero invariante. Sus cuatro lados son
lneas invariantes y sus seis vertices son puntos invariantes. En cada una de
estas cuatro lneas hay tres puntos invariantes. Por la Proposicion 4.6.3 todos
los puntos de cada una de esas cuatro lneas son invariantes. Ahora, cualquier
otra lnea distinta de los cuatro lados tiene puntos invariantes: si no pasa por
ning
un vertice, corta a los lados en cuatro puntos invariantes; si solo pasa por
un vertice, corta a los otros dos lados y, en consecuencia, tiene tres puntos
invariantes; si pasa por dos vertices opuestos es una diagonal y corta a las otras
diagonales en puntos invariantes, entonces tiene cuatro puntos invariantes. As,
una lnea cualquiera es tiene al menos tres puntos invariantes, con lo que toda
ella lo es. Por lo tanto la colineacion es la identidad. La prueba para cuadrangulo
se sigue por dualidad.
Proposici
on 4.8.2. Una colineaci
on est
a determinada cuando dos cuadr
angulos -o cuadril
ateros- correspondientes est
an dados.
R
b
Figura 4.18:
Demostraci
on. Sean ABCDP R y A B C D P R dados. Una lnea cualquiera puede ser descrita como XY a partir de sus intersecciones con dos de los lados.
Sea X en AB e Y en DC como en la Figura 4.18. Con proyectividades podemos
determinar X e Y y, en consecuencia, XY .
ABRX A B R X y DCRY D C R Y
Se requiere probar que la correspondencia XY X Y es una colineaci
on.
Veremos que lneas concurrentes van en lneas concurrentes, en otras palabras,
que a un haz de lneas XY le corresponde una haz de lneas X Y . Con esto
quedara establecido automaticamente que puntos colineales se corresponden con
puntos colineales.
101
4.8. COLINEACIONES Y CORRELACIONES.

=
Sea XY una lnea variable de un haz de tal forma que X Y . De acuerdo

con la construccion que habamos realizado, tenemos:
X X Y Y
El punto R es invariante en la perspectividad X Y , entonces R lo es en
la proyectividad X Y . Por el Corolario 4.6.6 esta proyectividad solo es

una perspectividad. Con esto, X Y es una lnea variable de un haz. Cuando
combinamos dos colinaciones obtenemos una nueva colineacion. Podemos dejar
invariante un cuadrilatero combinando dos colineaciones, con esto vemos que si
la colineacion ABCDP R A B C D P R no fuera u
nica, entonces podramos
construir una colineacion que deje invariante un cuadril
atero y, sin embargo,
no ser la identidad. Por la tanto la unicidad de la colineaci
on se sigue de la
Proposicion 4.8.1.
Hemos definido un colineacion como una correspondencia entre puntos que
conserva colinealidad. Ahora definiremos la correlaci
on: una correspondencia
punto-a-lnea que relaciona puntos colineales con lneas concurrentes y, entonces,
lneas concurrentes con puntos colineales. La correlaci
on dualiza la incidencia: si
X x y x X donde la lnea x pasa por el punto X si y solo si el punto X
esta en la lnea x. A una hilera de puntos X en una lnea dada x, le corresponde
un haz de lneas x que pasan por el punto X . Como en una correlacion una
cuadrangulo se corresponde con un cuadrilatero, a cuatro posiciones de X que
forman un conjunto armonico de puntos corresponden cuatro posiciones de x
que forman un conjunto armonico de lneas. Vemos pues, que una correlacion
induce una proyectividad entre una hilera y sus correspondientes haces.
Proposici
on 4.8.3. Una correlaci
on est
a determinada cuando un cuadril
atero
y su cuadr
angulo correspondiente est
an dados.
bc
bc
r
b
R
a
bc
bc
bc
Y
bc
bc
P
bc
bc
bc
bc
bc
bc
b
bc
q
c
p
bc
Figura 4.19:
Demostraci
on. Sean ABCP QR y a b c p q r correspondientes dados. En la
Figura 4.19 la lnea XY , con X en AB e Y en AQ, determina el punto x y
donde:

Y CUADRANGULO
COMPLETOS.
ABCX a b c x y AQRY a q r y
Debemos probar que la correspondencia XY x y es una correlacion, es decir,

debemos verificar que el haz de lneas XY se va a la hilera de puntos x y . Sea
=
XY una lnea variable de un haz de tal forma que X Y , con lo que x y. Co=
mo A es un punto invariante la perspectividad X Y , a es una lnea invariante
de la proyectividad x y. Por el dual del Corolario 4.6.6 esta proyectividad

es una perspectividad y en consecuencia x y vara en una hilera de puntos.
Notemos que si combinamos dos correlaciones, obtenemos una colineacion y, en
consecuencia, podemos dejar invariante un cuadrilatero usando dos correlaciones. Por lo tanto, la unicidad de la correlacion ABCP QR a b c p q r tambien
se sigue de la Proposicion 4.8.1.
4.9.
Polaridad.
Otro tipo importante de correspondencia es la polaridad. De hecho, la polaridad no es mas que un caso particular de la correlacion. En general, una
correlacion relaciona un punto X con una lnea x y esta lnea con un nuevo
punto X . Si la correlacion es tal que este punto X coincide con X para todo
punto, es decir, es una correlacion de involucion o de periodo dos, diremos que
es una polaridad. Con esto diremos que una polaridad es una correlacion que
relaciona a X con x y viceversa. El punto X es el polo de la lnea x y esta es la
polar de aquel.
Debido a que la polaridad es una correlacion, podemos establecer que las
polares de todos los puntos en una lnea a estan relacionados proyectivamente
con el haz de lneas que pasan por el polo A.
La polaridad dualiza incidencia: Si A esta en b, entonces a pasa por B.
En tal caso decimos que A y B son puntos conjugados y que a y b son lneas
conjugadas. Si A esta en a, entonces A es un punto autoconjugado y a es una
lnea autoconjugada. Una misma lnea autoconjugada no puede tener mas de
un punto autoconjugado. Esto lo establecemos como proposicion.
Proposici
on 4.9.1. La lnea que une dos puntos autoconjugados no puede ser
autoconjugada.
Demostraci
on. Supongamos que tenemos una lnea autoconjugada c que une
dos puntos autoconjugados A y B. Sean a y b sus polares. Sabemos que a pasa
por A y b por B. Sea C = a b. Como C esta en b, entonces su polar pasa por B;
del mismo modo la polar de C pasa por A. Tenemos pues, que la polar de C es c,
como c es autoconjugada sucede que C esta en c. Con lo anterior se deduce que a
y b coinciden con c, o sea, que los puntos distintos A y B tienen la misma polar,
lo cual es una contradiccion pues la polaridad es una correspondencia biunvoca.
Por lo tanto una lnea autoconjugada solo tiene un punto autoconjugado.
Otra limitacion con respecto a los puntos autoconjugados la describimos a
continuacion:
103
4.9. POLARIDAD.
Proposici
on 4.9.2. Una lnea no puede tener m
as de dos puntos autoconjugados.
R
Q
P
p
A
a S
c
q
b
b
b
Figura 4.20:
Demostraci
on. Sean A y B dos puntos autoconjugados en una lnea s y P en
AS, que es a, distinto de A y de S. Digamos que Q = p b y con esto su polar
es BP = q. Ahora R = p q y su polar r = P Q, C = r s y su polar RS = c.
Por u
ltimo D = c s. Con esta construccion C y D son armonicos conjugados
con respecto a A y B. Entonces C no puede coincidir con A o con B porque
entonces P coincidira con A o con S. As C no esta en c, luego no es punto
autoconjugado.
Tenemos en la lnea s dos puntos autoconjugados, A y B, y uno no autoconjugado, C. Estos puntos autoconjugados en s son los puntos invariantes de
la proyectividad X x s inducida por la polaridad en la lnea s. Sabemos que

si una proyectividad tiene tres puntos invariantes entonces es la identidad. Esta proyectividad ya tiene dos puntos invariantes y al menos uno no invariante,
por lo tanto no puede tener mas puntos invariantes. Con esto obtenemos que
una polaridad no puede tener mas de dos puntos autoconjugados en una misma
lnea.
Proposici
on 4.9.3. Una polaridad induce una involuci
on de puntos conjugados en una lnea que no es auticonjugada e induce una involuci
on de lneas
conjugadas a traves de un punto que no es autoconjugado.
Demostraci
on. En la Figura 4.20, la proyectividad X x s en la lnea s
relaciona un punto no autoconjugado C con D = c s, la polar de C es CS. Esta
misma proyectividad relaciona a D con C, o sea, intercambia dos puntos. Por
la Proposicion 4.7.2 es una involucion. De manera dual, x y XS es un par en
la involucion de lneas conjugadas que pasan por S.
Proposici
on 4.9.4. Si los cuatro lados de un cuadril
atero son lneas autoconjugadas, a lo m
as un par de vertices opuestos pueden ser puntos autoconjugados.
Demostraci
on. Sea pqrs un cuadrilatero de lneas autoconjugadas como en la
Figura 4.21. El lado s contiene a su polo S y ademas a los puntos A = p s,

Y CUADRANGULO
COMPLETOS.
P
a
R
b
B q
C
r
Figura 4.21:
B = q s y C = r s cuyas polares son a = P S, b = QS y c = RS. Supongamos
que los vertices opuestos q r y p s son conjugados. Los unimos con la lnea o.
La polar a pasa por q r y ademas, por la Proposicion 4.9.3, estas dos lneas son
un par de la involucion de lneas conjugadas que pasan por q r. Ahora, como q
y r son dos rectas invariantes de esta involucion, tenemos que H(qr, oa) y luego,
H(BC, AS). Analogamente, si suponemos que los vertices opuestos rp y qs son
conjugados, llegamos a H(CA, BS). Por u
ltimo, con p q y r s a H(AB, CS).
Con ayuda de la Proposicion 4.5.5 vemos que no pueden ser verdaderas estas
tres relaciones armonicas simultaneamente, pues si as lo fueran, pasara que
BC k AS, CA k BS y AB k CS. Como estos cuatro puntos estan todos en
s, si consideramos un esquema circular para s, vemos que solo una de ellas se
puede mantener valida. Por lo tanto, a lo mas una par de vertices opuestos son
conjugados.
Teorema 4.9.5 (Teorema de Hesse). Si dos pares de vertices opuestos de un
cuadril
atero son pares de puntos conjugados (para una polaridad dada), entonces
los tres pares de vertices opuestos son pares de puntos conjugados.
S
b
c
P
R
s
Figura 4.22:
Demostraci
on. Sea AP BQCR como en la Figura 4.22. Supongamos que A es
conjugado de P y B de Q. Debemos probar que C y R son conjugados. Gracias
a la Proposicion 4.9.4 podemos asegurar que hay al menos un lado que no es

4.10. TRIANGULOS
POLARES Y AUTOPOLARES.
105
autoconjugado, supongamos que es s = AB. Probaremos que para cualquier

posicion de S, fuera de s, sucede que C y R son conjugados. Primero probemos
el resultado para cuando S coincide con los vertices del cuadrilatero que no estan
en s. Si S = P , entonces la polar de B es P Q y con ello P B es la polar de C,
es decir, C y R son conjugados. Obtenemos el mismo resultado si procedemos
analogamente en el supuesto S = Q. El resultado es obvio si S = R. Ahora
probemos que S no puede estar en los otros lados del cuadrilatero, es decir,
en los lados del P QR exceptuando sus vertices. Si suponemos que S esta en
P Q, entonces la polar de A y la de B sera P Q simultaneamente lo cual es
absurdo. De manera analoga se verifica para los otros dos lados. Por lo tanto,
resta probar el resultado para cuando S no es ning
un vertice ni esta en ning
un
lado del cuadrilatero.
Como SP , SQ y SR cortan a s en A , B y C . Como A esta en s y ademas
es conjugado de P , sucede que a = P S. Analogamente b = QS. Con esto la
polaridad induce la invulucion (AA )(BB ). Con el Teorema 4.7.8 obtenemos
que CC es otro par de esta involucion, consecuentemente c = SC y, por u
ltimo,
C y R son conjugados al estar R en SC .
El Teorema de Hesse lo dualizamos como proposicion y omitimos la prueba,
al seguirse por dualidad.
Proposici
on 4.9.6. Si dos pares de lados opuestos de un cuadr
angulo son pares
de lneas conjugadas (para una polaridad dada), entonces los tres pares de lados
opuestos son pares de lados conjugados.
4.10.
Tri
angulos polares y autopolares.
El tri
angulo polar de un triangulo dado esta formado por las polares de cada
uno de sus vertices y los polos de sus lados.
Un triangulo es llamado tri
angulo autopolar si cada vertice es el polo del lado
opuesto. Dos puntos (o dos lneas) que son conjugados pero no autoconjugados
determinan un triangulo autopolar. Los puntos conjugados A y B que estan en
la lnea no autoconjugada c determinan el ABC en el cual cada vertice es el
polo del lado opuesto. Cualesquiera dos vertices (o lados) de este triangulo son
conjugados.
La importancia de los triangulos autopolares esta en el hecho de que una
polaridad puede ser caracterizada a traves de uno de ellos.
Proposici
on 4.10.1. Una correlaci
on que relaciona los tres vertices de un
tri
angulo con su respectivo lado opuesto es una polaridad.
Demostraci
on. Consideremos la correlacion ABCP abcp donde a, b y c son
los lados del ABC dado y P es un punto cualquiera. Denotamos en la Figura
4.23 los puntos
Ap = a p, Bp = b p, Cp = c p, Pa = a AP , Pb = b BP , Pc = c CP

Y CUADRANGULO
COMPLETOS.
A
Bp
Ap
Pb
Cp
P
B
Pa
Figura 4.23:
Debemos probar que la correlacion relaciona a p con P . La correlacion relaciona
A, B, C con a, b, c, entonces como B y C estan en a la correlacion relaciona
a a con b c que es A. Con dos razonamientos analogos podemos decir que la
correlacion relaciona a a, b, c con A, B, C. Como tambien relaciona a AP con
Ap , entonces relaciona a Pa con AAp . Consideremos la proyectividad X x a

inducida en a. Notemos que esta proyectividad intercambia a B y C, pues B =
c a y C = a b, en consecuencia es una involucion. Como Pa , Ap es otro par de
esta involucion podemos decir que la correlacion trabaja de la siguiente manera:
Ap APa . De manera totalmente analoga establecemos que Bp BPb . Por lo
tanto deducimos que Ap Bp APa BPb , es decir p P
Como corolario de la anterior demostracion establecemos el siguiente resultado.
Corolario 4.10.2. Una polaridad est
a determinada cuando un tri
angulo autopolar, un polo arbitrario y su polar est
an dados.
Notaci
on 4.10.3. La polaridad que tiene a ABC como autopolar y relaciona
a P con p la denotamos como:
(ABC)(P p)
Al usar este smbolo asumiremos que P no est
a en los lados del ABC y que
p no pasa por ning
un vertice.
Si tenemos una polaridad dada por (ABC)(P p) y un punto X dado, podemos
construir su polar x. Para tal efecto empezamos por suponer que X es distinto
de P y en consecuencia a lo mas puede estar en una de las lneas AP , BP , CP .
Podemos nombrar adecuadamente los vertices del triangulo para poder asegurar
que dado un punto X, en la poladidad anterior, no esta en las lneas AP , BP .
Partiendo de este acuerdo, establecemos la proposicion como sigue.
Proposici
on 4.10.4. La polar de un punto X en la polaridad (ABC)(P p) es
la lnea [AP (a P X)(p AX)][BP (b P X)(p BX)]

4.11. POLARIDADES ELIPTICAS E HIPERBOLICAS.
107
A
b
c
X
p
b
P
a
Z
B1
C
A1
Y
E
Figura 4.24:
Demostraci
on. Probaremos que la polar de X es la lnea Y Z donde:
A1 = a P X
B1 = b P X
E = p AX
F = p BX
Y = AP A1 E
Z = BP B1 F
En AA1 P EXY A, A1 y P , E son pares de vertices opuestos y de puntos

conjugados, de acuerdo con el Teorema de Hesse 4.9.5, X y Y son conjugados
y la polar de X pasa por Y . Analogamente, usamos BB1 P F XZ y obtenemos
que X y Z son conjugados. Por lo tanto, la polar de X es x = Y Z.
La anterior construccion no es posible cuando X esta en p, debido a que en
tal situacion Y y Z coinciden con P . En tal caso tomamos otro punto Q, que no
este en p, y construimos su polar q. Si sucede que q pasa por X, que supusimos
en p, entonces la polar de X es P Q. Ahora, si q no pasa por X, entonces (como,
por el Corolario 4.10.2, una polaridad queda determinada cuando su triangulo
autopolar y alg
un polo y su polar estan dados) podemos decir que (ABC)(P p)
es la misma que (ABC)(Qq). Con lo anterior basta con construir la polar de X
con respecto a (ABC)(Qq) con el metodo descrito.
4.11.
Polaridades elpticas e hiperb

olicas.
En la seccion de involucion 4.7 vimos que solo hay dos tipos de involuciones:
las hiperbolicas y las elipticas. Vimos que las primeras tienen puntos invariantes
y son opuestas; las segundas no los tienen y son directas. Podemos decir que
la involucion (AB)(CD) es elptica o hiperbolica de acuerdo a si D no esta o
esta en el segmento AB/C.
De manera analoga a la clasificacion anterior, diremos que una polaridad es
hiperb
olica o elptica de acuerdo a si admite o no un punto autoconjugado, es decir, un punto que esta en su polar. Encontraremos que una polaridad hiperbolica

Y CUADRANGULO
COMPLETOS.
no solo tiene un punto autoconjugado sino toda una infinidad de ellos y que de
hecho forman una curva. Tambien clasificaremos la polaridad (ABC)(P p) como
elptica o hiperbolica de acuerdo a si P esta o no esta en la region triangular
ABC/p.
Proposici
on 4.11.1. Si P est
a en ABC/p la polaridad (ABC)(P p) es elptica.
Demostraci
on. Sean Ap , Bp y Cp los puntos donde p corta los lados del ABC,
como en la Figura 4.25. Las lneas AP , BP y CP cortan los respectivos lados
en Pa , Pb y Pc . Como P esta en la region ABC/p, se sigue que Pa esta en
el segmento BC/Ap y en consecuencia la involucion (BC)(Ap Pa ) es elptica.
Esta involucion, en el lado BC, es de puntos conjugados. Analogamente las
involuciones en los otros dos lados son elpticas. Si en lugar de p tomamos
cualquier otra lnea x que no pase por un vertice, obtenemos otros pares de
la involucion. Con esto, los puntos Xa , Xb y Xc , que fueron determinados
con el polo X, estan en BCA x, CAB x y ABC x y con esto podemos decir que
X esta en la region ABC/x con lo que no esta en x. Por lo tanto, no hay
puntos autoconjugados, excepto posiblemente en los lados del triangulo (que
seran los originados cuando x pasara por un vertice) pero si hubiera un punto
autoconjugado en un lado del triangulo, sera un punto invariante y por lo
tanto la involucion en ese lado sera hiperbolica. Hemos demostrado que las
involuciones de los lados son elpticas (no tienen puntos invariantes) y, por lo
tanto, no hay puntos autoconjugados en los lados del triangulo y la polaridad
es elptica.
Cp
Bp
b
Bp
p
Pa
Cp
P
Ap C
Pa
p
Ap C
Figura 4.25:
Proposici
on 4.11.2. Si P no est
a en ABC/p, pero s en una de las otras tres
regiones, la polaridad (ABC)(P p) es hiperb
olica.
Demostraci
on. Sin perdida de generalidad, supongamos que P esta en la regi
on
que queda ((encerrada)) por los tres lados del triangulo como en la Figura 4.25.
Con esto, Ap y Pa estan en el mismo segmento, el suplementario de BC/Ap .
As, la involucion (BC)(Ap Pa ) es hiperbolica. Ademas esta involucion, que se
da en a entre puntos conjugados, tiene dos puntos invariantes que son autoconjugados. Del mismo modo, la involucion que se establece en b resulta hiperbolica

109
y tiene dos puntos conjugados. A diferencia de las otras dos, la involucion en c

(atendiendo a la Figura 4.25) es elptica debido a que Pc esta en AB/Cp . Si
tomamos otra lnea x y procedemos como en la demostracion anterior -teniendo
en cuenta que las involuciones en a y b son hiperbolicas, mientras que la de c,
elptica- llegamos a que la polaridad es hiperbolica.
A continuacion estableceremos algunas definiciones temporales que resultaran muy u
tiles de manera inmediata.
Definici
on 4.11.3. Un punto que no es autoconjugado es llamado E punto o
H punto de acuerdo a si la involuci
on de lneas conjugadas a traves de el, es
elptica o hiperb
olica.
Definici
on 4.11.4. Una lnea que no es autoconjugada es llamada e lnea o h
lnea de acuerdo a si la involuci
on de puntos conjugados en ella, es elptica o
hiperb
olica.
E
Figura 4.26: Polaridades elptica e hiperbolica.

En una polaridad elptica cada vertice del triangulo autopolar es un E punto
y cada lado es una e lnea. De lo hecho en la demostracion de la Proposicion
4.11.2, se sigue que en una polaridad hiperbolica su triangulo autopolar tiene
dos h lados y un e lado y, consecuentemente, tiene dos H vertices y un E vertice.
Es obvio que el polo de una e lnea es un E punto y de una h lnea es un H
punto.
Las polaridades hiperbolicas son especialmente importantes porque nos permitiran definir las conicas.
Una lnea que no es autoconjugada puede ser utilizada para construir un
triangulo autopolar. Si la polaridad establecida en el es hiperbolica, podemos
deducir dos propiedades: Cada punto en una e lnea es un H punto. Una h lnea
contiene E puntos, H puntos y, ademas, dos puntos autoconjugados que son los
puntos invariantes de la involucion de puntos conjugados en esa h lnea.
Por dualidad, se siguen otras dos propiedades: El haz de lneas a traves de
un E punto consiste solamente de h lneas. El haz de lneas a traves de un H
punto contiene e lneas, h lneas y, ademas, dos lneas autoconjugadas.
Con lo anterior deducimos que a traves de un E punto, pasa un haz de h
lneas y cada una de esas lneas tiene dos puntos autoconjugados y que en una
e lnea hay una hilera de H puntos a traves de cada uno de los cuales pasan dos
lneas autoconjugadas. Por lo tanto, hemos demostrado la siguiente proposicion:

Y CUADRANGULO
COMPLETOS.
Proposici
on 4.11.5. Una polaridad hiperb
olica admite una infinidad de puntos
autoconjugados y una infinidad de lneas autoconjugadas.
Veremos, ahora, como se distrubuyen los E puntos y los H puntos en una h
lnea.
Proposici
on 4.11.6. Los dos puntos autoconjugados en una h lnea, la descomponen en dos segmentos: el que consiste de los E puntos y el de los H
puntos.
K
O
K
P
p a
bc
A1
x
k
bc
o
X1
Figura 4.27:
Demostraci
on. Sea o una h lnea, como en la Figura 4.11.2, sean Q y R sus
puntos autoconjugados y sea A un H punto. La polar a de A, al ser una h lnea,
tiene puntos autoconjugados, sea P uno de ellos. Nombremos A1 = o a. Ahora,
sea X un punto arbitrario en QR/A. Sea x su polar y O = x a, X1 = x o,
K = x P A y K = x P X. Sabemos que H(QR, AA ) y H(QR, XX ), luego
A, A no pueden separar a X, X y sucede que uno de los dos segmentos de
QR contiene a A y X1 y el otro a A1 y X. De la Proposicion 4.5.7 obtenemos
que el orden de los puntos en la lnea o es QAX1 RXA1 o QX1 ARA1 XQ. De
=
esto obtenemos que AX k A1 X1 . Como AXA1 X1 KK OX1 , se sigue que
KK k OX1 . As, la involucion (KK )(OX1 ) de puntos conjugados es elptica,
luego, x es una e lnea y su polo un E punto, con lo que los puntos en QR/A
son E puntos, pues X lo tomamos arbitrario, y los puntos en QR/A1 son H
puntos.
Por dualidad obtenemos que las e lneas y las h lneas a traves de un H
punto, son separadas por las dos lneas autoconjugadas.
Estamos en condiciones de definir una conica:
Definici
on 4.11.7. Una conica es el lugar geometrico de los puntos autoconjugados en una polaridad hiperb
olica.
Como se aprecia en la Figura 4.28, Una h lnea, la cual corta a la conica en
dos puntos, es secante. Una lnea autoconjugada, la cual corta a la conica s
olo
en su polo, es tangente y su polo es el punto de contacto. Una e lnea, la cual no

111
e
E
bc
bc
Figura 4.28:
contiene puntos autoconjugados, es una lnea exterior. El polo de una secante es
un punto exterior, el cual es un H punto y en el que se cortan dos tangentes, las
cuales son las lneas invariantes de la involucion de lneas conjugadas a traves
de este punto exterior. Por u
ltimo, el polo de una lnea exterior es un punto
interior, el cual es un E punto y se caracteriza por el hecho de que no pueden
ser trazadas tangentes a traves de el.
Una conica es esencialmente una figura autodual: es el lugar geometrico de los
puntos autoconjugados y tambien es la envolvente de las lneas autoconjugadas.
Insistimos acerca de los H puntos y de las e lneas: cada punto en una
lnea exterior es un punto exterior. Dualmente, cada lnea a traves de un punto
interior es una secante. Un punto en una tangente, excepto el punto de contacto,
es un punto exterior y cada lnea a traves de un punto en la c
onica, excepto la
tangente, es una secante.
Hemos visto que en una polariad hiperbolica el lugar geometrico de los puntos
autoconjugados es una conica. Si consideramos una h lnea de esta polaridad,
resulta ser una secante que contiene E puntos y H puntos. Los primeros son
interiores y los segundos, exteriores a la conica. Ademas, los puntos donde esta h
lnea corta a la conica son justo los dos puntos autoconjugados y son los puntos
invariantes de la involucion de puntos conjugados en esa h lnea. Por otro lado,
por cada uno de estos puntos autoconjugados, que forman parte de la conica,
pasa una tangente. Estas dos tangentes son las dos lneas autoconjugadas, es
decir, las dos lneas invariantes de la involucion de lneas conjugadas a traves
del H punto determinado por las dos tangentes. En resumen: en cada secante
los dos puntos autoconjugados, al ser los puntos invariantes de la involucion en
esa h lnea, por la Proposicion 4.7.4, son armonicos conjugados con respecto a
cualquier par de puntos conjugados en esa misma involucion.
El resultado anterior lo enunciamos en forma de proposicion:
Proposici
on 4.11.8. Dos puntos conjugados en una secante P Q, son arm
onicos conjugados con respecto a P y Q.
El dual de esta proposicion es:
Proposici
on 4.11.9. Dos lneas conjugadas a traves de un punto exterior, son
arm
onicas conjugadas con respecto a las tengentes que pueden ser trazadas desde
ese punto.

Y CUADRANGULO
COMPLETOS.
Dada la conica de una polaridad hiperbolica, estableceremos resultados a
traves de ella. El primero es la construccion de la polar de un punto dado
con respecto a una c
onica dada. Para tal efecto, necesitamos de la siguiente
proposicion.
Proposici
on 4.11.10. Si un cuadr
angulo est
a inscrito en una c
onica, entonces
su tri
angulo diagonal es auto polar.
A1
B
C
P A2
S
A2
S
A
A
Q
A1
Figura 4.29:
Demostraci
on. Los puntos diagonales del P QRS inscrito son:
A = P S QR, B = QS RP y C = RS P Q
En la Figura 4.29, BC corta a los lados QR y P S en A1 y A2 . A partir del
CP BS se obtiene que H(QR, AA1 ) y H(P S, AA2 ). Por la Proposicion 4.11.8,
A1 y A2 son puntos conjugados de A. Con esto, como la polar de A pasa por
A1 y A2 , se tiene que BC es la polar de A. Analogamente, la polar de B es CA
y la de C, AB.
Proposici
on 4.11.11. La polar de un punto A, que no est
a en la c
onica, es la
lnea (QS RP )(RS P Q) donde QR y P S son dos secantes a la c
onica trazadas
desde A.
Demostraci
on. Solo debemos notar que al trazar las secantes QR y P S desde
A determinamos el P QRS y su triangulo diagonal es el ABC, como en la
Proposicion 4.11.10. Por lo tanto, la polar de A es BC = (QS RP )(RS
P Q). Observamos que la construccion, como se aprecia en la Figura 4.29, es
independiente de si A es un H punto o un E punto, es decir, si es exterior o
interior a la conica.
La dualizacion de la proposicion anterior establece la construccion del polo
de una lnea que no sea tangente a la conica.
Proposici
on 4.11.12. El polo de una lnea a, que no es tangente a la c
onica,
es el punto A = a1 a2 donde a1 y a2 son las polares de A1 y A2 que a su vez
son dos puntos en a que no est
an en la c
onica.

113
Demostraci
on. En la Figura 4.29, supongamos que a = A1 A2 . Los puntos A1
y A2 estan en a y no estan en la conica. Con ayuda de la Proposicion 4.11.11
podemos contruir las polares a1 y a2 de estos dos puntos. En consecuencia,
A = a1 a2 es el polo de a. Volvemos a hacer la observacion de que la construccion
es independiente de si a es una h lnea o una e lnea, es decir, si es secante o
lnea exterior.
La Proposicion 4.11.11, describe el metodo para construir la polar de A
cuando este no esta en la conica. Es obvio que si A esta en la conica es porque
es un punto autoconjugado y, en consecuencia, su polar es la tangente a la conica
a traves de el. Toca el turno, pues, para la tangente a una c
onica a traves del
punto dado A.
Proposici
on 4.11.13. La tangente por un punto dado A en la c
onica es la
lnea que une a A con el polo de cualquier secante a la c
onica por A.
Demostraci
on. Como A es punto autoconjugado su polar, que al mismo tiempo
es la tangente buscada, pasa por el mismo. Por otro lado si tenemos una secante
a la conica que pasa por A, con ayuda de la Proposicion 4.11.12, determinamos
su polo. Por lo tanto, la polar de A pasa por A y por el polo de la secante.
Nos resta determinar la tangente a una conica desde un punto exterior a
ella.
Proposici
on 4.11.14. Las tangentes desde un punto exterior A a la c
onica,
son las lneas que unen a A con los puntos en donde la polar a de A corta a la
c
onica.
Demostraci
on. Con la Proposicion 4.11.11 construimos la polar de A y por la
Proposicion 4.11.13, al unir los puntos autoconjugados de la polar de A con A
se obtienen las tangentes buscadas.
En la Proposicion 4.11.10, establecimos que un cuadrangulo inscrito en una
conica tiene triangulo diagonal autopolar. El dual de esta propiedad la podemos
obtener tambien como corolario de la siguiente proposici
on:
Proposici
on 4.11.15. El P QRS inscrito en una c
onica, tiene el mismo
tri
angulo diagonal que el pqrs.
Demostraci
on. Si definimos A, B y C como en la Proposicion 4.11.10, entonces
C esta en la polar del punto pq, que es P Q, y en la polar de sr, que es SR. Con
esto se tiene que la diagonal (p q)(s r) del pqrs es la polar de C. Por lo tanto
como la polar de C es u
nica, esta diagonal coincide con AB. Analogamente las
otras dos diagonales son BC y CA y sus polos son A y B.

Y CUADRANGULO
COMPLETOS.
A
bc
C
p
bc
s
P
bc
S
bc
B
q
R
bc
Q
r
bc
Figura 4.30:
Captulo 5
Cuadril
ateros de Saccheri y
de Lambert.
5.1.
5.1.1.
Cuadril
atero de Saccheri.
Girolamo Saccheri.
Giovanni Girolamo Saccheri nacio en San Remo (Genova) el 5 de septiembre de 1667. No se conocen demasiados datos biograficos suyos. Sabemos que
ingreso en la orden de los jesuitas en 1685 en Genova. En 1690 va a Milan para
estudiar teologa y filosofa en el Colegio Jesuta de Brera de esa ciudad, donde
conoce a Tommaso Ceva quien le alienta en el estudio de las matematicas. A
traves de Tommaso Ceva conoce tambien a su hermano Giovanni Ceva y a Vicenzo Viviani, discpulo este u
ltimo de Torricelli y de Galileo. Saccheri se ordena
sacerdote en 1694 y desde esa fecha hasta 1699 es profesor en diversos colegios
jesutas de Italia. Sabemos que ense
no filosofa entre 1694 y 1697 en Turn y que
ocupo la catedra de Matematicas en Pava desde 1699 hasta su muerte el 25 de
octubre de 1733.
5.1.2.
La obra de Saccheri.
Girolamo Saccheri en su trabajo Euclides ab omni naevo vindicatus: sive conatus geometricus quo stabiliuntur prima ipsa universae Geometriae Principia,
editado en Milan en 1733, fundamentalmente se enfoca a la demostracion del
Postulado V. El modo de razonar de Saccheri en esta obra es el mismo que
ya haba usado en su Logica demonstrativa: un razonamiento usado incluso por
Euclides, en el cual a pesar de que se toma como hipotesis la falsedad de la
proposicion a demostrar, igualmente se prueba su validez y es conocido como
reduccion al absurdo. Con esta forma de proceder, toma como hipotesis las primeras 28 proposiciones de Euclides y la falsedad del Postulado V. La intencion
es, a partir de sus hipotesis, poder concluir cualquier proposicion que le autorice
115
116
DE SACCHERI Y DE LAMBERT.
afirmar la validez del Postulado V.

Saccheri, en el prefacio de la obra mencionada, hace un elogio de los Elementos de Euclides. No obstante dice que ciertos ilustres geometras han criticado
fallos en la obra. Entre estos, la definicion de paralelas y el Postulado V. Afirma
que nadie duda de la certeza del postulado pero se acusa a Euclides de haberlo
llamado postulado y que algunos geometras han intentado su demostracion a
partir de los demas postulados y de las 28 primeras proposiciones de los Elementos (en las que no se usa el postulado). Como nadie ha conseguido este objetivo,
algunos geometras han intentado una nueva definicion de paralelas (concepto
de equidistancia).
El libro esta organizado en dos partes. En la primera (Proposiciones 1 a 33)
demuestra el Postulado V con el metodo y las hipotesis se
naladas antes. En la
segunda (Proposiciones 34 a 39), demuestra que la lnea cuyos puntos son todos
equidistantes de un lnea recta dada, solo puede ser una recta.
Antes de ver el trabajo de Saccheri, recordemos que en la proposicion XVI
del Libro I de los Elementos (E I.16), en donde se prueba que el angulo exterior
de un triangulo es mayor que cada uno de los interiores opuestos, Euclides da
por hecho que la recta es infinita al decir que existe el segmento doble de un
segmento dado. Saccheri, al usar la proposicion del angulo externo en su trabajo,
hace uso implcitamente de la infinitud de la recta. De igual manera, hace uso del
postulado de Arqumides 1 y de la hipotesis de la continuidad de la recta 2 . Todo
lo anterior lo hace con el proposito de extender la validez de una proposici
on
que ha probado en una figura de cierto tipo a todas las figuras del mismo tipo.
El trabajo de Saccheri mencionado es adscrito a los orgenes de la Geometras no euclidianas y el es conocido principalmente por este trabajo, el cual
anticipo que otras geometras eran posibles. El motivo por el cual nosotros lo
revisaremos es que en el, el autor trabaja fundamentalmente con un cuadrilatero
conocido en la actualidad como Cuadril
atero de Saccheri. Construye una serie
de proposiciones referidas a el con el proposito fundamental de probar el Postulado V. Empezamos, pues, dando una definicion de tal cuadrilatero para iniciar
la revision de Euclides ab omni naevo vindicatus.
Definici
on 5.1.1 (Cuadrilatero de Saccheri). El ABCD es de Saccheri si
A = B = 2 y BC = DA como en la Figura 5.1. El lado AB es llamado
base del cuadril
atero, A y B son los a
ngulos de la base. CD es llamado cima
del cuadril
atero, C y D son los a
ngulos de la cima.
Proposici
on 5.1.2 (Proposicion I). Si en el ABCD se tiene que A = B =
y
BC
=
DA, entonces C = D.
2
Demostraci
on. DAB CAB, entonces DB = AC y con esto ACD
BCD
1 Un enunciado simple de este postulado es el siguiente: dados dos segmentos rectilineos
desiguales, siempre hay alg
un m
ultiplo finito del menor que es mayor que el otro
2 En una forma intuitiva esta hip
otesis dice que un segmento que pasa de forma continua
de la longitud a a la longitud b, distinta de a, adquiere en el transcurso cualquier longitud
entre a y b.

5.1. CUADRILATERO
DE SACCHERI.
117
B
Figura 5.1:
Proposici
on 5.1.3 (Proposicion II). Si en el ABCD de Saccheri, O y O
son los puntos medios de AB y CD entonces los a
ngulos en O y O son rectos.
Demostraci
on. DAO CBO, entonces DO = CO, como en la Figura 5.3,
luego DOO COO y, en consecuencia, OO C = DO O = 2 . Analogo
los angulos en O.
Corolario 5.1.4. Si en el ABCD se tiene que A = B =
y s
olo si C < D.
C
E
2.
BC > DA si
Figura 5.2:
Demostraci
on. Sea ABCD con A = B = 2 . BC > DA. Tomamos E en
BC tal que BE = DA. El ABCD es de Saccheri y por la Proposicion 5.1.2 se
tiene que DEB = ADE. Por otro lado, como DE divide el ADC, entonces
se tiene que ADC > ADE y, por u
ltimo, como DEB es externo del CDE
por (E I.16) se tiene que DEB > DCB. Con esto obtenemos que C < D,
es decir, el angulo adyacente al lado menor es mayor que el angulo adyacente al
lado mayor. Inversamente, si C < D y suponemos que BC = DA, obtenemos
una contradicion pues por la Proposicion 5.1.2 debera suceder que C = D.
Del mismo modo, si suponemos que BC < DA se obtiene que C > D. Por
lo tanto, si C < D, entonces BC > DA, es decir, el lado adyacente al angulo
menor es mayor que el lado adyacente al angulo mayor.
De la Proposicion 5.1.2 tenemos que en un Cuadrilatero de Saccheri los
angulos de la cima son iguales. Antes de considerar el Postulado V estos angulos
iguales tienen tres posibilidades: ambos agudos, ambos rectos o ambos obtusos.
Saccheri toma estas tres posibilidades como hipotesis y las nombra hip
oteis del
a
ngulo agudo (HA), hip
otesis del a
ngulo recto (HR) e hip
otesis del a
ngulo
118
obtuso (HO). Es claro que de la hipotesis del angulo recto se deduce f

acilmente
el Postulado V, en consecuencia, el trabajo se enfoca principalmente en las otras
dos hipotesis.
Saccheri relaciona la base con la cima de sus cuadrilateros en funcion de las
tres hipotesis.
Proposici
on 5.1.5 (Proposicion III). Dependiendo de si en el ABCD de
Saccheri se verifica HA (C = D < 2 ), HR (C = D = 2 ) o HO
(C = D > 2 ), se tiene que AB < CD, AB = CD o AB > CD
O
Figura 5.3:
Demostraci
on. En la hipotesis del angulo recto es evidente que AB = CD. En
la hipotesis del angulo obtuso la perpendicular OO por el punto medio de AB
divide al ABCD en dos cuadrilateros iguales y rectangulos en O y O . Como
estamos suponiendo D > A por la Proposicion 5.1.3 se cumple AO > DO .
Analogamente OB > O C. Por lo tanto, AB > CD. En la hipotesis del angulo
agudo se invierte el sentido de las desigualdades y se obtiene AB < CD.
La proposicion IV es el inverso de la anterior y es demostrada por reducci
on
al absurdo.
Proposici
on 5.1.6 (Proposicion V). Si en un solo caso es verdadera la hip
otesis
del a
ngulo recto, es verdadera en todos los dem
as casos.
P
M
D
H
C
K
B
Figura 5.4:

5.1. CUADRILATERO
DE SACCHERI.
119
Demostraci
on. Sea ABCD de Saccheri, como en la Figura 5.3, en el que
se cumple HR. Sean H y K en DA y BC tal que HA = KB. Queremos
probar que en ABKH se cumple HR. Supongamos que AHK < 2 y, en
consecuencia, KHD > 2 . Entonces, en el ABKH se cumple HA, luego
AB < HK. En el HKCD se cumple HO y HK < DC. Estas desigualdades
contradicen el hecho de que AB = CD por HR en ABCD. Con esto se
concluye que AHK no puede ser agudo. Analogamente se prueba que no puede
ser obtuso. Por lo tanto en el ABKH se cumple HR.
Sean M y N en las prolongaciones de DA y BC tal que M A = N B. Probaremos que en ABN M se cumple HR. Si AM es m
ultiplo entero de AD, el
resultado es inmedianto. Si no, tomamos un m
ultiplo (por el postulado de Arqumides), AP = BQ, de AD mayor que AM . Por lo antes dicho, en ABQP
es valida HR y, consecuentemente, por el primer caso, en ABN M es valida
HR.
Finalmente, en las condiciones de la proposicion, HR vale para un cuadrilatero de base cualquiera puesto que puede tomarse por base uno de los lados
perpendiculares a AB. Vale tambien para cualquier altura porque pueden invertirse los papeles de los segmentos base y altura.
Proposici
on 5.1.7 (Proposicion VI). Si en un solo caso es verdadera la hip
otesis del a
ngulo obtuso, es verdadera en todos los dem
as casos.
D
H
H
A
O
Figura 5.5:
C
K
K
B
Demostraci
on. En la Figura 5.5 supongamos que C y D son obtusos. Tomamos H y K como antes. HK no puede ser perpendicular a los lados BC y
DA pues si as sucediera se tendra que ABKH y, en consecuencia, ABCD
cumpliran HR. Supongamos que AHK es agudo. Tenemos que HK > AB
por HA, mientras que AB > CD porque en ABCD se verifica HO. Con
esto HK > AB > CD. Si movemos de manera continua la recta HK, de manera que permanezca perpendicular a la mediatriz OO del ABCD, se tiene
que HK > AB en la posicion inicial y HK < AB en la posicion final. Por
el postulado de la continuidad, debe haber una posicion intermedia en la cual
H K = AB y, en consecuencia, en ABK H valdra HR por la Proposicion
5.1.5 y por la Proposicion 5.1.6, en ABCD valdra HR. Analogamente si
H y K estan en las prolongaciones de los lados DA y BC. Por lo tanto, no es
posible que AHK sea agudo y en ABKH es valida HO.
120
H
M
N
Figura 5.6:
Probemos ahora la proposicion para un cuadrilatero de base cualquiera, por

ejemplo de base BK. En la Figura 5.6, sean K y H obtusos. La perpendicular
en K a KB cortara a AH en M . El AM K es obtuso pues es angulo externo a
KHM . Si consideramos BKM A, es decir, BK base y aplicamos el Corolario
5.1.4 tenemos que AB > KM . Sea N en AB tal que BN = KM . El BKM N
es de Saccheri y BN M es obtuso al ser exterior de M AN . Por lo tanto, en
este cuadrilatero tambien vale HO.
Proposici
on 5.1.8 (Proposicion VII). Si en un s
olo caso es verdadera la hip
otesis del a
ngulo agudo, es verdadera en todos los dem
as casos.
Demostraci
on. Procedemos por reduccion al absurdo y utilizamos las Proposiciones 5.1.6 y 5.1.7.
En su proposicion IX Saccheri demuestra una importante propiedad referente
a los triangulos.
Proposici
on 5.1.9 (Proposicion IX). Seg
un sea v
alida HR, HO o HA,
la suma de los a
ngulos de un tri
angulo es igual, mayor o menor que dos a
ngulos
rectos.
En realidad la proposicion la establece para triangulos rectangulos pero la
extiende facilmente a cualquier triangulo al descomponerlo en dos de este tipo.
Ademas su proposici
on XV es el inverso de esta y la demuestra por reducci
on
al absurdo. La proposicion XVI establece lo mismo pero para cuadrilateros y la
demuestra descomponiendo el cuadrilatero en triangulos.
Proposici
on 5.1.10 (Proposicion XVI). Seg
un sea v
alida HR, HO o HA,
la suma de los a
ngulos de un cuadril
atero es igual, mayor o menor que cuatro
a
ngulos rectos.
Para hacer mas concisa nuestra exposicion del trabajo de Saccheri, del contenido de las proposiciones XI y XII desprendemos la siguiente.
Proposici
on 5.1.11. Sea ABC rect
angulo en C; sea H el punto medio de
AB y K el pie de la perpendicular desde H a AC. En estas condiciones:
AK = KC en HR.
AK < KC en HO.
AK > KC en HA.

5.1. CUADRILATERO
DE SACCHERI.
121
B
H
A
K
Figura 5.7:
L
C
Demostraci
on. La parte referente a la HR es inmediata. En HO, siendo la
suma de los angulos de un cuadrilatero mayor que cuatro rectos, se tiene que
en el KCBH los angulos de la cima suman mas de dos rectos. Por otro lado,
como AHK + KHB = , se concluye que AHK < HBC. Sea L el pie
de la perpendicular desde H a CB. AHK y HBL tiene hipotenusas iguales
y con la desigualdad precedente se tiene que AK < HL. Ahora, KCLH es
trirrectangulo lo que implica que H es obtuso por HO. Con esto HL < KC
por Corolario 5.1.4. Por lo tanto, AK < KC. Analogamente se prueba el caso
de la HA.
Como consecuencia de la anterior proposicion tenemos el siguiente corolario,
el cual nos sera de gran utilidad en la HR y en la HO.
Corolario 5.1.12. Si sobre un lado de un a
ngulo de vertice A se toman los segmentos consecutivos iguales AA1 , A1 A2 , A2 A3 , y se construyen las respectivas proyecciones, en el otro lado del a
ngulo, AA1 , A1 A2 , A2 A3 , entonces:
AA1 = A1 A2 = A2 A3 = , en la HR.
AA1 < A1 A2 < A2 A3 < , en la HO.
AA1 > A1 A2 > A2 A3 > , en la HA.
A1
A
A2
A3
A1 A2 A3
Figura 5.8:
Sean AC y BD dos rectas: la primera oblicua a AB y la segunda perpendicular a ella. Sobre AC del lado del angulo agudo BAC y de la perpendicular
BD, como en la Figura 5.9, se toma el segmento arbitrario AA1 y contruimos su
proyeccion AA1 sobre AB. Sea n el n
umero tal que AA1 n > AB. Sobre AC del
lado de A1 construimos el segmentoAAn m
ultiplo de AA1 con el mismo n
umero
n. Sea An el pie de la perpendicular desde An a AB. En estas condiciones se
tiene:
AAn = (AA1 ) n > AB en la HR
AAn > (AA1 ) n > AB en la HO
122
De aqu obtenemos que BD, la perpendicular al lado AAn del AAn An

rectangulo, cortara necesariamente a la hipotenusa AAn , es decir:
Proposici
on 5.1.13 (Proposiciones XI y XII). En HR y en la HO, una
perpendicular y una oblicua a una misma recta se encuentran.
C
An
D
A1
A
A1
B An
Figura 5.9:
Como consecuencia directa tenemos:

Proposici
on 5.1.14 (Proposicion XIII). En la HR y en la HO es verdadero
el Postulado V de Euclides.
C
D
A
H
B
Figura 5.10:
Demostraci
on. Sean AB y CD dos rectas cortadas por AC. Supongamos que
BAC +ACD < Uno de estos angulos, por ejemplo BAC, es agudo. Desde
C bajamos la perpendicular CH a AB. En CAH tenemos:
A + C + H
Por hipotesis tenemos:
BAC + ACD <
Por lo tanto se tiene:
H + HCD <
Como H es recto, el HCD es agudo. Por las proposiciones XI y XII de
Saccheri, nuestra Proposicion 5.1.13, las rectas CD y AB se cortan.
Con esto Saccheri establece que en la HO se verifica el Postulado V de
Euclides y, por consiguiente, en ella se verifican todos los teoremas ordinarios
que de el se desprenden, en particular que en un cuadrilatero de Saccheri la
suma de sus angulos es igual a cuatro rectos. Esto claramente contradice a la
HO. Es esta contradiccion le permite establecer la siguiente proposicion:

5.1. CUADRILATERO
DE SACCHERI.
123
Proposici
on 5.1.15 (Proposicion XIV). La HO es absolutamente falsa por
contradictoria.
El siguiente paso de Saccheri es probar que el Postulado V es incondionalmente verdadero, es decir, se propone dar por falsa la HA.
Proposici
on 5.1.16 (Proposicion XVII). Bajo la HA existen una perpendicular y una oblicua a una misma recta que no se cortan.
B
A
Figura 5.11:
Demostraci
on. Sea ABC rectangulo en C. Desde B trazamos la recta BD tal
que CAB = DBA. En la HA, el CAB es agudo. En estas condiciones,
debido a (E I.27)3 , CA y BD no se encuentran y son una perpendicular y una
oblicua a BC.
En lo que resta nos referiremos siempre a la HA. Sean a y b, dos rectas
coplanares no incidentes. Desde A1 y A2 en a, trazamos las perpendiculares
A1 B1 y A2 B2 a b, como en la Figura 5.12. Los angulos, A1 y A2 , de la cima
del B1 B2 A2 A1 tienen tres posibilidades: ser uno recto y uno agudo; ambos
agudos o uno agudo y uno obtuso.
En la primera posibilidad, es obvio que existe la perpendicular com
un a a y
b. En la segunda, Saccheri prueba la existencia de una perpendicular com
un.
Proposici
on 5.1.17 (Proposicion XXII). Sean dos segmentos A1 B1 y A2 B2
coplanares y perpendiculares a la misma recta b = B1 B2 . Sean agudos los a
ngulos internos que forma la recta a = A1 A2 con ambos segmentos. Las rectas a y
b tienen una perpendicular com
un; es m
as, dicha perpendicular se hallar
a entre
los puntos B1 y B2 .
Demostraci
on. Si movemos de manera continua la recta A1 B1 , manteniendola
perpendicular a b, hasta llevarla sobre A2 B2 , entonces B1 A1 A2 , agudo en la
posicion inicial, crece hasta convertirse en obtuso. Razonando por continuidad,
existe una posicion intermedia AB, entre B1 y B2 , en la cual el B1 A1 A2 es
recto. Por lo tanto, AB es la perpendicular com
un a las rectas a y b.
3 Si dos rectas forman con una tercera a
ngulos alternos internos iguales, entonces dichas
rectas no se cortan.
124
A1
A2
B1
B
Figura 5.12:
B2
En la tercera posibilidad, las rectas a y b no admiten una perpenducular

com
un o esta, si existe, no cae entre B1 y B2 . Al partir de la hipotesis de que
existen dos rectas coplanares no incidentes sin perpendiculares comunes, Saccheri demuestra en su proposicion XXIII que tales rectas van siempre acercandose.
Luego, en su proposicion XXV, demuestra que la distancia entre tales rectas
acaba por ser menor que un segmento tan peque
no como se quiera. Dicho en
otras palabras, Saccheri prueba que si existen dos rectas coplanares no incidentes y sin perpendiculares comunes, estas se comportan asintoticamente entre
s.
Para probar con seguridad la existencia de rectas asintoticas, Saccheri procede sustancialmente as: las rectas de un haz de centro A pueden, con respecto
a una recta b coplanar con el haz y que no pasa por A, dividirse en dos grupos:
las rectas del haz que inciden sobre b y las que tienen con b una perpendicular
com
un.
q
p
b
Figura 5.13:
Por el principio de continuidad, existen dos rectas, p y q, que dividen al haz
en dos partes: a la primera pertenecen las rectas que inciden en b y a la segunda
las no incidentes en b y que tienen una perpendicular com
un con ella. Las rectas
p y q no pertenecen a ninguna de las dos partes. Trabajemos solo con una de
ellas, digamos con p, pues lo que digamos de ella es valido para ambas. Como p
es la que divide al haz en las dos partes descritas no puede incidir en b pues esa
es justo la propiedad que la define. Para demostrar que p no tiene perpendicular
com
un con b procedemos por reduccion al absurdo, es decir, supongamos que
s la tiene. Sea P B la perpendicular com
un a p y b, como en la Figura 5.14.
Por A trazamos la perpendicular, AM , a b. Sea B , del lado opuesto a M con
respecto a B. Por B trazamos la perpendicular a b. Luego, desde A trazamos

5.1. CUADRILATERO
DE SACCHERI.
125
la lnea que sea perpenducular a la u

ltima perpendicular trazada, es decir, a
la que pasa por B y sea P su pie. Esta recta, AP , no incide en b pues tiene
con ella una perpendicular com
un. Sea R la interseccion de AP y P B. El
ARB, suplementario del BRP agudo, es obtuso y, por lo tanto, la lnea AR
caera en el M AP , como en la Figura 5.14. Con esto, la lnea AR incide y al
mismo tiempo no incide en b. De esta contradiccion obtenemos que no hay una
perpendicular com
un a b y p. Como conclusion tenemos que las rectas p y q son
asintoticas a b.
A
P
R
p
P
Figura 5.14:
En este punto, Saccheri, a partir de la intuicion y de la fe m
as que de la logica,
concluye la validez del Postulado V. En su proposicion XXXIII demuestra que
la HA es falsa:
Proposici
on 5.1.18 (Proposicion XXXIII). La HA es absolutamente falsa
porque repugna a la naturaleza de la lnea recta.
Para demostrar esta proposicion se apoya en cinco lemas desarrollados previamente pero ellos se reducen a afirmar que si fuese verdadera la lnea AP , de
la Figura 5.14, tendra con b una perpendicular com
un en un punto com
un en el
infinito, lo que es contrario a la naturaleza de la lnea recta. Esta demostracion
de Saccheri esta basada en la extencion al infinito de propiedades validas para
figuras situadas a distancia finita. Saccheri mismo no queda satisfecho de su
demostracion y la intenta otra vez retomando el concepto de equidistancia.
Incluso sin conseguir su objetivo, el trabajo de Saccheri es de gran importancia por el hecho de no haber descubierto contradicciones entre las consecuencias
de la HA ademas de ser la mejor tentativa en la demostracion del Postulado
V. Por esto, la obra de Saccheri lo menos que poda sugerir es la posibilidad de
contruir un nuevo sistema geometrico logicamente consistente y si el Postulado
V sera indemostrable.
La obra de Girolamo Saccheri fue bastante difundida despues de su publicacion y de ella se ocuparon dos historias de las matematicas. Ademas fue minusiosamente analizada por G. S. Kl
ugel en su publicacion Conatuum praecipuorum
theoriam parallelarum demonstrandi recensio, quam publico examini submittent
Abrah. Gotthelf Kastner et auctor de 1763. Sin embargo, luego cayo en el olvido
hasta que E. Beltrami, en 1889, reclamo para ella la atenci
on de los geometras
con lo que rapidamente fue traducida al ingles, al aleman y al italiano.
126
5.2.
Cuadril
atero de Lambert.
5.2.1.
Juan Enrique Lambert.
Juan Enrique Lambert nacio el 26 de agosto de 1728 en M

ullhausen en el
seno de una familia de hugonotes refugiados en Suiza, donde Lambert desarrollo su filosofa, as como sus estudios astronomicos, que le permitieron entrar
a formar parte de la Academia de Berln, apadrinado por Leonardo Euler. Tuvo
importantes contribuciones no solo en matematicas, sino tambien en Fsica y Filosofa. Realizo estudios sobre higrometra y fotometra, astronoma de posici
on
y matematicas. Muri
o en Berln el 25 de septiembre de 1777.
5.2.2.
La obra de Lambert.
No podemos saber cuanta influencia tuvo Saccheri en los geometras del siglo
XVIII. Lambert conocio su obra pues en su Theorie der Parallellinien cita el
trabajo de G. S. Kl
ugel4 , en donde se analiza detalladamente a Saccheri; hace
un gran elogio del libro de Kl
ugel y es muy posible que este libro fuera lo que lo
motivo a dedicarse al estudio de la teora de las paralelas. La Theorie der Parallellinien de Lambert, publicada en 1786, esta dividida en tres partes: En la
primera, crtica y filosofica, expone la doble cuestion que nos podemos plantear
con respecto al Postulado V: demostrarlo a partir de lo que lo precede o si no exige el empleo de ninguna otra hipotesis. La segunda parte esta dedicada a varias
tentativas en las cuales el Postulado V se reduce a proposiciones muy sencillas,
las cuales a su vez deberan ser demostradas. La tercera, la mas importante y a
la que atenderemos, es una investigacion parecida a la de Saccheri.
Atenderemos superficialmente la mencionada obra de Lambert, en la que se
intenta demostrar el Postulado V, porque (al igual que en la seccion anterior)
la figura fundamental es un cuadrilatero trirrectangulo, el cual definimos:
Definici
on 5.2.1. Si en el ABCD se tiene que A = B = D =
decimos que el ABCD es un cuadril
atero de Lambert.
entonces
En la obra se exponen las tres hipotesis sobre la naturaleza del cuarto angulo:
la HR, la HO y la HA. La forma de proceder es parecida a la de Saccheri.
La primera hipotesis conduce facilmente a la geometra euclidiana. Para
desechar la HO, Lambert se auxilia de su cuadrilatero trirrectangulo. Sean a
y b dos rectas perpendiculares ambas a AB, como en la Figura 5.15. Desde
los puntos sucesivos B1 , B2 , , Bn en b, bajamos las lneas B1 A1 , B2 A2 , ,
Bn An perpendiculares a a. Demuestra que los segmentos comprendidos entre a
y b van decreciendo a partir del segmento AB y que la diferencia entre cada uno
de ellos y el siguiente decrece tal que:
BA Bn An > (BA B1 A1 )n
4 Kl
ugel en su obra apunta: Ciertamente sera posible que rectas, que no se cortan, se
separaran la una de la otra. Que esto sea un poco absurdo no lo sabemos por ninguna demostraci
on ni en virtud de conceptos claros de la lnea recta o de la lnea curva, sino m
as bien
por la experiencia y por el juicio de nuestros ojos.

5.2. CUADRILATERO
DE LAMBERT.
127
Se observa que para n bastante grande, el segundo miembro de la desigualdad

es tan grande como se quiera (postulado de Arqumedes usado en una forma
que tambien implica la infinidad de la recta), mientras que el primer miembro es
siempre menor que AB. Con esta contradiccion Lambert da por falsa la HO.
B
B1
B2
A1
A2
Figura 5.15:
Bn
An
Para la HA, trabaja con la misma figura y demuestra que los segmentos
BA, B1 A1 , B2 A2 , , Bn An van creciendo al mismo tiempo las diferencias
entre cada uno de ellos y su precedente. No encuentra contradicciones y, al igual
que Saccheri, prosigue en sus deducciones. Encuentra que la suma de los angulos
de un triangulo es menor que dos angulos rectos y ademas que la deficiencia
de un polgono, es decir, la diferencia entre 2(n 2) angulos rectos y la suma
de los angulos de un polgono es proporcional al area del mismo polgono. Este
resultado se obtiene al observar que tanto el area como la deficiencia de un
polgono suma de otros varios son respectivamente las suma de las areas y
de las deficiencias de los polgonos que los componen. Saccheri tambien haba
encontrado en la HA esta deficiencia. En su proposicion XXV, implcitamente
noto que un cuadrilatero suma de otros varios tiene por deficiencia la suma de
las deficiencias. Sin embargo, no obtuvo de esto ninguna consecuencia referente
a la proporcionalidad entre el area y la deficiencia.
Otro descubrimiento de Lambert, en el cual no nos detendremos, se refiere a la medida de las magnitudes geometricas. Consiste en que mientras que
en la geometra ordinaria a la medida de los segmentos corresponde solamente
un significado relativo a la elecci
on de una unidad particular, en la geometra
fundamentada en la HA se le puede conferir un significado absoluto. Observa
que a todo segmento se le puede hacer corresponder un determinado angulo
faclmente contruible. De esto obtiene que todo segmento esta en relacion con
la figura fundamental y que en la hipotetica nueva geometra a la medida de
los segmentos debera poderse atribuir un significado absoluto. Sin embargo
esta representacion numerica de los segmentos dependiente de angulos no es
distributiva, como s lo es la longitud, pues al sumar dos segmentos no resultan sumados los angulos correspondientes. A cambio se puede determinar una
funcion del angulo que s es distributiva y con esto asociar al segmento no el
angulo sino esta funcion del angulo. Esta funcion, para todos los valores de los
angulos comprendidos entre ciertos lmites, nos da una medida absoluta de los
segmentos.
Cuando una funcion del angulo es distributiva tambien el producto de esta
funcion por una constante lo es. Al designar convenientemente esta constan-
128
te se logra que la unidad absoluta de los segmentos sea un segmento al cual

corresponde un angulo perfectamente determinado. Entonces, la posibilidad de
construir, dado el angulo, la unidad absoluta de los segmentos esta condicionada
a resolver el siguiente problema: Construir en la HA un triangulo equilatero
de determinada deficiencia.
Analogamente, si se quiere una medida absoluta de areas poligonales, esta
esta dada por deficiencias de los polgonos. Siguiendo la idea, podra intuirse
una medida absoluta para poliedros.
Seg
un nuestra intuicion espacial, la medida absoluta de todas estas magnitudes geometricas nos parece imposible y, por lo tanto, si negamos la existencia
de la unidad absoluta para los segmentos, seg
un Lambert, podemos rechazar la
HA. Por supuesto Lambert no dio por demostrado as el Postulado V, pues
lo anterior se basa en la intuicion. Contin
ua con mas consecuencias de la HA
pero solo logra tranformar la cuestion en otras igualmente difciles de probar.
Vemos pues, que Lambert, al igual que Saccheri, no logro su proposito a pesar
de haber avanzado un poco mas. Dejo el tema en suspenso y el hecho de que el
no publicara en vida sus investigaciones, puede dar pie a suponer que no lo hizo
porque el mismo ya haba entrevisto un nuevo horizonte. Asimismo, durante el
siglo XVIII se fue formando la idea de que el Postulado V fuera indemostrable
debido a trabajos como el de Saccheri y el de Lambert en donde las pruebas del
postulado se basan en la experiencia y en el juicio de nuestros sentidos mas que
en pruebas rigurosas. Los trabajos posteriores en esta direccion, dejaron de lado
la procupacion de encontrar contradicciones, lo que permitio avanzar realmente
en el descubrimiento de las geometras no euclidianas y en la indemostrabilidad
del Postulado V.
5.3.
Relaci
on entre el cuadril
atero de Saccheri y
el de Lambert.
Como vimos en las dos secciones anteriores, los trabajos de Saccheri y de

Lambert son muy parecidos entre s. Lambert desarrollo su teora siguiendo
en gran medida los pasos de Saccheri. En esta seccion relacionaremos sus cuadrilateros a partir de algunas proposiciones
Proposici
on 5.3.1. Si ABCD es de Saccheri, M es el punto medio de AB
y N , el de CD, entonces M N DA y M BCN son de Lambert.
Demostraci
on. Solo hay que notar que por la Proposicion 5.1.2, M N es perpendicular a AB y CD, por lo tanto, M N DA y M BCN tienen tres angulos
rectos y son de Lambert.
Proposici
on 5.3.2. Si M N DA es de Lambert, entonces existen u
nicos puntos
C y B tal que ABCD es de Saccheri, con M punto medio de AB y N , de
CD.
ENTRE EL CUADRILATERO
5.3. RELACION
DE SACCHERI Y EL DE LAMBERT.129
N
M
Figura 5.16:
Demostraci
on. Prolongamos AM y determinamos B de tal forma que esta del
otro lado de A con respecto a M y AM = M B, como en la Figura 5.16. Del
mismo modo determinamos a C. La unicidad de estos puntos se sigue de la
unicidad del punto medio de un segmento. Debido a que DM N CM N ,
por tener dos lados correspondientes iguales y el angulo comprendido entre ellos
igual, obtenemos que DM = CM y N M D = CM N . De estas igualdades y
de AM = M B, se sigue que DAM CBM por el mismo criterio. Con esto
tenemos que M AD = 2 = CBM y DA = BC. Por lo tanto, ABCD es de
Saccheri.
Definici
on 5.3.3. Dados ABCD y A B C D , diremos que son congruentes, en cuyo caso escribimos ABCD A B C D , si cada lado y cada
a
ngulo de uno es igual a su correspondiente en el otro. En otras palabras:
ABCD A B C D si y s
olo si AB = A B , BC = B C , CD = C D ,

DA = D A , A = A , B = B , C = C y D = D
Proposici
on 5.3.4. Si BCDA y B C D A son de Lambert y si un par de
lados adyacentes de uno (no necesariamente iguales entre s) son iguales a sus
correspondientes del otro, entonces BCDA B C D A
D
bc
bc
C
W
T
Figura 5.17:
Demostraci
on. Supongamos que BCDA y B C D A son de Lambert. Si

DA = D A y AB = A B : DAB D A B por el criterio lado, angulo,
lado y con esto DB = D B y DBA = D B A . DBC D B C por el
criterio lado, angulo, angulo.5 Si BC = B C y CD = C D el procedimiento es
5 Comunmente para establecer el criterio de congruencia lado, a
ngulo, a
ngulo se le reduce
al criterio a
ngulo, lado, a
ngulo: se obtiene el tercer a
ngulo como la diferencia entre 2 y los
130
completamente analogo. Si AB = A B y BC = B C : CAB C A B por

lado, angulo, lado y DAC D A C por angulo, lado, angulo. Estos tres
casos son faciles de probar, sin embargo, si los lados correspondientes iguales
son los adyacentes al angulo que no se define como recto, la prueba no es tan
directa. Si CD = C D y DA = D A : sea R tal que BR = B A . Si R = A
entonces estamos en el primer caso. Suponemos que R 6= A. Sea S tal que SR
es perpendicular a AB de tal forma que S y D estan del mismo lado AB, como
en la Figura 5.17, y SR = D A . Sea T el pie de la perpendicular desde S
a BC. BT SR B C D A gracias al primer caso. Con esto, SR = D A =
DA y ST = C D = CD. Por otro lado. T 6= C pues si fueran iguales se
tendra S = D y R = A. ARSD y T CDS son de Saccheri. Sabemos que en
estos cuadrilateros la lnea que une los puntos medios de la base y la cima es
perpendicular a ellas. Si V es el punto medio de AR y W el de T C, tenemos
que la mediatriz de DS es perpendicular a AR en V y a T C en W . As BW V
tiene tres angulos rectos lo cual es una contradiccion. Por lo tanto, R = A y
BCDA B C D A .
Corolario 5.3.5. Si ABCD y A B C D son de Saccheri y M , M , N y
N son los puntos medios de AB, A B , CD y C D , entonces si se satisface
alguna de las siguientes condiciones:
DA = D A y AB = A B , DA = D A y CD = C D , CD = C D y
M N = M N o AB = A B y M N = M N
se tiene que ABCD A B C D .
Demostraci
on. En cada caso el resultado es claro a partir de la propopsici
on
anterior y de las Proposiciones 5.3.1 y 5.3.2.
Proposici
on 5.3.6. Si ABCD es de Lambert, entonces:
BC > DA si y s
olo si C es a
gudo
BC = DA si y s
olo si C es recto
BC < DA si y s
olo si C es obtuso
Demostraci
on. Supongamos que en el ABCD de Lambert se tiene que BC >
DA. Aplicando el Corolario 5.1.4 tenemos que C < D pero D es recto. Por
lo tanto, C es agudo. El inverso de este caso es obvio a partir del inverso del
Corolario 5.1.4. Si BC = DA, por la Proposicion 5.1.2 se tiene que C = D,
es decir, C es recto. El inverso de este caso en realidad es el inverso de la
a
ngulos dados. Para hacer esto se requiere del Postulado V. Sin embargo, tal procedimiento
s
olo es por simplicidad pues en (E I.26) el criterio lado, a
ngulo, a
ngulo es reducido al criterio
lado, a
ngulo, lado. Con esto queda establecido sin auxilio del Postulado V, el cual aparece
por primera vez en (E I.29). Los criterios de congruencia que de manera est
andar se utilizan
son: lado, a
ngulo, lado (E I.4); lado, lado, lado (E I.8) y a
ngulo, lado, a
ngulo el cual se puede
reducir a lado, a
ngulo, lado. Vemos, pues, que si en un par de tri
angulos se cumple el criterio
a
ngulo, lado, a
ngulo o el lado, a
ngulo, a
ngulo; entonces se cumple el criterio lado, a
ngulo, lado
y los tri
angulos son congruentes. Adem
as, en realidad se tienen cuatro criterios de congruencia
independientes del Postulado V
ENTRE EL CUADRILATERO
5.3. RELACION
DE SACCHERI Y EL DE LAMBERT.131
Proposicion 5.1.2. Si bien no la hemos establecido formalmente, resulta claro
que es cierta, pues si los angulos de la cima fueran iguales y los lados no, uno
tendra que ser mayor que el otro y volviendo a aplicar el Corolario 5.1.4 se
llega a una contradiccion. Por lo tanto, si C es recto, entonces BC = DA. Si
BC < DA, se procede como en el primer caso.
En realidad esta u
ltima proposicion ya la habamos esbozado y utilizado en
la seccion anterior, as que con su demostracion se completa lo hecho en tal
seccion.
Sin duda otros mucho resultados pueden obtenerse de los cuadrilateros de
Saccheri, de Lambert y de su combinacion, sin embargo, nuestro proposito era
solo mostrar como el cuadrilatero sirvio en el genesis de las geometras no euclidianas.
132
Ap
endice A
Angulos
en la circunferencia
A.1.
Angulos
Inscritos.
Definici
on A.1.1. Dada una circunferencia de centro O y radio r (denotada
como (C, r)), si consideramos el radio OA y una recta t perpendicular al radio en
el extremo A, entonces t se conoce como la recta tangente 1 a la circunferencia.
Definici
on A.1.2. A cualquier segmento de recta que tenga sus extremos sobre
la circunferencia, le llamamos di
ametro si pasa por el centro O y le llamamos
cuerda si no pasa por O.
Definici
on A.1.3. A una recta que corta a la circunferencia en dos puntos le
llamamos secante.
A
B
b
t
b
A
A
b
b
B
b
Figura A.1: Tangente, cuerda y diametro y secante; respectivamente.
Definici
on A.1.4. Consideremos dos puntos A y B sobre una circunferencia.
Si recorremos la circunferencia desde A hasta B en el sentido contrario a las
manecillas del reloj, entonces determinamos el segmento de circunferencia AB,
al cual llamamos arco AB.
1 De manera equivalente, la recta t es tangente a una circunferencia (C, r) si t y (C, r)
comparten s
olo un punto, es decir, si t s
olo toca a (C, r) en un punto.
133
APENDICE
A. ANGULOS
EN LA CIRCUNFERENCIA
134
Definici
on A.1.5. Un angulo inscrito en una circunferencia es el a
ngulo formado por dos cuerdas que tienen un extremo com
un sobre la circunferencia.
Los dos extremos no comunes de las cuerdas definen un arco, al que se llama
el arco que abre el angulo inscrito. Un angulo central es el a
ngulo formado por
dos radios.
Figura A.2: Arco AB, angulo inscrito y angulo central; respectivamente.

Teorema A.1.6 (Teorema de la medida del angulo inscrito). La medida de un
a
ngulo inscrito en una circunferencia es igual a la mitad del arco comprendido
entre sus lados, es decir, es la mitad del a
ngulo central que abre el mismo arco.
Demostraci
on. Se tienen tres casos.
A
A
A
B
C
O
O
O
C
Figura A.3:
Primer caso. Un lado del lado del angulo inscrito pasa por el centro de la
circunferencia.
Supongamos que = ABC es el angulo inscrito y que el centro O de la
circunferencia se encuentra sobre BC, como en la circunferencia izquierda de la
Figura A.3. Como el ABO es isosceles, tenemos que ABO = BAO = y
como la medida del angulo exterior al vertice O del ABO es la suma de los
otros dos angulos interiores, tenemos que AOC = 2 como se deseaba.
Segundo caso. El centro de la circunferencia es un punto interior del angulo.
Trazamos la cuerda BD que pase por el centro O, como en la Figura A.4.
El angulo = ABC queda dividido en dos partes por BD. Si 1 = ABD
y 2 = DBC,tenemos por el primer caso que AOD = 21 y DOC = 22 .
Por lo tanto, AOC = AOD + DOC = 21 + 22 = 2.

A.1. ANGULOS
INSCRITOS.
135
A
D
1
2 O
B
Figura A.4:
Tercer caso. El centro de la crcunferencia es un punto exterior del angulo.
Trazamos el diametro BD, como en la Figura A.5. Si 1 = ABD y 2 =
CBD, tenemos por un lado que = ABC = 2 1 y por otro, usando el
primer caso, que AOD = 21 y COD = 22 . Luego, COA = COD
AOD = 22 21 = 2.
D
O
2
1
B
Figura A.5:
Corolario A.1.7. Todos los a
ngulos inscritos que abren un mismo arco tienen
la misma medida.
Demostraci
on. Sean ABC y AB C dos angulos inscritos que abren un mismo
arco. Por el teorema anterior es claro que ABC = AB C = 21 (AOC).
Corolario A.1.8. Sean A y C dos punto fijos sobre una circunferencia. Para
cualesquiera dos puntos B y B de la circunferencia se tiene que: ABC =
AB C o bien que ABC y AB C son suplementarios.
Demostraci
on. Si By B se encuentran en el mismo arco, como en la parte
izquierda de la Figura A.6, los angulos inscritos son iguales a la mitad del angulo
central AOC. Si B y B estan en arcos diferentes, como en la parte derecha de
la Figura A.6, se tiene que ABC + AB C = 12 (AOC + COA) = 180 .
Corolario A.1.9. Sean A y C dos puntos fijos. El conjunto de puntos B que
cumplen que el ABC es constante, consta de dos arcos de circunferencia del
mismo radio.
APENDICE
A. ANGULOS
136
B
O
O
C
A
B
Figura A.6:
Demostraci
on. Supongamos que B es un punto en el conjunto y construyamos
el circuncrculo del ABC. Los puntos A y C dividen a la circunferencia en dos
arcos, en uno de ellos se encuentra B, y los puntos de tal arco son puntos del
conjunto por el corolario anterior. Consideremos el arco de circunferencia que
resulta de reflejar el arco anterior, con respecto a la lnea determinada por A
y C, estos puntos pertenecen tambien al conjunto. Veamos que los puntos del
conjunto son solamente los puntos de estos dos arcos.
A
Figura A.7:
Supongampos que B es un punto del conjunto y que se encuntra del mismo
lado que B con respecto a la recta determinada por A y C. Si By B se encuentran en diferentes lados, trabajamos con B1 el reflejado de B con respecto
a AC. Si B no se encuentra sobre el circuncrculo del ABC, llamamos B al
punto de interseccion de AB con el circuncrculo y, por el corolario anterior,
AB C = ABC.
A
B
B
C
B
b
Figura A.8:

A.2. ANGULOS
SEMIINSCRITOS.
137
Esta situacion es imposible, ya que en tal caso tendramos dos rectas, CB

y CB , cortadas por una transversal AB , que las corta con angulos correspondientes iguales, por lo que deberan ser paralelas, pero por construccion se
cortan en C. Esta contradiccion muestra que B esta en el circuncrculo.
Corolario A.1.10. Sean A y C dos puntos fijos, el conjunto de puntos B que
cumplen que ABC es un a
ngulo recto es una circunferencia de di
ametro AC.
Demostraci
on. El resultado se sigue inmediatamente a partir del corolario anterior, pues es un caso particular de este.
A.2.
Angulos
semiinscritos.
Definici
on A.2.1. Un a
ngulo se dice semiinscrito en un arco cuando tiene su
vertice en uno de los extremos del arco, uno de sus lados pasa por el otro extremo
del arco y el segundo lado es tangente a la circunferencia.
B
A
Figura A.9:
Teorema A.2.2 (Teorema sobre la medida del angulo semiinscrito). Todo a
ngulo semiincrito es igual a la mitad del a
ngulo central que abarca el mismo arco.
Demostraci
on. Prolonguemos el radio BO para formar un diametro BM , como
en la Figura A.10. El M BC es recto, ya que BC es la tangente, de aqu tenmos
que: M BC = MOB
.
2
Sabemos tambien que: M BA = MOA
. Entonces:
2
ABC = M BC M BA =
A.3.
M OB
M OA
AOB
=
2
2
2
Angulos
interiores y exteriores
Definici
on A.3.1. Un a
ngulo se dice interior a una circunferencia cuando su
vertice es un punto interior a ella y sus lados son dos de sus cuerdas.
APENDICE
A. ANGULOS
138
O
B
A
C
C
Figura A.10:
B
B
O
C
C
Figura A.11: Angulos

interior y exterior, respectivamente.
Definici
on A.3.2. Un a
ngulo se dice exterior a una circunferencia, cuando su
vertice es un punto exterior a ella y sus lados son dos rectas que la cortan.
Teorema A.3.3 (Teorema sobre la medida del angulo interior). La medida de
un a
ngulo interior a una circunferencia es igual a la mitad de la suma de los
arcos comprendidos entre sus lados, es decir, la mitad de la suma de los a
ngulos
centrales que abren los mismos arcos.
Demostraci
on. Se distinguen dos casos.
Primer caso. El vertice del angulo interior es el centro de la circunferencia.
En este caso el resultado es trivial, pues el angulo es central.
Segundo caso El vertice del angulo interior no es el centro de la circunferencia.
C
A
B
A
C
Figura A.12:
Supongamos que = CBA, como CBA+C BC = y ademas CC B+
C BC +BCC = , entonces = CC B+BCC pero CC B = 12 COA
y BCC = 12 A OC . Por lo tanto, = 12 (COA + A OC ) como se quera
probar.

A.3. ANGULOS
INTERIORES Y EXTERIORES
139
Teorema A.3.4 (Teorema sobre la medida del angulo exterior). La medida de

un a
ngulo exterior a una circunferencia es igual a la mitad de la diferencia de
los arcos comprendidos por sus lados, es decir, la mitad de la diferencia de los
a
ngulos centrales que abren los mismos arcos.
Demostraci
on. Se distinguen tres casos.
Primer caso. Los lados del angulo exterior son dos secantes a la circunferencia.
B
A
A
O
C
C
Figura A.13:
Es claro que de los arcos determinados por un angulo exterior siempre uno
sera mayor que el otro, pues de no ser as, los lados del angulo tendran que ser
paralelos. Supongamos que = ABC. Como A AC + C AB = y ademas
BC A+C AB + = , entonces tenemos que BC A+ A AC + = ,
pero BC A = 21 COA y A AC = 12 A OC . Por lo tanto, = 21 (A OC
COA) como se quera probar.
Segundo caso Un lado del angulo exterior es secante y el otro es tangente,
a la circunferencia.
A
C
Figura A.14:
Supongamos que ABC = . Notemos que A AC + CAB = , tambien
se tiene que BCA + CAB + = . Como BCA es semi-inscrito se tiene
que BCA = COA y ademas A AC = A OC. Por lo tanto tenemos que
= A OC COA como deseabamos.
Tercer caso Los lados del angulo exterior son tangentes a la circunferencia.
Sea ABC = . Se tiene que AOB y OCB son rectangulos, OA y OC
son radios y OB com
un, luego, AOB OCB y, por lo tanto, = COA.
Notemos que subtiende los arcos AC, CA y AOC y COA son sus
angulos centrales rspectivos. Tenemos que:
140
APENDICE
A. ANGULOS
A
C
Figura A.15:
1
1
(AOC COA) = (2 COA COA) = COA =
2
2
Indice alfab
etico
Angulo
central, 134
exterior, 138
inscrito, 134
interior, 137
semiiscrito, 137
Axioma
de continuidad, 92
de separacion, 88
Brahmagupta, 26
formula, 29
Conica, 110
tangente a una, 113
Circunferencia
arco, 133
cuerda, 133
de Apolonio, 31
diametro, 133
recta secante, 133
recta tangente, 133
Colineaciones, 99
Conjugados armonicos, 83
haz de lneas, 83
hilera de puntos, 84
unicidad, 84
Conjunto cuadrangular, 98
Correlaciones, 99
Cuadrangulo
completo, 81
Cuadrado, 4
Cuadrilatero, 2
area, 6
de Lambert, 126
bicentrico, 38
concavo, 2
cclico, 15
construccion, 31
completo, 81
convexo, 2
cruzado, 3
de Saccheri, 116
entrante, 2
ortodiagonal, 39
Cuadrilateros
circunscritos, 34
Cuerda
del angulo diferencia, 64
del angulo mitad, 65
del angulo suma, 66
del angulo suplementario, 63
e lnea, 109
E punto, 109
h lnea, 109
H punto, 109
Heron
formula, 26
Hipotesis
del angulo agudo, 118
del angulo obtuso, 118
del angulo recto, 118
Identidades trigonometricas, 69
coseno angulo doble, 76
coseno angulo medio, 74
coseno diferencia, 76
coseno suma, 75
pitagorica, 69
seno agulo doble, 73
seno angulo medio, 74
141
INDICE ALFABETICO
142
seno de la diferencia, 72
seno de la suma, 72
Involucion, 97
elptica, 97
hiperbolica, 97
Rectangulo, 4
Rombo, 4
Romboide, 4
Lnea de Simson, 19
Lneas
autoconjugadas, 102
conjugadas, 102
Lneas antiparalelas, 18
Lambert, Juan Enrique, 126
Tangente com
un
exterior, 46
interior, 46
Teorema
de Carnot, 25
de Casey, 50
de Desargues, 80
de Fuss, 43
de Hesse, 104
de la bisectriz, 31
de Ptolomeo, 16, 64
de Ptolomeo generalizado, 45
de Ptolomeo trigonometrico, 71
de Simson, 19
de Varignon, 7
del angulo exterior, 139
del angulo inscrito, 134
del angulo interior, 138
del angulo semiinscrito, 137
Fundamental de la Geometra Proyectiva, 95
japones o de Mikami y Kobayashi,
22
Trapecio, 4
isosceles, 4
Triangulo
area del, 26
autopolar, 105
diagonal, 81
polar, 105
Trilatero
diagonal, 81
Mediana
longitud, 11
Paralelogramo, 4
de Varignon, 7
Centro del, 8
Ley del, 10
Perspectividad, 85
Polgono, 1
concavo, 1
convexo, 1
inscrito, 15
Polgonos
circunscritos, 34
Polar, 102
Polaridad, 102
elptica, 107
hiperbolica, 107
Polo, 102
Postulado
de Arqumedes, 116
Potencia de un punto, 42
Principio de dualidad, 79
Proyectividad, 94
elptica, 96
hiperbolica, 96
parabolica, 96
Ptolomeo
tabla de cuerdas de, 56
Ptolomeo Claudio, 55
Puntos
autoconjugados, 102
conjugados, 102
Saccheri, Girolamo, 115
Bibliografa
[Ar] Aref, M. N.; William Wernick Problems and Solutions in Euclidean Geometry. Nueva York: Dover. 1968.
[Bon] Bonola, Roberto. Non euclidean geometry: a critical and historical study
of its developments. Nueva York: Dover. 1955.
[Ca] Cardenas Rubio, Silvestre. Dos o tres trazos. Mexico: UNAM, Instituto de
Matematicas. 2003.
[Cox1] Coxeter, H. S. M. Introduction to geometry. Nueva York: J. Wiley. 1969.
[Cox2] Coxeter, H. S. M.; Greitzer S. L. Geometry revisited. Nueva York: Random House. 1967
[Cox3] Coxeter, H. S. M. The real proyective plane. Nueva York: Springer. 1993.
[Do] Dorce, Carlos. Ptolomeo: el astr
onomo de los crculos. Espa
na: Nivola.
2006.
[Eu] Euclides, de Alejandra. The elements: books I-XIII. Nueva York: Barnes
and Noble. 2006.
[Ev] Eves, Howard Estudio de las geometras.Mexico: Hipano-Americana. 1985.
[Jo] Johnson, Roger A. Advanced euclidean geometry. Nueva York: Dover. 2007.
[Ge] Gelfand, I. M. Trigonometry. Nueva York: Birkhauser. 2001.
[Li] Libeskind, Shlomo. Euclidean and transformational geometry: a deductive
inquiry. Sudbury, Massachussetts: Jones and Bartlett. 2008
[Man] Manfrino, Radmila Bulajich.; Gomez Ortega Jose A. Geometra. Mexico:
UNAM, Instituto de Matematicas. 2004.
[Mar] Martin, George E. The foundations of geometry and non-euclidean plane.
Nueva York: Springer-Verlag. 1998.
[Pos] Posamentier, Alfred S.; Salkind Charles T. Challenging problems in geometry. Nueva York: Dover. 1996.
143
144
BIBLIOGRAFIA
[Pt] Ptolomeo,Claudio. Ptolomys Almagest. Londres: Princeton University.

1998.
[Ra] Ramrez Galarza, Ana I.; Seade Kuri, Jose Introducci
on a la geometra
avanzada. Mexico: UNAM, Facultad de Ciencias,2002.
[Sa] Saccheri, Girolamo. Girolamo Saccheris Euclides vindicatus. Chicago: The
open court. 1920.

Tesis Geometria Del Cuadrilatero

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tesis Geometria Del Cuadrilatero

Cargado por

Copyright:

Formatos disponibles

Geometra del Cuadrilatero.

Jorge Alonso Santos Mellado

2.4.2. Teorema de Casey. . . . . . . . . . . . . . . . . . . . . . .

propiedades del triangulo es innegable que no atendemos u

En el presente trabajo haremos un estudio detallado del cuadrilatero. Para

De manera intuitiva un polgono es una figura geometrica plana y cerrada

y, sin embargo, el segmento determinado por ellos no est

Estamos en condiciones de dar una definicion provisional de cuadrilatero.

s y, en consecuencia, a una figura como la que aparece del lado derecho de la

paralelos. Presentamos una lista con los nombres y su caracteririzacion.

Se pueden deducir diversas propiedades de estos cuadrilateros especficos

De manera inversa, supongamos que en el ABCD sus diagonales se bisecan

Antes de empezar, introducimos notacion para el area. AABCD y AABC

Al considerar un cuadrilatero entrante como el de la parte izquierda de la Figura

2 Este concepto es totalmente an

1.3. APLICACIONES DEL AREA

demostracion como ABCD.

= 2AABCD 2(ABAC + ADCB )

Consecuencias del Teorema de Varignon.

De la Proposicion 1.1.5 sabemos que las diagonales de un paralelogramo se

1.3. APLICACIONES DEL AREA

Ahora aplicamos el Teorema de Varignon al ACBD

Sumamos (1.4), (1.5) y (1.6).

A continuacion estableceremos algunas proposiciones que relacionan los lados

1.3. APLICACIONES DEL AREA

Sumamos (1.9) y (1.10) y en la suma sustituimos (1.11) para obtener (1.8)

Sustituimos (1.16) y (1.17) en (1.15). Agrupamos adecuadamente para obtener

1.3. APLICACIONES DEL AREA

Dos criterios para la caracterizaci

Hemos visto que dado un triangulo, siempre es posible inscribirlo en un

Si un ABCD esta inscrito en un crculo como en la Figura 2.2a, entonces

Teorema 2.1.3 (Teorema de Ptolomeo). Un ABCD es cclico si y s

Utilizamos la relacion anterior y EDC = ADB para establecer que DEC

Existe otro criterio para establecer cuando un cuadrilatero es cclico. Para

Teorema 2.1.7 (Teorema de Simson). Los pies de las perpendiculares desde un

De igual forma, P XCY es cclico pues CXP =

Por otro lado, como P BCA es cclico por hipotesis, se tiene:

De las ecuaciones ( 2.6), ( 2.7) y ( 2.8), como P AZ = P AB, tenemos que

Teorema 2.1.9. Un ABCD es cclico si y s

tangentes en el punto E. Supongamos que no es as. Sea P el hipotetico punto

Teoremas japoneses o de Mikami y Kobayashi.

Existen tres resultados conocidos como Teoremas japoneses o Teoremas de

entonces el arco comprendido por C y D sera mayor a y C coincidira con

y sumamos ( 2.11), ( 2.12), ( 2.13) y ( 2.14),

Por otro lado, como el incentro de un triangulo siempre es un punto interior

Si realizamos el mismo proceso, ahora en BCD y utilizamos OBXU ,

Si sumamos (2.16) y(2.17), obtenemos:

Analogamente, al utilizar ABC y ACD tenemos:

El resultado se sigue de igualar las ecuaciones (2.18) y (2.19).

Teorema 2.1.13 (Teorema de Carnot). Si O es circuncentro, R es circunradio

Con esto DARQ es cclico. De la misma manera ABP R es cclico. Con

Previamente definimos el area de un cuadrilatero convexo como la suma de

De (2.24) y (2.25), teniendo en cuenta que OF = OD y AD = CK, tenemos:

Al multiplicar por BK:

Por otro lado, en OBG, OF es una de sus alturas, con lo que BF O

Pues AD = CK por construccion. Con esto AABC = (BK)(OF ). Si elevamos

Que es la primera de las igualdades de la expresion ( 2.35). Las restantes se

Las otras dos expresiones se pueden calcular del mismo modo.

Por otro lado, como DCB = DAP , entonces AP D CP B pues el

Sumamos (2.40) y (2.41):

Si a (2.41) le restamos (2.40) y luego al reves:

Sustituimos (2.42), (2.43), (2.44) y (2.45) en (2.38) y realizamos las operaciones:

Con el teorema anterior podemos calcular el area de un cuadrilatero cclico