Documente Academic
Documente Profesional
Documente Cultură
Arturo Ramrez
29 de enero de 2008
2
ndice general
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
Notacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
Prerrequisitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
1. Preliminares 1
Axiomas y Nociones Bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Proposiciones Euclidianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Tringulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Crculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Construcciones Geomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Construccin del decgono regular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Trigonometra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Formulas Trigonometricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Geometra y Trigonometra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Eje Radical . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2. Orientacin en la Geometra 33
Geometra Analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4. Geometra Mderna 51
Aritmtica de segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Rectas Dirigidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Angulos Dirigidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
Areas y Volumenes Orientados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
5. Secciones Cnicas 67
Cono Circular Recto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Directrices de las Secciones Cnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Cnicas y Geometra Analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Focos y Directrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Geometra de la Esfera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
Area, Volumen y Distancia en la esfera . . . . . . . . . . . . . . . . . . . . . . . . 74
Tringulos esfricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
7. Geometra Proyectiva 91
Plano Proyectivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Espacio Proyectivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
Espacio Afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Proyecciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
Teorema de Desargues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Conjugados Armnicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
Geometra Proyectiva del Plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Homologa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
Homologa Armnica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
Proyeccin en un cuadrado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
Introduccin
La geometra euclidiana fue el primer sistema axiomtico de la historia. Tradicionalmente el
estudio de la geometra se a usado para presentar el concepto de lo que es una teora deductiva.
Las razones de esto, aparte de que histricamente fue la primera presentacin deductiva, se deben
a que aunque se usan axiomas estos representan conceptos donde nuestra intuicin nos es de gran
utilidad, adems de poder enunciar y demostrar rpidamente proposiciones no triviales.
Sin embargo el hecho de poder usar nuestra intuicin fue tambin un problema. Esto se debi
a que Euclides uso en sus razonamientos muchos resultados que si bien son intuitivamente claros
no se deducen de los axiomas. Para nuestros estndares de rigor no fue hasta 1900 que D. Hilbert
estableci los axiomas que cumplen con los requisitos actuales de rigor. Un problema con la
obra de Euclides es que algunas de las demostraciones no solo se basan en los axiomas, sino que
dan por buena la intuicin y experiencia. Esto no implica que los resultados sean falsos, por lo
contrario todos los teoremas enunciados por Euclides son validos, y de hecho se tienen actualmente
presentaciones (ver [25] y [22]) que dan demostraciones rigurosas de todos los resultados de los
trabajos de Euclides.
Descartes estudio la geometra con ayuda de coordenadas, esto es introdujo el concepto de
geometra analtica. Con la introduccin de las coordenadas los tienen equivalentes algebraicos y
por lo tanto podemos usar el lgebra como herramienta para resolver problemas geomtricos. De
hecho es con el uso del lgebra que se logr dar repuestas a alguno de los problemas clsicos de
la geometra. Por ejemplo demostrar que no es posible construir con regla y comps la triseccin
de un ngulo dado, o dado el lado de un cubo construir el lado de otro cubo que tenga volumen
el doble del volumen del cubo original. Otro ejemplo del uso del lgebra fue la demostracin que
diera Gauss de que un polgono con un nmero p de lados, donde p es un nmero primo impar, es
n
constructible con regla y comps sii p es de la forma 22 + 1.
Hay varias formas para estudiar la geometra: axiomticamente como en los libros [25], analti-
camente como en ?? o ms elementalmente basando el estudio en la geometra euclidiana. Nosotros
usaremos esta ltima ruta, usando la intuicin que tenemos de las propiedades de la geometra
euclidiana, que nos que permite avanzar rpidamente y prepara el estudio de alguna de las otras
formas. En particular usaremos los conceptos topolgicos como son los de orden, separacin,
orientacin, continuidad, etc. Sin embargo trataremos de dar, cuando sea posible sin frenar ex-
cesivamente la presentacin de la teora, las definiciones, enunciados y demostraciones que sean
validas en el contexto ms general de la geometra axiomtica. Esperamos con esto que esta obra
facilite el estudio de otras presentaciones ms axiomticas.
Las construcciones usando regla y comps constituyen uno de los temas centrales de la geometra
de Euclides. La razn de porque se restringe al uso de regla y comps se debe a que estos instru-
mentos estn implcitos en los axiomas de Euclides (ver , pag. ). En este libro nosotros tambin
daremos una gran importancia al tema de las construcciones con regla y comps. Hay que destacar
que el concepto de regla es el de un instrumento que solo nos permite trazar una recta que pasa
por dos puntos dados, pero que no es una regla graduada que permita medir la distancia entre
puntos.
En la geometra euclidiana se tienen como conceptos fundamentales el de punto y el de recta as
como la relacin de incidencia entre ellos. Adems en la geometra euclidiana se tienen conceptos
ii INTRODUCCIN
como paralelas, perpendicular, distancia, ngulo etc. Sin embargo un avance muy importante fue
que en el siglo XIX se estudio aquellas proposiciones que no tenan conceptos mtricos en sus
enunciados. En particular el estudio de las propiedades geomtricas que se basan nicamente en
las relaciones de incidencia entre puntos, rectas y planos.
Con respecto a la relacin de incidencia hay una cierta simetra, entre los puntos y las rectas,
que sin embargo no es completa. Por ejemplo, en el plano, dados dos puntos distintos siempre hay
una sola rectas que los contiene pero dadas dos rectas distintas solo hay un punto contenido en
ambas sii las rectas no son paralelas. Como este ejemplo hay muchos otros. La geometra proyectiva
consiste en una extensin de la geometra euclidiana donde los conceptos de punto y recta tienen
una relacin de incidencia simtrica.
Como veremos el hecho de contar, desde el principio, con esta relacin de incidencia simtrica
nos permitir presentar los resultados de la geometra euclidiana de una forma ms general y sin
excepciones molestas.
Es interesante notar que los primeros en utilizar los conceptos de la geometra proyectiva
fueron los pintores del renacimiento. Ellos necesitaban de una tcnica nueva que les permitiera
dar perspectiva a sus dibujos (ver la figura adjunta, que representa la proyeccin de una mandolina
en la ventana (Alberto Durero. Imagen del Tratado Underweysung der Messung 1525)), es de estos
pintores de donde heredamos los nombres de punto y lnea de fuga, centro de perspectiva, etc.
Esta simetra da origen al principio de dualidad el cual implica que en si intercambiamos las
palabras punto y recta cada teorema de la geometra proyectiva nos da su teorema dual (aunque
en ocaciones coincide con el original). El lector deber familiarizarse con cada uno de los teorema
y construccin duales que se enuncian en los distintos captulos que se refieren a la geometra
proyectiva.
En la geometra proyectiva se estudian las propiedades que se sigue de las propiedades de
incidencia una vez que se extiende la geometra euclidiana. Por esto en la geometra proyectiva
no tienen cabida conceptos como paralelas, perpendicular, distancia, ngulo etc. Sin embargo si
escogemos una recta para que corresponda a la recta al infinito y una involucin en que corresponda
INTRODUCCIN iii
Notacin
Se usara la siguiente notacin: Los puntos se denotaran por letras latinas maysculas A, B,
C,... , las rectas se denotaran por letras latinas minsculas a, b, c,... y los planos por letras griegas
minsculas , , ,... y los espacios por letras griegas maysculas , , ,...
iv INTRODUCCIN
En estas notas los planos y el espacio geomtrico contienen los puntos al infinito. El punto al
infinito de una recta x se denotara por Ix o simplemente I si no hay peligro de confucin.
Denotaremos por R al conjunto de los nmeros reales y por R+ al conjunto de los nmeros
reales no negativos.
Denotaremos por GL(n, R) el conjunto de matrices de n-renglones por n-columnas y determi-
nante no cero. La matriz identidad multiplicativa se denotara por I. Denotaremos por NL(n, R)
el conjunto de las matrices de determinante 1 y por SL(n, R) por el conjunto de las matrices de
determinante 1. Los conjuntos NL(n, R) y SL(n, R) son subgrupos de GL(n, R).
Si f : A A es una funcin de un conjunto A en si mismo, denotaremos por Ff el conjunto
de puntos fijos de f , esto es
Ff = {a A : f (a) = a}.
Prerrequisitos
Daremos ahora los resultados de otras reas de las matemticas que necesitaremos en estas
notas. Empezaremos con aquellos de topologa y en particular con los resultados relacionados con
la continuidad.
Dados dos reales positivos x y y > 0. Entonces la media aritmtica es mayor o igual que la
media geomtrica
x+y
xy (1)
2
en particular
1
x+ 2 (2)
x
adems tenemos la desigualdad (para x, y, z y k > 0)
xk + y k + z k
(xk y k z k )1/3 (3)
3
Para el estudio de las propiedades geomtricas relacionados con el concepto de continuidad se
necesitan de algunos resultados de anlisis, para su demostracin ver [33].
Decimos una sucesin de puntos {Ai } i = 0, 1, ... del plano (del espacio) es convergete si existe
un punto O tal que para todo real > 0 existe un entero N tal que n > N implica |O An | < .
En este caso decimos que O es el punto de convergencia de la sucesin o que la sucesin converge
a O.
Decimos una sucesin de puntos {Ai } i = 0, 1, ... del plano (del espacio) es una sucesin de
Cauchy si para todo real > 0 existe un entero N tal que n y m > N implica |An Am | < .
El teorema principal de la teora de sucesiones de Cauchy esta dado por el siguiente teorema.
f : S1 S1
continua y biyectiva es tal que cuando un punto recorre el crculo en una direccin su imagen lo
recorre en la misma direccin o en la direccin contraria. En el primer caso decimos que la funcin
preserva la orientacin y en segundo que la invierte.
Teorema 0.2 Sea f : S 1 S 1 una funcin continua y biyectiva que invierte la orientacin,
entonces f tiene exactamente dos puntos fijos.
Usaremos la notacin (p, q) el mximo comn denominador de los enteros p y q. Por ltimo
necesitamos el concepto de subcampo de los nmeros reales y complejos.
Teorema 0.4 Sea P (T ) = T n +an1 T n1 +...+a1 T +a0 = 0 Z[T ] un polinomio con coeficientes
enteros. Entonces una raiz racional r de P es entera y r|a0 .
como (q, pn1 + an1 pn2 q + ... + a1 q n1 ) = (p, q) = 1 si q > 1 tenemos una contradiccin. Por lo
tanto p Z y p|a0 .
Captulo 1
Preliminares
En la primera seccin del captulo daremos un resumen, sin dar las demostraciones, de los resul-
tados bsicos de la geometra elemental, incluyendo una presentacin de los axiomas de Euclides.
Estos son esencialmente los teoremas de los primeros libros (captulos) de Euclides. Sin embargo en
las secciones posteriores analizaremos algunas demostraciones y construcciones (no necesariamente
las de Euclides) algunos de estos teoremas.
Como este no es un tratado de historia de la geometra no usaremos los conceptos ni daremos los
enunciados que dio Euclides. Antes bien daremos una presentacin equivalente usando la notacin
y los conceptos actuales.
Como vimos en la introduccin Euclides uso en sus razonamientos muchos resultados que si
bien son intuitivamente claros no se deducen de los axiomas. En esta seccin usaremos la misma
actitud que Euclides y solo daremos algunos ejemplos.
tienen sentido sin que tengan que relacionarse con la realidad. Por esto nuestra presentacin
de los conceptos de puntos, rectas, crculos y planos no incluye definiciones sino que basta dar
las propiedades que satisfacen. Daremos nicamente las propiedades que permitan entender los
principales resultados de la geometra y poder usarlos para estudiar los resultados de la geometra
moderna, esto es de los siglos XIX y XX.
Un plano es un conjunto , a sus elementos los llamaremos puntos, y una familia de de sub-
conjuntos que llamaremos rectas.
Dados tres puntos en una recta es intuitivamente claro que uno de ellos est en medio de los
otros dos. El concepto detrs de esta situacin es de que un punto separa a otros dos y los aximas
que lo carcteriza, para estudiar una presentacin rigurosa ver [22]. Este es uno de los principales
ejemplos de los conceptos que Euclides usa sin justificacin. Con ayuda de este concepto se puede
demostrar que dada una recta entonces cada punto P de la recta la divide en dos partes con la
propiedad de que dos puntos A y B estn en una de las partes sii P no esta en medio de A y
B; cada parte se llama un rayo definido por P . Definimos el segmento AB como el conjunto de
puntos que estn en medio de A y B. Definimos el rayo AB como el conjunto de puntos que estn
el rayo definido por A en la recta AB que contiene a B.
Anlogamente una recta divide al plano en dos semiplanos. Usando el concepto de semiplano
podemos definir lo que se entiende por los puntos interiores y exteriores de un tringulo. Nosotros
usaremos estos resultados sin entrar en detalles, ms bien imitando a Euclides usaremos nuestra
intuicin, sin embargo hay que tener cuidado cuando hacemos esto para no cometer errores,
daremos un ejemplo de esta situacin.
Otro concepto importante es el siguiente: Dados tres puntos alineados A, B y C tales que B y
C estn en el mismo rayo definido por A; decimos que el segmento AB es menor que el segmento
AC si B est en medio de A y C.
Dos rayos AB y AC (la recta AB distinta a la recta CD), definen dos semiplanos (resp. )
como el semiplano definido por la recta AB que contiene al punto C (resp. B). Entonces definimos
el ngulo ]BAC como la interseccin .
Otros conceptos importantes son los siguientes:
Dados tres puntos alineados A, B y C tales que B y C estn en el mismo rayo definido por
A; decimos que el segmento AB es menor que el segmento AC si B est en medio de A y C.
Dados los puntos A, B, C y D, tales que C y D estn en el mismo semiplano definido por la
recta AB, que el ngulo ]BAC es menor que el ngulo ]BAD si el rayo AC esta contenido
en el ngulo ]BAD.
Adems existe una funciones d:
d : R+
tal que d(A, A) = 0. Llamaremos a d(A, B) la distancia entre A y B. Llamaremos a (a, b) el ngulo
entre las rectas a y b. Si d(A, B) = d(C, D) diremos que los segmentos AB y CD son iguales y se
usara la notacin AB = CD. Anlogamente si (a, b) = (c, d) diremos que los ngulos ]ab y ]cd
son iguales y se usara la notacin ]ab = ]cd. Anlogamente usaremos la notacin AB > CD sii
d(A, B) > d(C, D) y ]ab > ]cd sii (a, b) > (c, d).
Si P es un punto definimos el haz de rectas que pasan por P como el conjunto HP = {a : P a
y a una recta}.
Preliminares 3
d : R+
: HP HP [0o , 180o ]
tal que d(A, A) = 0. Llamaremos a d(A, B) la distancia entre A y B. Llamaremos a (a, b) el ngulo
entre las rectas a y b. Si d(A, B) = d(C, D) diremos que los segmentos AB y CD son iguales y se
usara la notacin AB = CD. Anlogamente si (a, b) = (c, d) diremos que los ngulos ]ab y ]cd
son iguales y se usara la notacin ]ab = ]cd. Anlogamente usaremos la notacin AB > CD sii
d(A, B) > d(C, D) y ]ab > ]cd sii (a, b) > (c, d).
Estas funciones nos permiten definir la distancia entre puntos y el tamao de un ngulo. Con
ayuda de estos conceptos podemos dar las siguientes definiciones:
Definicin 1.1 Dados dos puntos distintos O y A definimos el crculo C de centro O que pasa
por A como el conjunto
C = {B : d(B, O) = d(A, O)}
decimos que O es el centro de C y si B C decimos que OB es un radio, aunque por abuso de
notacin llamaremos tambin radio a la distancia de O a B.
Definicin 1.2 Dadas dos rectas a y b, decimos que a y b son paralelas sii a = b o a b = .
Usaremos la notacin usual a k b.
Usualmente para que dos rectas sean paralelas se pide que sean distintas, pero nosotros no
usaremos esa condicin lo que nos permite demostrar que la relacin de paralelismo es una relacin
de equivalencia.
Definicin 1.3 Dados un punto P y dos rectas a y b HP , decimos que a y b son perpendiculares
sii (a, b) = (b, a). Usaremos la notacin usual a b. En este caso decimos que a y b definen un
ngulo recto.
Proposiciones Euclidianas
En esta seccin daremos una presentacin que es practicamente equivalente a los teoremas de
los elementos de Euclides. Sin embargo usaremos la notacin y retrica de la actualidad.
Comentario: En este primer teorema hay un problema de rigor, ya que ningn axioma implica
que dos crculos tengan un punto en comn, aun cuando el primer crculo tenga un punto dentro
y otro fuera del segundo crculo.
Proposicin 1.8 En un tringulo issceles los ngulos opuestos a los lados iguales son iguales.
Proposicin 1.9 En un tringulo que tiene dos ngulos iguales, entonces los lados opuestos a
los ngulos iguales son iguales.
Proposicin 1.13 Construir una recta perpendicular a una recta dada y que contenga un punto
dado.
Proposicin 1.15 Dadas dos rectas forman con una tercera ngulos que suman dos rectos, en-
tonces las dos rectas dadas coinciden.
Proposicin 1.17 En el tringulo 4ABC, entonces el ngulo exterior en A es mayor que los
ngulos B y C.
Proposicin 1.19 En el tringulo 4ABC, entonces el lado mayor se opone al ngulo mayor.
Proposicin 1.21 Dados un tringulo 4ABC y dos recta AD y BD, con D un punto interior
del tringulo. Entonces AC + BC > AD + BD y ]ADB > ]ACB.
Proposicin 1.23 Dados los lados de un tringulo construir el tringulo (Se necesita que todos
los lados sean menores que la suma de los otros dos).
6 Preliminares
Proposicin 1.24 Dados un ngulo, una recta, un punto en la recta, construir un ngulo igual
al ngulo dado, con vrtice el punto dado y que tenga a la recta dada como una de sus lados.
Proposicin 1.25 Si dos tringulos 4ABC y 4DEF son tales que a = d, b = e y C > F ,
entonces c > f .
Proposicin 1.27 Si una transversal corta a dos rectas, entonces se tienen las condiciones equiv-
alentes:
a) Las rectas son paralelas.
b) Los ngulos correspondientes son iguales.
c) Los ngulos alternos internos son iguales.
d) Los ngulos alternos externos son iguales.
Proposicin 1.28 Dos rectas paralelas a una tercera son paralelas entre si.
Proposicin 1.29 Dados una recta y un punto construir una recta paralela a la recta dada y que
pasa por el punto dado.
Proposicin 1.30 En el tringulo 4ABC tenemos que el ngulo exterior al ngulo A es igual a
B + C. Adems la suma de los ngulos del tringulo es igual a dos rectos.
Proposicin 1.31 En un paralelogramo los lados opuestos son iguales, los ngulos opuestos son
iguales y las diagonales se bisectan.
Tringulos
En este libro usaremos la siguiente notacin, al menos de que se indique explisitamente otra
cosa.
Dado un tringulo 4ABC, sus lados son a, b y c. La letra A denota tanto al vrtice como al
ngulo ]BAC. La letra a denota tanto a la recta BC como al segmento BC asi como la longitud
del segmento AB. Los puntos L, M y N son los puntos medios de los lados. Los puntos D, E y
F son los pies de las alturas. Los puntos G, O, I y H son el gravicentro, circuncentro, incentro,
ortocentro respectivamente. Los radios del circuncrculo y del incrculo son R y r respectivamente.
Los puntos Ia , Ib y Ic son los centros de los excrculos y ra , rb y rc son los radios de los excrculos.
Preliminares 7
Como estudiaremos la geometra euclidiana tenemos que los axiomas de Euclides son vlidos;
en particular el quinto axioma tiene varios enunciados equivalentes. Recodaremos los siguientes
dos que son los ms usados en la geometra.
Primero recordamos que dos rectas se llaman paralelas si o son iguales o no tienen ningn
punto en comn. (No todos los libros definen que una recta es paralela a si misma; sin embargo
usar esta convencin es muy til ya que en este caso la relacin de paralelismo es una relacin de
equivalencia).
Teorema 1.34 Dados un punto P y una recta a, entonces existe una nica recta b que pasa por
P y paralela a a.
Teorema 1.36 (pons asinorum) Si dos ngulos de un tringulo son iguales, entonces el trin-
gulo es issceles.
Demostracin: Sea el tringulo 4ABC tal que ]A = ]B. Como en los tringulos 4ABC y
4BAC, tienenemos que AB = BA, ]A = ]B y ]B = ]A, entonces 4ABC = 4BAC.
A B
Figura 1-1
Euclides dio una demostracin muy complicada, que requera de varias lneas auxiliares, por
lo que fue un teorema que tenia la fama de ser dificil, por lo que separaba a los alumnos que
eran capaces de los que no lo eran. Ms aun se supona que si alguien era capaz de entender la
demostracin ya no tendra problemas con el resto de los elementos de Euclides. Por esta razn se
le dio el nombre de pons asinorum, que significa puente de burros.
El siguiente teorema, el teorema de Lehmus-Steiner, esta relacionado con el teorema anterior,
aunque su enunciado y demostracin fueron dadas asta el siglo XIX. Este resultado tiene una
historia muy interesante, ver [9] pag. 14, [16] y [15].
Teorema 1.37 (Lehmus-Steiner) Si en un tringulo dos de las bicectrices son iguales, entonces
el tringulo es issceles .
8 Preliminares
Y X
A B
Figura 1-2
Teorema 1.38 Dado cuatro puntos, no alineados, si un de ellos es el ortocentro del tringulo
formado por los otros tres, entonces todos los puntos son es el ortocentro del tringulo formado
por los otros tres.
Definicin 1.39 Decimos que el cuadrngulo ABCD es un conjunto ortocntrico si cada uno de
los vertices es el ortocentro del tringulo formado por los otros tres.
Problemas
Problema 1 Si dos cuerdas de un crculo subtienden, desde un punto del crculo, dos ngulos
agudos distintos, entonces la cuerda ms pequea, es la que subtiende el ngulo ms pequeo.
Problema 2 Si en el tringulo 4ABC con bisectrices AX, BY , se tiene que ]A < ]B, entonces
AX > BY .
Preliminares 9
Crculos
En estas notas crculo y circunferencia sern usados como sinnimo del conjunto de puntos
equidistantes a un punto llamado el centro del crculo. Dados un punto O, llamado centro, y un
real positivo r, llamado radio definimos el concepto de disco como el conjunto de los puntos a una
distancia, de O, menor o igual a r. El disco abierto es el conjunto de puntos a una distancia, de
O, menor a r. Claramente la frontera de un disco es un crculo.
Daremos en esta seccin algunos resultados que usaremos posteriormente.
Un cuadrngulo convexo ABCD es cclico sii sus ngulos opuestos son suplementarios, esto es
sii ]A + ]C = 180o . Un cuadrngulo no convexo ABCD es cclico sii sus ngulos opuestos son
iguales, esto es sii ]A = ]C.
B
B'
A'
A
D
C'
C D'
Figura 1-3
Teorema 1.40 Dados un punto P y un crculo de centro O y radio R, una secante del crculo
desde P que corta al crculo en puntos A y B es tal que el producto P A P B es constante e igual
a P O2 R2 . Ms aun si P es un punto exterior del crculo entonces P A P B = P T 2 , donde P T
es una de las tangente al crculo.
T B
P F
E O
C
D
Figura 1-4
Corolario 1.42 Cuatro puntos A, B, C y D, no tres de ellos alineados, son concntricos sii
AP BP = CP DP
donde P = AB CD.
Usaremos ahora el concepto de potencia para dar una demostracin del teorema de Pitgoras.
Esta demostracin est basada en [23].
Teorema 1.43 (Pitgoras) En todo tringulo rectngulo 4ABC, con C = 90o , tenemos que
a2 + b2 = c2 .
F B
A M C
Figura 1-5
Demostracin: Como ]QAB + ]BP Q = 180o tenemos que ]QAB = ]QP C. Por lo tanto
los tringulos 4ABC y 4QCP tienen los mismos ngulos.
B P
Figura 1-6
Si consideramos a un punto como una crculo de radio cero vemos que la potencia de un punto
respecto a otro como el cuadrado de la distancia entre los puntos. En este sentido la potencia
generaliza el concepto de distancia.
El siguiente ejemplo nos servir para construir un decgono regular (Construccin 1.59, pag.
21).
Ejemplo 1.45 Si un tringulo issceles 4ABC es tal que ]A = ]B = 72o y BP es una bisectriz
CA
entonces CP = CP
PA
.
Demostracin: Como ]C = 180o 144o = 36o = 72o /2 obtenemos que 4ABC 4AP B, lo
AC
que imprica AB = AB
AP
. Adems el tringulo 4BCP es isoceles, y por lo tanto AB = BP = CP .
Figura 1-7
Daremos ahora el concepto de rectas antiparalelas, este concepto se debe a Leibnits. El concepto
de rectas antiparalelas se basa en el siguiente teorema.
O = AB DC
R = AD BC
12 Preliminares
D Q
B
O A
Figura 1-8
X
Y
A
B
Figura 1-9
Demostracin: Si la recta AE es tal que ]DAE = ]CAB, entonces los 4DAE ' 4CAB
por lo tanto AD
AC
= ED
BC
de donde AD BC = ED AC. Como tambin 4DAC ' 4EAB por lo
AB AC
tanto BE = CD de donde AB CD = BE AC. Sumando las igualdades obtenemos
AD BC + AB CD = ED AC + BE AC
= (ED + BE) AC
= BD AC
A
C
Figura 1-10
El siguiente teorema se debe a Arqumedes, quin lo uso para dar un clculo aproximado de .
A
C
Figura 1-11
AB 2 4r2 AB 2
OD2 = r2 =
4 4
anlogamente usando el tringulo 4DAC obtenemos
AB 2
AC 2 = + (r OD)2
4
AB 2 4r2 AB 2
= + r2 r 4r2 AB 2 +
4 4
2 2 2
= 2r r 4r AB
O C
D
Figura 1-12
Problemas
Problema 1 Dados dos puntos distintos A y B entonces el lugar geomtrico de los puntos
equidistantes a A y B es la mediatriz del segmento AB.
Problema 2 Dados dos rectas distintas a y b entonces el lugar geomtrico de los puntos equidis-
tantes a a y b es la unin de las bisectrices de los dos ngulos definidos por a y b.
Problema 3 Dado un tringulo 4ABC, entonces las mediatrices de los lados del tringulo son
concurrentes en un punto O equidistante de los vrtices del tringulo.
Preliminares 15
Problema 4 Dado un tringulo 4ABC, entonces las cuatro bisectrices de los ngulos del trin-
gulo son concurrentes en cuatro puntos I, Ia , Ib y Ic cada uno equidistante de los lados del trin-
gulo.
Problema 7 Dado un tringulo 4ABC con todos sus ngulos agudos, si 4DEF es el tringulo
formado por los pies de las alturas. Entonces 4ABC4DEF consiste en tres tringulos semejates
al tringulo original 4ABC.
Problema 8 Dado un crculo de radio r, entonces el lugar geomtrico de los puntos desde los
cuales se trazan tangentes ortogonales al crculo es un crculo concntrico de radio R, tal que
R2 = 2r2 .
Figura 1-13
d = R cos
Problema 10 Dados dos crculos de radios R1 y R2 con d la distancia entre sus centros, entonces
el ngulo entre los crculos satisface la relacin:
Problema 11 Demostrar que las rectas a y b son antiparalelas respecto a las rectas c y d sii las
rectas c y d son antiparalelas respecto a las rectas a y b.
Problema 12 Demostrar que si las rectas a y b son antiparalelas respecto a las rectas c y d, de tal
forma que d pasa por la interseccin de a y b, entonces d es tangente al circuncrculo del tringulo
formado por a, b y c.
Problema 13 Demostrar que si las rectas a y b son antiparalelas respecto a las rectas c y d, y si
a y b son antiparalelas respecto a las rectas c y d0 , entonces d k d0 .
16 Preliminares
Problema 15 Usar el problema anterior para dar una constriccin de un pentgono regular.
Problema 16 Encontrar tres pares de rectas, tales que cada par son antiparalelas respecto a los
otros pares.
Problema 17 Dados un punto P y una esfera de centro O y radio R, una secante de la esfera
desde P que corta a la esfera en puntos A y B es tal que el producto P A P B es constante e igual
a P O2 R2 . Ms aun si P es un punto exterior de la esfera entonces P A P B = P T 2 , donde
P T es una de las tangente a la esfera. Definir el concepto de potencia de un punto respecto a una
esfera.
Construcciones Geomtricas
En esta seccin estudiaremos las construcciones bsicas de la geometra euclidiana plana. La
mayora de las construcciones se dejaran como ejercicios en cada caso es muy importante discutir
las condiciones para que exista una solucin y ,en el caso de haber ms de una, el nmero de
soluciones.
Para los griegos el concepto de construcciones geomtricas se basaban en el uso de regla y
comps. Esto se debe a que la recta y el comps reflejan fielmente los primeros axiomas de la
geometra euclidiana (ver ejercicio ?). Nosotros daremos definiciones del uso de regla y comps
que son un poco distintas a las dadas por los griegos, sin embargo estos conceptos son equivalentes
a los de los griegos, ver ii) y problema 1, pag. 20. Las construcciones bsicas son:
i) Uso de una regla: Esto significa que dados dos puntos distintos podemos trazar la recta que
los une. Aunque en la practica las reglas son de longitud fija (y finita) nosotros supondremos que
no tenemos esta limitacin.
ii) Uso de un comps: Esto significa que dados tres puntos A, B y O podemos trazar el crculo
de radio AB y centro O. Hay que notar que este concepto de comps difiere al concepto de Euclides,
l cual permite solo trazar un crculo con centro un punto dado y que pasa por otro punto dado.
iii) Definir el punto de interseccin de dos rectas dadas.
iv) Definir uno ambos de los puntos de interseccin de una recta y un crculo dados.
v) Definir uno ambos de los puntos de interseccin de dos crculos dados.
vi) Marcar un punto arbitrario. El cual puede estar en una recta o fuera de y en un lado dado
de la recta. Tambin puede estar en, dentro o fuera de un crculo dado.
Claramente estas construcciones incluyen entre otras: trazar una recta arbitraria, trazar una
recta que pase por un punto y distinta de una recta dada, trazar un crculo con un centro dado y
que intersecte (o no intersecte) una recta (o un crculo dado). Claramente el uso de regla y comps
nos dan tambin las siguientes contrucciones.
Preliminares 17
Cada construccin, al igual que un teorema, tiene una parte que describe la construccin y otra
que la justifica, que no es otra cosa que la demostracin de que lo que se construyo corresponde a
lo buscado.
En esta seccin algunas veces se omitiremos la justificacin y se deja como problema la
demostracin correspondiente. En algunas figuras no se muestran todas las lneas de la construc-
cin, esto cuando se simplifica la figura y no hay peligro de confusin.
Actualmente con ayuda de las computadoras no es necesario usar las construcciones con regla
y comps. Por lo tanto las construcciones tienen nicamente una importancia terica, sin embargo
es uno de los temas ms hermosos de la geometra. Ms aun a sido la base de muchos de los avances
de otras partes de la matemticas, por todo esto sigue siendo uno de los temas ms importantes.
Aun que actualmente el uso de las construcciones con regla y comps ha disminuido no siempre
ha sido este el caso. Debido a esto se han desarrollado algunas formas para comparar dos soluciones
para un problema de construccin. Uno de los mtodos es el propuesto por Lemoine (ver [34],
captulo 11), el cual propone definiciones de simplicidad y exactitud de una construccin. Sin
embargo estos criterios no son tan satisfactorios. Una razn es que no distingue entre la precisin
que se obtiene encontrando la interseccin de dos rectas de cuando estas se cortan en un ngulo
cercano a los 90 (buena precisin) grados de cuando estas se cortan en un ngulo cercano a los 0
grados (mala precisin).
M B
A
Figura 1-14
Construcin 1.53 Dados una recta l y un punto P no en la recta trazar la recta m paralela a l
que pasa por el punto P .
P Q
A O B
Figura 1-15
Construcin 1.54 Dados una recta l y un punto P trazar la recta m perpendicular a l que pasa
por el punto P .
B
A
Figura 1-16
A5
A4
A3
A2
A1
A B1 B2 B3 B4 B
Figura 1-17
R
O
Figura 1-18
20 Preliminares
Construcin 1.57 Dado un circulo C de centro O y un punto P exterior a C trazar las tangentes
a C desde P .
O P
T'
Figura 1-19
Problemas
En los siguientes problemas se pide que se de las construcciones que se da en el problema.
Problema 2 Dados una recta l y un punto P l trazar la recta m perpendicular a l que pasa
por el punto P .
Problema 6 Construr un crculo tangente a una recta en un punto dado de la recta y que pase
por otro punto dado.
B P A
Figura 1-20
AR (AR + RQ) = AB 2
AP 2 = AB (AB AP )
AP 2 = AB P B
P A
Figura 1-21
]AP B = ]P AB = 2
]AP B + ]P AB + ]P BA = 5 = 180o
Trigonometra
Para ver las demostraciones de los resultados de esta seccin ver [32].
Formulas Trigonometricas
En esta seccin daremos, en forma de resumen, los resultados ms importantes de las identi-
dades trigonomtricas.
Teorema 1.60 Las funciones seno y coseno satisfacen las siguientes propiedades:
Preliminares 23
i) sen2 x + cos2 x = 1
ii) sen(R) [1, 1] y cos(R) [1, 1]
ii) cos 90o = 0, sen 0 = 0, sen 90o = 1 y cos 0 = 1
iv) Si x y y son complementarios, entonces sen x = cos y.
v) cos(x) = cos x y sen(x) = sen x.
vi) cos(x y) = cos x cos y + sen x sen y
vii) cos(x + y) = cos x cos y sen x sen y.
viii) sen(x y) = sen x cos y cos x sen y.
ix) sen(x + y) = sen x cos y + cos x sen y.
La funcin seno se anula en el conjunto Z(S) = 180Z. La funcin coseno se anula en el conjunto
Z(C) = 180Z + 90. Esto es Z(S) = sen1 (0) = {x R : sen x = 0} y Z(C) = cos1 (0) = {x
R : cos x = 0}
Teorema 1.62 Las funciones seno y coseno satisfacen las siguientes identidades:
sen2 x
i) 2 sen2 x2 = 1 cos x = 1+cos x
sen2 x
ii) 2 cos2 x2 = 1 + cos x = 1cos x
iii) tan(x) = tan x y cot(x) = cot x
iv) tan x2 = 1cos
sen x
x sen x
= 1+cos x
tan x+tan y
v) tan(x + y) = 1tan x tan y
vi) sen x + sen y = 2 sen( x+y 2
) cos( xy
2
)
x+y xy
vii) sen x sen y = 2 cos( 2 ) sen( 2 )
viii) cos x + cos y = 2 cos( x+y 2
) cos( xy
2
)
x+y xy
ix) cos x cos y = 2 sen( 2 ) sen( 2 )
Los siguientes problemas sirven tanto para practicar el uso de las identidades anteriores como
para estudiar nuevas identidades.
Problemas
Problema 1 Demostrar las identidades del teorema 1.62,usando nicamente las identidades del
teorema 1.60.
1tan2
Problema 11 cos = 1+tan2
2
.
2
2 tan
Problema 12 tan = 2
1tan2 2
Problema 13 Demostrar que las funciones trigonomtricas son peridicas de periodo 360o .
Problema 14 Encontrar los valores de las funciones trigonomtricas de los valores 360o , 180o ,
120o , 240o , 45o , 90o + x, 90o x.
45o
Problema 15 Encontrar los valores de las funciones trigonomtricas del ngulo 2
.
31 3+1
Problema 16 Usando que 15o = 45o 30o encontrar que sen 15o =
2 2
y que cos 15o = .
2 2
Geometra y Trigonometra
En un tringuloM ABC de lados a, b y c se tiene definidos los siguientes conceptos geomtricos:
a) R = Radio del crculo circunscrito O
b) = Area del tringulo
c) r = Radio del crculo inscrito I
d) ra , rb , rc = Radios de los crculos excritos Ea , Eb y Ec .
e) s = a+b+c 2
= Semipermetro del tringulo
Adems tenemos la igualdad fundamental A + B + C = 180o .
Los cuales aparecen en el siguiente teorema fundamental. Los resultados de este teorema
los usaremos como axiomas para el estudio de las relaciones entre las funciones trigonomtric-
as y la geometra del tringulo. Estos axiomas son la base para demostrar todas las propiedades
restantes, ms aun cada uno de estos teoremas relacionan un concepto geomtrico con las funciones
trigonomtricas. De hecho son los nicos resultados que demostraremos usando alguna propiedad
geomtrica, para todas las otras usaremos las identidades trigonomtricas ver [32].
Preliminares 25
C'
O
I X
A F B
Z
Figura 1-22
Para demostrar (T 4) sean X, Y y Z los puntos de contacto del crculo inscrito con los lados
del tringulo. Como el centro del crculo inscrito est en la bisectriz de ]BAC tenemos que
A/2 = ]IAZ y AY = AZ = , BZ = BX = , CX = CY = , entonces
r
tan(A/2) =
de donde se obtiene que + + = s, + = a y por lo tanto = s a.
Para demostrar (T 5) ver el problema (1, p. 28).
c = a cos B + b cos A
Teorema 1.68 En el 4ABC se tiene las expresiones para calcular el rea de un tringulo.
p
= s(s a)(s b)(s c) (1)
= rs (2)
= abc/4R (3)
2
= 2R sen A sen B sen C (4)
a2 b2 sen2 C
2 = = a2 b2 sen2 (C/2) cos2 (C/2) =
4
= s(s a)(s b)(s c)
ab sen C abc
= = = 2R2 sen A sen B sen C
2 4R
r2 (sb)(sc)
Usando tan2 (A/2) = (sa)2
= s(sa)
, obtenemos
2 = a AD = b BE = c CF
Los puntos de contacto de incrculo con los lados del tringulo son X, Y y Z.
AY = AZ = s a
BZ = BX = s b
CY = CX = s c
adems tenemos:
= rs = IX s = IY s = IZ s
Los puntos de contacto de los excrculos con los lados correspondientes son X 0 , Y 0 y Z 0 .
BZ 0 = CY 0 = s a
AZ 0 = CX 0 = s b
AY 0 = BX 0 = s c
28 Preliminares
adems tenemos:
XX 0 = b c
YY0 = ca
ZZ 0 = a b
s(b c)
DX 0 =
a
s(c a)
EY 0 =
b
s(a b)
F Z0 =
c
Demostracin: Como AF = b cos A y AZ 0 = s b tenemos que
F Z 0 = AZ 0 AF = s b b cos A
b2 + c2 a2
= sb
2c
2sc + a2 (b + c)2
=
2c
2sc + 2s(a b c) s(a b)
= =
2c c
Problemas
ra
Problema 1 tan(A/2) = s
.
Problema 2 = ra (s a)
Problema 3 2 = rra rb rc
1 1 1 1
Problema 4 r
= ra
+ rb
+ rc
Problema 5 r + 4R = ra + rb + rc
Problema 7 r = 4R sen A/2 sen B/2 sen C/2 = R(cos A + cos B + cos C 1)
Problema 8 ra = 4R sen A/2 cos B/2 cos C/2 = R( cos A + cos B + cos C + 1)
a2 +b2 +c2
Problema 9 cot A + cot B + cot C =
Preliminares 29
Problema 10 Dado un tringulo 4ABC y un punto D AB, entonces los incrculos de los
tringulos 4ADC y 4DBC son tangentes a CD en mismo punto sii D es el punto de tangencia
del incrculo del tringulo 4ABC. Enunciar y demostrar el resultado anlogo para los excrculos
de los tringulos 4ADC y 4DBC.
A D B A D B
2 3
Problema 11 Usando que = y el problema (6, p. 24) encontrar que sen 5 = 51
y
5 5 4
10+2 5
que cos 5 = 4
.
Problema 12 Usar el problema anterior para dar una construccin, usando regla y comps, de
un pentgono regular.
Problema 13 Demostrar:
aR = cy + bz
ax + by + cz = 2sr
r+R = x+y+z
ax + by + cz = 2(s a)ra
ra R = x + y + z
ra + rb + rc r = 4R
M L
O
y x
A N B
Figura 1-23
30 Preliminares
Eje Radical
Esta seccin es un primer ejemplo de un concepto moderno, aun que usa resultados conocidos
por Euclides. El concepto de potencia de un punto respecto a un crculo esta ntimamente ligado
al de crculos ortogonales. La propiedad principal que los relaciona es la siguiente.
Teorema 1.69 Sean C1 y C2 dos crculos O1 y O2 sus centros y R1 y R2 sus radios, entonces C1
y C2 son ortogonales sii la potencia de O1 respecto al crculo C2 es R12 .
Definicin 1.70 El eje radical de dos crculos es el lugar geomtrico de los puntos que tienen la
misma potencia respecto de los dos crculos dados.
Teorema 1.72 El eje radical de dos crculos no concntricos es una recta perpendicular al la recta
de los centros de los cculos.
restando MP 2 obtenemos
2
OM 2 R2 = O0 M 2 R0 (1.1)
esto es M esta en el eje radical. Inversamente si P se proyecta en M entonces P est en el eje
radical.
2 R02
La igualdad 1.1 es equivalente a las igualdades OM + MO0 = OO0 y OM MO0 = R OO 0 ,
estas dos igualdades determinan al punto M, por lo tanto queda demostrado el teorema.
Para evitar excepciones en los enunciados definiremos el eje radical de dos crculos concntricos
2 R02
como la recta al infinito. Esto se sigue porque como OM = OO0 + R OO 0 si O0 se acerca a O entonces
M se acerca a un punto al infinito.
El teorema equivalente a la existencia del circuncentro esta dado por el siguiente resultado.
Preliminares 31
O O'
Figura 1-24
Teorema 1.73 Los ejes radicales de tres crculos tomados por pares son concurrentes.
Figura 1-25
Problemas
Problema 1 Dados tres crculos, cuyos centros no estn alineados, entonces existe a los ms un
crculo ortogonal a los crculos dados. Si los tres crculos son exteriores dos a dos, entonces exite
un crculo ortogonal a los crculos dados.
32 Preliminares
Problema 2 Encontrar el lugar geomtrico de los puntos cuya suma de potencias respecto a dos
crculos es constante.
Problema 3 Encontrar el lugar geomtrico de los puntos cuya diferencia de potencias respecto
a dos crculos es constante.
Problema 4 Encontrar el lugar geomtrico de los puntos cuyo cociente de potencias respecto a
dos crculos es constante.
Problema 5 Si dos circunferencias tienen una tangente en comn, entonces su eje radical bisecta
la tangente comn.
Orientacin en la Geometra
En este captulo daremos los primeros resultados de la geometra euclidiana ms all de los
resultados conocidos por los griegos. El principal concepto que estudiaremos es el de orientacin,
el cual se aplica tanto a rectas como a ngulos, planos y espacios. Este concepto nos permitir
tambin dar los enunciados de los teoremas de Ceva y Menelao as como las definiciones de
puntos conjugados isogonales e isotpicos. Nosotros solo daremos algunos de los resultados ms
elementales y sin profundizar (en el sentido axiomtico) en las demostraciones, sino que usaremos
la intuicin cotidiana.
Geometra Analtica
En esta seccin daremos un resumen de los resultados de la geometra analtica que usaremos
en este libro. Los usaremos principalmente en los ejemplos. En particular daremos las frmulas
para calcular el rea de un tringulo y el volumen de un tetraedro; estas frmulas incluyen el
concepto de orientacin, esto es, que el resultado es positivo sii el tringulo (o tetraedro) esta
otientado positvamente.
Dados dos puntos A = (x1 , y1 ) y B = (x2 , yp
2 ). entonces la distancia estre ellos la denotaremos
por |AB| y est dada por la frmula |AB| = (x2 x1 )2 + (y2 y1 )2 . El siguiente resultado es
importante para muchas demostraciones.
Teorema 2.1 Dados los puntos A1 ,..., An y los reales 1 ,..., n y , definimos el conjunto
X = {P : 1 |P A1 |2 + ... + n |P An |2 = }
entonces
33
34 Orientacin en la Geometra
P
i) Si Pni=1 i = 6= 0, X es un crculo, un punto o el conjunto vacio.
ii) Si ni=1 i = 0, X es una recta, todo el plano o el conjunto vacio.
y obtenemos el resultado.
Si m R2 es una recta dada por el polinomio AX +BY +C, abusando un poco de la notacin,
llamaremos m (X, Y ) al polinomio, as
m(X, Y ) = AX + BY + C (2.1)
La recta m divide al plano en dos semiplanos, en uno de los semiplanos m(X, Y ) es positiva
y en el otro es negativa. La regin donde es positiva coincide con la regin hacia donde apunta el
vector Ai+Bj. Podemos dar a la recta m una orientacin, la direccin positiva queda determinada
por la condicin que el semiplano donde m(X, Y ) > 0 esta a la izquierda de la recta. Denotaremos
por Sm el semiplano {P : m(P ) > 0}.
6
y
-6 -4 -2 2 4 6
x
-2
-4
-6
m (a, b) Aa + Bb + C
(P, m) = = (2.2)
2
A +B 2 A2 + B 2
La distancia dirigida tiene signo, que nos indica de qu lado de la recta est el punto.
Orientacin en la Geometra 35
Definicin 2.3 (Distancia de un punto a una recta) La distancia de un punto P a una rec-
ta m es el valor absoluto de su distancia dirigida
d (P, m) = |(P, m)|
Si P0 = (x0 , y0 ) y P1 = (x1 , y1 ), entonces la mediatriz de P0 y P1 es la recta m que tiene por
ecuacin
r02 = r12
donde p
ri = (X xi )2 + (Y yi )2
para i = 0, 1.Esto es:
Demostracin. La ecuacin de l es
Teorema 2.6 Dados las rectas l1 ,..., ln y los reales 1 ,..., n y , definimos el conjunto
si es una de las regiones el que las restas li dividen al plano, entonces X es la interseccin
de con una recta, el vacio o todo .
Demostracin: Podemos suponer que = ni=1 Sli y por lo tanto, para los puntos de , que
d(P, li ) = ai x + bi y + ci con a2i + b2i = 1. Por lo tanto si f (P ) = 1 d(P, l1 ) + ... + n d(P, ln )
tenemos n ! n !
X X Xn
f (P ) = ai i x + bi i y + ci
i=1 i=1 i=1
Demostracin: Como
CA = (x1 x3 )i + (y1 y3 )j
CB = (x2 x3 )i + (y2 y3 )j
x x3 y1 y3
tenemos que k = 12 CA CB y por lo tanto = 12 1 .
x2 x3 y2 y3
Anlogamente,usando el triple producto escalar, se demuestra que:
Orientacin en la Geometra 37
es una recta perpendicular al recta que une los centros de los crculos.
Demostracin: Claramente
Teorema 2.11 Dados tres crculos, con centros no colineales, A1 , A2 y A3 . Entonces los tres ejes
radicales e1,2 , e2,3 y e3,1 , son concurrentes.
Demostracin: Claramente e2,3 y e3,1 no son paralelas, y sea O = e2,3 e3,1 , entonces O es
equipotente respecto a los tres crculos. Por lo tanto O e1,2 .
En este caso el punto O se llama el centro radical de los crculos dados.
38 Orientacin en la Geometra
Problemas
Problema 1 Dadas dos esferas, no concntricas, E1 y E2 , entonces
es un plano perpendicular al recta que une los centros de los crculos. El plano 1,2 se llama el
plano radical de las esferas dadas.
Problema 2 Dadas tres esferas, con centros no colineales, E1 , E2 y E3 . Entonces los tres ejes
radicales 1,2 , 2,3 y 3,1 , se intersectan en una recta perpendicular al plano determinado por los
centros de las esferas.
Problema 3 Dadas cuatro esferas Ei , i = 1, ..., 4, con centros no coplanales. Entonces existe un
punto nico O contenido en los planos radicales ij . En este caso el punto O se llama el centro
radical de las esferas dadas.
Problema 4 En el teorema 2.1, pag. 33, Demostrar que si X es un crculo, entonces su centro
es el centro de gravedad de las masas M = {(Ai , i ) : i = 1, ...n} (ver seccin ??, pag. ??). Si X
es una recta, entonces cada masa (Ak , k ) es el centro de gravedad de las masas M {(Ak , k )}.
Problema 7 Dado un rectngulo R encontrar el conjunto de puntos P tales que la suma de las
distancias de P a dos lados opuestos de R es igual a la suma de las distancias de P a los otros
dos lados opuestos de R. El resultado depende de la forma de R?
Captulo 3
Los nmeros complejos C son indispensables para la demostrar algunos de los teoremas ms
avanzados de la geometra. La mayora de las aplicaciones estn fuera del alcance de estas notas.
Ver las referencias ? y ?. Sin embargo el siguiente teorema nos da una idea de cmo se usa el
lgebra para demostrar resultados en geometra.
Estudiaremos como construir, con regla y comps, un pentgono regular. Para esto usamos
que las races de la ecuacin z 5 = 1 son los vrtices de un pentgono regular. Para construir una
de las races a, distinta de uno, basta construir el segmento re a.
1+ 5
Teorema 3.1 La solucin a de la ecuacin z 5 = 1 con arg r = 72o es tal que re a = 4
.
Demostracin: Como
z 5 1 = (z 1)(z 4 + z 3 + z 2 + z + 1)
z 2 + z 2 + z + z 1 + 1 = 0
por lo tanto si = a + a1 , donde como las races son de magnitud uno, tenemos que = a + a =
2 re a y adems 2 = a2 + a2 + 2. Por lo tanto el nmero satisface la ecuacin
2 + 1 = 0
1 5
que tiene como raices 2
.
39
40 Los Nmeros Complejos y Geometra
Usando la ley de los senos tenemos que el lado b de un polgono de diez lados es igual a
360
b = 2 sen = 2 cos 18o = 2 cos 72o
2 10
1 + 5
=
2
Con la misma idea vamos a construir un polgono regular de 17 lados. Ms aun con ayuda
de la teora de campos Gauss demostr el teorema de que nos dice que dado un primo impar p,
n
entonces se puede construir, con regla y comps, un polgono de p lados sii pn = 22 + 1, con n
un entero no negativo. Los nmeros p0 = 3, p1 = 5, p2 = 17, p3 = 257 y p4 = 65537 son primos.
n
Adems son los nicos numeros primos conocidos, de lo forma 22 + 1, y no se sabe si hay ms o
no.
Problemas
Problema 1 Dados dos nmeros enteros n y m relativamente primos entonces existen dos nmeros
enteros x y y tales que nx + my = 1. Usar este resultado para demostrar que si Pn y Pm son dos
polgonos regulares con n y m lados, entonces podemos construir, con regla y comps, un polgono
regular Pnm con nm lados.
Problema 3 Encontrar cuales polgonos regulares, de un nmero impar de lado, se conocen que
se pueden contruir con regla y comps.
Problema 4 Dado un crculo C de centro O, sean A y B los extremos de dos dimetros perpen-
diculares y M el punto medio de O y A. El crculo de centro M que pasa por B intersecta al
dimetro OA en C, punto interior de C. Demostrar que OC y (CB resp.) es el lado del decgono
(petgono resp.) del crculo C.
A
C O M
Figura 3-1
Los Nmeros Complejos y Geometra 41
adems la funcin
: F( ) F( )
definida por (a + b ) = a b es un automorfismo de F( ) que deja fijo a F.
Demostracin: Si K = {a + b : a, b F}, entonces K es cerrado ante sumas y producto.
Ademas si x = a + b
1 1 ab
x = = 2
a+b a b2
y por lo tanto x1 K.
Esto es K es uncampo que contiene a F y a .
Adems si x = a + b y y = c + d entonces
(x + y) = (a + c + (b + d) )
= a + c (b + d)
= (x) + (y)
42 Los Nmeros Complejos y Geometra
anlogamente
(xy) = ((a + b )(c + d ))
= (ac + bd + (ad + bc) )
= ac + bd (ad + bc)
= (a b )(c d )
= (x)(y)
Corolario 3.3 Dado un campo F R y F tal que / F, si a + b , con b 6= 0, es una
raiz de un polinomio P F[X], entonces a b , es una raiz de P .
El siguiente teorema nos dice como construir las raices de una ecuacin de segundo grado.
Teorema 3.5 Dados los segmentos b y c entonces las soluciones de la ecuacin x2 + 2bx + c = 0
son las abscisas de las intersecciones del eje de las x0 s con el crculo de dimetro el segmento que
une los puntos B = (0, 1) y P = (2b, c).
(1 + c)2 (1 c)2
(x + b)2 + b2 = 0
4 4
x2 + 2bx + c = 0
El teorema anterior nos dice que las raices reales de una ecuacin de segundo grado, con
coeficientes constructibles con regla y comps, se pueden construir con regla y comps.
Los Nmeros Complejos y Geometra 43
B
A1 A2
Figura 3-2
Teorema 3.6 Dados segmentos a1 ,..., an entonces los segmentos que se pueden construir con
regla y comps son los elementos de un campo de la forma
Demostracin: Con los segmentos dados se pueden construir puntos y crculos de coordenadas
y radios en K = Q(a1 , ..., an ). En este caso las rectas y los crculos definidos por estos puntos tienen
ecuaciones con coeficientes en K, asi mismo las ecuaciones de los ejes radicales de dos crculos.
2
Pero las intersecciones
2de rectas son puntos de K y las intersecciones de una recta con un crculo
son puntos de K( ) , donde K y por ltimo la interseccin de crculos es equivalente a
interseccin de uno de los crculos dados con el eje radical de los crculos dados.
Por induccin obtenemos el resultado buscado.
Teorema 3.7 Dada la ecuacin P (T ) = T 3 + AT 2 + BT + C F[T ], tal que una de sus raices
est en F, entonces las otras raices estn en F( ), donde F.
P (T ) = (T )Q(T )
donde Q(T ) F[T] es un polinomio, de segundo grado, con coeficientes en F y por lo tanto sus
raices estn en F( ).
Teorema 3.8 Dada la ecuacin P (T ) = T 3 + AT 2 + BT + C F[T ], tal que una de sus raices
se puede construir con regla y comps, entonces las otras tambin se pueden construir con regla y
comps. Adems este caso se da sii una de las raices est en F.
Demostracin: Sea
Fn ) Fn1 ) Fn2 ) ... ) F1 ) F0 = F
44 Los Nmeros Complejos y Geometra
una cadena de campos tal que P tiene una raiz en Fn . Sean a1 , a2 y a3 las raices de la ecuacin,
si alguna est en F tenemos la situacin del teorema anterior. Por lo tanto podemos suponer n
es tal p
que n > 0, a1 Fn y que Fn1 no contienep ninguna de las raices. Como a1 Fn Fn1 =
Fn1 ( n1 ) Fn1 tenemos que a1 = p + qpn1 , con p y q Fn1 y q 6= 0. Y por lo tanto otra
de las raices, por ejemplo a2 , es igual a p q n1 Fn . Lo que implica que a1 + a2 = 2p Fn1
y como a1 + a2 + a3 = A F tenemos que a3 = A 2p Fn1 , contradiccin a la suposicin
de que Fn1 no contiene ninguna de las raices y por lo tanto n = 0.
Daremos ahora algunas aplicaciones de estos resultados. Claramente un ngulo se puede con-
struir con regla y comps sii su coseno (o seno) se puede construir con regla y comps.
Teorema 3.9 No se puede construir con regla y comps un ngulo de 20o .
Demostracin: Como cos 60o = 1/2 y el coseno de 20o satisface la ecuacin
4 cos3 20o 3 cos 20o cos 60o = 0
8 cos3 20o 6 cos 20o 1 = 0
y por lo tanto = 2 cos 20o satisface la ecuacin T 3 3T 1 = 0. Es facil ver (usando el teorema
0.4 pag. vi) que esta ecuacin no tiene raices racionales y por lo tanto cos 20o no se puede construir
con regla y comps.
Corolario 3.10 No se puede construir un polgono regular de nueve lados.
Demostracin: Construir un polgono regular de nueve lados es equivalente a construir un
ngulo de 40o = 360o /9 y por lo tanto equivalente a construir un ngulo de 20o .
Corolario 3.11 No se puede construir un polgono regular de siete lados.
Demostracin: Como en, 3.1, pag. 39, los vrtices de un polgono regular de siete lados son
las raices del polinomio z 7 1 = 0. Las raices no reales son las raices del polinomio
z6 + z5 + z4 + z3 + z2 + z + 1 = 0
z 3 + z 2 + z 1 + 1 + z 1 + z 2 + z 3 = 0
que usando las identidades
1 1
(z + )2 = z 2 + 2 + 2
z z
1 3 1 1
(z + ) = z 3 + 3 + 3(z + )
z z z
obtenemos la ecuacin equivalente
1 1 1
(z + )3 + (z + )2 2(z + ) 1 = 0
z z z
adems y = z + 1z = z + z = 2 cos 2 7
k, con k = 1, 2, 3. Pero (usando el teorema 0.4 pag. vi) la
ecuacin y 3 + y 2 2y 1 = 0 no tiene raices racionales y por lo tanto cos 2
7
no se puede construir
con regla y comps.
El problema de la duplicacin del cubo es el siguiente: Dado un cubo de lado uno construir el
lado b de un cubo que tenga volunen dos. Es uno de los problemas que se plantearon los griegos
y que no tienen solucin.
Los Nmeros Complejos y Geometra 45
Teorema 3.12 El problema de la duplicacin del cubo no tiene una solucin que se puede con-
struir con regla y comps.
Problemas
Problema 1 Demostrar que podemos construir un ngulo sii podemos construir un segmento
de longitud cos .
Problema 2 Dados un campo F R y F tal que
/ F y es un elemento de F( ) F,
entonces F( ) = F().
Problema 3 Dada la ecuacin P (T ) = T 4 + AT 3 + ... + D F[T ], tal que una de sus raices a
/F
se puede construir con regla y comps, entonces las otras tambin se pueden construir con regla y
comps.
n n1
Problema 4 Dada la ecuacin P (T ) = T + An1 T 0 F[T ], tal que una de
+ ... + A1 T + A
sus raices a F( ) F, entonces existe otra raiz b (6= a) tal que b F( ) F. (Este problema
generaliza el resultado de que si P (T ) R[T ] tiene una raiz a C R, entonces a es otra raiz de
P ).
z 16 + z 15 + z 14 + z 13 + ... + z 2 + z + 1 = 0
2i
por lo tanto si = e 17 tenemos la identidad
16 + 15 + 14 + 13 + ... + 2 + + 1 = 0
una ecuacin de segundo grado cuyos coeficientes se pueden construir con regla y comps. El
ltimo paso nos dara el segmento 2 cos 2
17
.
Primer paso: Definimos los segmentos:
w1 = + 2 + 4 + 8 + 16 + 15 + 13 + 9
w2 = 3 + 6 + 12 + 7 + 14 + 11 + 5 + 10
= 3 + 3 + 5 + 5 + 6 + 6 + 7 + 7
w1 + w2 = 1
w1 w2 = 4( + ... + 16 ) = 4
x1 = + 4 + 16 + 13
x2 = 2 + 8 + 15 + 9
x1 + x2 = w1
x1 x2 = + ... + 16 = 1
y1 = 3 + 12 + 14 + 5
y2 = 6 + 7 + 11 + 10
y1 + y2 = w2
y1 y2 = + ... + 16 = 1
Como y1 = 2 cos 6
17
+ 2 cos 10
17
= 2 cos 6
17
2 cos 7
17
> 0. Por lo tanto y1 es la nica raiz positiva
de la ecuacin que la define.
Cuarto paso: Definimos los segmentos:
2
z1 = + 16 = + 1 = 2 cos
17
8
z2 = 4 + 13 = 4 + 4 = 2 cos
17
los cuales satisfacen las identidades
z1 + z2 = x1
z1 z2 = 3 + 12 + 14 + 5 = y1
Daremos ahora una construccin del polgono regular de 34 lados (ver. [22, Captulo 6]).
Problemas
Problema 1 Encontrar las coordenedas de los puntos de la construccin, los radios de los crculos
Ci y los radiso ri de Ci .
48 Los Nmeros Complejos y Geometra
G K L D F O CH B E
Figura 3-3
z3 w3 1
Demostracin: Los puntos z, z1 y z2 estn alineados sii 4z1 z2 z3 4z1 z2 z3 lo que implica
a).
Para lo que sigue necesitamos el siguiente lema:
t1 + t2 t3 t4
z = t1 t2 t3 t4 =
t1 t2 t3 t4
Demostracin: Las ecuaciones de t1 t2 y t3 t4 son z + t1 t2 z = t1 + t2 y z + t3 t4 z = t3 + t4
respectivamente. Por lo tanto la interseccin est dada por el punto
t3 t4 (t1 + t2 ) t1 t2 (t3 + t4 )
z =
t3 t4 t1 t2
t1 t2 t3 t4 t3 t4 (t1 + t2 ) t1 t2 (t3 + t4 )
=
t1 t2 t3 t4 t3 t4 t1 t2
t1 + t2 t3 t4
=
t1 t2 t3 t4
Captulo 4
Geometra Mderna
En este capitulo daremos los resultados bsicos de la teora de la geometra moderna, esto es
de la geometra posterior al periodo griego. Aun que algunos resultados son del periodo griego no
fueron desarrollados de una forma sistemtica y por lo tanto no eran parte de una teora.
En este captulo daremos los primeros resultados de la geometra euclidiana ms all de los
resultados conocidos por los griegos. El principal concepto que estudiaremos es el de orientacin,
el cual se aplica tanto a rectas como a planos y espacios.
Aritmtica de segmentos
En esta seccin daremos las construcciones que corresponden a las operaciones aritmticas.
En el tiempo de Euclides las rectas no estaban orientadas y por lo tanto no se preocupaban
de la diferencia entre direccin en un segmento. En esta seccin tomaremos esta posicin, aunque
hay situaciones donde hemos usado las expresiones como: construir un punto fuera (o dentro) de
segmento, que substituan la necesidad del uso de nmeros negativos.
Para la definicin de algunas de las operaciones aritmticas necesitamos primero definir cual
ser el segmento que tomaremos como la unidad. Aunque su eleccin es arbitraria es necesaria para
poder definir el producto, la divisin y la raz cuadrada de segmentos. Para la suma y diferencia
de segmentos no se necesita el concepto de la unidad. Una forma de dar las construcciones sin
necesidad de introducir explcitamente el concepto de segmento unidad es expresar los problemas
en la forma siguiente: Dados tres (o dos) de los segmentos de la identidad
AB CD = P Q RS
51
52 Geometra Mderna
Construcin 4.1 Dados los segmentos AB y P Q (podemos suponer P Q > AB), construir dos
puntos C y D en la recta AB tales que BC = BD = P Q con C un punto en el interior de AB.
(Esto es equivalente a que AC = AB P Q y AD = AB + P Q).
AB
Construcin 4.2 Dados los segmentos AB, BC y P Q, construir un segmento QR tal que BC
=
PQ
QR
.
Construccin: Podemos suponer que A = P , que A, B y C estn un una recta y que Q esta
en una recta distinta a la anterior.
Por C trazamos la recta c paralela a la recta BQ, entonces el punto buscado es R = c P Q.
Claramente si AB es el segmento unidad, entonces QR = BC P Q. Anlogamente si P Q es el
segmento unidad, entonces QR = BC AB
.
AB BD
Construcin 4.3 Dados los segmentos AB y BC, construir un segmento BD tal que BD
= BC
.
A
B C
D'
Figura 4-1
Claramente si BC es el segmento unidad, entonces BD = AB.
Geometra Mderna 53
Problemas
Problema 1 Dado un segmento AB construir un punto P exterior a AB tal que AB AP
= PAPB .
(Sugerencia en la construccin 1.58, pag. 21, sea D0 el crculo de centro B y radio AQ tomar la
interseccin de D0 con AB del lado opuesto a B).
AB AP AP 51
Problema 2 Si AP
= PB
entonces AB
= 2
.
Problema 4 Dados una recta a y dos puntos P y Q, contruir un crculo tangente a a y que pase
por P y Q.
Problema 7 Demostrar
que la razn de la diagonal de un pentgono
regular a su lado es igual a
la razn urea = 2 . Usando lo anterior demostrar que cos 36 = 51
5+1 o
2
.
Problema 8 Usar el problema anterior para dar una construccin del pentgono regular.
Problema 9 Dado p un pentgono regular, entonces la razn del lado al radio del crculo circun-
1
scrito es igual a 2 10 2 5.
En los siguientes problemas usaremos la siguiente notacin: Dada una recta r, tenemos H uno
de los semiplanos abierto definidos por r y el conjunto = {crculos con centro en r} {rectas
perpendiculares a r}.
Rectas Dirigidas
Una de las diferencias ms importantes entre la geometra clsica y la geometra moderna es
la introduccin del concepto de signo y no solo el de magnitud. Dados dos segmentos AB y CD
en la misma recta podemos decidir si tienen la misma direccin o la direccin contraria. Dadas
dos rectas dirigidas, en general, no tiene sentido preguntarnos si tienen la misma direccin o no.
Sin embargo si las rectas son paralelas si podemos comparar direcciones. Por lo anterior en las
frmulas donde aparecen magnitudes de segmentos estos pueden tener signo sii estamos usando
segmentos en rectas paralelas. El ejemplo ms importante es cuando A, B y P estn en la misma
recta, entonces tenemos las expresiones P A P B y PAPB para las cuales tiene sentido preguntarnos
si son positivas o negativas.
As dados dos puntos distintos A y B definen dos segmentos, el segmento AB y el segmento
BA. Ambos tienen la misma magnitud y signos contrarios. Este hecho lo indicamos por la ecuacin
AB = BA o equivalentemente AB + BA = 0. El concepto de segmentos dirigidos tienen como
propiedades ms importantes al siguiente teorema.
Teorema 4.4 Si A, B y C son puntos distintos de una recta x, entonces tenemos las identidades
siguientes:
i) AB + BC + CA = 0
ii) (Euler) Si D es otro punto de x entonces
AB CD + AC DB + AD BC = 0
DA2 BC + DB 2 CA + DC 2 AB + AB BC CA = 0
AB = CB CA
= DA2 BC + DB 2 CA + DC 2 AB
= DA2 BC + DB 2 CA + DC 2 (CB CA)
= (DA2 DC 2 ) BC + (DB 2 DC 2 ) CA
= CA (DA + DC) BC + CB (DB DC) CA
= BC CA (DA DB)
= AB BC CA
Geometra Mderna 55
D0 A2 BC + D0 B 2 CA + D0 C 2 AB + h2 (AB + BC + CA) = AB BC CA
Teorema 4.5 Dado el tringulo 4ABC, entonces si N el punto medio de AB, entonces
a2 + b2 c2
CN 2 =
2 4
CA2 NB + CB 2 AN + CN 2 BA + AN NB BA = 0
c c c c
b2 + a2 CN 2 c c = 0
2 2 2 2
Corolario 4.6 Dados dos puntos A y B, entonces el lugar geomtrico de los puntos C tales que
AC 2 + BC 2 es constante es un crculo con centro N el punto medio de AB.
2 2 2
Demostracin: Por el teorema CN 2 = a +b 2
c4 , esto es CA2 + CB 2 constante sii CN es
constante.
En geometra proyectiva real el estudio de la proyeccin desde un punto se hace gracias al
siguiente teorema el que es central para demostrar la invariancia de la razn cruzada (ver teorema
8.5, pag. 122).
Recordaremos algunas propiedades de la razn en que un punto divide un segmento. Dados
dos puntos, finitos, distintos A y B en una recta x. Entonces tenemos la funcin
r : x R {}
definida como
r(C) = AC/CB
esta funcin es biyectiva y tenemos que r(A) = 0, r(B) = y r(Ix ) = 1. Claramente r(C) = 1
sii C es el punto medio de AB.
Para relacionar algunas propiedades mtricas entre las hileras de puntos y haces de rectas
necesitamos el siguiente teorema.
56 Geometra Mderna
Teorema 4.7 Sean A y B dos puntos finitos distintos en una recta x, sea P otro punto de x y
C un punto (finito) que no esta en x, entonces
AP CA sen(ACP )
=
PB CB sen(P CB)
Demostracin: Tenemos que
AP (AP C)
=
PB (P BC)
CA CP sen(ACP )
=
CB CP sen(P CB)
CA sen(ACP )
=
CB sen(P CB)
A P B
Figura 4-2
Problemas
Problema 1 Si A, B y P son puntos colineales y M es el punto medio de AB, entonces
PA + PB
PM =
2
Problema 2 Si A, B y O son puntos colineales, entonces
OA2 + OB 2 = AB 2 + 2 OA OB
BD CD BC + CD AD CA + AD BD AB + BC CA AB = 0
Angulos Dirigidos
En el caso de los ngulos daremos varias definiciones. Cada una tiene tiene sus importancia y
aplicaciones.
Dados dos rayos OA y OB, donde O, A y B no estn alineados, definimos el ngulo ]AOB
como la interseccin de los semiplanos y donde (resp. ) est definido como el semiplano
tal que OA y B (resp. OB y A ). El smbolo ]AOB tambin denota la
medida del ngulo; en estas notas usaremos los grados como unidad de los ngulos. En algunos
casos usaremos el radian como unida, en esos casos lo diremos explcitamente. Esta es la manera
clsica de estudiar los ngulos y es el consepto usado en los teoremas de Euclides.
Igual que en los segmentos hay ocaciones en es muy til dar a un nglo una direccin. Con-
trario al caso de las rectas podemos escoger una direccin que es comn para todos los angulos.
Usualmente se usa el sentido contrario al de las manesillas del reloj como el sentido positivo. El
ngulo es positivo si al girar el rayo OA en el sentido positivo se mantiene en el ngulo ]AOB.
En este caso diremos que dos ngulos son equivalentes si difieren por un multiplo de 360o .
58 Geometra Mderna
Daremos ahora otra definicin de ngulo. En este caso es el ngulo entre dos rectas y no entre
rayos. En este caso denotamos el ngulo entre las rectas a y b por a, b y o llamaremos ngulo
dirigido; y es el ngulo positivo que a tiene que girar para coincidir con b. Anlogamente el AOB
significa el ngulo positivo que la recta OA tiene que girar para coincidir con OB. En particular
si A, B y C son tres puntos distintos de una recta l, entonces para todo D / l tenemos que
ABD = CBD. Diremos que dos ngulos dirigidos son equivalentes si difieren por un multiplo
de 180o .
La suma de dos ngulos est determinada por las siguientes reglas:
a, b + c, d = a, d + c, b
a, b + c, d = a, d + d, b + c, b + b, d
= a, d + c, b + 180o
= a, d + c, b
Teorema 4.11 Dados tres puntos A, B y C estn alineados sii para cualquier otro puntos ABD =
CBD.
Teorema 4.12 Dados cuatro puntos A, B, C y D son concclicos sii ABD = ACD.
Con ayuda de estos resultados podemos enunciar y demostrar los siguientes teoremas. El
primero es equivalente a que la suma de las ngulos de un tringulo es 180o ; el segundo es equiv-
alente a que un ngulo exterior es igual a la suma de los otros dos ngulos.
Teorema 4.15 Dados un tringulo ABC y su circuncentro O, entonces OAB = ACB +90o .
La importancia de estos teoremas consiste en que nos permiten dar muchas demostraciones de
una forma rigurosa sin necesidad de considerar un sin fin de casos y sin el peligro de inadvertida-
mente no considerar alguno de ellos. Para mostrar esto daremos dos demostraciones del mismo
teorema donde se ver la gran diferencia de usar el ltimo concepto.
Q
C
Z
A
B
Y
Figura 4-3
Nota: Si P est en otra posicin (por ejemplo donde est el punto Q) tenemos que algunos de
los ngulos que son suplementarios son iguales y otros que son suplementarios son iguales. y por
lo tanto la demostracin falla en esos casos. En particular la conclucin de que los ngulos ]P ZY
y ]P ZX son suplementarios es falsa.
Demostracin(ngulos dirigidos): Como P , B, Y y Z son concclicos tenemos P ZY =
P AY = P AC. Anlogamente se tiene P ZX = P BX = P BC. Pero como A, B, C y P
60 Geometra Mderna
Y P Z = Y AZ = CAB
ZP X = ZBX = ABC
sumando obtenemos
Y P X = Y P Z + ZP X
= CAB + ABC = ACB
= Y CX
A B
Z
Figura 4-4
AP B = XZY + ACB
BP C = Y XZ + BAC
CP A = ZY X + CBA
Geometra Mderna 61
Corolario 4.19 Dados un tringulo ABC un punto P (que no est en ninguno de los lados del
tringulo) y dos puntos X y X 0 BC, entonces los tringulos XY Z y X 0 Y 0 Z 0 son semejantes.
Corolario 4.20 (Simson) Dados un tringulo ABC un punto P , entonces para todo punto
X BC tenemos que los puntos X, Y y Z estn alineados sii P est en en circuncrculo de del
tringulo ABC.
Teorema 4.21 Los circuncrculos de los cuatro tringulos de un cuadriltero completo, en posi-
cin general, tienen un punto en comn.
62 Geometra Mderna
Teorema 4.22 Dados tres crculos C1 , C2 y C3 con un punto comn P , sean X1 , X2 y X3 definidos
por las propiedades C1 C2 = {P, X3 }; C2 C3 = {P, X1 } y C3 C1 = {P, X2 }. Si A1 C1 sean A2
la otra interseccin de P X3 con C2 y A3 la otra interseccin de P X1 con C3 , entonces A1 , A3 y
X2 estn alineados.
Teorema 4.23 (Steiner) Los circuncentros de los cuatro tringulos de un cuadriltero completo,
en posicin general, son concclicos.
Demostracin: Sean a1 , a2 , a3 y a4 las rectas dadas y Pij = ai aj los vrtices del cuadrngulo.
Sea Ci el circuncrculo del tringulo que se obtiene quitando la recta ai ; sean Oi los centros de los
crculos Ci . Sea P = 4k=1 Ck .
Como P23 , P34 y P24 C1 y P13 , P14 y P34 C2 por lo tanto C1 C2 = {P, P34 }; anlogamente
C1 C3 = {P, P24 }. Obtenemos que O1 O2 P P34 y O1 O3 P P24 lo que implica que
anlogamente
Definicin 4.24 El crculo que contiene los centros de los circuncrculos se llama el crculo de
Steiner del cuadriltero completo.
Problemas
Problema 1 Con la notacin del teorema de Miquel demostrar que Y XZ = ACP + P BA,
XZY = CBP + P AC y ZY X = BXP + P CB. Usar estas igualdades para dar otra
demostracin del corolario [4.20, 61].
Problema 2 Dado un tringulo A0 B0 C0 y un punto P , sean Ai+1 Bi+1 Ci+1 tringulos que
son tringulos de Miquel asociados al tringulo Ai Bi Ci y al punto P . Demostrar que para toda
i los tringulos Ai Bi Ci y Ai+3 Bi+3 Ci+3 son semejantes.
P34
P24
P12 P23
P13
P14
Figura 4-5
Problema 4 Dado un cuadriltero completo, en posicin general, entonces las rectas P12 O3 ,
P23 O1 y P13 O2 son concurrentes en un punto del crculo de Steiner. (Por lo tanto el crculo de
Steiner tiene otros cuatro puntos notables).
Problema 5 Dados dos tringulos ABC y XY Z existe un nico punto P tal que los trin-
gulos de Miquel, del tringulo ABC asociados a P , son semejantes al tringulo XY Z. En-
contrar el punto P para el caso de que los tringulos son semejantes. Si ABC Y ZX (o
ABC ZXY ) demostrar el tringulo BCA (o CAB) es uno de los tringulos asociados.
A3
P2
A1
P1
A2
P3
Figura 4-6
64 Geometra Mderna
Problemas
Problema 1 Usar teorema 2.7 pag. 36 para demostrar el teorema 4.25.
Secciones Cnicas
En este captulo estudiaremos las secciones cnicas, esto es la interseccin de un cono circular
C con un plano . Llamaremos cnicas a estas intersecciones.
La recta que une O con el centro de C se llama el eje del cono y lo denotaremos por e. Como
las generatrices del cono son las rectas completas, entonces el cono tiene dos ramas, una en cada
lado del vrtice.
En un cono circular recto C la generatrices hacen un ngulo constante con el eje. Por lo tanto
C es una superficie de revolucin.
Dados un cono C de base C y un plano , entonces usualmente usaremos la traza en el plano
perpendicular al plano que contiene al eje de C; el plano contiene los centros de los crculos
paralelos a la base C. El plano de estos crculos cortan a en dimetros de los mismos y a en
cuerdas perpendiculares a estos dimetros.
Sea la cnica D = C . Entonces tenemos los siguientes casos.
Si el plano pasa por el vrtice O tenemos tres casos: Un punto; una recta, este caso se da
cuando el plano es tangente al cono; y dos rectas. En estos casos diremos que las cnicas son
degeneradas.
Si el plano no pasa por el vrtice O tambin tenemos tres casos: El plano corta una sola
de las ramas de C y en una curva finita; El plano es paralelo a una de las generatrices, en este
caso corta una sola de las ramas de C pero en una curva no acotada; El plano corta las dos
67
68 Secciones Cnicas
Definition 5.4 Dados una recta d y un punto F , , definimos la parbola, de foco F y directriz d,
como el lugar de los puntos tales que d(P, F ) = D(P, d).
Teorema 5.5 Dados C un cono circular recto y un plano que corta una sola de las ramas de
C (y no es paralelo a ninguna de sus generatrices). Sean E y E 0 las dos esferas tangentes al cono
C y al plano y F y F 0 son los puntos de contacto de las esferas E y E 0 con respectivamente.
Entonces D = C es una elipse con focos F y F 0 .
..
P1 P1 .
F1 .
F1
B. .
F2
.
B
. P2
Figura 5-1
F.
.P 1
B.
1
.F 2
.P 2
Figura 5-2
Teorema 5.6 Dados C un cono circular recto y un plano que corta a ambas ramas de C. Sean
E1 y E2 las dos esferas tangentes al cono C y al plano y F1 y F2 son los puntos de contacto de
las esferas E1 y E2 con . Entonces D = C es una hiprbola con focos F1 y F2 .
Teorema 5.7 Dados C un cono circular recto y un plano que paralelo a una directriz C. Sean
E la dos esferas tangente al cono C y al plano , el punto de contacto F de la esfera E1 con , el
plano que contiene al crculo E C y l = . Entonces D = C es una parbol con foco
F y diretriz d.
Demostracin: .
70 Secciones Cnicas
Figura 5-3
Demostracin: Si definimos:
r0 = d (P, F0 )
r1 = d (P, F1 ) ,
r0 r1 = 2a
esto es:
r0 = 2a r1
Secciones Cnicas 71
S
D R K
C
F
B
p
Figura 5-4
Como la ecuacin l = r02 r12 4a2 representa una recta paralela a la mediatriz de F0 y F1 ,
ver 2.3, obtenemos el siguiente resultado.
Corolario 5.9 Sean F0 = (x0 , y0 ) y F1 = (x1 , y1 ) dos puntos. Llamemos 2c = d(F0 , F1 ) y defi-
namos la recta l = r02 r12 4a2 , entonces el lugar de puntos P tales que la suma o diferencia de
las distancias de P a los puntos F0 y F1 es la constante 2a coincide con el lugar de los puntos P
tales que
d(P, F1 ) c
=
d(P, l) a
ms aun la distancia entre el punto medio, O, de F0 y F1 y la recta l es a2 /c.
4ar1 = 4c (P, l)
ad (P, F1 ) = c (P, l)
ad (P, F1 ) = cd (P, l)
72 Secciones Cnicas
obteniendo el primer resultado. La segunda frmula del citado corolario nos da la distancia de O
a m.
Este resultado es fundamental en la teora de las cnicas ya que nos dice que tenemos dos
definiciones de las cnicas que son equivalentes. La primera define una cnica central como el
lugar de los puntos P tales que la suma (o diferencia) de las distancias de P a los puntos F0 y F1
(llamados focos) es la constante 2a. La segunda la define como el lugar de los puntos P tales que
la distancia a un punto F (llamado foco) es una constante (distinta de cero y uno) multiplicada
por la distancia a una recta l (llamada directriz).
Si definimos = ac la excentricidad de la cnica. Sabemos que < 1 si y solo si la cnica es
una elipse y > 1 si y solo si es una hiprbola. La distancia entre el punto medio de F0 y F1 y la
recta l es
a2 a
d (O, l) = =
c e
por lo tanto es mayor que a si y solo si es una elipse. En la figura se ve que en la elipse, los focos
estn ms cerca del centro que las directrices, en cambio, en la hiprbola, ocurre lo contrario
F F' F F'
Focos y Directrices
En esta ltima seccin de este captulo daremos algunas las propiedades de los focos y directri-
ces de las cnicas. Como las tangentes a una cnica C son rectas p que tienen un punto en comn
con C y todos los otros puntos son puntos exteriores a C. Esto es vlido para el crculo y como se
preserva ante proyeccin es vlido para cualquier cnica.
Proposicin 5.10 Dada una elipse E con focos F y F 0 . Para cada punto P E con tangente p,
entonces la tangente p es la bisectriz exterior del ngulo ]F P F 0 .
Q
A
F F'
Figura 5-5
Proposicin 5.11 Dada una hiprbola H con focos F1 y F2 . Para cada punto P H con tangente
p, entonces la tangente p es la bisectriz interior del ngulo ]F1 P F2 .
A
P
F'
F
Figura 5-6
Proposicin 5.12 Dada una parbola P con foco F y directriz d. Para cada punto P P con
tangente p, si A es la proyeccin de P en la directriz, entonces la tangente p es la bisectriz del
ngulo ]F P A. Adems p F A y S el punto medio de F A coincide con S = F A p y est en la
tangente en el vrtice de P.
Corolario 5.13 Si abc es un triltero circunscrito a una parbola P, entonces las proyecciones
del foco de P a loslados del triltero estn alineados.
74 Secciones Cnicas
Q
R
i
A P
V F
Figura 5-7
Geometra de la Esfera
Terminaremos este captulo dando las frmulas de longitud, rea y volumen de algunas figuras
geomtricas, en particular del crculo y la esfera. Aun que estos resultados que estn ms relaciona-
dos con el clculo diferencial e integral nuestra presentacin hara mas enfasis en las propiedades
geomtricas. En estas notas supondremos conocidos las frmulas para el rea y el volumen de los
prismas y pirmides.
En una esfera los crculos que son las intersecciones de la esfera con los planos que pasan por
el centro de la esfera se llaman los crculos mximos de la esfera. Estos son los crculos de radio
mximo de los contenidos en la esfera. La propiedad ms importante es la siguiente: Dados dos
puntos de una esfera la curva de longitud mnima que los une es el crculo mximo que pasa por
los puntos dados, ver ???. Definimos la distancia entre dos puntos como la longitud del crculo
mximo que los une, por lo tanto en una esfera de radio uno la longitud se mide en radianes; y en
este caso la distancia entre dos puntos es menor o igual a .
lm (Rn ) = lm (Pn ) = R2 h
n n
obtenemos el resultado.
Como la esfera la podemos obtener girando un crculo C con un eje que pasa por su centro
tenemos la siguente situacin. Sea C un incculo de radio R con centro O, sean P Q su ecuador y N
su polo norte. Calcularemos el volumen de la semiesfera S 0 que se obtiene girando el semicrculo
P NQ; la girar P Q obtenemos el crculo ecuatorial .
Figura 5-8
n
la parte superior (resp. parte inferior) de k . Claramente R = q k=0 Rk S k=1 Pk = P
ademas tenemos las igualdades siguientes: radio de k es igual a R2 (k Rn )2 = Rn n2 k2 ,
2 2 2 k2 R3 k2
(k ) = (R Ak O ) = R 1 n2 y (Rk ) = (Pk ) = n 1 n2 y por lo tanto (usando
P
que nk=0 k2 = n(n+1)(2n+1)
6n3
, ver problema ??).
n !
R3 X X n
k2 1
(R) = 1 2 = R3 1 3 k2
n k=0 n n k=0
3 n(n + 1)(2n + 1)
= R 1
6n3
2 3
lm (R) = R
n 3
R3 2 3
un clculo anlogo nos dice que (R) = n
+ (P) lo que implica que lm (P) = 3
R. Por
n
otro lado como (R) > (S) > (P) obtenemos el resultado.
Figura 5-9
Sea P un prisma recto de altura h y base un polgono de perimetro l, entonces el rea lateral
de P es igual a lh (esto se sigue descomponiendo a P en caras rectangulares).
Sea P una piramide regular de vrtice V , con base un polgono regular de perimetro l y h
la altura comn de los tringulos definidos por V y los lados del polgono base, entonces el
rea lateral de P es igual a lh2 (esto se sigue descomponiendo a P en caras tringulares).
Sea P una piramide regular truncada con base un polgono regular de n lados: entonces su fron-
tera conciste de n trapecios laterales iguales y dos polgonos regulares de n lados que llamaremos
las bases de P. Denotaremos s la altura comn de los trapecios laterales.
Sea P una piramide regular truncada tal que las longitudes de las bases son l1 y l2 y s la
altura comn de los trapecios laterales. Entonces el rea lateral de P es igual a l1 +l
2
2
s (esto
se sigue descomponiendo a P en los trapecios laterales).
Definicin 5.16 Si S es una superficie tales C = S que es una curva que es la frontera de
una regin plana y sea O la regin tridimencional tal que O = S , decimos que S es una
superficie convexa sii O es convexa.
Con esta definicin podemos enunciar la siguiente propiedad, la cual usaremos para calcular
el rea de una esfera.
(Arqumedes) Si S1 y S2 son dos superficies convexas tales C = S1 = S2 y tales que
S1 O2 , entonces (S1 ) < (S2 ). (Este resultado, que si bien es intuitivamente vlido,
para dar una demostracin rigurosa necesita resultados avanzados de anlisis, nosotros lo
usaremos sin dar una demostracin).
Teorema 5.17 Sea C un cono circular recto truncado con generador de longitud s y con bases de
radios R1 y R2 , entonces su rea lateral es igual a s(R1 + R2 ).
Demostracin: Sean Pn y Rn piramides regulares Pn inscrita en C y Rn circuscrita, definidas
por poligonos regulares inscritos y circunscritos en las bases. Claramente C, Pn y Rn son convexas
y por lo tanto (Rn ) > (C) > (Pn ) y como
lm (Rn ) = lm (Pn ) = s(R1 + R2 )
n n
obtenemos el resultado.
Corolario 5.18 Sea C un cono circular recto con generador de longitud s y con base de radio R
es igual a sR.
Tringulos esfricos
Dados una esfera, tres vrtices A, B y C en la esfera, que no estn en un crculo mximo,
definen un tringulo esfrico. La suma de los ngulos de trngulo esfrico es mayor que , esto es
consecuencia del teorema de esta seccin.
El rea de una esfera de radio R es igual a 4R2 .
Dados una esfera y dos semicrculos mximos que unen dos puntos antipodales definen dos
regiones de la esfera cada una se llama una lunula. Un ejemplo de esto es la regin de la tierra
contenida entre dos meridianos. Claramente el rea de una lunula es proporcional al ngulo entre
los semicrculos mximos. Por lo tanto es igual a 2R2 , si lo medimos en radianes. Con ayuda
de este resultado obtenemos la frmula para calcular el rea de un tringulo esfrico.
Teorema 5.19 Dado un tringulo esfrico 4ABC su rea es igual a (A + B + C )R2 .
Demostracin: Los lados a y b (resp. b y c; resp. c y a) definen dos lunulas LC y L0C (resp.
LA y L0A , resp. LB y L0B ), LC contiene a 4ABC y L0C contiene al tringulo antipodal 4A0 B 0 C 0 de
4ABC; cada una de rea 2CR2 (resp. 2AR2 ; resp. 2BR2 ). Estas lunulas cubren la esfera, adems
un punto que no est en 4ABC 4A0 B 0 C 0 esta en una sola de las lunulas; un punto de 4ABC
esta en tres de las lunulas LA , LB y LC , anlogamente cad punto del antipoda de 4ABC esta en
tres de las lunulas L0A , L0B y L0C y por lo tanto el rea de 4ABC satisface la identidad
4(A + B + C)R2 = 4R2 + 4
78 Secciones Cnicas
Figura 5-10
Captulo 6
En el siglo XIX Flix Klein considera que la geometra como el estudio de los invariantes ante
un grupo de transformaciones. En estas notas tendremos la oportunidad de varios ejemplos donde
un invariante esta en el centro de las propiedades geomtricas. Por esta razn el concepto bsico
en la geometra es la de transformacin.
Si es el plano euclidiano y T : es una funcin biyectiva, decimos que T es una
transformacin rgida si T preserva la distancia, esto es si para todo par de puntos A y B tenemos
que AB = T (A)T (B). Anlogamente decimos que T es una transformacin de semejanza si existe
un nmero real tal que para todo par de puntos A y B tenemos que AB = T (A)T (B).
Denotaremos por Rig() el conjunto de transformaciones rigidas y por Sem() el conjunto de
transformaciones de semejanza.
En este captulo daremos una introduccin al estudio de las transformaciones rgidas y de
semejanza.
Dada una transformacin T : , decimos que T preserva la orientacin si para todo trin-
gulo ABC orientado positivamente tenemos que T (A)T (B)T (C) esta orientado positivamente;
en el caso contrario decimos que T invierte la orientacin. Claramente si las transformaciones T1 y
T2 preservan la orientacin y las transformaciones R1 y R2 invierten la orientacin, entonces T2 T1
y R2 R1 preservan la orientacin; R2 T1 y T2 R1 invierten la orientacin. Denotaremos por
Rig+ () y Sem+ () las tranformaciones que preservan la orientacin y por Rig () y Sem ()
las tranformaciones que invierten la orientacin.
Claramente una tranformacin rgida (o de semejanza) T tienen la siguiente propiedades: si
a es una recta, entonces T (a) es una recta; si C es un crculo con centro O, entonces T (C) es un
crculo con centro T (O); Dado un ngulo ]AOB, entonces ]AOB = ]T (A)T (O)T (B).
79
80 Transformaciones rgidas y de semejanza
Transformaciones rgidas
En el estudio de las tranformaciones rgidas la transformacin bsica es la reflexin en una
recta; las reflexiones estn definidas de la siguiente forma.
Claramente una reflexin en una recta a es una transformacin rgida que invierte la ori-
entacin, este tipo de transformaciones es la base para estudiar las transformaciones rgidas el
plano. Otra propiedad importante es que Ra es una involucin, esto es que Ra Ra = id.
Dada la recta a y el punto A, entonces a es la mediatriz del segmento ARa (A), inversamente
dados dos puntos distintos A y B, entonces la mediatriz a de AB, es tal que Ra es la nica reflexin
que manda A en B.
Dadas dos rectas a y b que se cortan en el punto O, y sean p y q las bisectrices del ngulo
definido por a y b. entonces Rp (a) = b y Rq (a) = b. Adems estas son las nicas reflexiones que
tienen esta propiedad.
Dadas dos rectas a y b paralelas y p la recta paralela y equidistante a a y a b, entonces Rp (a) = b
y adems Rp es la nica reflexion que tiene esta propiedad.
Los siguientes teoremas son la base del estudio de las transformaciones rgidas.
Demostracin: Sea
Usaremos la siguiente notacin
Teorema 6.3 Si una transformacin rgida deja fijos dos puntos A y B entonces o es la identidad
o la reflexin Ra donde a = AB.
Transformaciones rgidas y de semejanza 81
Demostracin: Claramente la reflexin en una recta deja fijos a todos los puntos de la recta
de reflexin. Si una transformacin rgida T , distinta a la identidad deja fijos a dos puntos A y
B, entonces dado un punto P , no fijo, que no esta en la recta AB, si los crculos de centros A y
B que pasan por P , se intersectan en otro punto Q, entonces T (P ) = Q. Si hubiera otro punto
fijo C, no alineado con A y B, por el mismo razonamiento la imagen de P seria su reflexin en la
recta AC, lo que es imposible, por lo tanto todos los puntos fijos estn en AB .
A B
Figura 6-1
Teorema 6.4 Si una transformacin rgida T tiene un nico fijo un punto O, entonces T es una
rotacin con centro O.
Corolario 6.5 Si una transformacin rgida deja fijos tres puntos entonces o es la identidad o
los puntos estn en una recta a y la transformacin es la reflexin en a.
Teorema 6.6 Dados dos segmentos iguales AB y A0 B 0 , entonces existen exactamente dos trans-
formaciones rgidas Ti i = 1, 2 tales que Ti (A) = A0 y Ti (B) = B 0 . Las transformaciones Ti
se pueden expresar como el producto de a lo ms tres reflexiones. Si A = A0 (o B = B 0 ) las
transformaciones Ti se pueden expresar como el producto de a lo ms dos reflexiones.
Demostracin: Supondremos que todos los puntos son distintos, si no se simplifica la demostracin.
Si a es la mediatriz de AA0 , entonces Ra (A) = A0 , si p la bisectriz del ngulo ]Ra (B)A0 B 0 ,
entonces T1 = Rp Ra es tal que T1 (A) = A0 y T1 (B) = B 0 . Adems si b = A0 B 0 y entonces T2 = Rb T1
tiene la propiedad pedida.. Si A = A0 (o B = B 0 ) entonces T1 = Rp y T2 = Rb Rp .
Claramente si S es tal que S(A) = A0 y S(B) = B 0 , entonces R = ST11 es tal que R(A0 ) = A0
y R(B 0 ) = B 0 y por lo tanto R es igual a la identidad o igual a la reflexin Rb . Eso es S coincide
con T1 o con T2 .
Corolario 6.7 Dados dos tringulos iguales 4ABC, 4A0 B 0 C 0 , entonces existe una nica trans-
formacin rgida T , tal que T (A) = A0 , T (B) = B 0 y T (C) = C 0 . Ms aun la transformacin T
se puede expresar como el producto de a lo ms tres reflexiones.
82 Transformaciones rgidas y de semejanza
Corolario 6.9 Si T Rig + (), entonces la transformacin T se puede expresar como el producto
de dos reflexiones.
Como consecuencia de este corolario tenemos que toda transformacin rgida que preserva
orientacin es el producto de dos reflexiones y en el caso de que no preserve la orientacin es una
reflexin o es el producto de tres reflexiones.
En caso de una rotacin T de centro O y ngulo 180o , decimos que T es una reflexin en el
punto O o que es un medio giro con centro O. En este caso T = Ra Rb con O = a b y a b. En
este caso usaremos la siguiente notacin HO .
Teorema 6.11 Si la transformacin T Rig () entonces tenemos que T satisface una de las
siguientes propiedades.
i) T = Ra y los puntos fijos de T son los puntos de la recta a.
ii) T no tiene puntos fijos, entonces T = Rc Rb Ra , donde a y b son rectas perpendiculares a c.
Corolario 6.12 Si T Rig() es una rotacin con centro A, entonces T Ra es una reflexin sii
A a. Si T Rig() es una translacin con direccin d, entonces T Ra es una reflexin sii a d.
Las transformaciones del tipo ii) son la composicin de una reflexin en una recta a con
una translacin en la direccin de a. Por esta razn llamaremos a este tipo de transformaciones
reflexiones deslizadas.
Usaremos la siguiente notacin: la rotacin con centro O y ngulo se denotar por RO, ; la
homotecia con centro O y razn k se denotar por HO,k ; la translacin que manda el punto A al
punto B se denotara por TA,B ; la reflexin en la recta a se denotar por Sa .
El siguiente resultado nos da una caracterizacin de las transformaciones rgidas estudiando
que elementos geomtricos dejan fijos.
Teorema 6.14 Sea T Rig(), tenemos los siguientes casos:
i) Si FT 6= c/, entonces T es una rotacin sii T Rig+ () y T es una reflecin sii T Rig ().
ii) Si FT = c/, entonces T es una translacin sii T Rig+ () y T es una reflecin deslizada
sii T Rig ().
iii) Si L = {l : T (l) = l}, entonces T es una rotacin sii #L = 0 o L es un hz de
rectas con centro P , en este caso T es un medio giro con centro P ; T es una reflecin deslizada
sii #L = 1; T es una translacin sii L es un hz de rectas paralelas y T Rig+ (); T es una
reflecin sii L es un hz de rectas paralelas unin una recta perpendicular al haz.
Teorema 6.15 Si T Rig() es el producto de tres reflexines en las rectas a, b y c, entonces T
es una reflexin sii las rectas son concurrentes o paralelas.
Demostracin: Si las rectas a, b y c son paralelas, entonces todas las rectas perpendiculares
son invariantes bajo T , por el teorema anterior T es una reflexin.
Si las rectas a, b y c son concurrentes en P , T (P ) = P y por el teorema anterior T es una
reflexin.
Inversamente si T = Rc Rb Ra = Rl , sea S = Rc Rl = Rb Ra . Si S es una translacin, entonces
las rectas a, b, c y l son paralelas. Si S es una rotacin, entonces las rectas a, b, c y l pasan por el
centro de S.
Problemas
Problema 1 Demostrar que una reflecin es una transformacin rgida que invierte la orientacin.
Problema 2 Dados una reflexin Ra y un punto P / a, demostrar que T (P ) esta caracterizado
por la propiedad de ser el nico punto tal que un crculo C que pasa por P , entonces T (P ) C sii
C corta ortogonlmente a a.
Problema 3 Demostrar que Rig() y Sem() son grupos y Rig() es un subgrupo de Sem().
Problema 4 Demostrar que Trans() y Rot() son grupos conmutativos.
Problema 5 Si n > 2 es un entero y T Rig() es tal que T n = id, entonces T es una rotacin.
Problema 6 Si R Rot() es una rotacin un ngulo y AB es un segmento con imagen A0 B 0 ,
entonces las rectas forman un ngulo .
Problema 7 Si T y S Rig() y S 0 = T ST 1 entonces:
S = RO, S 0 = RO0 , O0 = T (O) y el signo de es positivo sii T preserva orientacin
S = Ra S0 = Ra0 a0 = T (a)
S = RA,B S 0 = RA0 ,B0 A0 = T (A) y B 0 = T (B)
S = U1 U2 S 0 = U10 U20 Ui0 = T (Ui )
84 Transformaciones rgidas y de semejanza
Para los siguientes problemas usaremos la siguiente notacin: Sea I() el conjuto de trans-
formaciones rgidas que son de orden dos. Claramente Ra y HA I() y I() genera a Rig().
Thomsen, [36], usa este conjunto para dar una presentacin axiomtica de la geometra. Nosotros
solo dejaremos como ejercicio algunas de las propiedades ms elementales. Sean los puntos O, O1 ,
O2 ,... y las rectas a, a1 , a2 ,... todos distintos y H, H1 , H3 ,... R, R1 , R2 ... los medios giros y las
reflexiones asociados a ellos.
Problema 12 Una tranformacin rgida T esta en I() sii es una reflexin o un medio giro.
Problema 29 Se tiene la igualdad HH1 HH2 ...HHn = id sii O es el centro de gravedad de los
puntos O1 , O2 ,..., On .
Homotecia
Definicin 6.16 Dados un punto O y un escalar k definimos la homotecia de centro O y razn
k 6= 0 como la funcin H : tal que H(O) = O y si A 6= O entonces A0 = H(A) es el punto
OA
de la recta OA tal que OA0 = k. Se usara la notacin H = HO,k .
Teorema 6.17 Dada la homotecia H = HO,k , entonces H preserva la orientacin y tenemos las
siguientes propiedades:
i) Dados dos puntos distintos A y B, entonces las rectas AB y A0 B 0 son paralelas y adems
AB = kA0 B 0 .
ii) Dado un tringulo 4ABC, entonces 4ABC y 4A0 B 0 C 0 son directamente semejantes.
iii) Si k 6= 1, entonces el punto O es el nico punto fijo, el el caso de k = 1, la homotecia
coincide con la identidad.
iv) Una homotecia es una transformacin de semejanza y es rgida sii k = 1.
puntos C y C , no en la misma recta, tales que los tringulos 4ABC y 4A0 B 0 C 0 sean directamente
0
Demostracin: Como los lados de los tringulos 4ABC y 4LMN son paralelos, donde L,
M y N son los puntos medios del tringulo dado, entonces los dos tringulos son homotticos con
centro G la interseccion de las medianas y razn LM
AB
= 12 . Adems O es la interseccion de las
alturas del tringulo 4LMN, esto es su ortocentro, de donde se obtiene el teorema.
Definicin 6.20 Dado un tringulo 4ABC, entonces la recta que contiene ortocentro H, su
crcuncentro O y su gravicentro G se llama la recta de Euler del tringulo dado.
Teorema 6.21 Dado un tringulo 4ABC, entonces el crculo N que pasa los pies de las alturas
por los contiene a los puntos medios de los lados del tringulo y a los puntos medios de los
segmentos que unen al ortocentro con los vrtices del tringulo. Adems el centro S del crculo
esta en la recta de Euler y OG = 2GS.
Definicin 6.22 Llamaremos el crculo de los nueve puntos de un conjunto ortocntrico de puntos
al circuncrculo del tringulo diagonal.
Corolario 6.23 La homotecia HH,1/2 manda el circuncentro al crculo de los nueve puntos.
Transformaciones rgidas y de semejanza 87
E
R
M L
Q
P
A B
N F
Figura 6-2
Corolario 6.24 Dado un conjunto ortocntrico de puntos, entonces los circuncrculos de los cu-
atro tringulos que obtenemos al tomar los puntos tres a la vez son iguales.
Corolario 6.25 El circuncentro del tringulo 4ABC es el ortocentro del tringulo 4LMN.
Teorema 6.26 Dado un tringulo entonces su circuncrculo y su crculo de los nueve puntos del
tringulo tienen al ortocentro y al gravicentro como centros de homotecia.
Teorema 6.27 Dado el tringulo pedal 4DEF del tringulo 4ABC, entonces las alturas del
tringulo 4ABC son las bisectrices del tringulo 4DEF . Adems el dimetro, del circuncrculo,
por un vrtice del tringulo 4ABC es perpendicular al lado correspondiente del tringulo 4DEF .
Demostracin: El crculo de dimetro AB pasa por los puntos D y E y por lo tanto ]EDA =
]EBA y ]ADF = ]ACF . Como los tringulos 4EBA y 4F CA son rectngulos y por lo tanto
semejantes tenemos que ]EBA = ]ACF ; por lo tanto ]EDA = ]ADF .
Como A, B, D y E son concclicos DE es antiparalela al lado AB en el tringulo 4ABC, el
resultado se sigue del teorema 1.48, pag. 12.
El uso de las homotecia tambin es una herremienta muy impotante que nos permite dar
muchas construcciones. En este momento daremos nicamente un ejemplo para mostrar como se
usa.
El problema que atacaremos es el siguiente:
Dado un tringulo 4ABC, inscribir un cuadrado con su base en el lado c.
Figura 6-3
Problemas
OG
Problema 1 En la recta de Euler tenemos que HJ = JO, 2 JG = GO, GJ
= OH
HJ
= 2(con J
el centro del crculo de los nueve puntos).
Problema 3 Dado un grupo ortocntrico de puntos, entonces los gravicentros de los tringulos
que se obtienen al tomar tres puntos a la vez forman un grupo ortocntrico de puntos.
Problema 4 Dado el tringulo 4ABC y 4IA IB IC el tringulo definido por los centros de los
excrculos. Entonces el centro del incrculo I de 4ABC es el ortocentro de 4IA IB IC , el centro
del circuncrculo O de 4ABC es el centro de crculo de nueve puntos de 4IA IB IC . Adems si OI
es el circuncrculo de 4IA IB IC , entonces O es el punto medio de IOI .
Problema 5 Con la notacin del problema anterior, sea G el gravicentro del tringulo 4ABC,
entonces G es el gravicentro del tringulo 4HIOI . Usar este resultado para demostrar que el
punto medio de HOI es el incentro del tringulo 4LMN.
B'
C
R
M L
A N Z B
Figura 6-4
Transformaciones rgidas y de semejanza 89
Problema 8 En la figura anterior demostrar que el centro O0 del circuncrculo del tringulo
4AB 0 C est en el circuncrculo del 4ABC y que O0 R AC.
C
B'
M H
D
O F
A B
H'
Figura 6-5
Problema 11 Si tres o ms tringulos directamente semejantes son colocados de forma tal que
un conjunto de vrtices correspondientes coinciden y un segundo conjunto de vrtices correspon-
dientes estn alineados, entonces el tercer conjunto de vrtices correspondientes estn alineados.
Problema 12 Si cuatro o ms tringulos directamente semejantes son colocados de forma tal que
un conjunto de vrtices correspondientes coinciden y un segundo conjunto de vrtices correspon-
dientes son concclicos, entonces el tercer conjunto de vrtices correspondientes son concclicos.
Problema 13 Los circunradios de los cuatro tringulos de un grupo ortocentrico de puntos son
iguales.
Problema 14 Los gravicentros de los cuatro tringulos de un grupo ortocentrico de puntos for-
man un grupo ortocentrico de puntos.
Problema 15 El centro del crculo de los nueve puntos es el punto medio del circuncentro y el
ortocentro.
90 Transformaciones rgidas y de semejanza
Captulo 7
Geometra Proyectiva
En este capitulo daremos los resultados bsicos de la teora de la geometra moderna, esto es
de la geometra posterior al periodo griego. Aun que algunos resultados son del periodo griego no
fueron desarrollados de una forma sistemtica y por lo tanto no eran parte de una teora.
En estqas notas usaremos las siguientes definiciones:
Dos rectas son paralelas sii son iguales o no se intersectan. La razn de esta definicin es
que la relacin de paralelismo se convierte en una razn de equivalencia.
Dada una recta a diremos que los puntos de a forman una hilera de puntos. Usaremos la
notacin a para denotar tanto la recta como la hirera de puntos que define.
Dado un punto las rectas que contienen a P forman un haz de rectas, tambien llamaremos
un haz de rectas a las rectas paralelas a una recta dada a. Usaremos la notacin P para
denotar tanto el punto como el haz de rectas que define; En caso de las rectas paralelas a la
recta a usaremos la notacin Ia .
Plano Proyectivo
Con respecto a la relacin de incidencia hay una cierta simetra entre estos conceptos que sin
embargo no es completa. Por ejemplo, en el plano, dados dos puntos distintos siempre hay una sola
rectas que los contiene pero dadas dos rectas distintas solo hay un punto contenido en ambas sii las
rectas no son paralelas. Como este ejemplo hay muchos otros. La geometra proyectiva consiste en
una extensin de la geometra euclidiana donde los conceptos de punto y recta tienen una relacin
de incidencia simtrica.
91
92 Geometra Proyectiva
Esta simetra da origen al principio de dualidad el cual implica que en si intercambiamos las
palabras punto y recta cada teorema de la geometra proyectiva nos da su teorema dual.
Aun que nosotros estamos interesados en el caso de la geometra euclidiana en los problemas
veremos que hay muchos ejemplos de planos o espacios geomtricos y por lo tanto todos los
teoremas que se demuestren usando nicamente los axiomas son vlidos en cada uno de estos
ejemplos. En el captulo ?? daremos una presentacin axiomtica del plano proyectivo, en esta
seccin daremos nicamente los resultados que son necesarios para el estudio de la geometra
euclidiana.
Para motivar los resultados de esta seccin empezaremos por estudiar la proyeccin de una
recta en otra desde un punto; esta funcin tiene algunos problemas ya que no esta bien definida y
no es suprayectiva, para resolver estos problemas necesitamos completar el plano euclidiano, para
esto agregaremos puntos y una recta. El resultado es el plano proyectivo de dimensin dos.
Es interesante notar que los primeros en utilizar los conceptos de la geometra proyectiva
fueron los pintores del renacimiento. Ellos necesitaban de una tcnica nueva que les permitiera
dar perspectiva a sus dibujos (ver la figura adjunta, que representa la proyeccin de una mandolina
en la ventana (Alberto Durero. Imagen del Tratado Underweysung der Messung 1525)), es de estos
pintores de donde heredamos los nombres de punto y lnea de fuga, centro de perspectiva, etc.
Definicin 7.1 Decimos que el haz de rectas por un punto O estn en perspectiva con los puntos
de una recta o, que no contiene a O, asociando a cada recta a del haz el punto P = a o y a cada
punto P de o la recta OP . En este caso decimos que los puntos de o son una seccin del haz por
O.
La razn de estas excepciones se debe a que los puntos y las rectas no tienen una situacin
simtrica en la geometra euclidiana. La situacin es la siguiente:
A1) Dados dos puntos distintos, hay una sola recta los contiene.
A2) Dados dos rectas l y m, hay un nico punto P en la interseccin sii l y m no son paralelas.
Para evitar esta situacin necesitamos el siguiente concepto.
Definicin 7.2 Un plano proyectivo es un conjunto que a sus elementos los llamaremos puntos,
y una familia de subconjuntos que llamaremos rectas y que satisfacen los axiomas siguientes.
P 1) Dados dos puntos distintos, hay una sola recta los contiene.
P 2) Dadas dos rectas distintas tienen al menos un punto en comn.
P 3) Hay tres puntos no alineados.
P 4) Cada recta contiene al menos tres puntos.
Demostraremos ahora que al plano euclidiano le podemos asociar de forma natural un plano
proyectivo. Este plano es igual al plano ms una recta, la que llamaremos la recta al infinito.
Para esto sean Il los haces de rectas paralelas.
Claramente Il = Im sii m Il sii l k m. decimos que Il es el punto al infinito en la direccin
de l.
Definicin 7.3 Dado un plano afn , definimos la complecin = como sigue:
= {Il |l recta de } =
y la familia de subconjuntos, llamados rectas, definidos como alguno de los siguientes subconjuntos:
i) Complecin de una recta l de : l = l Il . Llamamos a l una recta ordinaria.
ii) La recta al infinito: l = {Il | l es una recta de }.
Los puntos de los llamaremos puntos ordinarios o finitos.
Teorema 7.4 La complecin = , del plano euclidiano, es un plano proyectivo.
Demostracin: Tenemos que demostrar que satisface los axiomas P 1)-P 4).
Axioma P 1) Si P y Q , entonces existe una nica recta afn l que los contiene y por lo
tanto l es la nica recta que los contiene.
Si P y Il entonces la recta m k l que pasa por P es tal que m es la nica recta
que los contiene.
Si Il y Im , entonces l es la nica recta que los contiene.
Axioma P 2) Sean l y m dos rectas distintas. Si una es la recta al infinito entonces claramente
tienen un punto en comn. En caso contrario: Si corresponden a rectas paralelas, entonces poseen
un punto al infinito en comn. Si no corresponden a rectas paralelas, entonces poseen un punto
ordinario en comn.
Axioma P 3) Esto se sigue porque hay tres puntos ordinarios P , Q y R no colineales en . Ellos
no pueden estar alineados en ya que la nica recta nueva es la recta al infinito y esta recta no
contiene a los puntos dados.
Axioma P 4) Es claro.
Con ayuda del plano proyectivo podemos continuar la discusin de las seccines de un haz
O determinadas por una recta o. En este caso la funcin a 7 A = a o es una biyeccin entre
las rectas a del haz O y los puntos A de o. Esta biyeccin es la base para estudiar las funciones
proyectivas, lo que haremos el la siguiente seccin.
94 Geometra Proyectiva
Principio de Dualidad
Como indicamos en la introduccin una de las propiedades ms importantes de los planos
proyectivos es el principio de dualidad. Su significado es que si en el enunciado de un teorema
intercambiamos las palabras punto y recta y hacemos los cambios adecuados respecto a las rela-
ciones de incidencia obtenemos un teorema. Esto es cierto ya que los enunciados duales de los
axiomas son ciertos. Como podemos ver de lo que seria los enunciados duales de los axiomas de
un plano proyectivo.
Un plano proyectivo se satisfacen las propiedades duales siguientes.
P 1) Dados dos rectas distintas se intersectan en un solo punto.
P 2) Dados dos puntos distintos estn contenidos en al menos una recta.
P 3) Hay tres rectas no concurrentes.
P 4) Cada punto esta contenido en al menos tres rectas.
Definicin 7.6 Un cuadrngulo completo es la figura plana que definida por cuatro puntos P ,
Q, R y S (no tres de ellos alineados) as como de las seis rectas que unen los distintos pares de
puntos. Los puntos se llaman los vrtices del cuadrngulo y las rectas x = QR, y = RP , z = P Q,
x0 = P S, y 0 = QS y z 0 = RS se llaman los lados del cuadrnglo. Dos lados que no tienen ningn
vrtice en comn se llaman lados opuestos. Los tres puntos A = x x0 , B = y y 0 y C = x z 0
que son las intersecciones de las parejas de lados opuestos se llaman los puntos diagonales del
cuadrngulo y definen el tringulo diagonal del cuadrngulo 4ABC.
A
P
B
R
S
C
Cuadrngulo Cuadriltero
Geometra Proyectiva 95
Definicin 7.7 Un cuadriltero completo es la figura plana que definida por cuatro rectas p, q,
r y s (no tres de ellas concurrentes) as como de los seis puntos que son las intersecciones de los
distintos pares de rectas. Los puntos X = q r, Y = r p, X = p q, X 0 = p s, Y 0 = q s y Z 0 = r s
se llaman los vrtices del cuadriltero y las rectas se llaman los lados del cuadriltero. Dos puntos
que no en el mismo lado se llaman vrtices opuestos. Las tres rectas a = XX 0 , b = Y Y 0 y c = ZZ 0
que unen las parejas de vrtices opuestos se llaman las rectas diagonales del cuadriltero y definen
el triltero diagonal del cuadriltero 4abc.
Definicin 7.8 (Axioma de Fano) F )Un plano proyectivo donde se satisface que los puntos
diagonales de un cuadrngulo completo no estn alineados se dice que es un plano de Fano.
Problema 2 En un plano proyectivo F ) es valido sii F ) es valido.
Problema 3 En el plano proyectivo asociado al plano euclidiano satisface la propiedad F ).
Problema 4 En el plano proyectivo de siete puntos, ver el problema ??, pag. ??, no se satisface
la propiedad F ).
Problema 5 Demostrar que en el plano proyectivo P2 (F) la propiedad F ) es valido sii en F se
tiene que 1 + 1 6= 0.
El problema 2 extiende el principio de dualidad a los planos de Fano. De aqu en adelante
supondremos que los planos satisfacen la propiedad de Fano, al menos de que explcitamente
digamos lo contrario.
En el caso del plano proyectivo asociado al plano euclidiano tenemos que los planos y
son isomorfos. Los isomorfismos involutorios f entre estos dos espacios son centrales en el
estudio de las cnicas, como veremos en el captulo 14,pag. 199. Los siguientes ejemplo son de
gran importancia ya que fueron usados en el siglo XIX para probar el principio de dualidad.
3
Usaremos a R {0}
como modelo de (ver problema ??, pag. ??), esto es los puntos corre-
sponden a las rectas por el origen y las rectas a los planos por el origen.
Ejemplo 7.9 La funcin f : esta definida como sigue: si el punto A corresponde a la
recta por el origen lA , entonces f (A) corresponde al plano perpendicular a lA . Es claro que esta
funcin es biyectiva y adems tres puntos A, B y C alineados corresponden a rectas lA , lB y lC en
un plano , entonces el punto B que corresponde a la recta normal a este plano esta en los planos
que corresponden a las rectas lA , lB y lC . Por lo tanto la funcin es un isomorfismo. Adems es
claro que es una involucin.
Problema 6 Sea S 2 es una esfera de radio uno con centro el origen. Como una recta por el
origen estn determinada por dos puntos antipodales de S 2 obtenemos que podemos ver que es
2
equivalente a S , donde AA0 sii A y A0 son puntos antipodales. Con este modelo f (A) corresponde
al ecuador de S 2 donde A es el polo norte. Por esta interpretacin la funcin f se le conoce como
la funcin de polos y polares. Es claro que el conjunto {A|A f (A)} es vaco.
Problema 7 Si g : es un isomorfismo, entonces la funcin (g )1 f g : es un
isomorfismo involutorio.
Problema 8 Si g es una rotacin de 180o con centro el origen entoces h = (g )1 f g es tal que el
conjunto {A|A h(A)} es el crculo de radio uno con centro el origen.
96 Geometra Proyectiva
Espacio Proyectivo
Definicin 7.10 Un espacio proyectivo es un conjunto que a sus elementos los llamaremos
puntos, y dos familias de subconjuntos que llamaremos rectas y planos respectivamente y que
satisfacen los axiomas siguientes:
E1) Dados dos puntos distintos, hay una sola recta los contiene.
E2) Dados tres puntos no colineales, hay un solo plano los contiene.
E3) Una recta y un plano contienen al menos un punto en comn.
E4) Dos planos tienen al menos una recta en comn.
E5) Hay cuatro puntos no coplanares, no tres de ellos alineados.
E6) Cada recta tiene al menos tres puntos.
Las propiedades ms importantes de los espacios proyectivos estn dados por los siguientes
teoremas. Estos teoremas nos permitirn razonar rigurosamente en los siguientes captulos.
Teorema 7.11 En un espacio proyectivo, dos planos distintos y se intersectan en una recta.
Teorema 7.12 En un espacio proyectivo, dos puntos distintos P y Q estn en un plano , en-
tonces la recta que los contiene esta en el plano.
Demostracin: Sea R un punto que no este en el plano y sea el plano que contiene a P ,
Q y R, entonces por el teorema anterior, = l y claramente l = P Q.
Teorema 7.13 En un espacio proyectivo, un plano y una recta no contenida en el plano se in-
tersectan en un punto.
Teorema 7.14 En un espacio proyectivo, dados una recta l y un punto P , que no esta en la recta,
entonces hay un solo plano que los contiene.
Teorema 7.15 En un espacio proyectivo, dos rectas distintas l y m estn en un plano sii tienen
un punto en comn. Y en este caso el plano que las contiene es nico.
Demostracin: Tenemos que demostrar que satisface los axiomas P 1)-P 4).
Axioma P 1) Si P y Q , entonces el teorema 7.12 implica que P Q .
Axioma P 2) Sean l y m dos rectas distintas de . Entonces el teorema anterior nos dice que
tienen un punto en comn
Axioma P 3) y Axioma P 4) Son directos de los axiomas.
Espacio Afn
En esta seccin daremos, en forma de ejercicios, el concepto de espacio afn y su espacio
proyectivo asociado. Para ver con ms detalles esta teora ver [37].
Para el estudio de los espacios afines empezaremos con los siguientes axiomas.
Definicin 7.19 Sea un conjunto que a sus elementos los llamaremos puntos, y dos familias
de subconjuntos que llamaremos rectas y planos respectivamente y que satisfacen los axiomas
siguientes:
EA1) Dados dos puntos distintos, hay una sola recta los contiene.
EA2) Dados tres puntos no colineales, hay un solo plano los contiene. Y cada plano contiene
al menos un punto.
EA3) Hay tres puntos no alineados.
EA4) Si una recta y un plano tienen al menos dos puntos en comn, entonces la recta esta
contenida en el plano.
EA5) Hay cuatro puntos no coplanares.
EA6) Cada recta tiene al menos dos puntos.
EA7) Si dos planos tienen un puntos en comn, entonces tienen la menos otro punto en comn.
Diremos que dos planos son paralelos si o son iguales o no tienen ningn punto en comn.
Daremos algunas propiedades que satisfacen los puntos, rectas y planos de .
Demostracin:
Es claro que dos rectas de pueden estar en una y solo una de las siguientes situaciones:
a) Se intersectan en un punto.
b) O son iguales o no tienen un punto en comn pero estn en el mismo plano, en este caso
decimos que las rectas son paralelas.
c) No hay ningn plano que las contenga, en este caso decimos que las rectas son oblicuas.
Esta propiedad es una declaracin que sirve para clasificar, pero no garantiza la existencia de
rectas paralelas.
Un plano y una recta de pueden estar en una y solo una de las siguientes situaciones:
A) La recta esta contenida en el plano.
B) La recta y el plano tienen un solo punto en comn.
C) La recta y el plano no tienen ningn punto en comn.
En el caso A) y C) decimos que la recta y el plano son paralelos.
Proposicin 7.21 Si a y b son dos rectas paralelas y b esta contenida en el plano , entonces a
es paralela a .
Es claro que dos planos distintos de pueden estar en una y solo una de las siguientes situa-
ciones:
i) Se intersectan en una recta.
ii) No tienen un punto en comn.
Daremos ahora el ltimo axioma de los espacios afines.
El conjunto es un espacio afn si satisface los axiomas EA1)...EA6) y el axioma:
EA7) dados una recta l y un punto P , hay una nica recta paralela a l y que contiene a P .
De aqui en adelante en esta subseccin estaremos en un espacio afn .
Proposicin 7.22 Una recta es paralela al plano sii es paralela a una recta contenida en el plano.
Proposicin 7.23 Si una recta a es paralela a un plano paralelo al plano , entonces a es paralela
a .
Proposicin 7.24 Dado un punto y un plano existe un solo plano que contiene al punto dado y
que es paralelo al plano dado.
Proposicin 7.25 Dos planos paralelos a un tercero, son paralelos entre si.
Proposicin 7.26 Dos rectas paralelas a una tercera, son paralelas entre si.
Definicin 7.28 En definimos un haz de rectas como alguno de los siguentes conjuntos de
rectas:
i) Las rectas que contienen un punto P dado. Se denotara por P .
ii) Las rectas paralelas a una recta l dada. Se denotara por Il . Y diremos que Il define un punto
ideal o un punto al infinito en la direccin de l.
Geometra Proyectiva 99
= {Il |l recta de }
y definimos las rectas y los planos de como alguno de los conjuntos siguientes:
A cada recta l le asociamos la recta l = l Il .
A cada plano le asociamos el plano = l Il
En cada plano tenemos la recta . Desimos que esta es la recta al infinito del plano o
del plano .
El plano al infinito = {Il |l es una recta de }.
Proyecciones
En este seccin estudiaremos las transformaciones proyectivas en formas de dimensin uno,
esto es, en hileras de puntos o haces de rectas.
Dadas dos rectas distintas x y x0 , que se intersectan en el punto E, y un punto O que no esta
en x x0 . Definimos la proyeccin de x en x0 desde el punto O como la funcin que a cada punto
A de la recta x le asocia el punto A0 en x0 tal que O, A y A0 estan alineados. Decimos que O es el
centro de proyeccin.
C
B
A
x
F x'
A'
B'
C'
Figura 7-2
O
Denotaremos la proyeccin de x en x0 desde el punto O con el smbolo x [ x0 , ademas si A,
O
B,..., C son puntos de x con imagenes A0 , B 0 ,..., C 0 se usara la notacin ABC [ A0 B 0 C 0 .
100 Geometra Proyectiva
Daremos ahora el concepto dual. Dados dos haces distintos con vrtices X y X 0 definimos la
proyeccin del haz X en el haz X 0 desde la recta o a como la funcin que a cada recta a del haz
X le asocia la recta a0 del haz X 0 tal que a, a0 y o son concurrentes. Decimos que o es el eje de
proyeccin.
o
Denotaremos la proyeccin de X en X 0 desde la recta o con el smbolo X [ X 0 , ademas si a,
o
b,..., c son rectas del haz X con imagenes a0 , b0 ,..., c0 se usara la notacin abc [ a0 b0 c0 .
Un funcin f de una recta x en otra recta x0 (x y x0 pueden ser coincidir) se llama trans-
formacin proyectiva si es la composicin de proyecciones. Esto es si f es la composicin de las
funciones
O1 O2 On
x [ x1 [ x2 ...xn1 [ x0
En este caso la funcin f se denotara por el signo x Z x0 ademas si A, B,..., C son puntos de x
con imagenes A0 , B 0 ,..., C 0 se usara la notacin ABC Z A0 B 0 C 0 .
Teorema 7.30 Dadas dos rectas x y x0 (x y x0 pueden ser coincidir), si A, B y C son tres puntos
distintos en la recta x y si A0 , B 0 y C 0 son tres puntos distintos en la recta x0 . Entoces existe una
transformacin proyectiva x Z x0 tal que ABC Z A0 B 0 C 0 .
C
B
A
P
R Q
A'
B'
C'
Figura 7-3
Otra forma de expresar el teorema anterior es que el grupo P GL(x) actua triplemente transi-
tivamente en x.
Claramente podemos extender el concepto de transformacin proyectiva entre rectas al de
transformacin proyectiva entre haces de rectas y aun al de transformacin proyectiva entre una
recta y un haz de rectas. En este ltimo caso tenemos el siguiente enunciado del teorema anterior.
Teorema 7.31 Dados la recta x y el haz X, si A, B y C son tres puntos distintos en la recta x
y si a, b y c son tres rectas distintas en el haz X. Entoces existe una transformacin proyectiva
x Z X tal que ABC Z abc.
El teorema ??, pag. ?? nos dice que el grupo de transformaciones proyectivas es trplemente
transitivo. Adems tenemos el siguiente teorema.
Teorema 7.32 Dados cuatro puntos distintos A, B, C y D en una recta x entonces existe una
transformacin proyectiva tal que ABCD Z BADC.
Demostracin: Sea P
/ x y y una recta por D. Definimos S = P A y, R = P B y y
R A P
T = P C y. Y sea z la recta CP Y Q = AR z. Las proyecciones x [ y [ z [ x nos dan:
R A P
ABCD [ QP CT [ RSDT [ BADC
Problemas
Problema 1 Definir el concepto dual de transformacin proyectiva entre haces de rectas.
102 Geometra Proyectiva
Q
S
R T
A B C D
Figura 7-4
Teorema de Desargues
Uno de los teoremas bsicos de la geometra proyectiva es el teorema de Desargues. Daremos
una demostracin que solo utiliza los axiomas de un espacio proyectivo sin hacer referencia a
ninguna propiedad mtrica.
Para enunciar el teorema necesitamos el concepto de figuras en perspectiva.
A = {P1 , P2 , ..., Pn }
y
B = {Q1 , , Q2 , ..., Qn }
estn en perspectiva desde el punto O si los puntos Pi , Qi y O estn alineados para i = 1, ...n. El
punto O es el centro de perspectiva.
Teorema 7.34 (Desargues) Si dos tringulos 4ABC y 4A0 B 0 C 0 estn en perspectiva entonces
los lados correspondientes se cortan en tres puntos alineados.
Corolario 7.35 Si dos conjuntos A = {P1 , P2 , ..., Pn } y B = {Q1 , , Q2 , ..., Qn } estn en perspec-
tiva entonces los puntos Pi Pj Qi Qj estan alineados.
C C'
O R
B B'
P A'
Figura 7-5
Teorema 7.37 Si cinco de los seis lados correspondientes de dos cuadrngulos ABCD y A0 B 0 C 0 D0
estn alineados el sexto par se intersecta en un punto alineado con los otros.
Demostracin: Sean P = BC B 0 C 0 , Q = CA C 0 A0 , R = AB A0 B 0 , P 0 = AD A0 D0 y
Q = BD B 0 D0 puntos de la recta o entonces los tringulos ABC y A0 B 0 C 0 estn en perspectiva,
0
P
R Q P' R' Q'
Figura 7-6
Definicin 7.38 El conjunto de puntos en los que un cuadrngulo intersecta una recta se llaman
un conjunto cuadrngular de puntos.
Conjugados Armnicos
En esta seccin estudiaremos propiedades proyectivas que tienen sentido en cualquier plano
(o espacio) proyectivo, donde se satisface el teorema de Desargues. Sin embargo los teoremas que
podemos demostrar para cualquier plano proyectivo son muy generales, para poder dar teoremas
ms fuertes necesitaremos restringirnos al espacio euclidiano o su complecin, esto lo haremos en
Geometra Proyectiva 105
las secciones posteriores. La presentacin de las primeras secciones del captulo tiene la ventaja
de no usar ninguno de los conceptos mtricos o topolgicos del plano (o espacio) euclidiano.si
tenemos el siguiente teorema.
Claramente el teorema [ ??7.37, 103] es valido en el caso de que la recta o pase por uno o dos
de los vrtices del cuadrngulo. Dados una recta l y tres puntos de l distintos A, B y C. Sea P ,
Q, R y S un cuadrngulo tal que A = SP QR, B = P Q RS respectivamente y C = AB P R,
entonces el punto D = AB SQ no depende del cuadrngulo. Este resultado permite dar la
siguente definicin.
Figura 7-7
Claramente H(AB, CD) sii H(AB, DC) sii H(BA, CD) sii H(BA, DC). Adems C es un
punto interior del segmento AB sii D es un punto exterior del segmento AB. Para que los cuatro
puntos A, B, C y D sean distintos necesitamos el axioma de Fano pag. 95.
El concepto dual es el de parejas de rectas conjugadas armnicas.
Definicin 7.40 Si a, b, c y d son rectas, distintas, de un haz X, decimos que a y b son conjugadas
armnicas de las rectas c y d si a y b son dos de las rectas diagonales de un cuadriltero completo
pqrs con c y d las rectas que une X con los otros dos vrtices del cuadriltero. Se utilizara la
notacin H(ab, cd).
Si tenemos las rectas OA, OB, OC y OD del haz O, si OC y OD son conjugados armnicos
de OA y OB se usara la notacin H(O(AB, CD)).
La importancia de los conjugados armnicos reside en que es un invariante ante perspectiva y
seccin, como lo muestra el siguiente teorema.
A C B D
Figura 7-8
Demostracin: Usando el teorema [7.32, 101] tenemos que ABCD Z CDAB y por lo tanto
H(AB, CD) sii H(CD, AB).
La definicin de puntos y rectas armnicos se puede expresar de una forma alterna por las
siguientes proposiciones:
Proposicin 7.44 En cada diagonal de un cuadriltero completo, hay una hilera armnica que
consiste de los dos vrtices en la diagonal y los puntos en los cuales es intersectada por las otras
dos diagonales.
P
B
R
S
C
Cuadrngulo Cuadriltero
Proposicin 7.45 Por cada punto diagonal de un cuadrngulo completo, hay un haz armnico
que consiste de los dos lados que pasan por el punto y las rectas que unen el punto con los otros
dos puntos diagonales.
Los resultados anteriores muestran porque los tringulos diagonales de los cuadrilteros com-
pletos y de los cuadrngulos completos son de gran importancia en lo que sigue. Daremos ahora
una proposicin que tendremos la oportunidad de usar en repetidas ocasiones.
Construcin 7.46 Dados un tringulo y un punto construir un cuadrngulo tal que uno se sus
vrtices sea el punto dado y tenga por tringulo diagonal el tringulo dado.
Geometra Proyectiva 107
Figura 7-9
Construccin: Trazar la recta que pasa por el punto dado y por cada vrtice del tringulo y
construimos la recta conjugada armnica respecto a los lados del tringulo que pasan por vrtice.
Estas seis rectas son los lados del cuadrngulo buscado.
Demostracin: De las propiedades armnicas en un tringulo se sigue que estas seis rectas
pasan por tercias por cuatro puntos, los vrtices del cuadrngulo buscado.
Construcin 7.47 Dado un cuadriltero completo, construir un cuadrngulo completo tal que
ambos comparten el mismo tringulo diagonal.
Construccin: Unimos cada vrtice del tringulo diagonal del cuadriltero dado con los
vrtces del cuadriltero que estn en el otro lado del tringulo. Estas seis rectas son los lados
del cuadrngulo buscado.
Demostracin: De las propiedades armnicas del cuadriltero completo se sigue que estas
seis rectas pasan por tercias por cuatro puntos, los vrtices del cuadrngulo buscado. Adems es
claro que este cuadrngulo tiene como tringulo diagonal el tringulo diagonal del cuadriltero
dado.
Hay un anlogo bidimensional a conjugados armnicos. Es el concepto de la recta conjugada
trilineal de un punto.
Definicin 7.48 Dado el cuadrngulo ABCD con tringulo diagonal 4P QR, entonces los trin-
gulos 4ABC y 4P QR estn en perspectiva con centro D. Su eje de perspectiva d lo llamaremos
la conjugada trilineal de D respecto al tringulo 4ABC. Claramente d pasa por P 0 , Q0 y R0 , donde
H(AB, RR0 ), H(BC, P P 0 ) y H(CA, QQ0 ).
Definicin 7.49 Dado el cuadriltero abcd con tringulo diagonal 4pqr, entonces los tringulos
4abc y 4pqr estn en perspectiva con eje d. Su centro de perspectiva D lo llamaremos el conjugado
trilineal de d respecto al tringulo 4abc. Claramente D esta contenida en las rectas p0 , q 0 y r0 ,
donde H(ab, rr0 ), H(bc, pp0 ) y H(ca, qq 0 ).
108 Geometra Proyectiva
Q
D
A P
R
B
Z
X
d
Y
Figura 7-10
Problemas
Problema 1 Demostrar directamente que H(AB, CD) es equivalente a H(CD, AB) (sugerencia:
usar la siguiente figura).
P
L M
S
R
A x C B D
Figura 7-11
Problema 3 Definir el concepto del punto conjugado trilineal P del plano respecto del tetraedro
.
Problema 4 Definir el concepto del plano conjugado trilineal del punto P respecto del tetraedro
.
N
A
P
L
M
R
B
Figura 7-12
Problema 7 Enunciar el concepto de conjugado trilineal D del una recta d respecto al trilatero
4abc como el dual de la conjugada trilineal y demostrar que si D es el conjugado trilineal de una
recta d respecto al triltero 4abc, entonces d es la conjugada trilineal del un punto D respecto al
tringulo 4ABC.
Los resultados enunciados en los siguientes problemas son vlidos en todos los planos proyec-
tivos que satisfacen el teorema de Desargues. Por esta razn se debe usar nicamente los teoremas
de esta seccin para resolver los problemas.
Problema 9 Definir el concepto del punto conjugado trilineal P del plano respecto del tetraedro
.
Problema 10 Definir el concepto del plano conjugado trilineal del punto P respecto del tetrae-
dro .
Problema 11 Dadas tres rectas p, q y r que pasan por los vrtices A, B y C respectivamente.
Entonces la condicin necesaria y suficiente para que rectas p, q y r sean concurrentes es que para
una recta dada x los puntos P = BC x, Q = CA x, R = AB x, P 0 = p x, Q0 = q x y
R0 = r x sean un conjunto cuadrngular de puntos.
Problema 12 Si tres tringulos tienen un centro comn de perspectiva entonces los tres ejes de
perspectiva son concurrentes.
Problema 13 Si tres tringulos tienen un eje comn de perspectiva entonces los tres centros de
perspectiva estn alineados.
110 Geometra Proyectiva
Problema 15 Si los tetraedros ABCD y A0 B 0 C 0 D0 son tales las intersecciones de lados corre-
spondientes estn en un plano, entonces los tetraedros estn en perspectiva.
Problema 16 Dos rectas se cortan en un punto inaccesible A, dado un punto P trazar la recta
AP , usando nicamente regla, sin usar al punto A.
Para los siguientes problemas se necesitan los resultados de la seccin de espacio proyectivo.
Las demostraciones hay que darlas usando los teoremas de esa seccin.
Definicin 7.1 Decimos que el haz de rectas por un punto O estn en perspectiva con los puntos
de un plano , que no contiene a O, asociando a cada recta a del haz el punto P = a y a cada
punto P de la recta OP . En este caso decimos que los puntos de son una seccin del haz por
O.
A'
e
A
Figura 7-13
S S
Teorema 7.2 La proyeccin [ 0 es una funcin biyectiva. La inversa de [ 0 es la proyeccin
S
0 [ . Adems los puntos de e = 0 quedan fijos. Ms aun la imagen de una recta es una recta
S S
Teorema 7.3 Si a es una recta de , entonces la proyeccin [ 0 induce proyeccin a [ a0 donde
a0 es la imagen de a.
Daremos ahora el concepto dual. Dados dos haces distintos con vrtices X y X 0 definimos la
proyeccin del haz X en el haz X 0 desde el plano a como la funcin que a cada recta a del haz
X le asocia la recta a0 del haz X 0 tal que a0 = ( a)X 0 son concurrentes. Decimos que es el
plano de proyeccin.
Denotaremos la proyeccin de X en X 0 desde el plano con el smbolo X [ X 0 , ademas si a,
S
b,..., c son rectas del haz X con imagenes a0 , b0 ,..., c0 se usara la notacin abc [ a0 b0 c0 . Si a = XX 0
S
entonces a [ a.
Un funcin f de un plano en otro plano 0 ( y 0 pueden ser coincidir) se llama trans-
formacin proyectiva si es la composicin de proyecciones. Esto es si f es la composicin de las
funciones
S1 S2 Sn
[ 1 [ 2 ... n1 [ 0
En este caso la funcin f se denotara por el signo Z 0 ademas si A, B,..., C son puntos de
con imagenes A0 , B 0 ,..., C 0 se usara la notacin ABC Z A0 B 0 C 0 .
De la definicin de las transformaciones proyectivas : 0 se sigue las siguientes propiedades:
La inversa de una transformacin proyectiva es proyectiva.
La composicin de transformaciones proyectivas es proyectiva.
La identidad es una transformacin proyectiva.
Dada una recta a con imagen a0 , entonces |a : a a0 es una transformacin proyectiva.
Si es un plano, denotaremos por P GL() el conjunto de transformaciones proyectivas de
en . Por lo tanto se tiene que P GL() es un grupo. Anlogamente definimos el grupo P GL(X)
como el conjunto de transformaciones proyectivas de X en X.
La propiedad ms importante de las transformaciones proyectivas esta dada por el teorema
siguiente.
112 Geometra Proyectiva
Teorema 7.4 Dadas dos planos y 0 ( y 0 pueden ser coincidir), si A, B, C y D son cuatro
puntos, no tres de ellos alineados, en plano y si A0 , B 0 , C 0 y D0 son cuatro puntos, no tres
de ellos alineados, en en el plano 0 . Entoces existe una transformacin proyectiva Z 0 tal que
ABCD Z A0 B 0 C 0 D0 . Adems bastan cuatro proyecciones para lograrlo (si 6= 0 , entonces tres
proyecciones bastan).
Demostracin: Si = 0 podemos proyectar en otro plano y reducir el problema al caso
de planos distintos. En el caso de 6= 0 la demostracin se reduce a los siguientes casos.
00
caso I) Podemos suponer que A = A0 . porque si no sea un plano por A0 y tomamos O un
O O
punto en la recta AA0 y distinto de A y A0 . Entonces si [ ABCD [ A0 B 00 C 00 D00 .
00
caso III) Como X = X 0 las rectas CC 0 y DD0 estn en un plano y se intersectan en un punto
O0 O
O, entonces si [ ABCD [ ABC 0 D0 .
0
B
Z
A
P
D
Y
C W
O
Figura 7-14
Homologa
La transformacin proyectiva, de un plano en si mismo, ms importante es la homologa la cual
estudiaremos en esta seccin. En esta seccin supondremos que el plano es parte de un espacio
proyectivo. Esto nos servir para dar algunas demostraciones de la existencia de homologas. Sin
embargo se puede definir las homologas usando nicamente los axiomes de un plano proyectivo y
adems los axiomas bsicos de la geometra proyectiva son suficientes para demostrar la unicidad
de las homologas.
00
Dados los planos y distintos y puntos S y S 0 distintos y que no estn en ninguno de los
S S0
planos dados, definimos la funcin definida como la composicin de las proyecciones [ [ .
00
Teorema 7.8 Dados puntos O, A y A0 alineados y una recta o, entonces hay a lo ms una
homologa con centro O, eje o y que manda a A en A0 .
S'
O' A'
o
O
A
A"
Figura 7-15
Usaremos el hecho de que el plano esta en un espacio proyectivo para demostrar la existencia
de homologias.
Teorema 7.9 Dados puntos O, A y A0 alineados y una recta o, entonces hay una homologa con
centro O, eje o y que manda a A en A0 .
00
Demostracin: Sea cualquier plano que contiene a la recta o y que es distinto de . Si
00 00 00 00
S / , A = SA y S 0 = A0 A OS. Entonces claramente obtenemos una homologa con
las propiedades deceadas.
Este teorema nos da un nueva demostracin del teorema 7.4, pag. 112. Lo demostraremos en
la forma siguiente.
Dadas el plano , los puntos A, B, C y D no tres de ellos alineados y los puntos A0 , B 0 , C 0 y
0
D no tres de ellos alineados. Entoces existe un producto de homologas que manda los primeros
cuatro puntos en los segundos cuatro respectivamente.
Demostracin (teorema 7.4, pag. 112): Lo haremos por casos.
Caso I. Podemos suponer que A = A0 , porque si no sea o una recta que no contiene a A ni A0
y O = o AA0 y por lo tanto exite una homologa de centro O y eje o tal que A0 = (A).
Caso II. Podemos suponer que adems de A = A0 que B = B 0 , porque si no repetimos el
razonamiento del caso I, donde el eje o contiene al punto A.
Caso III. Podemos suponer que adems de A = A0 y B = B 0 que C = C 0 , porque si no
repetimos el razonamiento del caso I, donde el eje o = AB.
Caso IV . Podemos suponer que ademas de A = A0 , B = B 0 y C = C 0 que A, D y D0 estn
alineados. Porque si E = AD BD0 existe una homologa de centro B y eje AC que manda D a
E.
Caso V . Por lo tanto existe una homologa de centro A y eje BC que manda D a D0 .
Si es la complecin del plano . Si f : es una homologa, entonces la recta de fuga de
f es paralela al eje de f .
Teorema 7.10 Si es un plano proyectivo y f : es un isomorfismo tal que existe una
recta o tal que f | o = ido , entonces f es una homologa.
Geometra Proyectiva 115
D'
E
B
C
Figura 7-16
Problemas
En los primeros tres problemas se necesita dar las construcciones de las imagenes de los pun-
tos y rectas, incliyendo puntos al infinito y la rectas de fuga. Hay que especificar para cuales
construcciones basta una regla y para cuales necesitamos regla y comps.
Problema 4 Sea Z una transformacin proyectiva de plano que tiene un centro, entonces
es una homologa.
Problema 5 Sea Z una homologa tal que su eje es la recta al infinito, entonces es una
transformacin de semejanza.
Problema 6 Sea Z una homologa tal que su centro es un punto al infinito, entonces existe
una direccin tal que si A Z A0 entonces AA0 est en la direccin dada.
116 Geometra Proyectiva
Problema 7 Sea Z una homologa tal que su centro y su eje estn al infinito, entonces es
una translacin.
Problema 9 Dados un punto O y tres rectas concurrentes a, a0 y o, entonces hay una nica
homologa con centro O, eje o y que manda a a en a0 .
Problema 10 Dados un punto O y dos rectas paralelas i y o, entonces hay una nica homologa
con centro O, eje o y recta de fuga i.
Problema 11 Dada el plano proyectivo real y una homologa Z , con centro O, eje o. Si
0 es el plano girado con eje o un ngulo 6= 0, entonces la transformacin Z0 0 , que es la
composicin de la homologa con la rotacin, es una proyeccin, esto es existe un punto P tal que
P
Z0 = [. Ms aun para distintas los puntos P estn en un crculo con centro en o y en un plano
perpendicular a o.
Podemos extender el concepto de homologa a tres dimensiones. En este caso diremos que un
isomorfismo f : del espacio proyectivo es una homologa si:
Existe un plano , el eje de la homologa, tal que los puntos de son puntos fijos de f .
Existe un punto O, el centro de la homologa, tal que si l es una recta que pasa por O
entonces f (l) = l.
En este caso tenemos los siguientes problemas que nos dan los principales teoremas.
Problemas
Problema 1 Sean f una homologa, de eje y centro O, del espacio y un plano tal que
6= y O , entonces f | es una homologa de .
Problema 2 Sea f una homologa del espacio , con eje y centro O, entonces f queda determi-
nada por P y P 0 = f (P ), donde P / OP , entonces f (Q) = OQRP 0 ,
/ {O}. Ms aun si Q
donde R = P Q .
Homologa Armnica
El anlogo bidimensional de una involucin es la homologa armnica. En esta seccin estudi-
aremos sus propiedades principales.
Si H es una homologa involutoria, de centro O y eje o, es claro que H induce una involucin
en cada recta a que pasa por el centro O y que tiene a O y a Q = a o como puntos fijos, por lo
tanto si P 0 = H(P ) entonces H(OQ, P P 0 ). Por esta razn se llama a H una homologa armnica.
El siguiente teorema demuestra que esta propiedad determina las homologas involutorias.
Geometra Proyectiva 117
A'
B'
R
A B Q
Figura 7-17
Por el teorema 7.9, pag. 114, dados el centro O, el eje o y dos puntos P y P 0 alineados con
O, existe una nica homologa H con el centro O, eje o y que mando a P a P 0 . Usaremos este
resultado para demostrar el teorema siguiente.
Teorema 7.12 Una homologa H es una homologa armnica sii intercambia a dos puntos.
Demostracin: Supongamos que P y P 0 son dos puntos intercambiados por H. Entonces H 2
es una homologa con el centro O, eje o y que P y P 0 son otros puntos fijos y por lo tanto H 2 = 1.
Teorema 7.13 Dos homologas armnicas conmutan sii el centro de uno esta en el eje del otro.
Y en este caso el producto es una homologa armnica.
Demostracin: Si H y H 0 son homologas armnicas con centros O y O0 y ejes o y o0 respec-
00
tivamente. Demostraremos que HH 0 y H 0 H son la homologa armnica con centro O = o o0 y
00
eje o = OO0 .
Si O o0 y O0 o, entonces si H(OO0 , P P 0 ) entonces P 0 = H(P ) = H 0 (P ) y por lo tanto los
puntos de la recta OO0 son invariantes de la transformacines HH 0 y H 0 H. Analogamente cada
recta por oo0 es invariante ante HH 0 y H 0 H. Por lo tanto HH 0 y H 0 H son homologas. Si P y P 0
00
son puntos de o0 tales que H(O O, P P 0 ) entonces H intercambia a P y P 0 y H 0 lod deja fijos, por
00
lo tanto HH 0 los intercambia. Por lo tanto HH 0 es la homologa armnica con centro O = o o0 y
00 00 00
eje o = OO0 . Anlogamente H 0 H es la homologa armnica con centro O = oo0 y eje o = OO0 .
Si H y H 0 conmutan, entonces HH 0 es involutoria y por lo tanto es una homologa armnica.
Si A o, entonces H 0 (A) H 0 (o). Como A es un punto invariante ante H el punto
H 0 (A) = H 0 (H(A)) = H(H 0 (A))
118 Geometra Proyectiva
es invariante ante H. Por lo tanto los puntos de H 0 (o) son puntos fijos de H y por lo tanto
H 0 (o) = o. Por lo tanto o es invariante ante H 0 y por lo tanto tenemos el caso O0 o el caso
o = o0 . Pero en este ltimo caso el producto HH 0 seria una homologa especial y no involutoria.
Problema 3 Demostrar que el producto de tres homologas armnica, cuyos centros y ejes son
los vertices y lados de un tringulo, es la identidad.
Problema 5 Demostrar que la reflexion en una recta euclidiana es una homologa armnica.
Problema 6 Dados el punto O y rectas o, a, y a0 concurrentes, entonces hay una sola homologa
con centro O, eje o y que manda a a en a0 .
Problema 7 Dada una homologa con eje o entonces su recta de fuga j es paralela a o.
Problema 8 Demostrar que una homologa esta determinada por su centro O, su eje o y su recta
de fuga j.
Problema 9 Si el eje de una homologa (no especial) es la recta al infinito, entonces la homologa
es una homotecia de centro O.
Problema 12 Si dos tringulos estn en perspectiva, con centro O y eje o, entonces estn rela-
cionados por una homologa de eje o y centro O.
Problema 13 Sea una homologa de eje o y centro O. Para cada punto X o {O}
definimos los puntos: X 0 = (X), X0 = o OX. Si para un punto A tenemos que H(OA0 , AA0 ),
demostrar que para todo punto X o {O} tenemos que: H(OX0 , XX 0 ). (En este caso
desimos que es una homologa armnica).
Geometra Proyectiva 119
Proyeccin en un cuadrado
En esta seccin demostraremos que en el plano Euclideano todo cuadrngulo se puede proyec-
tar en un cuadrado. Aunque no lo necesitaremos en los captulos siguientes el resultado y la
demostracin son especialmente elegantes.
Para la demostracin usaremos la siguiente caracterizacin, usando conceptos proyectivos y el
de perpedicularidad, de un cuadrado:
Un cuadrngulo es un cuadrado sii satisfacen las condiciones siguientes:
i) Es un paralelogramo, esto es equivalente a que dos de los puntos diagonales estn al infinito.
ii) Las diagonales son perpendiculares. Esto junto con i) nos dice el cuadrngulo es un rombo.
iii) Los lados son perpendiculares, esto es equivalente a que la rectas que unen los puntos
medios de los lados opuestos son perpendiculares. Estas rectas son los lados finitos del tringulo
diagonal.
Demostracin: Supondremos que las rectas diagonales del cuadrngulo completo P QRS son
rectas ordinarias (el otro caso es ms sencillo y se deja como problema).
R'
A'
S'
Q'
G E P F H
D
Q A
B C
Figura 7-18
tal que la imagen del cuadrngulo P QRS es un paralelogramo. Ms aun dados puntos X o
O
y X 0 0 o entonces si O = XX 0 00 , entonces X Z X 0 .
Por facilidad en el dibujo presentaremos la parte que esta en el plano 0 el la parte superior
del dibujo en el plano (arriba de la recta o). El dibujo en el plano 0 se obtienen de esta parte
del dibujo girando el plano en la recta o hasta que coincida con el plano 0 .
120 Geometra Proyectiva
Con ayuda del concepto de rectas (y haces) dirigidas definiremos la razn cruzada de cuatro
puntos alineados o cuatro rectas concurrentes, la razn cruzada es el invariante mtrico ms
importante que nos permitir demostrar los principales teoremas de la geometra proyectiva.
Par estudiar la geometra proyectiva necesitamos estudiar las propiedades del plano que son
invariantes ante proyecciones. En esta seccin estudiaremos la razn cruzada que es el invariante
(mtrico) ms importante para estudiar la geometra proyectiva. Para esto necesitamos el teorema
4.7, pag. 56.
Definicin 8.1 Dados cuatro puntos distintos A, B, C y D en una recta x. Definimos la razn
cruzada {ABCD} de los puntos A, B, C y D como el elemento de R {} definido por:
AC AD
{ABCD} =
CB DB
Esta definicin tiene sentido aunque alguno de los puntos sea el punto al infinito de la recta x.
Si A, B y C permanecen fijos definen una funcin biyectiva
R : x {A, B, C} R {0, 1, }
definida como R(D) = {ABCD}. Ms aun podemos extender R a una funcin biyectiva de x en
R tal que R(A) = , R(B) = 0 y R(C) = 1.
Aunque dados cuatro puntos hay 24 permutaciones de ellos. La razn cruzada de estas per-
mutaciones slo toma 6 valores. Esto se obtiene de la proposicin siguiente.
121
122 Hileras de Puntos y Haces de Rectas (Razn cruzada)
El siguiente teorema es la base del estudio de la geometra proyectiva usando los conceptos
euclidianos.
Teorema 8.4 Si tenemos cuatro puntos distintos A, B, C y D en una recta y O un punto (finito)
no en la recta entonces:
{ABCD} = O{ABCD}
Este corolario tiene muchas concecuencias, como veremos en esta seccin. El primer resultado
es el dar una condicin mtrica equivalente a que tres pares de puntos alineados sean un conjunto
cuadrngular de puntos.
R0 P 0 RQ Z RP R0 Q0
P Q0 QR0 RP 0 + P 0 Q Q0 R R0 P = 0
adems obtenemos
R0 R R0 Q RR0 RQ0
=
RP 0 QP 0 R0 P Q0 P
0 0
1 QP 1 Q P
0 0
=
RP R Q R0 P RQ0
que es equivalente a la igualdad del teorema.
A
N
Q P
Figura 8-1
Teorema 8.8 Dados un tringulo 4ABC, una transversal d y un punto D, sean L = DA BC,
M = DB CA, N = DC AB, P = d BC, Q = d CA y R = d AB. Entonces
AR BP CQ AN BL CM
=
RB P C QA NB LC MA
124 Hileras de Puntos y Haces de Rectas (Razn cruzada)
= {ABRN}{BCP L}{CAQM}
= {P 0 Q0 RR0 }{Q0 R0 P P 0 }{R0 P 0 QQ0 }
P 0R Q0 P R0 Q
RQ0 P R0 QP 0
= P 0 R0 Q0 P 0 R0 Q0
R0 Q0 P 0 R0 Q0 P 0
P R Q P R0 Q
0 0
=
RQ0 P R0 QP 0
Teorema 8.9 Dados cuatro puntos distintos A, B, C y D de una recta, entonces H(AB, CD)
AC AD
ssi CB = DB .
Demostracin: Dados el tringulo ABP el punto R y la recta QS, el teorema anterior nos
da la igualdad
AD BQ P S AC BQ P S
=
DB QP SA CB QP SA
AC AD
de donde obtenemos que H(AB, CD) ssi CB
= DB . El inverso se sigue del teorema directo.
A C B D
Figura 8-2
Teorema 8.10 (Menelao) Si P , Q y R son puntos en los lados (pero no uno de los vrtices)
BC, CA y AB de un tringulo 4ABC, entonces P , Q y R estn alineados sii
AR BP CQ
= 1
RB P C RQ
Hileras de Puntos y Haces de Rectas (Razn cruzada) 125
Teorema 8.11 (Ceva) Si X, Y y Z son puntos en los lados BC, CA y AB (pero no uno de los
vrtices) de un tringulo 4ABC, entonces las rectas AX, BY y CZ son concurrentes sii
AR BP CQ
=1
RB P C RQ
Demostracin: Claramente el teorema anterior nos dice que para cada tringulo existe un
AR BP CQ
nmer real tal que si los puntos P , Q y R estn alineados entonces RB P C RQ
= ; y las rectas
AR BP CQ
AX, BY y CZ son concurrentes entonces RB P C RQ = . Si P , Q y R estn en la recta al infinito
entonces obtenemos que = 1.
AR BP CQ AR0 BP CQ
Inversamente si RB P C RQ
= 1, sea R0 = AB P Q, entonces R 0 B P C RQ = 1 y por lo tanto
AR BP CQ
R = R . Anlogamente si RB P C RQ = 1 definimos D = AP BQ y R0 = AB CX, entonces
0
AR0 BP CQ
R0 B P C RQ
= 1 y por lo tanto R = R0 .
El siguiente teorema nos permite dar otros enunciados, equivalentes, para los teoremas de Ceva
y Menelao.
Teorema 8.12 Si X, Y y Z son puntos en los lados BC, CA y AB (pero no uno de los vrtices)
de un tringulo 4ABC, entonces
AZ BX CY sen(ACZ) sen(BAX) sen(CBY )
=
ZB XC Y A sen(ZCB) sen(XAC) sen(Y BA)
Demostracin: Es inmediata usando el teorema 4.7, pag. 56.
Daremos ahora algunas aplicaciones de los teoremas de Ceva y Menelao.
Teorema 8.13 Los seis centros de semejanza de tres crculos (no dos de ellos concntricos) toma-
dos de dos a dos, estn por tercias en cuatro rectas.
Problemas
Problema 1 Si en la figura ??; pag. ?? CP es la bisectriz interior del ngulo C entonces
AP/P B = CA/CB y si es la bisectriz exterior AP/P B = CA/CB.
sen AOB sen COD + sen BOC sen AOD + sen COA sen BOD = 0
O
Problema 6 Si O es un punto al infinito y ABCD[A0 B 0 C 0 D0 , entonces {ABCD} = {A0 B 0 C 0 D0 }.
Esto permite definir la razn cruzada de cuatro rectas paralelas.
1
Problema 8 Si = {ABCD} y = {ABCD0 } entonces {ACDD0 } = 1
.
Problema 9 Dados un tringulo 4ABC y dos rectas m y m0 (que no pasan por los vrtices del
tringulo), sean P ; P 0 , Q; Q0 y R; R0 las intersecciones de m y m0 con los lados BC, CA y AB
del tringulo, entonces
AR BP CQ AR0 BP 0 CQ0
= 0
RB P C QA R B P 0 C Q0 A
X X
(sugerencia: Sean X = m m0 y Y = XC a; usar las proyecciones a [ c y b [ c.)
Q
P'
C
Q' P
R' Y R
A B
Figura 8-3
Crculos Homotticos
Dados dos crculos C y C 0 , de centros O y O0 y radios R y R0 . Tomamos OA un radio del
primero y A01 A02 un dimetro del segundo, entonces hay dos dilataciones T1 y T2 , tales que T1
Hileras de Puntos y Haces de Rectas (Razn cruzada) 127
manda OA en O0 A01 y O0 A02 , por lo tanto y que mandan al C crculo en el crculo C 0 . Tenemos los
siguietes casos:
i) Los crculos no son concntrico. Este caso tiene dos posibilidades:
iA) Los crculos son iguales, entonces una de las dilataciones es una translacin con centro S1
el punto al infinito de la recta de los centros y la otra es una homotecia de razn k = 1 y centro
S2 = OO0 AA02 ,.
iB) Los crculos no son iguales, entonces las transformaciones Ti (i = 1, 2) son homotecias Ti =
HSi ,ki , con k1 = RR0 y k2 = RR0 . Adems Si = OO0 AA0i , el punto S1 (resp. S2 )se llama el centro
exterior (resp. interior) de homotecia de los crculos C y C 0 . En este caso SOS
1O
1 OS2 R
0 = S O0 = R0 .
2
Y por lo tanto en ambos casos H(OO0 , S1 S2 ).
ii) Los crculos son concntrico, entonces S1 = S2 y coinciden con el centro de los crculos
dados y las razones de homotecia son k = RR0 .
B
A'
B'
O S' O' S
A"
Figura 8-4
Teorema 8.14 Dados dos crculos C y C 0 un centro S de homotecia y dos rectas distintas SA
y SC tales que SA (resp. SC) intersecta al crculo C en los puntos A, B (resp. C y D) y SC
intersecta al crculo C en los puntos A0 , B 0 (resp. C 0 y D0 ) de forma tal que A, A0 , B, B 0 , C, C 0
y D, D0 son pares de puntos homlogos respecto del centro de homotecia S. Entonces tenemos las
siguientes propiedades:
i) El producto SA SB 0 es constante.
128 Hileras de Puntos y Haces de Rectas (Razn cruzada)
B
A'
B'
O S' O' S
D'
C'
D
C
Figura 8-5
SA SB 0 = kSA SB
= k = const
A1
A2
O1
O2 S
Figura 8-6
Hileras de Puntos y Haces de Rectas (Razn cruzada) 129
Dado un crculo T tangente a dos crculos C1 y C2 , entonces los puntos de tangencia son puntos
antihomlogos respecto a S uno de los centros de semejanza de C1 y C2 . Diremos que T y S estn
asociados.
El siguiente teorema y su corolario ser de importancia para resolver el problema de Apolonio,
ver la seccin 11, pag. 178.
Teorema 8.17 Sean dos circulos T1 y T2 tangentes a dos crculos C1 y C2 , tale que estn asociados
al mismo centro de semejanza S de C1 y C2 . Entonces los crculos C1 y C2 estn asociados al mismo
centro de semejanza de T1 y T2 . Adems S esta en el eje radical de T1 y T2 .
Corolario 8.18 Dados tres crculos C1 , C2 y C3 (con centros noalineados) y dos circulos T1 y T2
tangentes a C1 , C2 y C3 tales que estn asociados a los centros de semejanza Sij de los cculos Ci
y Cj . Entonces los puntos Sij estn en el eje radical de T1 y T2 . Adems los puntos Ti1 = Ci T1 ,
Ti2 = Ci T2 y P el centro radical de los crculos Ci estn alineados.
Problemas
Problema 1 Construir un tringulo dados su base, su altura y la razn sus otros dos lados.
Problema 3 El crculo de similitud de dos crculos que se intersectan, pasa por los puntos de
interseccin.
Problema 5 Si una lnea variable intersecta a dos crculos dados, en los segmentos AB y A0 B 0 ,
y pasa por el centro del crculo de similitud de los crculos dados, entonces AAB
0 B 0 es constante.
Problema 6 Dos crculos se intersectan en los puntos A y B. Una recta variable que pasa por
A intersecta a los crculos en P y Q. Si R divide al segmento P Q en una razn dada, entonces el
lugar geomtrico de los puntos R es un crculo.
Problema 7 Construir un crculo que es tangente a dos rectas dadas y que pasa por un punto
dado. Cuantas soluciones hay?
130 Hileras de Puntos y Haces de Rectas (Razn cruzada)
Problema 8 Construir un crculo que es tangente a una recta dada y que pasa por dos puntos
dados. Cuantas soluciones hay?
Problema 9 Construir un tringulo semejante a un tringulo dado y cuyos lados estn en tres
rectas dadas.
Problema 12 Construir un punto de una recta dada que sea equidistante a un punto dado y a
otra recta dada.
Crculo de Similitud
Usando los conjugados armnicos podemos demostrar el siguiente teorema.
Demostracin: El caso de que los crculos sean iguales es claro que la mediatriz de OO0
satisface las propiedades i) y ii).
En el caso generalos los crculos C y C 0 , tienen centros O y O0 , radios R y R0 y centros de
homotecia H y K.
Caso i). Si P es un punto tal que PPOO0 = RR0 , entonces como PPOO0 = HO
HO
0 , tenemos que P H es
una bisectriz del ngulo ]OP O , anlogamente P H es una bisectriz del ngulo ]OP O0 y por lo
0
tanto P esta en el crculo D. Inversamente si esta en el crculo P , como H(OO0 , HK) entonces
P H es la bisectriz del ngulo ]OP O0 y por lo tanto PPOO0 = HO HO R
0 = R0 .
0
Caso ii) Si desde un punto P trazamos tangentes P T y P T de a los crculos dados entonces
obtenemos tringulos rectngulos 4P T O y 4P T 0 O0 que son semejantes sii ]T P O = ]T 0 P O0 sii
PO
P O0
= RR0 .
Corolario 8.20 El lugar geomtricos de los puntos cuyas razones de sus distancia a dos puntos
fijos es una constante, es un crculo.
Definicin 8.21 Dados dos puntos A y B, entonces llamamos crculo de Apolonio respecto a A
y B a un crculo cuyas razones de sus distancia a los puntos dados es una constante.
Corolario 8.22 Dados los conjugados armnicos H(AB, CD), entonces el crculo de dimetro
CD es un crculo de Apolonio respecto a A y B.
Hileras de Puntos y Haces de Rectas (Razn cruzada) 131
T'
O S O' S'
Figura 8-7
Teorema 8.23 Dados tres crculos, cuyos centros no estn alineados, entonces los crculos de
similitud de los crculos tomados de dos en dos tienen un punto en comn.
Proposicin 8.24 Dado ABCD un cuadrngulo cclico, sea P AD tal que ]CAB = ]DCP .
Entonces DP = bc
a
AC
y CP = ac .
Demostracin: Como los angulos ]ABC y ]P DC son suplementarios del ngulo ]CDA
tenemos que los tringulos ABC y CDP son semejantes y por lo tanto DP
c
= ab y CP
AC
= ac .
B b
C
a f
c
d
A D P
Figura 8-8
Construcin 8.25 Dados las longitudes a, b, c y d de los lados de un cuadrngulo cclico ABCD,
lo podemos contruir de la siguiente manera:
a) En la recta AD construimos el punto P definido por DP = bc a
.
b) Construimos el crculo D de centro D y radio c.
132 Hileras de Puntos y Haces de Rectas (Razn cruzada)
AX
c) Construimos el crculo de apolonio A definido por la condicin A = {X : XP = ac }.
entonces C es una de las interseccin de D y A. Claramente la otra interseccin nos da el
polgono que es la refleccin de ABCD en la recta AD.
En el captulo ??, seccin ??, necesitaremos la siguiente proposicin, que aunque no es un
teorema de la geometra plana, se sigue de los teoremas que hemos visto en este captulo.
Corolario 8.26 El lugar geomtricos de los puntos en el espacio cuyas razones de sus distancia
a dos puntos fijos es una constante, es una esfera.
Definicin 8.27 Dados dos puntos en el espacio, entonces llamamos esfera de Apolonio de los
puntos dados a una esfera cuyas razones de sus distancia a los puntos dados es una constante.
Problemas
Problema 1 En la construccin 8.25 demostrar que D y A se intersectan sii cualquiera de las
longitudes a, b, c y d es menor a la suma de las otrs tres.
Problema 2 Usar los teoremas de Ceva y Menelao para demostrar que H(AB, CD) sii {ABCD} =
1.
Problema 3 Dados dos rectas paralelas l y m, un segmento AB l. Construir, usando nica-
mente regla, el punto medio de AB.
Problema 4 Dados un segmento AB, en una recta l, su punto medio M y otro punto Q. Con-
struir, usando nicamente regla, la recta paralela a l que pasa por Q.
Problema 5 Si H(AB, CD) con O y O0 los puntos medios de AB y CD respectivamente, en-
tonces:
OB 2 + OC 2 = O0 O2
Problema 6 Si H(AB, CD) con AL y AM la media aritmtica y geomtrica de AC y AD re-
spectivamente, entonces AM es la media proporcional de AL y AB.
Problema 7 Si O es un punto de la altura AD del tringulo 4ABC y definimos E = CA BO
y F = AB CO, entonces DA es la bisectriz del ngulo ]EDF .
Problema 8 Dados A, B, C y D tales que H(AB, CD) y V es un punto de C en e la mediatriz
de AB, entonces el crculo C = V CD es tangente a e.
Problema 9 Si H(AB, CD) y O AB, entonces
2 OB OC OD
= +
AB AC AD
Problema 10 Construir un punto tal que sus distancias a tres puntos dados tienen razones
dadas. Cual es el nmero de soluciones.
Problema 11 Dados un punto y dos crculos contruir un crculo que pase por el punto y sea
ortogonal a los crculos dados.
Hileras de Puntos y Haces de Rectas (Razn cruzada) 133
C D O B
Figura 8-9
134 Hileras de Puntos y Haces de Rectas (Razn cruzada)
Captulo 9
Para dar una demostracin directa del teorema de Menelao necesitamos el siguiente resultado.
El cual nos permite comparar las razones de segmentos dirigidos aun cuando esten en direcciones
distintas.
Lema 9.1 Si A, B y P son tres puntos alineados y X, Y y P son otros puntos alineados con
AX k BY entonces PAPB = AX
YB
.
Demostracin: La demostracin es clara de la figura y hay que notar que la igualdad es valida
incluyendo signos.
Y'
X
B' Y
Figura 9-1
P
Z
X
Q
R A B
Figura 9-2
R'
O
m
Figura 9-3
Anlogamente dados una recta a dos puntos A y B a y O el punto medio de AB, el medio
giro H con centro O es una involucin de la recta a. Dado P a, si Q = H(P ) decimos que R y
R0 son puntos conjugados isotmicos, respecto al segmento AB (tambin decimos que R y R0 son
puntos conjugados isotmicos, respecto al punto O). Claramento cualquier par R y R0 conjugados
Teorema de Menelao y Ceva 137
isotmicos determinan la involucin, basta tomar el punto medio de RR0 . Claramente R y R0 son
AR 0
puntos conjugados isotmicos sii RB = BR
R0 A
.
A R O R' B
Figura 9-4
Teorema 9.2 Sean 4ABC un tringulo P y P 0 BC, Q y Q0 CA, R y R0 AB, tales que
AP , BQ y CR son conjugadas isogonales de AP 0 , AQ0 y CR0 , entonces:
i) Las rectas AP , BQ y CR son concurrentes sii las rectas AP 0 , AQ0 y CR0 son concurrentes.
ii) Los puntos P , Q y R estn alineados sii P 0 , Q0 y R0 estn alineados.
Teorema 9.3 Sean 4ABC un tringulo P BC, Q CA y R AB, tales que P 0 BC,
Q0 CA y R0 AB son conjugadas isogonales, entonces:
i) Las rectas AP , BQ y CR son concurrentes sii las rectas AP 0 , AQ0 y CR0 son concurrentes.
ii) Los puntos P , Q y R estn alineados sii P 0 , Q0 y R0 estn alineados.
Definicin 9.4 Sean 4ABC un tringulo y X un punto distinto de los vrtices, decimos que el
punto X 0 es el conjugado isogonal de X, respecto al tringulo ABC, si las rectas AX, BY y CZ
son conjugadas isogonales de AX 0 , BY 0 y CZ 0 respectivamente.
Definicin 9.5 Sean 4ABC un tringulo y x una recta distinta de los lados, decimos que la
recta x0 es la conjugada isotmica de x, respecto al tringulo ABC si los puntos a x, b x y
c x son conjugados isotmicos de a x0 , b x0 y c x0 respectivamente.
Definicin 9.6 Sean 4ABC un tringulo y X un punto distinto de los vrtices, decimos que el
punto X 0 es el conjugado isotmico de X, respecto al tringulo ABC si los puntos X, Y y Z
son conjugados isotmicos de X 0 , Y 0 y Z 0 respectivamente.
Definicin 9.7 Sean 4ABC un tringulo y x una recta distinta de los lados, decimos que la
recta x0 es la conjugada isogonal de x, respecto al tringulo ABC si las rectas A(a x), B(b x)
y C(c x) son conjugadas isogonales de A(a x0 ), B(b x0 ) y C(c x0 ) respectivamente.
138 Teorema de Menelao y Ceva
P
C
C
X H
O
A B A B
F
Y
A B A'
P
Para demostrar iv) sea A0 la otra interseccin del la recta CO con el circuncrculo. Entonces
los tringulos rectngulos 4ACF y 4A0 CB son semejantes ya que ]CAB = ]CA0 B y por lo
tanto ]ACF = ]A0 CB.
Xa
Yb
Ya
Xb
Y
O
X
Figura 9-5
Corolario 9.10 Sean un tringulo ABC y X y Y son conjugados isogonales respecto al trin-
gulo ABC. Entonces los tringulos pedales de X y Y tienen el mismo crculo circunscrito C.
Adems el punto medio de XY es el centro de C.
Demostracin: Sean Xa , Xb , Xc , Xa , Yb y Yc son las proyecciones de X y Y en las rectas a,
b y c, por el teorema anterior los puntos Xa , Xb , Ya y Yb estn en un crculo Cc , Xb , Xc , Yb y Yc
estn en un crculo Ca y Xc , Xa , Yc y Ya estn en un crculo Cb ; pero los centros de estos crculos
coinciden en el punto medio de XY y por lo tanto los tres crculos son el mismo.
Xa
Yb
Ya
Y
Xb
X
Xc Yc B
A
Figura 9-6
Problemas
Problema 1 Demostrar que las medianas de tringulo son concurrentes.
Problema 2 Demostrar que las alturas de tringulo son concurrentes.
Problema 3 Las seis bisectrices de los ngulos de un tringulo pasan por tercias por cuatro
puntos.
Problema 4 Si X, Y y Z son puntos en los lados BC, CA y AB de un tringulo 4ABC, tales
que las rectas AX, BY y CZ son concurrentes. Entonces Y Z k BC sii X es el punto medio de
BC.
Problema 5 Dados un tringulo ABC y P un punto del circuncrculo C. La recta de Simson
de P es perpendicular a la direccin del conjugado isogonal de P .
Problema 6 Dados dos puntos distintos A y B y su punto medio M y un punto P
/ AB,
construir usando regla nicamente, la recta paralela a AB que pasa por P .
Problema 7 Dados dos puntos distintos A y B y una recta p paralela a AB (p 6= AB), construir
usando regla nicamente, el punto medio de AB.
Problema 8 Dados un conjunto ortogonal de puntos ABCH y dos puntos R AB y Q CH,
entonces RQ k BC sii RH AQ.
Problema 9 Dados un tringulo ABC y X, Y y Z los puntos de tangencia del crculo inscrito,
entonces AX, BY y CZ son concurrentes en P (P es el punto Gergonne del tringulo).
Problema 10 Dados un tringulo ABC y X 0 = Ca a, Y 0 = Cb b y Z 0 = Cc c, donde
crculos Cp son crculos excritos, entonces AX 0 , BY 0 y CZ 0 son concurrentes en P (P es el punto
Nagel del tringulo).
Problema 11 Dados un tringulo ABC y P , Q y R puntos en los lados del tringulo tales que
AP , BQ y CR son concurrentes. Si X, Y y Z son los puntos medios de AP , BQ y CR, entonces
XL, Y M y ZN son concurrentes.
Problema 12 Si en el problema anterior D, E y F son los puntos medios de los lados del trin-
gulo P QR, entonces AD, BE y CF son concurrentes y LD, ME y NF son concurrentes.
Problema 13 Dados dos triangulos A1 A2 A3 y B1 B2 B3 definimos los puntos Pi = Aj Ak
B2 B3 , Qi = Aj Ak B1 B3 y Ri = Aj Ak B1 B2 , donde {i, j, k} = {1, 2, 3}; supondremos que
ninguno de los puntos Pi , Qi y Ri coincide con un vrtice de los tringulos. Entonces
i) Se tiene
A1 P1 A2 Q1 A3 R1 A1 P2 A2 Q2 A3 R2 A1 P3 A2 Q3 A3 R3
= 1
P1 A2 Q1 A3 R1 A1 P2 A2 Q2 A3 R2 A1 P3 A2 Q3 A3 R3 A1
ii) Los A1 A2 A3 y B1 B2 B3 estn en perspectiva sii
A2 Q1 A3 R1 A2 Q2 A3 R2 A2 Q3 A3 R3
=1
Q1 A3 R1 A1 Q2 A3 R2 A1 Q3 A3 R3 A1
iii) Si los A1 A2 A3 y B3 B1 B2 estn en perspectiva y los A1 A2 A3 y B2 B3 B1 estn en
perspectiva, entonces los A1 A2 A3 y B1 B2 B3 .
Teorema de Menelao y Ceva 141
Z'
Y
P
P'
Y'
X'
Z
A B
Figura 9-7
A' B'
Q P
C'
B
A
Figura 9-8
i) Las rectas AP , BQ y CR son concurrentes sii las rectas AP 0 , AQ0 y CR0 son concurrentes.
En este caso los puntos de concurrencia se llaman conjugados isotmicos.
ii) Los puntos P , Q y R estn alineados sii P 0 , Q0 y R0 estn alineados. En este caso las rectas
que contienen a las recias de puntos se llaman conjugadas isotmicas.
Problema 19 (Extensin de Ceva) Sea 4ABC un tringulo fijo y sean L, M, N tres puntos
en los lados BC, CA, AB respectivamente tales que BL
LC
= , CM
MA
AN
= , NB = , P = BM CN,
Q = CN AL y R = AL BM, entonces:
i) (ABR) = ++1 (ABC).
(1)2
ii) (P QR) = (++1)(++1)(++1)
(ABC).
(1)2
iii) Si f (, , ) = (++1)(++1)(++1) , entonces f (, , ) = f ( 1 , 1 , 1 ). Dar una inter-
pretacin geomtrica de esta identidad.
M R
N B
A
Figura 9-9
A N B
Figura 9-10
Problema 21 Sea 4ABC un tringulo fijo y P un punto interior del tringulo y sean L =
BC AP , M = CA BP y N = CA BP , entonces (LMN ) 14 (ABC), caracterizar los
puntos P para los cuales (LMN ) = 14 (ABC). Sugerencia: Usar el problema anterior y = 1
para demostrar que
1 1 1
( + 1)( + 1)( + 1) = 2 + + ++ ++ 8
Problema 22 (Ceva para tetraedros) Sean el tetredro ABCD y los puntos X BC, Y
CA, Z AB, X 0 DA, Y 0 DB y Z 0 DC, de tal forma que las tercias de rectas: {DX, BZ 0 ,
CY 0 }, {DY , CX 0 , AZ 0 }, {DZ, AY 0 , BX 0 } son tercias concurrentes en los puntos PA , PB , y PC ,
respectivamente, entonces:
i) Las rectas AX, BY , CZ son concurrentes en el punt PA .
ii) Las rectas APA , BPB , CPC , DPD , XX 0 , Y Y 0 y ZZ 0 son concurrentes.
144 Teorema de Menelao y Ceva
Teorema de Desargues
Daremos una demostracin del teorema de Desargues. usando el teorema de Menelao.
Teorema 9.14 (Desargues) Si dos tringulos 4ABC y 4A0 B 0 C 0 estn en perspectiva, con cen-
tro O, entonces los lados correspondientes se cortan en tres puntos alineados.
BP CC 0 OB 0
= 1
P C C 0O B0B
CQ AA0 OC 0
= 1
QA A0 O C 0 C
AR BP CQ
= 1
RB P C QA
C C'
R
O
B B'
A'
Figura 9-11
Teorema de Menelao y Ceva 145
Problemas
Problema 1 Sean A, B, C y D los vertices de un cuadrngulo plano y sean P , Q, R y S
cuatro puntos en los lados AB, BC, CD y DA respectivamente, entonces se tiene las condiciones
equivalentes
i) P S, QR y BD son concurrentes
ii) P Q, RS y AC son concurrentes
iii) PAPB BQ CR DS
QC RD SA
=1
Problema 2 Las seis bisectrices de los ngulos de un tringulo pasan por tercias por cuatro
puntos.
Problema 4 Dadas dos rectas paralelas y un segmento AB en una de ellas. Construir, usando
nicamente regla, el punto medio del segmento AB.
Teorema 9.15 (Carnot para rectas) Si la recta l intersecta los lados BC, CA y AB del trin-
gulo 4ABC en los puntos P , Q y R (pero no uno de los vrtices) y la recta l0 intersecta los lados
BC, CA y AB en los puntos P 0 , Q0 y R0 (pero no uno de los vrtices), entonces
AR BP CQ AR0 BP 0 CQ0
=1
RB P C QA R0 B P 0 C Q0 A
146 Teorema de Menelao y Ceva
P
R
R'
P' Q'
Figura 9-12
Teorema 9.16 (Carnot) Si un crculo intersecta los lados BC, CA y AB del tringulo 4ABC
en los puntos P , P 0 ; Q, Q0 ; R, R0 ; respectivamente (pero no uno de los vrtices), entonces
AR BP CQ AR0 BP 0 CQ0
=1
RB P C QA R0 B P 0 C Q0 A
Demostracin: Las potencias de los puntos A, B y C respecto al crculo son:
AR AR0 = AQ AQ0
BP BP 0 = BR BR0
CQ CQ0 = CP CP 0
Teorema 9.17 (Carnot) Si una cnica intersecta los lados BC, CA y AB del tringulo 4ABC
en los puntos P , P 0 ; Q, Q0 ; R, R0 ; respectivamente (pero no uno de los vrtices), entonces
AR BP CQ AR0 BP 0 CQ0
=1
RB P C QA R0 B P 0 C Q0 A
Usando los teoremas de Carnot podemos demostrar ahora los siguientes importantes teoremas.
La demostracin es la misma para ambos teoremas.
Teorema de Menelao y Ceva 147
C
P'
Q'
P
A R R' B
Figura 9-13
Teorema 9.18 (Pappus) Si A, B, C son puntos de una recta y D, E y F son puntos de otra
recta, entonces los puntos R = AE BD, P = BF CE y Q = AE BD estn alineados.
Teorema 9.19 (Pascal) Si A, B, C, D, E y F son puntos en un crculo (o una cnica), entonces
los puntos R = AE BD, P = BF CE y Q = AE BD estn alineados.
Demostracin: Si S = AE DC, T = BF CD y U = AE BF y usamos el teorema de
Menelao en el tringulo 4ST U con las rectas AF , BD y CE obtenemos
SQ T F UA
= 1
QT F U AS
SD T B UR
= 1
DT BU RS
SC T P UE
= 1
CT P U ES
y del teorema de Carnot con el tringulo 4ST U
B
A C
Q P
R
S
D E F
Figura 9-14
SC T B U A SD T F UE
=1
CT BU AS DT F U ES
si multiplicamos las tres primeras igualdades y el resultado lo dividimos entre la ltima obtenemos
SQ T P UR
= 1
QT P U RS
148 Teorema de Menelao y Ceva
A
T
Q
R
P
S
F
D
E
Figura 9-15
Definicin 9.20 Si A, B, C son puntos de una recta y D, E y F son puntos de otra recta,
entonces la recta que une los puntos R = AE BD, P = BF CE y Q = AE BD se llama la
ABC
recta de Pappus de los puntos dados. Usaremos la notacin: DEF para esta recta.
Teorema 9.21 Dado un cuadriltero, entonces los ortocentros de los tringulos formados por los
lados del cuadriltero tomados tres a tres estn alineados.
Rectas de Pappus
Entre las rectas Pappus hay varias relaciones geomtricas, como lo muestra el siguiente teore-
mas.
Teorema de Menelao y Ceva 149
A
Hd
Hc
B a
Ha
c
C
Hb
Figura 9-16
A' A
Q
C'
U
O C P
S
T V
B
B'
Figura 9-17
R1
c3
R2
P2 S
Q2
c2
R3
c1
C
B
A P1
Q3
P3 Q1
O
D
E
Figura 9-18
Rectas de Pascal
Corolario 9.25 (Pascal) Si A, B, C, D, E y F son puntos en una cnica entonces los puntos
R = AE BD, P = BF CE y Q = AE BD estn alineados.
Definicin 9.26 Si A, B, C, D, E y F son puntos en un cnica, entonces la recta que une los
puntos R = AE BD, P = BF CE
ABC y Q = AE BD se llama la recta de Pascal de los puntos
dados. Usaremos la notacin: DEF para esta recta.
6!
asociadas a seis puntos en dos rectas. Anlogamente hay 60 = 3!2 rectas de Pascal asociadas a
seis puntos de una cnica.
Entre estas rectas hay varias relaciones geomtricas, como lo muestran los siguientes teoremas.
Claramente la misma demostracin que la del teorema 9.23; pag. 149, nos da el siguiente
teorema.
P2
R2 R1
c3
R3 S
A
c1 c2
D
P3 Q3
B
Q2
P1
E Q1 C
Figura 9-19
Figura 9-20
E) A los puntos de Steiner los llamaremos puntos g. En cada recta de Pascal hay un solo punto
de Steiner. Por lo tanto hay 20 = 60
3
puntos g. Para cada tercia de puntos, ABC por ejemplo, hay
dos puntos de Steiner que llamaremos conjugados; los denotaremos por SABC y SABC .
Los siguientes teoremas nos permitiran definir ms elementos asociados a seis puntos de una
cnica.
ADC Si
Teorema 9.28 (Kirkman)
ABF
A,B, C, D, E y F son puntos en una cnica, entonces las rectas
EBC
de Pascal DEC , F BE y AF D son concurrentes.
Teorema 9.30 Los puntos de Steiner SABC , SABD , SAED y SAEC estn alineados.
ABF
Demostracin: Sean las rectas de Pascal siguientes: x1 = DEC , x2 = ACD , x3 = ADF ,
AEC AED ADB F EB ECB
p1 = DF B , p2 = BCF y p3 = CEF . Entonces tenemos los puntos de Kirman siguientes:
ABC
O = = x1 x2 x3
DEF
EAF
P1 = = x1 p2 p3
CBD
F DC
P2 = = p1 x2 p3
EAB
EDB
P3 = = p1 p2 x3
CF A
154 Teorema de Menelao y Ceva
Teorema de Brianchon
Demostraremos ahora el teorema de Brianchon, que es el teorema dual al teorema de Pascal.
La demostracin que dio Brianchon usa la teora de polos y polares, ver teorema 11.26, pag. 175,
sin embargo por mucho tiempo se busco una demostracin que usara nicamente herramientas
euclideanas. No es hasta 1961 que Smogorzhevskil, ver [35], dio una demostracin de este esti-
lo. Usaremos el concepto de centro radical para demostrar el teorema de Brianchon. Para esto
necesitamos el siguiente lema.
Lema 9.31 Si en un crculo se tienen dos tangentes tA y tB en los puntos A y B y se dan dos
puntos A0 y B 0 en tA y tB respectivamente tales que AA0 = BB 0 , entonces existe un crculo tangente
a tA y tB en los puntos A0 y B 0 .
Teorema de Menelao y Ceva 155
A'
B'
Figura 9-21
TF
QB
A
F
U
UF P
B
T
Q
E PB
S R C
RD SD
Figura 9-22
Los planos proyectivos ms importantes son aquelos que satisfacen el axioma siguiente, este
axioma, que no siempre es valido en un espacio proyectivo, se conoce como el teorema fundamental
de la geometra proyectiva de dimensin uno. Sin embargo si es valido en espacio proyectivo real
(ver teorema ??).
Axioma 10.1 (Teorema fundamental) Dadas dos rectas x y x0 (x y x0 pueden ser coincidir),
si A, B y C son tres puntos distintos en la recta x y si A0 , B 0 y C 0 son tres puntos distintos en la
recta x0 . Entoces existe una nica transformacin proyectiva x Z x0 tal que ABC Z A0 B 0 C 0 .
Teorema 10.2 Dados la recta x y el haz X, si A, B y C son tres puntos distintos en la recta
x y si a, b y c son tres rectas distintas en el haz X. Entoces existe una nica transformacin
proyectiva x Z X tal que ABC Z abc.
Teorema 10.3 (Teorema fundamental) Dadas dos rectas x y x0 en el plano proyectivo euclid-
iano (x y x0 pueden ser coincidir), si A, B y C son tres puntos distintos en la recta x y si A0 , B 0
y C 0 son tres puntos distintos en la recta x0 . Entoces existe una nica transformacin proyectiva
x Z x0 tal que ABC Z A0 B 0 C 0 .
157
158 Teorema Fundamental de la Geometra Proyectva de Dimensin Uno
Corolario 10.4 Una transformacin proyectiva aZa o es la identidad o tiene a lo ms dos puntos
fijos.
Definicin 10.5 Dada una transformacin proyectiva a Z a, decimos que es elptica si no tiene
puntos fijos; parablica si tiene un nico punto fijo; e hiperblica si tiene dos puntos fijos.
Ms adelante daremos ejemplos de transformaciones con cero, uno y dos puntos fijos. Adems
daremos una construccin, con regla y comps, de los puntos fijos de las transformaciones proyec-
tivas. Sin embargo si conocemos un punto fijo, entomces se puede construir el otro usando reglas
nicamente (ver problema??).
Corolario 10.6 Sea f : x x0 una funcin que preserva la razn cruzada, entonces f es una
transformacin proyectiva.
El siguiente corolario (y su dual) son de gran importancia para demostrar muchos teoremas
como veremos en las secciones siguientes. En esta seccin lo usaremos para demostrar los teoremas
de Desargues y Pappus.
Teorema 10.9 (Desargues) Si dos tringulos 4ABC y 4A0 B 0 C 0 estn en perspectiva entonces
los lados correspondientes se cortan en tres puntos alineados.
Teorema Fundamental de la Geometra Proyectva de Dimensin Uno 159
C'
C
R
O
S B'
B S'
A'
P
Figura 10-1
y por lo tanto
B(ASCQ) Z B 0 (A0 S 0 C 0 Q)
satisface la hiptesis del corolario ??, y por lo tanto es una proyeccin. Y por lo tanto los puntos
P y Q estn alineados con R.
Teorema 10.10 (Pappus) Si es un plano proyectivo donde vale el teorema fundamental. Sean
l y m son dos rectas distintas, con X = l m. Sean A, B y C tres puntos distintos de l y
distintos de X. Sean D, E y F tres puntos distintos de m y distintos de X. Entonces los puntos
P = BF CE, Q = CD AF y R = AE BD estn alineados.
por lo tanto la transformacin DRJB Z KP F B, por el corolario 10.7, pag. 10.7, coinside con la
Q
proyeccin DRJB [ KP F B, lo que implica el teorema.
La recta P Q se llama la recta de Pappus del exgono AB 0 CA0 BC 0 .
Problemas
Problema 1 Sea a Z a una transformacin proyectiva, con punto fijo al infinito. Entonces es
una transformacin de semejanza. Adems es parablica sii es una translacin. Inversamente toda
transformacin de semejanza de una recta es proyectiva.
160 Teorema Fundamental de la Geometra Proyectva de Dimensin Uno
C
B
A
K
J
R Q P
D
E
Figura 10-2
Problema 3 Dada la transformacin proyectiva ABF ZA0 B 0 F , demostrar que se puede encontrar
el otro punto fijo F 0 usando regla nicamente (sugerencia: ver la siguiente figura).
B"
A' A B
F' F B'
A"
S'
Figura 10-3
Problema 4 Si AB Z A0 B 0 , entonces JA J 0 A0 = JB J 0 B 0 .
J' O O' J
Figura 10-4
O'
A
D
B C
Figura 10-5
162 Teorema Fundamental de la Geometra Proyectva de Dimensin Uno
Con ayuda de este teorema podemos identificar los puntos de un crculo C con las rectas de un
haz cuyo centro est en O C. En particular podemos definir la razn cruzada de cuatro puntos
de un crculo.
Dados un crculo C y un punto O C, entonces toda funcin f : C C induce una funcin
fO del haz de rectas por O en si mismo, donde fO (OA) = Of (A). Decimos que f : C C es
una transformacin proyectiva si para algn punto O C tenemos que fO es una transformacin
proyectiva, en este caso fO es una transformacin proyectiva para todos los puntos de C. Adems
usaremos la notacin usual C Z C. Ms en general dados dos crculos C y C 0 y puntos O C y
O0 C 0 , entonces toda funcin f : C C 0 induce una funcin fO,O
0 del haz de rectas por O en el
haz de rectas por O , donde fO,O0 (OA) = O f (A). Decimos que f : C C 0 es una transformacin
0 0
proyectiva si fO,O 0 es una transformacin proyectiva, claramente esta definicin no depende de los
Usaremos el concepto anterior para dar otra demostracin del teorema de Pascal.
B
C
A
Q
R
J P
K
D
F
E
Figura 10-6
A M
A'
B
R
B'
Q
C'
C
Figura 10-7
Pd
Pc
Pb
Pa
C D
P A B
Figura 10-8
M Z'
Z Q Y'
X'
Y
R
M'
X
Figura 10-9
Teorema Fundamental de la Geometra Proyectva de Dimensin Uno 165
Problemas
Problema 1 Dar, usando las tecnicas de esta seccin, la demostracin del teorema de Brian-
chone.
Problema 2 Dada una transformacin rgida (que preserva orientacin) entre dos haces de
rectas con centros A y B, entonces las intersecciones de las rectas correspondientes estn en un
crculo que pasa por A y B.
Problema 3 Dos cnicas distintas tienen a lo ms cuatro puntos en comn. Dar un ejemplo de
dos cnicas que se intersectan en cuatro puntos.
Problema 4 Dos cnicas distintas tienen a lo ms cuatro tangentes en comn. Dar un ejemplo
de dos cnicas que tienen cuatro tangentes en comn.
Proposicin 11.1 Dados cuatro puntos A, B, C y D alineados, entonces tiene que H(AB, CD)
AC AD
sii {ABCD} = 1, esto es sii CB = DB .
ABCD Z ABDC
{ABCD} = {ABDC} = {ABCD}1
{ABCD}2 = 1
167
168 Conjugados Armnicos, Polos y Polares
Corolario 11.3 Si A, B, C y D son cuatro puntos distintos y alineados entonces solo una de las
relaciones H(AB, CD), H(AC, BD) y H(AD, BC) puede ser valida.
Demostracin: Supongamos que H(AB, CD) y como esto es valido sii {ABCD} = 1,
entonces {ACBD} = 2 y por lo tanto no es valido que H(AC, BD), adems {ADCB} = 12 y por
lo tanto no es valido que H(AD, BC).
De los teoremas anteriores obtenemos el teorema siguiente.
Teorema 11.4 Si A, B, C y D son puntos alineados tenemos que las condiciones equivalentes:
i) Los puntos A y B son conjugados armnicos de C y D.
ii) Los segmentos AC, AB y AD estan en progresin armnica, esto es
2 1 1
= +
AB AC AD
CB BD
=
AC AD
AB AC AD AB
=
AB AC AB AD
1 1 1 1
=
AC AB AB AD
2 1 1
= +
AB AC AD
Conjugados Armnicos, Polos y Polares 169
AC CB
=
AD BD
OC OA OB OC
=
OD OA OD OB
OC + OB OB OC
=
OD + OB OD OB
OB OC
=
OD OB
OB 2 = OC OD
Teorema 11.5 Si en un haz armnico de rectas H(ab, cd) se tiene que c d entonces c y d son
las bisectrices del ngulo definido por las rectas a y b. E inversamente si c y d son las bisectrices
del ngulo definido por las rectas a y b entonces H(ab, cd).
a c b
A C B
Figura 11-1
Usaremos este resultado para dar una generalizacin del teorema 6.27, pag 87.
Demostracin: Como los crculos son ortogonales sii OP es una recta tangente y esto es
valido sii OP 2 = OC OD lo que es equivalente a OB 2 = OC OD.
P
B D
Figura 11-2
Polos y Polares
Usaremos los resultados de la seccin anterior para demostrar el siguiente teorema, el cual
usaremos para definir la polar de un punto. Tambin lo usaremos para dar una construccin de
las tangentes a un crculo desde un punto dado usando regla nicamente. Asimismo lo usaremos
para caracterizar las involuciones en un crculo.
Teorema 11.8 Dados un crculo C y un punto P / C. Entonces el lugar geomtrico de los conju-
gados armnicos de P respecto a los extremos de las secantes al crculo que pasan por P estn una
recta p. Si P es el centro de C, entonces p es a recta al infinito; si P es un punto finito distinto
al centro de C, entonces p es una recta perpendicular al dimetro de C que pasa por P ; si P es un
punto al infinito, entonces p es el dimetro de C perpendicular a la direccin definida por P .
T
C
P"
D
P'
A B P
Q
P"' F
T'
E
Figura 11-3
B
p
P'
P
Q'
A
q
Figura 11-4
Teorema 11.13 Sea ABCD un cuadrngulo inscrito en un crculo C, entonces su tringulo di-
agonal es auto polar.
C = {P |P = (P )}
U P
T
C
Figura 11-5
El corolario 11.9, pag. 171, nos da una construccin, usando nicamente regla, de la polar de
un punto. Daremos ahora la construccin dual, esto es construir el polo de una recta.
Construcin 11.19 Dados un crculo C y una recta p, sean A y B dos puntos distintos de p
construimos sus polares a y b respectivamente. Entonces el polo de p es P = a b.
Sea C un crculo dado. Daremos ahora un resumen de las principales propiedades relacionadas
con los puntos y rectas conjugadas respecto a C.
Si dos puntos conjugados distintos estn en una secante a C, entonces uno es interior y el
otro es exterior; adems son conjugados armnicos respecto a los puntos de interseccin de
C y la secante.
Si dos rectas conjugadas distintas se cortan en un punto exterior, entonces es una secante
a C y la otra no corta a C; adems son conjugadas armnicas respecto a las tangentes a C
desde el punto de interseccin.
Una tangente a C es conjugada de las rectas que pasan por el punto de tangencia.
{ABCD} = O{ABCD}
= {abcd}
A' X
B
Y
B'
Z
P C'
C
D'
Figura 11-6
X'
P
Q Y'
Y
B D
Figura 11-7
Otra consecuencia importante de los teoremas de este captulo es el siguiente teorema. Para
esto necesitamos la definicin siguiente: Dados C un crculo y un punto P / C, definimos la
0 0
transformacin IP : C C de forma tal que A = IP (A) sii P , A y A estn alineados.
p
A
A'
B'
X P
C'
Y
C
Z D'
Figura 11-8
Conjugados Armnicos, Polos y Polares 177
Este teorema nos da una forma de definir transformaciones proyectivas de orden dos, la que
llamaremos involuciones. En la seccin 13 pag 193 demostraremos que estas son las nicas involu-
ciones.
Problemas
Problema 1 Si d = OP es un dimetro de un crculo C y D el polo de d, entonces D es un punto
al infinito. Adems las secantes a C que pasan por son bisectadas por d. Inversamente si d bisecta
una secante XY , entonces D XY .
00
Problema 2 En el teorema de la mariposa si X = XY BD y Y 00 = XY AC, entonces P
es el punto medio del segmento X 00 Y 00 .
Problema 5 Dado un tringulo, con vrtices finitos y con un ngulo obtuso, entonces es el
tringulo autopolar respecto de un nico crculo C. Dar una construccin de C usando regla y
comps. Llamaremos a C el crculo polar del tringulo.
Problema 6 Si D es un crculo que tiene como cuerda la altura de un tringulo autopolar respecto
un crculo C, entonces D y C son ortogonales.
Problema 9 Dados tres puntos en una recta a y sus polares respecto a un crculo C (que no se
ha trazado), contruir, usando regla nicamente, la polar de cualquier punto de a.
Problema 11 Si P y Q son los puntos de tangencia de una tngente comn a dos crculos C y D,
entonces P y Q son puntos conjugados respecto a cualquier crculo coaxial con C y D.
Problema 12 Dados un punto P y una recta p, trazar una crculo tal que P es el polo de p.
Discutir la unicidad del crculo.
Problema 13 Dados un crculo C y dos rectas con punto de interseccin P inaccesible. Trazar
las tangentes a C desde P , usando regla nicamente.
178 Conjugados Armnicos, Polos y Polares
Problema 14 Usando que que una cnica C es la proyeccin de un crculo enunciar todas las
proposiciones de esta seccin que son vlidas para las cnicas. Usar estos resultados para las
siguientes definiciones y propiedades:
Problema de Apolonio
En esta seccin daremos la solucin del problema de Apolonio. El problema de Apolonio es el
sigiente: Dados tres crculos C1 , C2 y C3 construir con regla y comps los crculos T tangentes a
los tres crculos Ci . En esta seccin estudiaremos el caso de que los centros Oi , de los crculos Ci ,
no estn alineados.
Hay muchas suluciones del problema de Apolonio, nosotros daremos dos de las ms elegantes,
adems de que sirven para mostrar como se usa una buena parte de los resultados que se han
visto aste este momento. Daremos dos soluciones, la primera usando polos y polares, la segunda
usando los puntos fijos de una transformacin proyectiva.
T'
P1' C1
E1
C2
P1
E2
E Q1
Q1'
S
T
Figura 11-9
P1'
E1
P1C 1 P2
E E2 P2'
E3P3
P3' C2
C3
Z
X
Y
Figura 11-10
S P'
P O' O'
Q O
O
O" O" P"
R
O"' O"'
P"'
X' X"
X' X"
X"' X"'
Crculos Caoxiales
Daremos ahora las relaciones entre los crculos ortogonales a dos crculos dados y el eje radical
de los crculos dados. Esta relacin es descrita en el teorema siguiente.
Teorema 12.2 Si C y C 0 son dos crculos que no se intersectan, entonces todos los crculos or-
togonales a ambos cortan a la recta de los centros de los crculos C y C 0 en dos puntos fijos L y
L0 . Adems C y C 0 son crculos de Apolonio respecto a los puntos L y L0 .
Si son dos crculos que se intersectan, entonces un crculo ortogonal a ambos no cortan a la
recta de los centros de los crculos C y C 0 .
T P
A B M A' B'
O L L' O' O M O'
El teorema anterior tiene como concecuencia el siguiente teorema, que es muy importante como
un teorema de existencia. Lo utilizaremos en una gran variedad de situaciones.
Teorema 12.3 Dados dos parejas de puntos (P, Q) y (P 0 , Q0 ) de una recta a, entonces existe
un par de puntos (L, M) de a, tales que H(P Q, LM ) y H(P 0 Q0 , LM) sii los segmentos (P, Q) y
(P 0 , Q0 ) no se intersectan.
Definicin 12.4 Un conjunto de crculos se llaman crculos coaxiales sii existe una recta, llamada
eje radical, que es el eje radical de cada par de crculos del conjunto. Adems suponemos que el
conjunto es mximo con esta propiedad.
Los centros de los crculos de un conjunto coaxial estn en una recta perpendicular al eje
radical.
Si dos crculos de un conjunto coaxial se intersectan en dos puntos, todos los crculos del
conjunto pasan por estos dos puntos.
Si dos crculos de un conjunto coaxial son tangentes, todos los crculos del conjunto son
tangentes.
El eje radical de un conjunto coaxial es el lugar geomtrico de los puntos cuya potencia
respecto a todos los crculos del conjunto son iguales.
Si dos puntos distintos tienen igual potencia respecto a tres o ms crculos, entonces los
crculos pertenecen a un conjunto coaxial de crculos.
Crculos Caoxiales 183
Dado un conjunto coaxial de crculos que no se intersectan sean L y L0 los puntos donde se
intersectan los crculos del conjunto coaxial conjugado. Entonces llamamos a L y L0 los puntos
limites del conjunto coaxial dado.
L'
L
Teorema 12.5 Dado un conjunto coaxial de crculos que no se intersectan y con puntos limites
L y L0 , entonces:
i) El conjunto de los centros de los crculos del conjunto coaxial coincide con los puntos de la
recta LL0 excepto los del segmento [L, L0 ].
ii) Cada crculo del conjunto coaxial es un crculo de Apolonio respecto a los puntos L y L0 .
Dados dos puntos distintos L y L0 . Entonces existen dos conjuntos coaxiales de crculos con-
jugados, uno de los cuales es el conjunto de crculos que pasan por los puntos dados. Y el otro es
un conjuntos coaxiales de crculos con puntos limites L y L0 .
Dados una recta l y un punto A l (sea m la recta perpendicular a l que pasa por A). Entonces
existen dos conjuntos coaxiales de crculos conjugados, uno de los cuales es el conjunto de crculos
tangentes a la recta l en el punto A, el otro es el conjunto de crculos tangentes a la recta m en el
punto A.
Por lo tanto el conjunto C de los crculos ortogonales dos crculos dados C y D (no concntricos)
forman un conjunto coaxial de crculos. Con esta caracterizacin podemos extender la definicin
de los conjuntos coaxiales de crculos. Para esto no solo consideraremos a los crculos sin tambin
a las rectas. Tenemos los siguientes casos.
Si C y D son dos rectas que se cortan en el punto P , entonces C es igual a los crculos de centro
P.
Si C y D son dos crculos de centro P , entonces C es igual a las rectas por P .
Si C y D son dos rectas paralelas, entonces C es igual a las rectas perpendiculares a las rectas
dadas.
184 Crculos Caoxiales
Teorema 12.6 Dado un tringulo 4ABC con alturas AD, BE y CF , entonces las alturas son
concurrentes en el ortocentro H y adems si X BC entonces la potencia de H respecto al crculo
de dimetro AX es constante e igual a:
HA HD = HB HE = HC HF
E X
A B
Figura 12-1
Z Y X
Figura 12-2
Teorema 12.7 (Newton) Dado un cuadriltero, entonces los crculos cuyo dimetros son las
diagonales del cuadriltero son parte de un conjunto coaxial de crculos cuyo eje radical contiene
a los ortocentros de los tringulos formados por los lados del cuadriltero tomados tres a tres.
Crculos Caoxiales 185
Problemas
Problema 1 Los ejes radicales del crculo incrito y de los crculos excritos de un tringulo,
tomadas dos a dos, son las bisectrices del tringulo cuyos vrtices son los puntos medios del
tringulo dado.
Problema 2 Dados dos crculos C y C 0 . Encontrar el lugar de los puntos cuya suma de potencias
respecto a C y C 0 es constante.
Problema 4 Dados dos crculos C y C 0 y un punto P ; por P trazamos secantes a cada uno de
los crculos que los intersectan en A, B, C y D. Entonces P est en el eje radical de C y C 0 sii P
A, B, C y D son concclicos.
Problema 5 Encontrar el eje radical del circuncrculo y el crculo de los nueve puntos de un
tringulo dado.
Problema 7 Por un punto dado construir un crculo ortogonal a dos crculos dados.
Problema 8 Dado un tringulo demostrar que el recta tripolar del ortocentro de es per-
pendicular a la recta de Euler de .
Problema 10 Construir un crculo C tal que las tangentes a C desde tres puntos dados tengan
longitudes dadas.
Problema 11 Los ejes radicales de un crculo y los crculos de un conjunto radical son concur-
rentes.
Problema 12 Dados tres crculos que no se intersectan (y no dos de ellas son concntricas),
tenemos tres sistemas coaxiales. Entonces los seis puntos limites, de estos sistemas coaxiales, son
concclicos.
186 Crculos Caoxiales
Problema 13 El centro radical de tres crculos satisface una y solo una de las siguientes propiedades.
a) Es el centro del nico crculo ortogonal a los tres crculos; b) Es el centro del nico crculo que
es cortada por cada uno de los crculos en puntos diametralmente opuestos.
Los siguientes problemas usaremos la geometra analtica para demostrar algunos de los re-
sultados de este captulo; algunos de estos problemas se vieron anteriormente pero completes los
repetimos en esta seccin. Dados crculo Ci de centro (ai , bi ) y radio ri (con i = 1, 2...), entonces
la potencia de un punto (x, y) respecto a Ci es pi (x, y) = (x ai )2 + (y bi )2 ri2 .
Problema 16 El lugar geomtrico de los puntos cuya diferencia de potencias respecto de dos
crculos dados es constante es una recta paralela al eje radical de los crculos dados.
Problema 17 Dados dos crculos C1 y C2 con eje radical e, entonces la potencia de un punto
P C2 es igual a d dis(P, e).
Diferencia de Potencias
Teorema 12.8 Dados dos crculos C1 y C2 de centros A y B, con eje radical e, entonces la
diferencia de las potencias de un punto respecto a los crculos y respectivamente es igual a al
producto AB OM , donde M es el la proyeccin de P en la recta AB y O = e AB.
N P
O M
A B
Figura 12-3
= P A2 P B 2 a2 + b2
P A P B2
2
= MA2 MB 2
OA2 a2 = OB 2 b2
= MA2 MB 2 (OA2 OB 2 )
= (AM + MB)(AM MB) (AO + OB)(AO OB)
= AB(AO + OM (MO + OB) AO + OB)
= 2 AB OM
Corolario 12.9 El lugar geomtrico de los puntos cuya diferencia de potencias respecto de dos
crculos dados es constante es una recta paralela al eje radical de los crculos dados.
Corolario 12.10 Dados dos crculos C1 y C2 de centros A y B, con eje radical e, entonces la
potencia de un punto P C2 es igual a AB NP , donde N es la proyeccin de P en eje radical
de C1 y C2 .
Teorema 12.11 Dados dos crculos C1 y C2 (no concntricos), entonces un crculo D es coaxial
con los crculos dados sii las razones de las potencias de los puntos P D respecto a los crculos
dados es constante.
188 Crculos Caoxiales
Teorema 12.12 Dados un tringulo ABC y dos puntos conjugados isogonales P y P 0 colieales
con el circuncentro, entonces su crculo pedal es tangente al crculo de los nueve puntos N .
Y'
S O
F'
A Z B
F N Z'
P'
Q'
Figura 12-4
Q
P'
C
M L
N
A S F B
Q'
Figura 12-5
Corolario 12.13 (Feuerbach) Dado un tringulo ABC, entonces el crculo de los nueve pun-
tos es tangente al incrculo y a los excrculos.
Dados los indices I = {1, 2, 3, 4} y cuatro puntos Ai , i I en posicin general, para cada I,
tenemos un tringulo definido por los puntos Aj1 , Aj2 y Aj3 , donde {j1 , j2 , j3 } = I {}, con
rea ( ) y sus circuncrculos C de centro O , con esta notacin tenemos el siguiente teorema.
A1
O3 O4
A2
Figura 12-6
anlogamente
( 4 ) ( i )
=
pi p4
para i = 1, 2, 3. Como ( 4 ) = ( 1 ) + ( 2 ) + ( 3 ), obtenemos, usando el teorema 4.25, pag. 64.
X3
1 X3
( ) ( 4 )
( 4 ) = + =0
=1
pa =1
p 4 p 4
Captulo 13
R'
R Q' P' Q P
Figura 13-1
Teorema 13.4 Si cinco de los seis lados correspondientes de dos cuadrngulos ABCD y A0 B 0 C 0 D0
estn alineados el sexto par se intersecta en un punto alineado con los otros.
Demostracin: Sea x la recta donde se intersectan los cinco primeros lados. Sean las inter-
secciones X = x BC, X 0 = x AD, y Y = x CA, Y 0 = x BD de dos pares lados opuestos;
y Z = x AB la interseccin. Entonces la involucin AA0 BB 0 Z A0 AB 0 B determina Z 0 = x CD
como la imagen de Z.
Teorema 13.5 Una involucin no elptitca es hiperblica y si M y N son sus puntos fijos entonces
los puntos conjugados de la involucin coinciden con los puntos conjugados armnicos respecto a
M y N.
Teorema 13.7 Dadas una involucin AA0 X Z A0 AX 0 , y B y B 0 un par de puntos tales que
H(AB, XX 0 ) y H(A0 B 0 , XX 0 ) entonces B y B 0 son un par de la involucin.
Teorema 13.8 Dada una cnica C y una recta p (no tangente a C), entonces la funcin que
manda cada punto A de p a p a, nico punto de p que es conjugado de A, es una transformacin
proyectiva. Adems es hiperblica sii p es una secante de C.
Teorema 13.9 Dada una cnica C y un punto P , entonces la funcin que manda cada recta a por
P a P A, la nica recta por P que es conjugado de a, es una transformacin proyectiva. Adems
es hiperblica sii P es un punto exterior a C.
Definition 13.11 Si OI ZIO es una involucin en la recta x donde I(6= O) es el punto al infinito
de x. Llamaremos a O el centro y a P Q la cuerda de la involucin. Si k < 0, entonces diremos
que la cuerda P Q es ideal. Llamaremos a k = OP 2 la norma de la involucin.
En un haz de rectas hay una involucin elptica especial que es la que manda cada recta en
la recta perpendicular. En un cierto sentido, que nos dar el siguiente teorema, esta es la nica
involucin elptica.
Demostracin: Si AB ZA0 B 0 y sean F y F 0 los puntos interseccin de los crculos de dimetro
AA0 y BB 0 . Entonces la involucin induce una involucin en el haz de rectas con centro F y
adems AF A0 F y BF B 0 F y por lo tanto esta involucin coincide con la involucin de rectas
perpendiculares.
A B A' B'
F'
Figura 13-2
Daremos ahora una construccin euclidiana de las involuciones en la recta x que no dejan fijo al
punto al infinito. Como una involucin queda determinada por dos pares de puntos conjugados AA0
y BB 0 sea P un punto que no esta en la recta x y Q la otra interseccin de los crculos determinados
por P , A y A0 as como por P , B y B 0 . Si O = P Q x entonces OP OQ = OA OA = OB OB y
por lo tanto las intersecciones de x con los crculos que pasan por P y Q son los pares conjugados
de la involucin. Adems el crculo que pasa por P , Q y un punto fijo de la involucin es tangente
a recta x.
Como la constante asociada a la involucin esta dada por k = OP OQ se tiene que la involucin
es elptica sii los puntos P y Q estn en lados opuestos de la recta x. Y esto condicin es equivalente
a que los segmentos AA0 y BB 0 se translapen.
Corolario 13.12 Los pares A, A0 ; B, B 0 y C, C 0 son pares de puntos conjugados de una involu-
cin sii
AB 0 BC 0 CA0 + A0 B B 0 C C 0 A = 0
ABA0 C 0 Z A0 B 0 AC
Geometra Proyectiva de la Recta (Involuciones) 195
A A' B B'
O C' C
Figura 13-3
A' X
B
Y
B'
Z
P C'
C
D'
Figura 13-4
Corolario 13.14 Sean C un crculo y una involucin de C, entonces la involucin es eliptica sii
su centro es un punto interior de C.
Corolario 13.15 Sean C un crculo y AA0 BB 0 Z A0 AB 0 B una involucin de C, entonces la in-
volucin es eliptica sii los arcos AA0 y BB 0 se intersectan.
Corolario 13.16 Sean C un crculo y una involucin de C, entonces la involucin es hiprbolica
sii invierte la orientacin de C.
Corolario 13.17 Dados C un crculo y dos involuciones de C con centros P 6= Q, entonces las
involuciones tienen un par de puntos correspundientes en comn sii la recta P Q intersecta al
crculo C.
Corolario 13.18 Dadas dos involuciones, una de ellas elptica, entonces las involuciones tienen
un par de puntos correspondientes en comn.
Corolario 13.19 Dada una involucin en un haz de rectas, entonces hay un par de rectas corre-
spondientes perpendiculares.
Problema 27 Los pares OA, OA0 ; OB, OB 0 y OC, OC 0 son pares de puntos conjugados de una
involucin en el haz de puntos con centro O sii
sen AOB 0 sen BOC 0 sen COA0 + sen A0 OB sen B 0 OC sen C 0 OA = 0
Corolario 13.20 Si los puntos A, A0 ; B, B 0 y C, C 0 son pares de puntos conjugados de una
involucin entonces
{A0 B 0 CC 0 }{B 0 C 0 AA0 }{C 0 A0 BB 0 } = 1
Problemas
Problema 1 Si el punto al infinito de una recta x es un punto fijo de una involucin, entonces
la involucin coincide con la refleccin en el punto O, el otro punto fijo de la involucin.
Problema 2 Demostrar que la funcin que a cada recta a de un haz le asocia la recta a0 del haz
perpendicular a a es una involucin elptica. A esta funcin le llamaremos la involucin de rectas
perpendiculares.
Problema 3 Si tenemos dos involuciones hiperblicas, entonces existe un par de puntos que son
conjugados respecto a ambas involuciones sii los puntos fijos de una de las involuciones no separa
a los puntos fijos de la otra.
Geometra Proyectiva de la Recta (Involuciones) 197
R' Q'
P'
Q R P
Figura 13-5
198 Geometra Proyectiva de la Recta (Involuciones)
Captulo 14
Secciones Cnicas
En este captulo estudiaremos las propiedades bsicas de las cnicas. Daremos varias caracter-
izaciones equivalentes de las cnicas. La primera definicin que usaremos es la siguiente: Dadas
dos planos y 0 , un crculo C y una transformacin proyectiva Z 0 , la imagen de C en
0 la llamamos una cnica.
En los captulos anteriores hemos dado varias propiedades de los crculos que se conservan
ante proyecciones y que por lo tanto pueden se la base del estudio de las cnicas. En particular
los teoremas de Pascal y de Brianchon son vlidos para cualquier cnica. Anlogamente la teora
de polos y polares se extiende a toda cnica. Usaremos estos resultados para demostrar algunas
propiedades de las cnicas.
Cnicas y Homologas
En la siguiente seccin demostraremos que toda cnica D es la imagen de un crculo C bajo una
homologa, por lo tanto deremos algunas propiedades de las cnicas usando una homologa. Por
el problema 11, pag. 116 tenemos que una cnica es una seccin plana de un cono circular (aun
que no necesariamente recto); por lo tanto las cnicas D , donde es el plano proyectivo real,
tiene las propiedades de los crculos que son invariantes ante proyecciones, en particular tienen las
siguientes propiedades:
Toda recta a intersecta a D en cero, uno o dos puntos; adems #(aD) = 1 sii a es tangente
a D.
199
200 Secciones Cnicas
Desde todos punto P se pueden trazar cero, uno o dos tangentes; adems hay una sola
tangente sii P D.
Dados los puntos A, B, C, D, O y O0 D tenemos que O{ABCD} = O0 {ABCD}.
Si p y p0 son dos tangentes a D y si a, b, c y d son cuatro tangentes D, entonces las hileras
(p a, p b, p c, p d) y (p0 a, p0 b, p0 c, p0 d) tienen la misma razn cruzada.
Como los conjugados armnicos se preservan bajo proyecciones tenemos que la teora de
polos y polares es vlida para las cnicas.
Si D es una cnica, entonces los teoremas de Pascal y de Brianchon son vlidos.
Problemas
Definicin de Steiner
Dados dos puntos en una cnica, el teorema de Steiner nos da una transformacin proyectiva
en dos haces de rectas que pasan por O y O0 , pero no una proyeccin, las intersecciones de las
rectas correspondientes definen a la cnica. Se pude demostrar que esta propiedad caracteriza
Secciones Cnicas 201
a las cnicas. En esta seccin usaremos esta caracterizacin como la definicin de las cnicas y
demostraremos que es equivalente a la definicin usual.
El concepto dual es la definicin de una cnica como envolvente de sus tangentes. Dadas dos de
rectas x y y, por una transformacin proyectiva x Z y, entonces las rectas C = {l = XY : X Z Y }
o son concurrentes o son tangentes a una cnica. Ms aun son concurrentes sii transformacin
es una proyeccin. En este captulo usaremos esta caracterizacin como la definicin dual de las
cnicas.
Corolario 14.1 Dados cinco puntos O, O0 , A, B y C (no tres alineados), entonces existe una
nica cnica que los contiene.
Demostracin: Como existe una nica transformacin proyectiva O Z O0 tal que O{ABC} Z
O0 {ABC} la cnica queda determinada por los cinco puntos dados.
O
O'
Figura 14-1
P B
A
s
A' B'
o
C'
O'
O"
O
Figura 14-2
Teorema 14.4 Dadas dos rectas distintas s y s0 y una transformacin proyectiva s Z s0 , pero no
una proyeccin, las rectas que unen puntos correspondientes definen a una cnica D dual.
Por lo tanto la hologa de centro O y eje s manda las tangentes a C en las tangentes a D.
P
s'
s"
B'
s A'
S'
M'
B" A"
M" C'
A
O C"
B
Figura 14-3
En el caso de que la funcin entre los haces de rectas con centro O y O0 sea tal que las recta
OP y O0 P giran a la misma velocidad pero en direcciones opuestas obtenemos una hiprbola
equiltera como veremos en la seccin ??.
Teorema de Pascal
El teorema de Pascal se basa es un hexgono inscrito a una cnica. Cuando dos vrtices X y
Y coinciden, entonces la cuerda XY se convierte en la tangente x por el vrtice X. Con ayuda
de este truco obtenemos casos especiales del teorema de Pascal. Los enunciados de estos teoremas
son los siguientes.
Teorema 14.5 (Pascal) Dados seis puntos A, B, C, D, E y F de una cnica C, entonces los
puntos R = AE BD, P = BF CE y Q = AF CD estn alineados.
R
Q P
D
F
E
Figura 14-4
Dados cinco puntos de una cnica C el teorema anterior nos da una forma para construir
cuantos puntos de C como queramos. Para esto tenemos el siguiente teorema.
Teorema 14.6 Dados cinco puntos A, B, C, D y E de una cnica C y una recta m que pasa por
A. Sean R = AE BD, Q = m CD y P = RQ CE, entonces el punto F = m BP esta en
C.
Hay que notar que el teorema nos da una manera de construir el segundo punto de interseccin
de C con cualquier recta que pase por el punto A. Adems se puede construir usando nicamente
regla.
Dados dos puntos A y F en una cnica C, entonces cuando el punto F se acerca al punto
A la recta AF se acerca a la recta tangente a a la cnica en el punto A. El teorema de Pascal
considera seis puntos de una cnica, pero uno o ms pares de puntos pueden coincidir, en estos
casos obtenemos casos especiales. Los enunciados de estos teoremas son los siguientes.
A C
d
R
Figura 14-5
Dados cinco puntos de una cnica C el teorema anterior nos da una forma para construir,
usando nicamente regla, la tangente en cualquiera de estos puntos. Para esto tenemos el siguiente
teorema.
Teorema 14.9 Dados cuatro puntos A, B, C y D de una cnica C y a y c las tangentes en los
vrtices A y C, entonces los puntos R = AB CD, P = AD BC y Q = a c estn alineados.
D B
c
C
Q
i
d
R
Figura 14-6
Teorema 14.10 Dados un tringulo ABC inscrito en una cnica C y a, b y c las tangentes
en los vrtices A, B y C, entonces los puntos R = AB c, P = BC a y Q = CA b estn
alineados.
Secciones Cnicas 205
D
R
Figura 14-7
Teorema de Brianchon
El teorema de Brianchon se basa es un hexgono circunscrito a una cnica. Cuando dos tan-
gentes x y y coinciden, entonces interseccin x y se convierte en el punto de tangencia X de x.
Con ayuda de este truco obtenemos casos especiales del teorema de Brianchon. Los enunciados de
estos teoremas son los siguientes.
Dados dos rectas tangentes a y f a una cnica C, entonces cuando el punto de tangencia de f se
acerca al punto de tangencia de a el punto af se acerca al punto de tangencia de a la. El teorema
de Brianchon considera seis rectas tangentes a una cnica, pero uno o ms pares de tangentes
pueden coincidir, en estos casos obtenemos casos especiales. Los enunciados de estos teoremas son
los siguientes.
Teorema 14.14 Si ABC es un tringulo circunscrito a una cnica y P , Q y R son los puntos
de tangencia de los lados BC, CA y AB respectivamente, entonces la rectas AP , BQ y CR son
concurrentes.
Problema 1 Usando las propiedades de polos y polares demostrar los teoremas de esta seccin
a partir de los teoremas de la seccin anterior.
206 Secciones Cnicas
P
A
S
B D
Figura 14-8
Teorema 14.16 Dada una hiprbola C, entonces los tringulos formados por una tangente y las
dos asntotas tienen la misma rea.
AA0 B 0 tienen la misma rea, por lo tanto OAB y OA0 B 0 tienen la misma rea.
Secciones Cnicas 207
d' a'
P
D
a
A
Figura 14-9
Figura 14-10
Doblado de Papel
Teorema 14.17 Dada una cnica central, entonces el lugar geomtrico de le las proyecciones de
un foco en las tangentes a la cnica es un crculo de dimetro el eje focal. Adems el producto
F U F U 00 de las distancias de un foco a un par de tangentes paralelas es una constante e igual a
OB 2 , donde OB es el eje transversal.
Demostracin: Supongamos primero que la cnica es una elipse. Si F y F 0 son los focos de
la elipse con vertices A y A0 , sea C un crculo de centro F 0 y radio AA0 y sea M un punto de la
cnica, entonces la recta F 0 M intersecta a C en un punto G tal que MG = F M. Si UM es la
tangente a la cnica en M, con U F G, entonces como MG = F M y MU es la bisectriz de
]F MG se tiene que U es el punto medio de F G y F U MU . Si O es el centro de la cnica
0
OU k F 0 G y por lo tanto OU = F 2G = OA.
Si U U 00 es una secante del crculo C de dimetro AA0 que pasa por el foco F , entonces las
perpendiculares a U U 00 en U y U 00 son tangentes paralelas a la cnica. Adems F U F U 00 es la
potencia de F respecto a C que es igual a la constante F AF A00 . Si tomamos las tangentes paralelas
a AA0 obtenemos que esta constante es igual a OB 2 .
El caso de la hiprbola se demuestra de foma similar.
Como la distancia F U 0 del foco a la tangente paralela es igual a la distanci F 0 U 00 , obtenemos
el siguiente corolario.
208 Secciones Cnicas
P
U'
O F'
F
U"
P'
Q'
Figura 14-11
U'
F'
F O
U"
Q'
P'
U
Figura 14-12
Corolario 14.18 Dada una cnica central, entonces el producto F U F 0 U 00 de las distancias de
los focos a una tangente es una constante e igual a OB 2 , donde OB es el eje transversal.
Teorema 14.19 (Steiner) Si P y Q son dos puntos en una cnica C y R un punto variable de
C, entonces la funcin que manda la recta x = RP en la recta y = RQ es una transformacin
proyectiva x Z y. Ms aun en esta transformacin pd Z dq, donde p y q son las tangentes en P y
Q respectivamente y d = P Q.
Usaremos estos conceptos para dar otra demostracin del teorema de Pascal.
Teorema 14.20 (Pascal) Si A, B, C, A0 , B 0 y C 0 son puntos en una cnica entonces los puntos
R = AB A0 B 0 , P = BC B 0 C 0 y Q = CA C 0 A0 estn alineados.
Demostracin: Sean los puntos J = AB 0 A0 C, K = AC 0 B 0 C, entonces tenemos que
A0 C0
ARJB [ ABCB [ KP CB 0
0 0
por lo tanto la transformacin ARJ Z KP C es una proyeccin ya que B es un punto fijo de esta
transformacin. Por lo tanto Q = AK JC es el centro de la proyeccin y por lo tanto P , Q y R
estn alineados.
A'
A
R
J
B Q B'
K
P
C C'
Figura 14-13
Daremos ahora otra demostracin de que las cnicas que pasan por un grupo ortocntrico de
puntos es una hiprbola equiltera. Primero necesitamos el siguiente lema.
Lema 14.22 Sean una cnica C, un cuadrngulo inscrito ABCD y una recta exterior e, entonces
la involucin que el cuadrngulo induce en e es hiperblica.
Demostracin: Dado un punto X denotamos por C X la cnica que pasa por A, B, C, D
y X. Si P e (P no un punto fijo de la involucin) y Q C, entonces en en el segmento P Q
tenemos que #(C P e) = 2 y #(C Q e) = 0 y por continuidad existe un punto R e tal que
#(C Q e) = 1, esto es que la cnica C Q es tangente a e y el punto de tangencia es un punto fijo
de la involucin.
210 Secciones Cnicas
P' P R'
Q R f
D
C
Figura 14-14
Corolario 14.23 Las cnicas que pasan por los puntos de un grupo ortogonal ABCH son hipbo-
las equilteras.
Problema 2 Usando los resultados de esta seccin demostrar los teoremas de la seccin 14, pag.
203, sin usar el concepto de posicin limite.
Polos y polares
Daremos los resultados principales de la teora de polos y polares respecto a una cnica. Todos
estos resultados se siguen, con ayuda de una proyeccin, de los resultados correspondientes para
un crculo.
Teorema 14.24 Dados una cnica C y un punto P / C. Entonces el lugar geomtrico de los
conjugados armnicos de P respecto a los extremos de las secantes a la cnica que pasan por P
estn una recta p.
Teorema 14.25 Dado una cnica C, entonces la polar p de un punto P pasa por un punto Q sii
la polar q de Q pasa por P .
Secciones Cnicas 211
Corolario 14.26 Dados una cnica C y un punto P no en la cnica. Si CD y EF son dos secantes
que pasan pon P , si 4P QR es el tringulo diagonal del cuadrngulo CDEF , entonces QR es la
polar de P . Si P es un punto exterior a C, entonces C QR = {T, T 0 } donde P T y P T 0 son
tangentes al crculo C.
De la misma forma que en el caso de un crculo el concepto de polos y polares respecto a una
cnica nos induce un isomorfismo del plano que es una involucin, est es que 2 = id.
Definicin 14.27 Dados una cnica C en el plano definimos : como la funcin que
manda cada punto P en su polar p.
C = {P |P = (P )}
El corolario 14.26, pag. 211, nos da una construccin, usando nicamente regla, de la polar de
un punto. Daremos ahora la construccin dual, esto es construir el polo de una recta.
Construcin 14.30 Dados una cnica C y una recta p, sean A y B dos puntos distintos de p
construimos sus polares a y b respectivamente. Entonces el polo de p es P = a b.
212 Secciones Cnicas
Si dos puntos conjugados distintos estn en una secante a C, entonces uno es interior y el
otro es exterior; adems son conjugados armnicos respecto a los puntos de interseccin de
C y la secante.
Si dos rectas conjugadas distintas se cortan en un punto exterior, entonces es una secante
a C y la otra no corta a C; adems son conjugadas armnicas respecto a las tangentes a C
desde el punto de interseccin.
Una tangente a C es conjugada de las rectas que pasan por el punto de tangencia.
Definicin 14.32 Un tringulo es autopolar respecto a la cnica C si cada vrtice es el polo del
lado opuesto.
Un resultado central de la teora son los siguientes corolarios, el cual es inmediato de las
propiedades armnicas de los tringulos diagonales de los cuadrngulos y cuadrilteros completos.
Definicin 14.35 Dada una cnica C, el polo O de la recta al infinito l se llama el centro de
la cnica. La polar d de un punto D l se llama un dimetro de la cnica.
Q
X'
P
Y'
B
D Y
Figura 14-15
Teorema 14.37 Dada una cnica C y un punto exterior P , si P T y P T 0 son las tangentes a C,
entonces las bisectrices del ngulo ]T P T 0 son rectas conjugadas respecto a C.
Definicin 14.38 Dada una cnica C y la recta al infinito l , sea n = #Cl , entonces decimos
que C es: una elipse si n = 0; una parbola si n = 1; una hiprbola si n = 2. Decimos que C l
son los puntos al infinito de C.
Definicin 14.39 Si C es una hiprbola las tangentes a C en los puntos al infinito se llaman las
asntotas de la hiprbola.
Teorema 14.40 Una parbola tiene un solo eje de simetra, el cual es una secate de la parbola.
Demostracin: Como todos los dimetros son paralelos, sea a y b dos cuerdas perpendiculares
a esta direccin, el dimetro que las bisecta es el nico eje de la parbola.
Teorema 14.41 Sea C una cnica central, entonces tenemos los siguientes casos:
En los otros casos C solo tiene dos ejes y son perpendiculares. Si C es una elipse los dos ejes
son secantes de C. Si C es una hiprbola solo uno de los ejes es secante de C.
Demostracin: Sea O el centro de C. En el haz de rectas que pasan por O tenemos dos
involuciones: La involucin de dimetros conjugados y la involucin de dimetros perpendiculares.
Si la C es un crculo entonces las dos involuciones coinciden. Por lo tanto todos los dimetros
son ejes de simetra.
Si la C no es un crculo entonces las dos involuciones tienen solo un par de rectas correspon-
dientes en comn. Como una cnica central es elipse sii dos dimetros conjugados son secantes
tenemos el resultado.
Una consecuencia de los resultados anteriores es que el grupo G de transformaciones rgidas
que mandan C en C es (si C es una cnica central, O es el centro de C):
Si C es un crculo entonces G = {id} {Re : e dimetro de C} {RO, : (0, 360o )}; por
lo tanto #G = .
En los otros casos entonces G = {id} {Re : e eje de C} {RO,180o }; por lo tanto #G = 4.
Si C es una elipse, O es un punto interior y por lo tanto los dos ejes cortan a C. Si C es una
hiprbola, O es un punto interior y por lo tanto solo uno de los eje corta a C.
Con ayuda de los ejes podemos definir los vrtices de las cnicas.
Dada una cnica C y un eje e que es una secante entonces las intersecciones de C y e se llaman
vrtices de C. Tenemos entonces que: si C es un crculo todos los puntos de C son vrtices de C; si
C es una parbola C tiene dos vrtices, uno de los cuales es el punto al infinito de C; si C es una
hiprbola C tiene dos vrtices; si C es una elipse C tiene cuatro vrtices. Si C es una hiprbola y
Secciones Cnicas 215
AA0 es el segmento que une los vrtices, entonces su longitud AA0 = 2a es el doble del semi eje
principal o el semi eje transversal de la hiprbola, el otro eje se conoce como el eje conjugado de
la hiprbola. Si C es una elipse y AA0 y BB 0 son los segmentos que unen los vrtices en el mismo
eje, con AA0 > BB 0 , entonces sus longitudes AA0 = 2a y BB 0 = 2b son el doble del semi eje mayor
y semi eje mayor respectivamente de la elipse.
Definicin 14.42 Decimos que un punto F es el foco de una cnica C si la involucin de rectas
conjugadas coincide con involucin de rectas perpendiculares.
Como la involucin de rectas perpendiculares es elptica tenemos que los focos son puntos
interiores. Si el centro de la cnica es un foco, entonces la cnica es un crculo y el centro es el
nico foco.
Si F es un foco y d es el dimetro que pasa por F , entonces la cueda por F perpendicular a d
es conjugada de d, por lo tanto d es un eje de simetra, esto es d es un eje.
Adems si hay dos focos F y F 0 , las rectas perpendiculares a F F 0 por F y F 0 son conjugadas
a F F 0 y por lo tanto el polo de F F 0 esta en la recta al infinito; esto es F F 0 es un eje.
Para demostrar la existencia de los focos de una cnica necesitamos los siguientes teoremas.
Teorema 14.43 (Seydewitz) Si un tringulo esta inscrito en una cnica, entonces una recta
conjugada a uno de los lados corta a los otros dos lados en puntos conjugados.
Demostracin: Sea el tringulo 4P QR. Si a es una recta conjugada al lado QR con polo
A QR y sea S es la otra interseccin de P A con la cnica. Por lo tanto tenemos el tringulo
autopolar 4ABC donde B = P R QS y C = P Q RS. Por lo tanto a = BC y B y A son puntos
conjugados.
Por lo tanto tenemos el teorema dual.
Teorema 14.44 (Seydewitz dual) Si un tringulo esta circunscrito en una cnica, entonces
un punto conjugado a uno de los vrtices determina con los otros dos vrtices rectas conjugadas.
216 Secciones Cnicas
P a
S
B
A
R
Q
Figura 14-16
B
Q
X
A
C
R
P Y
Figura 14-17
Teorema 14.45 Dadas una parbola P, el eje e, la tangente r a P en el vrtice R y otra tangente
p en el punto P , entonces la recta perpenticular a p por el punto Y = p r intersecta a e en el
foco F de P.
P
Y
Figura 14-18
R O Q
F F'
Figura 14-19
Teorema 14.47 Dadas una elipse E, con centro O, vertice P (en el eje menor) y vrtices (el el
eje mayor) Q y R. Si p, q y r son las tangentes a E en los puntos P , Q y R respectivamente, sean
Y = p r y Z = p q y D el crculo de dimetro Y Z, entonces D corta al eje mayor QR en los
focos de E.
Demostracin: Sea XY Z el tringulo circuscrito definido por las tangentes p, q y r (X =
q r). Como X es el polo del eje e = P Q, tenemos que para cualquier punto C e las rectas CY
y CZ son conjugadas. Pero CY CZ sii C es el foco.
El una cnica central (distinta a un crculo) el eje que tiene a los focos se le llama eje focal. El
otro se llama el eje conjugado (hay que notar que coincide con la que se dio previamente para la
hiprbola).
Las polares de los focos se llaman las directrices de la cnica. por lo tanto las directrices son
rectas externas y perpendiculares al eje polar. Algunas propiedades de las directrices estn dadas
por los siguientes teoremas.
Teorema 14.48 En una cnica, distinta a un crculo, si F es un foco y d su polar, entonces la
distancia de los puntos de la cnica a F entre la distancia a d es una constante.
Demostracin: Sea V el vrtice de la cnica del lado de F y P otro punto de la cnica con
proyeccines V 0 y P 0 en d. Y sean Q = V P d y G = QF P P 0 . Como P P 0 k V V 0 se tiene que
GP
PP0
= VFVV 0 .
218 Secciones Cnicas
Y Q
F'
Z R
Figura 14-20
P
P'
G T
V
V
F'
F
Q
Figura 14-21
FP
La constante e = dis(P,d) se llama la excentricidad de la cnica.
Como el eje conjugado es un eje de simetra tenemos que la excentricidad no depende de cual
foco usamos.
Corolario 14.49 En una cnica C, distinta a un crculo con excentricidad e entonces C es una
elipse sii e < 1, C es una parbola sii e = 1 y C es una hiprbola sii e > 1.
Este resultado nos da la demostracin de que toda cnica es la seccin plana de un cono circular
recto. Ms aun en el caso de las cnicas centrales nos ayuda a dar la siguiente caracterizacin, la
cual es la ms comn.
Teorema 14.50 En una elipse (resp. hiprbola) C la suma (resp. diferencia) de las distancia de
los puntos de C a los focos de C es constante.
0
Demostracin: Sea una elipse con focos F 0 y F 0 y directrices d y d0 . Sea P un punto de
la elipse y P 0 P 00 la recta perpendicular a las directrices que pasa por P y con extremos en las
directrices. Entonces
F 0P F 00 P F 0 P + F 00 P F P + F 0P
e= 0 = = =
PP P P 00 P 0 P + P P 00 P 0 P 00
Secciones Cnicas 219
P' P
P" P' P"
P
F' F"
F' F"
Los focos de una cnica definen una involucin en el eje focal e donde los focos son los puntos
fijos (en el caso de la parbola el otro punto fijo es el punto al infinito en el eje). Esta involucin
nos permite demostrar muchas de las propiedades relacionadas con los focos de una cnica. El
siguiente teorema nos da las principales propiedades de la involucin.
Teorema 14.51 Dada una cnica C, con eje focal e. Entonces la involucin el el eje focal P P 0 Z
P 0 P definida como H(P P 0 , F F 0 ) tiene la siguiente propiedad: Dos rectas a y a0 , tales que P a
y P a0 , son conjugadas respecto a C sii son perpendiculares.
P Z r Z R Z r0 Z P 0
Proposicin 14.52 Dada una cnica central C con focos F y F 0 . Para cada punto P , no un foco,
las rectas conjugadas perpendiculares son las bisectrices del ngulo ]F P F 0 .
220 Secciones Cnicas
r'
r
P' d' O
P F F'
Figura 14-22
Corolario 14.53 Dada una cnica central C con focos F y F 0 . Para cada punto P C, entonces
la tangente p es una bisectriz del ngulo ]F P F 0 .
Corolario 14.54 Dada una cnica central C con focos F y F 0 . Para cada punto P exterior a C
con tangentes P T y P T 0 entonces los ngulos ]T P T 0 y ]F P F 0 tienen las mismas bisectrices.
Demostracin: Se sigue del corolario anterior y del teorema 14.37, pag. 213.
El el caso de la parbola las proposiciones anteriores tienen las siguiente forma. Donde F 0 es
el punto al infitino del eje de la parbola.
Proposicin 14.55 Dada una parbola P con foco F . Para cada punto P 6= F las rectas conju-
gadas perpendiculares son las bisectrices del ngulo ]F P F 0 .
Corolario 14.56 Dada una parbola P con foco F . Para cada punto P C, entonces la tangente
p es una bisectriz del ngulo del ngulo ]F P F 0 .
Corolario 14.57 Dada una parbola P con foco F . Para cada punto P exterior a C con tangentes
P T y P T 0 entonces los ngulos ]T P T 0 y ]F P F 0 tienen las mismas bisectrices.
Corolario 14.58 Dada una parbola P, entonces dos rectas conjugadas intersectan al eje de la
parbola en puntos equidistantes del foco de la parbola.
Los resultados anteriores nos permiten demostrar las siguientes propiedades de las parbolas.
Teorema 14.59 Dada una parbola, entonces las tangentes perpendiculares se cortan en la di-
rectriz de la parbola.
Secciones Cnicas 221
Figura 14-23
teorema de Brianchon ( ?? pag. ??) aplicado a las tangentes b, o, a, a0 , c y b0 nos da que las rectas,
(b c)(o a0 ) = AD, (o b0 )(a c) = BE y (c c0 )(a a0 ) = d son concurrentes. Pero dos de estas
rectas las dos primeras son alturas del tringulo y la tercera es la directriz.
B
d
a
a'
b' A
Figura 14-24
El siguiente teorma demuestra que en el caso de una cnica central las tangentes perpendicu-
lares se cortan en un crculo.
222 Secciones Cnicas
Teorema 14.61 Dada una cnica central, entonces las tangentes perpendiculares se cortan en un
crculo concentrico con la cnica de radio a2 b2 , donde a y b son los semiejes focal y transversal
respectivamente y el signo ms es para la elipse.
T
U'
V
U M
N
V'
F O F'
Figura 14-25
Definicin 14.62 En una cnica central el lugar geomtrico de los puntos donde las tangentes
perpendiculares se cortan se llama el crculo director.
En una elipse el crculo director tiene radio a2 + b2 , por lo tanto es el crculo circunscrito
al rectngulo definido por las tangentes en los vrtices de la elipse. En el caso de una hiprbola
no hay tangentes perpendiculares si b > a, si la hiprbola equiltera solo las asntotas son hay
tangentes perpendiculares.
Hiprbolas Equilteras
En esta seccin estudiaremos algunas propiedades de las hiprbolas equilteras, esto es aquellas
hiprbolas tales que sus asntotas son perpendiculares. Estas curvas tienen muchas propiedades que
se interrelacionan con varias partes de la geometra como veremos en esta seccin. La ecuacin de
2 2
estas cuervas es xa2 yb2 = 1 con a = b, es por esso que se les conocen como hiprbolas equilteras;
tambin se les conoce como hiprbolas ortogonales.
Teorema 14.63 Las cnicas que pasan por los puntos de un grupo ortogonal ABCH son hipbolas
equilteras.
Demostracin: Cada cnica C que pasa por el grupo es una hiprbola ya que como al menos
uno de los puntos del conjunto ortogonal es interior del tringulo definido por los otros tres.
Sean I1 e I2 los puntos a infinito de C, el teorma de Pascal aplicado al exgono AI1 CHBI2 nos
da que los puntos R = AB I1 H, P = I1 I2 CB y Q = CH AI2 estn alineados. Eso es que
Secciones Cnicas 223
R
Q
B D C
Figura 14-26
Q'
P'
M
R'
O P R
Figura 14-27
usando que en el tringulo 4QAR tenemos que ]MQO = ]NRO + ]QAR, restando la
segunda igualdad de la primera obtenemos
]MON = ]QAR = 180o ]MAN
]MON + ]MAN = 180o
224 Secciones Cnicas
Demostracin: Como P y P 0 son los extremos de un dimetro entonces ,por el teorema ??,
pag. ???, P M y P 0 M son paralelas a dos dimetros d y d0 conjugados.Si a y a0 son las asntotas
tenemos que H(aa0 , dd0 ) y por lo tanto a es la bisectriz del ngulo definido por d y d0 , lo que
implica que que las recta P M y P 0 M giran a la misma velocidad pero en direcciones contrarias.
d
M
d'
P'
Figura 14-28
Teorema 14.66 Dados haces de rectas con centros P y P 0 y una funcin tal que las recta P M
y P 0 M giran a la misma velocidad pero en direcciones contrarias, entonces la interseccin de las
rectas correspondientes definen una hiprbola equiltera que pasa por P y P 0 , ademas P P 0 es un
dimetro.
Figura 14-29
Terminaremos esta seccin usando las hiprbolas equilteras para construir las trisectrices de
un ngulo.
Dado un crculo C, con centro O, y un arco AB C. Sean N y N 0 C tales que BN 0 es un
arco de C con longitud doble que la del arco AN de C y en sentido contrario; entonces las rectas
ON y BN 0 giran a la misma velocidad en sentido contrario, esto es la interseccin de las rectas
correspondientes definen una hiprbola equiltera H. La interseccin C H consiste de B y los
puntos X, Y y Z que corresponden a las trisectrices del ngulo ]AOB.
X P
Z N'
B
Figura 14-30
Problema 4 Dados cuatro puntos, entonces existe un nica hiprbola equiltera que los contiene.
Crculos de Miquel
Un tema central de la geometra moderna es encontrar condiciones para que algunas rectas
o algunos crculos sean concurrentes o que algunos puntos estn alineados o en un crculo. Un
teorema de este estilo y que tiene un sinnmero de consecuencias es el teorema de Miquel.
Y
P
B C
X
Figura 15-1
Teorema 15.1 (Miquel) Sean el tringulo 4ABC y X, Y y Z puntos en los lados BC, CA y
AB respectivamente, entonces las circunferencias CA , CB y CC que pasan por los puntos A, Y , Z;
B, X, Z; y C, X, Y ; respectivamente, tienen un punto en comn.
El punto P se llama el punto de Miquel de los puntos X, Y y Z respecto del tringulo 4ABC.
Decimos que 4XY Z es un tringulo de Miquel del punto P respecto del tringulo 4ABC (aunque
los puntos X, Y y Z estn alineados).
Si punto P es el punto de Miquel de los puntos X, Y y Z respecto del tringulo 4ABC,
entonces tenemos la igualdad de los ngulos
]BCP = ]XY P (15.1)
]BAP = ]ZY P
la primera se sigue de que los puntos X, P , Z y B estn en el crculo CB y la segundo de que los
puntos Y , P , X y C estn en el crculo CC .anlogamente obtenemos.
B
C
X
Figura 15-2
Teorema 15.3 Dado cuatro rectas en posicin general, entonces los circuncrculos a los tringulos
que se obtienen tomando de tres en tres de las rectas dadas, son concurrentes.
C
B X
Figura 15-3
Teorema 15.4 Todos los tringulos de Miquel de un punto P respecto del tringulo 4ABC son
semejantes.
Teorema 15.5 Dados dos tringulos 4ABC y 4XY Z, entonces existe un nico punto P tal que
los tringulos de Miquel de un punto P respecto del tringulo 4ABC son semejantes a 4XY Z.
y por lo tanto:
]BP C = A + X
anlogamente ]CP A = B + Y . Estas condiciones definen dos crculos uno que pasa por B y C y
el otro por C y A, y por lo tanto P esta determinado por los ngulos del tringulo 4XY Z.
El caso de que P es un punto exterior del tringulo 4ABC se tiene un resultado semejante y
se deja como problema al lector.
230 Crculos de Miquel
B
C
X
Figura 15-4
Tringulos Pedales
Un caso particular muy importante es el tringulo pedal de un punto P . Esto es si se tiene un
tringulo 4ABC y un punto P definimos el tringulo 4XY Z como los el tringulo que se obtiene
proyectando el punto P a los lados del tringulo 4ABC. Claramente los crculos de diametros
AP , BP y CP pasan por dos de los puntos X, Y , y Z. En este caso decimos que 4XY Z el
tingulo pedal del punto P .
Esta construccin es muy importante como nos muestran los siguientes teoremas. En particular
tenemos la siguiente definicin.
Daremos ahora una relacin entre las rectas de Simson y la geometra de la parbola.
Teorema 15.8 Dada una parbola P y tres tangentes p, q y r. Entonces el circuncrculo del
tringulo 4pqr pasa por el foco de P.
Crculos de Miquel 231
Demostracin: Del teorema 5.12, pag. 73, tenemos que las proyecciones P , Q y R del foco
F de P en los lados p, q y r estan en la tangente v a P en el vrtice de P. Por lo tanto P , Q y R
estn alineados y por lo tanto F est en el circuncrculo del tringulo 4pqr.
Demostracin: Como sen A = sen(]Y P Z) aplicando la ley de los senos a los tringulos
4ABC y 4Y ZA obtenemos las igualdades
YZ
= AP
sen A
BC
= 2R
sen A
de donde se obtiene las identides del teorema.
AB CD + BC DA AC BD
Demostracin: Si X, Y , y Z son los pies de las perpendiculares del punto D a los lados
del tringulo 4ABC, entonces tenemos que XY + Y Z XZ con igualdad sii X, Y , y Z estn
alineados con Y entre X y Z. Usando los resultados del teorema anterior obtenemos este teorema.
Teorema 15.11 Sean 4ABC un tringulo y P un punto cualquiera, entonces el rea del
tringulo pedal del punto P esta dada por la frmula
Demostracin: Sean X, Y y Z los vertices del tringulo pedal del punto P y C 0 la otra
interseccin del circuncrculo con la recta CP . Tenemos las igualdades siguientes:
232 Crculos de Miquel
A B
Z
C'
Figura 15-5
]ACC 0 = ]Y XP = ]ABC 0
]P XZ = ]P BA
]Y XZ = ]P BC 0
adems usando la ley de los senos se tiene que:
XY = P C sen C
XZ = P B sen B
PB P C0 P C0
= =
sen A sen(]P BC 0 ) sen(]Y XZ)
de donde tenemos las igualdades:
2 = XY XZ sen(]Y XZ)
= P C P B sen C sen B sen(]Y XZ)
= P C P C 0 sen A sen B sen C
= (OP 2 R2 ) sen A sen B sen C
Corolario 15.12 Sean 4ABC un tringulo y P un punto cualquiera, entonces el rea del
tringulo pedal del punto P es constante cuando P esta en un crculo concentrico con circuncrculo
y cero sii P esta en el circuncrculo.
Usando la idea de la demostracin podemos demostrar del teorema de Euler (ver teorema ??
pag. ??).
Teorema 15.13 (Euler) Sea 4ABC un tringulo de circunradio R, inradio r y distancia d entre
el circuncentro e incentro, entonces:
d2 = R2 2rR
Crculos de Miquel 233
por lo tanto la potencia del incentro I respecto al circuncrculo esta dada por:
A B
Figura 15-6
d2 R2 = IC ID = 2rR
Demostracin: Para la parte i) sea P 0 el punto del circuncrculo definidos por la condicin
P P 0 AB. Como el crculo de dimetro P B pasa por X y Z tenemos que ]XZP = ]XBP =
]CP 0 P y por lo tanto CP 0 k XZ.
Para la parte i) si con centro P hacemos una homotecia de razon 2 obtenemos que la recta de
Simson de P se transforma en una recta paralela que pasa por Q el punto reflejado de P en el lado
c. Por lo tanto la parte ii) es equivalente a que QH k XZ. Si C 0 es la otra interseccin de la altura
CH con el circuncrculo, tenemos que C 0 es el punto reflejado de H en el lado c. Por lo tanto HQ
es la recta reflejada de la recta P C 0 en el lado c. Por lo tanto ]CC 0 P = ]QHC 0 = ]CP 0 P y
como CC 0 k P Q tenemos QH k XZ.
Teorema 15.15 Dada una parbola P y tres tangentes a, b y c. Entonces el circuncrculo del
tringulo 4abc pasa por el foco de P.
234 Crculos de Miquel
X
H
A U B
P'
C'
Figura 15-7
Demostracin: Del corolario [5.13; 73] tenemos que las proyecciones X, Y y X del foco F de
P en los lados a, b y c estan en la tangente v a P en el vrtice de P. Por lo tanto X, Y y X estn
alineados y por lo tanto F est en el circuncrculo del tringulo 4abc.
M
Y
Figura 15-8
del tringulo dado. Ms aun se puede demostrar que son las tangentes a una hipocicloide de tres
cspides (llamada deltoide).
El teorema anterior implica que hay tres puntos del crculo de los nueve punto N donde la
recta de Simson correspondiente es tangente a N . Ms aun estos puntos son los vrtices de un
tringulo equiltero.
Queremos ahora describir el comportamiento de las lneas de Simson cuando los vrtices del
tringulo giran en el crculo C en el mismo sentido con la misma velocidad, mientras el punto P
permanece sin moverse. Estas lneas son las envolventes de una curva cuya forma no depende del
tringulo inscrito, pero su tamao si depende. Para demostrar este hecho se usa el teorema anterior
y se deja como ejercicio. Ms aun se puede demostrar que son las tangentes a una hepicicloide de
una cspide (llamada cardioide).
Deltoide Cardiode
Tringulo de Morley
Uno de los teoremas ms famosos de la geometra del tringulo es el teorema de Morley. En
esta seccin daremos varias demostraciones de este teorema y su generalizacin, tambin daremos
su relacin con las rectas de Simson. Daremos ahora el enunciado del teorema de Morley.
Teorema 15.16 (Morley) Los puntos de interseccin de las trisectrices adyacentes de los ngu-
los de un tringulo son los vrtices de un tringulo equiltero.
Figura 15-9
Hay varias demostraciones del teorema de Morley. En particular se pueden ver las demostra-
ciones que vienen en [9] y [7].
236 Crculos de Miquel
Teorema 15.17 (Morley) Los puntos de interseccin de las trisectrices adyacentes de los ngu-
los de un tringulo 4ABC son los vrtices de un tringulo equiltero.
Demostracin: Podemos suponer que los vrtices de 4ABC estn en el crculo unitario. Ms
aun que A = 1, B = c3 y C = b3 , con b y c en el crculo unitario. Entonces las trisectrices del
ngulo B (resp. C) son Bb y Bb2 (resp. Cc y Cc2 ). Como tenemos las igualdades ]AOB = 3,
con = arg c, ]AOC = 3, con = arg b obtenemos que ]BOC = 3 donde + + = 120o
d son a2 = bc2 y a1 = b2 c2 .
y por lo tanto los puntos que trisectan el arco BC
Sean P = Cc2 Bb2 , Q = Aa1 Cc y R = Aa2 Bb. Usando el lema anterior obtenemos
b2 + c3 b3 c2 bc3 + b3 c3 b3 c
P = =
b2 c3 b3 c2 bc
2 2 2 2
(b c)(b + bc + c ) bc(b c )
= = (b2 + bc + c2 ) bc(b + c)
bc
1 + b2 c1 2 b3 c1 b3 c + b c b3
Q = =
b2 c1 2 b3 c1 b 1
c(b 1) b(b2 )
3
= = 2 (c(b2 + b 2 + ) b(b + 2 ))
(b 2 )
1 + b1 c2 1 b1 c3 bc3 + c 2 c3 b
R = =
b1 c2 1 b1 c3 c2 1
3 2 2
b(c 1) c(c )
= = ((b(c2 + c + 2 ) c(c + ))
2 (c )
y por lo tanto
P + Q + 2 R = b2 b2 + c2 c2 b2 c + b2 c bc2 + bc2
bc(1 + 2 + ) + c c b2 + b 2
= 0
Demostracin de Connes
Daremos otra demostracin, del teorema de Morley, usando los nmeros complejos que tiene
la ventaja de demostrar que hay 18 tringulos de Morley. La demostracin est basada en una
prueba de Alain Connes que aparece en [5]. Usaremos la notacin siguiente: Sea G el grupo de
tansformaciones de semejanza del plano, usando los nmeros complejos G = {T : T (Z) = az + b
con b C y a C }, tenemos el epimorfismo : G C definido como (az + b) = a y ker
es subgrupo de translaciones T . Si T G T entonces T tiene un nico punto fijo y tenemos
b
FT = 1a . Primero demostramos el teorema siguiente.
Crculos de Miquel 237
1 b1 + 2 b2 + 3 b3
A + B + 2 C =
(1 a1 a2 )(1 a2 a3 )(1 a1 a3 )
donde
1 = a31 a42 a43 a31 a32 a33 a21 a32 a43 + a21 a22 a33 + a1 a2 a23 a1 a3 a2 a3 + 1
2 = a31 a22 a23 a21 a22 a3 a21 a3 + a1
3 = a31 a42 a33 a21 a32 a33 a21 a32 a3 + a1 a22 a3
Teorema 15.20 (Morley) Los puntos de interseccin de las trisectrices interiores de los ngulos
de un tringulo son los vrtices un tringulo equiltero.
Figura 15-10
Teorema 15.21 (Morley general) Los puntos de interseccin de las trisectrices de los ngulos
de un tringulo son los vrtices de 18 tringulos equilteros.
Demostracin de Dobbs
En esta seccin daremos una demostracin de la existencia de los 18 tringulos de Morley
basada en el articulo [12] de W. J. Dobbs. Para esto necesitmos estudiar con ms detalle el
Crculos de Miquel 239
concepto de las trisectrices de un ngulo dado. Dados los puntos O, A y B definen un nico
ngulo 3 (3600 , 360o ) con 3 0 sii ]AOB es positivo, en este caso decimos que 3 es el
valor principal de ]AOB. Los mismos puntos definen los ngulos 3 + n 360o y por lo tanto cada
ngulo ]AOB define tres trisectrices y el ngulo ]BOA define otras tres trisectrices.
La trisectriz principal de un ngulo ]AOB es la recta t0 = OP0 tal que ]AOP0 = . Las
otras dos trisectrices de ]AOB que son las recta t1 = OP1 y t2 = OP2 donde ]P0 OP1 = 120o y
]P0 OP2 = 240o . La trisectriz principal del ngulo ]BOA es la recta t0 = OPe0 tal que ]BOPe0 =
. Las otras dos trisectrices de ]BOA que son las recta t1 = OPe1 y t2 = OPe2 donde ]Pe0 OPe1 =
120o y ]Pe0 OPe2 = 240o . En esta seccin identificaremos tn y tm si n m mod 3, anlogamente
identificaremos tn y tm si n m mod 3.
Como estamos interesados en las intersecciones de las trisetrices de los vrtices de un tringulo
necesitamos conciderar los rayos OP0 , OQ1 y OQ2 donde Qi es la reflexin de Pi en O. En este
caso definimos los ngulos 0 = = ]AOP0 = , 1 = ]Q1 OA = 60o y 2 = ]AOQ2 = 60o +.
Figura 15-11
Dado un tringulo 4ABC sean to , t1 y t2 las trisectrices del ngulo ]CBA y s0 , s1 y s2 las
trisectrices del ngulo ]BCA entonces las rectas ti y las rectas sj se intersectan en nueve puntos
que denotaremos por Xi = ti si y por Xij = ti sj si i 6= j. Anlogamente definimos los puntos
Yi , Zi , Yij y Zij . Los ngulos del tringulo 4ABC son 3, 3 y 3 por lo tanto + + = 60o .
Usando la ley de los senos y la identidad
Proposicin 15.22 Dado un tringulo 4ABC, entonces los tringulos 4X0 Y0 Z0 , 4X1 Y1 Z1 y
4X2 Y2 Z2 son equilteros. Adems
donde R es el radio del circuncrculo del tringulo 4ABC. Ms aun las rectas Xi Yi y BC se
cortan en un ngulo igual a + 2, esto es los tringulos 4X0 Y0 Z0 , 4X1 Y1 Z1 y 4X2 Y2 Z2 tienen
sus lados paralelos.
240 Crculos de Miquel
BC sen i BC sen i
CXi = =
sen i sen i+1
8R sen sen 1 sen 2 sen i
=
sen i+1
si i = ]Xi CYi tenemos que 0 = , 1 = 120o + y 2 = 120o y por lo tanto sen i = sen i
y i = 180o i+2 i+2 tenemos que ]CXi Yi = i+2 y ]CYi Xi = i+2 .
Usando de nuevo la ley de las senos obtenemos la siguiente frmula
CXi sen i
Xi Yi =
sen i+2
8R sen sen 1 sen 2 sen i sen i
=
sen i+1 sen i+2
= 8R sen i sen i sen i
Figura 15-12
0 = 180o 2 60o
= 2( + + ) 2 = + 2
1 = 180o 60o 2 = + 2
2 = 180o 60o + 2 60o +
= 180o 2( + + ) + 2 +
= 180o ( + 2)
Proposicin 15.23 Dado un tringulo 4ABC, entonces los tringulos 4X0 X21 X12 , 4X1 X20 X02
y 4X2 X10 X01 son equilteros. Adems X12 = y0 x2 , X21 = z0 x2 ; X02 = y1 x0 , X20 = z1 x0 ;
X01 = y2 x1 , X10 = z2 x1 .
Demostracin: Sea Ci el circuncentro del tringulo 4Xi BC. Como ]X0 BX21 = 120o y
]X0 CX21 = 60o tenemos que X21 C0 ; como ]X0 CX12 = 120o y ]X0 BX12 = 60o tenemos
que X12 C0 . Por lo tanto ]X0 X12 X21 = ]X0 X21 X12 = 60o , lo que implica que el tringulo
4X0 X21 X12 es equiltero. Una demostracin anloga nos da que los tringulos 4X1 X20 X02 y
4X2 X10 X01 son equilteros.
Como los arcos CX0 y BX21 (resp. CX02 y BX1 ; resp. BX2 y CX10 ) son iguales a 2 y
120o 2 (resp. 2 y 120o 2; resp. 120o + 2 y 2), por lo tanto el ngulo entre X0 X21 (resp.
o
X1 X02 ; resp. X2 X10 ) y BC es 120 2+2
2
= + + + = + 2. Esto demuestra que
X21 X0 Y0 , X21 X0 Z0 ; X20 X1 Y1 , X02 X1 Z1 ; X10 X2 Y2 y X01 X2 Z2 .
Figura 15-13
Figura 15-14
Figura 15-15
Crculos de Miquel 243
Los tringulos de Morley son los tringulos de la forma Xij Yjk Zki . El teorema de Morley nos
dice que 18 de estos tringulo son equilteros, este resultado se obtiene de la figura anterior.
Teorema 15.24 (Morley) Si (P, Q, R) son una permutacin cclica de las letras (X, Y, Z) en-
tonces los siguientes 18 tringulos son equilteros:
La figura anterior tambin muestra que los tringulos Pi Qi,i+1 Ri+1,i no son equilteros.
Adems tenemos los nueve tringulos equilteros Pi Pi+1,i+2 Pi+2,i+1 , con P {X, Y, Z}.
Una manera dual de presentar el resultado anterior es que las nueve rectas xi , yi y zi definen 27
trilteros equilteros xi yj zk . De ellos 18 son trilteros equilteros de Morley y 9 no son de Morley;
estos ltimos son los trilteros equilteros de la forma pi qi ri+2 , donde {p, q, r} = {x, y, z}.
Demostracin: Con la notacin del teorema anterior sea T el tringulo de lados CB, BZ y
Y Z; entonces el ngulo exterior del vrtice B es 2, el ngulo en el vrtice Z es + y por lo
tanto el ngulo buscado es tal que 2 = + + .
Dado un tringulo 4ABC sean M su tringulo de Morley y S el tringulo cullos vrtices son
los puntos donde las rectas de Simson son tangentes al crculo de los nueve puntos. El siguiente
teorema relacionan a estos dos tringulo.
Teorema 15.26 Dado un tringulo 4ABC entonces los tringulos M y S son homotticos.
Demostracin: Usando el corolario anterior basta demostrar que los ngulos que forman los
lados de S con los lados del tringulo dado son |B C|/3, |C A|/3 y |A B|/3. Para eso vamos
a usar el teorema 15.14, pag. 233.
Encontraremos ahora los puntos del circuncrculo C tales que sus rectas son tangentes al crculo
de los nueve puntos F. Para cada punto P C, el punto medio de HP es un punto Q F adems
la tangente a C en P y la tangente a F en Q son paralelas. Podemos suponer que A > B y
sea (P ) el ngulo entre la tangente a C en P y la recta de Simson asociada a P ; tenemos que
(C) = B A + 90o . Si P es el punto de C tal que el arco CP corresponde al angulo , entonces
(P ) = (C) + 3/2, por lo tanto los puntos P tales que (P ) = 0 o 180o son vrtices de
S. En el primer caso 1 = 2(B A)/3 60o y en el segundo 2 = 2(B A)/3 + 60o ; por lo
tanto los ngulos que corresponden a los arcos BP1 y P2 C son 2A 1 = 2(2A + B)/3 60o y
2B + 2 = 2(2B + A)/3 60o respectvamente y por lo tanto el lado de S que une estos vrtices
hace un ngulo 1
2
2
= AB
3
.
244 Crculos de Miquel
Bibliografa
[3] C. Carathodory, The Most General Transformations of Plane Regions which Transform Cir-
cles into Circles, Bull. Amer. Math. Soc., 43, 573-579, 1937.
[4] D. Cauer, Math. Ann., Vol 73, 90-94, 1912 y Vol 74, 462-464, 1913.
[5] Alain Connes, Les Relations Entre Les Mathematiques et La physique Theorique, Institut de
Halters Etudes Scientifiques, 1998.
[11] L. E. Dickson, New First Course in the Theory of Equations, Wiley, 1939.
[12] W. J. Dobbs, Morleys Triangle, The Mathematical Gazette, Vol. 22, 50-57, 1938.
[13] H. Eves, Estudio de las geometras, UTEHA, 1969.
[17] M. J. Greenberg, Euclidean and Non-Eucledean Geometries, Freeman and Company, 1993.
[18] C. Hernndez, A. Ramrez, Cnicas, Notas, CIMAT, 2003
[19] L. Haha, Complex numbers and Geometry, The Mathematical Association of Ameria, 1994.
245
246 BIBLIOGRAFA
[24] A. P. Hatzipolakis and P. Yiu, The Lucas Circles of a Triangle, American Mathematical
Monthly, (2001), 444-445.
[27] R. Honsberger, Episodes in Nineteenth and Twentieth Century Euclidean Geometry, The
Mathematical Association of America, 1995.
[30] D. Pedoe, The Missing Seventh Circle, Elemente der Mathematik, 25 (1970), 14-15.
[35] Smogorzhevskil, The Ruler in Geometrical Constructions, Blaisdell, 1961, New York.
[37] I. Vaisman, Foundations of Three Dimensional Euclidean Geometry, Marcel Dekker, 1980.