Libro Geo Me Tria Porfirio

Geometra
Porrio Toledo Hernandez January 13, 2012
Contenido
1 Introduccion 1.1 Postulados de Euclides. . . . . . . . . . . 1.2 Angulos . . . . . . . . . . . . . . . . . . . 1.2.1 Rectas que se Cortan Entre S . . 1.2.2 Rectas Cortadas por una Secante 2 Semejanza de Triangulos 2.1 Teorema de Thales . . . . . . . . 2.2 Congruencia de Triangulos . . . 2.2.1 Criterios de Congruencia 2.3 Semejanza de Triangulos . . . . 2.3.1 Criterios de Semejanza . 2.4 Teorema de Pitagoras . . . . . . 2.5 Paralelogramos . . . . . . . . . . 1 1 2 3 3 9 9 13 14 14 15 20 22 30 30 38 40 42 44 44
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
3 Angulos en la Circunferencia 3.1 Angulos en la Circunferencia . . . . . . . . . . . 3.2 Trigonometra . . . . . . . . . . . . . . . . . . . . 3.2.1 Identidades de Suma y Resta de Angulos 3.2.2 Relaciones entre angulos suplementarios 3.2.3 Ley de los Senos . . . . . . . . . . . . . . 3.2.4 Ley de los Cosenos . . . . . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
4 Segmentos Dirigidos 46 4.1 Segmentos y Angulos Dirigidos . . . . . . . . . . . . . . . . . . . 46 4.2 La Razon en que un Punto Divide a un Segmento . . . . . . . . 50 4.2.1 Punto al Innito . . . . . . . . . . . . . . . . . . . . . . . . 53 5 Puntos y Lneas en los Triangulos 5.1 Lneas en los Triangulos . . . . 5.2 Puntos en los Triangulos . . . . 5.3 Incrculo y Excrculo . . . . . . 5.3.1 Formula de Heron . . . i 55 55 64 71 73
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
CONTENIDO
Geometr a
6 Cuadrilateros Cclicos 6.1 Cuadrilateros Cclicos . . . . . . . . . . . . . . 6.2 La Circunferencia de los Nueve Puntos . . . . 6.2.1 La Recta de Euler . . . . . . . . . . . . 6.2.2 La Circunferencia de los Nueve Puntos 6.3 Rectas Antiparalelas . . . . . . . . . . . . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
78 78 84 84 87 88
7 Teoremas de Ceva y Menelao 93 7.1 Teoremas de Ceva y Menelao . . . . . . . . . . . . . . . . . . . . 93 7.1.1 Punto de Gergonne . . . . . . . . . . . . . . . . . . . . . 103 7.2 Teorema de Desargues . . . . . . . . . . . . . . . . . . . . . . . 104 8 Puntos de Miquel 8.1 Lnea de Simson . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.2 Teorema de Ptolomeo . . . . . . . . . . . . . . . . . . . . . . . . 8.3 Puntos de Miquel . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 111 113 117
9 Potencia 124 9.1 Potencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124 9.2 Teorema de Carnot . . . . . . . . . . . . . . . . . . . . . . . . . . 128 9.3 Eje Radical . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 Referencias 135
Porrio Toledo
ii
Captulo 1
Introduccion
1.1 Postulados de Euclides.
El libro de los Elementos de Euclides fue un trabajo de gran importancia pues sistematizo los conocimientos geometricos de la Grecia Antigua, a partir de un conjunto de axiomas que denomino Postulados. Los cinco postulados de Euclides son los siguientes. Postulado 1. Dados dos puntos es posible trazar un segmento de recta que los une. Postulado 2. Cualquier segmento de recta puede prolongarse continuamente para convertirse en una recta con la misma direccion. Postulado 3. Un crculo esta determinado por su centro y si radio. Postulado 4. Todos los angulos rectos son iguales. Postulado 5. Si dadas dos rectas, estas son cortadas por una secante formando un par de angulos colaterales internos cuya suma es menor que dos angulos rectos (180 ), entonces las dos primeras rectas se intersectan en un punto que se encuentra del mismo lado que los angulos colaterales mencionados respecto de la recta secante.
El ultimo Postulado se conoce como el de Axioma de las Paralelas y se puede enunciar en forma equivalente como sigue. Dada una recta y un punto ajeno a ella, se puede trazar una unica recta paralela a la primera que pase por el punto dado. 1
1.2. ANGULOS
Geometr a
1.2
Angulos
Dadas dos rectas en el plano estas coinciden o son distintas. En este ultimo caso se cortan en un unico punto o no se cortan.
En el plano, dos puntos distintos determinan una unica recta; la que pasa por ellos. Mientras que dos rectas distintas, no paralelas, determinan a un unico punto; el punto que pertenece a ambas.
Cuando varias rectas pasan a traves de un mismo punto decimos que ellas son concurrentes.
Denicion 1.2.1 Un angulo es la abertura formada por dos semirrectas con un mismo origen llamado vertice. La bisectriz de un angulo es la semirecta que tiene como origen el vertice del angulo y divide a este en dos angulos iguales.
P
A Q Figure 1.1: Fig 01-01
Si el vertice del angulo es A y los puntos P y Q pertenecen el primero a una semirecta y el segundo a la otra, denotaremos al angulo formado por P AQ, por el momento no haremos ninguna distincion en la direccion del angulo, es decir A = P AQ = QAP.
Un angulo recto es aquel que mide 90 .
Denicion 1.2.2 Dos angulos son complementarios, y cada uno es el complemento del otro, cuando su suma es un angulo recto. Dos angulos son suplementarios, y cada uno es el suplemento del otro, cuando su suma es dos angulos rectos. Porrio Toledo 2
1.2. ANGULOS
Geometr a
1.2.1 Rectas que se Cortan Entre S

Cuando una recta encuentra a otra formando con ella angulos adyacentes iguales, estos angulos seran rectos.
Decimos que dos angulos son adyacentes cuando tienen un mismo vertice y un lado comun y son exteriores el uno al otro.
Supongamos que tenemos dos rectas que se cortan entre s, el punto de interseccion sera un vertice comun a cuatro angulos. Para tal caso tenemos la siguiente clasicacion para los angulos en cuanto a la posicion que ocupan con respecto al punto de interseccion de las rectas.
Dos angulos son opuestos por el vertice cuando los lados de uno son las prolongaciones de los del otro.
Figure 1.2: Fig 01-03 Opuestos por el Vertice , , Adyacentes , , , ,
En todo sistema de dos rectas distintas que se cortan, tenemos que 1. los angulos adyacentes son suplementarios, 2. los angulos opuestos por el vertice son iguales.
1.2.2 Rectas Cortadas por una Secante

Consideremos un sistema de dos rectas cortadas por una secante o transver sal. En este caso tenemos, para cada interseccion, un sistema de dos rectas que se cortan entre s, obteniendo de esta manera varios angulos opuestos por el vertice y adyacentes, correspondientes a cada interseccion. Pero tambien podemos clasicar los angulos de acuerdo a la posicion que ocupan con respecto a los sistemas adyacentes. Porrio Toledo 3
1.2. ANGULOS
Geometr a
Figure 1.3: Fig 01-04

Llamaremos tri angulo al espacio limitado por tres rectas que se cortan. Un tri angulo rectangulo es aquel que tiene un angulo recto.
Existen relaciones muy particulares entre los angulos antes mencionados en el caso de que el sistema este conformado por rectas paralelas, a saber las relaciones dadas por el siguiente resultado.
Dos rectas en el plano son paralelas si no se cortan en un unico punto.
Teorema 1.2.1 (Teorema Directo) En todo sistema de dos rectas paralelas

distintas cortadas por una secante, se tiene que 1. los angulos correspondientes son iguales, 2. los angulos alternos son iguales, 3. los angulos colaterales son suplementarios.
Porrio Toledo
1.2. ANGULOS
Geometr a
Debemos sobreentender que al decir angulos iguales nos referimos a que son iguales entre s; y de manera analoga para los angulos suplementarios. Demostracion. Consideremos el sistema de rectas paralelas AB y CD cortadas por la secante F E en los puntos M y N , respectivamente. F A M B
C E
Figure 1.5: Fig 01-06 Como los angulos opuestos por el vertice son iguales, entonces AM N = BM F, AM F = BM N, CN M = EN D, CN E = DN M. Ademas, al ser angulos adyacentes, tenemos las siguientes relaciones AM N + AM F = = = = CN M + CN E = = = = AM F + BM F BM F + BM N BM N + AM N 180 , CN M + DN M DN M + DN E DN E + CN E 180.
(1.1)
(1.2)
(1.3)
Por otro lado, como las rectas AB y CD son paralelas, entonces no es posi ble encontrar angulos internos cuya suma sea menor que 180 . Tomando en cuenta el Postulado de las Paralelas, concluimos que AM N + CN M = 180 , BM N + DN M = 180 . Lo cual, junto con (1.1), (1.2) y (1.3), implica las armaciones del Teorema.
Teorema 1.2.2 (Teorema Inverso) En un sistema de dos rectas situadas

en un mismo plano, cortadas por una secante, basta que haya Porrio Toledo 5
1.2. ANGULOS
Geometr a
1. un par de angulos correspondientes iguales; o bien, 2. algun par de angulos alternos iguales; o bien, 3. algun par de angulos colaterales suplementarios; para que esas dos rectas sean paralelas. Demostracion. Cada una de los casos 1, 2 y 3 se reducen a probar que si dos rectas forman con una transversal angulos alternos internos iguales, esas dos rectas son paralelas . Supongamos que las rectas AB y CD son cortadas por la secante EF en los puntos M y N respectivamente, y que ademas AM N = DN M. Consideremos la recta XY paralela a CD que pasa por M . F M A B Y
C E
Figure 1.6: Fig 01-07 Al ser XY paralela a CD entonces los angulos alternos internos N M X y DN M son iguales, luego N M X = DN M = AM N. Por lo tanto AB coincide con XY ; y como XY es paralela a CD, entonces AB es paralela a CD.
Por lo tanto, cualquiera de las tres alternativas mencionadas en el Teorema Inverso (1.2.2), implica los incisos 1, 2 y 3 del Teorema Directo (1.2.1). Este par de teoremas aunque aparentemente inofensivo resultara muy importante pues se aplica para demostrar muchos resultados, como veremos a continuacion. Corolario 1.2.3 La suma de los tres angulos interiores de cualquier triangulo es igual a 180 . Porrio Toledo 6
1.2. ANGULOS
Geometr a
B Figure 1.7: Fig 01-08
Demostracion. Sea ABC un triangulo cualquiera. Tracemos una recta paralela al segmento BC que pase por A. Sabemos que + + = 180 . Por lo tanto tenemos = por ser angulos alternos internos, y por la misma razon = . Sustituyendo los valores de y en la primera igualdad, obtenemos el resultado.
Denicion 1.2.3 Un angulo exterior de un triangulo es el formado por un lado del triangulo y la prolongacion de otro. Corolario 1.2.4 En todo triangulo, cada angulo exterior es igual a la suma de los dos interiores que no le son adyacentes, es decir los que le son opuestos. Demostracion. Consideremos un triangulo cualquiera ABC. Sea el angulo exterior en el vertice B. A
Por el teorema (1.2.3), + + = 180; y como + = 180, entonces = + .
Corolario 1.2.5 La suma de los tres angulos exteriores (uno en cada vertice) de cualquier triangulo, es igual a 360. Demostracion. Sea ABC un triangulo cualquiera. Sean los angulos exteriores , y , en los vertices A, B y C respectivamente. As, por el colorario (1.2.4) anterior, tenemos las siguientes identidades Porrio Toledo 7
1.2. ANGULOS
Geometr a
A B
Figure 1.9: Fig 01-10 = + , = + , = + , de esta manera + + = 2( + + ) = 360 .
Porrio Toledo
Captulo 2
Semejanza de Triangulos
2.1 Teorema de Thales
El area de un triangulo ABC esta determinada por las medidas de su base y altura Base Altura BC h (ABC) = = . 2 2 A A A
h h B Figure 2.1: Fig 01-11
Observemos que para triangulos diferentes, no importa cuanto midan los otros lados, mientras la base y la altura permanezcan iguales, las areas seran las mismas. Lema 2.1.1 Si dos triangulos tienen bases iguales, entonces la razon entre sus areas es igual a la razon entre sus alturas, las cuales se levantan en sus bases iguales. Demostracion. Consideremos los triangulos A1 B1 C1 y A2 B2 C2 , con bases B1 C1 y B2 C2 , y alturas h1 y h2 , respectivamente. Asumiendo que B1 C1 = B2 C2 tenemos (A1 B1 C1 ) = (A2 B2 C2 ) 9
B1 C1 h1 2 B2 C2 h2 2
h1 . h2
2.1. TEOREMA DE THALES
Geometr a
A2 A1 h1 B1
(a) Fig 01-12
h2
C1
B2
(b) Fig 01-13
C2
Figure 2.2: Fig 01-11-12
Es claro que tambien se cumple el siguiente resultado. Lema 2.1.2 Si dos triangulos tienen alturas iguales, entonces la razon entre sus areas es igual a la razon entre sus bases, en las cuales se levantan las alturas iguales.
Teorema 2.1.1 (Primer Teorema de Thales) Si una recta paralela a uno

de los lados de un triangulo corta a los otros lados, entonces los segmentos formados son proporcionales
Thales de Mileto. Nacio en el ano 624 antes de Cristo, en Mileto, Asia Menor (ahora Turqua). Murio en el ano 547 antes de Cristo.
Lo que nos dice este resultado es que para un triangulo cualquiera ABC, si D y E son puntos en AB y AC respectivamente, tales que DE es paralelo a BC, entonces AE AD = , AB AC AD AE = , DB EC AC AB = . DB EC
(2.1)
Basta demostrar la primera relacion, puesto que las otras son equivalentes. Para obtener la segunda observemos que AD AC = AE AB si y solo si AD (AE + EC) = AE (AD + DB) ; de donde AD EC = AE DB, de lo cual obtenemos la segunda relacion. La Porrio Toledo 10
Geometr a
tercera se puede obtener de la segunda como sigue AB DB = = = AD + DB AD = +1 DB DB AE + EC AE +1= EC EC AC . EC
Demostracion. Consideremos un triangulo ABC, en donde D y E son puntos en AB y AC respectivamente, tales que DE es paralelo a BC. DeAE mostraremos que AD = AC . AB A
Como DE es paralelo a BC, entonces los triangulos BED y CED tienen la misma altura respecto a la base comun DE, por lo que su area es la misma. (BED) = (CED). De esta manera (ABE) = = = (ADE) + (BED) (ADE) + (CED) (ADC).
Por lo tanto, utilizando el Lema anterior, tenemos que (ADE) (ADE) AE AD = = = . AB (ABE) (ADC) AC
Teorema 2.1.2 (Teorema inverso) Si una recta divide dos lados de un

triangulo en partes proporcionales, entonces tal recta es paralela al tercer lado. Porrio Toledo 11
Geometr a
Las relaciones de proporcionalidad de las cuales habla este Teorema, son precisamente las descritas como (2.1). Y ya que estas son equivalentes bas tara considerar solo una de ellas para demostrar que la recta es paralela al tercer lado del triangulo. Demostracion. Sea ABC un triangulo en donde una recta corta a los lados AB y AC en los puntos D y E respectivamente, y ademas AE AD = . AB AC A D D E
Sea D en AB tal que D E es paralelo a BC. As, por el Teorema anterior, AE AD AD = = . AB AC AB De donde AD = AD. Y como ambos puntos D y D se encuentran entre A y B entonces D = D . De donde concluimos que DE y BC son paralelos.
Teorema 2.1.3 (Segundo Teorema de Thales) Si tres o mas paralelas son cortadas por cualesquiera dos transversales, entonces los respectivos segmentos que las paralelas determinan en estas ultimas rectas son propor cionales. Este teorema nos garantiza que si consideramos las rectas l1 , l2 y l3 paralelas y suponemos que las tranversales t1 y t2 cortan a aquellas en los puntos A, B, C y A , B , C respectivamente, entonces AB BC AC BC AC AB Porrio Toledo A B , BC A C , BC AC A B 12
= = =
2.2. CONGRUENCIA DE TRIANGULOS
Geometr a
B D C Figure 2.5: Fig 01-17
Demostracion. Sea D la interseccion de AC con BB . Por el Primer Teorema de Thales tenemos AB B A AD = , = BC DC CB lo cual nos proporciona la primer relacion de proporcionalidad. Las otras relaciones se obtienen a partir de la primera de la misma forma en que se demostro que las relaciones (2.1) eran equivalentes.
2.2 Congruencia de Triangulos

Dos guras cualesquiera son iguales si pueden hacerse coincidir en todos sus puntos. En particular tenemos la siguiente denicion. Denicion 2.2.1 Dos triangulos A1 B1 C1 y A2 B2 C2 son congruentes o iguales si y solo si tanto sus lados como sus angulos correspondientes son iguales, es decir A1 B1 = A2 B2 , B1 C1 = B2 C2 , A1 C1 = A2 C2 , (2.2) A1 = A2 , B1 = B2 , C1 = C2 . Para indicar que los triangulos A1 B1 C1 y A2 B2 C2 son congruentes lo haremos de la siguiente manera: A1 B1 C1 A2 B2 C2 . Porrio Toledo 13
2.3. SEMEJANZA DE TRIANGULOS
Geometr a
C2 C3 A1 A2 A3
B1
(a) Fig 01-18
C1
B2
(b) Fig 01-19 (c) Fig 01-20
B3
Figure 2.6: Fig 01-18-20
Emplearemos de manera indistinta los t erminos congruente o igual.
Existen herramientas que nos permitiran saber cuando una pareja de triangulos es congruente, sin tener que vericar cada una de las relaciones (2.2).
2.2.1 Criterios de Congruencia

Para que A1 B1 C1 A2 B2 C2 es suciente que se cumpla una de las siguientes tres condiciones (LAL) Dos lados iguales e igual el angulo comprendido A1 B1 = A2 B2 , B1 C1 = B2 C2 y B1 = B2 . (ALA) Dos angulos iguales e igual el lado comprendido A1 = A2 , B1 = B2 y A1 B1 = A2 B2 . (LLL) Sus tres lados iguales A1 B1 = A2 B2 , B1 C1 = B2 C2 y A1 C1 = A2 C2 . De esta manera, cada una de las condiciones LAL, ALA o LLL implica todas las relaciones (2.2).
2.3
Semejanza de Triangulos
Denicion 2.3.1 Dos triangulos A1 B1 C1 y A2 B2 C2 son semejantes si y solo si los angulos correspondientes son iguales y los lados correspondientes son proporcionales, es decir si cumplen las siguientes relaciones A1 = A2 , B1 = B2 , C1 = C2 , B1 C1 A1 C 1 A1 B1 A2 B2 = B2 C2 = A2 C2 . Porrio Toledo
(2.3)
14
Geometr a
C2
A2 A1 C3 C1
(a) Fig 01-18
A3 B3
B1
B2
(b) Fig 01-19 (c) Fig 01-20
Figure 2.7: Fig 01-18-20 Al igual que con la congruencia, tenemos semejanza directa e indirecta, aunque no haremos ninguna distincion entre ambas.
En general diremos que dos polgonos, con el mismo numero de lados, son semejantes si sus lados correspondientes son proporcionales y sus angulos correspondientes son iguales.
Para indicar que los triangulos A1 B1 C1 y A2 B2 C2 son semejantes lo haremos de la siguiente manera: A1 B1 C1 A2 B2 C2 . De forma semejante a los criterios de congruencia, tenemos los equiva lentes para semejanza, tales condiciones nos ayudaran a decidir cuando un par de triangulos son semejantes sin necesidad de vericar cada una de las relaciones (2.3).
2.3.1 Criterios de Semejanza Teorema 2.3.1 Para que A1 B1 C1 A2 B2 C2 es suciente que se cumpla
una de las tres condiciones siguientes (AA) Dos angulos iguales A1 = A2 y B1 = B2 . (LAL) Dos lados proporcionales e igual el angulo comprendido A1 B1 B1 C1 = y B1 = B2 . A2 B2 B2 C2 (LLL) Sus tres lados proporcionales B1 C1 A1 C1 A1 B1 = = . A2 B2 B2 C2 A2 C2 Porrio Toledo 15
Geometr a
Considerando este resultado, cada una de la condiciones anteriores impli can todas las realaciones (2.3). Cabe tambien senalar que cuando la razon de proporcionalidad es igual a 1, tenemos que los triangulos son congruentes. Demostracion. (AA) Consideremos dos triangulos A1 B1 C1 y A2 B2 C2 tales que A1 = A2 y B1 = B2 . A1 C3 A2
B3
B1
(a) Fig 01-22
C1 Figure 2.8: Fig 01-22-23
B2
(b) Fig 01-23
C2
Tenemos que probar que C1 = C2 y que A2 C2 B2 C2 A2 B2 = = . A1 C1 A1 C1 B1 C1 Sean B3 y C3 en A1 B1 y A1 C1 respectivamente tales que A1 B3 = A2 B2 y A1 C3 = A2 C2 , por el criterio LAL los triangulos A1 B3 C3 y A2 B2 C2 son congruentes, por lo que A1 B3 C3 = A2 B2 C2 = A1 B1 C1 , es decir B3 C3 es paralelo a B1 C1 , de donde C2 = A2 C2 B2 = A1 C3 B3 = A1 C1 B1 = C1 . Ademas por el primer Teorema de Thales A1 C3 A1 B3 = A1 B1 A1 C1 y utilizando que A1 B3 C3 A2 B2 C2 , tenemos que A2 B2 A2 C2 = . A1 B1 A1 C1 La demostracion de que
A2 C 2 A1 C 1
B2 C2 B1 C1
se hace de forma similar.

A2 B2 A1 B1
(LAL) Consideremos dos triangulos A1 B1 C1 y A2 B2 C2 tales que A2 C 2 y A1 = A2 . A1 C 1 Porrio Toledo
16
Geometr a
A1
B3
C3 A2
B1
(a) Fig 01-24
C1 Figure 2.9: Fig 01-24-25
B2
(b) Fig 01-25
C2
Sean B3 y C3 en A1 B1 y A1 C1 respectivamente, tales que A1 B3 = A2 B2 y A1 C3 = A2 C2 . Por el criterio LAL los triangulos A1 B3 C3 y A2 B2 C2 son congruentes. Por lo tanto A1 B3 = A2 B2 y A1 C3 = A2 C2 , de donde obtenemos A2 B2 A2 C2 A1 C3 A1 B3 = = = , A1 B1 A1 B1 A1 C1 A1 B1 y por el Teorema inveso al primer Teorema de Thales tenemos que B3 C3 es paralelo a B1 C1 , lo cual implica que B1 = A1 B1 C1 = A1 B3 C3 = A2 B2 C2 = B2 . Usando el criterio AA concluimos que A1 B1 C1 y A2 B2 C2 son semejantes. (LLL) Consideremos dos triangulos A1 B1 C1 y A2 B2 C2 tales que A2 B2 A2 C2 B2 C2 = = A1 B1 A1 C1 B1 C1 A1 B3
C3 A2
B1
(a) Fig 01-26
C1 Figure 2.10: Fig 01-26-27
B2
(b) Fig 01-27
C2
Porrio Toledo
17
Geometr a
Sean B3 y C3 en A1 B1 y A1 C1 respectivamente tales que B3 C3 sea paralelo a B1 C1 y B3 C3 = B2 C2 . De esta manera tenemos que A1 B3 C3 = A1 B1 C1 , A1 C3 B3 = A1 C1 B1 . y por el criterio AA tenemos A1 B1 C1 A1 B3 C3 de donde A1 B3 A1 C3 B3 C3 B2 C2 A2 C2 A2 B2 = = = = = . A1 B1 A1 C1 B1 C1 B1 C1 A1 C1 A1 B1 Por lo tanto A1 B3 = A2 B2 y A1 C3 = A2 C2 . Por el criterio LLL tenemos A1 B3 C3 A2 B2 C2 de donde B1 = A1 B1 C1 = A1 B3 C3 = A2 B2 C2 = B2 , C1 = A1 C1 B1 = A1 C3 B3 = A2 C2 B2 = C2 . Usando el criterio AA concluimos que A1 B1 C1 y A2 B2 C2 son semejantes.
Observemos que la relacion de semejanza es una relacion de equivalencia, es decir satisface las siguientes propiedades. 1. (Reexividad) ABC ABC
Puesto que todo triangulo es congruente a s mismo, la razon de seme janza en este caso es igual a 1.
2. (Simetra) Si A1 B1 C1 A2 B2 C2 , entonces A2 B2 C2 A1 B1 C1 . En este caso si la primera razon de semejanza es k entonces la segunda 1 sera k . 3. (Transitividad) Si A1 B1 C1 A2 B2 C2 y A2 B2 C2 A3 B3 C3 , entonces A1 B1 C1 A3 B3 C3 . Si las primeras razones de semejanza son k1 y k2 , entonces la tercera k1 sera k2 .
Proposicion 2.3.1 El segmento que une los puntos medios de cualesquiera

dos lados de un triangulo arbitrario mide la mitad del tercer lado y es paralelo a dicho lado. Porrio Toledo 18
Geometr a
F Figure 2.11: Fig 01-28
Demostracion. Sea ABC un triangulo cualquiera con D y E puntos medios de AC y BC respectivamente. 1 Tenemos que demostrar que DE = 2 AB, y que DE y AB son paralelos. CD 1 CE Como ACB = DCE y CA = 2 = CB , entonces por el criterio L.A.L., ABC DEC. Por lo tanto todos sus lados son proporcionales y as CD 1 DE = = , AB CA 2 ademas los angulos correspondientes son iguales, por lo que tenemos CDE = CAB. De donde DE y AB son paralelos.
Corolario 2.3.2 El triangulo cuyos vertices son los puntos medios de los lados de cualquier triangulo, es siempre semejante a este.
El triangulo formado por los puntos medios de los lados de un triangulo dado se llama el tri angulo medial.
Demostracion. Sean ABC un triangulo cualquiera y D, E, F puntos medios de AC, AB y BC respectivamente. A
F Figure 2.12: Fig 01-29
Porrio Toledo
19
2.4. TEOREMA DE PITAGORAS
Geometr a
Tenemos que demostrar que ABC DEF . Para esto, veamos que la 1 1 proposicion (2.3.1) nos dice que DF = 2 AB, DE = 1 CB y EF = 2 AC. 2 DE EF 1 DF Por lo tanto AB = CB = AC = 2 y por el criterio de LLL conclumos que ABC DEF . Podemos observar que los triangulos formados son congruentes al triangulo medial, esto es AED DEF BF E CDF. De lo anterior podemos concluir que dichos triangulos tienen la misma area, esta es igual a un cuarto del area del triangulo mayor ABC 1 (ABC). 4 Otra forma de ver que el area de los triangulos pequenos es igual a un cuarto del area del mayor, es demostrando que sus alturas son la mitad de la altura correspondiente del triangulo grande; y ocupar las proporciones de semejanza. (AED) = (DEF ) = (BF E) = (CDF ) =
2.4
Teorema de Pitagoras
Lema 2.4.1 La altura trazada desde el vertice correspondiente al angulo recto en un triangulo rectangulo, divide a este en dos triangulos semejantes al original. Demostracion. Sea ABC un triangulo rectangulo en donde BAC = 90 . Sea D el pie de la altura que pasa por A en el lado BC. A
D Figure 2.13: Fig 01-30
Tenemos que ACD = ACB, CBA;
DBA =
y como CDA = 90 = ADB, por el criterio A.A. tenemos que DAC ABC DBA. Porrio Toledo 20
2.4. TEOREMA DE PITAGORAS
Geometr a
Sean D y E puntos en los lados AB y BC respectivamente, tales que DE es paralelo a AC. Si a = BC, b = AC, c = AB, x = BE, y = DE y z = BD, entonces ax = by + cz. Demostracion. Sea F el pie de D en BE. Sean s = BF y t = F E. De esta forma x = s + t. A
Lema 2.4.2 Sea ABC un triangulo rectangulo, con angulo recto en A.
E Figure 2.14: Fig 01-31
Por el criterio A.A. tenemos que ABC F BD, de donde decir as = cz. De manera analoga ABC F DE, lo cual implica que at = by. Por lo tanto ax = a(s + t) = as + at = cz + by.
b t
c s
a z,
es
a = y , luego
Teorema 2.4.1 (Teorema de Pitagoras) En todo triangulo rectangulo, el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos.
Pythagoras de Samos. Nacio alrededor de 569 antes de Cristo y murio alrededor de 475 antes de Cristo. Fue un losofo griego quien hizo importantes descubrimientos en matematicas, astronoma y en la teora de la musica. El resul tado conocido ahora como Teorema de Pit agoras era conocido por los babilonios desde 1000 anos antes, pero se le atribuye la primera demostracion a su escuela.
Demostracion. Si ABC es un triangulo rectangulo, con angulo recto en A. Considerando el caso particular en cual D = A y E = C en el Lema anterior, podemos concluir que BC 2 = AB 2 + AC 2 . Porrio Toledo 21
2.5. PARALELOGRAMOS
Geometr a
Teorema 2.4.2 (Teorema inverso al de Pitagoras) Si para un triangulo ABC se cumple que BC 2 = AB 2 +AC 2 , entonces tal triangulo es rectangulo. En particular el angulo en A es recto. Demostracion. Sea C un punto en la recta perpendicular a AB tal que AC = AC. A
C B Figure 2.15: Fig 01-32 Por el Teorema de Pitagoras (BC )2 = AB 2 + (AC )2 y como AC = AC y BC 2 = AB 2 + AC 2 , entonces (BC )2 = BC 2 , de donde BC = BC. Por el criterio LLL tenemos que ABC ABC , lo cual implica que BAC = BAC = 90 . C
2.5
Paralelogramos
En el plano podemos tener distintas clases de cuadrilateros, segun la posicion de sus vertices y aristas, como por ejemplo los siguientes. Algunos cuadrilateros convexos tienen propiedades muy particulares. En esta seccion estudiaremos el caso del cuadrilatero llamado paralelogramo. Denicion 2.5.1 Un paralelogramo es un cuadrilatero, necesariamente plano, en el que cada lado es paralelo a su opuesto. Los paralelogramos tienen varias propiedades, entre ellas las siguientes.
Proposicion 2.5.1 Para todo paralelogramo se cumplen las siguientes armaciones Porrio Toledo 22
2.5. PARALELOGRAMOS
Geometr a
A A A D D B B
(a) Fig 01-33
C B
(b) Fig 01-34
C D
(c) Fig 01-35
Figure 2.16: Fig 01-33-35 1. Sus lados opuestos son iguales. 2. Sus angulos opuestos son iguales. Ademas de que dos angulos consecutivos son suplementarios. 3. Las diagonales se cortan en su punto medio. Demostracion. Supongamos que tenemos un paralelogramo ABCD en donde AB y BC son paralelos a CD y AD, respectivamente. 1. Tracemos la diagonal AC obteniendo 2 triangulos, a saber ABC y ACD. A D
C Figure 2.17: Fig 01-36
En general una diagonal en un polgono es el segmento que une dos vertices no consecutivos. De esta forma un polgono de n lados tendra n 2 diagonales.
Como BC es paralelo a AD entonces 1 = 2. Por otra parte, ya que AB y DC son paralelos, 3 = 4. Y como ademas AC = AC entonces por el criterio ALA tenemos ABC ACD. Podemos concluir que BC = AD y AB = CD. 2. Tracemos el segmento AC. Como BC es paralelo a AD entonces 1 = 4. De manera semejante, como AB es paralelo a DC se sigue que 2 = 3. Podemos observar entonces que A = 1 + 3 = 4 + 2 = C, Porrio Toledo 23
2.5. PARALELOGRAMOS
Geometr a
y por lo tanto A = C. De manera analoga podemos demostrar que B = D. Observemos ademas que 3 + 4 + B = 180. Por lo tanto C = 2 + 4 = 3 + 4 = 180 B. Por consiguiente los angulos C y B son suplementarios. De manera semejante, podemos probar que A y B, A y D, D y C, son parejas de angulos suplementarios entre s. 3. Sea E el punto de interseccion de las diagonales AC y BD. Como AB A E B C Figure 2.18: Fig 01-37 es paralelo a CD entonces 1 = 4 y 2 = 3. Y por el Teorema (2.5.1) tenemos que AB = CD. Ahora, por el criterio ALA tenemos que ABE CDE. De aqu AE = CE y BE = DE. D
Proposicion 2.5.2 Todo cuadrilatero convexo es un paralelogramo, si se cumple alguna de las siguientes condiciones. 1. Dos de sus lados son iguales y paralelos. 2. Cada par de lados opuestos son iguales. 3. Sus diagonales se cortan en su punto medio. Demostracion. 1. Supongamos que tenemos un cuadrilatero convexo ABCD, en donde AD es paralelo a BC y AD = BC. Tenemos que demostrar que DC es paralelo a AB, para esto tracemos la diagonal DB. Como BC es paralelo a AD entonces 1 = 2. De esta manera, como BC = AD, 1 = 2 y DB = DB, por el criterio L.A.L. obtenemos ADB CBD. De esta manera 3 = 4. Y como los angulos 3 y 4 son alternos internos iguales con respecto al sistema de rectas DC y AB cortadas por la secante DB, concluimos que DC es paralelo a AB. Porrio Toledo 24
2.5. PARALELOGRAMOS
Geometr a
C Figure 2.19: Fig 01-38 A D
2. Supongamos que tenemos un cuadrilatero ABCD en el cual AD = BC y AB = CD. Tenemos que demostrar que AD es paralelo a BC y que DC es paralelo AB. Si trazamos AC generamos el par de triangulos ADC y ABC en donde AD = BC, AB = CD y ademas los triangulos comparten el lado AC. Ahora, por el criterio L.L.L. podemos ver que ADC ABC. Luego 1 = 4 y 2 = 3. Por un lado, como 1 y 4 son angulos alternos internos iguales con respecto al sistema AD y BC, entonces AD y BC son paralelos. Por otro lado, como 2 y 3 son angulos alternos internos iguales con respecto del sistema DC y AB, entonces DC es paralelo a AB. Concluimos as que ABCD es un paralelogramo.
Teorema 2.5.1 (Ley del Paralelogramo) La suma de los cuadrados de las

longitudes de los cuatro lados de un paralelogramo es igual a la suma de los cuadrados de las longitudes de las diagonales. Lo que dice el resultado anterior es que si ABCD es un paralelogramo, entonces AB 2 + BC 2 + CD2 + DA2 = AC 2 + BD2 . (2.4)
Porrio Toledo
25
2.5. PARALELOGRAMOS
Geometr a
C Figure 2.21: Fig 01-40
Ademas, considerando que en un paralelogramo los lados opuestos miden lo mismo, haciendo a = AB = CD, b = BC = DA, c = AC y d = BD, entonces la relacion (2.4) nos asegura que 2a2 + 2b2 = c2 + d2 . (2.5)
En el caso particular de que ABCD sea un rectangulo, entonces las diag onales son iguales y de (2.5) obtenemos el Teorema de Pitagoras. Demostracion. Consideremos un paralelogramo ABCD, con a = AB = CD, b = BC = DA, c = AC y d = BD. Sean E y F los pies de A y D en BC, repectivamente. Sean h = AE = DF y x = BE = CF . Entonces, por el A c a b D
Figure 2.22: Fig 01-41 Teorema de Pitagoras tenemos c2 d2 a2 Por lo tanto c2 + d2 = 2(h2 + x2 ) + 2b2 = 2a2 + 2b2 . = = = h2 + (b x)2 h2 + (b + x)2 h2 + x2 . = = h2 + b2 2bx + x2 , h2 + b2 + 2bx + x2 ,
Teorema 2.5.2 (Teorema de Varignon) Los puntos medios de los lados

de un cuadrilatero no cruzado determinan un paralelogramo. El permetro del paralelogramo es igual a la suma de las longitudes de las diagonales. Y su area es igual a la mitad del area del cuadrilatero. Porrio Toledo 26
2.5. PARALELOGRAMOS
Geometr a
Pierre Varignon. Nacio en el ano 1654 en Caen, Francia. Murio el 23 de diciembre de 1722 en Pars, Francia.
Demostracion. Sea ABCD un cuadrilatero y sean E, F , G y H los puntos medios de los lados AD, AB, BC y CD, respectivamente. De la Proposicion A E D F H
G
(a) Fig 01-42
C A
E F D H B C
G
(b) Fig 01-43
Figure 2.23: Fig 01-42-43 (2.3.1), EH, AC y F G son paralelos y ademas EH = 1 AC = F G. 2
De esta manera, por las propiedades de vistas anteriormente, EF GH es un paralelogramo. Utilizando de nuevo la Proposicion (2.3.1), tenemos que EF = Porrio Toledo 1 BD = GH. 2 27
2.5. PARALELOGRAMOS
Geometr a
Por lo que el permetro del paralelogramo EF GH es EF + F G + GH + EH = = 1 1 1 1 BD + AC + BD + AC 2 2 2 2 AC + BD.
Si el cuadrilatero ABCD es convexo, el area del paralelogramo sera igual al area del cuadrilatero ABDC menos el area de los triangulos AF E, BGF , CHG y DEH, esto es (EF GH) = (ABCD) {(AF E) + (BGF ) + (CHG) + (DEH)} 1 = (ABCD) {(ABD) + (BCA) + (CDB) + (DAC)} 4 1 = (ABCD) {2 (ABCD)} 4 1 = (ABCD) 2 Si el cuadrilatero ABCD es entrante, el area del paralelogramo se calcula de forma analoga (EF GH) = (ABCD) {(AF E) + (BGF ) + (DEH)} + (CHG) 1 1 = (ABCD) {(ABD) + (BCA) + (DAC)} + (CDB) 4 4 1 = (ABCD) {2 (ABCD)} 4 1 = (ABCD) 2
Aun cuando la desmostracion para el caso del cuadrilatero entrante se hizo para el caso particular de la Figura 2.23b, observemos que se puede adaptar a otro tipo de casos, por ejemplo el siguiente. Observemos tambien que los dos primeros resultados del teorema son validos para cuadrilateros cruzados.
Porrio Toledo
28
2.5. PARALELOGRAMOS
Geometr a
F D B G
H C
Porrio Toledo
29
Captulo 3
Angulos en la Circunferencia
3.1 Angulos en la Circunferencia
Una circunferencia es el conjunto de todos los puntos del plano que equidistan de un punto jo llamado centro. El segmento entre el centro y un punto de la circunferencia se llama radio, mientras que el segmento determinado por dos puntos cualesquiera de la circunferencia se denomina cuerda. La cuerda de longitud mayor, igual a dos radios colineales, se llama diametro.
Denicion 3.1.1 Un angulo central es el formado por dos radios en una

circunferencia, Por lo tanto, dados dos puntos A y B en una circunferencia, el angulo central AOB es el que tiene su vertice en el centro O de la circunferencia y sus lados son los radios OA y OB. El arco correspondiente es el que se encuentra entre los lados del angulo central: AB= AOB Por denicion, todo angulo central mide lo mismo que el arco que abraza, sobreentendiendo por supuesto, que nos referimos a la medida angular del arco, mas no a su longitud. Es decir, el angulo central es la medida en grados del arco que abrazan los radios que lo conforman.
Denicion 3.1.2 Un angulo inscrito es el formado por dos cuerdas que tienen un extremo en comun. Por lo tanto dados tres puntos A, B y P en una circunferencia, el angulo inscrito AP B es el angulo que tiene su vertice P en la circunferencia y sus lados P A y P B son secantes.
Teorema 3.1.1 Todo angulo inscrito mide la mitad del arco que abraza.
El Teorema 3.1.1 se conoce como el Teorema Fundamental de los Angulos Inscritos.
Demostracion. Tenemos que demostrar que AP B = mos por casos. 30
1 2
AB. Procedere-
3.1. ANGULOS EN LA CIRCUNFERENCIA
Geometr a
P O A A
(a) Fig 02-01 (b) Fig 02-02
Figure 3.1: Fig 02-01-02 Caso 1. El centro de la circunferencia esta en uno de los lados del angulo. B M P A P A B
(a) Fig 02-03
(b) Fig 02-04
Figure 3.2: Fig 02-03-04 Sea = AP B, tracemos el radio OA y llamemosle M al punto medio del lado AP . De esta forma, por el criterio L.L.L. los triangulos OM P y OM A son congruentes y por lo tanto OAP = AP B = . Y como (el angulo central AOB) es exterior del triangulo AOP y no adyacente a y OAP , entonces = 2. Por lo tanto AP B = = 1 1 = AB . 2 2
Caso 2. El centro de la circunferencia esta entre los lados del angulo inscrito. Sea = AP B. Tracemos el diametro que tiene como uno de sus ex tremos a P y llamemosle C al otro extremo. Sean 1 = AP C y 2 = CP B. Por el caso 1, Porrio Toledo 31
Geometr a
O A
O A
(a) Fig 02-05
(b) Fig 02-06
Figure 3.3: Fig 02-05-06

= 1 + 2 =
1 2
AC + CB =
1 2
AB.
Caso 3. El centro de la circunferencia queda fuera del area que comprende el angulo inscrito. B P P O A C
(a) Fig 02-07 (b) Fig 02-08
Figure 3.4: Fig 02-07-08 Sea = AP B. Tracemos el diametro que tiene como uno de sus ex tremos a P y llamemosle C al otro extremo. Sean 1 = AP C y 2 = BP C. Por el caso 1, = 1 2 =
1 2
AC BC =
1 2
AB.
Como consecuencia inmediata tenemos los siguientes resultados. Corolario 3.1.2 Todo angulo inscrito en una semicircunferencia, subten dido por el diametro, es recto. Porrio Toledo 32
Geometr a
P2 P1 P3 A O B
Figure 3.5: Fig 02-09 Q B A
Figure 3.6: Fig 02-10 Corolario 3.1.3 Dos angulos inscritos en una misma circunferencia y que abracen una misma cuerda, son iguales si sus vertices estan del mismo lado de la cuerda; y son suplementarios si sus vertices estan en lados opuestos respecto de la cuerda. Demostracion. Sean A, B, P , P y Q como en la gura, es decir P y P estan del mismo lado de la cuerda AB y los puntos P y Q estan en lados distintos. 1 Por el teorema (3.1.1) sabemos que AP B = 2 AQB= AP B, as vemos que, si los vertices del angulo estan del mismo lado de la cuerda, ellos son iguales. Por otro lado tenemos que AQB = AP B + AQB =
1 2 1 2
AP B, luego
1 AQB + 2 AP B= 1 360 = 180 . 2
Concluimos que si los vertices estan en lados opuestos respecto de la cuerda, entonces los angulos son suplementarios.
Porrio Toledo
33
Geometr a
B P
A Figure 3.7: Fig 02-11 Denicion 3.1.3 Un angulo semi-inscrito esta formado por una cuerda y una tangente que se intersectan en el punto de tangencia. De esta manera, un angulo semi-inscrito es aquel que tiene su vertice en la circunferencia, uno de sus lados es tangente y el otro secante. Proposicion 3.1.1 La medida del angulo semi-inscrito es igual a la mitad del arco comprendido entre sus lados. Demostracion. La demostracion se hara por casos de manera semejante a como se procedio en el Teorema (3.1.1). B
B P
C P
O B
A
(a) Fig 02-12
A
(b) Fig 02-13
A
(c) Fig 02-14
Figure 3.8: Fig 02-12-14 Caso 1. Supongamos que el centro O de una circunferencia esta sobre uno de los lados del angulo BAC, a saber sobre la secante AC.
Una recta tangente en un punto a una circunferencia es per pendicular al diametro que tiene como uno de sus extremos al punto de tangencia
Porrio Toledo
34
Geometr a
1 Entonces AC es el diametro de la circunferencia y as BAC = 90 = 2 AC. Caso 2. Supongamos que el centro O de una circunferencia esta entre los lados del angulo. Tracemos el diametro que tiene como un extremo al vertice A del angulo semi-inscrito BAC. Sea D el otro extremo y sean = BAC, = BAD y = DAC.
Por el caso 1, = arco DC, entonces
1 2 AD. = 1 DC. 2
Y como es un angulo inscrito que abraza al As

1 2
=+ =
AD + 1 DC= 2
1 2
ADC .
Caso 3. Supongamos que el centro O de una circunferencia no esta entre los lados del angulo semi-inscrito BAC. Tracemos el diametro AD, sean = BAC, = BAD y = CAD. Por el caso 1, = 90 = a CD entonces =
1 2 1 2
AD. Y como es un angulo inscrito que abraza
CD. Por lo tanto

1 2 1 AD 2 CD= 1 2
= =
AC.
Lema 3.1.1 Si dos rectas paralelas intersectan a una circunferencia, entonces los arcos determinados entre ellas son iguales.
Demostracion. Tenemos tres casos, que las rectas paralelas sean las dos secantes, una secante y una tangente o las dos tangentes. A=D D A C B
(a) Fig 02-15
D A B=C
(b) Fig 02-16
B=C
(c) Fig 02-17
Figure 3.9: Fig 02-15-17 Para cada caso, consideremos los angulos y como en la gura. Tenemos que, por ser y alternos internos el sistema de rectas paralelas, son iguales y as 1 1 AB= = = CD . 2 2 Porrio Toledo 35

Geometr a
lo cual implica que AB=CD .
Denicion 3.1.4 Un angulo exterior es el formado por dos rectas secantes, o por una secante y una tangente, o por dos tangentes que se intersectan en un punto exterior a una circunferencia y que cortan a la circunferencia en 4, 3 o 2 puntos respectivamente.
A=D D P A B C
(a) Fig 02-18 (b) Fig 02-19
A=D P
P B C Figure 3.10: Fig 02-18-20
B=C
(c) Fig 02-20
Proposicion 3.1.2 Todo angulo exterior a una circunferencia mide la semidiferencia de los arcos comprendidos entre sus lados. Demostracion. Para cada uno de los casos tracemos el punto C en la circunferencia tal que AC sea paralelo a P C. Sean los angulos y como en la gura. A = D P E C
(a) Fig 02-21 (b) Fig 02-22
D P A B B
A = D E P B=C
(c) Fig 02-23
C Figure 3.11: Fig 02-21-23
Como AC y P C son paralelos, entonces AP B = = = y por el Lema anterior AP B =

1 1 DC = (DC C C) 2 2 1 (DC AB). 2
Porrio Toledo
36
Geometr a
C P A D Figure 3.12: Fig 02-24 E B
C P A D Figure 3.13: Fig 02-25
Denicion 3.1.5 Un angulo interior en una circunferencia es el formado por dos rectas secantes a una circunferencia que se cortan en un punto interior.
Proposicion 3.1.3 Un angulo interior en una circunferencia mide la semisuma de las medidas de los arcos comprendidos por sus lados y por sus prolongaciones. Demostracion. Sean AB y CD dos cuerdas que se cortan en el punto P , interior de una circunferencia. El angulo interior AP C es un angulo exterior del triangulo P BC, por lo que AP C = P CB + P BC. Pero al ser estos ultimos angulos inscritos, miden la mitad de los arcos que abrazan, lo cual implica que AP C = P CB + P BC 1 = BD + AC . 2 37
Porrio Toledo
3.2. TRIGONOMETR IA
Geometr a
3.2
Trigonometra
Dado un angulo (0, 90 ), por el criterio AA todos los triangulos rectangulos que tengan a como uno de sus angulos interiores seran semejantes y por lo tanto la razon entre sus lados correspondientes sera la misma A1 C1 B1 C1 A1 B1 = = . A2 B2 A2 C2 B2 C2
B1
B2
A1
(a) Fig 02-26
C1
A2
(b) Fig 02-27
C2
Figure 3.14: Fig 02-26-27
Por lo tanto, para el triangulo ABC con angulo recto en C estan bien denidas las funciones trigonometricas de la siguiente manera, si a = BC, b = AC y c = AB, entonces B c
A b Figure 3.15: Fig 02-28 Porrio Toledo 38 C
3.2. TRIGONOMETR IA
Geometr a
sen = cos = tan =
CB a = , AC c b AB = , AC c a CB = . AC b
A partir de la denicion tenemos las siguientes identidades trigonometricas sen = cos = tan = cos(90 ), sen(90 ), sen . cos (3.1) (3.2) (3.3)
Ademas considerando que ABC es rectangulo, con angulo recto en C y con hipotenusa c; despejando a = c sen y b = c cos y utilizando el Teorema de Pitagoras a2 + b2 = c2 obtenemos la identidad Pitagorica cos2 + sen2 = 1.
Ejemplo 3.2.0.1 Es posible calcular los valores exactos de las funciones

trigonometricas para 45 , 30 y 60 . Para esto consideraremos triangulos rectangulos que posean cada uno de estos angulos. El angulo 45 se encuen tra en el triangulo que se obtiene al dividir a un cuadrado con una diagonal (Figura 3.16a).
1
2
30 3
45
(a) Angulo de 45
60
1
(b) Angulos de 30 y 60
Figure 3.16: Angulos de 45 , 30 y 60 1 2 = , 2 2 2 1 = , 2 2 1 = 1. 1 39
cos 45
= = =
sen 45 tan 45 Porrio Toledo
3.2. TRIGONOMETR IA
Geometr a
Por otro lado, considerando un triangulo equilatero de lado 2, observemos que este tiene angulos interiores de 60 . Podemos trazar su mediatriz para obtener un triangulo rectangulo con angulos de 30 y de 60 (Figura 3.16b). 1 cos 60 = , 2 3 , sen 60 = 2 3 tan 60 = = 3, 1
3 cos 30 = , 2
sen 30 =
1 , 2
3 1 tan 30 = = . 3 3
3.2.1 Identidades de Suma y Resta de Angulos

Habra ocasiones en que necesitemos encontrar el valor de las funciones trigonometricas para la suma y resta de angulos. Para encontrar las relaciones que se cumplen, consideremos la Figura 3.17, en donde AF = 1. F E
A B Figure 3.17: Fig 02-29 Considerando el triangulo (ADF ) y tomando en cuenta que AF = 1, tenemos que sen = F B y cos = AD. Ahora, para el triangulo AEF se cumple que FE FE sen = = , FD sen cos = ED ED = . FD sen C
Por lo tanto F E = sen sen y ED = cos sen . Por otro lado para el triangulo Porrio Toledo 40
3.2. TRIGONOMETR IA
Geometr a
ACD se cumple que
sen = cos =
DC DC = , AD cos AC AC = . AD cos
Por lo tanto DC = sen cos y AC = cos cos . Finalmente calculamos los valores de las funciones trigonometricas en el triangulo ABF obteniendo las identidades de suma de angulos para las funciones seno y coseno sen( + ) cos( + ) = F B = ED + DC = cos sen + sen cos , = AB = AC BC = AC F E = cos cos sen sen .
Para encontrar las correspondientes identidades para la resta de angulo, consideremos ahora la Figura 3.18, en donde AD = 1. F E
A B Figure 3.18: Fig 02-30 En forma semejante a como procedimos anteriormente, considerando el triangulo (ADF ) y tomando en cuenta que AD = 1, tenemos que sen = F D y cos = AF . Ahora, para el triangulo DEF se cumple que sen = cos = FE FE = , FD sen ED ED = . FD sen C
Por lo tanto F E = sen sen y ED = cos sen beta. Por otro lado para el triangulo ABF se cumple que sen = Porrio Toledo FB FB = , AF cos 41
3.2. TRIGONOMETR IA
Geometr a
AB AB = . AF cos Por lo tanto F B = sen cos y AB = cos cos . Finalmente calculamos los valores de las funciones trigonometricas en el triangulo ACD obteniendo las identidades de resta de angulos para las funciones seno y coseno cos = sen( ) cos( ) = DC = EC + ED = F B ED
= sen cos cos sen = AC = AB + BC = AB + F E = cos cos + sen sen
A partir de las formulas de suma y resta de angulos para el seno y el coseno se desprenden las identidades de suma y resta de angulos para la funcion tangente. tan + tan , 1 tan tan tan tan . tan( ) = 1 + tan tan tan( + ) =
3.2.2 Relaciones entre angulos suplementarios

Denamos cos 90 = 0 y sen 90 = 1. Para un angulo obtuso (90 , 180 ), tenemos que 0 < 180 < 90 . Sea = 90 , empleando la formula para el coseno de la suma de angulos tenemos cos = = = cos(90 + ) cos 90 cos sen 90 sen sen
y como + (180 ) = 90 , entonces por la relacion (3.1) tenemos que cos = cos(180 ). De manera semejante, empleando la formula para el seno de una suma y la relacion (3.2), se puede ver que sen = sen(90 + ) = cos = sen(180 ). Por lo que se cumplen las siguientes relaciones para angulos suplementarios cos = sen = Porrio Toledo cos(180 ) sen(180 ). (3.4) (3.5) 42
3.2. TRIGONOMETR IA
Geometr a
Por lo tanto tan = sen sen(180 ) = = tan(180 ). cos cos(180 ) (3.6)
Considerando un angulo inscrito que abraza a un segmento AB de longitud menor que el diametro de un crculo de radio r, podemos calcular las funciones trigonometricas en terminos de dichos segmento y radio dados. Sea C un punto cualquiera el la circunferencia de radio r, distinto de A y B, de tal manera que ACB < 90 . Sea C el punto diametralmente opuesto a A. Entonces C = C y ademas B = 90 , por lo que ABC es rectangulo. Por lo tanto AB , sen C = 2r 4r2 (AB)2 cos C = , 2r AB . tan C = 2 (AB)2 4r A A C
C C
B C Figure 3.19: Fig 02-31-32
B
(b) Fig 02-32
(a) Fig 02-31
Cuando el punto C y el centro de la circunfencia se encuentran en lados distintos respecto al segmento AB, de tal forma que ACB > 90 , entonces no podremos tomar el diametro como uno de los lados de angulo inscrito igual a C. Consideraremos en este caso C suplementario a C, luego por las relaciones 3.4, 3.5 y 3.6 obtenemos obteniendo las relaciones AB , sen C = 2r 4r2 (AB)2 cos C = , 2r AB . tan C = 2 (AB)2 4r Porrio Toledo 43
3.2. TRIGONOMETR IA
Geometr a
3.2.3 Ley de los Senos

Sea ABC un triangulo no necesariamente rectangulo, con vertices en una circunferencia de radio r, tenemos sen C = De manera semejante sen B = emos la conocida Ley de los Senos. AB . 2r
BC AC y sen A = . Entonces obten2r 2r
Teorema 3.2.1 Para un triangulo ABC de lados a = BC, b = AC y c = AB, con vertices en una circunferencia de radio r, a b c = = = 2r. sen A sen B sen C
3.2.4 Ley de los Cosenos

Consideremos un triangulo ABC no necesariamente rectangulo, de lados a = BC, b = AC y c = AB. Supongamos inicialmente que el angulo B es agudo, 0 < B < 90 . Sean D el pie de A en BC, x = BD y la altura h = AD. Por el Teorema de A
ax
Figure 3.20: Fig 02-33 Pitagoras c2 = x2 + h2 y b2 = h2 + (a x)2 , por lo tanto b2 = h2 + a2 2ax + x2 = (c2 x2 ) + a2 2ax + x2 = a2 + c2 2ax.
Y como x = c cos B entonces b2 = a2 + c2 2ac cos B. Supongamos ahora que el angulo B es obtuso, 90 < B < 180 . De Porrio Toledo 44
3.2. TRIGONOMETR IA
Geometr a
A b c x
Figure 3.21: Fig 02-34 nuevo, si D el pie de A en BC, x = BD y la altura h = AD, entonces por el Teorema de Pitagoras c2 = h2 + x2 y b2 = h2 + (a + x)2 , de donde b2 = = = h2 + a2 + 2ax + x2 (c2 x2 ) + a2 + 2ax + x2 c2 + a2 + 2ax x c
Por otro lado, por la identidad 3.4 cos B = cos(180 B) = Por lo tanto x = c cos B, de donde concluimos que b2 = c2 + a2 2ac cos B. Al igual que procedimos con el angulo B, lo podemos hacer con A y C para obtener el siguiente resultado. Teorema 3.2.2 (Ley de los Cosenos( Para un triangulo ABC de lados a = BC, b = AC y c = AB, se cumple a2 b2 c2 = = = b2 + c2 2bc cos A, a2 + c2 2ac cos B, a2 + b2 2ab cos C.
Observemos que en caso de tener un triangulo rectangulo con un angulo, por ejemplo A = 90 , obtenemos el Teorema de Pitagoras a2 = b 2 + c2 .
Teorema 3.2.3 (Teorema de Stewart.)

Matthew Stewart. Nacio el 15 enero de 1717 en Rothesay, Isle of Bute, Escocia. Murio el 23 enero de 1785 en Catrine, Ayrshire, Escocia.
Sea P un punto en el lado BC del triangulo ABC. Si x = BP y y = P C, entonces a(AP 2 + xy) = xb2 + yc2 . Porrio Toledo 45
Captulo 4
Segmentos Dirigidos
4.1 Segmentos y Angulos Dirigidos
Hasta este momento habamos trabajado con segmentos sin considerar la di reccion que determinaban los extremos, por lo que no haba diferencia entre AB y BA, es decir solo nos interesaba la magnitud del segmento, o la distancia que haba entre los puntos A y B en la recta que pasa por ellos. En algunos casos sera necesario considerar segmentos dirigidos, esto es, dados dos puntos A y B le podemos asignar un sentido al segmento determinado, por ejemplo de A a B, decimos entonces que el segmento AB es un segmento dirigido, que va del extremo A al extremo B. El mismo seg mento recorrido del extremo B al extremo A sera el segmento dirigido BA y la relacion entre estos dos esta determinada por la ecuacion AB = BA, o en otras palabras AB + BA = 0. Dados tres puntos A, B y C en una recta, estos estan relacionados medi ante la Relacion de Chasles
Michael Chasles. Nacio el 15 de noviembre de 1793 en Eper non, Francia. Murio el 18 de diciembre de 1880 en Pars, Fran cia.
AB + BC = AC, valida para cualquier posicion de los puntos en la recta. nos dice que podemos ir de un punto a otro pasando por un Esta relacion tercer punto, no importando si este esta dentro o fuera, del segmento determi nado por los dos primeros. Una relacion entre cuatro puntos situados en una recta esta dada por el siguiente teorema. 46
4.1. SEGMENTOS Y ANGULOS DIRIGIDOS
Geometr a
B C A
Teorema 4.1.1 (Teorema de Euler.)

Leonhard Euler. Nacio el 15 de abril de 1707 en Basilea, Suiza. Murio el 18 de septiembre de 1783 en San Petersburgo, Rusia.
Sean A, B, C y D cuatro puntos cualesquiera en una recta. Entonces AB CD + AC DB + AD BC = 0. Demostracion. B
D C A Figure 4.2: Fig 03-02 Utilizando la Relacion de Chasles, tenemos AB CD + = = =
AC DB + AD BC AB CA + AD + AC DA + AB + AD BA + AC 0.
AB CA + AC + AC DA + AD + AD AB + BA
Cuando los segmentos no se encuentran en una misma recta, no se puede hablar de segmentos dirigidos. Sin embargo podemos encontrar algun tipo de relacion en dichos casos. El siguiente resultado es una generalizacion del Teorema 3.2.3 utilizando segmentos dirigidos.
Teorema 4.1.2 (Teorema de Stewart.) Si A, B y C son tres puntos colineales y D es cualquier cuarto punto, entonces DA BC + DB CA + DC AB + AB BC CA = 0. Porrio Toledo 47
2 2 2
Geometr a
D C A Figure 4.3: Fig 03-02
Demostracion. Supongamos primero que D esta en la recta que pasa por los puntos A, B y C. Entonces, utilizando la Relacion de Chasles, tenemos que DA BC
2
+ =
DB CA + DC AB + AB BC CA DA BA + AC + DA + AB + DA + AC
2 2 2 2 2
CA
AB + AB BA + AC CA
+2DA AB CA + AC + AB CA AB + BA = 0. +AC AB AC + CA
DA BA + AB + DA AC + CA
Supongamos ahora que D no esta en la recta que pasa por los puntos A, B y C. Sea E el pie de D en esta recta. D
B E C A Figure 4.4: Fig 03-03 Por el Teorema de Pitagoras DA DB DC Porrio Toledo

2 2 2
= EA + DE , = EB + DE , = EC + DE . 48
2 2 2 2
Geometr a
Utilizando las relaciones anteriores tenemos que DA BC

2
+ =
DB CA + DC AB + AB BC CA EA + DE
2 2 2
BC + EB + DE
2 2
CA
+ EC + DE =
2
AB + AB BC CA
2
EA BC + EB CA + EC AB +AB BC CA + DE BC + CA + AB .
La primer relacion se anula porque E esta en la lnea determinada por A, B y C por lo que se reduce al primer caso; y la segunda se hace cero por la Relacion de Chasles.
De igual manera que a los segmentos en una lnea recta, se les puede asociar la idea de direccion a los angulos. Por lo general podemos obtener un angulo AOB rotando una lnea OA hasta llegar a la posicion OB, man teniendo jo el extremo situado en O, el mismo angulo puede ser obtenido rotando OB hasta llegar a OA.
O A Figure 4.5: Fig 03-04
Cuando la rotacion se hace en el sentido contrario a las manecillas del reloj, el signo del angulo es positivo; mientras que cuando la rotacion es en el sentido de las manecillas del reloj, el angulo es negativo. AOB = BOA Porrio Toledo 49
4.2. LA RAZON EN QUE UN PUNTO DIVIDE A UN SEGMENTO
Geometr a
4.2
La Razon en que un Punto Divide a un Segmento
Denicion 4.2.1 Sean A, B y P tres puntos colineales con A = B y P = B. La razon en la que el punto P divide al segmento dirigido AB es
AP . PB Es comun denotar a esta relacion como AP : P B. Nosotros lo haremos de la primera forma. Observemos ademas que como estamos trabajando con segmentos dirigidos, tenemos AP PA = . PB PB
Proposicion 4.2.1 Si dos puntos P y Q dividen a un segmento AB en

razones iguales AP AQ = , PB QB entonces los puntos P y Q coinciden. Demostracion. A P Q Figure 4.6: Fig 03-06 Tenemos por hipotesis que AP QB = AQ P B, entonces AP (QA + AB) = AQ (P A + AB), lo anterior implica que AB (AP AQ) = 0, es decir AB QP = 0 y como A = B, entonces QP = 0. Esto ultimo implica que Q = P . B
Ejemplo 4.2.1.1 Consideremos el segmento AB dividido en tres partes iguales como en la gura Tenemos que las razones en que P1 y P2 dividen al segmento AB son
AP1 1 = , 2 P1 B Porrio Toledo AP2 = 2. P2 B 50
Geometr a
P1
P2
Mientras que las razones en que A y B dividen al segmento P1 P2 son P1 A 1 = , 2 AP2 P1 B = 2. BP2
Cabe hacer notar que cuando el punto se encuentra dentro del segmento la razon es positiva, mientras que es negativa en caso contrario. El ejemplo anterior ilustra como, de forma muy simple, dado un punto P en la recta determinada por el segmento AB podemos encontrar la razon en que dicho punto P divide al segmento. Estamos interesados ahora en el proceso contrario, es decir dados un segmento dirigido AB con A = B y una razon k = a , localizar el punto P que divide a AB en la razon k. b Procediendo por casos, supongamos inicialmente que k = a > 0. Para b encontrar el punto P , trazamos dos rectas paralelas AC y BD de tal forma que C y D se encuentren en lados opuestos respecto a la recta AB y que AC = a y BD = b. C
D Figure 4.8: Fig 03-07 El punto de interseccion P de AB con CD sera el punto que estamos buscando. En efecto, como AC y BD son paralelas, por el criterio AA los trianguAP AC los AP C y BP D son semejantes, de donde BP = BD , y consideando la orientacion en los segmentos dirigidos, tenemos a AP = = k. b PB Consideremos ahora que k = a < 0. Suponiendo que a = b, podemos b localizar el punto Q tal que divide a AB en la razon a , procediendo de forma b semejante, pero tomando ahora C y D del mismo lado respecto a AB. Porrio Toledo 51
Geometr a
D C Q A Figure 4.9: Fig 03-08 De nuevo, como AC y BD son paralelas, por el criterio AA los triangulos AQ AC AQC y BQD son semejantes de donde BQ = BD y considerando segmentos dirigidos AQ a = = k. b QB Observemos que la razon es positiva si y solo si el punto P se encuentra entre A y B AP < + 0< PB A P B B
Figure 4.10: Fig 03-09 AP La razon QB = 0 si y solo si P = A. Mientras que cuando P esta fuera de AB y del lado derecho de B la razon toma valores menores que 1. < A AP < 1 PB B P
Figure 4.11: Fig 03-10 Y cuando P esta a la izquierda de A la razon toma valores entre 1 y 0. 1 < AP <0 PB
AP De esta forma vemos que P B puede tomar todos los valores reales excepto 1. AP Suponiendo que existiera un punto P tal que P B = 1, entonces AP = P B de donde AB = AP + P B = 0
Porrio Toledo
52
Geometr a
Figure 4.12: Fig 03-11 lo cual implicara que AB = 0. Esto contradice el hecho de que A = B, por lo que no puede existir un punto en el plano Euclidiano P tal que divida al segmento AB en la razon 1.
4.2.1 Punto al Innito

Consideremos una recta AB y un punto O AB. Observemos que cada recta / que pasa por O determina un punto P que pertenece a AB, el punto de inter seccion. Y visceversa cada punto P en AB determina una recta distinta que pasa por O, la recta P O. O
Figure 4.13: Fig 03-12 Para que la correspondencia anterior, entre rectas y puntos, sea biunvoca deberemos asociarle a la recta paralela a AB que pasa por O un punto ideal P llamado punto al innito de la recta AB, que no se encuentra en el plano euclidiano. Todas las paralelas a AB tendran asociado el mismo punto al innito P . De esta manera, si al plano euclidiano se le agrega P , entonces a todas las rectas que pasan por O se les asocia de manera biunvoca los puntos de interseccion de estas con la recta que pasa por A y B incluyendo a la paralela a AB. Ahora estamos en condiciones de hablar de un punto que divide a un seg mento en la razon 1, pues procediendo como antes, si consideramos las rectas AC y BD paralelas, tales que C y D esten del mismo lado respectiva mente a AB y AC = BD entonces el punto de interseccion de CD con AB sera el punto al innito. De esta forma denimos AP = 1, P B en donde P es el punto al innito de la recta AB.
Porrio Toledo
53
Geometr a
Porrio Toledo
54
Captulo 5
Puntos y Lneas en los Triangulos

5.1 Lneas en los Triangulos
Para un triangulo cualquiera, tenemos las siguientes deniciones. Denicion 5.1.1 Una mediana en un triangulo es un segmento trazado del punto medio de un lado al vertice opuesto. A
M Figure 5.1: Mediana
Una altura en un triangulo es un segmento perpendicular a un lado o a su prolongacion que va al vertice opuesto. La bisectriz de un angulo es la recta que lo divide en dos angulos iguales. En particular una bisectriz en un triangulo es una lnea que sale de un vertice y divide al angulo interior en dos partes iguales. La mediatriz de un segmento es la recta que pasa por el punto medio y es perpendicular a dicho segmento. En particular una mediatriz en un triangulo es una lnea que pasa por el punto medio de un lado y es perpendicular a el. Teorema 5.1.1 Si un triangulo tiene dos de sus lados iguales, entonces tiene dos angulos iguales, los angulos opuestos a dichos lados. 55
5.1. L INEAS EN LOS TRIANGULOS
Geometr a
P
(a) Fig 04-02
C
(b) Fig 04-03
Figure 5.2: Alturas A
B
(a) Bisectriz de un angulo
P
(b) Bisectriz en un triangulo
Figure 5.3: Bisectrices A P
M B
(a) Mediatriz de un segmento
M
(b) Mediatriz en un triangulo
Figure 5.4: Mediatrices
Decimos que un triangulo es isosceles si tiene dos de sus lados iguales.
Demostracion. Sea ABC un triangulo que tiene dos lados iguales, AB = AC. A
M Figure 5.5: Fig04-08
Porrio Toledo
56
Geometr a
Sea M el punto medio del lado BC, tracemos la mediana M A. Armamos que ABM ACM . En efecto, tenemos que por hipotesis AB = AC y BM = M C por ser M punto medio de BC, ademas AM es el lado comun para ambos triangulos. Por el criterio de L.L.L., ABM ACM y por lo tanto tienen angulos iguales; en particular B = C.
Decimos que un triangulo es equil atero si todos sus lados son iguales.
Corolario 5.1.2 Si un triangulo tiene todos sus lados iguales entonces tiene sus angulos interiores iguales. Ademas podemos observar que, de la demostracion del teorema obten emos mas informacion, tomando en cuenta que ABM ACM , el segmento AM es mediana, el segmento AM es mediatriz pues M es el punto medio de BC y ademas como AM B + AM C = 180 y AM B = AM C entonces AM B = AM C = 90 , el segmento AM es la altura, puesto que vimos que AM B = 90 y ademas AM toca al vertice A, el segmento AM es la bisectriz ya que divide al angulo A en dos angulos iguales, pues podemos ver que A = BAM +M AC y BAM = M AC. Podemos concluir el siguiente resultado. Corolario 5.1.3 En un triangulo isosceles una misma lnea hace todos las funciones de mediana, altura, mediatriz y bisectriz, correspondientes al angulo formado por los lados iguales. Proposicion 5.1.1 Si un triangulo tiene dos de sus angulos iguales, en tonces tiene dos de sus lados iguales, los lados opuestos a dichos angulos. Demostracion. Consideremos el triangulo ABC, en donde ABC = ACB. Demostraremos que AB = AC. Tracemos la altura desde el vertice A y llamemos P a su pie en el segmento BC.
Si dos triangulos semejantes tienen razon de proporcionalidad igual a uno, ellos son congruentes.
Porrio Toledo
57
Geometr a
P Figure 5.6: Fig04-09
De esta manera AP B = 90 = AP C. Despues, por el criterio AA podemos garantizar que los triangulos AP B y AP C son semejantes. Y como tales triangulos comparten el lado correspondiente AP , la razon de semejanza es uno, en otras palabras, los triangulos son congruentes. Se sigue que AB = AC.
Una consecuencia inmediata de este resultado es que un triangulo con todos sus angulos interiores iguales es equilatero. Teorema 5.1.4 (Teorema de la Bisectriz) La bisectriz de cualquier angulo interior de un triangulo determina, en el lado opuesto, dos segmentos propor cionales a los respectivos lados que forman el angulo considerado. Demostracion. Sea ABC un triangulo cualquiera, si la bisectriz del angulo BAC, corta a BC en P , entonces debemos probar que BP = AB . PC AC Llamemosle Q a la interseccion de la prolongacion de BA con una paralela a AP que pase por C. Q
Figure 5.7: Teorema Bisectriz Como P A y CQ paralelas, entonces BAP = AQC, P AC = ACQ. Porrio Toledo 58
Geometr a
Y como ademas BAP = P AC, por ser AD bisectriz del angulo BAC, entonces ACQ = AQC. As, por la Proposicion (5.1.1), AC = AQ y el triangulo ACQ es isosceles. Por otro lado, utilizando el teorema de Thales, como P A es paralela a CQ, entonces
BP PC
BA AQ .
Sustituyendo AQ por AC demostramos lo que queramos.
Teorema 5.1.5 (Teorema Inverso de la Bisectriz) Sea P un punto perte neciente al lado BC de un triangulo ABC. Si los segmentos BP y P C son proporcionales a los lados AB y AC entonces AP biseca al angulo BAC. Demostracion. Sea Q el punto sobre la prolongacion del lado BA tal que AQ = AC, como en la gura. Q
Figure 5.8: Teorema Inverso Bisectriz Por hipotesis

PC BP
AC BA ,
y sustituyendo AC tenemos
PC BP
AQ BA .
Por el Teorema inverso de Thales AP y QC son paralelos. De esta forma tenemos que P AC = ACQ y como AC = AQ entonces, por el Teorema (5.1.1) ACQ = AQC. Por lo tanto BAP = BQC = AQC = ACQ = P AC que es lo que queramos demostrar.
El siguiente es un resultado similar al Teorema de la Bisectriz para angulos exteriores de un triangulo. Porrio Toledo 59
Geometr a
Teorema 5.1.6 Si la bisectriz de un angulo exterior de un triangulo inter secta al lado opuesto al angulo, determinara dos segmentos proporcionales a los respectivos lados que forman el angulo considerado. Demostracion.Consideremos un triangulo ABC como en la gura, en donde AP es bisectriz del angulo exterior QAC. Q A D B C Figure 5.9: Teorema Bisectriz Exterior
PC Demostraremos que BP = AP . Por el Teorema de Thales AC BA .
Sea D en AB, tal que DC es paralelo a
PC AD = . BP BA Por otro lado, ya que DC y AD son paralelos, ADC = QAP y P AC = ACD. Como por hipotesis QAP = P AC, entonces ADC = ACD. Lo cual implica que ADC es isosceles, con AD = AC. Sustituyendo en la primer relacion, tenemos que AC PC = . BD BA
Cabe hacer notar que el Teorema anterior requiere como hipotesis que la bisectriz exterior se intersecte con la base del triangulo, es decir que no sea paralela a esta ultima, lo cual sucede cuendo el triangulo es isosceles. As el Teorema (5.1.6) de la Bisectriz Exterior no tiene sentido, pues al ser esta ultima es paralela a AC, no existira el punto P . Mientras que en el caso de que ABC sea isosceles, el Teorema de la Bisectriz es muy facil de comprobar, puesto que BA PB =1= PC AC El resultado similar al Teorema inverso de la Bisectriz es el siguiente.
Teorema 5.1.7 Sea P un punto colineal con B y C fuera del lado BC de un triangulo ABC. Si los segmentos BP y P C son proporcionales a los lados AB y AC entonces AP biseca al angulo exterior en el vertice A.
Porrio Toledo 60
Geometr a
Q A D
Figure 5.10: Teorema Inverso Bisectriz Exterior Demostracion. Consideremos un triangulo ABC como en la gura, en PC donde P es un punto fuera del segmento BC tal que BP = AC . BA Debemos probar que AP es la bisectriz del angulo exterior QAC. Sea D un punto en AB tal que AP y CD son paralelos. Por el Teorema de Thales tenemos que P C = AD . Utilizando la hipotesis, BP AB AC PC AD = = , AB BP AB de donde se sigue inmediatamente que AC = AD. As ADC es isosceles, por lo cual ADC = ACD. Y como AP y CD son paralelos, entonces QAP = ADC = ACD = CAP, concluyendose el resultado.
Teorema 5.1.8 Si en un triangulo una misma lnea hace a la vez dos de las funciones de mediatriz, altura, bisectriz, mediana, relativas a un mismo lado, entonces el triangulo es isosceles, siendo su base dicho lado, y ademas la lnea hace las otras dos funciones. Demostracion. Tenemos seis casos posibles. Consideremos un triangulo ABC y P un punto en BC. Caso 1. Supongamos que la lnea AP tiene las funciones de mediatriz y bisectriz. Por ser AP mediatriz, P es el punto medio de BC y AP es perpendicular a BC; ademas por ser AP bisectriz, BAP = P AC. Porrio Toledo 61
Geometr a
P Figure 5.11: Fig 04-14
Como los triangulos ABP y ACP comparten un lado correspondiente AP , por el criterio ALA, ellos son congruentes. Lo anterior implica que AB = AC, es decir ABC es isosceles y por el resultado (5.1.3) AP hace las otras dos funciones. Caso 2. Supongamos que la lnea AP es mediatriz y altura del triangulo ABC. Como AP es altura de ABC, en efecto tal segmento toca a A y es per pendicular a BC; mientras que por ser mediatriz, P es ademas el punto medio de BC. Como los triangulos ABP y ACP comparten el lado correspondiente AP , por el criterio LAL, ellos son congruentes. Lo anterior implica que AB = AC, es decir ABC es isosceles y por el resultado (5.1.3) AP hace las otras dos funciones. Caso 3. Supongamos que la lnea AP es mediatriz y mediana del triangulo ABC. Como AP es mediana de ABC, en efecto tal segmento toca a A y P es el punto medio de BC; mientras que por ser mediatriz, ademas AP es perpendicular a BC. Como los triangulos ABP y ACP comparten el lado correspondiente AP , por el criterio LAL, ellos son congruentes. Lo anterior implica que AB = AC, es decir ABC es isosceles y por el resultado (5.1.3) AP hace las otras dos funciones. Caso 4. Supongamos que la lnea AP es altura y mediana del triangulo ABC. Como AP es altura de ABC, entocnes tal segmento toca a A y es per pendicular a BC; mientras que por ser mediana, P es ademas el punto medio de BC. Como los triangulos ABP y ACP comparten el lado correspondiente AP , por el criterio LAL, ellos son congruentes. Lo anterior implica que AB = AC, es decir ABC es isosceles y por el resultado (5.1.3) AP hace las otras dos funciones. Caso 5. Supongamos que AP es bisectriz y altura del triangulo ABC. Porrio Toledo 62
Geometr a
Como AP es bisectriz de BAC, entonces BAD = CAD; ademas al ser AD altura, es perpendicular a BC de donde ADB = 90 = ADC. Como los triangulos ABP y ACP comparten un lado correspondiente AP , por el criterio ALA, ellos son congruentes. Lo anterior implica que AB = AC, es decir ABC es isosceles y por el resultado (5.1.3) AP hace las otras dos funciones. Caso 6. Supongamos que AP es bisectriz y mediana del triangulo ABC. Como AP es mediana, entonces BP = P C. Utilizando el Teorema de la Bisectriz (5.1.4), BP AB = = 1, AC PC de donde AB = AC, es decir ABC es isosceles y por el resultado (5.1.3) AP hace las otras dos funciones.
Teorema 5.1.9 (Teorema de Apolonio.) Sea ABC un triangulo de lados a = BC, b = AC y c = AB con medianas ma , mb y mc respectivamente, entonces 1 2b2 + 2c2 a2 . m2 = a 4
Apollonius of Perga. Nacio cerca del ano 262 AC en Perga, Pamphylia, Greek Ionia (ahora Murtina, Antalya, Turqua). Murio alrededro del ano 190 AC en Alexandria, Egipto.
Demostracion. Utilizar el Teorema de Stewart (3.2.3).
Corolario 5.1.10
1. Un triangulo es isosceles si y solo si tiene dos medianas iguales. Es decir, mb = mc si y solo si b = c. 2. m2 + m2 + m2 = a c b
3 4
a2 + b 2 + c2 .
Teorema 5.1.11 Sea ABC un triangulo de lados a = BC, b = AC y c = AB. Si wa es la bisectriz del angulo BAC entonces
2 wa = bc 1
a2 (b + c)2
Demostracion. Si P es un punto en BC tal que wa = AP es la bisectriz del angulo BAC. Entonces se puede probar que BP PC = = ac , b+c ab . b+c
Utilizar el Teorema de Stewart (3.2.3). Porrio Toledo 63
5.2. PUNTOS EN LOS TRIANGULOS
Geometr a
Ejercicio 5.1.1 Sea P es un punto en BC tal que wa = AP es la bisectriz del angulo BAC. Si I es el incentro de ABC, demostrar que
b+c AI = . IP a
5.2
Puntos en los Triangulos
Teorema 5.2.1 Las tres medianas de cualquier triangulo se intersectan en un mismo punto. Demostracion. Demostraremos primero que dos medianas se cortan en un tercio de la longitud total de cada una. Tomemos un triangulo cualquiera ABC y llamemos D y E a los puntos medios de AB y AC, respectivamente. Sea F la interseccion de las medianas BE y CD. A
D F G B M
E H C
Figure 5.12: Interseccion de medianas Ahora, consideremos G y H puntos medios de BF y CF respectivamente. Por la Proposicion (2.3.1), DE = 1 BC. Ademas DE es paralelo a BC, ya 2 que D y E son puntos medios de AB y AC respectivamente para el triangulo ABC. De manera semejante tenemos que GH = 1 BC y GH es paralelo a BC, 2 pues G y H son puntos medios de BF , CF respectivamente para el triangulo F BC. Por lo tanto GH = DE y GH es paralelo a DE. Y por el Teorema (2.5.2) Se sigue que DEGH es un paralelogramo. As las diagonales DH y GE se cortan mutuamente en partes iguales, es decir GF = F E y DF = F H. Pero como G y H son los puntos medios de BF y CF respectivamente, entonces BG = GF = F E y CH = F H = DF . Finalmente, considerando M como punto medio de BC, la mediana AM debera cortar en un tercio a cada una de las otras medianas, teniendo que pasar necesariamente por F . De esta forma podemos concluir que las tres medianas de cualquier triangulo se intersectan en un mismo punto. Porrio Toledo 64
Geometr a
Existe una forma muy conveniente de caracterizar a la bisectriz, y que nos ayudara a demostrar que las bisectrices se intersectan en un solo punto.
La distancia de un punto a una recta es la magnitud del segmento determinado por el punto y el pie del punto en la recta.
Lema 5.2.1 El lugar geometrico de todos los puntos del plano que equidis tan de cada lado (o de sus prolongaciones) de un angulo jo es la bisectriz del angulo. Demostracion. Consideremos el angulo ABC, tal que 0 < ABC < 180. Sea g el lugar geometrico de todos los puntos del plano que equidistan de los lados AB y BC, g = {P : P X = P Y, X AB, Y BC, P X AB, P Y BC} , y sea b la bisectriz del angulo ABC. Queremos demostrar que g = b. Lo haremos demostrando que g b y que b g. Para demostrar la primer contencion, consideremos P g y ademas X y Y sus pies en los lados AB y BC del angulo ABC, respectivamente. Entonces PX = PY . A X P b
Y Figure 5.13: Fig 04-16
Como los triangulos XBP y Y BP son rectangulos, P X = P Y y com parten la hipotenusa BP , por el Teorema de Pitagoras XB = Y B. Luego por el criterio LLL, XBP Y BP. Por lo cual XBP = Y BP , y como ABP = XBP y CBP = Y BP , entonces P b. Para demostrar la segunda contencion, consideremos ahora P b. Sean X y Y los pies de P en los lados AB y BC del angulo ABC, respectivamente. Como P b entonces XBP = ABP = CBP = Y BP . Y como ademas XP y Y P son respectivamente perpendiculares a AB y BC, entonces Porrio Toledo 65
Geometr a
BXP = 90 = BY P . Luego, por el criterio AA, los triangulos XBP y Y BP son semejantes; y como comparten el lado correspondiente BP , concluimos que XBP Y BP. De esta manera XP = Y P . As P g. Teorema 5.2.2 Las bisectrices de los tres angulos interiores de cualquier triangulo se intersectan en un mismo punto.
Cuando un conjunto de rectas se intersectan en un solo punto decimos que son concurrentes.
Demostracion. Sea ABC un triangulo cualquiera. Sea P el punto de interseccion de las bisectrices de los angulos ABC y BCA. Sean X, Y y Z los pies de P sobre los lados AB, BC y AC respectivamente. A X P Z
Figure 5.15: Interseccion de bisectrices Como P pertenece a la bisectriz de ABC entonces XP = Y P . De igual manera, como P pertenece a la bisectriz de BCA entonces Y P = ZP . Por lo tanto XP = Y P = ZP ; luego P esta en la bisectriz de BAC. As las tres bisectrices se intersectan en P .
Porrio Toledo
66
Geometr a
Notemos que en la demostracion del Teorema anterior P X = P Y = P Z y ademas estos segmentos son perpendiculares a los lados del triangulo, por lo que por los puntos X, Y y Z pasa una unica circunferencia con centro en P y radio r, con r := P X = P Y = P Z. A continuacion veremos que una relacion equivamente a la que encon tramos para las bisectrices se cumple para las mediatrices, mas precisamente demostraremos el siguiente resultado. Lema 5.2.2 El lugar geometrico de todos los puntos del plano que equidistan de dos puntos jos distintos pertenecientes al mismo plano, es la mediatriz del segmento determinado por estos puntos. Demostracion. Sean A y B dos puntos distintos en el plano, sea g el lugar geometrico de todos los puntos del plano que equidistan de A y B, g = {P : P A = P B} y sea m la mediatriz del segmento AB. Tenemos que demostrar que g = m. Para esto procederemos por casos demostrando que ambos conjuntos se contienen mutuamente, es decir, que g m y que m g. Primeramente vamos a ver que g m. Para esto consideremos P g, entonces por la denicion de g, AP = P B. P
m Figure 5.16: Fig 04-19
Si P AB tenemos que P es punto medio de AB esto es P m. Ahora, si P AB entonces se forma un triangulo AP B que es isosceles pues / AP = P B y como m es mediatriz de AP B entonces m es mediana y pasa por P . As P m. Como en ambos casos, ya sea que P este o no sobre el segmento AB, tenemos que P m. Se sigue que g m. Para demostrar que m g, consideremos P m. Si P AB entonces P es punto medio de AB y de esta forma P A = P B. De aqu que P g. Y si por el contrario P AB, entonces m es mediatriz y mediana del / AP B relativa al lado AB. Por lo tanto el triangulo AP B es isosceles con base AB. De esta manera AP = P B, es decir P g. Por lo tanto m g.
Porrio Toledo
67
Geometr a
A Figure 5.17: Fig 04-20
Teorema 5.2.3 Las tres mediatrices de cualquier triangulo se intersectan en un mismo punto. Demostracion. Sea ABC un triangulo cualquiera. Sea P el punto de interseccion de las mediatrices de los lados AB y AC. Falta ver que la tercer mediatriz pasa tambien por P . A
P B C Figure 5.18: Interseccion de mediatrices Como P pertenece a la mediatriz de AB entonces P A = P B. Y como pertenece a la mediatriz de AC, entonces P A = P C. Por lo tanto P B = P C. As el Lema (5.2.2) implica que por el punto P pasa la mediatriz del segmento BC.
Notemos que en la demostracion del teorema anterior tenemos que P B = P A = P C, as por A, B y C pasa una unica circunferencia con centro en P y radio P A = P B = P C. Es decir, por tres puntos que no esten situados en una misma recta pasa una unica circunferencia, a dichos puntos se les llama concclicos.
En general diremos que un conjunto arbitrario de puntos es concclico, si todos los puntos se encuentran en una misma circunferencia.
Teorema 5.2.4 Las tres alturas de un triangulo cualquiera se intersectan en un mismo punto. Porrio Toledo 68
Geometr a
Demostracion. Sea ABC un triangulo cualquiera. Tracemos en cada vertice una recta paralela al lado opuesto del tal vertice, de tal forma queda determinado un nuevo triangulo DEF como en la gura. F A E hB hC
hA
D Figure 5.19: Interseccion de alturas Por la construccion de DEF , tenemos que ABCE y F BCA son paralelogramos, de donde F A = BC = AE. Por lo tanto A es punto medio de F E. De manera semejante B es punto medio de F D y C punto medio de DE. La altura hA de ABC que pasa por A, es perpendicular a F E, pues F E es paralelo a BC. Y como A es punto medio de F E, entonces hA es mediatriz de F E. De manera analoga podemos demostrar que las alturas hB y hC de ABC que pasan por B y C, son mediatrices de F D y DE, respectivamente. Y como el Teorema (5.2.3) nos garantiza que las mediatrices de DEF se intersectan en un solo punto, entonces concluimos que las alturas hA , hB y hC de ABC son cuncurrentes.
Habiendo demostrado los resultados anteriores, tiene sentido ahora establecer las siguientes deniciones. Denicion 5.2.1 Al punto de interseccion de las tres medianas de un triangulo le llamaremos centroide. Este punto tambien es llamado gravicentro, baricentro y centro de gravedad. El punto en donde concurren las tres alturas de un triangulo le llamaremos ortocentro. Al punto en donde concurren las tres bisectrices de un triangulo le llamaremos incentro, que es el centro del crculo tangente interiormente a cada uno de los lados del triangulo. El punto en donde se intersectan las mediatrices de un triangulo le llamaremos circuncentro, que es el centro de la circunferencia que pasa por los tres vertices del triangulo. Porrio Toledo 69
Geometr a
A P N
A H
G M
B
(b) Ortocentro
(a) Baricentro
Figure 5.20: Fig 04-23-24 A A P O I B M C N
B
(a) Incentro
C
(b) Circuncentro
Figure 5.21: Fig 04-25-26 Proposicion 5.2.1 Si un mismo punto hace a la vez la funcion de circun centro e incentro para un triangulo, este es equilatero. Demostracion. Consideremos un triangulo ABC en donde P es circuncentro e incentro a la vez. A
D P
Figure 5.22: Fig 04-27 Sea D el punto medio de AB, como P es circuncentro de ABC, entonces Porrio Toledo 70
5.3. INC IRCULO Y EXC IRCULO
Geometr a
BDP = 90 = P DA. Utilizando el criterio L.A.L. tenemos que los triangulos ADP y BDP son congruentes. Se sigue que P AD = P BD. Por otro lado, ya que P es el incentro de ABC, AP y BP son bisectrices de CAB y CBA, respectivamente. Por consiguiente P AC = BAP , ABP = P BC. Luego P AC = BAP = ABP = P BC. Por lo tanto los angulos CAB y CBA son iguales. De manera semejante se puede demostrar que ACB = CAB. As el triangulo ABC tiene sus tres angulos interiores iguales. Y por lo tanto tiene tambien sus tres lados iguales.
Observemos que en un triangulo equilatero el incentro es tambien circun centro, baricentro y ortocentro. Y recprocamente, si para un triangulo un punto es incentro, circuncentro, baricentro y ortocentro, el Teorema (5.2.1) nos garan tiza que tal triangulo es equilatero.
5.3 Incrculo y Excrculo

Proposicion 5.3.1 En un triangulo cualquiera las bisectrices de dos angulos exteriores y la del tercero interior, son concurrentes. Demostracion. Sea Ia el punto de interseccion de las bisectrices exteri ores de los angulos C y B. Sean Za , Xa y Ya los pies de Ia en los lados AB, BC y AC, del triangulo respectivamente. Como Ia pertenece a la bisectriz de Za BXa entonces Za Ia = Ia Xa . De manera semejante, ya que Ia pertenece a la bisectriz de Xa CYa entonces Ia Xa = Ia Ya , por lo que Za Ia = Ia Ya . Lo que implica que Ia pertenece a la bisectriz de BAC.
Al punto de interseccion de dos bisectrices exteriores y una interior se llama excentro, que es el centro de una circunferencia tangente a los tres lados del triangulo, tal circunferencia se llama excrculo y toca exteriormente a dos la dos del triangulo y al tercero en un punto entre los dos vertices correspondientes. Porrio Toledo 71
Geometr a
Xa
C Y a
Za
Ia Figure 5.23: Excentro
Ib A Ic I B C
Ia
En un triangulo podemos encontrar tres excentros y en consecuencia tres excrculos. Observemos que las bisectrices interiores son perpendiculares a las exteri ores, correspondientes a un mismo vertice en un triangulo, por lo que tenemos los siguientes resultados. Porrio Toledo 72
Geometr a
Corolario 5.3.1 Si Ia , Ib y Ic son los excentros de ABC,entonces ABC es el triangulo ortico de Ia Ib Ic .

Corolario 5.3.2 El incentro de un triangulo es el ortocentro del triangulo formado por los excentros del triangulo original.
5.3.1 Formula de Heron

Estamos interesados en encontrar el area del incrculo y los excrculos de un triangulo, as como el area de este ultimo en terminos de las longitudes de sus lados. Para esto consideremos un triangulo ABC en donde I es el incentro y r es el radio del incrculo. Para calcular el area de ABC podemos hacerlo sumando las areas de los triangulos AIB, BIC y CIA. (ABC) = (AIB) + (BIC) + (CIA) 1 1 1 = cr + ar + br 2 2 2 = rs,
1 en donde s = 2 (a + b + c) es el semipermetro de ABC. Bastara expresar a r en terminos de los lados a, b y c. Si X, Y y Z son los puntos de tangencia del incrculo con los lados BC, CA y AB respectivamente del triangulo ABC. Considerando a = BC, b = AC, c = AB, x = AZ = AY , y = BZ = BX y z = CX = CY , tenemos que a = y + z, b = z + x y c = x + y, por lo tanto
x+y+z = x = y z = =
s b, s c.
s, s a,
Observemos que con la notacion de la Figura 5.25 BXb + BZb = (BC + CXb ) + (BA + AZb ) = BC + CYb + BA + AYb = a+b+c = 2s, y como BZb = BXb , entonces los segmentos que unen B con los puntos de tangencia del incrculo de centro en Ib y radio rb miden s. Algo semejante ocurre con A y C. De donde AYa = AZa = BZb = BXb = CXc = CYc = s. Observando que tanto IX como Ib Xb son perpendiculares a BC, tenemos BX r = . Y como BX = y = s b, que IXB Ib Xb B. Por lo tanto, rb BXb Porrio Toledo 73
Geometr a
Figure 5.25: Incrculo y Excrculos
entonces r sb = . rb s (5.1)
Por otro lado, al ser la bisectriz interior CI es perpendicular a la bisectriz exterior CIb , entonces XCI + 90 + Xb CIb = 180 , lo cual implica que CX r = . XIC = Xb CIb . De donde IXC CXb Ib , por lo que CXb rb Como ademas CX = z = s c y CXb = BXb a = s a, entonces r sc . = sa rb (5.2)
De esta manera obtenemos un sistema de dos ecuaciones (5.1) y (5.2) con Porrio Toledo 74
Geometr a
dos incognitas r y rb , que tiene como solucion rb r = = s(s a)(s c) , sb
(s a)(s b)(s c) . s
Por lo que hemos podido expresar el inradio y uno de los exradios en terminos de los lados del triangulo. De manera semejante se pueden calcular ra y rc , obteniendo ra rc = = s(s b)(s c) , sa s(s a)(s b) . sc
Ademas, utilizando la relacion (5.1) y las correspondientes a los otros exradios, obtenemos 1 1 1 1 + + = . ra rb rc r Y ya que habamos visto que (ABC) = rs, sustituyendo aqu el valor obtenido de r, demostramos el siguiente resultado. Teorema 5.3.3 (Formula de Heron) El el area de un triangulo ABC en terminos de la longitud de sus lados a = BC, b = AC y c = AB esta dada por (ABC) = s(s a)(s b)(s c),
en donde s = 1 (a + b + c) es el semipermetro de ABC. 2

Heron de Alexandria. Nacio posiblemente en el ano 10 en Alexandria, Egipto. Murio alrededor del ano 75.
Corolario 5.3.4 Las areas del incrculo y cada uno de los excrculos de un triangulo ABC, en terminos de la longitud de sus lados a = BC, b = AC y c = AB son (C(I, r)) = (s a)(s b)(s c) , s s(s b)(s c) , sa s(s a)(s c) , sb s(s a)(s b) , sc
(C(Ia , ra )) = (C(Ib , rb )) = (C(Ic , rc )) =
en donde s = 1 (a + b + c) es el semipermetro de ABC. 2 Porrio Toledo 75
Geometr a
Proposicion 5.3.2 El punto medio del lado de un triangulo coincide con el punto medio del segmento determinado por los puntos de tangencia del incrculo y el excrculo que tocan interiormente a dicho lado del triangulo. Tambien sera el punto medio del segmento determinado por los puntos de tangencia de los excrculos que tocan exteriormente a las extensiones del lado mencionado. Demostracion. Sean L, M y N los puntos medios de los lados BC, CA y AB respectivamente del triangulo ABC. Figura 5.26. Zb
Yc A Ic Zc Xc B Z N I Y M L Xa Yb C
Ib
Xb a Y
Za
Ia
Figure 5.26: Fig 04-32 Tenemos que CX = CY , AZ = AY y BZ = BX. Sumando estas tres relaciones tenemos CX + AZ + BZ = CY + AY + BX. Porrio Toledo 76
Geometr a
Por lo que CX + AB = AC + BX. Por otro lado s s De donde CXa + Xa X + (s BX XXa ) = 2CXa = CXa = (s CXa ) + BX 2BX BX. = = AZa = AB + BZa = AB + BXa = AB + BX + XXa , AYa = AC + CYa = AC + CXa .
Y como L es el punto medio de BC entonces BL = LC y as BX + XL = XL = BL = LC = LXa + Xa C LXa .
De donde L es el punto medio de XXa . De manera analoga se puede demostrar que CYb AZ = = AY, BZc ,
de donde M y N son los puntos medios de Y Yb y ZZc respectivamente. Ademas observemos que BXc = BZc = AZ = AY = CYb = CXb , por lo que Xc L = BXc + BL = CXb + LC = LXb , de donde vemos que L es el punto medio de Xb Xc . De manera analoga podemos demostrar que M y N son los puntos medios de Ya Yc y Za Zb respectivamente.
Porrio Toledo
77
Captulo 6
Cuadrilateros Cclicos
6.1 Cuadrilateros Cclicos
Empecemos por notar que el Corolario (3.1.3) lo podemos escribir de la siguiente manera: considerando A, B, P y Q puntos de una circunferencia, tenemos 1. Si Q AP B entonces AP B = AQB, 2. Si Q AP B entonces AP B + AQB = 180 . / Esto nos da una idea mas clara del recproco de tal resultado, tambien llamado condicion suciente de conciclicidad de cuatro puntos.
Si varios puntos est situados en una misma recta, decimos an que tales puntos son colineales, en caso contrario les llamaremos no colineales

Teorema 6.1.1 Sean A, B, P , Q cuatros puntos en el plano, cada tres de

ellos no colineales. Si los puntos P y Q estan en un mismo semiplano de terminado por la recta AB y desde ellos se ve el segmento AB bajo angulos iguales.
De forma indistinta diremos que es el angulo bajo el cual se ve el segmento AB desde al punto P , o que abraza al segmento AB, o que el segmento AB subtiende al angulo .
O bien, si los puntos P y Q estan en distintos semiplanos determinados por la recta AB y desde ellos se ve el segmento AB bajo angulos suplementarios. Entonces los puntos A, B, P y Q son concclicos. Demostracion. Caso 1. 78
6.1. CUADRILATEROS C ICLICOS
Geometr a
Q P B A A
(a) Angulos iguales
P B
Q
(b) Angulos Suplementarios
Figure 6.1: Puntos Concclicos Q P Q
B A Figure 6.2: Fig 05-03
Sean A, B, P y Q puntos en el plano. Supongamos que P y Q estan del mismo lado con respecto de la recta que pasa por A y B. Sea Q la interseccion de AQ con el circuncrculo de ABP . Supongamos que Q = Q . As las rectas BQ y BQ son distintas. Por hipotesis AP B = AQB y por el Corolario (3.1.3) AQ B = AP B. De esta forma tenemos un sistema de dos rectas BQ y BQ cortadas por la secante AQ con un par de angulos correspondientes AQB y AQ B iguales. As BQ y BQ son paralelas. Lo cual es una contradiccion pues BQ y BQ son distintas y se cortan en el punto B. Por lo tanto Q esta en el circuncrculo de ABP . Caso 2. Sean A, B, P y Q cuatros puntos en el plano. Supongamos que P y Q estan en lados opuestos con respecto de la recta que pasa por A y B. Sea Q la interseccion de AQ con el circuncrculo de ABP . Supongamos que Q = Q . As las rectas BQ y BQ son distintas. Por hipotesis AQB = 180 AP B y por el corolario (3.1.3) AQ B = 180 AP B. As tenemos el sistema de rectas BQ y BQ cortadas por la secante AQ, con un par de angulos correspondientes AQB y AQ B iguales. Por lo tanto BQ y BQ son paralelas, lo cual es una contradiccion, pues BQ y BQ son distintas y se cortan en el punto B. Podemos concluir que Q esta en el circuncrculo de ABP . Porrio Toledo 79
Geometr a
Q Q B A P Figure 6.3: Fig 05-04
Anteriormente vimos que dados tres puntos no colineales, existe una unica circunferencia que pasa por ellos, el circuncrculo. Pero en el caso de tener cuatro puntos no colineales no ocurre lo mismo, pues por ellos pasara una unica circunferencia o ninguna.
Denicion 6.1.1 Se dice que un polgono es cclico o inscriptible, si sus vertices son concclicos.
Para el caso de cuadrilateros convexos tenemos propiedades que los rela cionan con las circunferencias. Podramos preguntarnos, por ejemplo, cuando los vertices de un cuadrilatero pertenecen a una misma circunferencia?, o en otras palabras cuando un cuadrilatero es cclico?. El siguiente corolario re sponde esta pregunta para el caso de aquellos que son convexos. Corolario 6.1.2 Un cuadrilatero convexo es inscriptible si y solo si sus angulos opuestos son suplementarios. Denicion 6.1.2 Un cuadrilatero ortodiagonal es un cuadrilatero convexo con diagonales perpendiculares. Teorema 6.1.3 (Teorema de Brahmagupta) En un cuadrilatero cclico y ortodiagonal, la recta que pasa por el punto de interseccion de las diagonales y es perpendicular a un lado biseca al lado opuesto.
Brahmagupta. Nacio en 598, (posiblemente) en Ujjain, India. Murio en 670.
Demostracion. Consideremos el cuadrilatero cclico y ortodiagonal ABCD. Sea P el punto de interseccion de las diagonales. Sean F y E en AB y DC respectivamente, tales que P esta en F E y F E es perpendicular a DC. Como ABCD es cclico, entonces ABD = ACD y BAC = BDC. Porrio Toledo 80
Geometr a
A P F
D E
C B Figure 6.4: Teorema de Brahmagupta Como EP es perpendicular a DC entonces DP E DCP,
CP E
CDP.
Por lo que DP E = ACD y CP E = BDC. De donde F P B AP F = = DP E = ACD = ABD, CP E = BDC = BAC;
lo cual signica que AF P y BF P son isosceles, en donde AF = F P = F B. As F es el punto medio de AB.
En un triangulo isosceles las bisectrices correspondientes a los angulos iguales tienen la misma magnitud. Veremos a continuacion un resultado que nos muestra lo contrario. Teorema 6.1.4 (Teorema de Lehmus-Steiner) Si un triangulo tiene dos angulos interiores diferentes, entonces las bisectrices correspondientes son diferentes y al angulo menor le corresponde la bisectriz mayor. En consecuencia si en un triangulo dos de las bisectrices son iguales, en tonces sus angulos correspondientes son iguales, en particular el triangulo es isosceles.
Daniel Christian Lodolf Lehmus (1780-1863). Soest y murio en Berln, Alemania. Nacio en
Jakob Steiner (1796-1863). Nacio en Utzenstorf y murio en Bern, Suiza.
Demostracion. Consideremos un triangulo ABC en donde BX y CY son las bisectrices de los angulos B y C, respectivamente. Porrio Toledo 81
Geometr a
C Y Z X B
Figure 6.5: Teorema de Lehmus-Steiner Si B < C y Z es un punto en BX tal que Y BZ = entonces Y BCZ es cclico y por lo tanto 1 1 CZY = Y BC < BCZ = BY Z . 2 2 Tomando en cuenta que los angulos considerados son menores que 180 , ten emos la misma relacion con las cuerdas correspondientes, Y C < BZ. Y como BZ < BX, entonces Y C < BX.
1 2 B
= Y CZ,
Ejercicio 6.1.1 Sean D y E puntos en los lados AC y BC respectivamente

de un triangulo ABC, tales que AE y BD son las bisectrices de los angulos BAC y ABC respectivamente. Sean F y G los puntos de interseccion de una lnea pararalela a AB que pasan por C y las prolongaciones de los segmentos AE y BD respectivamente. Si DG = EF , demostrar que ABC es isosceles, con AC = BC. G A
F Figure 6.6: Fig 05-07 Solucion. Como F G y AB son paralelas, entonces ABD CGD. De donde AB BD = DG CG Porrio Toledo 82
Geometr a
Ademas CBG = GBA = CGB, lo cual implica que BCG es isosceles con CG = BC. Por lo tanto tenemos BD BC = DG AB. Similarmente, utilizando que ABE F CE y que ACF es isosceles con AC = CF , obtenemos que AE AC = EF AB. Como por hipotesis DG = EF , entonces BD BC = AE AC. El teorema de Lehmus-Steiner nos dice que cuando tenemos dos angulos distintos, al angulo menor le correspode la bisectriz mayor. Considerando el circuncrculo de ABC, si BC < AC, tendramos que BD < AE, de donde BD BC < AE AC. De igual forma, si BC > AC, entonces BD > AE y as BD BC > AE AC. Concluimos que BC = AC. Teorema 6.1.5 (Teorema de Napoleon) Si en un triangulo cualquiera se construyen exteriormente triangulos equilateros en los lados del triangulo orig inal, entonces los cincuncentros de los triangulos equilateros forman a su vez un triangulo equilatero. Demostracion. Sea ABC un triangulo cualquiera y sean D, E y F tales que ACE, ABF y BCD son triangulos equilateros construidos exteriormente en los lados de ABC. E A F O3 Q B O1 R P C O2
D Figure 6.7: Teorema de Napoleon Porrio Toledo 83
6.2. LA CIRCUNFERENCIA DE LOS NUEVE PUNTOS
Geometr a
Supongamos que los circuncrculos de ACE y ABF se intersectan en un punto P diferente de A, entonces los cuadrilateros AP CE y AP BF son cclicos y como AEC = AF B = 60 , entonces CP A + AP B = 240 , por lo que BP C = 120 . De esta manera BP C + BDC = 180 es decir, P pertenece al circuncrculo de BDC. Observemos ahora que O2 O3 y O1 O3 son mediatrices de los segmentos AP y BP . Si R y Q son los puntos medios de estos ultimos segmentos, en tonces O3 RP = 90 = O3 QP de donde O3 QP R es cclico. Y como AP B = 120 entonces O1 O3 O2 = 60 . De manera semejante podemos demostrar que O3 O1 O2 = O1 O2 O3 = 60 . Conclumos que O1 O2 O3 es equilatero. Es posible demostrar este resultado si, en lugar de construir los triangulos equilateros sobre los lados del triangulo original hacia el exterior, se construyen hacia el interior.
6.2
La Circunferencia de los Nueve Puntos
6.2.1 La Recta de Euler

Lema 6.2.1 Dado un triangulo ABC cualquiera, si H es su ortocentro, O su circuncentro y A el punto medio del lado BC, entonces AH = 2A O. Demostracion. Sean D y E los pies de los vertices A y B en los lados BC y AC, respectivamente. Sabemos que H es el punto de interseccion de AD y BE. Sea B el punto medio de AC. El segmento A B es paralelo a AB y mide la mitad. Ademas las mediatrices A O y B O son paralelas a las alturas AD y BE, respectivamente. Por el criterio A.A., se sigue que los triangulos ABH y A B O son semejantes, de donde AH AB = = 2. A O AB Concluimos que AH = 2A O. Porrio Toledo 84
Geometr a
A E H O B D A C B
Teorema 6.2.1 El ortocentro, centroide y circuncentro de un triangulo son colineales. La distancia del ortocentro al centroide mide el doble que la distancia del centroide al circuncentro.
La recta que pasa por el ortocentro, centroide y circuncentro se llama la recta de Euler de un triangulo.
Demostracion. Sea ABC un triangulo cualquiera. Sean A y B los puntos medios de los lados BC y AC, respectivamente. Sea G el centroide, interseccion de las medianas AA y BB . Sea H el ortocentro, interseccion de las alturas AD y BE. Y sea O el circuncentro, interseccion de las mediatrices que pasan por A y B . A E H G B D O A C B
Figure 6.9: Recta de Euler Para probar que H, G y O son colineales, demostraremos que HGA = OGA . Como AH es altura y A O mediatriz, entonces ambas rectas son perpendiculares a BC y por lo tanto paralelas. De donde HAG = OA G. Ademas las medianas BB y AA se cortan en un tercio de su longitud. As AG = 2GA ; y por el lema anterior AH = 2A O. Por consiguiente AG AH =2= . GA AO Porrio Toledo 85
Geometr a
Utilizando el criterior L.A.L. tenemos que AHG AOG. Se sigue que HGA = OGA , que es suciente para garantizar la colinealidad de H, G y O. GO Ademas HG = 2, concluyendose que HG = 2GO.
Corolario 6.2.2 El circuncentro del triangulo medial de un triangulo ABC se encuentra en el punto medio del segmento OH de la recta de Euler de ABC. Demostracion. Como A , B y C son los punto medios de los lados BC, AC y AB respectivamente, entonces AC A B es un paralelogramo. Por lo que sus diagonales AA y B C se cortan en su punto medio, llamemosle M . Sea N un punto en OH tal que M N es la mediatriz de B C A E C H M N G B D O A C B
Figure 6.10: Circuncentro de Triangulo Medial Como AH, M N y OA son perpendiculares a B C entonces todos estos segmentos son paralelos. Por el Teorema de Thales se sigue que N es el punto medio de OH, ya que M tambien lo es de AA . Si procedemos de manera semejante con cada mediatriz de A B C , podemos ver que ellas se intersectan en N . En otras palabras, N es el circuncentro de A B C .
Observemos que el radio del circuncrculo del triangulo medial A B C es la mitad del radio del circuncrculo del triangulo ABC, puesto que los 1 triangulos son semejantes con razon de semejanza igual a 2 . Porrio Toledo 86
Geometr a
6.2.2 La Circunferencia de los Nueve Puntos

Teorema 6.2.3 Los pies de las tres alturas de un triangulo, los puntos medios de los tres lados y los puntos medios de los segmentos que van de los vertices al ortocentro estan en una circunferencia. Demostracion. Sea ABC un triangulo en donde A , B y C son los puntos medios de los lados BC, AC y AB, respectivamente; sean D, E y F los pies de las alturas que pasan por los vertices A, B y C, respectivamente; llamemosle H al ortocentro de ABC; y sean K, L y M los puntos medios de los segmentos AH, BH y CH, respectivamente. A K F C H E
B M
L B D A
Figure 6.11: Circunferencia de los Nueve Puntos Como C y B son puntos medios de los lados AB y AC del triangulo ABC, entonces B C es paralelo al lado BC y mide la mitad. Lo mismo podemos decir de los puntos L y M con respecto al triangulo HBC. Por lo tanto C LM B es un paralelogramo. Por otro lado, el ser L, C , M y B puntos medios de los lados BH, BA, CH y CA respectivamente, entonces C L y B M son paralelos a AH. Y como ademas AH es perpendicular a BC, entonces B C LM es un rectangulo. De manera semejante se puede demostrar que KC A M y B KLA son rectan gulos. Cada uno de estos rectangulos son cclicos, pero ademas KA , LB y M C son diagonales compartidas por cada dos de los rectangulos B C LM , B KLA y KC A M . Dichas diagonales son diametros de una misma circunferencia. Ademas, ya que los angulos KDA , LEB y M F C son rectos, en tonces D, E y F pertenecen a la circunferencia con diametros KA , LB y M C . Concluimos que los puntos D, A , M , B , E, K, C , F y L pertenecen a una misma circunferencia, que es el circuncrculo del triangulo medial. Ademas, por el Corolario 6.2.2, observemos que el centro de esta circunferencia se encuentra en el punto medio del segmento determinado por el Porrio Toledo 87
6.3. RECTAS ANTIPARALELAS
Geometr a
ortocentro y el circuncentro; y su radio es la mitad del radio del circuncrculo del triangulo original. Esta circunferencia se llama la Circunferencia de los Nueve Puntos de un triangulo. El centro de esta circunferencia se encuentra en la recta de Euler, a la mitad entre el ortocentro y el circuncentro. Fue Poncelet el que le dio el nombre a esta circunferencia.
Jean Victor Poncelet. Nacio el 1o de Julio de 1788 en Metz, Lorraine, Francia. Murio el 22 de diciembre de 1867 en Pars, Francia.
6.3
Rectas Antiparalelas
Denicion 6.3.1 Dadas dos rectas a y b no paralelas y l la bisectriz del angulo formado por a y b. Decimos que las rectas c y d son antiparalelas con respecto a las rectas a y b si y solo si = , en donde y son los angulos formados por la bisectriz l y las rectas c y d como en la gura.
a
Figure 6.12: Rectas Antiparalelas Si se hace girar la recta d usando como eje la bisectriz l del angulo formado por a y b, obtenemos una recta d paralela a la recta c, puesto que = , de ah el nombre de antiparalelas.
Teorema 6.3.1 Si las rectas c y d son antiparalelas con respecto a las rectas a y b, y si A, B, C y D son los puntos de interseccion entonces el cuadrilatero ABCD es cclico.
Demostracion. Tenemos dos casos Caso 1. Sean A, B, C, D, P , R y Q como en la gura. Denotemos los angulos a utilizar de la siguiente manera: = AP R = CP R, = ARQ = BQR, = BAC y nalmente = BDC. Para demostrar este caso, veremos que + = 180. Porrio Toledo 88
Geometr a
B A P C D R Q
Figure 6.13: Fig 05-14 Como P QD + = 180 y + + P QD = 180, puesto que son los angulos interiores del triangulo P QD, entonces
Los triangulos P AR y P DQ son semejantes.
= 180 P QD = . Consideremos ahora el triangulo P AR. Como P RA + = 180 y + P RA + P AR = 180 por ser los angulos interiores de tal triangulo, tenemos P AR = 180 P RA = . Y como = 180 P AR = 180 + , entonces + = (180 + ) + ( ) = 180. As y son suplementarios. Ademas + + ACD + ABD = 360, por lo que ACD + ABD = 180 . De esta forma obtenemos un cuadrilatero con vexo con angulos opuestos suplementarios; y por el Corolario 6.1.2, ABCD es inscriptible. Caso 2. Sean A, B, C, D, P , R y Q como en la gura, y = AP R = CP R, = AQR = BRQ, = ADC y = ABC. Para este caso tracemos la recta que pasa por el segmento AC para que los puntos D y B queden en el mismo semiplano determinado por la recta AC. Demostraremos que = .
Los triangulos P BR y P DQ son semejantes.
Los angulos interiores del triangulo P QD suman 180, por lo tanto = + . Y por otro lado, considerando el trianguloP RB, podemos ver que = + . Lo anterior implica que = = . As vemos el segmento AC, desde los puntos B y D, bajo angulos iguales. Y por la condicion suciente de conci clicidad de cuatro puntos, corolario (6.1.1), tenemos que el cuadrilatero ABCD es inscriptible. Porrio Toledo 89
Geometr a
B A R Q C
Observemos que en este resultado no hay restriccion respecto a la inter seccion de las rectas c y d, es decir, estas podran ser paraleleas. Figura 6.15. a
b d
Figure 6.15: Fig 05-18 El siguiente resultado nos muestra que el inverso tambien se cumple. Teorema 6.3.2 Si un par de lados opuestos de un cuadrilatero cclico se intersecta entonces el otro par de lados opuestos es antiparalelo con respecto al primero. Demostracion. Sea ABCD un cuadrilatero cclico. Supongamos que AD y BC se cortan en P . Sean R y Q los puntos de interseccion de la bisectriz de AP B con los lados AB y DC respectivamente. Tenemos que DAB + BCD = 180 y como ademas D, A y P son colineales DAB + BAP = 180. Porrio Toledo 90
Geometr a
As BAP = BCD. D A P B C Figure 6.16: Fig 05-16 Como QRA es exterior de RAP entonces QRA = RP A + BAP. Como P QD es exterior de CQP entonces P QD = RP B + BCD. Y al ser P Q bisectriz de AP B entonces RP A = RP B, por lo que QRA = P QD y concluimos que AB y DC son antiparalelas respecto de AD y BC. R Q
Para el caso en que tangamos dos pares de rectas no parelelas entre s, se cumple el siguiente resultado.
Proposicion 6.3.1 Las parejas de rectas a, b y c, d son mutuamente an tiparalelas si y solo si las bisectrices de los angulos formados por a, b y c, d son perpendiculares.
La demostracion es inmediata de la denicion de rectas antiparalelas. Y de aqu que si c y d son antiparalelas con respecto a las rectas a y b, entonces a y b son antiparalelas con respecto a las rectas c y d; puesto que las bisectrices son tambien alturas teniendo triangulos isosceles formados por las intersec ciones de las rectas en donde las bisectrices tambien son alturas, medianas y medriatrices.
Porrio Toledo
91
Geometr a
l1
b c l2 d
Figure 6.17: Rectas Mutuamente Antiparalelas
Porrio Toledo
92
Captulo 7
Teoremas de Ceva y Menelao

7.1 Teoremas de Ceva y Menelao
El segmento que une un vertice de un triangulo con cualquier punto del lado opuesto se llama ceviana, en honor del matematico italiano Giovanni Ceva.
Giovanni Ceva. Nacio el 7 de diciembre de 1647 en Milan, Italia. Murio el 15 de junio de 1734 en Mantua, Italia.
Hemos estudiado algunos casos particulares de estas lneas: altura, me diana, bisectriz. Todas ellas se intersectan en un solo punto; esto en general no sucede para cualquier grupo de cevianas. Pero existe un resultado que nos dice cuando s se cumple.
Teorema 7.1.1 (Teorema de Ceva) Sean X, Y y Z puntos que pertenecen respectivamente a los lados BC, CA y AB de un triangulo ABC, de modo que ninguno de estos puntos coincide con algun vertice del triangulo. Las cevianas AX, BY y CZ son concurrentes si y solo si
AZ BX CY = 1. ZB XC Y A Demostracion. Supongamos que X, Y y Z puntos respectivamente en los lados BC, CA y AB, tales que las cevianas AX, BY y CZ se intersecten en el punto O. Sean S y T los puntos de interseccion de la prolongacion de BY y CZ con una recta paralela a BC que pasa por A. 93
7.1. TEOREMAS DE CEVA Y MENELAO
Geometr a
A T Z O B C Y S
Observemos que por el criterio A.A tenemos que AZT BZC,
BXO XCO AY S AZ ZB CY YA BX AS XC AT
SAO, AT O,
CY B. AT , BC BC , AS XO , OA XO . OA
De donde encontramos las siguientes relaciones = = = =
Igualando las dos ultimas relaciones obtenemos que BX = XO = XC , de AS OA AT AS donde BX = AT . Multiplicando esta relacion por las dos primeras obtenemos XC AT BC AS AZ BX CY = = 1. ZB XC Y A BC AS AT Quedando demostrada una implicacion. Supongamos ahora que en un triangulo ABC hay tres puntos X, Y y Z que pertenecen respectivamente a los lados BC, CA y AB, tales que se cumple AZ BX CY = 1. ZB XC Y A Sea O el punto de interseccion de BY y CZ. Bastara demostrar que AX pasa por O. Sea X el punto de interseccion de AO con BC. Tenemos que probar que X coincide con X . Por la parte directa del teorema, tenemos que AZ BX CY = 1, ZB X C Y A Porrio Toledo 94
Geometr a
Figure 7.1: Teorema de Ceva
y por la hipotesis que tenamos, AZ BX CY AZ BX CY = , ZB X C Y A ZB XC Y A lo cual implica que BX BX = . C X XC Luego, como los puntos X y X dividen al segmento BC en la misma razon entonces X = X.
Ejercicio 7.1.1 Utilizando el Teorema de Ceva, demostrar que para un triangulo ABC 1. Las medianas AM , BN y CP concurren. 2. Las alturas AD, BE y CF concurren. 3. Las bisectrices internas AL, BM y CN concurren. Solucion. 1. Como M , N y P son los puntos medios de los lados BC, CA y AB, respectivamente, entonces AP = P B, BM = M C y CN = N A. Luego AP BM CN = 1, PB MC NA y por el Teorema de Ceva, AM , BN y CP son concurrentes. Porrio Toledo 95
Geometr a
Figure 7.2: Las medianas concurren
2. Como ADC BEC, BF C BDA y AEB AF C, tenemos CE DC BD FB AF EA = = = BC , CA AB , BC CA . AB
Figure 7.3: Las alturas concurren
Por lo tanto AF BD CE F B DC EA AF EA CA = AB = 1 = BD FB AB BC CE DC BC CA
y por el Teorema de Ceva, AD, BE y CF son concurrentes. Porrio Toledo 96
Geometr a
3. Por el Teorema de la Bisectriz tenemos BL AB = , LC CA BC CM = , MA AB CA AN = . NB BC
Figure 7.4: Las bisectrices concurren Por lo tanto AN BL CM N B LC M A CA AB BC BC CA AB = 1 =
y por el Teorema de Ceva, AL, BM y CN son concurrentes. Observemos que podemos expresar el Teorema de Ceva utilizando segmentos dirigidos AZ BX CY = 1. ZB XC Y A De esta manera podemos poner a X, Y y Z no solo en el interior de los la dos BC, CA y AB del triangulo sino en sus extensiones, obteniendo razones negativas entre los segmentos determinados por los puntos X, Y y Z y los vertices de ABC. En este caso solo puede haber dos o ninguno de los puntos X, Y y Z en las extensiones de los lados de ABC, puesto que el producto de las razones debe ser positiva.
Teorema 7.1.2 (Teorema de Menelao) Sean X, Y y Z puntos que perte necen a las lneas que contienen a los lados BC, CA y AB de un triangulo ABC, de modo que ninguno de estos puntos coincide con algun vertice del triangulo. Los puntos X, Y y Z son colineales si y solo si AZ BX CY = 1. ZB XC Y A Porrio Toledo 97
Geometr a
Figure 7.5: Teorema de Ceva con segmentos dirigidos

Menelaus de Alexandria. Nacio alrededor del ano 70 posible mente en Alexandria, Egipto. Murio alrededor del ano 130.
Observemos que, a diferencia del Teorema de Ceva, en este resultado es necesario que haya uno o tres de los puntos X, Y y Z en las extensiones de los lados de ABC para que el producto de las razones sea negativo. Demostracion. Supongamos que X, Y y Z son colineales. Sea D en XZ tal que AD es paralelo a BC.
Figure 7.6: Teorema de Menelao Luego, de que ADZ BXZ AD AZ = ZB BX y de que ADY CXY CY XC = . YA AD 98
Porrio Toledo
Geometr a
Observemos que AZ ZB BX XC CY YA = = = AD AZ = , ZB BX BX , XC CY XC = . YA AD
Multiplicando estas relaciones obtenemos la relacion que buscabamos AZ BX CY AD BX CX = = 1. BX XC AD ZB XC Y A Supongamos ahora que X, Y y Z son puntos en los lados BC, CA y AB de ABC tales que AZ BX CY = 1. ZB XC Y A Sea Z el punto de interseccion de AB la recta que pasa por X y Y . Por lo
Figure 7.7: Teorema de Menelao anteriormente demostrado, tenemos que AZ BX CY = 1, Z B XC Y A Igualando estas dos relaciones, obtenemos que AZ BX CY Z B XC Y A AZ Z B lo cual implica que Z = Z . Porrio Toledo 99 = = AZ BX CY , ZB XC Y A AZ , ZB
Geometr a
Teorema 7.1.3 (Teorema de Ceva-Menelao o de la Division Interna y Externa) Sea ABC un triangulo cualquiera y sean X y X dos puntos en la recta BC, Y en CA y Z en AB, tales que ninguno de ellos coincide con algun vertice. Entonces 1. Si las rectas AX, BY y CZ son concurrentes y los puntos X , Y y Z son colineales, entonces
Observemos que esta relacion es la razon en que los puntos X y X dividen al segmento BC
BX BX = . XC XC 2. Si las rectas AX, BY y CZ son concurrentes y BX BX = , XC XC entonces los puntos X , Y y Z son colineales. 3. Si los puntos X , Y y Z son colineales y BX BX = , XC XC entonces las rectas AX, BY y CZ son concurrentes. Demostracion.
Figure 7.8: Teorema de Ceva-Menelao 1. Por los Teoremas de Ceva y Menelao AZ BX CY ZB XC Y A AZ BX CY ZB X C Y A Porrio Toledo = = 1, 1, 100
Geometr a
por lo tanto BX BX = . XC XC 2. Por el Teorema de Ceva AZ BX CY = 1, ZB XC Y A sustituyendo

BX XC
= BX , obtenemos que XC
AZ BX CY = 1. ZB X C Y A El Teorema de Menelao garantiza que X , Y y Z son colineales. 3. Por el Teorema de Menelao AZ BX CY = 1, ZB X C Y A sustituyendo
BX XC
= BX , obtenemos que XC
AZ BX CY = 1. ZB XC Y A El Teorema de Ceva garantiza que AX, BY y CZ son concurrentes.
Teorema 7.1.4 (Forma Trigonometrica del Teorema de Ceva) Sean X, Y y Z puntos que pertenecen respectivamente a los lados BC, CA y AB de un triangulo ABC, de modo que ninguno de estos puntos coincide con algun vertice del triangulo. Entonces las cevianas AX, BY y CZ son concurrentes si y solo si sen ACZ sen BAX sen CBY = 1. sen ZCB sen XAC sen Y BA Demostracion. Aplicando la Ley de los senos a ABX y AXC, tenemos sen BAX BX sen XAC XC de donde = = sen ABC , AX sen BCA , AX
sen BAX BX sen ABC = . sen XAC XC sen BCA
Porrio Toledo
101
Geometr a
Figure 7.9: Forma Trigonometrica del Teorema de Ceva
De manera semejante podemos demostrar que sen ACZ sen ZCB sen CBY sen Y BA = = AZ ZB CY YA sen CAB , sen ABC sen BCA . sen CAB
Multiplicando estas tres relaciones, obtenemos AZ BX CY sen ACZ sen BAX sen CBY = . sen ZCB sen XAC sen Y BA ZB XC Y A Utilizando el Teorema de Ceva concluimos el resultado.
Podemos considerar segmentos y angulos dirigidos obteniendo el mismo resultado. Teorema 7.1.5 (Forma Trigonometrica del Teorema de Menelao) Sean X, Y y Z puntos que pertenecen a las lneas que contienen a los lados BC, CA y AB de un triangulo ABC, de modo que ninguno de estos puntos co incide con algun vertice del triangulo. Entonces los puntos X, Y y Z son colineales si y solo si sen ACZ sen ZCB sen BAX sen XAC sen CBY sen Y BA = 1.
La demostracion de este teorema es semejante a la demostracion del Teo rema de Ceva en su forma trigonometrica. Sin embargo, para ambos teoremas Porrio Toledo 102
Geometr a
se puede proceder de otra manera en la demostracion: viendo primero que si el vertice A de ABC es unido a cualquier punto X de BC entonces BX AB sen B AX , = CA sen XAC XC y utilizando esta relacion para cada ceviana. Esta forma de proceder nos sirve para demostrar tambien el Teorema de la Bisectriz, pues este es un caso particular, cuando B AX = XAC.
7.1.1 Punto de Gergonne

Proposicion 7.1.1 Sea I el incentro del triangulo ABC. Si X, Y y Z son los pies de I en los lados BC, AC y AB respectivamente, entonces las cevianas AX, BY y CZ son concurrentes. Demostracion. Los pies X, Y y Z de I son los puntos de tangencia del incrculo y los lados BC, AC y AB del triangulo. Denotemos por x, y y z a las
Figure 7.10: Punto de Gergonne siguientes distancias x = AZ = Y A, y = BX = ZB, z = XC = CY. BX CY AZ y z x = = 1, XC Y A ZB z x y y por el Teorema de Ceva, AX, BY y CZ son concurrentes. Por lo tanto
Al punto de interseccion de las cevianas AX, BY y CZ de la Proposicion (7.1.1) anterior se le llama Punto de Gergonne. Porrio Toledo 103
7.2. TEOREMA DE DESARGUES
Geometr a
Joseph Diaz Gergonne. Nacio el 19 de Junio de 1771 en Nancy, Francia. Murio el 4 de Mayo de 1859 en Montpellier, Francia.
7.2
Teorema de Desargues
Denicion 7.2.1 Se dice que dos guras estan en perspectiva desde un punto, si todas las rectas que unen pares de puntos correspondientes de las dos guras concurren en un punto. Al punto donde las rectas concurren se le conoce como centro de perspectiva o punto de fuga.
Figure 7.11: Triangulos en Perspectiva desde un Punto
Figure 7.12: Triangulos en Perspectiva desde un Punto De esta manera dos segmentos AB y A B estan en perspectiva desde un punto O si las rectas que pasan por sus extremos se intersectan en O. Teorema 7.2.1 (Teorema de Desargues) Si dos triangulos estan en perspectiva desde un punto y sus pares de lados correspondientes se intersectan, entonces los tres puntos de interseccion son colineales.
Girard Desargues. Nacio el 21 de febrero de 1591 y murio en septiembre de 1661 en Lyon, Francia.
Porrio Toledo
104
Geometr a
Demostracion. Supongamos que los triangulos ABC y A B C estan en perspectiva desde O y que sus lados correspondientes BC y B C se cortan en X, AC y A C se cortan en Y ; y AB y A B se cortan en Z.
Figure 7.13: Teorema de Desargues
Figure 7.14: Teorema de Desargues Aplicando el Teorema de Menelao a los triangulos AOB, AOC, BOC, con las siguientes ternas de puntos colineales A , B y Z; A , C y Y ; B , C y X; Porrio Toledo 105
Geometr a
respectivamente. Obtenemos AZ BB OA ZB B O A A AA OC CY A O C C Y A CC OB BX C O B B XC = = = 1, 1, 1.
El producto de estas tres relaciones nos da BX CY AZ = 1. XC Y A ZB De nuevo el Teorema de Menelao aplicado a ABC nos garantiza que X, Y y Z son colineales.
Denicion 7.2.2 Se dice que dos guras estan en perspectiva desde una recta, si los pares de lados correspondientes de las dos guras se intersectan en puntos colineales. De esta manera el Teorema de Desargues dice que si los triangulos estan en perspectiva desde un punto, entonces estan en perspectiva desde una recta. El inverso tambien es cierto. Teorema 7.2.2 Si dos triangulos estan en perspectiva desde una recta y las lneas que unen dos pares de vertices correspondientes son concurrentes, entonces los triangulos estan en perspectiva desde el punto de interseccion de tales rectas. Demostracion. Supongamos que ABC y A B C estan en perspectiva desde una recta. As, si los puntos de interseccion de BC con B C , AC con A C y AB con A B son X, Y y Z, respectivamente, entonces estos ultimos son colineales. Sea O el punto de interseccion de AA y BB . Bastara demostrar que ABC y A B C estan en perspectiva desde O. Observemos que los trian gulos AY A y BXB estan en perspectiva desde Z. As por el Teorema directo de Desargues las intersecciones de sus lados correspondientes son colineales. Tenemos que la interseccion de AY con BX es C, la de Y A con XB es C y la de AA con BB es O; por lo que C, O y C son colineales.
Porrio Toledo
106
Geometr a
Figure 7.15: Triangulos en Perspectiva desde una Recta Otra manera de demostrar la colinealidad de C, O y C es utilizando el Teorema de Menelao. Considerando que los puntos A, C y Y en los lados del triangulo ZBX son colineales, entonces BC XY ZA = 1 CX Y Z AB Tambien los puntos C , A y Y en los lados del triangulo XB Z son colineales, por lo que XC B A ZY = 1 C B A Z Y X Y nalmente, como los puntos A, O y A en los lados del triangulo B BZ son colineales, tenemos B O BA ZA = 1 OB AZ A B Multiplicando estas tres relaciones y cancelando terminos iguales, obtenemos BC XC B O = 1 CX C B OB De nuevo, utilizando el Teorema de Menelao concluimos que C, O y C son colineales. Un caso particular de los triangulos en perspectiva desde un punto es cuando tiene lados correspondientes paralelos. En este caso se dice que los triangulos son homoteticos. Mas adelante se estudiara mas a detalle este concepto. Porrio Toledo 107
Geometr a
Figure 7.16: Triangulos Homoteticos
Figure 7.17: Triangulos Homoteticos Teorema 7.2.3 Si dos triangulos estan en perspectiva desde un punto y estos tienen dos pares de lados correspondientes paralelos, entonces los otros dos lados correspondientes son paralelos, por lo que los triangulos son ho moteticos. Recprocamente, si dos triangulos tienen lados correspondientes paralelos y dos rectas que unen vertices correspondientes se intersectan, en tonces los triangulos estan en perspectiva desde el punto de interseccion de dichas rectas, as ellos son homoteticos. Demostracion. Supongamos que los triangulos ABC y A B C estan en perspectiva desde O y que AB es paralelo a A B y BC paralelo a B C . Al ser AB paralelo a A B entonces ABO = A B O, ademas AOB = A OB , por ser opuestos por el vertice, As, por el ultimo criterio A.A tenemos que ABO B C O, luego AO BO = . A O BO
De manera semejante, al ser BC paralelo a B C , tenemos que BCO B C O, de donde CO BO = . O B CO Porrio Toledo 108
Geometr a
Figure 7.18: Triangulos en Perspectiva con 2 Lados Paralelos Por lo tanto
CO AO = , A O CO Y como AOC = A OC , por ser opuestos por el vertice, entonces por el criterio L.A.L tenemos ACO A C O, por lo que ACO = A C O. Y como C, O y C son colineales concluimos que AC y A C son paralelos. Supongamos ahora que tenemos dos triangulos ABC y A B C con lados correspondientes paralelos AB BC AC A B , BC , A C .
Tales que AA se intersecta con BB en el punto O. Bastara demostrar que O, C y C son colineales.
Figure 7.19: Triangulos con 3 Lados Paralelos Porrio Toledo 109
Geometr a
Como los lados de los triangulos ABC y A B C son paralelos, entonces ellos son semejantes, por lo que AC AB = A B AC Ademas tambien tenemos que ABO A B O, de donde AO AB = . A O AB
AC As A O = A C y ya que AC y A C son paralelos entonces OAC = OA C . AO Por el criterio L.A.L. ACO AC O. Por lo tanto
AOC = A OC , es decir C, O y C son colineales.
Ejercicio 7.2.1 Utilizar el Teorema (7.2.3) para dar otra demostracion de que el ortocentro H, el centroide G y el circuncentro O del triangulo ABC son colineales. Solucion.
Figure 7.20: Recta de Euler Sean A y B los puntos medios de BC y CA respectivamente, los triangulos ABH y A B O tienen lados paralelos y AA y BB se intersectan en G. Por lo que ABH y A B O estan en perspectiva desde G. Luego HO pasa por G.
Porrio Toledo
110
Captulo 8
Puntos de Miquel
8.1 Lnea de Simson
Robert Simson. Nacio el 14 de Octubre de 1687 en West Kilbride, Ayrshire, Escocia. Murio el 1 de Octubre de 1768 en Glasgow, Escocia.
Teorema 8.1.1 (Teorema de Simson) Un punto esta en el circuncrculo de un triangulo si y solo si sus pies en los lados de este, son colineales. Demostracion. Consideremos primero un punto P perteneciente al cir cuncrculo de un triangulo cualquiera ABC, y sean X, Y y Z los pies de las perpendiculares trazadas desde P respectivamente hacia los lados BC, AC y AB (Figura 8.1). La circunferencia de diametro AP pasa por los puntos Y y Z, al ser AZP y AY P angulos rectos. De aqu que ZAP = ZY P , y claramente ZAP y BAP son suplementarios. Pero como el cuadrilatero ABCP es cclico, se sigue que BAP es suplemento de BCP . Por lo tanto BCP = ZAP = ZY P . Por otro lado, la circunferencia de diametro P C pasa por los puntos X y Y , ya que los angulos P Y C y P XC son rectos. As XY C = XP C. Ademas, como XP C + BCP = 90 , tenemos XY C + BCP = 90 . De esta forma, XY Z = XY C + 90 + ZY P = XY C + 90 + BCP = 180 . Lo cual garantiza que X, Y y Z son colineales. Consideremos ahora que los pies de un punto P en los lados BC, AC y AB de un triangulo ABC son colineales, sean X, Y y Z tales puntos (Figura 8.1).
Observemos que P no puede estar dentro de ABC, pues en tal caso X, Y y Z no seran colineales.
111
8.1. L INEA DE SIMSON
Geometr a
Figure 8.1: Lnea de Simson Como el cuadrilatero ZAY P es cclico, ZAP = ZY P . De que X, Y y Z son colineales ZY P + P Y X = 180 . Y como ademas P Y XC tambien es cclico P CX + P Y X = 180 . Por lo tanto P CB = P CX = ZY P = ZAP. Luego P CB + BAP = 180 , ya que Z, A y B son colineales. De esta manera ABCP es cclico. Concluimos que P esta en el circuncrculo de ABC. A la lnea recta que pasa por los puntos X, Y y Z, que son los pies de las perpendiculares trazadas desde un punto P del circuncrculo a los lados del triangulo, se le llama la Lnea de Simson de P con respecto al triangulo ABC. Teorema 8.1.2 El angulo entre dos lneas de Simson de dos puntos P y Q en el circuncrculo de un triangulo es la mitad del angulo central determinado por el arco QP . Demostracion. Sea P un punto en el circuncrculo del triangulo ABC y X, Y y Z sus pies en sus los lados BC, AC y AB respectivamente. Sea C el punto de interseccion de P X con el circuncrculo. As AC P = Porrio Toledo 1 AP = ACP 2 112
8.2. TEOREMA DE PTOLOMEO
Geometr a
(a) Segmento paralelo a la lnea de P .
(b) Angulo para las lneas de P y Q.
Figure 8.2: Angulo entre dos Lneas de Simson y como P Y XC es cclico Y CP = Y XP. Luego AC P = ACP = Y CP = Y XP. Por lo tanto AC es paralela a la lnea de Simson XZ. De esta manera si Q es otro punto en el circuncrculo de ABC y C es un punto en el circuncrculo tal que QC es perpendicular a BC entonces AC es paralela a la lnea de Simson generada por el punto Q. De esta manera, tanto P C como QC son perpendiculares a BC; por lo que P Q=C C y como el angulo entre las dos lneas de Simson es C AC entonces 1 1 C AC = C C = P Q . 2 2

8.2 Teorema de Ptolomeo

Claudius Ptolemy. Nacio alrededor del ano 85. Murio alrede dor del ano 165, en Alexandria, Egipto.
Teorema 8.2.1 (Teorema de Ptolomeo) Un cuadrilatero convexo es cclico si y solo si la suma de los productos de los lados opuestos es igual al producto de las diagonales. Demostracion. Consideremos inicialmente un cuadrilatero cclico convexo ABCD. Sea E el punto sobre la diagonal BD, tal que BAE = CAD (Figura 8.3). Tenemos que los triangulos ABE y ACD son semejantes, ya que los angulos BAE y CAD son iguales por denicion de E, y EBA = DCA por ser inscritos y abrazar el mismo arco AD. BE Por lo tanto AB = CD y de aqu que AC Porrio Toledo 113
Geometr a
Figure 8.3: Teorema de Ptolomeo AB CD = AC BE. Tambien tenemos que los triangulos AED y ABC son semejantes, puesto que EAD = EAC + CAD = EAC + BAE = BAC y ademas ADE = DCA por ser inscritos y abrazar el mismo arco AB. Por lo tanto AD = ED , en otras palabras AC BC AD BC = AC ED. Sumando miembro a miembro la igualdades que obtuvimos, AB CD + AD BC = AC BE + AC ED
= AC (BE + ED) = AC BD,
demostramos lo que queramos. Consideremos ahora un un cuadrilatero convexo ABCD, el cual cumple con la hipotesis AB CD + AD BC = AC BD. Sea E el punto tal que BAE = CAD y ABE = ACD (Figura 8.4). Para demostrar que ABCD es inscriptible bastara probar que ABD = ACD; o lo que es lo mismo, que E este sobre el segmento BD, es decir que BE + ED = BD. Por la construccion de E, los triangulos ABE y ACD son semejantes, AE BE por lo que AB = AD = CD y as AC AB AE AC BE AC , AD = AB CD. =
Por otro lado, observemos que BAC = BAE + EAC = CAD + EAC = EAD y utilizando la primera identidad, garantizamos que los lados adyacentes a los angulos BAC y EAD son proporcionales. Entonces, por Porrio Toledo 114
Geometr a
Figure 8.4: Teorema de Ptolomeo el criterio L.A.L. los triangulos ABC y AED son semejantes, con lo cual AC BC obtenemos que AD = ED y as AC ED = AD BC. Sumando miembro a miembro esta identidad con la segunda que habamos obtenido, vemos que BE AC + AC ED = AC (BE + ED) = AB CD + AD BC, AB CD + AD BC.
Utilizando la hipotesis de que AB CD + AD BC = AC BD y cancelando AC, concluimos que BE + ED = BD, ya que AC = 0.
Ejercicio 8.2.1 Si ABCDEF G es un heptagono regular, mostrar que 1 1 1 = + AB AC AD Solucion. Sean a la longitud de cada lado del heptagono, b la longitud de la diagonal menor y c la longitud de la diagonal mayor. Entonces AB = CD = DE = a, AC = CE = b, AD = AE = c.
Porrio Toledo
115
Geometr a
Figure 8.5: Heptagono Regular Y ya que todo polgono regular es inscriptible, por el Teorema de Ptolomeo (8.2.1) aplicado al cuadrilatero ACDE, tenemos que ab + ac = bc. Luego, dividiendo entre abc obtenemos 1 1 1 + = , c b a 1 1 1 + = AD AC AB que es lo que se quera demostrar. Consideremos un cuadrilatero ABCD, sean X, Y y Z los pies de D en los lados BC, AC y AB respectivamente del triangulo ABC. Queremos encontrar una relacion entre XY + Y Z y XZ. Como los puntos D, Y , X y C estan en la circunferencia de diametro CD, entonces por la ley de los senos XY = CD sen XCY y si R es el circunradio del triangulo ABC entonces AB = 2R. sen ACB Como ACB = XCY , entonces XY = CD sen XCY = CD sen ACB = De manera analoga Y Z = AD sen ZAY = AD sen(180 ZAY ) = AD sen BAC = Porrio Toledo AD BC , 2R 116 AB CD . 2R o lo que es lo mismo
8.3. PUNTOS DE MIQUEL
Geometr a
Figure 8.6: Teorema Extendido de Ptolomeo AC BD . 2R
XZ = BD sen ZBX = BD sen ABC = Por lo tanto tenemos ABCD cclico
X, Y, Z colineales XY + Y Z = XZ AB CD AD BC AC BD + = 2R 2R 2R AB CD + AD BC = AC BD,
lo cual nos da otra demostracion del Teorema de Ptolomeo. Observemos que en el caso de que D no este sobre el circuncrculo de ABC, entonces X, Y y Z no son colineales, formandose de hecho un triangulo con estos puntos como vertices, teniendose XY + Y Z > XZ. De donde podemos concluir el siguiente resultado. Teorema 8.2.2 (Teorema extendido de Ptolomeo) Para un cuadrilatero ABCD convexo, tenemos que AB CD + AD BC AC BD. En donde la igualdad es valida solamente en el caso de que ABCD sea cclico.
8.3 Puntos de Miquel

Auguste Miquel. Matematico frances. Esta serie de resultados fueron publicados en el Journal de Mathematiques Pures et Appliquees (algunas veces llamado Liouvilles journal de spues de que este ultimo publico en el) en el Vol. 3 de 1838.
Porrio Toledo
117
Geometr a
Teorema 8.3.1 (Teorema de Miquel) Sean el triangulo ABC y X, Y y Z
puntos en los lados BC, CA y AB respectivamente, entonces las circunferencias CA , CB y CC que pasan respectivamente por los puntos A, Y , Z; B, X, Z; y C, Y , X; tienen un punto en comun. Demostracion. Sea P el punto de interseccion de las circunferencias CA y CB . Sean , , , , y angulos como en la gura.
Figure 8.7: Teorema de Miquel Entonces + + = 180 , = 180 ,
+ + = 180 , + + = 360 . Sumando las dos ultimas ecuaciones tenemos ( + ) + ( + ) + ( + ) = 540. De esta manera + = 180 . Por lo que P pertenece a CC .
Diremos que el punto P es el punto de Miquel de los puntos X, Y y Z respecto al triangulo ABC. Hay que observar que la construccion del punto del teorema anterior depende del triangulo P realizada en la demostracion determinado por X, Y y Z. Podemos llevar a cabo el proceso inverso, considerando inicialmente el punto P y construyendo los vertices de XY C en los lados de ABC. Para Porrio Toledo 118
Geometr a
esto procedemos de la siguiente manera: escogemos un punto arbitrario X en el lado BC, el circuncrculo de BXP determinara el punto Z al intersectarse con el lado AB; luego el circuncrculo de AZP determinara el punto Y en el lado AC; nalmente la demostracion del Teorema anterior nos garantiza que el circuncrculo de CY X pasa por P . Diremos que el triangulo XY Z es el triangulo de Miquel del punto P respecto a ABC (aun cuando los puntos esten alineados). Observemos que, por la manera en que construimos el triangulo XY C, un mismo punto P de Miquel puede tener asociados distintos triangulos de Miquel respecto a un mismo triangulo ABC; pero aun cuando estos sean distintos, se conserva la igualdad entre sus angulos, particularmente tenemos el siguiente resultado. Teorema 8.3.2 Todos los triangulos de Miguel de un punto P respecto a un triangulo ABC son semejantes. Demostracion. Si P es el punto de Miquel de X, Y y Z respecto a ABC, entonces ABP ACP = = ZXP, Y XP,
puesto que los cuadrilateros ZBXP y P XCY son cclicos. Y como la suma de los primeros angulos es ja, tambien lo sera la suma de los segundos.
(a) Triangulo de Miquel X1 Y1 Z1
(b) Triangulo de Miquel X2 Y2 Z2
Figure 8.8: Triangulos de Miquel semejantes De igual forma, se puede ver que BCP BAP CAP CBP Porrio Toledo = XY P, = ZY P, = Y ZP, = XZP. 119
Geometr a
Este teorema nos dice que dado un triangulo de Miquel XY Z de un punto P , podemos obtener los otros girando un angulo jo las rectas P X, P Y y P Z y encontrando las intersecciones con los lados de ABC. En la denicion de Triangulo de Miquel se haca la mencion de que los puntos X, Y y Z podan ser colineales, a continuacion aclaramos este punto.
Teorema 8.3.3 Si P es el punto de Miquel de los puntos X, Y y Z respecto

del triangulo ABC, entonces los puntos X, Y y Z estan alineados si y solo si P esta en el circuncrculo del triangulo ABC. La manera en que se demuestra este resultado es la misma que se sigue para la demostracion del Teorema de Simson (8.1.1). La lnea de Simson corresponde a un triangulo de Miquel en donde los vertices estan alineados y son los pies del punto de Miquel en los lados de ABC, dicho punto se encuentra en su circuncrculo. Segun el Teorema an terior (8.3.3) los triangulos de Miquel deben ser semejantes, obligando necesariamente a que los nuevos X, Y y Z sean colineales para el punto de Miquel en el circuncrculo de ABC. Demostracion. Si P es el punto de Miquel de los puntos alineados X, Y y Z respecto del triangulo ABC, entonces P es la interseccion de los circuncrculos de los triangulos AY Z y CY X (Figura 8.9). Por lo tanto ZAP P Y X + XCP = ZY P, = 180 .
Y como X, Y y Z son colineales, entonces ZY P + P Y X = 180 . De donde ZAP = ZY P = XCP = BCP. Y como tambien B, A y Z son colineales BAP + ZAP = 180 . Por lo tanto BAP + BCP = 180, concluimos que ABCP es cclico, es decir P esta en el circuncrculo de ABC. Inversamente supongamos ahora que P esta en el circuncrculo de ABC (Figura 8.9). Como P Y XC y ABCP son cclicos, entonces XY P + XCP BAP + BCP = 180 , = 180 .
De donde XY P = BAP . Por otro lado B, A y Z son colineales, de donde BAP + P AZ = 180 , Porrio Toledo 120
Geometr a
Figure 8.9: Punto de Miquel en el circuncrculo de ABC y como ademas ZAY P tambien es cclico P AZ = P Y Z. Por lo tanto XY P + P Y Z = BAP + P AZ = 180 . Concluimos que X, Y y Z son colineales.
Otra forma de demostrar este resultado es observando que X, Y y Z son colineales si y solo si el punto de Miquel P , de los puntos X, Y y Z respecto a ABC, tambien es punto de Miquel de los puntos B, X y C respecto a ZAY y de los puntos Z, A y B respecto a Y XC. Podemos expresar la primera implicacion de la siguiente manera.
Teorema 8.3.4 Si cuatro rectas se intersectan en seis puntos A, B, C, X, Y y Z, tales que los puntos A, B y Z; A, C y Y ; B, C y X; X, Y y Z son colin eales, entonces los circuncrculos de los triangulos AY Z, BXZ, CY X y ABC tienen un punto en comun.
El caso particular en el que los primeros tres circuncrculos tienen como diametros a AP , BP y CP es cuando XY Z es la lnea de Simson del punto P con respecto a ABC.
Corolario 8.3.5 Los centros de los cuatro circuncrculos del teorema ante
rior son concclicos. Demostracion. Sea O el circuncentro de ABC. Sean CA , CB y CC los circuncrculos de los triangulos AY Z, BXZ y CY X, respectivamente, con centros OA , OB y OC , Figura (8.11). Porrio Toledo 121
Geometr a
Figure 8.10: Figura 07-11 Como P A es perpendicular a OA O y P Y es perpendicular a OA OC en tonces se obtiene un par de triangulos semejantes de donde OC OA O = AP Y = AZY. Analogamente se puede observar que OC OB O = BP X = BZX. Y como BZX = AZY , entonces se obtiene que OC OA O = OC OB O, de donde concluimos que OC OA OB O es cclico.
Ademas el crculo que pasa por los circuncentros OA , OB y OC tambien pasa por el punto de Miquel P . Corolario 8.3.6 Los triangulos ABC y OA OB OC son semejantes.
Porrio Toledo
122
Geometr a
Figure 8.11: Circuncentros cclicos
Porrio Toledo
123
Captulo 9
Potencia
9.1 Potencia
Teorema 9.1.1 Sean A, B, C y D cuatro puntos concclicos. Si P es el

punto de interseccion de las rectas AB y CD, entonces P A P B = P C P D. Demostracion. El caso en el que P esta en la circunferencia en trivial. Bastara considerar si el punto se encuentra en el interior o exterior de la circunferencia. Consideremos el primer caso, en el que P esta dentro de la circunferencia (Figura 9.1a). Como los angulos CAB y CDB abrazan la misma cuerda CB, ellos son iguales. Ademas AP C = DP B por ser opuestos por el PA PC vertice, as AP C DP B. Por lo tanto P D = P B . Luego P A P B = P C P D.
(a) P dentro de la circunferencia
(b) P fuera de la circunferencia
Figure 9.1: Potencia de P respecto a la circunferencia Consideremos ahora el caso en que P esta fuera de la circunferencia (9.1b). Por abrazar el mismo arco tenemos que P AC = P DB y como 124
9.1. POTENCIA
Geometr a
el angulo BP C es compartido, entonces AP C DP B. Por lo tanto PD PB P C = P A . Podemos concluir que P B P A = P C P D.
Este Teorema nos muestra que, dado un punto P cualquiera y una recta que pase por el punto y corte a una circunferencia en los puntos X y Y , la cantidad P X P Y permanece constante, no importando cuales sean los puntos de interseccion. A tal cantidad le llamaremos la potencia del punto P con respecto a la circunferencia dada. Observemos que en el caso de que P este sobre la circunferencia, la potencia sera cero; y si ademas consideramos positiva si P esta en el exterior de la segmentos dirigidos, la potencia sera circunferencia y negativa si P esta en el interior. La potencia solo depende del punto y la circunferencia dados, por lo que deberamos poder expresar este valor en terminos de los elementos que los determinan, es decir en terminos del punto, el centro y el radio de la circunferencia, como lo muestra es siguiente resultado.
Teorema 9.1.2 Dados un punto P y una circunferencia de centro O y radio

R, una secante desde el punto P que corta a la circunferencia en puntos A y B es tal que P A P B es constante e igual a P O R2 . Mas aun, si P es un punto exterior de la circunferencia entonces PA PB = PT , en donde P T es una de las tangentes al crculo, que pasa por P . Demostracion. Sea CD el diametro de la circunferencia que pasa por P .
2 2
(a) P dentro de la circunferencia
(b) P fuera de la circunferencia
Figure 9.2: Potencia de P respecto a la circunferencia Porrio Toledo 125
9.1. POTENCIA
Geometr a
Como P C = P O CO y P D = P O + OD, entonces PA PB = PC PD = P O CO PO R

2
P O + OD PO + R
= P O R2 . Del Teorema de Pitagoras es inmediato que P A P B = P T .

2
Observemos que en el caso de tener dos lneas tangentes a una circunfer encia desde los puntos T1 y T2 que se intersectan en P , entonces (P T1 )2 = (P T2 )2 , por lo que P T1 = P T2 . El resultado inverso tambien se cumple, como lo muestra el siguiente resultado. Teorema 9.1.3 Si los lados opuestos AB y CD de un cuadriletero se intersectan en un punto P y se cumple que P A P B = P C P D, entonces el cuadrilatero es cclico. Demostracion. Observemos que el cuadrilatero ABCD puede ser convexo o cruzado, para ambos casos procedemos de igual forma. Como P A PC PA P B = P C P D entonces P D = P B . Luego, por el criterio LAL, tenemos que los triangulos AP C y DP B son semejantes. Por lo tanto BAC = BDC, de donde concluimos que ABCD es cclico.
Ejercicio 9.1.1 Podemos demostrar la Ley de los cosenos utilizando el concepto de potencia. Solucion. Consideremos un triangulo ABC con a = BC, b = AC y c = AB, en donde a es el lado mayor. Trazamos la circunferencia de centro B y radio a (Figura 9.3). Si E es la interseccion de AC con la circunferencia y D es el punto diame tralmente opuesto a C, entonces el triangulo DEC es rectangulo. De esta manera si x = AE, utilizando la denicion de coseno en el angulo C, x = 2a cos C b. Por otro lado considerando la potencia desde A, tenemos que a2 c2 = xb. Finalmente, sustituyendo el valor de x obtenido anteriormente, tenemos que c2 = a2 + b2 2ab cos C.
Porrio Toledo
126
9.1. POTENCIA
Geometr a
Figure 9.3: Ley de los cosenos
Teorema 9.1.4 (Teorema de la Mariposa) Sea M el punto medio de una

cuerda P Q en una circunferencia, dos cuerdas AB y CD pasan por M (en donde A y C se encuentran en el arco P Q), AD corta a P Q en X y BC corta a P Q en Y . Entonces M es tambien punto medio de XY . Demostracion. (idea) Sean R y S son los pies de X en AM y DM respectivamente, sean T y U son los pies de Y en CM y BM ,
Figure 9.4: Teorema de la Mariposa
1. demostrar que AX XD XR XS = . YT YU CY Y B 2. Demostrar que XR XS XM 2 . = YU YT Y M2 Porrio Toledo 127
9.2. TEOREMA DE CARNOT
Geometr a
3. Demostrar que AX XD XP XQ = . YP YQ CY Y B 4. Si a = M P = M Q, x = XM y y = Y M , demostrar que x2 a2 x2 = 2 . y2 a y2 5. Demostrar que x = y.
9.2
Teorema de Carnot
Lazare Nicolas Marguerite Carnot. Nacio el 13 de Mayo de 1753 en Nolay, Burgundy, France. Murio el 2 de Agosto de 1823 en Magdeburg, Prussian Saxony
Teorema 9.2.1 (Teorema de Carnot para Rectas) Si dos rectas intersectan

a los lados AB, BC y CA del triangulo ABC en los puntos (diferentes de los vertices) L y P , M y Q, N y R, respectivamente, entonces AL BM CN AP BQ CR =1 LB M C N A P B QC RA Demostracion.
Figure 9.5: Teorema de Carnot para Rectas Usando el Teorema de Menelao para el triangulo ABC, tenemos AL BM CN = 1, LB M C N A AP BQ CR = 1. P B QC RA Muntiplicando estas relaciones se concluye el resultado. Porrio Toledo 128
Geometr a
Teorema 9.2.2 (Teorema de Carnot para Circunferencias) Si una circun ferencia intersecta a los lados AB, BC y CA del triangulo ABC en los puntos (diferentes de los vertices) L y P , M y Q, N y R, respectivamente entonces AL BM CN AP BQ CR =1 LB M C N A P B QC RA Demostracion.
Figure 9.6: Teorema de Carnot para Circunferencias Tomando las potencias de los puntos A, B y C respecto de la circunferencia, tenemos AL AP BP BL = AR AN = BM BQ = CM CQ
CN CR De donde
AL AP =1 RA N A BM BQ =1 LB P B CN CR =1 M C QC multiplicando estas relaciones obtenemos el resultado.
Porrio Toledo
129
Geometr a
Podemos utilizar estos teoremas de Carnot para demostrar los Teoremas de Pappus y Pascal. Basicamente la demostracion es la misma para ambos teoremas. Teorema 9.2.3 (Teorema de Pappus) Dadas dos rectas, si los vertices de un hexagono ABCDEF estan alternativamente en dichas rectas y los tres pares de lados opuestos AB y DE, CD y F A, EF y BC se intersectan respec tivamente en L, M y N , entonces los puntos de interseccion son colineales.
Pappus de Alexandria. Nacio alrededor del ano 290 en Alexandria, Egipto. Murio alrededor del ano 350.
Teorema 9.2.4 (Teorema de Pascal) Si los vertices de un hexagono ABCDEF se encuentran en una circunferencia y los tres pares de lados opuestos AB y DE, CD y F A, EF y BC se intersectan respectivemente en L, M y N , en tonces los tres puntos de interseccion son colineales.
Blaise Pascal. Nacio el 19 de junio de 1623 en Clermont (ahora Clermont-Ferrand), Auvergne, Francia. Murio el 19 de agosto de 1662 en Paris, Francia.
Demostracion. Sean X, Y y Z las intersecciones de AB y EF , AB y CD, EF y CD, respectivamente.
(a) Teorema de Pappus
(b) Teorema de Pascal
Figure 9.7: Demostracion de Teoremas de Pappus y Pascal Por el Teorema de Menelao aplicado al triangulo XY Z respecto a las Porrio Toledo 130
9.3. EJE RADICAL
Geometr a
rectas AF , DE y BC tenemos XA Y M ZF AY M Z F X XL Y D ZE LY DZ EX XB Y C ZN BY CZ N X = 1, = 1, = 1.
Por el Teorema de Carnot aplicado al triangulo XY Z, considerando los puntos de interseccion A, C, E y B, F , D; ya sea considerando las rectas AE y BD en el caso del Teorema de Pappus, o bien la circunferencia en el caso del Teorema de Pascal. XA Y C ZE XB Y D ZF = 1. AY CZ EX BY DZ F X Multiplicando las tres primeras relaciones y dividiendola entre la ultima obtenemos
XA AY
YM ZE ZF XL Y D EX XB Y C MZ F X LY DZ BY CZ XA Y C ZE ZF CZ EX XB Y D F X AY BY DZ
ZN NX
1 , 1
cancelando los terminos iguales tenemos XL Y M ZN = 1. LY M Z N X Por el Teorema de Menelao concluimos que L, M y N son colineales.
9.3 Eje Radical

Dadas dos circunferencias no concentricas, podemos preguntarnos si existen puntos tales que tengan la misma potencia respecto de ambas circunferen cias. Inicialmente, podemos preguntarnos si existira un punto M en la lnea que une los centros O1 O2 tal que tenga la misma potencia con respecto a las circunferencias de centros O1 y O2 con radios R1 y R2 , respectivamente. Para garantizar que existe tal punto M bastara determinar la posicion de M en el segmento O1 O2 . As M debe cumplir que
2 O1 M 2 R1 2 = O2 M 2 R2 ,
de donde se sigue que

2 2 (O1 M + O2 M )(O1 M O2 M ) = R1 R2 .
Porrio Toledo
131
9.3. EJE RADICAL
Geometr a
Como O1 , M y O2 son colineales, entonces O1 M + O2 M = O1 O2 . Por lo tanto O1 M O2 M =

2 2 R1 R2 O1 O2
Si x = M O1 , y = M O2 , k = O1 O2 = 0, obtenemos un sistema de dos ecua ciones con dos incognitas x+y xy = =

2
k 2 2 R1 R2 k
2 2 2 2 2
k +R1 R2 k R1 +R2 ,y = 1 ; quedando de que tiene una unica solucion x = 1 2 k 2 k esta manera determinado el punto M en O1 O2 . Consideremos ahora un punto P en la recta perpendicular a O1 O2 que pasa por M .
Figure 9.8: Eje Radical Utilizando el Teorema de Pitagoras

2 P O1 2 P O2
= =
2 M O1 + M P 2 , 2 M O2 + M P 2 .
2 2 2 2 Y como M O1 R1 = M O2 R2 entonces 2 2 2 2 P O1 R1 = P O2 R2 ,
es decir P tiene la misma potencia respecto de ambas circunferencias. De esta forma todos los puntos que estan en la recta perpendicular a O1 O2 que pasa por M , tiene la misma potencia respecto de ambas circunferencias. Inversamente, si consideramos un punto Q que tenga esta ultima carac terstica y M el pie de Q en O1 O2 , a partir del Teorema de Pitagoras podemos ver que M tambien tiene la misma potencia respecto a ambas circunferencias. Pero como los x y y encontrados eran unicos, entonces M coincide con M . De donde Q pertenece a la recta perpendicular a O1 O2 que pasa por M . Porrio Toledo 132
9.3. EJE RADICAL
Geometr a
Denicion 9.3.1 El eje radical de dos circunferencias es el lugar geometrico de los puntos tales que tienen la misma potencia respecto a las circunferencias dadas. Lo mostrado anteriormente describe la forma del eje radical de dos circunferencias. lo cual se resume en el siguiente resultado. Teorema 9.3.1 El eje radical de dos circunferencias no concentricos es una recta perpendicular a la recta que pasa por los centros. Observemos que el eje radical de dos circunferencias con radios iguales es la mediatriz del segmento que une los centros (Figura 9.9), puesto que en 1 este caso R1 = R2 , lo cual implica que x = 2 k = y.
Figure 9.9: Circunferencias de radios iguales El eje radical de dos circunferencias tangentes es la recta tangente comun por el punto de tangencia (Figura 9.10). Ya que en este caso k = R1 + R2 y por lo tanto x = R1 y y = R2 .
Figure 9.10: Circunferencias tangentes El eje de dos circunferencias que se intersectan en dos puntos es la recta que pasa por los puntos de interseccion (Figura 9.11). Ya que los puntos de interseccion entre las circunferencias tienen potencia igual a cero y la recta que pasa por ellos es perpendicular a O1 O2 . Podemos observar que el concepto de eje radical es una especie de gen eralizacion del de mediatrz de un segmento. El teorema equivalente al que garantiza la interseccion de las tres mediatrices de un triangulo en este caso esta dado por el siguiente resultado.
Teorema 9.3.2 Los ejes radicales de tres circunferencias con centros no

colineales tomados por pares son concurrentes. Porrio Toledo 133
9.3. EJE RADICAL
Geometr a
Figure 9.11: Circunferencias secantes Demostracion. Sea l1 el eje radical de las circunferencias C1 y C2 , y l2 el de C3 y C4 . Sea P la interseccion de l1 y l2 . Entonces P tiene la misma potencia con respecto a C1 , C2 y C3 por lo que pertenece al eje radical de C1 y C3 . El punto de interseccion de los tres ejes radicales se llama centro radical de las tres circunferencias. Teorema 9.3.3 El eje radical del incrculo y un excrculo de un triangulo ABC es la bisectriz del angulo exterior del Triangulo medial en el lado correspondiente de ABC. Demostracion. Los triangulos LXa Ia y LXI son rectangulos. Uti lizando el Teorema de Pitagoras tenemos LX 2 2 LXa = LI 2 R2 2 2 = LIa Ra
y como L es el punto medio de XXa entonces

2 LI 2 R2 = LIa Ra .
De donde L pertenece al eje radical del incrculo de centro I y el excrculo de centro Ia . Por otro lado la bisectriz de BAC pasa por IIa . Y como LM y LN son paralelos a AB y AC respectivamente, entonces la bisectriz de N LM es paralela a IIa . Ademas como la bisectriz exterior en L es perpendicular a la bisectriz interior, entonces tal bisectriz exterior es perpendicular a IIa , as tal recta es el eje radical del incrculo de centro I y el excrculo de centro Ia .
Teorema 9.3.4 El eje radical de dos excrculos de un triangulo ABC es la bisectriz de un angulo interior del triangulo medial. Porrio Toledo 134
9.3. EJE RADICAL
Geometr a
Demostracion. Los triangulos Ic Xc L y Ib Xb L son rectangulos, por el Teorema de Pitagoras

2 LXc 2 LXb
= =
2 2 LIc Rc 2 2 LIb Rb
y como L es el punto medio de Xc Xb entonces

2 2 2 LIc Rc = LIb Rb
es decir L esta en el eje radical de los excrculos de centros Ic y Ib . Por otro lado Ic Ib es la bisectriz del angulo exterior del triangulo ABC en A, por lo que es perpendicular a la bisectriz interior y como esta ultima es paralela a la bisectriz interior del triangulo medial en L entonces esta bisectriz es el eje radial de los excrculos de centro en Ic y Ib .
Observemos que el centro radical de los tres excrculos de ABC es la interseccion de las tres bisectrices interiores de LM N , es decir el incentro del triangulo medial.
Porrio Toledo
135
Referencias
[1] Altshiller-Court N., College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle. Dover Publications; 2nd Rev. Enl. Ed., New York, 2007. [2] Bulajich R. y Gomez Ortega J. A., Geometra. Instituto de Matematicas, UNAM, Mexico, 2002. [3] Coxeter H. S. M., Geometry Revisited. The Mathematical Association of America, 1967. [4] Coxeter H. S. M., Introduction to Geometry. John Wiley and Sons, Toronto, 1969. [5] Joyce D. E., Euclids Elements. Department of Mathematics and Computer Science, Clark University, Worcester MA, 1998. http://aleph0.clarku.edu/ djoyce/java/elements/elements.html [6] Moise E. E. y Downs F. L., Geometry. Addison-Wesley Publishing Company, Massachusetts, 1964. [7] Pogorelov A. V., Geometra Elemental. Instituto Politecnico Nacional, Mexico, 1998. [8] Prenowitz W. and Jordan M., Basic Concepts of Geometry. John Wiley and Sons, New York, 1965. [9] Rich B., Teora y Problemas de Geometra Plana con Geometra de Coor denadas. McGraw Hill, Mexico, 1988. [10] Shively L. S., Introduccion a la Geometra Moderna. Compana Editorial Continental, Mexico, 1963. [11] Wentworth J. y Smith D. E., Geometra Plana y del Espacio. Editorial Porrua, Mexico, 2000.
136

Libro Geo Me Tria Porfirio

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Libro Geo Me Tria Porfirio

Diunggah oleh

Hak Cipta:

Format Tersedia

Geometra

Porrio Toledo Hernandez January 13, 2012

A Q Figure 1.1: Fig 01-01

1.2.1 Rectas que se Cortan Entre S

Figure 1.2: Fig 01-03 Opuestos por el Vertice , , Adyacentes , , , ,

1.2.2 Rectas Cortadas por una Secante

Figure 1.3: Fig 01-04

Teorema 1.2.1 (Teorema Directo) En todo sistema de dos rectas paralelas

Figure 1.4: Fig 01-05

Teorema 1.2.2 (Teorema Inverso) En un sistema de dos rectas situadas

B Figure 1.7: Fig 01-08

B Figure 1.8: Fig 01-09

Por el teorema (1.2.3), + + = 180; y como + = 180, entonces = + .

Figure 1.9: Fig 01-10 = + , = + , = + , de esta manera + + = 2( + + ) = 360 .

h h B Figure 2.1: Fig 01-11

2.1. TEOREMA DE THALES

Figure 2.2: Fig 01-11-12

Teorema 2.1.1 (Primer Teorema de Thales) Si una recta paralela a uno

2.1. TEOREMA DE THALES

tercera se puede obtener de la segunda como sigue AB DB = = = AD + DB AD = +1 DB DB AE + EC AE +1= EC EC AC . EC

B Figure 2.3: Fig 01-14

Teorema 2.1.2 (Teorema inverso) Si una recta divide dos lados de un

2.1. TEOREMA DE THALES

B Figure 2.4: Fig 01-15

2.2. CONGRUENCIA DE TRIANGULOS

B D C Figure 2.5: Fig 01-17

2.2 Congruencia de Triangulos

2.3. SEMEJANZA DE TRIANGULOS

Figure 2.6: Fig 01-18-20

Emplearemos de manera indistinta los t erminos congruente o igual.

2.2.1 Criterios de Congruencia

2.3. SEMEJANZA DE TRIANGULOS

2.3. SEMEJANZA DE TRIANGULOS

C1 Figure 2.8: Fig 01-22-23

se hace de forma similar.

(LAL) Consideremos dos triangulos A1 B1 C1 y A2 B2 C2 tales que A2 C 2 y A1 = A2 . A1 C 1 Porrio Toledo

2.3. SEMEJANZA DE TRIANGULOS

C1 Figure 2.9: Fig 01-24-25

C1 Figure 2.10: Fig 01-26-27

2.3. SEMEJANZA DE TRIANGULOS

Proposicion 2.3.1 El segmento que une los puntos medios de cualesquiera

2.3. SEMEJANZA DE TRIANGULOS

F Figure 2.11: Fig 01-28

Demostracion. Sean ABC un triangulo cualquiera y D, E, F puntos medios de AC, AB y BC respectivamente. A

F Figure 2.12: Fig 01-29

2.4. TEOREMA DE PITAGORAS

D Figure 2.13: Fig 01-30

Tenemos que ACD = ACB, CBA;

2.4. TEOREMA DE PITAGORAS

Lema 2.4.2 Sea ABC un triangulo rectangulo, con angulo recto en A.

E Figure 2.14: Fig 01-31

C Figure 2.17: Fig 01-36

C Figure 2.19: Fig 01-38 A D

Figure 2.20: Fig 01-39

Teorema 2.5.1 (Ley del Paralelogramo) La suma de los cuadrados de las

C Figure 2.21: Fig 01-40

Teorema 2.5.2 (Teorema de Varignon) Los puntos medios de los lados

Figure 2.23: Fig 01-42-43 (2.3.1), EH, AC y F G son paralelos y ademas EH = 1 AC = F G. 2

Por lo que el permetro del paralelogramo EF GH es EF + F G + GH + EH = = 1 1 1 1 BD + AC + BD + AC 2 2 2 2 AC + BD.

Figure 2.24: Fig 01-44

Denicion 3.1.1 Un angulo central es el formado por dos radios en una

Demostracion. Tenemos que demostrar que AP B = mos por casos. 30

3.1. ANGULOS EN LA CIRCUNFERENCIA

(a) Fig 02-03