Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Geometr - A M - Trica Plana - Juan Manuel Leal Garc - A PDF
Geometr - A M - Trica Plana - Juan Manuel Leal Garc - A PDF
U NIVERSIDAD DE L OS A NDES
Comisin de Desarrollo del Pregrado (CODEPRE)
Mrida Venezuela, 2002
Contenido
Prlogo
1
iii
29
Tringulos
57
Paralelismo
97
Cuadrilteros
115
ii
Proporcionalidad y semejanza
139
rea
173
Problemas del Captulo 7 . . . . . . . . . . . . . . . . . . . . . . 178
Comentarios del Captulo 7 . . . . . . . . . . . . . . . . . . . . . 185
Polgonos
189
Crculos
207
269
283
C Postulados
297
Bibliografa
299
Prlogo
1 Por supuesto, haciendo una breve revisin del lenguaje que ya se ha hecho comn y usual entre
los matemticos de hoy en da, es decir, en el que hace uso de las nociones bsicas y elementales
de la Lgica matemtica y de la Teora de conjuntos.
2 No nos pronunciamos aqu sobre la manera en que deba hacerse dicho estudio: podra hacerse
de una manera formal, rigurosa y/o exhaustiva, o a travs de la presentacin de algunos problemas
que fortalezcan la intuicin y provoquen entusiasmo en quien las estudia; sean estos problemas de
los que llaman interesantes, curiosos, de ingenio, o fundamentales, bien desde el punto de vista
histrico, de actualidad, o del desarrollo futuro de alguna de sus reas.
iii
iv
4 Enfrentando y superando, por un lado, las deficiencias de lectura y escritura del idioma materno
acarreadas en su propia formacin bsica y, por otro lado, el prejuicio comn de que las Matemticas no son algo que se lee o que se escribe, sino simplemente algo que se piensa.
5 Indispensable y clave en el estudio de las Matemticas, junto con la memoria.
6 Sacrificando muchas veces el aspecto esttico.
7 Efectivamente algunos autores prefieren este estilo, muchos de ellos sin poder substraerse de
dejar en el lector la sensacin de que est haciendo trampa, puesto que ni siquiera lo pone en alerta
respecto a lo que est pasando por alto.
8 Sobre todo, dadas las condiciones en las que actualmente egresan del nivel previo.
Prlogo
vi
Estos estn divididos en dos partes: la primera contiene notas numeradas que
se encuentran referenciadas en el interior del contenido de cada captulo, y son
de naturaleza muy diversa; la segunda parte de estos comentarios est destinada a
recoger algunas opiniones y algunos escritos sobre la Historia de las Matemticas,
especialmente en lo que se refiere a la Geometra, o a introducir algunos conceptos importantes que requeriran, para su estudio formal, de algunas tcnicas que
se escapan del nivel de la Geometra elemental.
Creemos firmemente que el estudio de la Geometra no puede separarse del
de la Historia de las Matemticas, al menos en sus puntos ms notables, ya que
hasta el siglo XVII constitua el principal tema de estudio e investigacin. As,
hemos tomado como ejemplos, en estos comentarios, a quienes se han dedicado
destacadamente a la Geometra y la han marcado de manera relevante (bien sea un
personaje particular o toda una civilizacin en general); y, adems, hemos tratado
de referirnos, en cada captulo, a quienes se han destacado por algo que se refiere
precisamente al contenido del mismo.
Para finalizar este aparte nos sentimos en la necesidad de decir (debido a que
hemos constatado, por diversos lados y de distintas maneras, que su naturaleza
y su espritu no han sido muy bien comprendidos) que todos estos comentarios
no son el producto de la fantasa individual del autor, ni meramente su opinin
particular y personal respecto a los temas que trata, sino ms bien son el resultado
natural del deseo saber de cualquier persona que tiene inters en algn tpico
del vasto campo del conocimiento humano. Son mltiples los puntos de vista
desde los que se puede estudiar cualquier tema especfico de las Matemticas y
su historia, y tendra uno que estar en capacidad de poder ubicarse en cualquiera
de ellos, si quisiera tener una panormica general del mismo. Y, no sabemos si
por fortuna o desafortunadamente, son muchos los que antes que nosotros han
estudiado, hasta donde humanamente les ha sido posible, los temas a los que nos
referimos. Las opiniones, por supuesto, pueden ser variadas, e incluso opuestas,
y cada uno tomar partido por alguna de ellas de acuerdo a su nivel de comprensin, o expresar algn rasgo que matice o concilie algunas de las ya presentadas.
Nosotros, en particular, no escapamos a esta regla general, y nos hemos hecho
voceros de aquellas opiniones que, de acuerdo a nuestro parecer actual, nos resultan ms acertadas. Para curarnos en salud, como decimos en nuestra lengua,
podemos referir al autor a algunas de la mltiples fuentes que sustentan nuestro
parecer, ya que se nos hace humanamente imposible destacarlas todas exhaustivamente, puesto que son ya muchos los aos en que nos hemos dedicado, formal e
informalmente, a estudiar lo que otros han dicho respecto a estos temas. Decimos,
entonces, que quienes tengan el deseo de revisar las fuentes de lo que expresamos
en estos comentarios pueden dirigirse, aparte de los textos que se encuentran men-
Prlogo
vii
cionados en la bibliografa al final del libro (muy particularmente [10], [15], [13],
[7] y [11]), a las siguientes obras de carcter general:
Joyce D. E., Clark University, Pgina Web dedicada a Euclides:
http://aleph0.clarku.edu/djoyce/java/elements/
Perseus Project, Tufts University, Pgina Web dedicada a Euclides:
http://perseus.tufts.edu/
Richard Carr, Oxford University, Pgina Web dedicada a Euclides:
http://www.math.columbia.edu/
Encyclopaedia Britannica, Univesity of Chicago.
Enciclopedia Universal Ilustrada Europeo-Americana, Espasa-Calpe, Madrid.
Enciclopedia Universal Educativa, Oceano, Barcelona-Espaa.
Enciclopedia Barsa, Buenos Aires.
Quien haya tenido ocasin de revisar los primeros bocetos de esta obra, podr
darse cuenta de cun agradecido debo estar, como efectivamente lo estoy, a los
Profesores que componen la incipiente Coordinacin del rea de Geometra del
Departamento de Matemticas de la Universidad de Los Andes: Nelson Viloria
y Ernesto Zamora. Su entusiasmo por aclarar hasta el ltimo detalle, sin hacer
ningn tipo de concesiones, y su disciplina de trabajo, han permitido precisar
conceptos, reordenar contenidos, dar respuesta a los ejercicios propuestos en esta
obra y, de aqu, hacer la clasificacin de estos arriba mencionada.
Del mismo modo, manifiesto mi agradecimiento por el inters y la dedicacin
que el Profesor Jess Prez Snchez generosamente ha rendido a nuestra obra,
y que se han concretado al orientarnos en algunos puntos particularmente escabrosos de la teora, y de la solucin de algunos problemas, desde su atalaya de
pericia, tanto en la materia como en su enseanza, y madurez como matemtico.
Esperamos de nuestros colegas la consideracin que corresponde a la tentativa que hemos emprendido, en la direccin de realizar una tarea tan grande
como la de producir una obra de esta envergadura, as como tambin todas las
recomendaciones que pudieran ayudar al mejoramiento, sin duda posible, de la
calidad de esta obra de utilidad colectiva, que ofrecemos como un primer paso en
la produccin de un material didctico autctono.
Captulo 1
Separacin de la recta:
segmentos y rayos
Haremos el estudio de la Geometra mtrica plana partiendo de:
Un punto
Una recta
Note que, al decir que una recta es un subconjunto del plano, estamos diciendo que una recta es un conjunto de puntosh5i , es decir, que sus elementos son
tambin puntos.
Con el propsito de expresar sintticamente nuestro primer postulado, introducimos la siguiente definicin.
Definicin 1.1 (Colineal)
Un conjunto de puntos es colineal, si todos se encuentran sobreh6i una misma
recta.
A veces diremos, por abuso del lenguaje, que los puntos mismos de un conjunto colineal, son colineales o que estn alineados.
En primer lugar aceptaremos que la divisin en tres que hemos hecho de los
objetos de los que hemos hablado (punto, recta y plano) no es trivial, es decir,
que los unos no se reducen a los otros.
Postulado 1
(a) Toda recta contiene al menos dos puntos distintosh7i .
(b) El plano contiene al menos tres puntos no colinealesh8i .
La afirmacin (a) nos asegura que las rectas son subconjuntos no vacos del
plano y que son distintas de los puntos, indicando algo parecido a lo que nosotros
pensamos que significa el hecho de que son alargadas; la afirmacin (b) nos
asegura que el plano es un conjunto no vaco y que es distinto de los puntos y de
las rectas, indicando algo parecido a lo que nosotros pensamos que significa el
hecho de que es ancho o amplio.
Este postulado, sin embargo, no nos asegura que haya rectas; slo nos da
garanta de que el plano P tiene al menos tres puntos, y que los tres puntos no se
encuentran todos a la vez en uno de sus subconjuntos que hemos llamado rectas.
El siguiente postulado nos da, entre otras cosas, garanta de que podemos contar
con algunas rectas.
Postulado 2 (De la recta)
Para cada par de puntos distintos, existe exactamente
una recta que los contiene.
Si denotamos los puntos mediante los smbolos A y B,
denotaremos la nica recta que los contiene mediante
B
A
AB
Captulo 1
determinada por dos de sus puntos. Note que esta afirmacin es del todo distinta a
la expresada en la parte (a) del Postulado 1, pues all afirmbamos que, si tenamos
una recta, podamos contar con por lo menos dos puntos distintos en ella; mientras
que aqu afirmamos que, si tenemos dos puntos distintos, podemos contar con una
recta nica que los contiene.
reduciremos nuestro Universo a una recta. Bajo esta perspectiva aceptaremos slo
dos propiedadesh13i , la primera de las cuales nos ofrecer una manera de definir
dos de las figuras geomtricas distinguidas en una recta (segmento y rayo) que,
a su vez, nos permitirn luego definir nuevas figuras geomtricas planas (ngulo,
tringulo, cuadriltero y polgono); y la segunda nos permitir hacer una descripcin de una recta, ms cercana a nuestra idea intuitiva.
Postulado 3
(a) (De la distancia)
Cada par de puntos tiene asociado un nico nmero real no negativo, al que
llamaremos la distancia desde el uno hasta el otro.
Si denotamos los puntos con los smbolos A y B, a veces llamaremos a ese
nmero la distancia entre A y B, y lo denotaremos por ABh14i .
(b) (De la Reglah15i )
(i) Hay una correspondencia biunvocah16i entre los puntos de cualquier
recta y los nmeros reales, y sta es tal que la distancia entre dos puntos
de la recta se obtiene mediante el valor absoluto de la diferencia de los
nmeros reales que les correspondenh17i .
A una tal correspondencia la llamaremos un sistema de coordenadas de
la recta, y al nmero real que le corresponde a un punto de la recta lo
llamaremos la coordenada del punto (en dicho sistema de coordenadas).
(ii) (Colocacin de la Regla)
Dados dos puntos distintos A y B de una recta, siempre podremos escoger
la correspondencia anterior de tal manera que al punto A le corresponda
el nmero real cero (0) y al punto B le corresponda cualquier nmero
real positivo prefijado.
Note que AB es un nmero (y no una figura geomtrica): la distancia entre A
y B, o, el nico nmero real no negativo asociado al par de puntos A y B.
El Postulado de la distancia nos habla de la distancia entre puntos, pero no
nos dice de ninguna manera cmo obtenerla. El Postulado de la Regla fija una de
las tantas maneras posibles de medir esa distancia (es decir, una de las tantas
maneras posibles de asignar un nmero real no negativo a cada par de puntos
del plano), describiendo la manera natural en que lo hacemos: utilizando una
regla tan grande y tupida que permita medir distancias entre dos puntos
cualesquiera.
Note tambin que el Postulado de la colocacin de la Regla nos dice que podemos alterar la escala, trasladndola, alargndola, achicndola o voltendolah18i .
Captulo 1
}}
BA
BC
La propiedad (S2) se puede interpretar diciendo que, el estar entre dos puntos
de una recta no depende de la orientacin de la rectah21i . La propiedad (S4) se
podr interpretar, despus de tener la definicin de segmento, diciendo que todo
segmento se puede cortar (la parte (a)) o extender (la parte (b)).
Note que, por (S2), el ordenamiento A-B-C-D es el mismo que D-C-B-A.
(6) Podra cumplirse la segunda condicin de la definicin de Interposicin, y no
cumplirse la tercera?
(7) Con cuntos puntos podemos contar en el plano?
(8) Con cuntas rectas podemos contar en el plano?
del segmento; y
todos los puntos que estn entre ellos dos, a los que
llamaremos puntos interiores del segmento.
A
AB
Captulo 1
direccinh27i
establece la
del rayo;
todos los puntos que estn del mismo lado, del origen, que el que establece la direccin.
AB
Es claro que, dos puntos distintos cualesquiera no determinan un rayo: depende de cul de ellos se tome como origen. Por el otro lado, si hablamos de un
rayo r, tampoco ste determina un nico par de puntos, de los que uno es el origen
y el otro el que establece la direccin; como veremos en el siguiente resultado,
el nico punto que podemos estar seguros que est determinado en un rayo es su
origen. Su prueba depende slo de las propiedades de la Interposicin, pero, con
la idea de no recargar la exposicin con demasiados detalles, dejaremos tambin
su prueba para el Apndice A.
Proposicin 1.4 (Igualdad de rayos)
Dos rayos son iguales si, y slo si, tienen el mismo origen y los puntos que establecen la direccin son iguales o estn del mismo lado del origen comn.
Si denotamos al origen y al punto que establece la direccin de un rayo con
Captulo 1
(CS4) Dado un segmento AB y un rayo CD, se tiene que existe un nico punto
AB.
P en CD tal que CP =
(CS5) Todo segmento tiene exactamente un punto medio.
10
Precisemos ahora la siguiente relacin entre rayos, muy importante en el desarrollo de nuestra teora.
Definicin 1.8 (Rayos opuestos)
Un rayo es opuesto a otro rayo, si:
(a) tienen el mismo origen; y
(b) los puntos que establecen la direccin de cada uno
de ellos estn en lados opuestos del origen comn.
De dos rayos, de los que uno es opuesto al otro, diremos
que son rayos opuestos.
AB
A
B0
AB0
Captulo 1
11
Como es de esperar, todo punto de una recta determina exactamente dos sentidos en ella. Su justificacin se encuentra en la siguiente proposicin.
Proposicin 1.7
(a) Todo punto de una recta es origen de exactamente dos rayos opuestos en esa
recta.
(b) Cualesquiera dos rayos opuestos tienen en comn slo su origen, y su unin
es igual a la recta que los contiene.
Prueba (a) Sea m una recta y A un punto en ella. Tomemos, por el Postulado 1,
un punto B en m distinto de A. Tomemos, por (S4), un punto B0 tal que B0 -A-B.
As, por la definicin de rayo opuesto, AB y AB0 son rayos opuestos contenidos
tendremos, por la proposicin 1.4, que AB = AC; y, por la proposicin 1.6, que
casos tendremos, por la proposicin 1.4, que AB = AC; y, por la proposicin 1.6,
que AB0 = AC0 . En el tercero de los casos tendremos, por la definicin de rayo
opuesto, que AB y AC son rayos opuestos. As, por la proposicin 1.6, AB = AC0
y AB0 = AC.
Dejaremos la prueba de la parte (b) para el Apndice A, por las mismas razones
expuestas en las proposiciones 1.3 y 1.4.
Hasta ahora hemos considerado slo las condiciones bajo las cuales dos segmentos son congruentes. Para finalizar este captulo estudiaremos las condiciones bajo las cuales podemos asegurar que dos segmentos no son congruentes
y definiremos una nueva relacin entre segmentos.
Partiremos de la siguiente pregunta: bajo qu condiciones podemos asegurar que dos segmentos no son congruentes? Como la congruencia entre segmentos ha sido especificada nica y exclusivamente en trminos de su longitud,
podemos pensar, lcitamente, que la pregunta debiera responderse, tambin, en
estos mismos trminos. De hecho,
12
Captulo 1
13
E
F
14
(b) AC = BC = AB.
Captulo 1
15
16
1.26 Si C es un punto en AB distinto de A y tal que AC < AB, pruebe que A-C-B.
Captulo 1
17
1.33 Dados dos puntos distintos A y B, pruebe que la unin de los rayos AB y BA es la
recta AB.
1.34 Dados dos puntos distintos A y B, pruebe que la interseccin de los rayos AB y
BA es el segmento AB.
1.35 Si A, B y C son tres puntos distintos de una recta tales que AC + BC = AB, cul
es la interseccin de CB y BA?
1.36 Si X es un punto de AB, y Q y R son puntos tales que Q-X-R, pruebe que Q o R
est en AB.
18
estudiando.
h2i Pitgoras
defini punto como una mnada (unidad) con posicin; Platn lo defini como el principio de una recta.
Euclides, en sus Elementos, intent hacer una definicin de algunos de estos trminos, mediante:
punto:
recta:
plano:
plano:
Es fcil constatar que estas definiciones dan lugar a descripciones circulares. Las condiciones que
definen a el plano, un punto o a una recta, y que hacen que stas sean subconjuntos distinguidos
del plano, no pueden ser precisadas en una definicin; pero, sin embargo, insistimos, aceptaremos
que satisfacen algunas propiedades que harn que se parezcan a sus representaciones.
h3i No
enunciaremos todos los postulados de inmediato, como quizs debera hacerse formalmente,
sino que los expondremos a lo largo de todo el estudio. La idea que nos gua en esta disposicin
es la de ir mostrando las consecuencias que se pueden obtener de cada grupo de postulados, para
hacer clara su dependencia respecto a stos.
h4i No
significa esto que la Geometra trata de la superficie que usemos como representacin; tratar
solamente del conjunto P. Lo mismo decimos de las otras dos representaciones.
Como caractersticas especiales de la representacin de nuestra idea intuitiva de un punto podemos
sealar, a primera vista, el hecho de que son, en el sentido estricto de la palabra, atmicos (es decir,
que no tiene partes, no es un agregado de otros elementos); respecto a la representacin de una
recta podemos sealar que son delgadas, que no se doblan, y que se extienden indefinidamente, ya
que las flechas indican precisamente que la recta no termina donde termina su dibujo. Pero esto
no significa, en absoluto, que las anteriores caractersticas sean ipso facto propiedades del punto
y de la recta; a travs de los postulados y las proposiciones de la teora trataremos de que queden
establecidas de manera formal dichas caractersticas especiales.
Aclaramos pues, que no debemos confundir las representaciones (los dibujos) con las ideas intuitivas que tenemos de los objetos con los que trabajaremos, puesto que nadie podr jams hacer un
dibujo preciso ni de un punto, ni de una recta, sino solamente aproximaciones ms o menos fieles.
Los modelos que nosotros mismos usaremos, slo nos servirn de instrumentos de ayuda a nuestra
Captulo 1
19
intuicin. Para resumir: en un dibujo no debemos asumir nada que no sea expresamente dado como
hiptesis o que hayamos deducido previamente.
Por otro lado, dibujar la representacin de un objeto equivale a destacar los puntos que corresponden a la figura que estamos representando, no a crear sus puntos: los puntos estn todos dados de
antemano en la superficie que estamos tomando como representacin del plano.
h5i De
una vez decimos que, una figura geomtrica no es otra cosa que un subconjunto no vaco
cualquiera del plano, es decir, cualquier conjunto no vaco de puntos. Despus de expuesto nuestro
primer postulado estaremos asegurando, junto con lo que aqu estamos haciendo notar, que las
rectas son figuras geomtricas.
h6i Una observacin indispensable sobre la manera de expresarnos es la que corresponde a la expresin
se encuentra sobre. Estrictamente hablando deberamos decir pertenece a, est contenido en, es
subconjunto de o es parte de. Sin embargo, estas expresiones, as como las expresiones pasa
por, pasa a travs de, est sobre, est en, etc., sern usadas como sinnimas y, por esta razn,
indistintamente. Del mismo modo, cuando decimos fuera de, externo a, no pasa por, estamos
diciendo que no pertenece a, no est contenido en, etc.
Note que lo que hacemos, segn este comentario, es una transcripcin de los trminos de la Teora
de conjuntos (que para nosotros, en este momento, es como una herramienta) a los trminos clsicos
de la Geometra.
h7i En
trminos no muy precisos se podra decir: las rectas no tienen menos de una dimensin.
h8i En
trminos no muy precisos se podra decir: el plano no tiene menos de dos dimensiones.
h9i Queremos
decir con el trmino determinar, que no necesitamos ninguna otra condicin adicional
para tener definida una recta, que dos puntos distintos.
h10i Hacemos
la aclaratoria de que = indicar, siempre que lo usemos entre figuras geomtricas, que
los trminos son iguales como conjuntos, es decir, que contienen exactamente los mismos puntos.
En consecuencia, 6= indicar que los trminos son distintos como conjuntos, es decir, que hay al
menos un punto en uno de ellos que no est en el otro.
h11i Aclaramos
que cuando decimos que dos figuras geomtricas se intersectan, se cortan, se cruzan,
estamos diciendo que su interseccin como conjuntos es no vaca (es decir, que contiene al menos
un punto) o, lo que es lo mismo, los conjuntos tienen al menos un punto comn; y cuando decimos
que dos figuras geomtricas no se intersectan, no se cortan, no se cruzan, queremos decir que
su interseccin como conjuntos es vaca (es decir, que no contiene ningn punto) o, lo que es lo
mismo, los conjuntos no tienen ningn punto en comn.
h12i Decimos
delgadez para indicar que las rectas son delgadas en el sentido de que, cualquiera sea
la manera en que se conciba la dimensin de un punto, no son ms gruesas que esta dimensin.
Decimos rectitud para indicar que las rectas no se doblan, es decir, que puede suceder, en el encuentro de dos rectas, slo lo que se ilustra en el lado izquierdo, y no en las otras de las siguientes
representaciones:
20
h13i Por
cierto, son esas dos propiedades las que justifican el calificativo mtrica que hemos adosado al
nombre de la Geometra que estamos estudiando.
h14i Ordinariamente
se usan diferentes unidades de medida para medir distancias entre puntos, obteniendo as diferentes escalas. La distancia entre puntos depender entonces de la escala escogida.
El Postulado de la distancia no fija una unidad de medida. Pero debe quedar claro que los resultados
que nosotros obtengamos en nuestra teora no pueden depender de la unidad de medida escogida.
Basta, para ello, que seamos consistentes en la eleccin de una escala, cualquiera que sea, en el
sentido de que no estar permitido cambiar la escala durante el desarrollo de una prueba, o de la
solucin de algn problema, en la que intervenga el uso de la distancia entre puntos.
h15i Este
h16i Queremos decir con el trmino biunvoca que a cada punto de la recta corresponde un nico nmero
lector podr darse cuenta de que, con este postulado, no hara falta introducir el Postulado de la
distancia (sacrificando de este modo la independencia entre los axiomas de la teora y aumentando
innecesariamente el nmero de ellos), ya que a partir de ste podemos asignar directamente un
nmero real no negativo a cada par de puntos. Hemos decidido introducir aparte el Postulado de
la distancia slo para mostrar que las definiciones de Interposicin, segmento y rayo (y, por tanto,
las de ngulo, tringulo, cuadriltero y polgono en general) no necesitan de un axioma tan fuerte
como el de la Regla, sino que basta con muchsimo menos, a saber: una asignacin como la del
Postulado de la distancia que no est sujeta a ninguna condicin adicional.
h18i Esta
parte del postulado se obtiene como consecuencia inmediata de la parte (b).(i), pero su demostracin requerira hacer una consideracin aparte del concepto de funcin y, en particular, de
funcin biyectiva, que en esta oportunidad nos ahorraremos agregndola como parte del postulado.
h19i La
relacin de Separacin de puntos de una recta fue utilizada por Euclides en sus Elementos, sin
mencionarla aparte, ni definirla, ni hacer observacin alguna ni anlisis de ella.
h20i Para
recordarlas slo basta con observar que son las nicas que se obtienen al eliminar una de las
letras en A-B-C-D.
Captulo 1
21
h21i Sin
ninguna precisin respecto al trmino orientacin, atenindonos slo a la idea intuitiva que
tenemos de ste.
h22i Notar
el lector que expondremos las definiciones de segmento y rayo de una manera poco usual,
pero que a nuestro parecer describen la manera en que se dibujan sus representaciones. Dicha
manera tiene la ventaja de que podremos referirnos a los segmentos y los rayos sin necesidad de
nombrar los puntos caractersticos de estas figuras geomtricas, y hablar, por ejemplo, del segmento
s o del rayo r en cualquier parte de nuestro discurso; cosa que no podramos hacer si los definimos
de la manera ms comn en los textos de Geometra, ya que, en ese caso, slo tenemos licencia
para hablar, por ejemplo, del segmento AB o del rayo AB, obligados a mencionar los puntos A y
B. Por supuesto, el precio que debemos pagar por adoptar este punto de vista es que, si bien la
definicin de segmento resulta bastante sinttica, la de rayo se extiende un poco, por ser una figura
geomtrica ms compleja; pero, en todo caso, por su secuencia descriptiva, no resulta tan difcil de
comprender y memorizar.
h23i De
aqu en adelante, a lo largo de todo el texto, entenderemos que la expresin una figura geomtrica formada por significa que estamos hablando del conjunto de puntos que se obtiene por la
unin de todos los conjuntos cuyos elementos son los objetos que se enumeran inmediatamente.
h24i Esto
h25i Esto
h26i La
h27i En
verdad, no slo establece la direccin, sino tambin el sentido; pero, por razones de economa
en la denominacin del punto, slo diremos que establece la direccin.
h28i Para
hacer conteos precisos, y no utilizar los dibujos que representan los objetos que tenemos que
contar, recordaremos las frmulas de Variaciones y Combinaciones, y sus conceptos:
Cuando, de m objetos, tenemos que contar las posibles escogencias de n de ellos en un cierto orden,
es decir, cuando el orden en que se hace la seleccin de los n objetos es relevante, tendremos
Variaciones de m tomados n a n (n 6 m), que representaremos mediante Vm,n . La frmula para este
conteo es:
m!
Vm,n =
(m n)!
(esto corresponde a contar las posibles funciones inyectivas que podemos definir desde un conjunto
de n elementos, en un conjunto de m elementos).
Cuando, de m objetos, tenemos que contar las posibles escogencias de n de ellos sin tomar en
cuenta el orden, es decir, cuando el orden en que se hace la seleccin de los n objetos es irrelevante,
tendremos Combinaciones de m tomados n a n (n 6 m), que representaremos mediante Cm,n . La
frmula para este conteo es:
m!
Cm,n =
n! (m n)!
(esto corresponde a contar los subconjuntos de n elementos, en un conjunto de m elementos).
h29i Esto
22
n1
X
k=1
k y, as, al nmero
n(n1)
2 .
Captulo 1
23
Pitgoras
(580 Samos - 475 a. C. Siracusa)
Platn
(427 Atenas - 347 a. C. Atenas)
Euclides de Alejandra
(325 - 265 a. C. Alejandra)
Ren Descartes
(Renatus Cartesius)
(1596 La Haya - 1650 Estocolmo)
24
Euclides de Alejandra
(325 - 265 a. C. Alejandra)
Sabemos por Proclo que recopil muchos de los teoremas demostrados por
Eudoxo (408-355 a. C. Cnidos) y perfeccion otros de Teeteto (417-369 a. C.
Atenas), ambos miembros de la Academia. Sabemos que vivi en la poca del
Ptolomeo I, y que respondi a ste mismo, al preguntarle si haba algn camino
a la Geometra ms corto que el de los Elementos, que en verdad no haba
ningn camino real a la Geometra.
Euclides escribi muchas otras obras, algunas de ellas perdidas en la historia,
de las que slo tenemos referencia por otros escritos (entre las que ms se
lamenta la prdida se encuentra un Tratado sobre Cnicas), y otras que an
conservamos, como son: Los Datos, La Divisin de las Figuras, Los Fenmenos
y La ptica.
En cuanto a los Elementos, los seis primeros libros estn dedicados a Tringulos, Rectngulos, Crculos, Polgonos, Proporcin y Semejanza, respectivamente; los cuatro siguientes estn dedicados a la Aritmtica, donde se prueban
cosas tan notables
como la infinitud de los nmeros primos y la irracionalidad
3 Fundado por Ptolomeo I Ster en el ao 290 a. C. ste logr establecer su gobierno en la regin
egipcia del Imperio Griego despus del gran trabajo que suscit la muerte de Alejandro.
Captulo 1
25
26
David Hilbert
(23/06/1862 Knigsberg 14/02/1943 Gttingen)
Captulo 1
27
Captulo 2
BAC
A
29
30
Si denotamos los lados de un ngulo con los smbolos AB y AC, denotaremos al ngulo por BAC (o CAB; siempre con el vrtice entre los puntos que
establecen las direcciones de los lados). Si los lados de un ngulo estn previamente determinados, y su vrtice es A, denotaremos el ngulo mediante A.
En todo ngulo BAC asumiremos que A, B y C no son colineales.
Observacin 2.1
(a) Tal y como los hemos definido, los ngulos no estn orientados, como se usa en Trigonometra; en
la definicin dada, no importa qu lado se nombra
primeroh4i . Adems, gracias a las proposiciones 1.4
y 2.1, no importa qu punto se nombra sobre cada
uno de los lados del ngulo. As, por ejemplo, el ngulo en la figura puede denotarse por BAC, BAE,
DAC, DAE, EAD, EAB, y as sucesivamente.
(b) En muchas ocasiones, por la necesidad de diferenciar un ngulo de otros, dibujaremos un arco entre
los lados del ngulo que nos interesa; e inclusive escribiremos smbolos que nos permitan simplificar la
notacin. As, por ejemplo, en la figura, 1 y BAC
representan el mismo ngulo; y CAD tambin
representan el mismo ngulo.
(c) Note que los lados de un ngulo son rayos y no segmentos; pero, del mismo modo que un segmento determina una recta sin ser recta, o determina un par
de rayos sin ser rayo, as mismo un par de segmentos no colineales con un extremo comn determinan
un ngulo, sin formar ellos mismos un nguloh5i .
(d) Note adems que dos rectas distintas que se cortan,
digamos en el punto A, forman exactamente cuatro
ngulos con vrtice en A. Para verlo tomemos, por
la proposicin 1.7, los dos rayos opuestos con ori
B
D
C
1
AC0
C
B
una, y AC y
en la otra. Todos los pares de rayos
no colineales con origen en A formarn los ngulos
BAC, CAB0 , B0 AC0 y C0 AB.
(1) Podremos asegurar que existen ngulos?
B0
C0
Captulo 2
31
As como asignamos a cada par de puntos del plano un nmero real no negativo (la distancia entre ellos), postularemos la asignacin de un nmero real
positivo a cada ngulo (la medida del ngulo), de tal manera que se cumpla todo
lo que nos gua en el uso de un transportador. Pero, para poder expresar todas
las condiciones de esa medicin de ngulos de una sola vez, necesitamos algunos
conceptos que dependen de una propiedad esencial que tiene el plano y que postularemos previamente. Con el propsito de expresar sintticamente dicho postulado, introducimos la siguiente definicin.
Definicin 2.2 (Convexoh6i )
Un conjunto de puntos es convexo, si contiene los segmentos que unen a cualesquiera dos de sus puntos distintos.
En otras palabras, un conjunto de puntos C es convexo si, dados dos puntos
distintos A y B en C , el segmento AB est contenido en C .
Una ilustracin grfica de un conjunto convexo, y de uno que no lo es, se
puede hacer como sigue:
32
H1
B
A
I
E
H2
Captulo 2
33
A partir de esta propiedad que tiene el plano obtenemos los siguientes dos
resultados. El primero de ellos establece que, tal como se espera, una recta no
queda encerrada en uno solo de los semiplanos determinados por otra recta, si
acaso toca el borde.
Proposicin 2.2 (Teorema de transversalidad)
Dos rectas se cortan y son distintas si, y slo si, cada una de ellas contiene puntos
en ambos lados de la otra.
34
El segundo resultado nos garantiza que los rayos que comienzan en una recta
que no los contiene, permanecen en uno solo de los lados de esa recta.
Proposicin 2.3 Dado un rayo con origen en una recta, se tiene que uno de sus
puntos est en uno de los lados de la recta si, y slo si, todos sus puntos, excepto
el origen, estn en ese mismo lado de la recta.
Prueba Sea m una recta, H uno de sus la
dos, y AB un rayo tal que A est en m.
() Supongamos que B est en H , y consi-
AB
B
m
A
A partir del Postulado de separacin del plano definimos dos conjuntos especiales asociados a un ngulo.
Captulo 2
35
BAC
Interior
(9) Dado un punto y un ngulo cualquiera, podremos asegurar que ese punto debe
estar en el interior o en el exterior del ngulo?
BAC
B
AC que contiene a B y del lado de AB que contiene a C; y esto sucede si, y slo si, cualquiera de
Aprovechando la presentacin del concepto anterior se puede probar un teorema importante que permite saldar muchos detalles en las pruebas de los resultados de los captulos posteriores: el Teorema de la barra transversal. Este
teorema nos proporciona una caracterizacinh8i del interior de un ngulo que
nos permitir verificar que un punto est all sin usar semiplanos. Como veremos, su enunciado es, aparentemente, muy sencillo, pero su prueba presenta al-
36
gunas sutilezas; razn por la cual nos parece adecuado presentarla en detalle en el
Apndice B, donde adems probaremos, previamente, algunos resultados, tiles
por s mismos, que nos llevarn a alcanzar ese fin.
Teorema 2.1 (Teorema de la barra transversal)
Un punto D est en el interior de un ngulo BAC
B
D
BAC
Con el propsito de expresar sintticamente el siguiente postulado, que establecer cmo mediremos los ngulos, introducimos las siguientes dos definiciones.
Definicin 2.4 (ngulos adyacentes o consecutivos)
Un ngulo es adyacente a otro ngulo, si
(a) tienen un lado comn, y
(b) el punto que establece la direccin de ese
lado est en el interior del ngulo formado
por los otros dos lados.
De dos ngulos, de los que uno es adyacente al
otro, diremos que son ngulos adyacentes o consecutivos; del ngulo formado por los dos lados
no comunes diremos que es el ngulo abarcante.
B
D
Note que, gracias al corolario 2.3.1, todo el lado comn est, excepto su origen, en el interior del ngulo formado por los otros dos lados. Adems, un ngulo
BAD tiene un nmero indefinido de adyacentes: por lo menos uno por cada
punto C tal que B-D-C o D-B-C.
Definicin 2.5 (Pareja lineal y par lineal)
Un ngulo es pareja lineal de otro ngulo, si
(a) tienen un lado comn; y
(b) los otros dos lados son rayos opuestos.
De dos ngulos, de los que uno es pareja lineal del
otro, diremos que forman un par lineal.
Captulo 2
37
Note que todo ngulo tiene exactamente dos parejas lineales: uno que se
forma al tomar el rayo opuesto de uno de los lados, y otro al tomar el rayo opuesto
del otro lado.
Postulado 5 (Del Transportadorh9i )
(a) (Medida del ngulo)
Cada ngulo tiene asociado un nico nmero real comprendido estrictamente
entre 0 y 180, al que llamaremos la medida del ngulo.
Si denotamos a un ngulo con el smbolo , denotaremos su medida por
m h10i .
(b) (Construccin de ngulos)
Dado un rayo AB en el borde de un semiplano H , y un nmero real r estrictamente comprendido entre 0 y 180, se tiene que existe exactamente un rayo
38
G
J
D
B
B
C
En algunos contextos diremos que este rayo biseca al ngulo; bisecar un ngulo
significar contener, o estar contenido en, su bisector.
Captulo 2
39
Una pregunta que surge naturalmente es: cuntos bisectores tiene un ngulo? La siguiente proposicin establece lo que es la respuesta natural a esta
interrogante. Como su prueba involucra tcnicas semejantes a las de la prueba del
Teorema de la barra transversal, y con la idea de no recargar la exposicin con
demasiados detalles, la presentaremos en el Apndice B.
Proposicin 2.5 (Existencia y unicidad del bisector)
Todo ngulo tiene exactamente un bisector.
Despus de introducir el siguiente postulado daremos una caracterizacin
muy importante del bisector de un ngulo (ver la proposicin 3.11).
El Postulado del Transportador nos permitir, adems, hacer una clasificacin
de los ngulos, tal y como veremos de inmediato.
Definicin 2.8 (ngulo recto y perpendicularidad; ngulo oblicuo)
Un ngulo es recto, si su medida es 90.
Dos rayos, dos segmentos, dos rectas, o cualquier combinacin entre ellos, son perpendiculares, si se cortan
determinando un ngulo recto.
Si denotamos dos de esos objetos con los smbolos r y s,
el hecho de que ellos sean perpendiculares lo denotaremos por r s, y el hecho de que no sean perpendiculares
por r 6 s.
Un ngulo es oblicuo, si no es recto.
AB. Es claro que el ngulo CAD es una pareja lineal del ngulo CAB. Ahora
bien, por el Postulado del par lineal, mCAB + mCAD = 180. De esta manera,
40
CAB es recto si, y slo si, CAD es recto, es decir, si, y slo si, CAB
= CAD.
Por tanto, un ngulo es recto si, y slo si, es congruente a cualquiera de sus dos
parejas lineales.
r
mr > 90
mr + ms = 90
mr + ms = 180
Captulo 2
41
(20) Ser verdad que dos ngulos congruentes y suplementarios son rectos?
(21) Ser verdad que, de dos ngulos suplementarios, uno es agudo y el otro obtuso?
s
r0
r
s0
42
Proposicin 2.9 Dos rectas son perpendiculares si, y slo si, los cuatro ngulos
que se forman en el corte son rectos.
Prueba Sean l y m dos rectas.
() Supongamos que se cortan en A formando
un ngulo recto. Consideremos, por la observacin 2.1.(d), los cuatro ngulos que se forman en
el corte de l y m: CAB, BAC0 , C0 AB0 y B0 AC.
Supongamos que CAB es recto. Como BAC0 y
B0 AC son parejas lineales de CAB, tenemos, por
la proposicin 2.6, que BAC0 y B0 AC son rectos.
Como C0 AB0 es opuesto por el vrtice de CAB,
tenemos, por la proposicin 2.8, que C0 AB0 es
recto. As, los cuatro ngulos son rectos.
() Esta parte de la proposicin es trivial.
m
C
l
B0
A
C0
l
P
l
P
Captulo 2
43
Sabemos, por (CS5) y la proposicin 2.10, que esta recta est unvocamente
determinada; de tal manera que, cada vez que tengamos un segmento AB, siempre
podemos considerar sin ambigedad su mediatriz, es decir, la recta m perpendicular a AB por su punto medio C.
Despus de introducir el siguiente postulado daremos una caracterizacin
muy importante de la mediatriz de un segmento (ver la proposicin 3.5).
Hasta ahora hemos considerado slo las condiciones bajo las cuales dos ngulos son congruentes. Para finalizar este captulo estudiaremos las condiciones
bajo las cuales podemos asegurar que dos ngulos no son congruentes y definiremos una nueva relacin entre ngulos.
Partiremos de la siguiente pregunta: bajo qu condiciones podemos asegurar que dos ngulos no son congruentes? Como la congruencia entre ngulos
ha sido especificada nica y exclusivamente en trminos de su medida, podemos
pensar, lcitamente, que la pregunta debiera responderse, tambin, en estos mismos trminos. De hecho,
ABC DEF si, y slo si, mABC 6= mDEF,
Ahora bien, gracias a la tricotoma del orden de los nmeros reales, respondemos a la pregunta planteada as:
ABC DEF si, y slo si, mABC < mDEF o mDEF < mABC.
Definamos entonces la siguiente relacin entre ngulos.
Definicin 2.15 (Es ms pequeo que)
El ngulo ABC es ms pequeo que el ngulo DEF, si mABC < mDEF.
En algunos casos diremos que el ngulo DEF es ms grande que el ngulo
ABC.
44
Note que los ngulos agudos son ms pequeos que los rectos y stos, a su
vez, ms pequeos que los obtusos.
Note tambin que, gracias a la transitividad del orden de los nmeros reales,
tendremos que: si el ngulo ABC es ms pequeo que el ngulo DEF, y ste
es ms pequeo que el ngulo GHI, entonces ngulo ABC es ms pequeo
que el ngulo GHI.
Con esta definicin podemos dar una respuesta a la pregunta planteada en
trminos de la congruencia misma, prescindiendo de la medida de ngulos, por
medio de la siguiente proposicinh14i . Como su prueba involucra tcnicas muy
parecidas a las del Teorema de la barra transversal, exponemos su prueba en el
Apndice B.
Proposicin 2.11 El ngulo ABC es ms pequeo que el ngulo DEF si, y
slo si, existe un punto G en el interior de DEF tal que GEF
= ABC.
Captulo 2
45
2.8 Si PMN
= PNM, pruebe que
CMP
= DNP.h16i
46
2.9 Si DBC
= ECB, pruebe que
ABC = ACB.
B
D
2.10 Si BAC
= ABC y CAE
= CBD, pruebe
DBA.
que EAB
=
E
C
2.11 Si GBC
= BEF, pruebe que:
(a) ABG
= DEB
= FEH
= CBE.
G
C
A
B
E
F
D
H
C
B
Captulo 2
47
a C distinta de AC.
2.24 Sean A1 , A2 , A3 y A4 cuatro puntos distintos no colineales tres a tres. Si A1 A2 y
2.26 Si D es un punto en el interior de BAC, pruebe que el rayo AD0 , opuesto al rayo
AD, excepto A, est en el interior del ngulo opuesto por el vrtice a BAC.
2.27 Sean MN y PQ que se cortan en O, de tal manera que M-O-N y P-O-Q. Sean S y T
dos puntos en el interior de QON tales que T OQ
= T ON y SOQ
= SON.
48
Captulo 2
49
esta afirmacin en las revisiones que hemos hecho de los textos de Geometra de nuestro bachillerato que presentan alguna definicin de ngulo. Ofreceremos dos ejemplos, de muchos
que podemos mostrar (el subrayado es nuestro): Baldor, Geometra plana y del espacio, y Trigonometra, J. A., Cultural Venezolana S. A., 1967, pgina 22; un ngulo es la abertura formada
por dos semirrectas con un mismo origen ...; Brett, E. y Surez, W., Actividades de matemtica,
Primero de Ciencias, Corporacin Marca S. A., 2001, pgina 97: un ngulo es la porcin del
plano limitada por dos semirrectas ....
h2i A
pesar de que abusamos un poco del trmino, entendemos por esto que los dos rayos no se encuentran a la vez sobre la misma recta.
h3i En
h4i Los
ngulos orientados son, en verdad, pares ordenados de rayos que tienen el mismo origen, pero
este no es el tipo de ngulos con que nos tenemos que ver en Geometra.
h5i Es
muy importante que la observacin que hacemos en este punto sea tomada en cuenta y sea
retenida por el lector, ya que lo que decimos aqu nos permitir luego hablar, sin incoherencias, de
los ngulos de un tringulo.
h6i El
h7i Exageramos
h8i Una
Trataremos de prescindir
de l en lo posible, refirindonos ms bien a sus consecuencias fundamentales, que son precisamente las propiedades que destacaremos con los nombres (CA1)-(CA4) en la proposicin 2.4.
50
h10i Este
h11i Note
que hemos denotado la congruencia entre ngulos con el mismo smbolo con el que hemos
denotado la congruencia entre segmentos. En esto no vemos posibilidad de ambigedad, ya que
siempre estarn bien identificados los objetos que relacionaremos.
h12i El
Postulado del transportador nos permite dar una respuesta afirmativa a esta interrogante. La
existencia de, por lo menos, un ngulo recto es crucial en el desarrollo de la Geometra, pues de
ello depende que existan objetos que correspondan a una gran cantidad de conceptos, como por
ejemplo: la respuesta de las dos preguntas siguientes; ngulos agudos, obtusos y complementarios;
tringulos issceles, escalenos, rectngulos, acutngulos y obtusngulos; perpendicular a una recta
por un punto; mediatriz de un segmento; alturas de un tringulo, etc.
La Geometra sinttica plana, que se desarrolla sin postular la distancia entre puntos ni la medida de ngulos (es decir, la que sustituye la Regla por un Canto recto, y el Transportador por un
Comps), tiene que esperar a introducir el siguiente postulado (el criterio LAL de congruencia de
tringulos) para poder demostrar la existencia de un ngulo recto. Es esta manera de estudiar la
Geometra la que hace uso exclusivo de las propiedades (CA1)-(CA4), as como de las propiedades
(S1)-(S5) y (CS1)-(CS5), para obtener los resultados.
Por otro lado, la definicin misma de ngulo recto en la Geometra sinttica, que no usa un Transportador para medir ngulos y que, por tanto, no lo puede definir a partir de su medida como hemos
hecho, es la que presentaremos en la siguiente proposicin.
h13i Recordemos
que el procedimiento para dibujar esta recta es el siguiente: con un comps se trazan
dos puntos equidistantes del punto fijado en la recta dada y luego, con centro en esos dos puntos,
se trazan dos crculos que se cortan. La recta buscada es la determinada por los dos puntos de corte
entre los crculos (note que el procedimiento no depende de ninguna medicin de distancias ni de
ngulos, es decir, se ha realizado slo con un canto recto y un comps).
h14i Notar
el lector que en la prueba de esta proposicin haremos uso del Postulado del transportador;
pero la caracterizacin que se presenta en la siguiente proposicin permitir usar la relacin es ms
pequeo que prescindiendo de dicho Postulado.
h16i Recordamos
aqu lo dicho al final de la Nota h4i del Captulo 1 slo para decir que, en algunas
ocasiones, debemos hacer algunas concesiones y asumir, en los dibujos, algunos datos evidentes
(como colinealidad, el estar de un mismo lado de una recta, etc.), pero en ningn caso medidas
de longitudes o de ngulos que se pueden hacer sobre el dibujo (pues esto traera el gravsimo
inconveniente de que los datos dependeran de la precisin de los instrumentos que se usen, de la
perspectiva desde la que se enfoque el dibujo, y del rgano de la vista de quien lo est analizando).
Por otro lado, todos los problemas cuyos datos estn dados en un dibujo podran enunciarse sin
necesidad de usar un dibujo para exponer sus datos, tal como hicimos en el problema anterior;
pero esa manera hara innecesariamente complicado su enunciado, tal como puede verse en el
Captulo 2
51
llanura muy frtil en la regin del Asia Menor situada entre los ros Tigris y ufrates, hoy
conocida como Iraq, 90 kilmetros al sur de Bagdad. Su nombre es de origen griego, proveniente
de las palabras o , que significa entre, en medio de, y o o , que significa ro.
2 La palabra Babilonia, cuyo significado es puerta de los dioses, era a la vez el nombre de una
ciudad y de todo un imperio, el cual floreci hacia el 1850 a. C.
3 La otra civilizacin importante, con la que conviva la Sumeria, es llamada la civilizacin
Acadia en el noroeste.
52
Captulo 2
53
10, que tiene slo dos (2 y 5). El nico detalle a resaltar entre sus defectos
era el hecho de que el manejo aritmtico del cero no era claro; razn por la
cual, quizs, no fue absorbido por las civilizaciones inmediatamente posteriores.
Esta circunstancia tuvo como consecuencia que los nmeros no tuvieran una
representacin nica, pues 1 poda significar, segn el contexto, 1, 60 o 3600,
pues stos se representaran, con el cero, mediante 1, 10 y 100, respectivamente.
Uno de los reflejos del uso del sistema sexagesimal de numeracin es su
forma de divisin del tiempo, que ha perdurado por ms de cuatro mil aos.
Fueron los babilonios los que dividieron el da en veinticuatro horas, las horas
en sesenta minutos y los minutos en sesenta segundos. As, por ejemplo, el
4
5
6
+
; ahora,
nmero 3, 456 en el sistema decimal es el nmero 3 + +
10 100 1000
si ~ y } fueran los smbolos para 25 y 48 en el sistema sexagesimal, entonces,
~
}
, indicara las siete horas, veinticinco
el nmero 7, ~}, es decir, 7 + +
60 3600
minutos y cuarentayocho segundos, que nosotros solemos escribir 7h 250 4800 .
Otro de los reflejos del uso del sistema sexagesimal de numeracin, y que es
el que propiamente nos motiva a presentar estas observaciones sobre babilonia,
es el siguiente. Nosotros solemos representar grficamente situaciones en las
que dividimos un crculo en cien partes iguales, en especial aquellas en las que
tenemos que representar porcentajes de una magnitud. Para nosotros esto
resulta natural, principalmente porque tenemos un sistema de numeracin de
base diez; pero para los babilonios, que utilizaban un sistema de numeracin
de base sesenta, result muy natural dividirlo en trescientos sesenta partes (los
54
llamados grados), y hacer divisiones de cada uno de stos en sesenta partes (los
llamados minutos), y repetir el proceso siempre dividiendo entre sesenta, que
era la base de su sistema. As las cosas, entran los babilonios en la historia de
las matemticas a travs del aporte de su ingeniosa invencin del grado como
unidad de medida de los ngulos, que es precisamente la que nosotros hemos
fijado en el desarrollo de nuestra teora.
Los babilonios tenan tablas en las que se registraban los clculos de cuadrados5 y races cuadradas, cubos y races cbicas, recprocos6 , exponenciales y
logaritmos; conocan la trigonometra y el Teorema de Pitgoras 1200 aos de
que Pitgoras lo estableciera y conocan, antes de Arqumedes, el nmero ;
saban que las soluciones de algunas ecuaciones se reducan a tablas de logaritmos con base el nmero e = 2.716, que es la base del llamado logaritmo natural
o neperiano; solucionaban ecuaciones polinmicas de grado 8, reducindolas a
su forma cuadrtica. En fin, se nota que los babilonios, un milenio antes del
esplendor de la civilizacin griega, pensaban ms en trminos algebraicos y
trigonomtricos, que en trminos geomtricos.
Pero los babilonios, al igual que los egipcios, eran muy prcticos en su
acercamiento a las matemticas y no desarrollaron el pensamiento abstracto
de las ideas matemticas, tal como lograron los griegos; no pensaron en los
nmeros como cantidades abstractas, sino como cosas especficas y concretas.
La mayor evidencia de la aplicacin de los conocimientos matemticos de
los babilonios fue la construccin masiva. Tal como los egipcios, los babilonios
fueron constructores a gran escala. Desafortunadamente construyeron, por
ausencia de piedras, con bloques de barro; lo cual hizo que sus ruinas no soportaran el tiempo, como las de los egipcios. No en vano los jardines colgantes
de babilonia constituyen una de las maravillas del mundo.
5 Una tabla encontrada en Senkerah, sobre el Eufrates, y que data del 2000 a. C., ofrece los
cuadrados hasta el 59, y los cubos hasta el 32. Como ejemplo damos la expresin del clculo de
82 : 82 = 14, lo cual significa, en base 60, 1 60 + 4 = 64. Con estas tablas calculaban fcilmente
la multiplicacin de dos nmeros haciendo uso de la frmula
ab =
(a + b)2 (a b)2
.
4
6 Se conservan tablas que contienen los recprocos de billones de nmeros. Los babilonios
usaban estas tablas para hacer el clculo de la divisin entre dos nmeros haciendo uso de la frmula
1
ab = a .
b
Captulo 2
55
Tableta babilonia que trata de el dibujo y los clculos de un dique y de unas fosas que deban construirse alrededor de
una ciudad. En esa tableta se lee: . . . ms all de la fosa hice un dique, un codo por un codo es la inclinacin del dique.
Cul es su base, su alto y su largo? y cul es la circunferencia?
Captulo 3
Tringulos
Ahora presentamos otro de los tipos de subconjuntos especiales del plano, que
nos ocupar por un buen tiempo en el desarrollo de esta teorah1i .
Definicin 3.1 (Tringulo)
Un tringulo es una figura geomtrica formada por
los tres segmentos determinados por tres puntos no
colinealesh2i .
De un tringulo llamaremos: a los tres puntos, los
vrtices; a los tres segmentos, los lados; y, a los
ngulos determinados por cualesquiera dos de los
ladosh3i , los ngulos (y, en algunos contextos, los
ngulos interiores o los ngulos internos).
B
4ABC
Es claro que tres puntos no colineales cualesquiera determinan un solo tringulo; pero, si hablamos de un tringulo T , cmo podemos asegurar que ste determina una terna nica de puntos como sus vrtices? En otras palabras, cuntas
ternas de puntos pueden ser vrtices de un tringulo?; o, ms llanamente, cuntos vrtices tiene un tringulo? El siguiente resultado nos da garanta de lo que
es la respuesta espontnea a esta interrogante, y nos ayudar a precisar el concepto de congruencia de tringulos. Su prueba depende slo de las propiedades
de la Interposicin, pero, con la idea de no recargar la exposicin con demasiados
detalles, dejaremos su prueba para el Apndice A.
Proposicin 3.1 (Igualdad de tringulos)
Dos tringulos son iguales si, y slo si, sus vrtices coinciden.
57
58
Si denotamos los vrtices de un tringulo con los smbolos A, B y C, denotaremos al tringulo por 4ABC, y a sus ngulos por A, B y C (slo nombrando
sus vrtices); si X es uno de los vrtices del tringulo 4ABC, algunas veces diremos que X es el ngulo del tringulo en el vrtice X.
Cuando hablemos del tringulo 4ABC, asumiremos que A, B y C no son
colineales.
Note que, tal y como se muestra en la figura adjunta,
un tringulo no contiene a sus ngulos, sino ms bien
est contenido por la unin de ellos (en verdad, de cualesquiera dos de ellos)h4i .
(1) Podremos asegurar que existen tringulos?
A partir del Postulado de separacin del plano definimos dos conjuntos especiales asociados a un tringulo.
Definicin 3.2 (Interior y exterior de un tringulo)
El interior de un tringulo es el conjunto de los
puntos que se encuentran en el interior de sus
tres ngulos a la vezh5i .
El exterior de un tringulo es el conjunto de los
puntos que no estn en el interior del tringulo,
ni sobre el tringulo.
B
4ABC
Exterior
Interior
Captulo 3
59
Tringulos
presado en funcin de las otras dos congruencias ya fijadas (la de los segmentos
y la de los ngulos).
Como acabamos de ver en la proposicin anterior, para mover rgidamente
un tringulo hasta hacerlo coincidir con otro (de ser posible), slo basta con decir
cul vrtice del uno corresponde a cul vrtice del otro. Es decir, para que el
tringulo 4ABC coincida, al moverlo rgidamente, con el tringulo 4DEF, lo
que hay que precisar es una correspondencia biunvocah8i entre sus vrtices, como
por ejemplo:
A D, B E, C F.
Si, al aparear los vrtices de este modo, los tringulos coinciden, entonces
tenemos la idea de que los tringulos son congruentes y de que la tal correspondencia es una congruencia.
Con el propsito de simplificar la notacin escribiremos,
ABC DEF,
Ahora bien, cada correspondencia biunvoca entre los vrtices de dos tringulos trae consigo una correspondencia natural entre lados y ngulos, v. gr., en el
caso de la correspondencia ABC DEF:
AB DE
AC DF
BC EF
A D
B E
C F,
60
4ABC
4DEF
Captulo 3
Tringulos
61
GHI.
=
Como, de acuerdo con las congruencias ABC DEF y DEF GHI, tenemos que AB
= GH, AC
= GI, BC
= HI, A
= G, B
= H y C
= I,
62
AC = DF,
entonces
4ABC
= 4DEF.
B0
Captulo 3
63
Tringulos
0
0
borde, tendremos que FB0 = FE. Pero como, por el corolario 1.1.1, DE y FE se
intersectan en un solo punto, tenemos que B0 = E. Por tanto, 4ABC
= 4DEF,
como queramos.
Como, por (CA1), C = B, y por (CS1), BC = BC, tendremos, por ALA, que 4ABC
= BC (al ser
= 4ACB. As, AB
correspondientes).
C
A
64
los que se pudiera construir un tringulo, todos los que se construyan resultarn
congruentesh13i .
Teorema 3.2 (Criterio LLL de congruencia de tringulos)
Si existe una correspondencia biunvoca entre los vrtices de dos tringulos con
la propiedad de que los tres lados del primer tringulo son congruentes con sus
lados correspondientes en el segundo tringulo, entonces la correspondencia es
una congruencia.h14i
B
En otras palabras: si
AB
= DE,
AC
= DF y
BC
= EF,
entonces
4ABC
= 4DEF.
4AB0C
= 4DEF;
de donde B0C
= EF. Como, por la proposicin 2.3, B0 est
B0
Q
G-A-C; A-C-G.
Captulo 3
65
Tringulos
B0
4ABC = 4DEF.
A igual conclusin llegamos, por un razonamiento anlogo, si suponemos que A-C-G.
B0
C
D
Note que todo tringulo tiene exactamente dos ngulos externos en cada vrtice (pues todo ngulo tiene exactamente dos parejas lineales; refirindonos a la
siguiente figura: 1 y 2, en C; 3 y 4, en B; y 5 y 6, en A), y que ambos son
congruentes (pues son opuestos por el vrtice: 1
= 2, 3
= 4 y 5
= 6).
66
4 3
B
C 1
2
5 A
6
EA.
rayo opuesto al rayo EA tal que EF =
Como BEA y FEC son opuestos por el vrtice, tenemos, por la proposicin 2.8, que BEA
= 4CEF. As,
= FEC. Por LAL tendremos que 4BEA
que F est del mismo lado que B, respecto a CD (ya que, por el Postulado de la
que A-E-F), y D y A estn en lados opuestos de BC (ya que A-C-D), tenemos que
F y D estn del mismo lado de BC; con lo que, por la definicin del interior de
un ngulo, F est en el interior de BCD.
Intercambiando A y B tendremos, por el mismo argumento, que BCD es ms
grande que A.
Captulo 3
67
Tringulos
0
Tomemos, por (CS4), el punto E en DE tal que DE 0
=
B
AB. Por LAL, 4ABC
= 4DE 0 F. As tenemos que:
0
0
E0
Probaremos ahora que podemos trazar una nica perpendicular a una recta por
un punto que no est sobre ellah17i y, como consecuencia inmediata, una condi-
68
cin sobre los ngulos de un tringulo, que nos permitir definir una clase muy
importante de tringulos: los rectngulos. Este resultado nos permitir, adems,
definir un poco ms adelante (ver la definicin 3.9) las alturas desde los vrtices
de un tringulo.
Proposicin 3.4 (Perpendicular a una recta por un punto fuera de ella)
Dada una recta y un punto fuera de ella, se tiene que existe una nica recta
perpendicular a la recta dada que pasa por el punto dado.
Al punto de corte de ambas rectas lo llamaremos pie de la perpendicular desde
el punto dado.
Prueba Consideremos una recta l y un punto P
fuera de ella.
(Existencia) Tomemos, por el Postulado1, dos puntos Q y R en l tales que Q 6= R. Tomemos, por
(CA2), un punto S en el lado opuesto al de P, respecto a l, tal que SQR
= PQR. Tomemos, por
l
Q
P
U
(Unicidad) Supongamos que l1 y l2 son rectas perpendiculares a l por P. Sean A y B sus puntos de corte,
respectivamente, con la recta l. Tomemos, por (CS4),
Q
l1
l2
Captulo 3
69
Tringulos
ral
late
ral
late
cateto
ote
nu
cateto
sa
70
La proposicin 3.3 nos permite obtener el siguiente resultado del que, por su
sencillez, dejaremos la prueba al lector (ver el ejercicio 3.19).
Proposicin 3.6
(a) Un tringulo es issceles si, y slo si, tiene exactamente dos ngulos congruentes.
(b) Un tringulo es equiltero si, y slo si, es equingulo.h18i
(7) Podremos asegurar que existen tringulos issceles?
(8) Podremos asegurar que existen tringulos escalenos?
(9) Podremos asegurar que existen tringulos equilteros?
(10) Podremos asegurar que existen tringulos rectngulos?h19i
(11) Podremos asegurar que existen tringulos obtusngulos?
(12) Podremos asegurar que existen tringulos acutngulos?
(13) Ser verdad que los ngulos que no son el recto, en un tringulo rectngulo,
son agudos?
(14) Ser verdad que los ngulos que no son el obtuso, en un tringulo obtusngulo,
son agudos?
C
Mediana desde A
C
Mediana desde B
C
Mediana desde C
(Note que todo tringulo tiene exactamente tres medianas; que las medianas
tienen sus extremos sobre el tringulo y que slo uno de sus extremos es
vrtice del tringulo).
Captulo 3
71
Tringulos
Bisectriz desde A
Bisectriz desde B
C
Bisectriz desde C
(Note que todo tringulo tiene exactamente tres bisectrices; que las bisectrices tienen sus extremos sobre el tringulo y que slo uno de sus extremos es
vrtice del tringulo).
(c) Una altura de un tringulo desde uno de sus vrtices, digamos X, es un segmento con un extremo en X, y el otro extremo es el punto de corte de la recta
l que contiene al lado opuesto al ngulo X, con la perpendicular a l que
pasa por X; de esta altura diremos tambin que es la altura sobre el lado
opuesto a X.
Fijada una altura, llamaremos: base correspondiente (o relativa) a esa altura, al lado opuesto al vrtice desde donde se toma; pie de esa altura, al
extremo distinto del vrtice desde donde se toma. Fijado un lado como base,
llamaremos altura correspondiente (o relativa) a esa base, a la altura que
tiene extremo en el vrtice opuesto a dicho lado. Llamaremos proyeccin del
lado l1 sobre el lado l2 , si no son perpendiculares, al segmento que tiene un
extremo en el vrtice comn a l1 y l2 , y el otro extremo en el pie de la altura
correspondiente a l2 .
En algunos contextos llamaremos altura, base y proyeccin de un lado, a las
longitudes de los segmentos descritos.
B
C
Altura desde A
C
Altura desde B
C
Altura desde C
72
(Note que todo tringulo tiene exactamente tres alturas, pero el pie de alguna
de ellas puede no estar sobre el tringulo o puede ser un vrtice del tringulo,
tal como mostramos en la siguiente representacin).
B
Mediatriz de BC
Mediatriz de AC
Mediatriz de AB
Proposicin 3.7 Dada una recta AB, un punto C fuera de ella, y D el pie de la
perpendicular a ella desde C, tendremos que:
(a) D = A si, y slo si, CAB es recto.
Captulo 3
73
Tringulos
dos rectas distintas perpendiculares a AB desde el punto C, contrario a la proposicin 3.4. Por tanto, D = A.
mento de CAD, sera obtuso; contrario a lo supuesto. Por tanto, D est en AB.
(b) Por la definicin de rayo, A-D-B si, y slo si, D est en D est en AB y en BA;
y, por la proposicin 3.7.(b), esto sucede si, y slo si, A y B son agudos.
(c) Por la definicin de rayo, D-A-B si, y slo si, D est en el rayo opuesto de AB
y en BA; y, por la proposicin 3.7.(b) y (c), esto sucede si, y slo si, A es obtuso
y B es agudo.
74
Gracias al Teorema del ngulo externo obtenemos tambin, con absoluta precisin, a lo que da lugar la negacin de la proposicin 3.3h20i ; y, como consecuencia inmediata, obtendremos uno de los principios ms conocidos de la Geometra,
a partir del cual mediremos la distancia entre un punto y una recta.
Proposicin 3.8 Un lado de un tringulo es ms grande que otro si, y slo si, su
ngulo opuesto es ms grande que el del otro.
C
Corolario 3.8.1 El segmento ms corto que une un punto fuera de una recta y
un punto de ella, es el segmento perpendicular a la recta desde el punto que est
fuera de ella.
Prueba Consideremos una recta m y un punto P fuera
de ella. Llamemos, por las proposiciones 1.1 y 3.4, Q al
punto de corte de la perpendicular a m por P. Si R es un
punto de m distinto de Q, tendremos, por el Teorema del
ngulo externo, Q es ms grande que R; y, as, por la
proposicin 3.8, PQ es ms corto que PR.
m
Q
Captulo 3
75
Tringulos
76
Captulo 3
77
Tringulos
R
M
K
sal, el punto L de corte de AK con BC, y que
satisface B-L-C.
L
Si K = L tendremos, por el hecho de que EF
=
KC y que B-K-C, que EF es ms corto que BC,
A
C
como queramos.
Supongamos que K 6= L.
Tomemos, por el Teorema de la barra transversal, el punto M de corte del bi
sector AR, de BAK, con BC, y que satisface B-M-L; de donde, junto a B-L-C,
tendremos que B-M-C. Por LAL, 4AMB
= MK. Por la
= 4AMK, y as, MB
Desigualdad del triangulo en 4CKM, tenemos que CK < CM + MK; de donde,
al sustituir, tenemos que EF es ms corto que BC, como queramos.
() (Por reduccin al absurdo)
Supongamos que EF es ms corto que BC, y probemos que A es ms grande que
D. Si acaso A es ms pequeo que D tendremos, por la parte anterior, que
EF es ms largo que BC; contrario a lo supuesto. Si acaso A
= D tendremos,
por LAL, que 4ABC
= BC; contrario a lo supuesto. Por
= 4DEF, y as, EF
tanto, A es ms grande que D.
78
l
P
mos que P 6= M; con lo que P no est en AB. Consideremos los tringulos 4PMA y 4PMB. Como PM es lado
B
M
A
comn a los dos tringulos, MA
= PMB
= MB y PMA
(pues, por la proposicin 2.9, ambos son rectos) tenemos,
por LAL, que 4PMA
= 4PMB. De este modo PA
= PB,
y as P equidista de los extremos A y B del segmento.
Hemos probado que todos los puntos de l satisfacen la condicin dada. Probemos
ahora que los puntos que satisfacen esa condicin deben estar en l.
Consideremos un punto P que equidista de los extremos
A y B del segmento. Si P = M, es claro que P est en
PM
Corolario 3.10.1 Si dos puntos distintos de una recta equidistan de los extremos
de un segmento, entonces esa recta es la mediatriz del segmento.
Prueba Consideremos un segmento AB, una recta m con dos puntos P y Q que
equidistan de A y B. Por la proposicin 3.10, P y Q estn en la mediatriz l del
Captulo 3
79
Tringulos
B
Q
AB y Q 6= A, as como R est en AC y R 6= A.
Por LAA tendremos que 4PQA
= 4PRA; de
R
A
C
donde PQ = PR.
Hemos probado que todos los puntos de AD distintos del origen satisfacen la
condicin dada. Probemos ahora que los puntos que satisfacen esa condicin
R est en AC y R 6= A.
con lo que AP biseca el ngulo BAC. Como, por la proposicin 2.5, slo puede
haber un bisector, tendremos, por la proposicin 1.4, que P est sobre AD.
80
Q
=
Supongamos ahora que Q no est en AB. Por la proposicin 3.7, PAB es obtuso.
Por esta razn, R est en AC; pues, en caso contrario, por la proposicin 3.7, PAC
sera tambin obtuso; en cuyo caso, mBAC = mBAP + mPAC > 90 + 90 =
180, del todo contrario al Postulado de la medida del ngulo.
P
B
A
Por el Teorema del ngulo externo, PAR es agudo. As, 4PAR es tal que PA
=
PR, PAR es agudo y PRA es recto; contrario a la proposicin 3.3. Por tanto, Q
est en AB.
Captulo 3
Tringulos
81
82
Captulo 3
83
Tringulos
3.12 Pruebe que el permetro de un tringulo es mayor que la suma de sus tres alturas.
3.13 Si la mediana y la bisectriz desde un vrtice de un tringulo coinciden, entonces
ella es tambin altura y los lados que parten de dicho vrtice son congruentes.
3.14 (Concurrencia de las bisectrices e incentro)
Pruebe que:
(a) dos bisectrices de un tringulo se cortan en un punto que equidista de sus tres
lados.
(b) las tres bisectrices de un tringulo concurrenh30i en un punto que equidista
de sus tres lados.
Este punto se llama el incentro del tringulo. Como veremos en el Captulo
9, el nombre de este punto proviene del hecho de que desde l se puede trazar
un crculo inscrito en el tringulo (es decir, tangente a sus tres lados).h31i
3.15 (a) Construya un tringulo issceles cuya base sea ms corta que sus laterales.
(b) Construya un tringulo issceles cuya base sea ms larga que sus laterales.
(c) Construya un tringulo escaleno.
(d) Construya un tringulo acutngulo.
(e) Construya un tringulo obtusngulo.
3.16 Muestre, mediante algn ejemplo, que las partes (a) y (b) del Teorema de la bisagra no son ciertas, si dos lados de uno de los tringulos no fueran congruentes
con dos lados del otro.
3.17 Si C y D son puntos en lados opuestos de una recta AB, pruebe que AB es mediatriz de CD si, y slo si, se cumple cualquiera de las siguientes condiciones:
(a) CAB
= AD.
= DAB y AC
(b) CAB
= DAB y CBA
= DBA.
3.18 (a) Fijado un punto Q en la mediatriz l del segmento BC, pruebe que, si A es un
punto cualquiera, entonces AQ + QB = AQ + QC.
(b) Si A y B son dos puntos en lados opuestos de una recta l, cul es el punto P
de l para el que la suma AP + PB es mnima?
(c) Si A y B son dos puntos distintos en el mismo lado de una recta l, cul es el
punto P de l para el que la suma AP + PB es mnima?
(d) Si A y B son dos puntos distintos fuera de una recta l, verifique que el punto
P de l para el que la suma AP + PB es mnima satisface que los dos ngulos
que forman AP y l son congruentes a los dos ngulos que forman BP y l.h32i
84
Captulo 3
85
Tringulos
es cierto; all probaremos adems que, si dos lados de un tringulo no son congruentes, entonces al ngulo ms pequeo corresponde la bisectriz ms larga.
3.27 Pruebe que dos lados de un tringulo son congruentes si, y slo si, las alturas
sobre ellos son congruentes (y, por tanto, un tringulo es issceles si, y slo si,
tiene exactamente dos alturas congruentes; y un tringulo es equiltero si, y slo
si, las tres alturas son congruentes).
3.28 Si la mediana y la altura desde un vrtice de un tringulo coinciden, pruebe que
ella es tambin bisectriz y los lados que parten desde dicho vrtice son congruentes.
3.29 Pruebe que:
(a) si la bisectriz y la altura desde un vrtice de un tringulo coinciden, entonces
ella es tambin mediana y los lados que parten desde dicho vrtice son congruentes.
(b) el bisector de un ngulo cualquiera de un tringulo escaleno no puede ser
perpendicular al lado opuesto, es decir, no puede contener la altura.
3.30 Pruebe que:
(a) las medianas desde vrtices correspondientes de dos tringulos congruentes
son congruentes.
(b) las bisectrices de ngulos correspondientes de dos tringulos congruentes son
congruentes.
(c) las alturas desde vrtices correspondientes de dos tringulos congruentes son
congruentes.
3.31 Pruebe que:
(a) si AB
= PQ y BP
= AQ, entonces:
(i) A
= P.
(ii) 4ABM
= 4PQM.
(b) si P es ms grande que Q y B es ms
grande que A, pruebe que PB es ms corto que
AQ.
B
Q
M
A
P
3.32 Pruebe que la mediana sobre un lado de un tringulo es menor que la semisuma
de las longitudes de los otros dos lados.
3.33 Si, en el tringulo 4ABC, AD es una bisectriz, pruebe que AC es ms largo que
CD.
86
M
T
R
S
V
K
Captulo 3
87
Tringulos
R
B
A
G
P
V
C
M
88
3.50 Sean BD y AC dos rectas que se cortan en B, de manera tal que A-B-C. Las
Captulo 3
Tringulos
89
detendremos por un tiempo en el estudio de los tringulos en s mismos debido a que stos
son a la Geometra, lo que los nmeros primos son a la Aritmtica, en el sentido de que, el estudio
de los principales conceptos de la Geometra comienza, por lo general, con el caso particular del
tringulo.
h2i Ver
el ejercicio 1.13.(a).
h3i Ver
la observacin 2.1.(c).
h4i Ver
el ejercicio 1.13.(b).
h5i En
el ejercicio 3.9 obtendremos, por medio del Teorema de la barra transversal, dos caracterizaciones del interior de un tringulo; adems, esos resultados son los que nos permitirn verificar que
el interior de un tringulo es, efectivamente, una figura geomtrica (es decir, que es no vaco) y, en
verdad, que tiene un nmero indefinido de puntos.
h6i La
h7i De
esta manera vemos que el gemetra, lejos de interesarse por la ubicacin precisa de un objeto
en el plano, presta su atencin fundamentalmente a su tamao y forma. As, para hacer alguna
ilustracin respecto a los tringulos, da lo mismo que el tringulo se dibuje en la hoja de papel o en
el pizarrn, puesto que no es de su ubicacin de lo que se habla, sino de propiedades que son del
todo independientes de ella.
h8i Tal
como dijimos en el comentario de la Nota h16i del Captulo 1, esto significa que a cada uno de
los vrtices A, B y C, corresponde uno de los vrtices D, E y F, y viceversa; o, en menos palabras, a
cada vrtice de uno de los tringulos corresponde uno, y slo uno, de los vrtices del otro tringulo.
h9i Todas
las combinaciones de tres en tres (con repeticin) posibles de las letras L y A son: AAA,
AAL, ALA, LAA, ALL, LAL, LLA, LLL. Si ellas representaran, respectivamente, un lado y un
ngulo de un tringulo, tendramos que las correspondencias AAL y LAA, as como las ALL y
LLA, seran similares. De manera que tendramos, propiamente hablando, seis tipos no similares
90
de correspondencias entre los vrtices de dos tringulos: AAA, ALA, LAA, LLA, LAL y LLL.
Veremos, en el ejercicio 3.4, que AAA y LLA no determinan en general congruencias entre tringulos. Por tanto, LAL, ALA, LLL y LAA son todos los tipos de correspondencias entre vrtices de
dos tringulos que resultan ser congruencias.
h10i Este criterio de congruencia de tringulos nos permitir afirmar que, si conocemos las longitudes de
dos lados de un tringulo y la medida del ngulo comprendido por ellos, debemos estar en capacidad
de conocer la longitud del tercer lado y las medidas de los otros dos ngulos. Ciertamente esto es
as, pero debemos esperar hasta que introduzcamos la nocin de semejanza de tringulos en el
Captulo 6, la cual depende fundamentalmente del ltimo de los postulados de nuestra teora (el
Postulado de las paralelas), para corroborarlo (ver el ejercicio 6.53).
h11i Tal como hemos dicho en la nota anterior, si conocemos las medidas de dos ngulos de un tringulo
y la longitud del lado comprendido por ellos, debemos estar en capacidad de conocer la medida del
tercer ngulos y las longitudes de los otros dos lados. Ciertamente esto es as, y lo justificaremos
en el Captulo 6 (ver el ejercicio 6.53).
h12i
h13i Adems,
este resultado da garanta de que los tringulos son rgidos, en el sentido de que es imposible cambiar los ngulos (la forma) sin cambiar a su vez el tamao de los lados. Empricamente
se corrobora este hecho uniendo los extremos de tres varitas de madera con clavos de tal manera
que dos a dos puedan girar; veremos que despus de unir las tres (formando un tringulo), ya no se
mueve (se vuelve rgido). Por contraste, cuando hacemos lo mismo con cuatro varitas de madera,
constatamos que los cuadrilteros no son rgidos, ya que pueden cambiar la forma sin cambiar el
tamao de sus lados. Es por esta razn que se usan travesaos diagonales en la construccin de
puertas y de diversos tipos de muebles.
h14i Tal como hemos dicho anteriormente, si conocemos las longitudes de los tres lados de un tringulo,
debemos estar en capacidad de conocer las medidas de sus tres ngulos. Ciertamente esto es as, y
lo justificaremos en el Captulo 6 (ver el ejercicio 6.53).
h15i El Teorema del ngulo externo nos permitir obtener, adems, la negacin de la proposicin 3.3 con
precisin, la nocin de distancia entre un punto y una recta, la Desigualdad triangular y el Teorema
de la bisagra.
h16i Tal
Captulo 3
Tringulos
91
h17i Ya
hemos probado, en la proposicin 2.10, que por un punto de una recta pasa una nica perpendicular.
h18i En
virtud de este resultado, las categoras de tringulos definidos en las partes (c) y (d) de la
definicin 3.7 coinciden.
h19i Si
h20i Recuerde
que la proposicin 3.3 dice que: dos lados de un tringulo son congruentes si, y slo si,
sus ngulos opuestos son congruentes. Su negacin sera entonces: dos lados de un tringulo no
son congruentes si, y slo si, sus ngulos opuestos no son congruentes; la cual se puede dividir en
las dos proposiciones siguientes: si dos lados de un tringulo no son congruentes, entonces sus ngulos opuestos no son congruentes y, si dos ngulos de un tringulo no son congruentes, entonces
sus lados opuestos no son congruentes. Note que la negacin pura y simple de la proposicin 3.3
no nos dice nada sobre la relacin existente entre los lados, ni entre los ngulos, que dejan de ser
congruentes; y es por esta razn que decimos que precisamos a lo que da lugar su negacin.
h21i Tres nmeros reales positivos a, b y c pueden representar las longitudes de los lados de un tringulo,
slo si la suma de cualesquiera dos de ellos es mayor que el tercero; en otras palabras, sta es una
condicin necesaria para ese fin. As, por ejemplo, no podr haber ningn tringulo cuyos lados
midan 2, 3 y 5. Ms adelante (Captulo 6) probaremos que sta es tambin una condicin suficiente,
exponiendo la manera en que se debe construir un tringulo cuyos lados midan a, b y c (ver el
ejercicio 6.18).
Por otro lado, note que este resultado no permitira que se cumpliera la tercera condicin de la
definicin de la relacin de Interposicin, y no se cumpliera la segunda, si conservamos la escala.
h22i Esta propiedad restringe el uso indiscriminado de unidades de medida diversas en las rectas, ya que
establece una conexin entre las escalas que se usan sobre las rectas determinadas por los vrtices
de un tringulo. Aclarando un poco ms: si, en un tringulo 4ABC, usamos una escala en la
recta AB , otra en la recta AC y otra ms en la recta BC , stas estn sometidas, por lo menos, a la
restriccin de que todava debe cumplirse que AC 6 AB + BC.
h23i Considere
la situacin en la que tenemos una correspondencia biunvoca entre los vrtices de dos
tringulos con la propiedad de que dos lados del primer tringulo son congruentes con las partes
correspondientes del segundo tringulo. Los criterios LAL y LLL nos permiten establecer la siguiente equivalencia:
el ngulo comprendido entre los dos lados en cuestin del primer tringulo es congruente con su
correspondiente en el segundo tringulo si, y slo si, el tercer lado del primer tringulo es congruente con el tercer lado del segundo tringulo.
La negacin de esta equivalencia se puede dividir en las dos proposiciones siguientes:
si el ngulo comprendido entre los dos lados en cuestin del primer tringulo no es congruente con
su correspondiente en el segundo tringulo, entonces el tercer lado de uno de ellos debe ser ms
largo que el tercer lado del otro; y,
si el tercer lado del primer tringulo no es congruente con el tercer lado del segundo tringulo,
entonces el ngulo comprendido entre los dos lados en cuestin de uno de ellos debe ser ms
grande que el ngulo comprendido entre los dos lados del otro.; y es por esta razn que decimos
92
recta es la mediatriz de un segmento (es decir, de tener que medir un ngulo de 90 con vrtice en
el punto medio del segmento), ya que podremos hacerlo, bien con slo una regla, si se nos permite,
o con un canto recto y un comps. Pero podemos decir ms an: es esta caracterizacin de la
mediatriz de un segmento la que da garanta del mtodo que hemos ilustrado para construir una
recta perpendicular a otra por uno de sus puntos (ver la Nota h14i del Captulo 2).
h25i Este resultado nos permitir prescindir del transportador para verificar que un rayo es el bisector de
un ngulo (es decir, de tener que medir el ngulo y su mitad), ya que podremos hacerlo, bien con
slo una regla, si se nos permite, o con un canto recto y un comps.
h26i Generalmente
se utiliza, para este fin, el criterio LAL de congruencia de tringulos; y es por esta
razn que lo escogemos como postulado. Pero, si tenemos tres palitos con los que se puede construir
un tringulo, se utiliza el criterio LLL.
h27i Como se podr sospechar, para poder construir dos tringulos cuyos ngulos tengan las mismas me-
didas, necesitaremos del prximo postulado (el Postulado de las paralelas), el cual ser presentado
en el siguiente captulo.
h28i Podra
el expositor hacer este experimento en clase con los estudiantes usando, en lugar del lago,
una de las paredes del saln de clases y un punto a cada lado de la pared. Despus de introducir
el Postulado de las paralelas obtendremos las razones del mtodo ms usual en la solucin de este
problema.
h29i Compare
h30i Esto
h31i En el Captulo 4 veremos que las tres mediatrices y las tres rectas que determinan las alturas tambin
concurren en un punto (ver los ejercicios 4.25 4.27); y en el Captulo 5 veremos que lo mismo
sucede con las medianas (ver los ejercicios 5.5).
h32i Este
Captulo 3
Tringulos
93
Del mismo modo, creemos que el estudiante debera enfrentar solo los ejercicios del 3.19 al 3.51; de los cuales consideramos, sin pretender ser objetivos al
respecto, que son de dificultad baja los ejercicios del 3.19 al 3.33, de dificultad
intermedia los ejercicios del 3.34 al 3.45, y de dificultad alta los ejercicios del
3.46 al 3.51.
A continuacin ofrecemos ayudas para algunos de los problemas.
3.5: para el caso hipotenusa-cateto, haga una copia de uno de los tringulos sobre
el cateto que es congruente del otro y use el criterio LAL, la proposicin 3.3
y el criterio LAA.
3.7: para la parte (c), en el caso en que los ngulos de la base correspondiente sean
3.11: para la parte (a), trace AD y use el Teorema del ngulo externo; para la parte
(c), use la Desigualdad del tringulo convenientemente, prolongando uno de
los segmentos interiores.
3.14: para la parte (a), use el Teorema de la barra transversal y el Teorema del
bisector.
3.15: para la parte (c), tome, en un tringulo issceles 4ABC cuya base BC sea
ms corta que los laterales, un punto D tal que B-A-D y pruebe que 4DBC es
escaleno.
3.18: para la parte (c), trace la recta m perpendicular a l desde B; llame M al punto
de corte entre ambas; llame C al punto del rayo opuesto a MB tal que MB
=
En este punto del desarrollo de la Geometra corresponde tomar una decisin: aceptar el Postulado de las paralelas como parte de sus postulados (tal
como lo haremos en el siguiente captulo), dando lugar al tipo de Geometra
que nosotros desarrollaremos, y que es llamada generalmente Geometra euclidiana, en honor a Euclides que lo hizo as por primera vez de manera formal; o
proseguir su desarrollo sin hacer uso de esta proposicin, lo cual dara lugar a
un tipo de Geometra que se ha llamado comnmente Geometra Absoluta.
94
obras de este mismo autor son: Logica demonstrativa, publicada en 1697, en el que trata
sobre definiciones, postulados y demostraciones en el estilo de Euclides; Neo-statica, publicado en
1708; Quaesita geometrica, publicada en 1693.
Captulo 3
95
Tringulos
Cuadriltero de Saccheri.
Prob, usando LAL y LLL, que D
= C
Dos cosas son fundamentales en una teora: que sus postulados sean consistentes (en el sentido de que no se contradigan entre s), pues en caso contrario
no podramos ofrecer ningn modelo de la supuesta teora, es decir, un sistema
en el que se satisfagan todos sus postulados; que sus postulados sean independientes (en el sentido de que ninguno de ellos se puede deducir de los otros),
pues en caso contrario tendramos un postulado redundante. Por cierto, para
probar la independencia de un postulado respecto a los otros es preciso dar un
sistema en el que se cumplan todos los dems y no ste en particular.
96
En el siglo XIX se demostr que: si los postulados del sistema de los nmeros
reales son consistentes, entonces los postulados de la Geometra Sinttica son
consistentes; y luego, que el Postulado de las paralelas es independiente de los
dems postulados de la Geometra (que constituye propiamente una reivindicacin de Euclides, como se lo propuso Saccheri en el ttulo de su libro), del
nico modo posible: descubriendo Geometras donde todos los postulados de
la Geometra sinttica se cumplen, excepto el de las paralelas. Hablaremos un
poco de ellas al final del siguiente captulo, en el que se introduce precisamente
el tema.
Captulo 4
Paralelismo
Entraremos, en este captulo, en una de las pginas ms notables de la historia
de las matemticas. El punto de vista que se tome, en relacin con este asunto
del paralelismo, decidir cmo es el aspecto de ese conjunto P que desde el
comienzo hemos llamado el Plano.
Con el objeto de entrar de una vez en la discusin, expondremos de inmediato
el concepto sobre la que se basa.
Definicin 4.1 (Rectas paralelas)
Dos rectas son paralelas, si no se cortan.
Del mismo modo, dos segmentos, o dos rayos, o cualquier combinacin entre
ellos, son paralelos, si determinan rectas paralelas.
Si denotamos dos de esos objetos con los smbolos r y s, el hecho de que ellos
sean paralelas lo denotaremos por r k s, y el hecho de que no lo sean por r 6k s.
(1) Cundo dos rectas no son paralelas?
La discusin comienza con la siguiente manera de enunciar uno de los postulados de Euclides, llamado generalmente el Postulado de las paralelas:
Dada una recta y un punto fuera de ella, se tiene que existe exactamente una recta que pasa por ese punto y es paralela a la recta
dadah1i .
Sin embargo, parte de este enunciado lo podemos obtener como consecuencia
de lo que hemos desarrollado hasta aqu; y es precisamente la que nos asegura que
existen rectas paralelas.
97
98
P
l
l1
m
l1
l2
0
0
Note que, tal como vemos en la representacin, una recta transversal a otras
dos determina ocho ngulos: , , , , 0 , 0 , 0 y 0 . Estos
ngulos conforman cuatro pares de ngulos opuestos por el vrtice:
y , y , 0 y 0 y 0 y 0 ;
que, por tanto, son congruentes entre s.
Daremos, de inmediato, una clasificacin de estos ngulos.
Captulo 4
Paralelismo
99
100
0 ,
Captulo 4
101
Paralelismo
P
l1
l
l2
Observacin 4.1 Gracias a la proposicin 4.2, dos rectas sern paralelas si, al
cortarlas por una secante, se cumple cualquiera de las siguientes condiciones:
(a) Un par de ngulos internos a un mismo lado son suplementarios.
(b) Un par de ngulos externos alternos son congruentes.
(c) Un par de ngulos externos a un mismo lado son suplementarios.
(d) Un par de ngulos correspondientes son congruentesh4i .
Ahora establecemos la forma del Postulado de las paralelas que usaremos en
el desarrollo de nuestra teora.
Postulado 7 (De las paralelas)h5i
Dada una recta y un punto fuera de ella, se tiene que existe a lo sumo una recta
paralela a la recta dada que pasa por el punto dado.
Como consecuencia inmediata de este postulado tenemos el recproco de la
proposicin 4.3.
Proposicin 4.4 Si dos rectas paralelas son cortadas por una secante, entonces
un par de ngulos internos alternos son congruentes.
Prueba (Por reduccin al absurdo)
Sea m una recta secante a dos rectas paralelas l1 y
l2 , en los puntos A y B, respectivamente. Consideremos el par de ngulos internos alternos y
. Supongamos que 6
= . Tomemos, por
m
D
A
l1
l2
B
102
Observacin 4.2 Gracias a la proposicin 4.2, si dos rectas paralelas son cortadas por una secante, entonces se cumple cualquiera de las siguientes afirmaciones:
(a) Los dos pares de ngulos internos alternos son congruentes.
(b) Los dos pares de ngulos internos a un mismo lado son suplementarios.
(c) Los dos pares de ngulos externos alternos son congruentes.
(d) Los dos pares de ngulos externos a un mismo lado son suplementarios.
(e) Los cuatro pares de ngulos correspondientes son congruentes.
Otras consecuencias inmediatas del Postulado de las paralelas quedan establecidas en las siguientes tres proposiciones.
Proposicin 4.5 Si dos rectas son paralelas a una tercera, entonces son paralelas entre s.
Prueba (Por reduccin al absurdo)
Sean l1 , l2 y m tres rectas tales que l1 k m y l2 k m. Si acaso l1 intersecta l2 ,
digamos en el punto P, tendramos que l1 y l2 son dos rectas paralelas a la recta
m que pasan por el punto P fuera de ella, contrario al Postulado de las paralelas.
Por tanto, l1 k l2 .
Proposicin 4.6 Si una recta corta una de dos rectas paralelas, entonces corta a
la otra.
Prueba (Por reduccin al absurdo)
Sean l1 , l2 y m tres rectas tales que l1 k l2 y m corta a l1 , digamos en el punto P.
Si acaso m no corta l2 tendramos que m y l1 son dos rectas paralelas a la recta l2
que pasan por el punto P fuera de ella, contrario al Postulado de las paralelas. Por
tanto, m corta a l2 .
Captulo 4
Paralelismo
103
En verdad, tal como veremos a continuacin, las proposiciones 4.4, 4.5, 4.6
y 4.7 son equivalentes al Postulado de las paralelas, es decir, cualquiera de ellas
podra sustituir al Postulado 7.
Proposicin 4.8 En presencia del resto de los resultados obtenidos hasta su postulacin, el Postulado de las paralelas es equivalente a cualquiera de las siguientes proposiciones:
(a) La proposicin 4.4.
(b) La proposicin 4.5.
(c) La proposicin 4.6.
(d) La proposicin 4.7.
Prueba Ya tenemos probado que el Postulado de las paralelas es condicin suficiente para probar las proposiciones 4.4, 4.5, 4.6 y 4.7 (es decir, que el Postulado de las paralelas implica a cada una de las proposiciones 4.4, 4.5, 4.6 y 4.7).
Veamos ahora que tambin es condicin necesaria (es decir, que cada una de las
proposiciones 4.4, 4.5, 4.6 y 4.7 implica, en presencia del resto de los resultados
obtenidos hasta su postulacin, al Postulado de las paralelas).
(Por reduccin al absurdo)
m
Supongamos que l1 y l2 son dos rectas pal2
ralelas a la recta l que pasan por el punto P
P
fuera de ella.
l1
l
= y
= ; con lo que
=
Q
. Pero entonces, por (CA2), tendremos
que l1 = l2 ; contrario a lo supuesto.
(b) Aceptemos que se cumple la proposicin 4.5. Como l1 k l y l2 k l, tendramos
entonces que l1 no debe intersectar a l2 ; contrario a lo supuesto.
(c) Aceptemos que se cumple la proposicin 4.6. Tomemos, por la proposicin 3.4, una recta m una perpendicular a l por el punto P. Tendramos entonces
104
y
tomar AB como secante de BC y m), =
Para finalizar este captulo enlazamos la afirmacin anterior con una afirmacin acerca de la medida de los ngulos externos de un tringulo.
Proposicin 4.10 Las siguientes afirmaciones son equivalentes:
(a) La suma de las medidas de los ngulos internos de un tringulo es 180.
(b) La medida de cualquiera de los ngulos externos de un tringulo es igual a
la suma de las medidas de los dos ngulos internos no contiguos.
Prueba Consideremos el tringulo 4ABC y
un ngulo externo en el vrtice C. Como m +
m = 180, tendremos que m + m +
m = 180 si, y slo si, m + m = m .
(3) Cul es la suma de los ngulos externos de un tringulo (uno en cada vrtice)?
Captulo 4
Paralelismo
105
106
Captulo 4
107
Paralelismo
(c) La recta que pasa por A y es paralela a BC biseca a cada uno de los ngulos
externos en A.
(d) DPB
= EPC, donde: P es un punto cualquiera tal que B-P-C; D y E estn
4.16 Por un punto A del lado OX del ngulo XOY , tomamos la perpendicular a OY ,
4.18 Si AC k BD (con C y D del mismo lado de AB), los bisectores de los ngulos
CAB y DBA se intersectan en P y AB = 2 PB, halle los valores de mPBD y
mPAC.
4.19 Si un tringulo tiene dos lados congruentes y no es rectngulo, pruebe que la recta
que une los pies de las alturas sobre los lados congruentes es paralela al tercero
de los lados.
4.20 En 4FGH, el bisector de F y el bisector de G se cortan en C. La recta que
pasa por C y es paralela a FG, corta a FH en A, y a GH en B. Pruebe que el
permetro de 4ABH es FH + GH.
108
4.21 En el tringulo 4MPQ, sea A un punto tal que M-A-Q. Trace desde A una perpendicular a PQ; llame B el punto de corte de esta recta y PQ, y llame C el punto
Captulo 4
109
Paralelismo
Si una recta corta otras dos rectas formando ngulos internos a un mismo lado
cuya suma es menor que dos rectos, entonces las dos rectas, si se prolongan indefinidamente, se encuentran en el lado en el que estn los ngulos cuya suma es
menor que dos rectos.
En el ejercicio 4.4 veremos por qu este enunciado y el que estamos ofreciendo en este momento
dicen lo mismo.
h2i El
problema se suscita, desde el siglo XVII, cuando se intenta, obstinadamente, probar la unicidad
de dicha paralela. Muchos pensaban que el postulado de Euclides poda obtenerse como consecuencia del resto de los resultados de la Geometra. Pero, la prueba de la independencia de este
postulado respecto al resto de los postulados de la Geometra es lo que dio lugar, en el siglo XIX,
a la construccin de distintas Geometras planas y de sus modelos correspondientes, de las cuales
hablaremos al final de estos comentarios.
h3i La
mayor parte de esta prueba est realizada en la solucin del ejercicio 2.11.
h4i Esta propiedad es la que da garanta del buen proceder del dibujante tcnico al trazar rectas paralelas
John Playfair
(10/03/1748 Benvie 20/07/1819 Burntisland)
h6i Este
resultado es, en verdad, tambin equivalente al Postulado de las paralelas. Sin embargo, la
prueba de la necesidad del Postulado de las paralelas para la obtencin de dicho resultado nos obligara a entrar en la consideracin de los cuadrilteros de Saccheri y de la Geometra Hiperblica,
cosa que no haremos en este estudio; de tal manera que nos conformaremos, en esta oportunidad,
con demostrar la suficiencia del Postulado de las paralelas para la obtencin de dicho resultado.
h7i Esta
proposicin, as como la anterior, ofrecen dos criterios para saber cundo dos rectas son paralelas. Adems, este resultado es el que da garanta del buen proceder al dibujar una recta paralela a
otra que ya est dibujada, usando slo una regla.
h8i Ya
sabemos, por el ejercicio 3.6, que son congruentes. Adems, sta es la razn por la que una
mesa de planchar, cuyas patas se bisecan, siempre es paralela al piso.
h9i Este
tipo de tringulos aparece con mucha frecuencia en el estudio de la Trigonometra, junto a los
110
tringulos rectngulos issceles. Reciben este nombre porque, si uno de los ngulos distintos del
recto en un tringulo rectngulo mide 30, el otro mide 60.
En los Elementos de Euclides, las primeras veintisis proposiciones (cubiertas por lo hecho en los cuatro primeros captulos de este texto) se prueban sin
usar el quinto de sus postulados. Las proposiciones que van de la veintisiete a
la treinta y cuatro estn cubiertas por lo hecho en el presente captulo. De all
en adelante se usa, con mucha frecuencia, el quinto de los postulados o alguna
Captulo 4
Paralelismo
111
112
Histricamente se atribuye, por lo general, la prioridad del descubrimiento a Lobachevsky (razn por la
cual se ha llamado a sta, Geometra Lobachevskiana),
pues logr un desarrollo mayor que la de Bolyai, y tuvo
el valor de publicar su trabajo, muy al contrario de
Gauss que, dado el gran prestigio que tena de ser el
ms grande de los matemticos de su tiempo, tuvo
miedo de parecer ridculo ante sus contemporneos.
Fue Gauss quien dio el nombre de Geometra no
euclidiana a aquella Geometra en la que la negacin
del Postulado de las paralelas tiene la forma: por un
punto externo a una recta pasan ms de una recta
paralela a la dada. Para esta Geometra dio el matemtico francs Jules Henri Poincar un modelo que
se ha llamado modelo hiperblico (razn por la cual
se le llama con frecuencia Geometra hiperblica).
El matemtico alemn Georg Friedrich
Bernhard Riemann, por su parte, construy otra
Geometra basada en la siguiente negacin del Postulado de las paralelas: por un punto externo a una
recta no pasa ninguna paralela. Notar el lector que
en esta Geometra, llamada Geometra riemanniana,
no se cumplirn todos los postulados de la Geometra
euclideana, puesto que la existencia de paralelas se
prueba sin necesidad del Postulado de las paralelas.
Para esta Geometra dio Riemann mismo un modelo
que se ha llamado modelo esfrico (razn por la cual
se le llama con frecuencia Geometra esfrica).
Fue Riemann quien elev a sus debidas proporciones el trabajo de Lobachevsky y dio inicio a un
segundo perodo en el desarrollo de las Geometras
euclidianas y no euclidianas, caracterizado por un vertiginoso avance en las investigaciones del punto de
vista de la Geometra diferencial, en contraste con los
mtodos sintticos hasta ese momento utilizados.
Jnos Bolyai
(15/12/1802 Kolozsvr 27/01/1860 Marosvsrhely)
Captulo 4
Paralelismo
113
114
Captulo 5
Cuadrilteros
Estudiaremos ahora otra de las figuras geomtricas que bien pudimos haber llamado fundamental, a saber: los cuadrilterosh1i . Comenzamos, como es natural,
estableciendo su definicin.
Definicin 5.1 (Cuadrilteros)
Un cuadriltero es una figura geomtrica formada por
la unin de cuatro segmentos tales que:
(a) se pueden enumerar en la forma P1 P2 , P2 P3 , P3 P4 y
P4 P1 , con los puntos P1 , P2 , P3 y P4 distintos entre s;
(b) ningn par de ellos se intersectan, salvo en sus extremos; y
(c) ningn par de ellos con un extremo comn son colineales.
De un cuadriltero llamaremos: a los cuatro puntos P1 ,
P2 , P3 y P4 , los vrtices; a los cuatro segmentos, los lados; y a los cuatro ngulos P4 P1 P2 , P1 P2 P3 , P2 P3 P4
y P3 P4 P1 , los ngulos (y, en algunos contextos, los ngulos interiores, o los ngulos internos).
C
B
G
E
H
115
116
Captulo 5
117
Cuadrilteros
(1) A y B estn al mismo lado de CD; (3) C y D estn al mismo lado de AB, y
(2) B y C estn al mismo lado de DA; (4) D y A estn al mismo lado de BC.
Refirindonos a la ilustracin anterior, ABCD representa un cuadriltero
convexo, y EFGH un cuadriltero no convexo.
Proposicin 5.2 Un cuadriltero es convexo si, y slo si, se cumple cualquiera
de las siguientes condiciones:
(a) cada uno de sus vrtices est en el interior de su ngulo opuesto.
(b) sus diagonales se cortan en un punto interior de ambas.
(c) los vrtices que no estn sobre una diagonal, estn en lados opuestos de la
recta que contiene dicha diagonal.
(d) no tiene ningn vrtice en el interior del tringulo determinado por los otros
tres vrtices.
(e) la suma de las medidas de sus ngulos internos es 360.
Prueba Consideremos un cuadriltero ABCD.
(a) () Supongamos que ABCD es convexo, y consideremos dos vrtices opuestos, digamos B y D. Las condiciones (1) y (2) de la definicin 5.3 nos aseguran
que B est en el interior de D.
() Supongamos que cada uno de los vrtices de ABCD est en el interior del
ngulo opuesto, y consideremos uno de sus lados y un vrtice que no es extremo
de ese lado, digamos BC y A. Como A y C son vrtices opuestos, tendremos que
A est en el interior de C. As, por la definicin del interior de un ngulo, se
cumple (1) de la definicin 5.3. Del mismo modo se prueba que se cumplen tambin las condiciones (2), (3) y (4).
(b) () Supongamos que ABCD es convexo. Por la parte anterior, B est en el
interior de D, y A est en el interior de C. Por el Teorema de la barra transver
118
CD; contrario a (1). Por tanto, no puede haber ningn vrtice en el interior del
tringulo determinado por los otros tres.
() Supongamos que ABCD no tiene ningn vrtice en el interior del tringulo
determinado por los otros tres vrtices. Si acaso ABCD no fuera convexo pode
mos suponer, sin perder generalidad, que A y B estn en lados opuestos de CD.
Captulo 5
119
Cuadrilteros
120
internos alternos del corte de las rectas AB y CD con la secante AC, al igual que
CAD y ACB del corte de las rectas AD y BC con la secante AC. As, por la
proposicin 4.3, AB k CD y AD k CB; de donde ABCD es un paralelogramo.
(b) () Supongamos que ABCD es un paralelogramo. Como, por definicin,
ABCD es un trapezoide, tendremos, por las proposiciones 5.3 y 5.2, que las
diagonales AC y BD se cortan. Por la parte (a) y el ejercicio 4.11, las diagonales
AC y BD se bisecan.
() Si las diagonales AC y BD se bisecan tendremos, por el ejercicio 4.11, que
ABCD es paralelogramo.
(c) () Si ABCD es un paralelogramo tiene, por la parte (a), dos lados paralelos
y congruentes.
Captulo 5
121
Cuadrilteros
Observacin 5.1 Note que, por la proposicin 5.4, los rombos, rectngulos y
cuadrados son paralelogramos; y, por las proposiciones 5.2 y 5.3, todos los ngulos de los rectngulos y cuadrados son rectos (de aqu le viene el nombre a los
rectngulos). Note adems que un cuadrado es un rombo rectngulo.
(13) Cundo un cuadriltero no es un rombo?
(14) Cundo un cuadriltero no es un rectngulo?
(15) Cundo un cuadriltero no es un cuadrado?
(16) Podremos asegurar que existen rombos?
(17) Podremos asegurar que existen rectngulos?
(18) Podremos asegurar que existen cuadrados?
122
proposicin 5.4 y LLL, 4ADC = 4BCD; de donde D = C. Por las proposiciones 5.2 y 5.4, D es recto. As, por la parte (a), ABCD es rectngulo.
4APD.
4CPD
As,
AB
BC
CD
AD;
de
donde
=
=
=
=
C
ABCD es un rombo.
(b) () Supongamos que ABCD es un rombo. Por la proposicin 3.3 y LLL,
ADB
= ABD
= CDB
= CBD; de donde, por la observacin 5.1 y las proposiciones 5.2 y 5.3, BD biseca los ngulos B y D. De manera anloga se prueba
que AC biseca los ngulos A y C.
() Supongamos que AC biseca los ngulos A y C, y BD biseca los ngulos
B y D. Por ALA, 4ABD
= BC
= CD
=
= 4CBD y 4ADC
= 4ABC. As, AB
AD; de donde ABCD es un rombo.
Captulo 5
123
Cuadrilteros
(al tomar AC como secante a AB y CF), BD k CF. Por la
proposicin 5.4, BDFC es un paralelogramo; de donde
DE es paralelo a BC. Como DE = 12 DF y, por la proposicin 5.4, DF = BC, tenemos que DE = 12 BC.
Prueba Sean l1 , l2 y l3 tres rectas paralelas; t1 secante a l1 , l2 y l3 en los puntos A, B y C, respectivamente; y t2 secante a l1 , l2 y l3 en los puntos D, E
y F, respectivamente. Supongamos que BA
= BC.
Caso I t1 k t2 .
Como ADEB y BEFC son paralelogramos tenemos, por la proposicin 5.4, que ED
= EF.
Caso II t1 y t2 no paralelas.
Tomemos, por A y por B, sendas paralelas a
t2 , que llamaremos t3 y t4 , respectivamente.
Como CBH
= BAG (al ser correspondientes),
y BCH
= ABG (al ser correspondientes), tendremos, por ALA, que 4BCH
= 4ABG; de donde
t1
l1
t2
D
A
l2
B
l3
F
t1
l1
t2
D
A
l2
B
l3
C
H
t4
F
t3
124
A
l1
D
E
l
Captulo 5
125
Cuadrilteros
Exterior
B
ABCD
Interior
126
Captulo 5
Cuadrilteros
127
128
BC y DF =
DC,
un punto F en el rayo opuesto a DA, de tal manera que BE =
Captulo 5
129
Cuadrilteros
b
K
M
b
130
R
U
W
5.21 En un trapecio ABCD, se unen los puntos medios M y N de sus bases AB y CD,
respectivamente, a los puntos medios P y Q de sus diagonales. Pruebe que:
(a) NPMQ es un paralelogramo y su permetro es la suma de las longitudes de
los laterales.
(b) M y N, de NPMQ, son congruentes al ngulo que determinan las rectas
que contienen a los laterales.
5.22 En un trapezoide ABCD, con AB k CD, pruebe que el segmento que une los
puntos medios de AD y BC satisface las siguientes propiedades:
(a) es paralelo a AB;
(b) coincide con el segmento paralelo a AB, y que pasa por el punto medio de
uno de los lados AD o BC;
(c) biseca ambas diagonales (y as, los cuatro puntos medios son colineales);
(d) mide AB+CD
.
2
(e) Adems, si ABCD es un trapecio, el segmento que une
los puntos medios
ABCD
de sus diagonales es paralelo a las bases y mide 2 .
5.23 (Trapecio issceles)
Un trapecio issceles es un trapecio cuyos laterales son congruentes.
Pruebe que un trapecio es issceles si, y slo si, se cumple cualquiera de las dos
condiciones siguientes:
(a) los ngulos que comprenden una cualquiera de las bases son congruentes.
(b) las diagonales son congruentes.
Captulo 5
131
Cuadrilteros
5.24 Si un paralelogramo est completamente contenido en uno de los semiplanos determinados por una recta l, pruebe que la suma de las distancias hasta l, desde dos
vrtices opuestos, es constante.
5.25 Si un tringulo est en un semiplano respecto a una recta, pruebe que la distancia
desde su centroide, hasta la recta, es la media aritmtica de la distancias desde los
vrtices a la recta.
C
D
B
A
132
Captulo 5
133
Cuadrilteros
h2i Note
h3i Las clases de cuadrilteros que hemos definido, y que son todas las que vamos a estudiar en detalle,
cios
Paralelogramos
Cuadra
Rombos
dos
e
Trap
Rectngulos
h4i Notar el lector que, gracias a este resultado, podemos construir rectngulos que no son rombos.
De
esta manera, entre los cuadrilteros equingulos y equilteros no hay ninguna relacin, al contrario
de lo que sucede en los tringulos, entre los que ambas categoras coinciden. As vemos tambin
que los cuadrilteros no son figuras rgidas, al contrario de lo que pasa con los tringulos: los
cuadrilteros pueden conservar el tamao y variar la forma.
h5i Con
la ayuda de los cuadrilteros obtenemos tambin informacin sobre proporcionalidad en secantes a varias rectas paralelas. Aqu desarrollaremos slo un caso especial (en el que hay congruencia, es decir, aquel en el que las paralelas equidistan entre s), dejando para el prximo captulo el
estudio del caso general.
h6i Note
que lo interesante de este resultado se hace patente al pensarlo en trminos de las distancias
entre las rectas paralelas, ya que nos dice que: si tres o ms rectas paralelas equidistan entre s,
entonces estas rectas determinan segmentos congruentes en cualquier secante.
134
Captulo 5
Cuadrilteros
135
La longitud de la circunferencia de la Tierra, en el ecuador, es de aproximadamente 40.000 kilmetros. En el siglo XV, segn parece, se crea que era
menor, puesto que cuando Cristbal Coln desembarc en una de las islas Bahamas, de camino a las Indias, crey que haba llegado efectivamente a stas;
de manera que cometi un error del tamao del ancho de los Estados Unidos
de Amrica ms el ocano Pacfico.
Los griegos del tercer siglo antes de Cristo saban un poco ms. Eratstenes
de Cyrene fue el primer hombre, que se sepa en el hemisferio occidental, que
midi, con una precisin del dos por ciento, la longitud de la circunferencia
de la Tierra; pero lo interesante a destacar es la ingeniosa idea que tuvo para
lograrlo, y de la cual hablaremos inmediatamente despus de esbozar un poco
el perfil de este histrico personaje.
Naci en el ao 276 a.C., en Cyrene, Libya (al norte de frica, al lado
de Egipto), antigua colonia griega, fundada en el 631 a.C. por un grupo de
emigrantes de la isla de Thera, en el mar Egeo; y muri en el ao 194 a.C., en
Alejandra, Egipto; respecto a su muerte se dice que, afligido por la ceguera en
su vejez, se suicid por inanicin voluntaria. Su trabajo matemtico es conocido
principalmente por las obras de Pappus de Alejandra. Como ancdota curiosa:
se dice que sus contemporneos lo llamaban beta (la segunda letra del alfabeto),
porque l era el segundo en todo, y nunca el mejor en nada. Hoy en da se
le ponen, como es costumbre entre nosotros, muchos ttulos: matemtico,
escritor cientfico, gegrafo, astrnomo, poeta; pero, como dice la mxima por
sus frutos los conoceris, ofrecemos algunas muestras de sus frtiles trabajos:
(a) Es reconocido como el tercero de los bibliotecarios de la gran biblioteca del
Museo, en Alejandra.
(b) Fue autor de un trabajo titulado (geographik); el primero
en tener la palabra geografa como ttulo.
(c) Es reconocido como el padre de la cronologa, ya que ide las bases del
mtodo de sistematizacin cronogrfica llamado documental, por medio
del cual se sincronizan los eventos histricos con las Olimpadas Griegas,
celebradas cada cuatro aos, dejando una gran cantidad de tablas de fechas,
a partir de las cuales se fecha la cada de Troya en el ao 1184 o 1183 a.C.;
mtodo que se populariz, sobre todo, por las crnicas del segundo siglo
de Apolodoro de Atenas. Logr estructurar un calendario que incluy aos
bisiestos, en el que precisamente trat de fijar las fechas de sucesos literarios
y polticos desde el asedio de Troya.
(d) Prepar un mapa del valle del ro Nilo, esbozando su ruta hacia el sur del
moderno Khartoum, corrigiendo las anteriores, al incluir sus dos afluentes
136
etopes, y sugiri que las fuentes de ste podran ser unos lagos. De este
modo anticip la explicacin correcta de las crecidas del Nilo, diciendo que
era suficiente para rendir cuenta de las inundaciones, las fuertes lluvias que
se haban observado que sucedan en las partes superiores del ro.
(e) Sus escrituras incluyen un poema inspirado en la astronoma, as como
tambin trabaj sobre el teatro y sobre la tica.
(f) Midi el grado de oblicuidad de la eclptica, o inclinacin del eje de la Tierra,
con gran exactitud, y recopil un catlogo de estrellas.
(g) Ide un mtodo que facilita la bsqueda de nmeros primos, conocido como
el mtodo del tamizado o de la criba de Eratstenes, y que mostraremos
en qu consiste por medio del siguiente ejemplo: se enumeran los nmeros
naturales entre 2 y 100 en orden creciente, se desechan los nmeros pares
mayores que 2, pues son divisibles por 2 y por tanto no son primos; entre los
que quedan, se sacan los mltiplos de 3 mayores que 3, pues son divisibles
por 3 y por tanto no son primos; se contina el proceso de cernido tachando
los mltiplos de 5 mayores que 5, los mltiplos de 7 mayores que 7, etc.: los
nmeros que quedan son todos los primos menores que 100. Este proceso
de tamizado, aunque laborioso para hacerlo manualmente, es muy eficiente,
pues no es necesario tamizar los nmeros que son mltiplos de un nmero
mayor que 11, pues, de los restantes, el prximo mltiplo de 11, mayor que
11, es 112 = 121, que no se toma en cuenta por ser mayor que 100. Para el
caso general, cuando el tamiz de Eratstenes se usa para encontrar todos
los nmeros primos menores que un nmero natural n predeterminado, slo
hace falta verificar el cernido para los mltiplos de los nmeros naturales
menores que n.
(h) Se considera uno de los fundadores de la geodesia, por haber sido el primero
en describir y aplicar un mtodo cientfico de medicin para determinar el
tamao de la Tierra. Sobre este mtodo centraremos el resto de estos
comentarios
Eratstenes haba observado que en la ciudad de Syene (actualmente Aswan),
en la ribera del Nilo, 800 kilmetros al sudeste de Alejandra, al medioda en
el solsticio de verano, el Sol estaba exactamente en el cenit, es decir, que al
medioda de ese da particular, un mstil no proyectaba ninguna sombra, o lo
que es lo mismo, el fondo de un pozo cavado en la tierra quedaba completamente iluminado.
Al medioda de ese mismo da observ que en Alejandra, en la misma
fecha y hora, la luz del sol proyectaba una sombra en un mstil vertical; midi,
entonces, el ngulo formado por ese mstil vertical y el rayo de luz solar
Captulo 5
137
Cuadrilteros
la secante CP). De este modo dedujo que la distancia entre Syene y Alejandra
1
tendra que ser aproximadamente el 50
de la longitud de la circunferencia de la
Tierra.
L2
Alejandra
C
Sol
Syene
L1
Tierra
Ahora bien, lo nico que necesitaba saber era la distancia exacta entre
Syene y Alejandra, y luego multiplicarla por 50. Probablemente usando los
datos obtenidos de los agrimensores, estim que esta distancia es de 5.000
estadios griegos1 . Concluy as Eratstenes que la longitud de la circunferencia
de la Tierra era de 250.000 estadios, es decir, de 39.689 kilmetros: de manera
que el error de Eratstenes fue menor del dos por ciento. Se dice que ms
tarde hizo una aproximacin mejor (252.000 estadios), pero no qued registro
del mtodo por el cual la obtuvo.
1 Un estadio era la unidad de medida de longitud corriente en la poca Helenstica, que equivale
aproximadamente a 158.75 metros
Captulo 6
Proporcionalidad y semejanza
El estudio de la semejanza de tringulos tiene su asiento en el Teorema de Thales
(Teorema 6.1), que generaliza la proposicin 5.8, y del cual obtendremos una generalizacin del corolario 5.8.3, a travs del resultado que llamaremos el Teorema
fundamental de proporcionalidad (Teorema 6.2). ste ltimo nos ofrecer un
criterio de paralelismo puramente aritmtico, en trminos de proporciones entre
nmeros; nmeros que representan distancias entre puntos.
Por otro lado, as como con el Postulado de las paralelas obtenemos las relaciones mtricas entre los ngulos de un tringulo (la suma de todos ellos es 180),
con la semejanza de tringulos obtendremos las relaciones mtricas entre los lados
de un tringulo (el Teorema de Pitgoras, Teorema 6.4, y su consecuencia, el corolario 6.4.1), y entre sus lados y ngulos (el ejercicio 6.52: la Trigonometra)h1i .
Para enunciar el Teorema de Thales y definir el concepto de semejanza de
tringulos en los trminos clsicos, debemos recordar, en primer lugar, el concepto de colecciones de nmeros proporcionales: dos colecciones finitas de n
nmeros reales positivos r1 , r2 , . . . , rn y s1 , s2 , . . . , sn son proporcionales, si
r1 r2
rn
= = . . . = = k;
s1 s2
sn
o, en otras palabras, si los cocientes de los trminos con el mismo subndice
permanecen constantes. El nmero real k es llamado la razn de proporcionalidad
o la constante de proporcionalidadh2i .
Note que: decir que las dos colecciones de nmeros reales positivos son
proporcionales con razn de proporcionalidad k = 1 equivale a decir que las
dos colecciones son iguales trmino a trmino; por otro lado, si la coleccin de
nmeros reales positivos r1 , r2 , . . . , rn es proporcional a la coleccin de nmeros
139
140
Captulo 6
141
Proporcionalidad y semejanza
(2) B-A-C
(3) A-C-B
Por el ejercicio 4.6 tendremos que: se cumple (1) si, y slo si, se cumple (1); se
cumple (2) si, y slo si, se cumple (2); y se cumple (3) si, y slo si, se cumple
(3).
Supongamos que se cumple (1), es decir, que A-B-C y A0 -B0 -C0 . Llamemos
r=
BC
BA
y s=
B0C0
B0 A0 .
y,
Como, tanto r como s son nmeros positivos (pues son cocientes de distancias
entre puntos distintos, que siempre son positivas), bastara con tomar q > 0 (pues,
por la densidad de los racionales en los reales, siempre podemos tomar un racional
entre 0 y r, o entre 0 y s, segn sea el caso).
Consideremos, pues, el nmero racional q = ab , con a y b nmeros enteros positivos.
(a) Supongamos que q < r, es decir, que
a
b
<
BC
BA .
AB
b
142
AB
b
BBa
BA
a BA
b
BA
A00 = A0
A2
A02
...
...
A0b = B0 = B00
Ab = B = B 0
B2
B02
...
...
BC
BA ,
Ba
B0a
C0
es decir
a
b
l2
B01
B1
<
l1
A01
A1
a
b
= ab .
t2
A0 = A
Como
B0 B0a
B0 A0
l3
BA < BC, es decir BBa < BC, tenemos que B-Ba -C.
As, por el ejercicio 4.6, B0 -B0a -C0 , es decir, B0 B0a < B0C0 , es decir, ab B0 A0 < B0C0 ,
es decir,
a
b
<
B0 C 0
B 0 A0
= s; como queramos.
a
b
<
B0 C 0
B0 A0 .
BC
BA
B0C0
B0 A0 .
AC
AB
A0C0
A0 B0 .
Pero,
Captulo 6
entonces,
AC
AB
143
Proporcionalidad y semejanza
+1 =
A0C0
A0 B0
+ 1, es decir,
AC+AB
AB
A0C0 +A0 B0
A0 B0 ;
con lo que
CA
CB
es decir,
C 0 A0
C 0 B0 .
BA
BC
Pero, entonces,
B0 A0
B0 C 0 ;
con lo que
CA
CB
BC
BA
+1 =
C0 A0
C0 B0
CB
CA
BC
BA
C0 B0
C0 A0 ,
+ 1, es decir,
B0C0
B0 A0 .
que es
CA+CB
CB
B0C0
B0 A0 .
BC
B0C0
BA
B0 A0 .
A0C0 A0 B0
=
AC
AB
C0 B0 C0 A0
=
.
CB
CA
144
DB EC
=
DA EA
()
l1
distintos de A, B y C, respectivamente.
D
E
l
DB
DA
EC
EA .
() Supongamos que
DB
DA
EC
EA .
EC0
EA
(CS4),
= EC
EA ,
C = C0 .
es decir,
EC0
DB
DA
= EC
EA .
l
C0
l1
Captulo 6
Proporcionalidad y semejanza
145
(c)
AB
DE
AC
BC
= DF
= EF
(los lados correspondientes de tringulos semejantes son proporcionales).
146
Proposicin 6.2 Si 4ABC, 4DEF y 4GHI son tales que 4ABC 4DEF y
4DEF
= 4GHI, entonces 4ABC 4GHI.
Como veremos a continuacin, en los tringulos basta que se cumpla una
de las condiciones que definen la semejanza para que necesariamente se cumpla
la otrah8i : basta que los ngulos correspondientes sean congruentes para que los
lados correspondientes sean proporcionales. Esto nos permite verificar, de paso,
que la forma de un tringulo est determinada efectivamente por los ngulos.
Ahora, gracias a que la suma de los ngulos de un tringulo es 180, es claro que
dos de ellos determinan al tercero; por esta razn llamamos al criterio AA, sin
nombrar una tercera A.
Teorema 6.3 (Criterio AA de semejanza de tringulos)
Si existe una correspondencia biunvoca entre los vrtices de dos tringulos con
la propiedad de que dos pares de ngulos correspondientes son congruentes, entonces la correspondencia es una semejanza.
En otras palabras: si
A
= D, y
B
= E,
entonces
4ABC 4DEF.
B
F
Captulo 6
147
Proporcionalidad y semejanza
AB
DE
AC
DF
BC
AB
AC
EF . Probaremos primero que DE = DF . Para
Caso I E 0 = B.
Caso II E 0 6= B.
E0
F0
DF
dientes, al cortarlas con la secante AB, son congruentes). Por el Teorema fundamental de proporcionalidad
tendremos que
AB
AE 0
AC
AF 0 ; de donde,
AB
AC
DE = DF .
por la construcE
BC
EF ).
Con este criterio de semejanza de tringulos obtenemos una versin ms elegante del Teorema fundamental de proporcionalidad.
Corolario 6.3.1 Una recta que corta dos lados de un tringulo en puntos distintos de sus extremos, es paralela al tercero de los lados si, y slo si, el tringulo
que determina es semejante al dado.
A
E
l
148
tales que AE 0
E0
F0
y AF 0
en AC
= DE
= DF. Por LAL,
0
0
4AE F = 4DEF.
Caso I E 0 = B.
En este caso, por LAL, 4ABC
= 4DEF (pues
AB
AC
DE = AB y, de 1 = DE
= DF
, tenemos que AC =
DF). As, 4ABC 4DEF.
Caso II E 0 6= B.
AB
AC
Como AE
0 = AF 0 , tendremos, por el Teorema funda
E 0F 0
C
D
k BC, y as
mental de proporcionalidad, que
B
= AE 0 F 0 . Por AA, 4ABC 4AE 0 F 0 y as, por
la proposicin 6.2, 4ABC 4DEF.
Captulo 6
149
Proporcionalidad y semejanza
Prueba
AC
DF
BC
EF .
E0
F0
AC
AF 0 ,
C
D
E0F 0
AE 0
AE 0
DE
0 0
BC = AB . Como E F = BC AB = BC AB = BC
EF
0 0
BC = EF, tendremos, por LLL, 4AE F = 4DEF.
Nos proponemos ahora probar el resultado clave para obtener las relaciones
mtricas entre los lados de un tringulo: el Teorema de Pitgoras; aprovecharemos la ocasin para probar tambin su recproco, que nos proveer de un criterio
para saber cundo un tringulo es rectngulo.
Teorema 6.4
(a) (Teorema de Pitgoras)
Si un tringulo es rectngulo, entonces el cuadrado de su hipotenusa es la
suma de los cuadrados de sus catetos.h10i
(b) (Recproco del Teorema de Pitgoras)
Si, en un tringulo, el cuadrado del lado opuesto a un ngulo es la suma de
los cuadrados de los otros dos lados, entonces el tringulo es rectngulo con
dicho ngulo recto.
Prueba
(a) Consideremos el tringulo rectngulo 4ABC con ngulo recto A. Consideremos la altura AD desde el vrtice A. Por el corolario 3.7.1 sabemos que B-D-C
(ver la figura de la izquierda).
Llamemos por comodidad a = AC, b = AB, c = BC, h = AD, f = BD y g = CD.
Por el criterio AA de semejanza de tringulos tenemos que 4BDA 4BCA
4ADC.
2
2
2
2
y, por
Como bf = bc y ga = ac , tenemos que f = bc y g = ac . As, f + g = c = a +b
c
tanto, a2 + b2 = c2 .
150
f
D
g
B
h
A
C
A
(b) Consideremos el tringulo 4ABC tal que AB2 +AC2 = BC2 . Consideremos un
ngulo recto EFD tal que DF = AB y EF = AC. Por el Teorema de Pitgoras,
DE 2 = DF 2 +EF 2 ; con lo que, al sustituir, DE = BC. Por LLL, 4BAC
= 4DFE,
y as 4ABC es rectngulo con ngulo recto A.
Note que las dos partes del Teorema anterior se podran enunciar en una sola
proposicin, de la siguiente manera: un tringulo es rectngulo con recto si,
y slo si, el cuadrado del lado opuesto a es la suma de los cuadrados de
los otros dos lados. Su negacin, en consecuencia, se podra enunciar as: un
tringulo no tiene recto si, y slo si, el cuadrado del lado opuesto a no es
la suma de los cuadrados de los otros dos lados. En el ejercicio 6.42 precisaremos
esta afirmacin, discerniendo qu tipo de ngulo es mediante la relacin entre
el cuadrado del lado opuesto a , y la suma de los cuadrados de los otros dos
lados.
Tal como afirmamos en la introduccin de este captulo, la siguiente proposicin, consecuencia inmediata del Teorema de Pitgoras, permite hallar todas las
relaciones mtricas en un tringulo. Para ofrecer algunos ejemplos: podemos
hallar las longitudes de las medianas (ejercicio 6.39) y de las bisectrices (ejercicio 6.45); y podemos calcular todos los elementos bsicos de un tringulo (lados y
ngulos) a partir de los datos mnimos que nos ofrecen los criterios de congruencia de tringulos (ejercicio 6.53).
Corolario 6.4.1 En cualquier tringulo:
(a) el cuadrado del lado opuesto a un ngulo obtuso es igual a la suma de los
cuadrados de los otros dos lados, ms el doble del producto de uno de estos
dos lados por la proyeccin del otro sobre ese lado.
Dicho de otro modo: si, en el tringulo 4ABC, B es obtuso y AD es altura,
AC2 = AB2 + BC2 + 2 BC BD;
Captulo 6
151
Proporcionalidad y semejanza
(b) el cuadrado del lado opuesto a un ngulo agudo es igual a la suma de los
cuadrados de los otros dos lados, menos el doble del producto de uno de estos
dos lados por la proyeccin del otro sobre ese lado.
Dicho de otro modo: si, en el tringulo 4ABC, B es agudo y AD es altura,
AC2 = AB2 + BC2 2 BC BD;
(, si B es obtuso)
CD =
(, si C es obtuso)
2
s (s AB) (s AC) (s BC)
BC
donde s es el semipermetro del tringulo 4ABC.
AD =
= AB2 + BC2 + 2 BC BD
152
2 BC
2 BC
2
2
2
2
AC (AB BC) (AB + BC) AC
=
2 BC
2 BC
(AC AB + BC) (AC + AB BC) (AB + BC AC) (AB + BC + AC)
=
4 BC2
16 s (s AB) (s AC) (s BC)
=
4 BC2
=
2
s (s AB) (s AC) (s BC).
BC
Captulo 6
Proporcionalidad y semejanza
153
Note que no tenemos nada parecido a los criterios AA y LLL para cuadrilteros. An entre los cuadrilteros convexos, de los que sabemos que la suma de
sus ngulos es 360, la congruencia de los ngulos no nos garantiza la proporcionalidad de los lados. Por ejemplo: cualquier correspondencia entre los vrtices de
dos rectngulos tiene la propiedad de que los ngulos correspondientes son congruentes, pero, por supuesto, no necesariamente tienen sus lados correspondientes
proporcionales (basta tomar un cuadrado y un rectngulo no cuadrado); cualquier
correspondencia entre los vrtices de dos rombos tiene la propiedad de que los lados correspondientes son proporcionales, pero, por supuesto, no necesariamente
tienen sus ngulos correspondientes congruentes (basta tomar un cuadrado y un
rombo no rectngulo).
Pero, por otro lado, tendremos un criterio LAL entre paralelogramos, puesto
que los ngulos y los lados opuestos son congruentes, y los ngulos consecutivos
son suplementarios.
Para finalizar este captulo estableceremos el enclave del tema tratado en el
captulo siguiente, ya que este resultado es fundamental en el estudio de reas.
Proposicin 6.5 En cualquier tringulo, el producto de una altura por su base
correspondiente es independiente de la eleccin de la altura, y su valor es
2
BC AD = BC
154
ac
bd
an
bn
cn
dn
a
b
c
d
e
f
= k,
en
fn
= k.
(b)
= k.
(c)
Captulo 6
Proporcionalidad y semejanza
155
156
e2
call
A
40
30
20
calle 1
6.20 Pruebe que el tringulo cuyos vrtices son los puntos medios de los lados de un
tringulo dado, es semejante a ste.
Captulo 6
157
Proporcionalidad y semejanza
6.21 Pruebe que dos tringulos, cada uno de ellos con dos lados congruentes, son semejantes, si se cumple cualquiera de las siguientes condiciones:
(a) los ngulos comprendidos por los lados congruentes son congruentes.
(b) un ngulo con vrtice en el tercero de los lados del uno, es congruente con un
ngulo con vrtice en el tercero de los lados del otro.
6.22 Dados dos tringulos semejantes, pruebe que estn en la misma proporcin que
los ladosh13i :
(a) las medianas correspondientes.
(b) las bisectrices de los ngulos correspondientes.
(c) los permetros.
6.23 Sean AB y CD que se cruzan en E tal que A-E-B y C-E-D. Pruebe que son
equivalentes:
(a) AC k BD.
(b) 4ACE 4BDE.
EA EC
(c)
=
.
EB ED
6.24 Consideremos un tringulo 4GHK tal que KG = KH, y P un punto interior de
GH. Si PQ y PR son perpendiculares a HK y GK en Q y R, respectivamente,
PQ HQ
pruebe que
=
.
PR
GR
6.25 Sea PQRT un trapecio tal que PQ QR, PQ PT . Si ST PR en S, pruebe
QR SP
=
.
que
QP ST
6.26 Si DEFG es un cuadrado y C es recto,
pruebe que:
(a) 4ADG 4GCF.
(b) 4ADG 4FEB.
(c) AD EB
= DG FE.
(d) DE = AD EB.
6.27 Si l1 k l2 , pruebe que
AB AC
BC
=
=
.
PQ PR RQ
l1
l2
158
6.28 Consideremos el paralelogramo ABCD. Si una recta que pasa por B intersecta a
AC en E, a DC en G y a AD en F, pruebe que:
(a) 4AEF 4CEB.
(b) 4ABE 4CGE.
(c) EB es la media geomtrica de EG y EF.
6.29 Si CD y SR son medianas de los tringulos 4ABC y 4PQR, respectivamente,
tales que 4ADC 4PSR, pruebe que 4ABC 4PQR.
6.30 En 4ABC, D es el punto medio de AB y E es un punto de AC tal que AE > EC.
FB EA
Si DE y BC se intersectan en F, pruebe que
=
.
FC EC
6.31 Si CD es la altura desde el vrtice del ngulo recto C, en un tringulo rectngulo
4ABC, pruebe que AC2 BC2 = AD2 BD2 .
6.32 Si a y b son nmeros naturales tales que a > b, pruebe que todo tringulo cuyos
lados miden a2 b2 , 2 a b y a2 + b2 es rectngulo.
6.33 (Tringulo rectngulo issceles)
Pruebe que:
2m
uno de los catetos mide 2 .
3
2
veces la hipotenusa.
6.36 Si p y q son las longitudes de los catetos de un tringulo rectngulo y r es la longitud de la hipotenusa, pruebe que para cualquier nmero positivo k, los nmeros
k p, k q y k r son tambin las longitudes de los lados de un tringulo rectngulo.
6.37 Si las longitudes de los catetos de un tringulo rectngulo son a y b, determine la
longitud h de la altura correspondiente a la hipotenusa, y las proyecciones a0 y b0
de los catetos sobre la hipotenusa, en trminos de a y b.
Captulo 6
Proporcionalidad y semejanza
159
(a) AB2 < AC2 + BC2 si, y slo si, el ngulo C es agudo.
(b) AB2 > AC2 + BC2 si, y slo si, el ngulo C es obtuso.
6.43 (a) Pruebe que la bisectriz de un ngulo de un tringulo divide al lado opuesto en
segmentos proporcionales a sus lados adyacentes, es decir:
BV
BA
si AV es bisectriz de 4ABC, entonces CV
= CA
.
(b) Verifique que, en las condiciones de la parte anterior, BV y CV en trminos
de los lados son
BC
BV =
AB
AB + AC
BC
CV =
AC
AB + AC
(c) Pruebe que, si el bisector de un ngulo externo en un vrtice de un tringulo
corta la recta que contiene a lado opuesto, entonces determina segmentos
proporcionales a sus lados adyacentes, es decir:
160
(d) Si, en un tringulo 4ABC, los bisectores de los ngulos interno y externo en
AV 2 +AE 2
BV
AVCV+AE = 2.
(e) Enuncie y pruebe el recproco del resultado de la parte (a).
(ii)
AV =
BC
AB AC 1
AB + AC
2
2 AB AC s (s BC) (donde s es el semipermetro).
AB + AC
(c) AV = AB AC V B VC.
(d) si dos bisectrices de un tringulo son congruentes, entonces los lados sobre los que caen son congruentes (y, por tanto, los ngulos que bisecan son
congruentes).h16i
(e) si dos lados de un tringulo no son congruentes, entonces al ngulo ms pequeo corresponde la bisectriz ms larga.h17i
(b) AV =
6.46 (a) Dado un tringulo 4ABC con altura AD y H un punto tal que B-H-C, pruebe
que
r
AH =
AB2 + BH 2
BH
(BC2 + AB2 AC2 )
BC
(b) Use la parte anterior para dar otra prueba del clculo de la mediana AM y la
bisectriz AV de un tringulo 4ABC, sustituyendo H = M y H = V , respectivamente.
6.47 Si, en 4PQR, PQ = PR, y S y T son dos puntos tales que P-Q-S y P-R-T , pruebe
que ST > QR.
6.48 (a) Si dos tringulos son tales que las rectas que determinan sus lados son paralelas (las del uno con las del otro), pruebe que son semejantes.
(b) Si dos tringulos son tales que las rectas que determinan sus lados son perpendiculares (las del uno con las del otro), pruebe que son semejantes.
Captulo 6
161
Proporcionalidad y semejanza
6.49 Sean P, Q, R y X cuatro puntos tales que cualesquiera tres de ellos no son colineales. Considere los segmentos XP, XQ y XR. Sea A un punto cualquiera de XR
y trace una recta por A paralela a PR, que intersecta XP en B. Trace una recta por
B paralela a PQ, que intersecta XQ en C. Pruebe que 4ABC 4RPQ.
(Este resultado da garanta del buen proceder del dibujante tcnico, al dibujar
perspectivas desde un punto de fuga dado).
6.50 Sea ABCD un trapecio, con AB k CD y CD < AB. Se trazan segmentos CF y
DE tales que E y F estn en la base mayor; CF k AD; DE k BC; CF intersecta
la diagonal DB en M; DE intersecta la diagonal AC en N. Por F y E se trazan
paralelas a las diagonales AC y DB, respectivamente; stas ltimas intersectan a
BC y AD en los puntos P y Q, respectivamente. Pruebe que M, N, P y Q son
colineales.
6.51 (a) Considere un trapecio ABCD tal que: AB k CD; P es el punto de corte de
AC AE
=
AB AD
BC DE
=
.
AC
AE
E
B
Adems, la forma del 4ABC est determinada por el ngulo A, puesto que
el nico ngulo que falta por determinar para conocer su forma es el ngulo B,
y ste est determinado por A, pues es su complemento.
162
cateto opuesto
hipotenusa
cateto adyacente
hipotenusa
cateto opuesto
cateto adyacente
Si mA = r, entonces se escribe
a
= sen r;
c
b
= cos r;
c
a
= tan r.
b
En las partes (d), (e) y (f) veremos cmo se designaran cada una de ellas
respecto al ngulo B.
Note que, por el ejercicio 3.7.(a), para cualquier ngulo agudo A:
0 < sen A < 1; 0 < cos A < 1 y 0 < tan A.
Si conocemos mA, algunos ngulos (llamados notables) permiten calcular
fcilmente estas razones, como veremos en (a), (b) y (c).
3
3 .
1
2 y tan 60
sen2 A + cos2 A = 1.
(i) Definiendo la cotangente como el recproco de la tangente, pruebe que la
tangente de un ngulo es la cotangente de su complemento y que la cotangente
de un ngulo es la tangente de su complemento.
Captulo 6
163
Proporcionalidad y semejanza
(j) Definiendo la secante como el recproco del coseno, pruebe que, para cualquier ngulo agudo A,
1 + tan2 A = sec2 A.
(k) Definiendo la cosecante como el recproco del seno, pruebe que la secante
de un ngulo agudo es la cosecante de su complemento y que, para cualquier
ngulo agudo A,
1 + cot2 A = csc2 A.
(l) Pruebe, usando el diagrama y las indicaciones que se dan a continuacin, que,
siempre que 0 < + < 90, se tiene que:
(i) sen( + ) = sen cos + cos sen .
(ii) cos( + ) = cos cos sen sen .
Si BFC, BCA, BED y CDE son rectos,
entonces:
(i) 4BFC 4ADC.
BE CD AC AD BC
=
.
(ii)
AB
AC AB AC AB
AE
AD AC CD BC
=
.
(iii)
AB
AC AB AC AB
(iv) Llame = mCAD y = mCAB.
(m) Dados dos ngulos agudos de medidas y , pruebe que < si, y slo si,
se cumple cualquiera de las siguientes condiciones:
(i) sen < sen .
(ii) cos > cos .
(iii) tan < tan .
(n) (Teorema del coseno)
Si, en 4ABC, A es agudo, pruebe que
BC2 = AC2 + AB2 2 AC AB cos A.
164
Captulo 6
165
Proporcionalidad y semejanza
podra decir que la idea que est detrs del estudio de la semejanza de tringulos, incluyendo
el Teorema de Thales y el estudio de la Trigonometra, es la de obtener la medida de magnitudes
relativamente grandes, como lo son la altura de un edificio o la distancia entre los astros, por medio
de magnitudes relativamente pequeas, como lo son el tamao del propio cuerpo, o una parte de l,
y las cuerdas que se obtienen en un astrolabio o un comps.
h2i Clsicamente
h3i Note
a
b
< r, entonces
a
b
< s;
y,
(2) si
a
b
< s, entonces
a
b
< r.
La prueba es evidente, tomando en cuenta la tricotoma del orden de los nmeros reales, pues:
suponer que r 6= s equivale a decir que r < s o s < r; pero, en ambos casos tendremos un racional
a
c
a
c
b (o d ) tal que r < b < s (o s < d < r); lo cual contradice (1) (o (2)).
h4i Decimos
que esta proposicin generaliza la proposicin 5.8 porque sta se obtiene de aquella
tomando la razn de proporcionalidad igual a 1.
Estas situaciones se hacen ms comprensibles pensndolas en trminos de las distancias entre las
rectas paralelas: tres rectas paralelas determinarn segmentos en una secante cuyas longitudes estarn en la misma razn que las distancias entre ellas. Ilustremos lo que decimos con un ejemplo:
si tres rectas paralelas l1 , l2 y l3 , son tales que la distancia d1,2 entre l1 y l2 es k veces la distancia
d2,3 entre l2 y l3 (donde k es cualquier nmero real positivo), entonces se tiene que el segmento
166
AB determinado por l1 y l2 en una secante t, a las tres rectas, tendr siempre una longitud que es k
veces la longitud del segmento BC determinado por l2 y l3 en t. Para simplificar la ilustracin an
d
AB
ms decimos que, si d1,2 = k d2,3 , entonces AB = k BC; en otras palabras, d1,2
= BC
= k, lo que
2,3
es lo mismo que decir que los segmentos son proporcionales a las distancias entre las rectas l1 , l2 y
l3 . Esto resulta as a partir de este Teorema de Thales, al tomar como una de las secantes una recta
que es perpendicular a las tres rectas l1 , l2 y l3 .
Por otro lado, enunciado de una forma ligeramente distinta, pero con el mismo significado, se puede
decir que el recproco del Teorema de Thales tambin es cierto, a saber: dados l1 k l2 , t1 y t2 secantes a l1 , l2 y l3 en los puntos A, B, C, y A0 , B0 , C0 , respectivamente, se tiene que l3 es paralela a
l1 si, y slo si,
B0C0
BC
= 0 0.
BA
BA
Pero, como ste no es el enunciado clsico del Teorema de Thales, hemos preferido la forma en que
lo hemos expuesto. De todos modos, en el ejercicio 6.16, se plantea al lector probar el Teorema de
Thales enunciado en esta forma.
h5i Como
h6i Decimos que este Teorema generaliza el corolario 5.8.3 porque ste se obtiene de aqul tomando la
no tengan el mismo tamao. En otras palabras, dos figuras geomtricas son semejantes
cuando una de ellas es un modelo a escala de la otra (bien que se alargue la escala o se contraiga).
As podemos pensar en el diseo que el arquitecto tiene dibujado en sus planos y el proyecto ya realizado; una fotografa y cualquier ampliacin o reduccin; el dibujo del levantamiento topogrfico
de un terreno hecho por un topgrafo y el terreno mismo.
h8i El
h9i Es
decir, si los lados son proporcionales, entonces los ngulos correspondientes son congruentes;
de este modo, los criterios AAA y LLL de semejanza de tringulos son recprocos el uno del otro.
h10i La
demostracin dada por Euclides de este teorema depende de los postulados de rea. Cuando
estudiemos reas, en el Captulo 7, daremos otras demostraciones adicionales. Adems, slo despus de estudiar reas es que se puede hacer una interpretacin elegante de este teorema, tambin
conocida por no pocos.
h11i Compare
h12i
Esto satisface lo prometido en la Nota h22i del Captulo 3, pues es exactamente el recproco de la
proposicin 3.9; que nos da la suficiencia de la condicin expuesta en esa proposicin.
h13i Compare
Captulo 6
h14i Revise
167
h15i Compare
h16i Revise
Proporcionalidad y semejanza
el ejercicio 3.26.
h17i Compare
h18i De
hecho, la palabra coseno es una abreviatura de la expresin latina complementi sinus, que
significa seno del complemento. Por otro lado, la palabra seno lleg a nuestro idioma a travs del
latn y su origen nos ofrece una curiosa ancdota. Las matemticas, tanto griegas como hindes,
llegaron al mundo occidental a travs de los rabes, principalmente durante el siglo XII d. C. De
los dos puntos de vista predominantes respecto al abordaje de la Trigonometra, expuestos en el
Sidhanta Sironami hind y el Almagesto griego (palabra rabe, que se translitera en el alfabeto
latn al-majisti, con la cual los rabes tradujeron la palabra griega o , que significa el
ms grande, refirindose a la compilacin matemtica, en el sentido de astronoma, ms grande),
los rabes optaron por el hind en el siglo IX o X d. C. La palabra snscrita que corresponde a
nuestra palabra seno se translitera en el alfabeto latino jiva (que significa lo que es, o jya, que
significa cuerda, segn otros autores); los rabes la adoptaron fonticamente en su idioma mediante
la palabra que se translitera en el alfabeto latino jiba. Ahora, como en la escritura rabe clsica no
se colocan las vocales, sino slo las consonantes, ese trmino apareca en los textos rabes como
jb. Pero, los traductores de estas obras del rabe al latn interpretaron esta palabra, completando las
vocales que consideraron que faltaban, como si fuera la palabra jaib, que significa en latn sinus, y
que en nuestra lengua se traduce como baha o ensenada.
168
correspondientes.
6.2: cuando a 6= b, verifique que 0 < (a b)2 = (a + b)2 4ab.
6.22: para la parte (c), use el ejercicio 6.1.
6.30: trace la recta paralela a AB por C, y que intersecta a EF en P.
6.34: use el ejercicio 4.17.
6.39: aplique el corolario 6.4.1.
6.40: trace las alturas desde dos vrtices consecutivos.
6.42: razone por el absurdo, usando el corolario 6.4.1.
6.43: para la parte (a), trace l paralela a AV por C; llame F el punto de corte de l y
AB, y verifique que AC = AF. Para la parte (c), trace m paralela a AE por B;
llame G al punto de corte de m y AC, y verifique que AG = AB. Para la parte
(d).(ii), descomponga BE = V E BV , CE = CV +V E, y use el ejercicio 2.21
y el Teorema de Pitgoras.
6.45: para la parte (a), aplique el corolario 6.4.1 y el ejercicio 6.43.(b); para la
parte (d), trate de desarrollar la ecuacin que resulta de igualar la frmulas
correspondientes obtenidas en la parte (a), y obtenga una expresin de la
forma xy = 0, con y > 0 y x correspondiente a la diferencia de las longitudes
de los lados en cuestin.
6.47: en caso de que PS = PT , use el criterio LAL de semejanza de tringulos; en
caso de que PS < PT , tome U en PT tal que P-R-U y PU = PS, aplique lo
obtenido para el caso anterior, el Teorema del ngulo externo y la proposicin 3.8.
6.49: considere X dentro o fuera de 4PQR.
6.50: vea el ejercicio 5.22.
6.52: para la parte (a), use cualquier tringulo rectngulo issceles; para la parte
(b), use una altura de cualquier tringulo equiltero; para la parte (h), comience
con la relacin dada por el Teorema de Pitgoras; para la parte (ii) de las indicaciones, sustituya AD BC por su correspondiente segn la parte (i); para
la parte (m).(i), use la proposicin 2.11, la definicin del seno y el Teorema
de la barra transversal; para la parte (n), use el corolario 6.4.1; para la parte
(o), trace un par de alturas.
Thales de Mileto, reconocido como uno de los siete sabios de Grecia, fue
un rico comerciante que vivi aproximadamente en 624-545 a. C. Sus ocupaciones como mercader lo pusieron en contacto con muchos pases y tuvo el don
de aprender fcilmente de lo novedoso que encontraba; particularmente lo que
encontr en el contacto con los sacerdotes egipcios. Despus de retirarse tempranamente de los negocios, dedic su ocio a la filosofa y a las matemticas, y
Captulo 6
Proporcionalidad y semejanza
169
dio muestra, como lo esbozaremos en las lneas que siguen, de cmo se puede
combinar la perspicacia prctica con una sabidura autntica.
La tradicin occidental toda (a partir del siglo IV a.C. por lo menos) est
completamente de acuerdo en que Thales fue el primero de los filsofos griegos,
a pesar de que en su tiempo no exista todava la palabra filsofo; en su poca
sabio significaba creativo y de visin profunda, tanto desde el punto de vista
prctico como especulativo. Esta fama se debe fundamentalmente al hecho
de que expuso una cosmogona al margen de la mitologa, en la cual todo
en el universo estaba sometido a algn orden - o o - (posible origen de
la designacin del universo mediante el trmino cosmos), y su origen sera el
elemento agua.
Cosech fama de astrnomo por la acertada prediccin de un eclipse solar
el 28 de mayo del ao 585 a.C. A este respecto es famosa la ancdota segn la
cual mientras contemplaba las estrellas en un paseo nocturno, se cay en una
zanja; entonces una anciana que le atendi le pregunt: cmo podis saber
lo que ocurre en los cielos, si no veis lo que se encuentra a vuestros pies? Con
Thales se sustituye lo que era poco ms que un catlogo de estrellas por una
ciencia autntica.
Cosech fama de matemtico por resultados que hoy en da parecen triviales, pero que marcaron una poca en el desarrollo de las matemticas, como por
ejemplo: todo dimetro biseca el crculo, los ngulos de la base de un tringulo
issceles son congruentes, los ngulos opuestos por el vrtice son congruentes,
un ngulo inscrito en un semicrculo es recto, un tringulo queda determinado
por un lado y los ngulos con vrtices en los extremos de ese lado (criterio ALA
de congruencia de tringulos). Con sus resultados sobre proporcionalidad dio
origen a los elementos del lgebra, plantendose lo que propiamente se pueden
llamar ecuaciones, tal como la de calcular la altura de la gran pirmide comparando su sombra con la de una vara vertical (sin ningn alboroto ni instrumento,
como dice Plutarco), gestndose entonces la teora de las proporciones tan cara
a los griegos posteriores. Del mismo modo, la idea de abstraer en los objetos,
el volumen y el rea de su materialidad, y considerarla slo como funcin de las
lneas que determinan su forma, parece deberse definitivamente a Thales. As
mismo sustent la idea de que lo ms abstracto y general era ms valioso para
un estudio profundo de las cosas, que lo sensible.
Nunca olvid la deuda contrada con los sacerdotes egipcios, y cuando ya
era anciano, aconsej firmemente a su discpulo Pitgoras que les hiciera una
visita; consejo al cual ste atendi diligentemente, adquiriendo un profundo
conocimiento y una amplia experiencia que le fue de gran utilidad cuando, a
170
Captulo 6
Proporcionalidad y semejanza
171
ese sacrificio los bueyes han temblado siempre que se ha descubierto una gran
verdad).
El Teorema de Pitgoras ya era conocido, en casos particulares en Egipto
(3000 a.C.), y en toda su generalidad entre los Sumerios y Babilonios (20001000 a.C.); y es bien posible que su demostracin haya sido obtenida en Grecia
en una poca anterior a Pitgoras. De este teorema se han publicado, literalmente, miles de demostraciones. Aqu hemos presentado una de ellas, pero en
el siguiente captulo sugeriremos algunas ms.
Para finalizar esta pequea resea diremos que uno de los principios establecidos por Pitgoras en su escuela era el que todo en el universo es nmero, que
transcrito en trminos modernos nos dice todo en la naturaleza puede ser expresado matemticamente. Trate de imaginar cun arraigado se encuentra en
Occidente este principio todava que, an en nuestros das, los ms grandes
sabios de nuestra cultura han dedicado su vida a mostrar que este principio
es universalmente vlido, y se puede decir que es uno de los aspectos caractersticos de la cultura occidental. Tanto es as, que todava se sostiene que
toda ciencia es ciencia (es decir, conocimiento) en la medida en que es expresable matemticamente (no slo en cuanto a su orden, sino en cuanto a sus
principios).
Captulo 7
rea
Hasta ahora hemos podido asignar un nmero real a las figuras geomtricas que se
pueden expresar como la unin de un nmero finito de subconjuntos de la recta:
a dos puntos les hemos asignado la distancia entre ellos; a un segmento le hemos
asignado su longitud; a un ngulo le hemos asignado su medida angular; a los
tringulos y los cuadrilteros les hemos asignado sus permetros.
Nos proponemos ahora asignar un nmero real a figuras geomtricas que no
son del tipo de las anteriores, pero que estn de todas maneras sometidas a ciertas
condicionesh1i , como por ejemplo: al conjunto formado por un tringulo y su
interior, o por un cuadriltero convexo y su interior.
Tomaremos la primera de las nombradas como elemento bsico para la asignacin de un nmero real (el rea) a las figuras geomtricas que estudiaremos en
esta ocasinh2i .
173
174
El ltimo de los resultados del captulo anterior (la proposicin 6.5) nos permite definir sin ambigedad lo que llamaremos el rea de una regin triangular.
Definicin 7.2 (rea de una regin triangular)
El rea de una regin triangular es la mitad del producto de una altura del tringulo que la determina, por la base correspondiente.
Si el tringulo que determina la regin triangular es 4ABC, denotaremos al nmero que representa el rea de la regin mediante 4ABC.
Frecuentemente diremos rea del tringulo para decir rea de la regin
triangular determinada por el tringulo.
Si una altura del tringulo 4ABC mide h, y la base correspondiente a h mide
b, tendremos
4ABC = 12 b h;
y, gracias a la proposicin 6.5, este nmero en funcin de los lados del tringulo
es
Captulo 7
175
rea
Slo por comodidad en la manera de hablar de una regin poligonal R, convendremos en que: una triangulacin de R es un conjunto cuyos elementos son
regiones triangulares sin puntos interiores en comn y cuya unin es R; y triangular la regin poligonal R consiste en dar una triangulacin de R.
Note que, tal como se insina en la siguiente representacin, una regin poligonal se puede triangular de muchas maneras (en verdad, de un nmero indefinido
de maneras).
De aqu en adelante, cada vez que hablemos de una regin, debe entenderse
que nos referimos a una regin poligonal.
El siguiente Teorema, que se puede probar a partir de los siete postulados
que hemos aceptado, y cuya prueba puede ser consultada en el Captulo 14 de
[15], permite asignar un nmero real positivo a cada regin poligonal (su rea) y
obtener frmulas para calcular las reas de algunos cuadrilteros convexos.
Teorema 7.1 (Teorema del rea)
(a) A cada regin R corresponde un nico nmero real positivo, al que llamaremos el rea de la regin R y que denotaremos por R.
(b) (Adicin de reas)
Si la regin R es la unin de dos regiones R1 y R2 que no tienen puntos
interiores en comn, entonces R = R1 + R2 .
La parte (b) del Teorema del rea nos asegura que, por ejemplo, en la figura
del lado izquierdo, (R1 R2 ) = R1 + R2 . Pero, por supuesto, en la figura
del lado derecho, (S1 S2 ) es ms pequeo que S1 + S2
R1
R2
S1
S2
176
Al igual que antes, diremos con frecuencia rea del cuadriltero para decir rea de la regin determinada por un cuadriltero convexo; en particular
hablaremos del rea de un trapezoide, rea de un trapecio, rea de un paralelogramo, etc. Escribiremos ABCD, para simbolizar el rea del cuadriltero
ABCD.
Note que, por la parte (b) del Teorema del rea, es claro que dos cuadrilteros
convexos congruentes tienen la misma rea.
Obtendremos ahora las frmulas de rea para las regiones determinadas por la
clase ms general de los cuadrilteros convexos que estudiamos en el Captulo 5.
Proposicin 7.1 (rea de un trapezoide)
El rea de un trapezoide es el producto de la semisuma de dos bases (un par de
lados paralelos) por la altura correspondiente (la distancia entre esas bases).
Prueba Sea ABCD un trapezoide con AD k BC.
Por comodidad, llamemos BC = b1 y AD = b2 . Considerando la diagonal BD tenemos que los tringulos 4BCD y 4ABD tienen la misma altura h
con respecto a las bases BC y AD respectivamente.
Pero entonces, por el Teorema del rea, ABCD =
2
4ABD + 4BDC = 12 b2 h + 12 b1 h = b1 +b
2 h.
b1
h
A
b2
Captulo 7
rea
177
El agregar el rea a la Geometra como dispositivo bsico simplifica considerablemente las pruebas de algunos resultados que hemos obtenido en el captulo
anterior. Esta manera simplificada de presentar las pruebas resulta poco elegante,
ya que dara la ilusin de que dependen del Teorema del rea, aunque tiene la
inapreciable ventaja de hacer que esos resultados sean exclusivos de la Geometra
elemental.
Uno de esos resultados es el Teorema de Thales; en el ejercicio 7.18 encontraremos las indicaciones para realizar una prueba de este Teorema, mucho ms
sencilla que la que hemos presentado en el captulo anterior, obteniendo precisamente la prueba que realiz Euclides en sus Elementos.
Otro de esos resultados es el Teorema de Pitgoras, del cual se obtiene tambin una interpretacin muy intuitiva: el rea del cuadrado construido sobre la
hipotenusa es la suma de las reas de los cuadrados construidos sobre los catetos.
Se podra decir que la prueba usando reas es una prueba propiamente geomtrica,
ya que la que hemos dado en el captulo anterior tiene carcter aritmtico: bajo
ciertas condiciones, los nmeros a, b y c satisfacen la relacin a2 + b2 = c2 . Encontraremos en los ejercicios 7.11, 7.12, 7.15, 7.16 y 7.17 de este captulo las
indicaciones de otras pruebas famosas de este Teorema, que hacen uso del rea.
178
Captulo 7
179
rea
D
A
b
G b
b
a
A
a
E
b
b C
180
M
A
R
K
R1
P
B
R2
AC 2
BC 2
(d) 1 =
+
.
AB
AB
2
2
2
(e) c = a + b .
C
b
Captulo 7
181
rea
B
a
b
c
(d)
4ABB0
AB0
4C0 BB0 = B0C0 .
AB
AB0
BC = B0C0 .
AB
BC
AB00
B00C00
A0 B0
B0C0 .
l1
A0
l1
A
h0
l2
B0
h
l3
C
t1
l2
l3
B00
C0
t2
B0
C00
t3
t1
C0
3
4
t2
s2 .
7.20 Dos lados de un tringulo miden a y b. La altura cuya base es el tercer lado
divide a ste en segmentos de longitud c y d. Pruebe que (a + b) (a b) =
(c + d) (c d).
182
Captulo 7
183
rea
Q0 S0 S0 R0
0 0
7.28 Si PSQ
=
= k, pruebe que
= P0 S0 Q0 , QSR
= Q0 S0 R0 y d PPSS =
QS
SR
P0 Q0 R0 S0
= k2 .
PQRS
S0
R0
P0
Q0
7.29 Sea ABCD un trapecio con DC k AB; E el punto medio de AB; AC corta a DE
en su punto medio F y BD corta a CE en su punto medio G. Pruebe que:
(a) 4ADE = 4ECB.
(b) 4AFE = 4EGB.
(c) 4AFD = 4BGC.
7.30 En el paralelogramo ABCD, M es el punto medio de AD y K el de AB. Pruebe
que AKCM = 12 ABCD.
7.31 En el trapecio ABCD, con AB k CD, tenemos: A y B son agudos; K el punto
medio de BC, y P es un punto en AB tal que PK k AD. Pruebe que a 4APD =
PBCD = 12 ABCD.
7.32 Sea 4MQR un tringulo y P el punto de interseccin de las medianas RS y MT .
Pruebe que que 4PMS = 4PRT .
7.33 Si una diagonal de un cuadriltero biseca a la otra diagonal, pruebe que las reas
de los tringulos que tienen por base la diagonal que biseca (no la que es bisecada)
son iguales.
7.34 Sea ABCD un paralelogramo y P, Q, R y S los puntos medios de sus lados.
Pruebe que ABCD = 2 PQRS.
7.35 Sea PQRS un paralelogramo. Sea J un punto tal que S-J-R. Sea K un punto de
tal que R-K-Q. Una recta que pasa por S y es paralela a PK intersecta en M a una
184
7.36 (a) Pruebe que una recta l separa a una regin limitada por un paralelogramo en
dos regiones de reas iguales si, y slo si, l contiene el punto de interseccin
de las diagonales del paralelogramo.
(b) Dados dos paralelogramos, cmo se puede dibujar una sola recta que divide
a las regiones limitadas por los dos paralelogramos en dos regiones de igual
rea?
7.37 Sea ABCD un cuadrado con H, I, J y K los puntos medios de sus lados. Pruebe que PQRS es un
cuadrado y pruebe que PQRS = 15 ABCD.
R
K
P
A
Captulo 7
rea
185
lejos, en el desarrollo de este tema, de poder asignar un nmero real a cualquier figura
geomtrica.
h2i Esta
necesidad de cuantificar o medir todo aquello que tenga que ver con la realidad sensible
del ser humano es un signo caracterstico de nuestra cultura desde la antigedad llamada clsica
(antigedad que es muy relativa, ya que no se remonta ms all del siglo VI a.C.), y est particularmente acentuada hoy en da. Tiene su origen en la conveniencia prctica de establecer un orden
entre los entes que tienen alguna utilidad en la supervivencia del ser humano, y cul mejor que el
orden que tienen por s mismos los nmeros reales. Como ejemplo tenemos lo que tiene que ver
con el sustento inmediato del hombre, principal medio de produccin, como lo es la tierra; todos
quisieran saber qu parcela de tierra es ms grande que otra, y medir el contorno, o el permetro, no
es un camino confiable. De esta situacin surge primitivamente el estudio de las reas que luego se
elev hasta abstraer todo su contenido material, resolvindose (como se hace en Geometra) slo a
partir de su contorno.
h3i Esta
manera de calcular el rea de un tringulo en funcin de los lados se debe a Hern de Alejandra, del que parece que hay acuerdo en ubicar, cronolgicamente, en el primer siglo de nuestra
era.
186
1
3
Captulo 7
rea
187
188
Captulo 8
Polgonos
Procedemos ahora a estudiar un tipo de figuras geomtricas que abarca, como casos particulares, a los tringulos y cuadrilteros; comenzaremos, como es natural,
estableciendo su definicin.
189
190
P2
P3
P2
P3
P3
P2
P1
P3 P1
P1
(1)
P1
P2
(2)
P3
P1
P2
P5
P4
(4)
P5
P4
P4
P4
P1
P4
(3)
(7)
P3
P4
P5
P2
P5
P6
P1
P3 P3
P4
P2
P1
(5)
(6)
(8)
Captulo 8
191
Polgonos
(e) un ngulo externo en uno de sus vrtices es una pareja lineal del ngulo del
polgono que tiene su vrtice en dicho vrtice del polgono.
(f) el permetro es la suma de las longitudes de sus lados.
Tomando el polgono identificado con el nmero
(3) en la representacin anterior como ejemplo, tendremos que: P1 y P2 , P1 y P5 son vrtices consecutivos; P1 P3 , P1 P4 son diagonales; y son ngulos externos en los vrtices P5 y P3 , respectivamente;
y P1 P2 + P2 P3 + P3 P4 + P4 P5 es el permetro.
P2
P3
P1
P5
P4
192
Captulo 8
193
Polgonos
194
de BC, as como D y C estn del mismo lado de AB; de donde, por definicin, D
est en el interior de ABC.
() Supongamos que todos los vrtices de P, que no estn en dos de sus lados
consecutivos, estn en el interior del ngulo del polgono determinado por esos
dos lados. Consideremos el segmento AB, lado de P. Tomemos el vrtice C
Captulo 8
195
Polgonos
P3
P2
Pk1
P1
Pk
Pn
Pk+1
Pn1
196
Definiremos ahora el interior de un polgono convexo (concepto que no podremos, por ahora, generalizar a todos los polgonos en general).
P2
P3
P1
P4
P6
P5
Captulo 8
197
Polgonos
Es claro que todo polgono convexo determina una regin poligonal: la formada por l mismo y su interiorh4i ; adems, la frontera de esa regin es el polgono mismo. Cuando hablemos del rea de un polgono convexo nos estaremos
refiriendo al rea de la regin poligonal determinada por l.
De inmediato presentamos las dos relaciones fundamentales entre figuras
geomtricas para el caso particular de los polgonos, las cuales son las generalizaciones naturales de los conceptos correspondientes entre tringulos: la que
relaciona polgonos con la misma forma y tamao (congruencia), y la que relaciona polgonos con la misma forma (semejanza).
198
P1
P2
P5
P2
P1
P6
P2
P3
P7
P4
P6
P3
P4
P5
P5
P3
P4
P2
P1
P8
P3
P7
P4
P6
P5
Slo los tringulos equilteros y los cuadrados son, entre los que hemos estudiado, polgonos regulares.
(6) Podremos asegurar que existen n-gonos regulares, para cualquier n > 5?
(7) Podremos asegurar que existen n-gonos no regulares, para cualquier n > 5?
Captulo 8
Polgonos
199
200
8.1 Por qu la figura geomtrica adjunta no es un polgono, a pesar de que ningn par de segmentos se
cortan fuera de sus extremos, y ningn par de segmentos con extremo comn son colineales?
B
C D
Captulo 8
Polgonos
201
202
Captulo 8
Polgonos
203
nuestro estudio, las palabras n-gono y polgono son sinnimas, usando la primera de ellas
cuando queremos hacer hincapi en el nmero de lados, o de vrtices, que tiene la figura geomtrica
a la que nos referimos. Algunos autores prefieren usar la palabra n-gono en vez de n-gono: esto es
cuestin de preferencias, pues la letra a aadida a esta ltima se usa slo para evitar una posible
cacofona.
El sufijo gono que aparece en ambas palabras proviene del sustantivo femenino griego i , que
e o . Su etimologa est
significa literalmente ngulo, rincn; y que en el dialecto drico es
ligada al sustantivo neutro griego o , que significa rodilla, nudo de un tallo. El prefijo poli en la
palabra polgono proviene del adverbio de cantidad griego o , que significa muchos, haciendo
abstraccin de la cantidad exacta.
La palabra ngulo llega a nuestra lengua a travs del sustantivo masculino latino angulus, que a su
, que significa curvatura, codo, articulacin,
vez proviene del sustantivo masculino griego
coyontura, ngulo, rincn. Es este trmino el que se prefiri conservar en las palabras tringulo y,
en la Geometra llamada proyectiva, cuadrngulo; en este ltimo caso, el prefijo se conservo como
en latn, cuadri, del adjetivo numeral quattuor, en vez del correspondiente adjetivo numeral griego
, que significan cuatro. Por el otro lado, la palabra cuadriltero conservo ambas races
latinas, siendo la ltima el sustantivo masculino latino latus, que significa lado; prefiriendo as la
referencia a los lados, en vez de a los ngulos.
h2i Esta
h3i En
los ejercicios 8.4 y 8.5 encontraremos otras formas de probar este resultado.
h4i Al
tomar todas las diagonales desde uno de sus vrtices obtenemos una triangulacin de dicha
regin; al tomar todos los segmentos con un extremo en uno de los puntos interiores, y el otro en
uno de los vrtices, obtenemos otra triangulacin de dicha regin.
204
Captulo 8
Polgonos
205
como aparecen en el Libro V de los Elementos; con la cual prob que los
nmeros irracionales se podan aproximar por nmeros racionales tanto como
se quisiera. Y, segn Arqumedes, fue el creador de una tcnica para demostrar
proposiciones con respecto a las reas y volmenes de figuras geomtricas: el
mtodo de exhaucin1 . El trmino mtodo de exhaucin no fue usado por los
griegos antiguos, sino ms bien es del todo moderno: fue acuado en Europa
despus del Renacimiento y se aplic a los rigurosos procedimientos griegos
para obtener frmulas de rea. Su exposicin est desarrollada totalmente en
el Libro XII de los Elementos.
Se basa este mtodo en la propiedad de que una cantidad dada puede
hacerse ms pequea que otra cantidad dada, partindola consecutivamente
en dos (un nmero finito de veces); propiedad que luego tom el nombre de
propiedad arquimediana del orden de los nmeros reales. Eudoxo demostr,
usando esta propiedad, que agotando el rea de un crculo con aproximaciones
poligonales sucesivas, el rea del crculo era proporcional al cuadrado de su
dimetro. La tcnica consiste en inscribir polgonos regulares con un nmero
de lados creciente (de los cuales es fcil calcular el rea) dentro de un crculo,
para encontrar el rea de ste.
Porque puede usarse para computar las reas y volmenes limitados por
curvas y superficies, el mtodo puede ser considerado como un precursor de
Clculo Diferencial e Integral, aunque no usara la nocin de lmite ni argumentos
sobre cantidades infinitesimales.
Segn Arqumedes, Eudoxo us este mtodo para demostrar que los volmenes de las pirmides y los conos son un tercio del volumen de los prismas y
los cilindros, respectivamente, con las mismas bases y alturas; cosa que muy
probablemente ya haba descubierto Demcrito.
En el siguiente captulo ilustraremos el uso del mtodo de exhaucin para
el clculo de la longitud y del rea de un crculo y de un sector circular.
1 La
palabra proviene del verbo latino exhaurio, que significa agotar. Quizs la palabra exhaucin no es correcta en espaol, siendo mejor la palabra agotamiento, pero se ha vuelto usual en
el mbito de las Matemticas.
Captulo 9
Crculos
Nos proponemos ahora estudiar la figura geomtrica que los griegos calificaron
como la ms perfecta de las figuras geomtricas planas; comenzaremos, como es
natural, estableciendo su definicin.
Definicin 9.1 (Crculo o circunferencia)
Un crculo (o una circunferenciah1i ) es el conjunto de puntos que
estn a una distancia positiva prefijada, de un punto prefijado.
De un crculo llamaremos: al punto, el centro; al nmero real
positivo, el radio; y, al doble del radio, el dimetro.
A
r
r
P
r
C
Observacin 9.1
(a) Con centro en cada punto del Plano existen, al menos, tantos crculos como
nmeros reales positivos.
(Por cada nmero real positivo se puede construir uno con centro en un
punto, usando el Postulado del transportador (Construccin de ngulos) y
el Teorema de la localizacin de puntos.)
(b) Los crculos son figuras geomtricas; en verdad, tienen un nmero indefinido
de puntos.
(Es consecuencia de la construccin anterior.)
(c) El centro de un crculo no est en el crculo.
(Por el hecho de que su radio es un nmero positivo.)
Si bien el estudio de los crculos no rompe, en su esencia, con lo que hemos
desarrollado hasta ahora de la Geometra, en algunos aspectos contrasta con el
resto, ya que, como veremos a continuacin, es la primera de las figuras geomtricas planas que estudiaremos, no compuesta por trozos de rectas.
207
208
Ahora la pregunta de rutina: cuntos centros y cuntos radios tiene un crculo? El siguiente resultado nos da garanta de lo que es la respuesta espontnea
a esta interrogante.
Proposicin 9.2 (Igualdad de crculos)
Dos crculos son iguales si, y slo si, tienen el mismo centro y el mismo radio.
Prueba Consideremos dos crculos C y D. Llamemos A y B a sus respectivos
centros, y r y s a sus respectivos radios.
() Supongamos que C = D. Si acaso A 6= B, consideramos, por el Postulado
Si denotamos con los smbolos P y r al centro y el radio de un crculo, respectivamente, denotaremos al crculo por CP,r : sin embargo, cuando el radio no
sea relevante en la discusin, lo denotaremos por CP ; y, si el centro tampoco lo
es, lo denotaremos simplemente por C .
(1) Cundo una figura geomtrica deja de ser un crculo?
(2) Es convexo un crculo?
Captulo 9
209
Crculos
Por el Postulado de la recta tenemos que, dos puntos distintos determinan una
recta. A continuacin establecemos el resultado anlogo para los crculos.
Proposicin 9.3 Para cada tres puntos no colineales, existe exactamente un crculo que los contiene.
Prueba Sean A, B y C tres puntos no colineales. Por el ejercicio 4.25, las mediatrices de AB, BC y AC concurren en un punto P que equidista de A, B y C.
Llamando r a dicha distancia comn, tendremos que CP,r es un crculo que pasa
por A, B y C.
Por otro lado, si CQ,s es un crculo que contiene a A, B y C tendremos, por el Teorema de la mediatriz, que Q est en las mediatrices de AB y BC; de donde P = Q.
Como r = PA = QA = s tendremos, por la proposicin 9.2, que CQ,s = CP,r .
Otra manera de decir esto mismo es: por cada terna de puntos no colineales
pasa un nico crculo, tres puntos no colineales determinan un crculo, o, un
crculo queda determinado por tres de sus puntos.
Ahora estableceremos un par de clasificaciones genricas de los crculos,
basadas en la igualdad de uno de sus dos elementos esenciales.
Definicin 9.2 (Crculos concntricos)
Dos crculos son concntricos, si tienen el mismo centro.
congruentes)h2i
r2
r3
r1
P
Observacin 9.2
(a) Dos crculos distintos y concntricos no se cortan; del que tiene el radio ms
pequeo diremos que es el crculo menor, y del otro que es el crculo mayor.
(Es consecuencia de la proposicin 9.2.)
(b) Si dos crculos son iguales, entonces son congruentes.
(Es consecuencia de la proposicin 9.2.)
(3) Ser la relacin es concntrico con una relacin de equivalencia en el conjunto de todos los crculos?
(4) Ser la relacin es congruente con una relacin de equivalencia en el conjunto de todos los crculos?
210
Interior
Exterior
l1
B
C
E
C2
l3
l2
Captulo 9
Crculos
211
212
donde tanto B como A0 estn en AP. Como, por la parte anterior, AB = AA0 ,
tendremos, por (CS4), que B = A0 .)
(g) La mediatriz de cualquier cuerda de un crculo pasa por su centro.
(Gracias al Teorema de la mediatriz y a la definicin de crculo.)
(h) Una cuerda de un crculo, que no es dimetro, y un segmento (un rayo o una
recta) que pasa por su centro son perpendiculares si, y slo si, el punto de
corte es el punto medio de la cuerda; y esto sucede si, y slo si, el segmento
(el rayo o la recta) est contenido en la mediatriz de la cuerda.
(Es consecuencia de la parte anterior, la proposicin 3.4 y el corolario 3.10.1.)
(i) La distancia desde el centro de un crculo hasta una de sus cuerdas es la
distancia hasta su punto medio; as, todos sus dimetros equidistan de su
centro.
(Es consecuencia de la parte anterior.)
(j) Los puntos interiores de una cuerda de un crculo estn dentro del crculo.
(Si AB es una cuerda del crculo CP,r , y C es un punto tal que A-C-B tendremos, por la observacin 9.1.(c) y el ejercicio 3.10, en caso de que AB no
es un dimetro, o por la parte (d) de esta observacin, en caso de que AB es
un dimetro, que PC < PA = PB = r; con lo que C est dentro del crculo.)
(k) Los nicos puntos de una secante a un crculo, que estn dentro del crculo,
son los puntos interiores de la cuerda que determina.
(Consideremos una recta l secante al crculo CP,r en los puntos A y B, y
C un punto de l que est dentro de CP,r , es decir, tal que PC < r. Por la
definicin de crculo, C 6= A y C 6= B. Si acaso A-B-C o C-A-B tendremos,
por la observacin 9.1.(c) y el ejercicio 3.10, en caso de que AB no es un
dimetro, o por la parte (d) de esta observacin, en caso de que AB es un
dimetro, que r < PC; contrario a lo supuesto. As, por (S3), A-C-B; con lo
que C es un punto interior de AB, la cuerda determinada por l.)
(l) El interior de un crculo es convexo.
(Consideremos dos puntos A y B distintos dentro del crculo CP,r , y C un punto
tal que A-C-B. As tendremos, por el ejercicio 3.10, en caso de que P no est
en AB, o por la definicin de Interposicin, en caso de que P est en AB, que
PC < PA < r o PC < PB < r; con lo que C est dentro de CP,r . Por tanto, el
interior de CP,r es convexo.)
(m) Dados un rayo AB tal que A est dentro del crculo CP,r y B est sobre CP,r ,
y un punto C de AB, se tiene que C est dentro de CP,r si, y slo si, C = A o
A-C-B.
(En cualquiera de las dos implicaciones, C 6= B. Si A = P, tendremos que
Captulo 9
213
Crculos
l
S
P
R
Q
214
Observacin 9.4
(a) Por cada punto de un crculo pasa exactamente una de sus tangentes.
(Es consecuencia de las proposiciones 9.4 y 2.10.)
(b) Dos tangentes a un crculo son paralelas si, y slo si, los puntos de contacto
son extremos de un dimetro.
(Una recta por el centro es perpendicular a una si, y slo si, lo es a la otra.)
(c) Todos los puntos de una tangente a un crculo, excepto el punto de contacto,
estn fuera del crculo.
(Es consecuencia de la proposicin 9.4 y el ejercicio 3.7.)
(d) Si dos tangentes distintas de un crculo se cortan, entonces el punto de corte
est fuera del crculo.
(Es consecuencia de la parte anterior.)
Proposicin 9.5 (Caracterizacin de las secantes)h3i
Una recta es secante a un crculo si, y slo si, se cumple cualquiera de las siguientes condiciones:
(a) tiene un punto de su interior.
(b) la distancia del centro a la recta es menor que el radio del crculo.
Prueba Consideremos un crculo CP,r y una recta l.
(a) () Supongamos que l es secante a CP,r en Q y S. Por
l
la observacin 9.3.(j), cualquier punto entre Q y S est en
X = S?
el interior de CP,r .
r
() Supongamos que l tiene algn punto Z del interior
P
s R
de CP,r . As, por definicin, PZ < r. Si R es el pie de
r
la perpendicular de P a l, tendremos, por el ejercicio 3.7,
X = Q?
que PR 6 PZ < r; es decir, R est en el interior de CP,r .
Por abreviar, llamemos PR = s; con lo que s < r.
r2 s2 .
Ahora, como r2 s2 > 0, tenemos que existe su raz cuadrada positiva
2
Tomemos los dos puntos Q y S en l tales que Q-R-S y RQ = RS = r s2 . As,
por el Teorema de Pitgoras, PQ = PS = r; de donde l es secante a CP,r en Q y S.
(b) Es claro, a partir de la definicin de distancia entre un punto y una recta, y de
lo probado en la parte anterior.
Captulo 9
215
Crculos
Observacin 9.5
(a) Todo rayo, con un punto dentro de un crculo, corta el crculo; adems, lo
corta en exactamente un punto, si el origen est en el interior, y lo corta en
exactamente dos puntos, en caso contrario.
216
X
B
C
Y
Observacin 9.6
(a) Los arcos son figuras geomtricas.
(Es consecuencia de la observacin 9.5.(c).)
(b) Dos puntos distintos de un crculo determinan dos arcos complementarios:
uno a cada lado de la secante determinada por ellos.
(c) El segmento que une dos puntos distintos de un crculo, y el segmento cuyos
extremos son puntos interiores de los arcos complementarios determinados
por ellos, se cortan en un punto interior de ambos segmentos.
(Es consecuencia de la observacin 9.3.(j) y (k).)
(d) La unin de dos arcos complementarios es el crculo que los contiene, y la
interseccin est compuesta por sus extremos.
Como veremos a continuacin, todo arco tiene exactamente dos extremos, y
stos no bastan para determinar al arco.
Proposicin 9.6 (Igualdad de arcos)
Dos arcos son iguales si, y slo si:
(i) los puntos de ambos estn sobre el mismo crculo;
(ii) tienen un punto interior en comn; y
(iii) tienen los mismos extremos.
Prueba Consideremos dos arcos y ; A y B, y C y D, puntos extremos de y
, respectivamente; X un punto interior de , y Y un punto interior de .
() Supongamos que = . Como A, B y X son tres puntos distintos que estn
en el crculo que contiene los puntos de y, en consecuencia, estn en el crculo
que contiene los puntos de tendremos, por las proposiciones 9.1 y 9.3, que los
Captulo 9
217
Crculos
AQ corta CP,r en exactamente dos puntos. Como A es uno de los puntos de corte
punto interior del arco no sea relevante en la discusin, lo denotaremos por AB.
218
(a) es un arco menor si, y slo si, cualquiera de sus puntos interiores est en el interior del ngulo central determinado
por sus extremos.
(b) es un arco mayor si, y slo si, cualquiera de sus puntos interiores est en el exterior del ngulo central determinado
por sus extremos.
A
X
P
Captulo 9
219
Crculos
y llamemos CP el crculo
Prueba Consideremos un arco no semicircular AXB,
transversal, PX corta AB en un punto R tal que A-R-B. Por las partes (k) y (m) de
la observacin 9.3, P-R-X; con lo que, por el Postulado de separacin del plano,
es un arco menor.
P y X estn en lados opuestos de AB. As, por definicin, AXB
(b) Es claro a partir de lo probado en la parte anterior.
180,
es un semicrculo;
si AB
:=
es un arco menor;
AB
mAPB,
si AB
360 mAPB, si AB
es un arco mayor.
220
X
P
De dos arcos, de los que uno es adyacente al otro, diremos que son arcos adyacentes o consecutivos; del arco
que tiene como extremos los extremos no comunes, y al extremo comn como punto interior, diremos que es el arco
abarcante.
y BYC
de CP son consecutivos; el arco ABC
es el
En la figura, los arcos AXB
arco abarcante.
Observacin 9.9
y BYC
son arcos adyacentes tendremos, por definicin, que:
(a) Si AXB
es el arco abarcante;
(i) ABC
(b) Todo arco tiene un nmero indefinido de arcos adyacentes a l: dos por cada
punto que no est en l.
llamaremos a los arcos AB
y BC,
cuyos
(c) Si B es un punto interior del arco AC,
los arcos determinados por B en AC;
Captulo 9
Crculos
221
(b) AB
es ms grande que el arco AB.
Observacin 9.10
(a) Todos los semicrculos de un crculo son congruentes.
(b) Si dos arcos son iguales, entonces son congruentes.
(c) Arcos complementarios, de arcos congruentes, son congruentes.
(Es consecuencia de la observacin 9.8.(d).)
(d) En crculos congruentes, los arcos menores son ms pequeos que los semicrculos y estos, a su vez, son ms pequeos que los arcos mayores.
(15) Ser la relacin es congruente a una relacin de equivalencia en el conjunto de todos los arcos?
222
Captulo 9
223
Crculos
A
B
D
F
Observacin 9.11
(a) Si un ngulo est inscrito en un arco, entonces el complemento de dicho arco
est inscrito en el ngulo.
(Es consecuencia del Postulado de separacin del plano y el Teorema de la
barra transversal.)
(b) Si un ngulo inscribe un arco, su vrtice puede estar sobre, dentro o fuera
del crculo; puede incluso ser un extremo del arco. Adems, como sucede
en el tercero de los casos de la figura inmediata anterior, un ngulo puede
inscribir dos arcos de un mismo crculo.
(c) Un ngulo que tiene su vrtice en un crculo, y uno de sus lados es secante
y el otro es tangente a ste, inscribe un arco que tiene uno de sus extremos
en el vrtice del ngulo y sus puntos interiores estn en el interior de dicho
ngulo.
(d) Un ngulo que tiene su vrtice sobre un crculo, no puede tener sus dos lados
tangentes al crculo.
(En caso contrario, los lados seran colineales; del todo contrario a la definicin de ngulo.)
224
ngulo ADC est inscrito en el arco ABC (ya que ABC = ADC).
Por las mismas razones expuestas para la proposicin 9.8, desarrollaremos la
prueba de la siguiente proposicin en el Apndice B, al cual referimos al lector
ms exigente. Esta proposicin tiene seis consecuencias inmediatas cuyas pruebas, por su sencillez, dejaremos al lector (ver el ejercicio 9.2).
Proposicin 9.11 La medida de un ngulo que tiene su vrtice en un crculo, y
cuyos lados son secantes o tangentes a ste, es la mitad de la medida angular del
arco que inscribe.
Corolario 9.11.1 Dado un ngulo inscrito en un arco, se tiene que:
(a) el ngulo es recto si, y slo si, el arco es un semicrculo.h6i
(b) el ngulo es agudo si, y slo si, el arco es mayor.
(c) el ngulo es obtuso si, y slo si, el arco es menor.
Corolario 9.11.2 Los ngulos inscritos en arcos complementarios, o en arcos
cuyas medidas suman 360, son suplementarios.
Corolario 9.11.3 Todos los ngulos inscritos en el mismo arco, o en arcos con
la misma medida, son congruentes.
Corolario 9.11.4 Dos rectas paralelas, que intersectan un crculo, determinan
un par de arcos congruentes sobre ese crculo.
Corolario 9.11.5 Si dos tangentes a un crculo se cortan, entonces el punto de
corte equidista de los puntos de tangencia.
La ltima de las consecuencias inmediatas de la proposicin 9.11 completa
nuestro estudio de las posiciones relativas de un ngulo y un crculo, al considerar los casos en los que el vrtice del ngulo est dentro o fuera del crculo.
Corolario 9.11.6
(a) La medida de un ngulo cuyo vrtice est dentro de un crculo es igual a
la semisuma de las medidas de los arcos inscritos en dicho ngulo, y en su
opuesto por el vrtice.
Captulo 9
225
Crculos
(b) Si un ngulo tiene su vrtice fuera de un crculo, y sus lados son secantes
o tangentes a ste, entonces inscribe dos arcos no congruentes del crculo;
adems, la medida de ese ngulo es igual a la semidiferencia de las medidas
de los arcos inscritos en dicho ngulo: el ms grande menos el ms pequeo.
Ahora introducimos el estudio de las posiciones relativas de un polgono y
un crculo.
Definicin 9.16 (Polgonos inscribibles, o cclicos, y circunscribibles)
(a) Un polgono es inscribible, o cclico, si existe algn crculo que contenga
todos sus vrtices.
Algunas veces diremos, de un polgono cclico y de un crculo que contenga
a sus vrtices, que ese polgono est inscrito en ese crculo, o que ese crculo
circunscribe a ese polgono.
(b) Un polgono es circunscribible, si existe algn crculo que sea tangente a
todos sus lados.
Algunas veces diremos, de un polgono circunscribible y de un crculo que
sea tangente a todos sus lados, que ese polgono circunscribe a ese crculo,
o que ese crculo est inscrito en ese polgono.
A
C1
C3
C2
C
D
B
C4
C
226
Captulo 9
227
Crculos
y BCD
son arcos compleopuestos de BD. As, BAD
mentarios; de donde, por el corolario 9.11.2, A y C
son suplementarios. Del mismo modo se prueba, considerando la otra diagonal, que el otro par de ngulos
opuestos tambin son suplementarios.
B
A
C
D
228
Note que los rectngulos y los trapecios issceles son cuadrilteros cclicos.
El resultado anterior caracteriza los cuadrilteros cclicos por medio de una
propiedad que involucra slo sus ngulos. A continuacin establecemos una propiedad de los cuadrilteros cclicos que involucra slo sus ladosh7i .
Proposicin 9.13 (Teorema de Ptolomeo)
Si un cuadriltero es cclico, entonces el producto de las diagonales es igual a la
suma de los productos de los lados opuestos.
Prueba Consideremos un cuadriltero cclico ABCD. Llamemos C al crculo que contiene sus vrtices. Por la observacin 9.12.(g) y la proposicin 5.2,
llamemos P al punto de corte de las diagonales AC y BD. Tomemos, por (CA2),
CAB.
AQ con Q en el mismo lado de AD que contiene a B y C, tal que DAQ =
D-C0 -B.
AD BC = AC DC0 .
Captulo 9
229
Crculos
D
P
C0
B
Q
C
(3)
(s a) (s b) (s c) (s d),
donde s =
a+b+c+d
;
2
(s a) (s b) (s c) (s d) = a b = ABCD.
Si ambos miembros de uno de esos pares de ngulos no son a la vez rectos tendremos, al ser suplementarios, que uno de ellos debe ser agudo y el otro obtuso.
230
h2
h1
(1)
(2)
= (2 b c + 2 a d)2 (a2 + d 2 b2 c2 )2
= (2 b c + 2 a d + a2 + d 2 b2 c2 ) (2 b c + 2 a d a2 d 2 + b2 + c2 )
= [(a + d)2 (b c)2 ] [(b + c)2 (a d)2 ]
= (a + d + b c) (a + d b + c) (a d + b + c) (a + d + b + c)
= 16 (s a) (s b) (s c) (s d).
As, A =
(s a) (s b) (s c) (s d).
Captulo 9
Crculos
231
232
(b) los crculos son secantes si, y slo si, se cumple cualquiera de las siguientes
condiciones:
munes.
(iii) cada uno de los nmeros a, b y c = PQ es menor que la suma de los otros
dos.
Prueba Consideremos dos crculos CP,a y CQ,b , y
llamemos PQ = c.
(a).(i) () Supongamos que CP,a y CQ,b son tangentes. Llamemos A al punto de corte. Por la observacin 9.13.(b), P 6= Q; de donde c > 0. Si A no estu
viera en PQ tendramos, por la observacin 9.13.(d),
que cada uno de los nmeros a, b y c es menor que la
suma de los otros dos. Como, por la definicin de crculo, a > 0 y b > 0, tendremos, por el ejercicio 6.18,
que existe un tringulo 4RST con RS = a, ST = b
y RT = c. Tomemos, por el Postulado del transportador (Construccin de ngulos) y (CS4), un punto B en
S
b
a
c
P
a
a
c
A
b
b
Q
est sobre PQ. Por la observacin 9.1.(c) y (S3) tendremos que A-P-Q, o P-A-Q,
o P-Q-A. Si acaso B es un punto de corte de CP,a y CQ,b , y B 6= A, tendremos que:
Captulo 9
233
Crculos
tendremos, por la proposicin 2.9, que A, P y Q son colineales. As, por la parte
anterior, CP,a y CQ,b son tangentes.
(a).(iii) () Supongamos que CP,a y CQ,b son tangentes. Llamemos A al punto
de corte. As, por la observacin 9.13.(c), la parte (a) de esta proposicin y (S3),
tendremos que P 6= Q y P-A-Q, o A-P-Q, o A-Q-P. As, por la definicin de
Interposicin, siempre la suma de dos de los nmeros a, b y c es igual al tercero.
() Supongamos que la suma de dos de los nmeros a, b y c es igual al tercero.
As, c 6= 0 y, en consecuencia, P 6= Q.
Si a + b = c tomemos, por el Teorema de la localizacin de puntos, el punto
lados opuestos de PQ; de donde: por la proposicin 9.2, los dos crculos son
distintos; A 6= B; y, por la proposicin 9.3, CP,a y CQ,b son secantes.
(b).(ii) () Supongamos que CP,a y CQ,b son secantes. Llamemos A y B los dos
puntos comunes a ambos y tales que A 6= B. Por la observacin 9.13.(b), P 6= Q.
234
C1
C2
t2
C3
C4
Captulo 9
235
Crculos
(d) Si dos crculos son tangentes interiormente, entonces sus radios son distintos.
(Es consecuencia de la parte anterior y la observacin 9.13.(b).)
Diremos, del que tiene radio menor, que est dentro del otro; y del que tiene
radio mayor, que esta fuera del otro.
(e) Si dos crculos son tangentes interiormente, entonces todos los puntos del que
est dentro, excepto el punto de contacto, estn dentro del otro; y, todos los
puntos del que est fuera, excepto el punto de contacto, estn fuera del otro.
(f) Si dos crculos son tangentes interiormente, entonces el interior del que est
dentro est contenido en el interior del otro.
(g) Si dos crculos son secantes, la recta de los centros es la mediatriz del segmento que une los dos puntos de corte.
(Es consecuencia del corolario 3.10.1).
Teniendo establecido el resultado anterior estamos en capacidad de probar
que por un punto exterior de un crculo pasan exactamente dos tangentes a ese
crculo.
Proposicin 9.15 (Tangentes crculo-punto externo)
Dado un crculo CP,a y un punto Q de su exterior, existen exactamente dos rectas
que pasan por Q y son tangentes a CP,a .
Llamaremos, a cada segmento desde Q hasta el punto de tangencia, segmento
tangente al crculo desde el punto exterior.
Prueba Consideremos un crculo CP,a , y Q un
punto de su exterior. Consideremos el crculo CM,b ,
donde M es el punto medio de PQ y b = MP = MQ.
As, c = MP = b es la distancia entre los centros.
Por definicin, a < PQ = 2 b. De este modo:
a < b+c, porque b+c = 2b; b < a+c y c < a+b,
porque c = b. Por el Teorema de los dos crculos, CM,b corta a CP,a en dos puntos distintos A
y B, como sugiere la figura. Como los ngulos
PAQ y PBQ estn inscritos en un semicrculo
tendremos, por el corolario 9.11.1, que ambos son
P
a
b
M
b
Si acaso hubiera otra tangente QC al crculo CP,a en C tendramos, por el corolario 9.11.5, que A, B y C seran puntos comunes a los crculos distintos CP,a y
CQ,QA ; contrario a la proposicin 9.3.
236
Note que, por el corolario 9.11.5, los dos segmentos tangentes a un crculo, desde un punto de su exterior, son congruentes; adems, por la observacin 9.5.(b), dichos segmentos determinan un ngulo en cuyo interior se encuentran, excepto los dos puntos de contacto, todos los puntos del crculo y todos los
puntos que estn dentro del crculo (en particular, su centro). Por su sencillez,
dejaremos la prueba de la siguiente proposicin al lector (ver el ejercicio 9.6).
AB +CD = AD + BC.
Captulo 9
237
Crculos
A
(2) E est en BA y E 6= B;
E
B
(3) B-F-C;
(4) G est en CD y G 6= C; y
PF = PE = PG.
(II)
A
E
B
F
C
W
G
del mismo lado de EG que A.
plano, que A y E estn del mismo lado de GW . As, por la construccin, A est
en el interior de W GE; de donde, por el Postulado del transportador (adicin de
ngulos), AGE es ms pequeo que AEG. Por la proposicin 3.8, AE < AG;
contrario a lo ya obtenido. Por tanto, no se puede cumplir (II).
Como (III) presenta una situacin simtrica a la de (II) tendremos, por argumentos similares, que tampoco se puede cumplir (III); y, con esto, queda probada
nuestra afirmacin.
238
(6)
cin 2.2.(a), que AB corta a GH en un punto K tal que A-K-B. Por (5), K 6= H
y K 6= G; y, por la observacin 9.3.(j) y la proposicin 9.5, no puede cumplirse
G-K-H pues, en cualquiera de los casos, AB sera secante a CP,r . Tampoco puede
cumplirse G-H-K pues, en caso contrario, tendramos que K y G estaran en lados
de AH. Pero, por la observacin 9.5.(b), E y G estn del mismo lado de AH.
Por argumentos similares se prueba que tampoco se puede cumplir K-G-H. Por
tanto, A y B estn del mismo lado de GH. Del mismo modo se prueba que C y B
estn del mismo lado de GH. As, por el Postulado de separacin del plano y la
observacin 2.2.(b), tenemos lo afirmado en (6)).
B
F
Captulo 9
239
Crculos
Por (7) y (S3), se cumple una, y slo una, de las siguientes afirmaciones:
(V)
(VI)
(VII)
(VIII)
A-H-D0 y C-G-D0 .
taran en lados opuestos de CD. Pero, por la convexidad de ABCD y la observacin 9.5.(b), A y H estn en el interior de BCD y, por tanto, del mismo lado de
CD que B.
Si se cumpliera (VI) tendramos:
(a) que D0 y H estn en lados opuestos de AB. Pero, por la observacin 9.5.(b) y
(7), G y H estn en el interior de ABC. As, por el ejercicio 2.3 y el Postulado de
separacin del plano, CG est del mismo lado de AB que H; con lo que no podra
cumplirse C-D0 -G.
(b) por la proposicin 2.3 y (6), que D0 y C estaran del mismo lado de GH; con
lo que no puede cumplirse que C-G-D0 .
(c) por el corolario 9.11.5, (1), (3) y la afirmacin 1, que AH + BE +CG + GD =
AE + BE + CD = AB + CD = AD + BC = AD + BE + CG, es decir, que AD =
AH + GD. Pero, si se cumpliera D0 -C-G tendramos, por el corolario 9.11.5 y la
definicin de Interposicin, que AH + GD = D0 H D0 A + D0 D D0 H, es decir,
D0 D = D0 A + AD; contrario a la Desigualdad del tringulo en 4ADD0 .
A
E
B
F
H
P
D0
240
Note que todos los rombos son cuadrilteros circunscribibles. Los siguientes
resultados nos permitirn establecer una medida que relaciona a un crculo con
cualquier punto del plano.
Proposicin 9.17 (Potencia de un punto)
Dado un crculo C , un punto Q, y una recta que pasa por Q y que es secante a
C en los puntos R y S, se tiene que el producto QR QS permanece constante, al
tomar cualquier otra secante a C por Q.
Este nmero es frecuentemente llamado la potencia del punto respecto al crculo.
S
R
Q
C
U
T
l2
T
Q
l1
R
Prueba Sean C un crculo, Q un punto, l1 una secante que pasa por Q e interseca
a C en los puntos R y S, y l2 otra secante que pasa por Q e interseca a C en los
puntos U y T .
Caso I Q est fuera de C .
Consideremos los tringulos 4QSU y 4QT R. El ngulo Q es comn, QSU
=
= RTU.
Por el criterio AA
QT R, porque estn inscritos en el mismo arco RSU
QS
de semejanza de tringulos, 4QSU 4QT R. Por tanto, QT
= QU
QR , de donde
QR QS = QU QT .
Caso II Q est dentro de C .
que no contiene a R est inscrito
En este caso, R-Q-S y T -Q-U. Como el arco ST
en los ngulos SUT y SRT tendremos, por la proposicin 9.11, que SUT
=
SRT . Como SQU
= T QR (al ser opuestos por el vrtice), tendremos, por el
QS
criterio AA de semejanza de tringulos, que 4SQU 4T QR. As QT
= QU
QR y,
por tanto, QR QS = QU QT .
Caso III Q est en C .
En este caso, Q = R o Q = S, y Q = U o Q = T ; de donde 0 = QR QS = QU QT .
De acuerdo con la proposicin 9.15 slo hay dos segmentos tangentes a un
crculo desde un punto de su exterior (con extremo en el punto de tangencia).
Gracias al corolario 9.11.5, estos dos segmentos tangentes son congruentes. Y,
finalmente, gracias al corolario 9.15.1, estos dos segmentos tangentes determinan
ngulos congruentes con la recta que pasa por el punto exterior y el centro.
Captulo 9
241
Crculos
S
T
R
Q
242
Q
P
R
9.5 Pruebe que dos crculos CP,a y CQ,b no se cortan si, y slo si, la suma de dos de
los nmeros a, b y c = PQ es menor que el tercero.
Adems: cada uno de ellos est en el exterior del otro si, y slo si, a + b < c; CP,a
est en el interior de CQ,b si, y slo si, a + c < b; y CQ,b est en el interior de CP,a
si, y slo si, b + c < a.
9.6 Pruebe el corolario 9.15.1.
9.7 Pruebe que la razn del Teorema del seno, en el ejercicio 6.52.(n), es el circundimetro del tringulo del que se trata.
9.8 Si los lados de un tringulo acutngulo miden a, b y c, y el circunradio es R,
abc
pruebe que el rea del tringulo es
.
4R
9.9 Si el inradio de un tringulo es r, pruebe que el rea del tringulo es s r.
Captulo 9
243
Crculos
es la
lejana, puede considerarse que OP k NS); OE
latitud del lugar en el que est ubicado el observador;
y POH es el ngulo de elevacin de la estrella Polar
sobre el horizonte del observador.
= mPOH.
O y OP k NS, entonces OE
244
9.13 Pruebe que, en un crculo cualquiera, los puntos medios de todas las cuerdas congruentes con una cuerda dada que no es dimetro forman un crculo concntrico
con el crculo dado y de radio igual a la distancia de una cualquiera de las cuerdas
al centro.
9.14 Pruebe que:
(a) Dados dos crculos tangentes interiormente en el punto A, tales que el segundo crculo pasa a travs del centro del primero, toda cuerda del primer
crculo que tenga un extremo en A es bisecada por el segundo crculo.
(b) Dado un punto A en un crculo CP,r , A y los puntos medios de todas las cuerdas de CP,r que tienen un extremo en A, forman un crculo tangente interiormente a CP,r en A y que pasa por P.
9.15 (Distancia punto-crculo)
Captulo 9
245
Crculos
A
C
P
A0
D0
C0
B
Q
B0
Pruebe que:
(a) Si existe una tangente comn interna a dos crculos distintos CP,a y CQ,b ,
(b) Una tangente comn externa a dos crculos distintos CP,a y CQ,b corta a PQ
si, y slo si, a 6= b.
(c) Si existe una tangente comn externa a dos crculos distintos CP,a y CQ,b , que
246
9.21 Pruebe que dos cuerdas de un crculo que tienen un extremo comn son congruentes si, y slo si, las cuerdas determinan ngulos congruentes con el dimetro que
pasa por ese extremo.
9.22 Pruebe que el punto de corte de un crculo y el segmento que une un punto de
su exterior y su centro, equidista de los segmentos tangentes desde ese punto
exterior.
9.24 Pruebe que la cuerda ms corta que pasa por un punto interior de un crculo,
distinto del centro, es la perpendicular al radio que pasa por el punto.
Captulo 9
Crculos
247
248
(ii) los lados del tringulo son ms largos que los del cuadrado.
(iii) el permetro del cuadrado es mayor que el del tringulo.
D
T
C
Captulo 9
249
Crculos
M
= BG,
pruebe que 4MHB 4MAG.
9.38 Si AG
B
H
G
A
9.39 Si AB es un dimetro del ms pequeo de los dos crculos concntricos, y AP y BQ son tangentes al crculo
ms pequeo en A y B, respectivamente, pruebe que AB
y PQ se intersecan en el centro de los crculos.
9.40 Pruebe que la medida del arco del circuncrculo inscrito en el ngulo del vrtice
de un tringulo issceles es dos veces la diferencia entre la medida del ngulo
externo en la base del tringulo, y la de un ngulo de la base.
9.41 Si, en el circuncrculo de 4ABC, la cuerda AE BC y la cuerda CD AB, pruebe
que BD
= BE.
9.42 Si H es el centro del crculo, y CI es un dimetro,
A
N
en su circuncrculo,
9.44 Si ABCD es un cuadrado, y P es un punto interior de AB
pruebe que PC y PD trisecan a APB.
250
S
C
D
B
Q
R
S
R
F
E
Captulo 9
251
Crculos
9.50 Si los crculos C1 y C2 , con centros P y S respectivamente, son tangentes interiormente a la recta l en Q, donde C2 est en el interior de C1 ; una secante al crculo
mayor pasa por P, es tangente al crculo menor en T y corta a l en R; determine
QR conociendo los radios de los crculos.
9.51 Si dos crculos congruentes son tangentes exteriormente, pruebe que un punto
cualquiera equidistante de sus centros est en su tangente comn.
9.52 Si cada uno de tres crculos es tangente exteriormente a los otros dos, calcule el
radio de cada crculo conociendo la distancia entre sus centros.
9.53 Dos crculos no congruentes son tangentes en un punto T . Una secante, l, que
pasa por T , interseca al crculo mayor en A y al menor en B. Pruebe que las
tangentes en A y en B son paralelas.
9.54 Si AD y DB son dimetros de crculos congruentes y tangentes exteriormente en
= DC
+ DE.
I
R
W
T
H
252
Captulo 9
253
Crculos
(b) si trazamos una recta que pasa por B y corta al primer crculo en X y al segundo crculo en Y , entonces el ngulo XAY no depende de la recta trazada.
(c) si sendas secantes por A y por B cortan a uno de los crculos en X y Z, y al
A
H
G
C
CD y BC.
A
C
254
= AC
= BC
= 120, y P
9.71 Si A, B y C son puntos de un crculo tales que AB
dos cuerdas de C que pasan por M, con A y C del mismo lado de PQ. Si X e Y
son los puntos de corte de AD y CB con PQ, pruebe que M es el punto medio de
XY .
9.73 Si tenemos dos polgonos semejantes, pruebe que:
(a) si son cclicos, entonces sus circunradios estn en la misma razn que sus
lados.
(b) si uno de ellos es cclico, entonces el otro tambin.
(c) si son circunscribibles, entonces sus inradios estn en la misma razn que sus
lados.
(d) si uno de ellos es circunscribible, entonces el otro tambin.
9.74 (a) El permetro de un polgono inscrito en un crculo es menor que el permetro
de cualquiera de los polgonos circunscritos a ese mismo crculo.
(b) El rea de un polgono inscrito en un crculo es menor que el rea de cualquiera
de los polgonos circunscritos a ese mismo crculo.
9.75 Si r es el circunradio de un n-gono regular, pruebe que:
(a) su rea es 12 n r2 sen( 360
n ).
(b) su permetro es 2 n r sen( 180
n ).
180
(c) su rea se puede expresar como n r2 sen( 180
n ) cos( n ).
Captulo 9
255
Crculos
autores utilizan las palabras crculo y circunferencia de manera distinta a como nosotros
las empleamos en este texto: para algunos, lo que nosotros definimos aqu es la circunferencia,
siendo el crculo lo que nosotros definimos como el interior del crculo; para otros la circunferencia
es lo que nosotros definimos como la longitud del crculo.
h2i Note
que esta definicin de crculos congruentes est de acuerdo con el empleo de la palabra congruente para segmentos, ngulos y tringulos. La idea que ha estado en el fondo siempre es que
dos figuras geomtricas son congruentes, si tienen el mismo tamao y la misma forma.
Por otro lado, no tiene sentido establecer la nocin de semejanza de crculos pues, desde el punto
de vista puramente intuitivo, cualesquiera dos crculos son semejantes: tienen la misma forma.
h3i Como
h4i Note
h5i Note que aqu tambin el significado intuitivo de la palabra congruente es que las dos figuras tienen
el mismo tamao y la misma forma, o que una coincide con la otra al moverla rgidamente.
Por otro lado, no tiene sentido establecer la nocin de semejanza de arcos pues, desde el punto de
vista puramente intuitivo, cualesquiera dos arcos son semejantes: tienen la misma forma.
h6i Tradicionalmente
h7i Dicha
propiedad tambin caracteriza los cuadrilteros cclicos, pero para poder probar el recproco
de esta proposicin, debemos extender los lmites de la teora ms all de los de este curso de
Geometra elemental.
h8i La
deduccin de esta frmula de rea se debe a un matemtico hind llamado Brahmagupta (598670 d. C.). Esta frmula generaliza la de Hern para el clculo del rea de un tringulo en funcin
de sus lados.
h9i Esta
proposicin debi haberse enunciado como un postulado en los Elementos de Euclides, pero
no se percibi su necesidad; decimos esto porque la primera proposicin de los Elementos la usa
como ya establecida.
h10i Este
hecho se usa para dibujar un hexgono regular con slo un canto recto y un comps.
256
A
K
B
A
B
C
C
D
entre OP y CE.
9.12: (a) use el Teorema de la altura de Euclides; (d) use un tringulo rectngulo
cuya hipotenusa es el dimetro de un crculo, y cuya medida es la suma de
las longitudes de los dos segmentos dados.
9.16: para la parte (a) puede usar los ejercicios 7.13 y 9.8 (solucin algebraica), o
considerar dos lados correspondientes que no son dimetros de sus respectivos circuncrculos (cmo sabemos que existen?), y los tringulos determinados por sus respectivos circuncentros y los extremos de dichos lados
(solucin geomtrica); para la parte (b) puede usar los ejercicios 6.22, 7.13 y
9.9 (solucin algebraica), o considerar dos lados correspondientes y los tringulos determinados por sus respectivos incentros y los extremos de dichos
Captulo 9
Crculos
257
258
Captulo 9
259
Crculos
P D
Como CD es la altura correspondiente a la hipotenusa del tringulo rectngulo 4ABC tendremos, por el Teorema del cateto de Euclides, que
AC2 = (l2n )2 = 2 r AD.
Como tambin 4PCD es un tringulo rectngulo tendremos, por el Teorema
de Pitgoras, que
ln
DP2 = (r AD)2 = r2 ( )2 .
2
Eliminando AD en estas ecuaciones tenemos
q
l2n =
2 r2 r
4 r2 ln2 .
Si comenzramos,
por ejemplo, con un cuadrado inscrito en el crculo ten
dramos l4 = r 2. Construyendo, a partir de este cuadrado, polgonos de 8,
16 y 32, por el procedimiento antes expuesto, tendramos la sucesin de las
longitudes de sus lados as:
l8 = r
2 2;
l16 = r
2 + 2;
l32 = r
2+
2+ 2
Cuando hacemos los clculos para el polgono regular de 512 lados tenemos
que p512 u 6.2831 r; con lo que razonablemente pensamos que la longitud del
crculo de radio r debe ser aproximadamente 6.2831 r. El problema es que
no disponemos de una definicin matemtica de lo que significa la longitud
del crculo, para verificar la validez de esta afirmacin (no podemos obtener la
longitud del crculo simplemente aadiendo las longitudes de ciertos segmentos,
como hicimos para obtener el permetro de un polgono, porque un crculo no
contiene segmento alguno, por muy pequeo que sea).
Definamos pues lo que entenderemos por la longitud de un crculo. Partimos
de un polgono cualquiera P inscrito en CP,r , tomamos uno de sus lados AB, y
que no contiene a ninguno de
tomamos un punto C en el interior del arco AB
260
B
P
A
B0
Q
A0
Captulo 9
Crculos
261
l
El nmero real 2r
se denota por . Una de las cosas que se prueban en
un curso de Clculo avanzado es que el nmero no es racional, y que se
pueden calcular aproximaciones de ste con la exactitud que se desee mediante,
por ejemplo, el mtodo de aproximacin desarrollado anteriormente para la
longitud de un crculo, duplicando el nmero de lados de un polgono respecto
al anterior, comenzando con el cuadrado. Algunas de sus aproximaciones tiles
son: 3, 3.14, 3 17 , 3.1416, 355
3.14159265358979. Ahora, como este
113 ,
nmero es el mismo para todos los crculos, tendremos la manera usual de
expresar la longitud de un crculo de radio r
262
longitud de AB
AB
0 B0
longitud de A
0 B0
A
AB
es su medida anLa longitud de un arco circular es l = 180
r, donde AB
gular y r es el radio del crculo al que pertenece.
=
AB,
r 180
es decir, la medida radial de un ngulo se obtiene multiplicando su medida
Captulo 9
Crculos
263
As tendremos que
2An
rpn
= cos( 180
n ).
AB
es la medida angular
El rea de un sector circular es A = 360
r2 , donde AB
del arco que lo determina y r es el radio del crculo al que pertenece el arco.
264
Concluimos estos comentarios dejando planteados algunos problemas relativos a los resultados establecidos en ellos; en algunos sern necesarios los
siguientes conceptos:
Un anillo es la regin determinada por dos crculos concntricos quitndole, a
la regin circular determinada por el crculo mayor, el interior del crculo menor.
Un segmento circular es la regin determinada por una cuerda de un crculo y
uno de sus arcos correspondientes.
9.76 Si colocamos una cinta alrededor de la Tierra, cunto debemos agregar a la cinta
para que una persona de 1,85 metros pueda pasar caminando parada por debajo
de ella?
9.77 Calcule las longitudes del incrculo y del circuncrculo, sus reas, y la del anillo
determinado por ellos, en:
(a) un cuadrado de lado l.
(b) un tringulo equiltero de lado l.
9.78 Pruebe que:
(a) la razn de las longitudes de dos crculos es igual a la razn de sus radios.
(b) la razn de las reas de dos crculos es igual al cuadrado de la razn de sus
radios.
(c) el rea de un crculo es la mitad del producto del radio por su longitud.
(d) el rea de un sector circular es la mitad del producto del radio por su longitud.
9.79 Si la longitud de un crculo y el permetro de un cuadrado son iguales, cul tendr
rea mayor?; cunto mayor?
9.80 (Generalizacin del Teorema de Pitgoras)
Si se construyen tres crculos, cada uno de ellos con dimetros del tamao de los
lados de un tringulo rectngulo dado, pruebe que el rea del construido sobre la
hipotenusa es la suma de las reas de los construidos sobre los catetos.
9.81 Si el dimetro de cada semicrculo pequeo es igual
al radio del semicrculo grande, y el radio del
semicrculo grande es r, cul es el rea de la regin
sombreada?
Captulo 9
265
Crculos
9.82 Dados dos crculos concntricos y una cuerda del crculo mayor, tangente al crculo menor, pruebe que el rea del anillo determinado por los crculos es igual a
un cuarto del producto de y el cuadrado de la longitud de la cuerda.
9.83 El cuadriltero ABCD es un cuadrado de lado s;
X y Z son los puntos medios de AD y BC, respecti y BY
son X y
vamente; los centros de los arcos DY
Z, respectivamente. Determine el rea de la regin
sombreada.
x
m
n y
z
266
La perpendicular a PM en Q corta a AN en B.
Se traza un crculo con radio PB = r1 y centro P.
Este proceso se repite, trazando perpendiculares en R y S, y crculos concntricos
con radios PC = r2 y PD = r3 . Desde luego, pueden construirse ms anillos.
(a) Exprese r1 , r2 y r3 en funcin de r.
(b) Muestre que el rea de la regin central, y la de los anillos, son iguales.
9.90 El minutero de un reloj en la torre de un edificio pblico tiene 2 metros de largo.
Determine la distancia que recorre la punta del minutero en 5 minutos. Cuntos
centmetros recorrer la punta del minutero en 1 minuto?
9.91 Un octgono regular se inscribi en un crculo de radio r. Determine el rea de la
parte de la regin circular que est en el exterior del octgono.
9.92 El radio de cada uno de los arcos circulares que
forman la figura de seis ptalos es el mismo que el
radio del crculo que contiene las puntas exteriores
de todos los ptalos. Si el radio es r, cul es el
rea de la regin sombreada?
Captulo 9
267
Crculos
Apndice A
Separacin de la recta
Para realizar las pruebas que quedaron pendientes de las propiedades de la Interposicin ((S3), (S4), (S5) de la proposicin 1.2) y de la congruencia de segmentos
((CS4) y (CS5) de la proposicin 1.5) estableceremos, en primer lugar, un resultado que servir de enlace entre la Regla y la Interposicin, y que traducir este
concepto en trminos del orden de los nmeros reales. Para simplificar su enunciado convendremos en que, para tres nmeros reales x, y y z,
x-y-z
significar que
x<y<z
z < y < x.
|y x| + |z y| = |z x|.
Al ser los tres puntos en cuestin distintos dos a dos tenemos, por el Postulado
de la Regla, que los tres nmeros reales son distintos dos a dos; con lo que, por
la tricotoma del orden de los nmeros reales, tenemos que debe cumplirse una, y
slo una, de las siguientes posibilidades:
x < y, x < z, y < z; de donde x < y < z, y as x-y-z.
x < y, x < z, z < y; de donde, por (1), y = z; contrario a lo supuesto.
269
270
Apndice A
Separacin de la recta
271
y < x.
punto de la recta AB que corresponde al nmero real z, tenemos, por el lema A.1,
que A-C-B.
(b) Consideremos el nmero real z = y + 1; con lo que x < y < z. Llamando D al
punto de la recta AB que corresponde al nmero real z, tenemos, por el lema A.1,
que A-B-D.
De manera semejante se hace la prueba de ambas partes, si y < x.
272
Apndice A
Separacin de la recta
273
(2) A-C-P
(3) P-A-C.
(1)
B est en AD.
A-B-C.
274
Por tanto, A = C o A = D.
Del mismo modo se prueba que B = C o B = D.
As, como A 6= B, tendremos que A = C y B = D, o A = D y B = C.
() Es claro que, si A = C y B = D, o A = D y B = C, entonces s = t.
Prueba Sean u y v dos rayos con orgenes A y D, y puntos que establecen sus
direcciones B y C, respectivamente.
() Supongamos que
(1)
u = v.
Apndice A
Separacin de la recta
275
(5) Si A = C y D-C-B tendremos que D no est en u (al estar del lado opuesto de
A que B); contrario a (1).
(6) Si D-A-C y B = D tendremos que C no est en u (al estar del lado opuesto de
A que B); contrario a (1).
(7) Si D-A-C y B = C tendremos que D no est en u (al estar del lado opuesto de
A que B); contrario a (1).
(8) Si D-A-C y D-B-C tendremos, por el lema A.3, que D-B-A o A-B-C. Si se
cumple D-B-A tendremos que C no est en u (pues, por el lema A.2, D-B-A-C y,
de aqu, B-A-C; con lo que C est del lado opuesto de A que B). Si se cumple
A-D-C tendremos que D no est en u (pues, por el lema A.2, D-A-B-C y, de aqu,
D-A-B; con lo que D est del lado opuesto de A que B). As, cualquiera de las
posibilidades contradicen (1).
(9) Si D-A-C y D-C-B tendremos que D no est en u (pues, por el lema A.2, D-AC-B y, de aqu, D-A-B; con lo que D est del lado opuesto de A que B); contrario
a (1).
(10) Si D-C-A y B = D tendremos, tomando, por (S4), un punto P tal que C-A-P,
que P est en v (pues, por el lema A.2, D-C-A-P y, de aqu, D-C-P; con lo que
P est del mismo lado de D que C) y P no est en u (pues, por lo dicho en el
parntesis anterior, se cumple D-A-P; con lo que P est del lado opuesto de A que
B); contrario a (1).
(11) Si D-C-A y B = C, contradecimos (1), por el mismo argumento que en (10), .
(12) Si D-C-A y D-B-C tendremos, tomando, por (S4), un punto P tal que C-A-P,
que P est en v (pues, por el lema A.2, D-B-C-A y, de aqu, D-C-A; de nuevo, por
el lema A.2, D-C-A-P y, de aqu, D-C-P; con lo que P est del mismo lado de D
que C) y P no est en u (pues, por lo dicho en los parntesis anteriores, se cumple
B-A-P; con lo que P est del lado opuesto de A que B); contrario a (1).
(13) Si D-C-A y D-C-B tendremos: por (S3) debe cumplirse una, y slo una, de las
siguientes afirmaciones: D-A-B, o D-B-A, o A-D-B. La ltima de ellas no puede
cumplirse (pues, si se cumpliera tendramos que A o B no estaran en v, al estar
en lados opuestos de D; pero, por hiptesis, ambos estn en v, al estar del mismo
lado de D que C). Si se cumple D-A-B tendremos que D no est en u (pues D est
del lado opuesto de A que B). Si se cumple D-B-A tendremos, tomando, por (S4),
un punto P tal que B-A-P, que P no est en u (al estar del lado opuesto de A que
B) y P est en v (pues, de D-B-A y B-A-P tenemos, por el lema A.2, D-B-A-P y,
de aqu, D-A-P. Ahora, de D-A-P y D-C-A tenemos, por el lema A.2, D-C-A-P y,
de aqu, D-C-P; con lo que P est del mismo lado de D que C); contrario a (1).
() Supongamos que A = D.
Si B = C es claro, por la definicin de rayo, que u = v.
276
A-B-C.
A-C-P.
Si A-P-C, tendremos, por el lema A.2 (tomando A-P-C y A-C-B), que A-P-C- B;
de donde P est en AB, y as en u.
Si A-C-P, tendremos, por (S3), al considerar los puntos C, P y B, que
C-P-B
C-B-P
(ya que la posibilidad de que P-C-B dara como consecuencia que P no est en
CB, con lo que, por el lema A.3, P debera estar en AC; y, por otro lado, A-C-P
nos dice que P no est en AC, llevndonos a una contradiccin).
Si tuviramos C-P-B, tendramos, por el lema A.2 (tomando A-C-P y C-P-B), que
A-C-P- B; de donde P est en AB, y as en u.
Si tuviramos C-B-P, tendramos, por el lema A.2 (tomando A-C-B y C-B-P), que
A-C-B-P; de donde A-B-P, y as P est en u.
Luego, v est contenido en u.
De manera semejante se prueba que u est contenido en v y, por tanto, en este
caso, v = u.
Por un razonamiento anlogo se prueban ambas contenciones, en el caso en que
A-B-C.
Apndice A
277
Separacin de la recta
el lema A.1 no permite que se cumpla D-C-P), tendremos que P est en CD.
que C-P-P0 o C-P0 -P. En cualquiera de los casos PP0 = |CP CP0 | = |AB AB| =
0, es decir, P = P0 ; contrario a lo supuesto. Por tanto, P = P0 .
Como P y P0 estn en AB (al estar del mismo lado de A que B) y P0 es tal que
0
0
AP0
= AP (pues AP = AB
2 = AP ), tendremos, por (CS4), que P = P .
Prueba Consideremos los rayos opuestos AD y AG, y l la recta que los contiene.
278
comn a AD y AG, distinto de A, P debera estar del mismo lado de A que D y del
mismo lado de A que G; lo cual, por (S3), es del todo imposible.
Supongamos que B est en DE. Las nicas posibilidades que no llevan a una
en DF. Pero C no est en DE (pues C no est en AB). As, C est en DF. Ahora,
AB = DF y AC = DE.
Probaremos finalmente la proposicin 3.1 (pgina 57). Para ello estableceremos previamente el siguiente resultado, bastante intuitivo.
Lema A.4 La interseccin de un tringulo, y la recta que contiene uno de sus
lados, es igual a ese lado.
Apndice A
279
Separacin de la recta
C est en uno de los lados de AB, digamos H . Ahora, por el ejercicio 2.3, todos
los puntos de S, excepto los del lado AB est en H ; con lo que la interseccin de
S y AB es AB.
(1)
(b) D est en AC
D est en AB.
(3)
la interseccin de DE y T es DE.
Como, por el lema A.4, la interseccin de AB y S es AB, tendremos, por (1), que
(4)
la interseccin de AB y T es AB.
280
y T consiste a lo sumo de los puntos D y P; con lo que, por (4), AB = {D, P},
As tenemos, por (3), (4) y la definicin de tringulo, que se cumple una de las
siguientes afirmaciones:
(d) E est en AB y F est en AC.
(f) F est en AB y E est en AC.
F est en AC.
Por (2) y el lema A.3, tendremos que DE est contenido en AB. Como, por (1),
A = E y B = D.
A = E, B = D y C = F.
De haber supuesto (e), (f) o (g) concluiramos, por un razonamiento del todo
semejante, que
A = D, B = F y C = E
A = F, B = D y C = E.
Dejaremos planteados los siguientes ejercicios, que se resuelven con las tcnicas desarrolladas en este apndice; los dos ltimos corresponden a las proposiciones 5.1 y 8.1.
A.1 Pruebe que A-B-D si, y slo si, AB est contenido en AD y B es distinto de D.
Apndice A
Separacin de la recta
281
A.2 Dados dos puntos distintos D y E en AB, pruebe que DE est contenido en AB.
A.3 Dados dos puntos distintos D y E en AB, pruebe que DE est contenido en AB.
A.4 Dados dos puntos distintos D y E en AB, pruebe que uno, y slo uno, entre DE y
Apndice B
Lema B.1 Dado un ngulo BAC, y un punto M tal que B-M-C, se tiene que M
est en el interior de BAC.
Prueba Sea BAC un ngulo, y M un punto tal
mismo lado AB. As, por la definicin del interior de un ngulo, M est en el interior de BAC.
283
284
Por la proposicin 2.3, todos los puntos de AG, excepto A, estn en el lado de AC
que no contiene a B.
B
D
y que AD no corta BC en uno de sus puntos interiores. Por la definicin del interior de un ngulo
AD y BC no se cortan.
opuesto a AD; en cuyo caso tendramos, por los lemas B.1 y B.2, un punto a la
vez en el interior y en el exterior de BAC, o que A, B y C seran colineales; lo
cual es imposible.
Tomemos, por (S4), un punto F tal que F-A-C.
F est en el lado de AB que no contiene a C. Por el ejercicio 2.3, todos los pun
Apndice B
285
De este modo, BF no puede cortar AD, ya que, en caso contrario tendremos, por el
corolario 2.3.1, un punto simultneamente en el exterior y en el interior de BAC,
o que A, B y C son colineales; lo cual es imposible.
Tampoco BF corta a AG, el rayo opuesto a AD, ya que, en caso contrario ten
dramos: por el lema B.2, todos los puntos de AG estn en el lado de AC que no
F
A
Concluimos, entonces, que F y C estn del mismo lado de AD; contrario, por el
mBAC
,
2
el nico rayo
286
AD, con D en H , tal que mBAD = r. Slo nos faltara verificar que D est en
el interior de BAC; para lo cual razonaremos por reduccin al absurdo.
Supongamos que D no est en el interior de
A
B
As, por la proposicin 2.3 y el ejercicio 2.3, AC corta a BD en uno de sus puntos interiores; con lo que, por el Teorema de la barra transversal, C est en el
interior de BAD. Pero entonces, por el Postulado del transportador (Adicin de
ngulos), tendremos que mBAC < 0; contrario al Postulado del transportador
(Medida del ngulo). Por tanto, D est en el interior de BAC.
(Unicidad) Como, por definicin, para que un rayo AE sea bisector de BAC, E
debe estar en H y mBAE = r, tendremos, por el Postulado del transportador
G
D
Apndice B
287
= mAPC.
ABC
(1)
X
P
(i) por el ejercicio 2.24, que C y P estn del mismo lado de AB, y A y P estn
del mismo lado de BC; de donde, por la observacin 9.9.(a), X y P estn en lados
opuestos de AB, y Y y P estn en lados opuestos de BC. As, por definicin, AXB
son arcos menores y, en consecuencia,
y BYC
(2)
= mAPB y
AXB
= mBPC.
BYC
= AXB
+ BYC.
288
es un semicrculo.
Caso II ABC
Por definicin,
(4)
B
X
= 180.
ABC
y BYC
son arcos menores y, en consecuencia,
As, por definicin, AXB
(5)
= mAPB y
AXB
= mBPC.
BYC
Como los ngulos APB y BPC forman un par lineal, tendremos, por el Postulado del transportador, que
(6)
= AXB
+ BYC.
(7)
= 360 mAPC.
ABC
o BYC
es un semicrculo.
Caso III.a AXB
es un
Supongamos, sin perder generalidad, que AXB
semicrculo. As, por definicin,
(8)
X
P
Y
C
= 180.
AXB
Por el ejercicio 2.3, A y P estn del mismo lado de BC; de donde, por la observa
cin 9.9.(a).(iii), Y y P estn en lados opuestos de BC. As, por definicin, BYC
es un arco menor y, en consecuencia,
(9)
= mBPC.
BYC
Como APC y BPC forman un par lineal, tendremos, por el Postulado del transportador, que
(10)
Apndice B
289
= AXB
+ BYC.
(11)
P no est en AB
P no est en BC.
(12)
Por el ejercicio 2.3, (11) y (12),
B0
PB0 ;
B
P
X
(14)
(ii) por el ejercicio 2.24, que B0 y C estn del mismo lado de AB, y B0 y A estn
del mismo lado de BC; de donde, por la observacin 9.9.(a), y por (13), P y X
estn en lados opuestos de AB, y P y Y estn en lados opuestos de BC. As, por
y BYC
son arcos menores y, en consecuencia,
definicin, AXB
= mAPB y
AXB
(15)
= mCPB.
BYC
Como APB y APB0 , as como CPB y CPB0 , forman un par lineal tendremos,
por el Postulado del transportador, que
(16)
= AXB
+ BYC.
290
B0
B
Y
= 360 mAPB.
AXB
X
C
(ii) por la observacin 9.9.(a).(ii), que P y C estn en lados opuestos de AB. As,
por el Postulado de separacin del plano, AB corta PC en un punto R tal que P-RC; de donde, por las partes (j) y (k) de la observacin 9.3, A-R-B. As tendremos:
(a) por el Teorema de la barra transversal, C est en el interior de APB; de
donde, por el Postulado del transportador,
(18)
(b) por el ejercicio 2.24, P y A estn del mismo lado de BC; de donde, por la
= mCPB.
BYC
= AXB
+ BYC.
= mAPB.
AXB
B0
X
C
(ii) por la observacin 9.9.(a).(ii), que P y C estn del mismo lado de AB; de
donde, por (13), C y B0 estn del mismo lado de AB. Por lo supuesto en todo este
caso III.b.2, C est en el interior de ABB0 = ABP. As, por el Teorema de la
BC. As, por la observacin 9.9.(a).(iii), P y Y estn del mismo lado de BC; de
es un arco mayor y, en consecuencia,
donde, por definicin, BYC
(21)
= 360 mCPB.
BYC
Apndice B
291
(22)
= AXB
+ BYC.
B-P-D.
C
D
292
Por (i) y el ejercicio 2.3, B y P estn del mismo lado de AC; con lo que, por (1),
es un arco menor
X y P estn en lados opuestos de AC. As, por definicin, AXC
y, en consecuencia,
= mAPC.
AXC
(3)
Como APC es un ngulo externo de 4ABP en P tendremos, por la proposicin 4.10, que
(4)
(5)
1
mAPC.
2
Por (ii) y la proposicin 2.1, ABP = ABC. As, por (3) y (5), tendremos que
mABC = 12 AXC.
Caso I.b P est en el interior de ABC.
Por el corolario 2.3.1, D est en el interior de ABC; de
donde, por el Postulado del transportador,
(6)
A
B
X
D
C
por el Teorema de la barra transversal, y las partes (j) y
(k) de la observacin 9.3, BD corta AC en un punto R tal
que A-R-C y B-R-D.
As, por el Postulado de separacin del plano, D y B estn en lados opuestos de
AC; de donde, por (1), X y D estn del mismo lado de AC. As, por la proposi = ADC
y, en consecuencia,
cin 9.6, AXC
= ADC.
AXC
(7)
que no contiene a C, y DC
que no contiene
Considerando los arcos adyacentes AD
a A, tendremos, por la proposicin 9.8, que
= AD
+ DC.
ADC
(8)
mABD =
1
AD
2
mDBC =
1
DC.
2
Apndice B
293
As, por (6), (7), (8) y (9), tendremos que mABC = 12 AXC.
P
lados opuestos de BC. As, por el Postulado de separacin del plano, y las partes (j) y (k) de la observacin 9.3,
AD corta BC en un punto R tal que A-R-D y B-R-C; de
donde:
por el Teorema de la barra transversal y el Postulado del transportador,
C
D
(10)
no contiene a
por el ejercicio 2.24, B y D estn del mismo lado de AC. As, AXC
y CD
son
D. Considerando el arco CD que no contiene a A, tendremos que AXC
arcos adyacentes; de donde, por la proposicin 9.8,
= ACD
CD.
AXC
(11)
mABD =
1
ACD
2
mDBC =
1
CD.
2
PBC es recto.
con X en el interior de
En este caso, el arco inscrito en ABC es el arco AXB,
ABC; de donde, por definicin de interior de un ngulo,
(14)
Por la observacin 9.3.(b) y la proposicin 9.5, P est en BA; de donde: por las
294
proposiciones 1.4 y 2.1, ABC = PBC y, as, por (13), mABC = 90; y, por
es un semicrculo y, en
la observacin 9.3.(k), B-P-A. As, por definicin, AXB
1
A
P
es un
(i) por (14), P y X estn en lados opuestos de AB. As, por definicin, AXB
arco menor y, en consecuencia:
= mAPB.
AXB
(16)
(ii) por el Postulado de separacin del plano, AB corta a PC en un punto R tal que
P-R-C. Por el ejercicio 2.3, R y P estn del mismo lado de BC. As, por (15), R y
A estn del mismo lado de BC; con lo que R est en AB. As, por el Teorema de
la barra transversal, A est en el interior del ngulo recto PBC; de donde, por el
Postulado del transportador,
(17)
mABC = 90 mABP.
Como, por (14), X y P estn del mismo lado de AB, ten es un arco mayor y, en
dremos, por definicin, que AXB
consecuencia,
(19)
= 360 mAPB.
AXB
mABC = 90 + mABP.
A
P
X
B
Apndice B
295
1
mABP = 90 mAPB.
2
AD, excepto A, est contenido en el lado de AB que no contiene a C (y, por tanto,
en el exterior de BAC).
Apndice C
Postulados
Postulado 1
(a) Toda recta contiene al menos dos puntos distintos.
(b) El plano contiene al menos tres puntos no colineales.
Postulado 2 (De la recta)
Para cada par de puntos distintos, existe exactamente una recta que los contiene.
Postulado 3
(a) (De la distancia)
Cada par de puntos tiene asociado un nico nmero real no negativo, al que
llamaremos la distancia desde el uno hasta el otro.
(b) (De la Regla)
(i) Hay una correspondencia biunvoca entre los puntos de cualquier recta
y los nmeros reales, y sta es tal que la distancia entre dos puntos de
la recta se obtiene mediante el valor absoluto de la diferencia de los
nmeros reales que les corresponden.
A una tal correspondencia la llamaremos un sistema de coordenadas de
la recta, y al nmero real que le corresponde a un punto de la recta lo
llamaremos la coordenada del punto (en dicho sistema de coordenadas).
(ii) (Colocacin de la Regla)
Dados dos puntos A y B de una recta, siempre podremos escoger la
correspondencia anterior de tal manera que al punto A le corresponda
el nmero real cero (0) y al punto B le corresponda cualquier nmero
real positivo prefijado.
297
298
Dado un rayo AB en el borde de un semiplano H , y un nmero real r estrictamente comprendido entre 0 y 180, se tiene que existe exactamente un rayo
Bibliografa
[1] Rich, Barnett, Geometra, segunda ed., McGraw-Hill, Mxico, 1991 (Espaol).
[2] Pogorlov, A. V., Geometra elemental, Editorial MIR, Mosc-URSS, 1974
(Espaol).
[3] Hilbert, David, Foundations of Geometry, Open Court, Chicago, 1902 (Ingls).
[4] Hemmerling, Edwin M., Geometra elemental, primera ed., Editorial
Limusa, Mxico, 1975 (Espaol).
[5] Coxeter, H. S. M., Fundamentos de Geometra, primera ed., Editorial
Limusa - Wiley, S. A., Mexico, 1971 (Espaol).
[6] Rey Pastor, J. and Puig Adam, P., Geometra Racional, Nuevas Grficas,
Madrid-Espaa, 1956 (Espaol).
[7] Newman R., James, Sigma, el mundo de las Matemticas, vol. I al VI, Grijalbo S. A., Barcelona, 1969 (Espaol).
[8] Ohmer, Merlin M., Geometra elemental para maestros, Editorial Trillas,
Mxico, 1992 (Espaol).
[9] Moise, Edwin E. and Downs, Jr., Floyd L., Geometra Mtrica, AddisonWesley Iberoamericana, USA, 1986 (Espaol).
[10] Marques Barbosa, Joo Lucas, Geometra Euclideana Plana, Sociedade
Brasileira de Matemtica, Rio de Janeiro, 1985 (Portugus).
299
300
[11] Heath, Sir Thomas L., The thirteen books of Euclids Elements, segunda
ed., vol. I, II y III, Dover Publications, Inc., New York, 1980 (Ingls), (Traduccin, introducin y comentarios).
[12] Baldor, J. A., Geometra Plana y del Espacio y Trigonometra, cuarta ed.,
Cultural Venezolana, S. A., Caracas - Venezuela, 1986 (Espaol).
[13] Bourbaki, Nicholas, Elementos de Historia de las Matemticas, Alianza
Editorial, Madrid, 1969 (Espaol).
[14] Alsina, Claudi and Trillas, Enric, Lecciones de lgebra y Geometra, segunda ed., Editorial Gustavo Gili, S. A., Barcelona, 1984 (Espaol).
[15] Moise, Edwin E., Geometra elemental desde un punto de vista avanzado,
Compaa Editorial Continental, S. A., Colombia-Mxico, Junio 1976 (Espaol).
[16] Cardona V., Oscar, Cardozo A., Claudia, Lpez F., Guillermo, Posada J., Ricardo, and Ramrez M., Elmer, Geometra bsica, primera ed., Universidad
Pontificia Bolivariana, Medelln-Colombia, 1996 (Espaol).
ndice alfabtico
igualdad de . . . . . . . . . . . . . . . . . . . . . . . . . . 29
iguales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
inscrito en un arco . . . . . . . . . . . . . . . . . . . 223
interior de un . . . . . . . . . . . . . . . . . . . . . . . . . 35
interiores de un tringulo . . . . . . . . . . . . . . 57
interno(s) no contiguo(s) a un ngulo externo) . . . . . . . . . . . . . . . . . . . . . . . . . . 66
internos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
par alternos . . . . . . . . . . . . . . . . . . . . . . . 99
par a un mismo lado . . . . . . . . . . . . . . . . 99
lados de un . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
medida de un . . . . . . . . . . . . . . . . . . . . . . . . . 37
obtuso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
opuestos de un cuadriltero . . . . . . . . . . . 116
opuestos por el vrtice . . . . . . . . . . . . . . . . 41
par correspondientes . . . . . . . . . . . . . . . . . 100
pareja lineal de un . . . . . . . . . . . . . . . . . . . . 36
recto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
suplementarios . . . . . . . . . . . . . . . . . . . . . . . 40
suplemento de un . . . . . . . . . . . . . . . . . . . . . 40
sustraccin de . . . . . . . . . . . . . . . . . . . . . . . . 38
vrtice de un . . . . . . . . . . . . . . . . . . . . . . . . . 29
anillo(s) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264
apotema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
arco(s)
abarcante . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
adicin de . . . . . . . . . . . . . . . . . . . . . . . . . . 220
adyacente de un . . . . . . . . . . . . . . . . . . . . . 220
adyacentes . . . . . . . . . . . . . . . . . . . . . . . . . . 220
complementarios . . . . . . . . . . . . . . . . . . . . 216
complemento de un . . . . . . . . . . . . . . . . . . 216
congruentes . . . . . . . . . . . . . . . . . . . . . . . . . 221
consecutivo de un . . . . . . . . . . . . . . . . . . . 220
consecutivos . . . . . . . . . . . . . . . . . . . . . . . . 220
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
determinados por un punto interior de otro
arco . . . . . . . . . . . . . . . . . . . . . . . . . . 220
es ms grande que . . . . . . . . . . . . . . . . . . . 221
es ms pequeo que . . . . . . . . . . . . . . . . . . 221
igualdad de . . . . . . . . . . . . . . . . . . . . . . . . . 216
iguales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
inscrito en un ngulo . . . . . . . . . . . . . . . . . 223
longitud de un . . . . . . . . . . . . . . . . . . 261, 262
mayor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
medida angular de un . . . . . . . . . . . . . . . . 219
menor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
punto medio de un . . . . . . . . . . . . . . . . . . . 221
semicircular . . . . . . . . . . . . . . . . . . . . . . . . . 218
rea(s)
adicin de . . . . . . . . . . . . . . . . . . . . . . . . . . 175
de una regin poligonal . . . . . . . . . . . . . . 175
de una regin triangular . . . . . . . . . . . . . . 174
A
acutngulo, tringulo . . . . . . . . . . . . . . . . . . . . . . . 69
agudo, ngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
alineados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
altura
base relativa a una . . . . . . . . . . . . . . . . . . . . 71
de un trapezoide . . . . . . . . . . . . . . . . . . . . . 176
de un tringulo . . . . . . . . . . . . . . . . . . . . . . . 71
pie de una . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
ngulo(s)
abarcante . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
adicin de . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
adyacente de un . . . . . . . . . . . . . . . . . . . . . . 36
adyacente lineal de un . . . . . . . . . . . . . . . . . 36
adyacentes . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
de un cuadriltero . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . 190
agudo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
bisector de un . . . . . . . . . . . . . . . . . . . . . . . . 38
existencia y unicidad . . . . . . . . . . 39, 285
Teorema del . . . . . . . . . . . . . . . . . . . . . . . 79
central de un crculo . . . . . . . . . . . . . . . . . 218
complementarios . . . . . . . . . . . . . . . . . . . . . 40
complemento de un . . . . . . . . . . . . . . . . . . . 40
congruencia de . . . . . . . . . . . . . . . . . . . . . . . 37
congruentes . . . . . . . . . . . . . . . . . . . . . . . . . . 37
consecutivo de un . . . . . . . . . . . . . . . . . . . . . 36
consecutivos . . . . . . . . . . . . . . . . . . . . . . . . . 36
de un cuadriltero . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . 190
construccin de . . . . . . . . . . . . . . . . . . . . . . . 37
contiguos
de un cuadriltero . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . 190
correspondientes . . . . . . . . . . . . . . . . . . . . . . 59
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
de la base de un tringulo issceles . . . . . 69
de la cspide de un tringulo issceles . . 69
de un cuadriltero . . . . . . . . . . . . . . . . . . . 115
de un n-gono . . . . . . . . . . . . . . . . . . . . . . . 189
de un polgono . . . . . . . . . . . . . . . . . . . . . . 189
de un tringulo . . . . . . . . . . . . . . . . . . . . . . . 57
es ms grande que . . . . . . . . . . . . . . . . . . . . 43
es ms pequeo que . . . . . . . . . . . . . . . . . . . 43
exterior de un . . . . . . . . . . . . . . . . . . . . . . . . 35
externo(s)
de un cuadriltero . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . 191
de un tringulo . . . . . . . . . . . . . . . . . . . . 65
externos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
par alternos . . . . . . . . . . . . . . . . . . . . . . . 99
par a un mismo lado . . . . . . . . . . . . . . 100
301
302
crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
de un cuadrado . . . . . . . . . . . . . . . . . . . . . . 177
de un paralelogramo . . . . . . . . . . . . . . . . . 176
de un rectngulo . . . . . . . . . . . . . . . . . . . . . 176
de un rombo . . . . . . . . . . . . . . . . . . . . . . . . 177
de un sector circular . . . . . . . . . . . . . . . . . 263
de un trapezoide . . . . . . . . . . . . . . . . . . . . . 176
de un tringulo . . . . . . . . . . . . . . . . . . . . . . 174
arista de un semiplano . . . . . . . . . . . . . . . . . . . . . . 31
B
baricentro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
base
correspondiente a una altura . . . . . . . . . . . 71
de un trapecio . . . . . . . . . . . . . . . . . . . . . . . 119
de un trapezoide . . . . . . . . . . . . . . . . . . . . . 176
de un tringulo issceles. . . . . . . . . . . . . . .69
relativa a una altura . . . . . . . . . . . . . . . . . . . 71
bisecar
un ngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
un arco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221
un segmento . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
biseccin
de un ngulo por un rayo . . . . . . . . . . . . . . 38
de un arco por un punto . . . . . . . . . . . . . . 221
de un segmento por una recta . . . . . . . . . . 43
de un segmento por un punto . . . . . . . . . . . . 7
bisector de un ngulo . . . . . . . . . . . . . . . . . . . . . . . 38
bisectriz de un tringulo . . . . . . . . . . . . . . . . . . . . . 71
borde de un semiplano . . . . . . . . . . . . . . . . . . . . . . 31
C
camino poligonal . . . . . . . . . . . . . . . . . . . . . . . . . . 192
caracterizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
cateto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
central, ngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
centro
de un crculo . . . . . . . . . . . . . . . . . . . . . . . . 207
de un polgono regular . . . . . . . . . . . . . . . 199
centroide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
crculo(s) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
rea de un . . . . . . . . . . . . . . . . . . . . . . . . . . 263
centro de un . . . . . . . . . . . . . . . . . . . . . . . . . 207
circunscrito a un polgono . . . . . . . . . . . . 225
circunscrito a un polgono regular . . . . . 227
concntricos . . . . . . . . . . . . . . . . . . . . . . . . 209
congruencia de . . . . . . . . . . . . . . . . . . . . . . 209
congruentes . . . . . . . . . . . . . . . . . . . . . . . . . 209
cuerda de un . . . . . . . . . . . . . . . . . . . . . . . . 211
el dimetro de un . . . . . . . . . . . . . . . . . . . . 207
el radio de un . . . . . . . . . . . . . . . . . . . . . . . 207
exterior de un . . . . . . . . . . . . . . . . . . . . . . . 210
inscrito en un polgono . . . . . . . . . . . . . . . 225
inscrito en un polgono regular . . . . . . . . 227
interior de un . . . . . . . . . . . . . . . . . . . . . . . . 210
longitud de un . . . . . . . . . . . . . . . . . . 260, 261
ndice alfabtico
criterio LLL . . . . . . . . . . . . . . . . . . . . . . . 64
definicin . . . . . . . . . . . . . . . . . . . . . . . . . 59
propiedades . . . . . . . . . . . . . . . . . . . . . . . 60
conjunto colineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
conjunto convexo . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
construccin de ngulos . . . . . . . . . . . . . . . . . . . . . 37
convexidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
convexo
conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
cuadriltero . . . . . . . . . . . . . . . . . . . . . . . . . 117
polgono . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
coordenada de un punto . . . . . . . . . . . . . . . . . . . . . . 4
correspondientes, ngulos . . . . . . . . . . . . . . . . . . 100
cosecante de un ngulo agudo . . . . . . . . . . . . . . 163
coseno de un ngulo agudo . . . . . . . . . . . . . . . . . 162
cotangente de un ngulo agudo . . . . . . . . . . . . . 162
Criterio LALAL de congruencia de cuadrilteros
126
cuadrado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
rea de un . . . . . . . . . . . . . . . . . . . . . . . . . . 177
cuadriltero(s)
ngulo externo de un . . . . . . . . . . . . . . . . . 116
ngulos adyacentes de un . . . . . . . . . . . . . 116
ngulos consecutivos de un . . . . . . . . . . . 116
ngulos contiguos de un . . . . . . . . . . . . . . 116
ngulos de un . . . . . . . . . . . . . . . . . . . . . . . 115
ngulos interiores de un . . . . . . . . . . . . . . 115
ngulos internos de un . . . . . . . . . . . . . . . 115
ngulos opuestos de un . . . . . . . . . . . . . . . 116
cometa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
congruencia de . . . . . . . . . . . . . . . . . . . . . . 125
congruentes . . . . . . . . . . . . . . . . . . . . . . . . . 125
convexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
exterior de un . . . . . . . . . . . . . . . . . . . . 125
interior de un . . . . . . . . . . . . . . . . . . . . . 125
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
diagonales de un. . . . . . . . . . . . . . . . . . . . .116
igualdad de . . . . . . . . . . . . . . . . . . . . . . . . . 116
iguales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
lados adyacentes de un . . . . . . . . . . . . . . . 116
lados consecutivos de un . . . . . . . . . . . . . 116
lados contiguos de un . . . . . . . . . . . . . . . . 116
lados de un . . . . . . . . . . . . . . . . . . . . . . . . . 115
lados opuestos de un . . . . . . . . . . . . . . . . . 116
paralelogramo . . . . . . . . . . . . . . . . . . . . . . . 119
cuadrado . . . . . . . . . . . . . . . . . . . . . . . . . 121
rectngulo . . . . . . . . . . . . . . . . . . . . . . . 121
rombo . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
permetro de un . . . . . . . . . . . . . . . . . . . . . 116
semejantes . . . . . . . . . . . . . . . . . . . . . . . . . . 152
semejanza de . . . . . . . . . . . . . . . . . . . . . . . . 152
semipermetro . . . . . . . . . . . . . . . . . . . . . . . 229
trapecio . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
issceles . . . . . . . . . . . . . . . . . . . . . . . . . 130
trapezoide . . . . . . . . . . . . . . . . . . . . . . . . . . 119
paralelogramo . . . . . . . . . . . . . . . . . . . . 119
303
trapecio . . . . . . . . . . . . . . . . . . . . . . . . . . 119
vrtices consecutivos de un . . . . . . . . . . . 116
vrtices contiguos de un . . . . . . . . . . . . . . 116
vrtices de un . . . . . . . . . . . . . . . . . . . . . . . 115
vrtices opuestos de un . . . . . . . . . . . . . . . 116
cuerda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
correspondiente a una secante . . . . . . . . . 211
determinada por una secante . . . . . . . . . . 211
D
decgonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
desigualdad del tringulo . . . . . . . . . . . . . . . . . . . . 75
desigualdad triangular . . . . . . . . . . . . . . . . . . . . . . 76
determinar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
diagonal(es)
de un cuadriltero . . . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . . . . 190
dimetro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
distancia
entre dos puntos . . . . . . . . . . . . . . . . . . . . . . . 4
entre rectas . . . . . . . . . . . . . . . . . . . . . . . . . 105
postulado de la . . . . . . . . . . . . . . . . . . . . . . . . 4
punto-crculo . . . . . . . . . . . . . . . . . . . . . . . . 244
punto-rayo . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
punto-recta . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
punto-segmento . . . . . . . . . . . . . . . . . . . . . . 75
dimetro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
E
enegonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
equingulo, tringulo . . . . . . . . . . . . . . . . . . . . . . . 69
equidista . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
equiltero, tringulo . . . . . . . . . . . . . . . . . . . . . . . . 69
escaleno, tringulo . . . . . . . . . . . . . . . . . . . . . . . . . 69
estar entre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
est en . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
est sobre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
exterior
de un ngulo . . . . . . . . . . . . . . . . . . . . . . . . . 35
de un crculo . . . . . . . . . . . . . . . . . . . . . . . . 210
de un cuadriltero convexo . . . . . . . . . . . 125
de un polgono convexo . . . . . . . . . . . . . . 196
de un tringulo . . . . . . . . . . . . . . . . . . . . . . . 58
externo a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
extremo(s)
de un arco . . . . . . . . . . . . . . . . . . . . . . . . . . 216
de un rayo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
de un segmento . . . . . . . . . . . . . . . . . . . . . . . . 6
F
figura(s) geomtrica(s)
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
formada por . . . . . . . . . . . . . . . . . . . . . . . . . . 21
incidencia entre . . . . . . . . . . . . . . . . . . . . . . . . 3
frontera de un semiplano . . . . . . . . . . . . . . . . . . . . 31
fuera de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
304
H
heptgonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
hexgonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
hipotenusa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
I
igualdad
de ngulos . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
de arcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
de crculos . . . . . . . . . . . . . . . . . . . . . . . . . . 208
de cuadrilteros . . . . . . . . . . . . . . . . . . . . . 116
de polgonos . . . . . . . . . . . . . . . . . . . . . . . . 190
de rayos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
de segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . 7
de tringulos . . . . . . . . . . . . . . . . . . . . . . . . . 57
incentro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
incidencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
interior
de un ngulo . . . . . . . . . . . . . . . . . . . . . . . . . 35
de un crculo . . . . . . . . . . . . . . . . . . . . . . . . 210
de un cuadriltero convexo . . . . . . . . . . . 125
de un polgono convexo . . . . . . . . . . . . . . 196
de un tringulo . . . . . . . . . . . . . . . . . . . . . . . 58
interposicin
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
issceles, trapecio . . . . . . . . . . . . . . . . . . . . . . . . . 130
issceles, tringulo . . . . . . . . . . . . . . . . . . . . . . . . . 69
L
lado(s)
adyacentes
de un cuadriltero . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . 190
consecutivos
de un cuadriltero . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . 190
contiguos
de un cuadriltero . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . 190
correspondientes . . . . . . . . . . . . . . . . . . . . . . 59
de un ngulo . . . . . . . . . . . . . . . . . . . . . . . . . 29
de una recta . . . . . . . . . . . . . . . . . . . . . . . . . . 31
de un cuadriltero . . . . . . . . . . . . . . . . . . . 115
de un n-gono . . . . . . . . . . . . . . . . . . . . . . . 189
de un polgono . . . . . . . . . . . . . . . . . . . . . . 189
de un tringulo . . . . . . . . . . . . . . . . . . . . . . . 57
opuestos
de una recta . . . . . . . . . . . . . . . . . . . . . . . 31
de un cuadriltero . . . . . . . . . . . . . . . . . 116
longitud
de un arco circular . . . . . . . . . . . . . . . . . . . 261
de un crculo . . . . . . . . . . . . . . . . . . . 260, 261
de un segmento . . . . . . . . . . . . . . . . . . . . . . . . 7
M
media
aritmtica . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
geomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . 154
mediana de un tringulo . . . . . . . . . . . . . . . . . . . . . 70
mediatriz de un tringulo . . . . . . . . . . . . . . . . . . . . 72
medida
angular de un arco . . . . . . . . . . . . . . . . . . . 219
de un ngulo . . . . . . . . . . . . . . . . . . . . . . . . . 37
N
n-gono(s)
ngulo(s) de un . . . . . . . . . . . . . . . . . . . . . . 189
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
lado(s) de un . . . . . . . . . . . . . . . . . . . . . . . . 189
vrtice(s) de un . . . . . . . . . . . . . . . . . . . . . . 189
no pasa por . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
no se cortan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
no se cruzan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
nmero de oro . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
O
oblicuo, tringulo . . . . . . . . . . . . . . . . . . . . . . . . . . 69
oblicuo, ngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
obtusngulo, tringulo . . . . . . . . . . . . . . . . . . . . . . 69
obtuso, ngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
octgonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
opuestos por el vrtice, ngulos . . . . . . . . . . . . . . 41
ortocentro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
P
paralelismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
paralelogramo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
cuadrado . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
rectngulo . . . . . . . . . . . . . . . . . . . . . . . . . . 121
rombo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
pareja lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
par lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
pasa a travs de . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
pasa por . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
pentgonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
perpendicular
recta-punto en ella . . . . . . . . . . . . . . . . . . . . 42
recta-punto fuera de ella . . . . . . . . . . . . . . . 68
perpendicularidad . . . . . . . . . . . . . . . . . . . . . . . . . . 39
permetro
de un cuadriltero . . . . . . . . . . . . . . . 116, 127
de un polgono . . . . . . . . . . . . . . . . . . . . . . 191
de un tringulo . . . . . . . . . . . . . . . . . . . . . . . 82
pi ( ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261
pie
de una altura . . . . . . . . . . . . . . . . . . . . . . . . . 71
de una perpendicular a una recta . . . . . . . 68
plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
poligonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
polgono(s)
ndice alfabtico
ngulo(s)
adyacentes de un . . . . . . . . . . . . . . . . . 190
consecutivos de un . . . . . . . . . . . . . . . . 190
contiguos de un . . . . . . . . . . . . . . . . . . . 190
de un . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
externo(s) de un . . . . . . . . . . . . . . . . . . 191
circunscribible . . . . . . . . . . . . . . . . . . . . . . 225
congruencia de . . . . . . . . . . . . . . . . . . . . . . 197
congruentes . . . . . . . . . . . . . . . . . . . . . . . . . 197
convexo(s) . . . . . . . . . . . . . . . . . . . . . . . . . . 191
dvisin, por una diagonal, de un . . . . 195
exterior de un . . . . . . . . . . . . . . . . . . . . 196
interior de un . . . . . . . . . . . . . . . . . . . . . 196
cclico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
diagonales de un. . . . . . . . . . . . . . . . . . . . .190
igualdad de . . . . . . . . . . . . . . . . . . . . . . . . . 190
iguales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
inscribible . . . . . . . . . . . . . . . . . . . . . . . . . . 225
inscrito en un crculo . . . . . . . . . . . . . . . . . 225
lado(s)
adyacentes de un . . . . . . . . . . . . . . . . . 190
consecutivos de un . . . . . . . . . . . . . . . . 190
contiguos de un . . . . . . . . . . . . . . . . . . . 190
de un . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
permetro de un . . . . . . . . . . . . . . . . . . . . . 191
que circunscribe a un crculo . . . . . . . . . . 225
regular(es)
apotema de un . . . . . . . . . . . . . . . . . . . . 199
rea de un . . . . . . . . . . . . . . . . . . . . . . . . 201
centro de un . . . . . . . . . . . . . . . . . . . . . . 199
definicin . . . . . . . . . . . . . . . . . . . . . . . . 198
radio de un . . . . . . . . . . . . . . . . . . . . . . . 199
semejantes . . . . . . . . . . . . . . . . . . . . . . . . . . 198
semejanza de . . . . . . . . . . . . . . . . . . . . . . . . 198
vrtice(s)
consecutivos de un . . . . . . . . . . . . . . . . 190
contiguos de un . . . . . . . . . . . . . . . . . . . 190
de un . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
Postulado
1.....................................2
2 (De la recta) . . . . . . . . . . . . . . . . . . . . . . . . . 2
3.(a) (De la distancia) . . . . . . . . . . . . . . . . . . 4
3.(b) (De la Regla) . . . . . . . . . . . . . . . . . . . . . 4
4 (Separacin del plano) . . . . . . . . . . . . . . . 31
5 (Del Transportador) . . . . . . . . . . . . . . . . . 37
6 (Criterio LAL de congruencia de tringulos) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
7 (De las paralelas) . . . . . . . . . . . . . . . . . . 101
potencia de un punto respecto a un crculo . . . 240
proporcionales
coleccin finita de nmeros . . . . . . . . . . . 139
coleccin finita de segmentos . . . . . . . . . 140
proporcin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .140
urea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
pitagrica . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
305
punto(s) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
alineados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
colineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
distancia entre dos . . . . . . . . . . . . . . . . . . . . . 4
entre otros dos . . . . . . . . . . . . . . . . . . . . . . . . . 5
medio de un arco . . . . . . . . . . . . . . . . . . . . 221
medio de un segmento . . . . . . . . . . . . . . . . . . 7
que biseca un arco . . . . . . . . . . . . . . . . . . . 221
que biseca un segmento . . . . . . . . . . . . . . . . 7
que establece la direccin de un rayo . . . . 8
punto medio de un arco . . . . . . . . . . . . . . . . . . . . 221
punto medio de un segmento. . . . . . . . . . . . . . . . . .7
R
radio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207, 211
de un crculo . . . . . . . . . . . . . . . . . . . . . . . . 207
de un polgono regular . . . . . . . . . . . . . . . 199
rayo(s)
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
extremo de un . . . . . . . . . . . . . . . . . . . . . . . . . 8
igualdad de . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
iguales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
opuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
origen de un . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
paralelos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
perpendiculares . . . . . . . . . . . . . . . . . . . . . . . 39
punto que establece la direccin de un . . . 8
secante a un crculo . . . . . . . . . . . . . . . . . . 210
tangente a un crculo . . . . . . . . . . . . . . . . . 210
razones trigonomtricas
ngulos agudos . . . . . . . . . . . . . . . . . . . . . . 161
cosecante . . . . . . . . . . . . . . . . . . . . . . . . 163
coseno . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
cotangente . . . . . . . . . . . . . . . . . . . . . . . 162
secante . . . . . . . . . . . . . . . . . . . . . . . . . . 163
seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
tangente . . . . . . . . . . . . . . . . . . . . . . . . . 162
recta(s) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
interseccin de dos . . . . . . . . . . . . . . . . . . . . . 3
lado de una . . . . . . . . . . . . . . . . . . . . . . . . . . 31
lados opuestos de una . . . . . . . . . . . . . . . . . 31
paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
existencia . . . . . . . . . . . . . . . . . . . . . . . . . 98
perpendiculares . . . . . . . . . . . . . . . . . . . . . . . 39
por dos puntos . . . . . . . . . . . . . . . . . . . . . . . . . 2
secante a dos . . . . . . . . . . . . . . . . . . . . . . . . . 98
secante a un crculo . . . . . . . . . . . . . . . . . . 210
correspondiente a una cuerda . . . . . . 211
determinada por una cuerda . . . . . . . . 211
tangente a un crculo . . . . . . . . . . . . . . . . . 210
transversal a dos . . . . . . . . . . . . . . . . . . . . . . 98
rectngulo
rea de un . . . . . . . . . . . . . . . . . . . . . . . . . . 176
tringulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
recto, ngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
rectngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
306
regin
circular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
poligonal . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
frontera de una . . . . . . . . . . . . . . . . . . . 174
interior de una . . . . . . . . . . . . . . . . . . . . 174
punto interior de una . . . . . . . . . . . . . . 174
triangular . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
frontera de una . . . . . . . . . . . . . . . . . . . 173
interior de una . . . . . . . . . . . . . . . . . . . . 173
punto interior de una . . . . . . . . . . . . . . 173
vrtices de una . . . . . . . . . . . . . . . . . . . 173
representacin de
el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
una recta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
rombo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
S
secante de un ngulo agudo . . . . . . . . . . . . . . . . 163
se cortan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
se cruzan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
sector circular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
se encuentra sobre . . . . . . . . . . . . . . . . . . . . . . . . . . 19
segmento(s)
adicin de . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
circular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264
congruencia de . . . . . . . . . . . . . . . . . . . . . . . . 7
congruentes . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
es ms corto que . . . . . . . . . . . . . . . . . . . . . . 12
es ms grande que . . . . . . . . . . . . . . . . . . . . 12
es ms largo que . . . . . . . . . . . . . . . . . . . . . . 12
es ms pequeo que . . . . . . . . . . . . . . . . . . . 12
extremos de un . . . . . . . . . . . . . . . . . . . . . . . . 6
igualdad de . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
iguales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
longitud de un . . . . . . . . . . . . . . . . . . . . . . . . . 7
mediatriz de un . . . . . . . . . . . . . . . . . . . . . . . 43
Teorema de la . . . . . . . . . . . . . . . . . . . . . 78
paralelos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
perpendiculares . . . . . . . . . . . . . . . . . . . . . . . 39
punto medio de un . . . . . . . . . . . . . . . . . . . . . 7
secante a un crculo . . . . . . . . . . . . . . . . . . 210
sustraccin de . . . . . . . . . . . . . . . . . . . . . . . . 10
tangente a un crculo . . . . . . . . . . . . . . . . . 210
semejanza
de cuadrilteros
definicin . . . . . . . . . . . . . . . . . . . . . . . . 152
propiedades . . . . . . . . . . . . . . . . . . . . . . 159
de polgonos
definicin . . . . . . . . . . . . . . . . . . . . . . . . 198
de tringulos
criterio AA . . . . . . . . . . . . . . . . . . . . . . . 146
criterio LAL . . . . . . . . . . . . . . . . . . . . . 148
criterio LLL . . . . . . . . . . . . . . . . . . . . . . 148
definicin . . . . . . . . . . . . . . . . . . . . . . . . 145
propiedades . . . . . . . . . . . . . . . . . . . . . . 145
semicrculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
semipermetro
de un cuadriltero . . . . . . . . . . . . . . . . . . . 229
de un tringulo . . . . . . . . . . . . . . . . . . . . . . . 82
semiplanos
arista . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
borde . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
seno de un ngulo agudo . . . . . . . . . . . . . . . . . . . 162
separacin
de la recta
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . 5
propiedades . . . . . . . . . . . . . . . . . . . . . . . . 5
del plano
postulado . . . . . . . . . . . . . . . . . . . . . . . . . 31
sistema de coordenadas de la recta . . . . . . . . . . . . 4
suplementarios, ngulos . . . . . . . . . . . . . . . . . . . . . 40
suplemento de un ngulo . . . . . . . . . . . . . . . . . . . . 40
T
tangente de un ngulo agudo . . . . . . . . . . . . . . . 162
Teorema
de Euclides
de la altura . . . . . . . . . . . . . . . . . . . . . . . 155
del cateto . . . . . . . . . . . . . . . . . . . . . . . . 155
de la adicin de segmentos . . . . . . . . . . . . 10
de la adicin de ngulos . . . . . . . . . . . . . . . 38
de la barra transversal . . . . . . . . . . . . . . . . . 36
de la bisagra . . . . . . . . . . . . . . . . . . . . . . . . . 76
de la construccin de segmentos . . . . . . . . 10
de la construccin de ngulos . . . . . . . . . . 38
de la localizacin de puntos . . . . . . . . . . . . 15
de la mediatriz . . . . . . . . . . . . . . . . . . . . . . . 78
del ngulo externo . . . . . . . . . . . . . . . . . . . . 66
de la sustraccin de segmentos . . . . . . . . . 10
de la sustraccin de ngulos . . . . . . . . . . . 38
de la ubicacin de puntos . . . . . . . . . . . . . . 15
del bisector . . . . . . . . . . . . . . . . . . . . . . . . . . 79
del coseno . . . . . . . . . . . . . . . . . . . . . . . . . . 163
de los dos crculos . . . . . . . . . . . . . . . . . . . 231
del seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
del rea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
de Pitgoras . . . . . . . . . . . . . . . . . . . . . . . . . 149
recproco . . . . . . . . . . . . . . . . . . . . . . . . 149
de Ptolomeo . . . . . . . . . . . . . . . . . . . . . . . . 228
de Thales . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
de transversalidad . . . . . . . . . . . . . . . . . . . . 33
fundamental de proporcionalidad . . . . . . 144
transversalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
trapecio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
base de un . . . . . . . . . . . . . . . . . . . . . . . . . . 119
issceles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
laterales de un . . . . . . . . . . . . . . . . . . . . . . . 119
trapezoide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
ndice alfabtico
paralelogramo . . . . . . . . . . . . . . . . . . . . . . . 119
trapecio . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
rea de un . . . . . . . . . . . . . . . . . . . . . . . . . . 176
tres a tres . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15, 47
triangulacin de una regin poligonal . . . . . . . 175
triangular una regin poligonal . . . . . . . . . . . . . 175
tringulo(s)
acutngulo(s) . . . . . . . . . . . . . . . . . . . . . . . . . 69
altura de un . . . . . . . . . . . . . . . . . . . . . . . . . . 71
ngulo
comprendido por dos lados . . . . . . . . . 61
opuesto a un lado . . . . . . . . . . . . . . . . . . 61
ngulo externo de un . . . . . . . . . . . . . . . . . . 65
ngulos de un . . . . . . . . . . . . . . . . . . . . . . . . 57
ngulos interiores de un . . . . . . . . . . . . . . . 57
ngulos internos de un . . . . . . . . . . . . . . . . 57
rea de un . . . . . . . . . . . . . . . . . . . . . . . . . . 174
baricentro de un . . . . . . . . . . . . . . . . . . . . . 128
base de una altura . . . . . . . . . . . . . . . . . . . . . 71
bisectriz de un . . . . . . . . . . . . . . . . . . . . . . . . 71
cateto(s)
proyeccin(ones) . . . . . . . . . . . . . . . . . 155
centroide de un . . . . . . . . . . . . . . . . . . . . . . 128
circuncentro de un . . . . . . . . . . . . . . . . . . . 108
congruencia de . . . . . . . . . . . . . . . . . . . . . . . 59
congruentes . . . . . . . . . . . . . . . . . . . . . . . . . . 59
definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
equingulo . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
equiltero . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
escaleno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
exterior de un . . . . . . . . . . . . . . . . . . . . . . . . 58
igualdad de . . . . . . . . . . . . . . . . . . . . . . . . . . 57
iguales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
incentro de un . . . . . . . . . . . . . . . . . . . . . . . . 83
interior de un . . . . . . . . . . . . . . . . . . . . . . . . . 58
issceles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
lado
comprendido por dos ngulos . . . . . . . 61
opuesto a un ngulo . . . . . . . . . . . . . . . . 61
opuesto a un vrtice . . . . . . . . . . . . . . . . 61
lados de un . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
mediana de un . . . . . . . . . . . . . . . . . . . . . . . . 70
oblicuo(s) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
obtusngulo(s) . . . . . . . . . . . . . . . . . . . . . . . 69
ortocentro de un . . . . . . . . . . . . . . . . . . . . . 108
partes correspondientes de un . . . . . . . . . . 59
permetro . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
pie de una altura . . . . . . . . . . . . . . . . . . . . . . 71
proyeccin de un lado sobre otro . . . . . . . 71
rectngulo(s) . . . . . . . . . . . . . . . . . . . . . . . . . 69
semejantes . . . . . . . . . . . . . . . . . . . . . . . . . . 145
semejanza de . . . . . . . . . . . . . . . . . . . . . . . . 145
semipermetro . . . . . . . . . . . . . . . . . . . . . . . . 82
vertices de un . . . . . . . . . . . . . . . . . . . . . . . . 57
vrtice opuesto a un lado . . . . . . . . . . . . . . 61
trigonometra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
307
trisecar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
triseccin de un segmento por dos puntos . . . . . 87
V
vrtice(s)
consecutivos
de un cuadriltero . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . 190
contiguos
de un cuadriltero . . . . . . . . . . . . . . . . . 116
de un polgono . . . . . . . . . . . . . . . . . . . 190
de un ngulo . . . . . . . . . . . . . . . . . . . . . . . . . 29
de un cuadriltero . . . . . . . . . . . . . . . . . . . 115
de un n-gono . . . . . . . . . . . . . . . . . . . . . . . 189
de un polgono . . . . . . . . . . . . . . . . . . . . . . 189
de un tringulo . . . . . . . . . . . . . . . . . . . . . . . 57