Tópicos de Geometría Euclidiana Plana (Aguilera, 2012)

Nstor E.
Aguilera
Tpicos de
geometra euclidiana plana
Olimpada Matemtica Argentina
11 al 14 de julio de 2012
Contenidos
1. Introduccin 1
1.1. Algunas convenciones y notaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. Mximos y mnimos 3
2.1. Algunos resultados bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.1.1. Comentarios nales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3. Aplicaciones geomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.4. Desigualdades trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.5. Embaldosados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.6. Otros Resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.7. Comentarios bibliogrcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3. Construcciones con regla y comps 11
3.1. Construcciones y lugares geomtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2. El decgono regular y el nmero de oro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4. Cnicas 18
4.1. Propiedades generales de la circunferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.2. Propiedades bsicas de las cnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5. Concurrencia e inversin 26
5.1. Teoremas de Ceva y Menelao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
5.2. Otros resultados clsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
5.3. Potencia de punto respecto de circunferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
5.4. La circunferencia de Apolonio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
5.5. Inversin y circunferencias ortogonales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
5.6. Hileras armnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.7. Polos y polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.8. Construcciones con regla solamente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Bibliografa 45
Captulo 1
Introduccin
Este apunte forma el tronco del curso Tpicos de geometra euclidiana plana dado como parte de
las Residencias Matemticas desarrolladas en el marco de la 53.
a
Olimpada Matemtica Internacional
realizada en Mar del Plata en julio de 2012.
Destinado a profesores de enseanza media, el objetivo del curso fue presentar distintos temas,
especialmente desde el punto de vista sinttico, pero agregando varias herramientas analticas (coor-
denadas). En este sentido, nos inspiramos en el espritu del excelente libro de Vasliev y Gutenmjer
(1980),
(1)
del que hemos tomado varios problemas.
Durante el curso no cubrimos todo lo aqu expuesto, pero por otra parte vimos algunos temas
que no estn presentados aqu. Por ejemplo, las esferas de Dandelin para interpretar a las cnicas
como la interseccin de un cono y un plano, que tomamos de http://rowdy.mscd.edu/~talmanl/
HTML/ConicSections.html (pero hay muchas otras fuentes, como http://www.liceomendrisio.
ch/~marsan/matematica/materiale_vario/coniche/Dandelin/JDandelinEn.htm).
El curso fue una recopilacin y seleccin de temas de cursos anteriores: el captulo 2, basado en el
libro de Niven (1981), fue la base de varios cursos dictados en la OMA a partir de 1992, y los restantes
captulos formaron parte del curso Geometra eucldea plana de la Licenciatura en Matemtica Aplicada
de la Universidad Nacional del Litoral dictados en 2005, 2008 y 2010. Siendo una recopilacin, hay
algunas repeticiones o cuestiones fuera de orden en el contexto.
Aunque no es necesario, en las clases usamos el software GeoGebra, incluido en las netbooks
del Plan Nacional de Inclusin Digital Educativa (y de cualquier forma gratuito y disponible para los
sistemas operativos preponderantes). Una preocupacin personal es cmo sacar provecho de estas
herramientas para el aprendizaje de matemticas en las escuelas secundarias, preocupacin compartida
por muchos participantes que trajeron sus computadoras al curso.
1.1. Algunas convenciones y notaciones
Con indicamos notas y comentarios, y con k indicaciones de demostraciones (en general no
completas). Usamos para indicar la nalizacin del enunciado de un problema, separndolo
del texto principal.
Suponemos familiaridad con los elementos tradicionales de la geometra plana, como punto,
recta, ngulo,...
En general hablaremos indistintamente de igualdad o congruencia de guras.
Indicamos por AB a la recta por los puntos A y B, pero tambin al segmento de extremos A y B, a
la longitud de este segmento, y a la semirrecta o rayo de origen A que pasa por B, esperando que
quede claro en cada caso de qu estamos hablando segn el contexto.
ABC es el ngulo de vrtice B y rayos BA y BC, y tambin usaremos la misma notacin para
indicar su medida.
Las semirrectas AB y AC determinan dos ngulos, que suman 360
. Salvo en el caso de ngulos

centrales, en general tomaremos BAC como el ngulo de 180
o menos.
El tringulo de vrtices A, B y C se indica en general por ABC.
(1)
Que es ms que recomendable, aunque est agotado y la editorial disuelta.
Pg. 2 Captulo 1. Introduccin
Normalmente llamamos a, b y c a los lados opuestos a, respectivamente, A, B y C, es decir
a = BC, b = AC y c = AB (usamos la notacin de igualdad y no de congruencia).
En n, a veces llamamos o A al ngulo BAC, y del mismo modo = B = ABC,
= C = ACB.
Dados tres puntos alineados A, B y C, A B C indica que B est entre A y C (o que B separa A y
C, o que A deja de un mismo lado a B y C, etc.).
S, se dice inscrito, pero como ya no entran ms datos en mi rgido, yo uso inscripto.
Captulo 2
Mximos y mnimos
2.1. Algunos resultados bsicos
Enunciamos ac algunos resultados conocidos, pero recomendamos repasar las demostraciones.
Geometra
Recordemos el teorema del seno:
sen
a
=
sen
b
=
sen
c
=
1
d
, (2.1)
donde d es el dimetro de la circunferencia que inscribe al tringulo ABC; el teorema del coseno
c
2
= a
2
+ b
2
2ab cos , (2.2)
e identidades trigonomtricas como el seno y coseno de la suma,
sen(+) = sen cos +cos sen, (2.3)
cos(+) = cos cos sen sen, (2.4)
o la relacin pitagrica,
sen
2
+cos
2
= 1. (2.5)
2.1. Proposicin (ngulos centrales, inscriptos y semiinscriptos).
Si dos cuerdas de una circunferencia tienen igual longitud, entonces los ngulos centrales respectivos son
iguales.
Todo ngulo inscripto en una circunferencia mide la mitad del ngulo central correspondiente. En
particular, si el ngulo central mide 180
, el ngulo inscripto es recto.

La primera parte es Euclides III.20. La ltima es Euclides III.31 y se atribuye a Tales de Mileto
(624 a. C. 547 a. C.).
Dos ngulos inscriptos cuyos lados pasan por los puntos A y B de una circunferencia son iguales si sus
vrtices estn en el mismo arco determinado por A y B y son suplementarios si estn en distintos arcos.
Esto es Euclides III.21 y III.22.
Si dos ngulos inscriptos en una circunferencia determinan cuerdas de igual longitud, entonces los ngulos
son iguales o son suplementarios.
Un ngulo semiinscripto mide la mitad del ngulo central correspondiente.
2.2. Resultado. Dada una curva que une los puntos A y B, la curva es un arco de circunferencia si y slo si
para todo punto P en la curva se satisface que el ngulo APB mide 90
.
2.3. Resultado (rea de un tringulo). Si a, b, c son los lados de un tringulo con rea A, y es el
ngulo opuesto al lado a, tenemos
area(ABC) =
bc
2
sen.
Pg. 4 Captulo 2. Mximos y mnimos
2.4. Resultado (Frmula de Hern). El rea de un tringulo es
area(ABC) =
_
s(s a)(s b)(s c),
donde s es el semipermetro, s = (a + b +c)/2.
La frmula similar para el cuadriltero es:
_
area(ABCD)
_
2
= (s a)(s b)(s c)(s d)
1
2
abcd
_
1 +cos( +)
_
,
donde los lados miden a, b, c y d, s es el semipermetro, s = (a + b + c + d)/2, y y son dos ngulos
opuestos (no importa cul par pues si y son los otros dos ngulos tenemos (+) + ( +) = 360
, y
por lo tanto cos( +) = cos(+)).
Observar tambin que si el cuadriltero es inscribible en una circunferencia la frmula se simplica a:
area(ABCD) =
_
(s a)(s b)(s c)(s d).
Desigualdades Aritmticas
2.5. Teorema. Si a, b son dos nmeros reales cualesquiera, valen las siguientes desigualdades
a
2
+ b
2
2ab
_
a + b
2
_
2
ab (a + b)2 4ab,
con igualdad si y slo si a = b. Si a y b son nonegativos, entonces
a + b
2

_
ab.
2.6. Corolario. Para cualquier constante real c, el mximo valor de c x x
2
, cuando x recorre todos los
valores reales, es c
2
/4, y se toma nicamente en x = c/2.
En consecuencia, mn(x
2
c x) = c
2
/4, y se alcanza en x = c/2.
2.7. Corolario. Si dos variables x, y, satisfacen x + y = c, su producto es mximo si y slo si x = y
( x = y = c/2).
Recprocamente, si dos variables positivas x y y satisfacen x y = c, donde c es una constante positiva,
su suma es mnima si y slo si x = y ( x = y =
c).
2.8. Teorema (Desigualdad aritmticageomtrica). Sean A y G las medias aritmtica y geomtrica,
respectivamente, de los nmeros positivos a
1
, a
2
, . . . , a
n
, denidas por
A =
a
1
+a
2
+ +a
n
n
, G = (a
1
a
2
. . . a
n
)
1/n
.
Entonces A G, con igualdad si y slo si a
1
= a
2
= = a
n
.
2.9. Teorema. Si n funciones positivas tienen un producto jo, su suma es un mnimo si puede arreglarse
que las funciones sean iguales. Por otra parte, si n funciones positivas tienen una suma ja, su producto es
mximo si puede arreglarse que las funciones sean iguales.
2.10. Teorema. La media armnica H de n nmeros positivos a
1
, a
2
, . . . , a
n
se dene como la recproca
de la media aritmtica de las recprocas, o sea:
H =
_
(a
1
1
+a
1
2
+ +a
1
n
)/n
_
1
.
Entonces tenemos A G H, con igualdad si y slo si a
1
= a
2
= = a
n
. En particular
(a
1
1
+a
1
2
+ +a
1
n
)(a
1
+a
2
+ +a
n
) n
2
,
con igualdad si y slo si a
1
= a
2
= = a
n
.
2.2. Problemas Pg. 5
2.11. Teorema (Desigualdad de Cauchy). Dados 2n nmeros a
1
, a
2
, . . . , a
n
y b
1
, b
2
, . . . , b
n
,
(a
1
b
1
+a
2
b
2
+ +a
n
b
n
)
2
(a
2
1
+a
2
2
+ +a
2
n
)(b
2
1
+ b
2
2
+ + b
2
n
),
con igualdad si y slo si los conjuntos son proporcionales, o sea, si a
i
b
j
= a
j
b
i
para todo par de subndices
i, j de 1 a n, si ninguno de los nmeros es 0, esta condicin puede reescribirse como
a
1
b
1
=
a
2
b
2
= =
a
n
b
n
.
A veces la desigualdad se denomina de Cauchy-Schwarz puesto que Schwarz realiz una extensin
de esta desigualdad al clculo integral. Tambin Buniakowski descubri, independientemente, este
resultado, por lo que tambin aparece su nombre ligado a esta desigualdad.
2.1.1. Comentarios nales
En todas las identidades o desigualdades es bueno tener en cuenta las homogeneidades. Por
ejemplo, en el teorema del seno (2.1), las unidades de cada cociente son de la forma 1/longitud,
y en el teorema 2.8, si pensamos que los a
i
son longitudes, tanto A como G tambin deben ser
longitudes.
Una propiedad fundamental que debe tener un promedio o media M de los nmeros a
1
, . . . , a
n
es
que
mn{a
1
, . . . , a
n
} M m ax{a
1
, . . . , a
n
}.
2.2. Problemas
Los siguientes problemas deben hacerse sin utilizar herramientas de clculo (derivadas).
Problema 2.12. Sean a, b y c constantes (reales) positivas. Encontrar el mnimo de
ax + by
entre todos los nmeros positivos x, y tales que x y = c.
Geomtricamente estamos buscando la recta de pendiente b/a que es tangente a la rama de la
hiprbola x y = c en el cuadrante positivo.
Problema 2.13. Si a, b y c son nmeros reales, no todos iguales, probar que
a
2
+ b
2
+c
2
> ab + bc +ca.
Problema 2.14. Encontrar el nmero real tal que supera a su cuadrado la mxima cantidad.
Problema 2.15. La media armnica de dos nmeros positivos a y b es el recproco de la media aritmtica
de sus recprocos, o sea la recproca de:
1
2
_
1
a
+
1
b
_
.
i) Probar que la media armnica puede escribirse como 2ab/(a + b).
ii) Si a = b, probar que la media armnica es menor que la media geomtrica, de modo que
a + b
2
>
_
ab >
2ab
a + b
.
iii) Si a = b, estas medias son iguales.
Problema 2.16. Dada una constante positiva c, encontrar el mnimo de x
4
+ 2y
4
entre todos los
nmeros x, y tales que x y = c.
Problema 2.17. Dadas las constantes a, b, c, encontrar el mnimo de
x
2
+ y
2
+ax + by +c
entre todos los valores reales de x e y.
Geomtricamente estamos buscando el centro de una circunferencia.
Problema 2.18. Demostrar que para cualquier constante positiva c, 2c x x
2
decrece pero x + c
2
/x
crece cuando x crece a partir de c. Qu pasa cuando x es menor que c?
Problema 2.19. Si x, y, r y s son nmeros reales que satisfacen x
2
+ y
2
= 1 y r
2
+s
2
= 1, encontrar el
mximo de xr + ys.
Si r y s estn jos, geomtricamente estamos buscando una tangente a la circunferencia unitaria en la
direccin dada por r y s.
Problema 2.20. Encontrar el mayor valor posible de x y sujeto a la condicin 20x + y = 180.
Problema 2.21. Un camin realiza regularmente viajes de 400 km prcticamente a velocidad constante.
Se requiere por ley que la velocidad no sea menor a 50 km/h ni mayor que 80 km/h. El camin
consume combustible a razn de 1+x/40+x
2
/300 litros por hora a la velocidad x km/h. Si el costo del
combustible es k pesos por litro y el salario del conductor es 8k pesos por hora, a qu velocidad debera
ir el camin para minimizar el costo total del viaje, incluyendo combustible y salario del conductor?
Sugerencia: encontrar el costo total en trminos de la velocidad.
Sugerencia si la anterior no alcanza:
costo total = costo combustible +costo conductor
= tiempo [(1 + x/40 + x
2
/300) k +8k]
=
400
x
[(1 + x/40 + x
2
/300) +8] k = 400k
_
9
x
+
1
40
+
x
300
_
Respuesta: x =
2700 = 30
3 = 51, 96. . . (en km/h). Observar que 50 x 80.

Problema 2.22. Encontrar el mximo valor de x
_
1 x
2
entre todos los valores de x con 0 < x < 1.
Hacerlo de dos formas: con y sin derivadas.
Problema 2.23. Encontrar el mximo valor de 2x (12 x
2
) entre todos los nmeros positivos x.
Sugerencia: Considerar el cuadrado, 2(2x
2
) (12 x
2
) (12 x
2
).
El problema se puede resolver sin usar derivadas, pero requiere de artilugios.
Problema 2.24. Encontrar el mnimo de 50/x +20/y + x y entre todos los nmeros positivos x, y.
Problema 2.25. El promedio R de n nmeros a
1
, a
2
, . . . , a
n
denido por
R =
_
a
2
1
+a
2
2
+ +a
2
n
n
_
1/2
tambin es muy usado (por ejemplo en electricidad).
Probar que R A, donde A es la media aritmtica, con igualdad si y slo si a
1
= a
2
= = a
n
0.
R es la media cuadrtica o valor cuadrtico medio, a veces indicado por RMS (del ingls root mean
square).
Problema 2.26. Dados los nmeros reales a
1
, a
2
, . . . , a
n
, probar que el valor mnimo de la funcin
f (x) = (a
1
x)
2
+ (a
2
x)
2
+ + (a
n
x)
2
es f (A), donde A es la media aritmtica de los nmeros.
Si miramos a los nmeros a
1
, a
2
, . . . , a
n
como un conjunto de datos, la varianza es el promedio f (A)/n,
y la raz cuadrada de este nmero es el desvo estndar. Estas son medidas de dispersin de los datos,
puesto que un trmino como (a
1
A)
2
es el cuadrado de la desviacin de a
1
respecto del promedio A.
Observar la similitud de la desviacin estndar y el promedio R denido en el problema anterior.
Problema 2.27. Sabemos que para cualquier x positivo, x
2
+1 2x. Es cierto que x
3
+1 2x para
todo x positivo? Cul es el mayor valor posible de la constante k de modo que x
3
+1 kx es cierta
para todo x > 0?
Sugerencia: Considerar x
3
+1/2 +1/2.
2.3. Aplicaciones geomtricas Pg. 7
2.3. Aplicaciones geomtricas
2.28. Resultado. El problema de Dido es el de encerrar la mayor rea posible con una curva de longitud
dada. La solucin (en el plano) es el crculo encerrado por la circunferencia.
El cociente isoperimtrico, CI, de una gura puede denirse como 4A/L
2
, donde A es el rea y L es el
permetro de la gura. La constante 4 se incluye slo para normalizar.
Problema 2.29. Entre los tringulos de un permetro dado, el equiltero tiene la mayor rea.
Problema 2.30. Entre los tringulos que tienen la base especicada y un permetro dado, el tringulo
issceles con esa base y permetro tiene la mayor rea.
Problema 2.31. Entre los tringulos con dos lados especicados y el tercero arbitrario, el que tiene
mayor rea es el rectngulo que tiene el lado libre como hipotenusa. Es decir, si las longitudes de los
lados dados son a, b, el tringulo con mxima rea es el que tiene lados a, b, (a
2
+ b
2
)
1/2
, con rea
ab/2.
Problema 2.32. Entre todos los cuadrilteros de permetro especicado, el cuadrado es el que tiene
mayor rea.
Problema 2.33. Un cuadriltero inscrito en una circunferencia tiene rea mayor que cualquier otro
cuadriltero con lados de la misma longitud en el mismo orden.
Problema 2.34. Entre todos los hexgonos con permetro dado, el hexgono regular es el que tiene
mayor rea.
Problema 2.35. Probar que A
3L
2
/36 para cualquier tringulo, donde A es el rea y L el permetro,
con igualdad si y slo si el tringulo es equiltero.
Problema 2.36. Entre todos los tringulos rectngulos con una hipotenusa dada, cul es el que tiene
mxima rea? Cul es el que tiene mayor permetro?
Problema 2.37. Dado un tringulo ABC y un punto variable P en el plano del tringulo, probar que
PA
2
+ PB
2
+ PC
2
es mnimo cuando P es el centroide (baricentro) del tringulo.
Sugerencia: Usar un sistema de coordenadas con, por ejemplo, (a
1
, a
2
), (b
1
, b
2
), (c
1
, c
2
) las coorde-
nadas de los vrtices y (x, y) como coordenada de P. Recordar que el centroide de un tringulo tiene
coordenadas ((a
1
+ b
1
+c
1
)/3, (a
2
+ b
2
+c
2
)/3).
Problema 2.38. Entre todos los tringulos PQR con un ngulo especicado en P y PQ+ PR = c, una
constante, probar que el que tiene PQ = PR tiene:
a) mxima rea,
b) mnima longitud QR.
Problema 2.39. Supongamos que Q
1
es el cuadriltero de mxima rea entre aqullos que tienen
lados 8, 9, 12, 19 en ese orden. Supongamos que Q
2
es el de rea mxima entre los que tienen lados
8, 9, 19, 12 en ese orden. Es el rea de ambos igual? Tanto Q
1
como Q
2
son inscribibles en un crculo,
cul de los crculos correspondientes es mayor?
Problema 2.40. Entre todos los cuadrilteros que tienen el permetro y un lado especicados, cul es
el de rea mxima?
Problema 2.41. Un granjero tiene material para construir una cerca de 200 m para encerrar una regin
rectangular a lo largo de la costa de un ro, que podemos suponer recta. Si la cerca es usada nicamente
en tres lados del rectngulo, no necesitndose para el lado correspondiente a la costa, cules son las
dimensiones del rectngulo para cubrir el rea mxima?
Problema 2.42. Supongamos que en el problema anterior consideramos cualquier cuadriltero en vez
de slo rectngulos, cules seran las dimensiones del cuadriltero con mxima rea?
Problema 2.43. Dado un crculo con centro C, localizar puntos P y Q sobre la circunferencia de modo
tal que el tringulo CPQ tiene rea mxima.
Problema 2.44. Probar que el cubo tiene la menor rea de supercie entre todos los slidos rectangu-
lares con volumen jo.
Problema 2.45. Se desea construir una caja sin tapa con volumen V. Cules tienen que ser las
dimensiones de la caja si se quiere usar la menor cantidad de material posible en la construccin de los
costados y el fondo?
Problema 2.46. Se desea construir un edicio calefaccionado en un clima fro. El edicio debe tener
un volumen de 3.000 m
3
y forma de slido rectangular. Se sabe que la prdida de calor a travs de las
paredes y el techo es 5 veces mayor que la prdida a travs del suelo. Cmo deben ser las dimensiones
del edicio si se desea minimizar la prdida de calor?
Problema 2.47. Encontrar las dimensiones del rectngulo de mayor rea inscrito en un semicrculo.
Sugerencia: Usar un sistema de coordenadas, tomando al semicrculo como la parte del crculo
x
2
+ y
2
r
2
donde y 0.
Problema 2.48. Se desea usar una hoja metlica cuadrada para construir una caja sin tapa, cortando
cuadrados en las esquinas y plegando los lados. Encontrar el mayor volumen posible para la caja.
Problema 2.49. Encontrar el o los puntos de la curva (parbola) y = x
2
ms cercanos al punto (0, c),
donde c puede ser positivo, negativo o nulo.
Problema 2.50. Dado un ngulo PQR < 180
y una constante positiva c, cmo deben elegirse los

puntos H en la semirrecta QP, y K en la semirrecta QR de modo tal que HK = c y el tringulo HQK
tenga mxima rea?
Problema 2.51. Dados 3 puntos, A, B, C, en ese orden sobre una lnea recta, localizar el punto P sobre
la recta de modo tal que PA+ PB + PC sea mnimo. Generalizar al caso de n puntos, encontrando P de
modo tal que la suma de las distancias de P a cada uno de los n puntos sea mnima.
Problema 2.52. En una habitacin de forma rectangular que mide 4 m de largo, 3 m de ancho y 2,5 m
de altura, una hormiga quiere ir desde una esquina a la opuesta caminando por cualquier parte del piso,
las paredes y el techo. Cul es el camino ms corto que puede hacer?
Problema 2.53. Dado un segmento de recta (cerrado), cmo deben ubicarse n puntos (no nece-
sariamente distintos) de modo tal que la suma de todas las distancias entre pares de puntos sea
mxima?
Problema 2.54. Un ciclista ubicado 1 km al norte del punto P comienza a dirigirse hacia P a una velo-
cidad de 6 m/seg. Al mismo tiempo, otro ciclista parte desde P en direccin este a 8 m/seg. Determinar
el momento en que los ciclistas estn a mnima distancia y las ubicaciones correspondientes.
Problema 2.55. El dimetro de un conjunto de puntos se dene como el supremo de las distancias
entre pares de puntos del conjunto. Para un polgono, este supremo es un mximo. No es difcil ver que
en realidad, el dimetro de un polgono es el mximo de las distancias entre pares de vrtices.
a) Probar que entre todos los cuadrilteros de dimetro 1, el rea mxima posible es 1/2.
b) Probar que, aunque el cuadrado con diagonal 1 tiene rea mxima, no es el nico cuadriltero
de dimetro 1 y rea 1/2.
Problema 2.56.
a) Si un polgono de n lados iguales est inscrito en un circunferencia, es necesariamente regular?
b) Y si est circunscrito?
c) Qu pasa si en vez de tener lados iguales tiene ngulos iguales?
Problema 2.57. Dado un segmento de recta AB y una constante c mayor que la longitud AB, probar
que entre todos los arcos desde A hacia B de longitud c, el arco circular encierra, junto con el segmento
AB la mayor rea.
Sugerencia: Dibujar el arco circular desde A hacia B de longitud c y completar la circunferencia.
Problema 2.58. Consideremos el sector circular con ngulo entre los dos radios. Cul debe ser el
tamao de para maximizar el cociente isoperimtrico (CI)?
Sugerencia: Si se mide en radianes, y r es el radio, el permetro es 2r + ra y el rea es r
2
/2.
Problema 2.59. Vericar que un cuadrado y un sector con ngulo de 2 radianes tienen el mismo CI.
Problema 2.60. Caracterizar los puntos A, B, C, D tales que el paralelogramo ABCD tiene el mismo CI
que el tringulo ABC. Existen rectngulos ABCD con esta propiedad?
2.4. Desigualdades trigonomtricas Pg. 9
2.4. Desigualdades trigonomtricas
Problema 2.61. Probar que sensen sen
2
_
(+)/2
_
si 0 , 180
, con igualdad si y slo si

= .
Problema 2.62. Probar que si , y son los ngulos de un tringulo, el mximo de cos +cos +cos
es 3/2, alcanzado en el caso de tringulo equiltero. Probar tambin que no hay mnimo, pero el nmo
es 1.
Problema 2.63. Reemplazando cos por (b
2
+c
2
a
2
)/(2bc), y anlogamente para cos y cos , en
el problema anterior, probar que
2abc < (a
2
+ b
2
+c
2
)(a + b +c) 2(a
3
+ b
3
+c
3
) 3abc
para los lados a, b, c de un tringulo cualquiera. Ver que las desigualdades no valen para a, b, c positivos
cualesquiera.
Problema 2.64. Encontrar el mximo valor posible de sen +sen +sen cuando , y son los
ngulos de un tringulo.
Problema 2.65. Dados dos puntos P y Q en una circunferencia, determinar el punto R sobre la
circunferencia de modo que el tringulo PQR tenga:
a) mxima rea,
b) mximo permetro.
Problema 2.66. Encontrar el valor mximo de sen+cos para cualquier valor de .
Problema 2.67. Encontrar el mximo de 4x +3
_
1 x
2
para x en el dominio 0 x 1.
Problema 2.68. Probar que si es un ngulo agudo medido en radianes entonces
a) sen < .
b) cos > 1 .
Problema 2.69. Dentro de todos los cuadrilteros inscritos en un semicrculo con dos vrtices en los
extremos de un dimetro, cul tiene mayor rea?
Problema 2.70. Entre todos los nmeros reales x, y que satisfacen x
2
+ y
2
= 1, encontrar los valores
mximos de a) x + y; b) x y; c) 3x +4y.
2.5. Embaldosados
Problema 2.71. Probar que se puede embaldosar el plano con cualquier tringulo.
Problema 2.72. Probar que se puede embaldosar el plano con cualquier cuadriltero, sea convexo o
no.
Problema 2.73. Probar que dado cualquier pentgono convexo, siempre se puede encontrar un hex-
gono con mayor CI.
Sugerencia: construir un hexgono sacando un pequeo tringulo issceles en cada vrtice del
pentgono.
Este argumento permite demostrar que dado un polgono convexo cualquiera, siempre se puede
encontrar un polgono con un lado ms y con mayor CI.
2.6. Otros Resultados
Problema 2.74. Dados los puntos A, B de un mismo lado de la recta , encontrar P sobre de modo de
minimizar la suma AP + PB.
Problema 2.75 (FermatSteiner). Dado un tringulo ABC, encontrar un punto P de modo de minimi-
zar PA+ PB + PC.
Problema 2.76. Dado un tringulo ABC, encontrar un punto P dentro del tringulo o en el borde, tal
que maximice la suma de las distancias PA+ PB + PC.
Problema 2.77. Dado un tringulo ABC, ubicar el punto P en el tringulo (dentro o en el borde) de
modo de maximizar el permetro del tringulo PBC.
Problema 2.78. Dado un cuadriltero convexo, dnde debe ubicarse el punto P de modo tal que la
suma de las distancias de P a los vrtices del cuadriltero sea mnima?
Problema 2.79. Si el tringulo ABC tiene C 90
, y K es un punto cualquiera en el segmento AB,

probar que AB +CK > AC +CB.
Problema 2.80 (Fagnano). Encontrar el tringulo PQR inscrito en el tringulo acutngulo ABC que
minimice el permetro.
Problema 2.81. Consideremos un tringulo ABC y P, Q y R puntos cualesquiera en los interiores de
los lados BC, CA, AB, respectivamente. Es cierto que el permetro del tringulo PQR es siempre menor
que el del tringulo ABC? (probarlo o dar un contraejemplo).
Problema 2.82. Encontrar el punto P en el plano de un tringulo de modo tal que la suma de las
longitudes de las perpendiculares desde P a los lados (extendidas, de ser necesario) sea mnima.
Problema 2.83. Una lnea recta que pasa por el centroide de un tringulo divide a ste en dos. Si r es
el cociente entre las reas de las dos partes, probar que los valores mnimo y mximo de r son 4/5 y
5/4.
Problema 2.84. En un cuadrado de lado 1 se dan nueve puntos (pueden estar dentro o en el borde).
Probar que se pueden elegir 3 puntos de modo tal que o bien los puntos son colineales o bien el rea
del tringulo que forman es a lo sumo 1/8.
2.7. Comentarios bibliogrcos
El material presentado est tomado fundamentalmente de Niven (1981). Otras referencias recomen-
dables son Kazarinoff (1975) y los libros de Yaglom (1962, 1968, 1973, 2009).
Captulo 3
Construcciones con regla y comps
Los axiomas establecen relaciones entre ciertos objetos, dando propiedades de existencia o unicidad,
por ejemplo que dados dos puntos distintos existe una nica recta que los contiene. Hasta ahora nos
hemos preocupado por deducir lgicamente otras relaciones y propiedades a partir de los axiomas, tales
como que dados un punto y una recta existe una nica perpendicular a la recta que contiene al punto.
Los problemas de existencia y unicidad son centrales a toda la matemtica, pero cuando quere-
mos usar los resultados en la prctica necesitamos determinar efectivamente los objetos, o al menos
aproximaciones a ellos. Para muchos objetos es posible dar una serie de pasos a seguir, o algoritmo.
Por ejemplo, supongamos que tenemos un rectngulo de lados a y b y queremos encontrar un
cuadrado de igual rea. El problema es equivalente a encontrar

ab.
Usando propiedades de los nmeros reales, es posible demostrar que existe un nico , > 0,
tal que =
ab. En algunos casos particulares, como a = 1 y b = 4, es posible encontrar rpidamente

, pero en general esto no es as como en el caso a = 1 y b = 2, y necesitamos algn procedimiento que
nos permita calcular

ab ya sea exactamente o al menos dentro de un error permitido.
La geometra viene de problemas prcticos y no sorprende que ya en los primeros resultados de
Los Elementos, Euclides se preocupara por estos procedimientos o construcciones con regla y comps,
mediante los cuales obtenemos efectivamente ciertos objetos a partir de objetos iniciales o auxiliares.
Como si se tratara de un juego en el cual slo podemos hacer ciertos movimientos, en las construc-
ciones slo se permiten algunos objetos iniciales, slo ciertos pasos son permitidos, y debemos llegar al
objetivo en un nmero nito de pasos.
Los objetos iniciales pueden ser puntos, rectas (y derivados como semirrectas, segmentos y semi-
planos) o circunferencias. Tambin podemos considerar puntos arbitrarios en una recta (semirrecta,
segmento, semiplano) o en la circunferencia.
Contamos con dos instrumentos, la regla no graduada y el comps, que nos permiten construir a
partir de dos puntos una recta o una circunferencia respectivamente.
Podemos usar el comps tambin para transportar longitudes: dado un segmento, podemos construir
una circunferencia con centro en cualquier punto y con radio igual a la longitud del segmento.
En realidad, el comps de Euclides permite trazar una circunferencia dados un centro y un punto sobre
la circunferencia, pero al levantarlo el comps se cierra, es decir, no permite transportar longitudes
directamente. En cambio el comps moderno permite transportar longitudes pues conserva su apertura
al levantarlo del papel.
Se puede demostrar que con el comps de Euclides podemos transportar longitudes (haciendo ms
pasos que con el comps moderno), de modo que para simplicar supondremos que podemos
usar un comps moderno.
Finalmente, dadas dos rectas, o una recta y una circunferencia, o dos circunferencias, podemos
determinar los puntos de interseccin.
Para otras curvas no siempre es posible construir con slo regla y comps la interseccin o construir la
curva, aunque a veces se pueda construir individualmente cada punto en ella.
Un poco caprichosamente, no podemos medir segmentos ni ngulos, de modo que no se pueden
usar instrumentos de medicin (como la regla graduada o el transportador), ni otras herramientas como
escuadras.
Resumiendo, cada paso puede consistir en: 1) construir una recta (semirrecta, segmento) o circunfe-
rencia con regla o comps a partir de los objetos existentes; 2) construir los puntos de interseccin de
Pg. 12 Captulo 3. Construcciones con regla y comps
rectas o circunferencias; y 3) construir un punto arbitrario (no sujeto a otras restricciones) en una recta
(semirrecta, segmento, semiplano) o circunferencia.
Volviendo a nuestro ejemplo inicial, como veremos ms adelante es posible construir (con regla y
comps) un segmento de longitud

ab dados a y b.
En la proposicin 14 del Libro II de Los Elementos, Euclides realiza esta construccin para guras
poligonales generales.
Con los mtodos y tecnologas que disponemos actualmente muchas de las construcciones geomtri-
cas han perdido el inters prctico: basta apretar un par de botones de la calculadora para obtener una
buena aproximacin de

ab una vez ingresados a y b.
No todo es historia antigua, ya que la construccin de Euclides del mximo comn divisor entre dos
nmeros
(1)
se sigue usando sin mayores modicaciones en cosas tan sosticadas como transacciones
seguras de internet.
Las construcciones geomtricas tambin tienen inters terico, y han dado lugar al desarrollo de
muchas reas de las matemticas. Por ejemplo, la imposibilidad de ciertas construcciones como la
cuadratura del crculo, la duplicacin del cubo y la triseccin del ngulo encajan dentro de la
profunda teora de Galois.
(2)
Veamos una breve descripcin de estos problemas.
Cuadratura del crculo: construir con regla y comps un cuadrado que tenga igual rea que un crculo
dado. El problema es equivalente a dado un segmento de longitud r, construir un segmento de
longitud

r (que sabemos que existe).
En 1882 F. von Lindemann demostr que y por lo tanto

es trascendente y entonces tal
construccin es imposible.
Duplicacin del cubo: en tres dimensiones, construir un cubo que duplique en volumen a otro dado.
El problema es equivalente a dado un segmento de longitud construir otro de longitud
3
2.
Segn la leyenda, el orculo de Delfos plante este problema a los atenienses durante la plaga
que asol Atenas en 420 a. C..
Triseccin del ngulo: dado el ngulo , construir el ngulo /3.
Tanto este problema como el de duplicacin del cubo se reducen a ecuaciones polinmicas
de grado 3. P. Wantzel demostr en 1837 que ambas construcciones (con regla y comps) son
imposibles.
Hay muchas variaciones sobre las construcciones con regla y comps.
L. Mascheroni (17501800) demostr en 1797 que se puede eliminar la regla dejando slo el comps
(de Euclides), claro que las construcciones se hacen mucho ms complicadas y se debe interpretar que
construir una recta o segmento se limita a dar dos puntos distintos.
Tambin tenemos el comps oxidado, donde el comps tiene una abertura ja, y construcciones
con slo regla (hablaremos sobre algunas de ellas ms adelante). En particular, segn el teorema de
Poncelet y Steiner (1833) basta con conocer una (nica) circunferencia y su centro para que cualquier
construccin con regla y comps pueda hacerse tambin con regla solamente.
Otras variantes permiten el uso de otras herramientas, algunas tan sencillas como una regla marcada,
o curvas alternativas a la circunferencia. Con muchas de estas variantes la triseccin del ngulo (por
ejemplo) se hace posible.
Una herramienta particularmente intrigante es el origami (en japons, plegado de papel), pro-
veniente del arte tradicional japons originado hacia el siglo VI. Usando las reglas (o axiomas) de
H. Huzita (19242005), con el origami se pueden resolver ecuaciones polinmicas hasta de grado 3, lo
que en particular implica la construccin (con origami) de la duplicacin del cubo y la triseccin del
ngulo.
Para concluir, y para mostrar la interconexin entre distintas reas de la matemtica, mencionamos
que otro problema de la antigedad es el de construir (con regla y comps) un n-gono regular de lado
dado, donde n , n 3.
C. F. Gauss (17771855) prob que se puede construir para n = 17 cuando tena 19 aos, y cinco
aos ms tarde obtuvo como condicin suciente que n sea de la forma 2
k
p
1
. . . p
r
, donde los p
i
son
distintos primos de Fermat es decir de la forma 2
2
k
+1 con k . En 1837 Wantzel demostr que la
condicin tambin es necesaria. En contrapartida, J. Pierpont (18661938) en 1895 demostr que con
(1)
Proposiciones 1 y 2 del Libro VII.
(2)
Por E. Galois (18111832), quien muri a los 21 aos. Sus trabajos se publicaron en 1846.
3.1. Construcciones y lugares geomtricos Pg. 13
el origami se pueden construir los polgonos cuando n es de la forma 2
u
3
v
p
1
. . . p
r
, donde los primos p
i
son ahora de la forma 2
u
3
v
+1, con u, v enteros no negativos.
Los primos de la forma 2
u
3
v
+1 se llaman de Pierpont en su honor. Si v = 0, se puede demostrar que
un primo de Pierpont es primo de Fermat.
Slo se conocen 5 primos de Fermat (los primeros son 3, 5, 17, 257), y se sospecha que hay slo
nitos primos de Fermat pero innitos primos de Pierpont.
3.1. Construcciones y lugares geomtricos
3.1. Denicin. Un lugar geomtrico de puntos es el conjunto de puntos que satisface determinada
propiedad.
Por ejemplo, por su misma denicin, la circunferencia de centro O y radio r es el lugar geomtrico de
los puntos cuya distancia a O es r.
Como un lugar geomtrico es un conjunto, digamos A, demostrar que coincide con otro conjunto B
requiere de demostrar dos implicaciones: x A x B y x B x A. p
De aqu en ms entenderemos que construccin se reere a una con regla y comps. Recordar que:
En las construcciones, parte del problema es determinar (aunque sea groseramente) cuntas
soluciones hay y qu relaciones entre los datos han de pedirse para que la construccin sea
posible.
En los lugares geomtricos hay que demostrar dos inclusiones.
Suponemos conocidos resultados y construcciones como:
Dados los segmentos a, b, c, construir un tringulo con esos lados.
El problema no siempre tiene solucin, ya que deben satisfacerse las relaciones a + b > c,
b +c > a y c +a > b.
Dado un ngulo ABC, construir E tal que la semirrecta BE es bisectriz del ngulo.
Dado el segmento AB, encontrar M en el segmento tal que AM = MB, i. e., encontrar el punto
medio del segmento.
Dados el punto A y la recta , trazar por A una perpendicular a cuando:
a) A , b) A / .
Una vez resuelto este problema, el uso de la escuadra (no graduada) est permitido, como
forma de simplicar los pasos.
Trazar por un punto B una recta paralela a la recta a (se supone B / a).
No es necesario usar el axioma de las paralelas.
Deniendo la mediatriz del segmento AB como la recta perpendicular a la recta por A y B que pasa
por el punto medio del segmento, resulta que la mediatriz del segmento AB es el lugar geomtrico
de los puntos que equidistan de A y B.
Las mediatrices de los lados de un tringulo se cortan en un nico punto (que resulta ser el centro
de la circunferencia circunscripta).
Todo tringulo tiene una nica circunferencia circunscripta.
En cambio, un segmento tiene varias.
Dados tres puntos no alineados, hay una nica circunferencia que los contiene. En particular, una
circunferencia queda determinada por tres de sus puntos.
Dados tres puntos no alineados, construir una circunferencia que pase por ellos.
Problema 3.2. Dada una recta a, dos puntos A a y B / a, y una longitud m, construir un punto X en
a tal que XA+XB = m.
Se supone AB < m, en otro caso la construccin es imposible.
Si A y B son los focos de una elipse, se pide encontrar una de las intersecciones de la elipse con una
recta que pasa por un foco, encontrando de paso la tangente correspondiente.
Problema 3.3. Encontrar el lugar geomtrico de los puntos que pertenecen a un mismo semiplano
respecto de una recta a y que equidistan de esa recta.
Problema 3.4.
a) Dados dos puntos en el plano, encontrar dos circunferencias distintas que los contengan.
Atencin que es circunferencia y no crculo.
b) Dar cuatro puntos en el plano tales que ninguna circunferencia los contiene a todos.
Problema 3.5. Construir en cada caso un tringulo ABC con las condiciones dadas:
a) A y lados AB y AC.
b) A y lados AB y BC.
c) A, B y lado AB.
d) Lados AB, BC y mediana relativa a AB.
e) Lados AB, BC y altura desde A.
Indicar, en cada uno de los casos anteriores, si:
i) la construccin siempre es posible, o hay que imponer restricciones a las condiciones para la
existencia de un tal tringulo,
ii) hay un nico tringulo posible, i.e., si dos tringulos que satisfacen las mismas condiciones deben
ser iguales.
3.6. Resultado. Si las rectas a y b, a = b, se cortan en el punto O determinando las semirrectas
a
, a
, b
, b
, los ngulos a
, b
, a
y b
con respectivas bisectrices c, c
, c
, c
, entonces
i) c y c
son semirrectas complementarias, as como lo son c
y c
.
ii) Las rectas y
que contienen respectivamente a c y c
, y c
y c
, son perpendiculares.
La gura formada por las rectas y
se llama cruz de bisectrices de las rectas a y b.

Problema 3.7. Demostrar el resultado 3.6.
Problema 3.8. El lugar geomtrico de los puntos que equidistan de dos rectas secantes es la cruz de
bisectrices de las rectas (con el punto de interseccin incluido).
Problema 3.9. Dado el tringulo ABC, construir una recta por A tal que dist(B, ) = dist(C, ).
Cuntas soluciones hay?
Sugerencia: considerar los casos en que B y C estn en un mismo semiplano respecto de o en
distintos.
Problema 3.10. Dividir el segmento AB en un nmero entero n de partes iguales.
3.2. El decgono regular y el nmero de oro
Estudiamos la construccin del pentgono regular inscripto en una circunferencia de radio r dado, o
equivalentemente la del decgono regular, ya que una se obtiene fcilmente a partir de la otra.
Se atribuyen a la escuela Pitagrica (unos 500 aos a. C.) las primeras descripciones de construcciones
de polgonos regulares inscriptos en una circunferencia, entre las que se cuentan las del pentgono y
decgono.
Ya mencionamos las condiciones necesarias y sucientes de Gauss y Wantzel sobre cules son los
polgonos constructibles con regla y comps. 5 = 2
2
1
+1 es un primo de Fermat, el prximo es 17 y la
construccin del polgono regular correspondiente es muy complicada.
Prcticamente todas las construcciones parten de la relacin entre el decgono regular y el nmero
de oro,
=
1 +
5
2
= 1,6180339. . .
Muchas veces se usa la letra en vez de , en honor a Fidias de Atenas (aprox. 490 a. C.431 a. C.).
Para ver esta relacin, dividamos al decgono en 10 tringulos partir del origen de la circunferencia
circunscripta, y observemos que el ngulo central POB en la gura 3.1 mide 36
(el ngulo central

AOB correspondiente al pentgono mide 72
). Entonces, en el tringulo issceles POB, los ngulos en

P y en B son iguales y miden 72
(= (180
36
)/2). Si ahora N es la interseccin de la bisectriz del

3.2. El decgono regular y el nmero de oro Pg. 15
O P
A
B
C
D
E
N
Figura 3.1: pentgono y decgono inscriptos en una circunferencia.
O
P
B
C
D
E
A
Q
R
S
Figura 3.2: construccin del decgono regular inscripto en una circunferencia.
ngulo PBO con OP, resulta NBP = 72
/2 = 36
, de modo que PNB = 180
36
72
= 72
y
el tringulo NBP es issceles. Por semejanza,
NP
PB
=
PB
OB
.
Siendo OB el radio r de la circunferencia, la longitud x del lado del decgono satisface la ecuacin
r x
x
=
x
r
,
o, equivalentemente
x
2
+ r x r
2
= 0. (3.1)
Esta ecuacin tiene dos races,
x =
1
5
2
r,
una positiva y otra negativa. La que nos interesa es la positiva, r (
5 1)/2, pues x representa la

longitud de un segmento. Es decir, en el tringulo OPB, la relacin entre los lados es el nmero de oro:
OP
PB
=
r
x
=
2
5 1
=
2
5 1

5 +1
5 +1
=
1 +
5
2
.
Para construir el pentgono (y el decgono) regular, consideramos una circunferencia con centro
O y radio r = OP, como en la gura 3.2. Si Q es el punto medio de un radio perpendicular a OP, el
segmento QP mide

5 r/2 por el teorema de Pitgoras. Trazando la circunferencia con centro Q y radio
QO (que mide r/2) obtenemos dos puntos, R y S con Q R P, comunes a esta circunferencia y la recta
PQ, y el segmento RP mide (
5 1) r/2, la longitud del lado del decgono inscripto.

Tomando esta longitud como radio de una nueva circunferencia con centro en P, construimos los
puntos Ay B sobre la circunferencia original. El segmento AB es el lado de un pentgono regular inscripto
en la circunferencia original, mientras que el segmento AP (o PB) es el lado de un decgono regular
inscripto en esa circunferencia. La construccin del pentgono (o decgono) se concluye transportando
la longitud correspondiente sucesivamente a partir de B.
En el problema 3.13 vemos otra construccin del pentgono regular.
p p p p p p p p p p p p p p p p p p p p p p p p
El nmero de oro aparece frecuentemente como proporcin esttica en diseo, y puede apreciarse
en pinturas, esculturas y arquitectura. As, un rectngulo de lados a, b, con a b, se dice que est
en la razn urea o divina proporcin, si quitando el cuadrado de lado b, el rectngulo resultante es
semejante al original, es decir si
a
b
=
b
a b
.
Para resolver la ecuacin, tomando u = a/b, resulta
u
2
u 1 = 0,
que es la ecuacin (3.1) con r = 1, y cuya raz positiva es .
Varios nombres en la historia aparecen relacionados. En la antigua Grecia encontramos a Fidias,
quien construy estatuas en el Partenn de Atenas con proporciones asociadas a , y a Euclides,
quien dira que el segmento b divide al segmento a en media y extrema razn. Hacia el Renacimiento
encontramos a Luca Pacioli (14461517) en su Divina Proporcin, con ilustraciones de Leonardo da
Vinci (14521519). Ms recientemente, encontramos a Le Corbusier (18871965) y a Salvador Dal
(19041989). En n, hay varios libros (y muchas pginas de internet) dedicados al tema.
No hay que dejarse llevar demasiado por la proporcin urea. Distintas encuestas muestran que la
proporcin 4 : 3 (1.33. . . : 1) es tanto o ms agradable que 1, 61. La proporcin 4 : 3 fue usada por
los monitores de computadoras hasta hace poco, en las pelculas se usan proporciones de 1.85 : 1 y
2.39 : 1, y en la televisin digital o de alta denicin, 16 : 9 (1.77. . . : 1).
En n, el tamao de las hojas que usamos, como la A4, est relacionado a la proporcin

2 : 1
(1, 414. . . : 1): una hoja A3 dividida por la mitad da dos hojas A4 en la misma proporcin,

2/1 =
2 1/
2.
Tambin aparece en la sucesin de nmeros de Fibonacci, 1, 1, 2, 3, 5, 8, . . . , que pueden denirse
recursivamente como
a
1
= 1, a
2
= 1, a
n
= a
n1
+a
n2
si n > 2,
i. e., a partir del tercero, cada nmero se obtiene como suma de los dos anteriores. Estos nmeros
aparecen en la naturaleza, como el girasol o la pia, y en el arte, como en los mosaicos rabes.
(3)
En
los cursos de matemtica discreta se ve que los nmeros de Fibonacci pueden escribirse mediante la
frmula de Euler-Binet,
a
n
=
n
(1/)
n
5
,
por lo que (usando tcnicas que se ven en clculo) el cociente a
n+1
/a
n
entre dos nmeros de Fibonacci
consecutivos se acerca a a medida que n aumenta.
Problema 3.11. Demostrar que en la gura 3.2, PS = r.
Problema 3.12. Consideremos un pentgono regular de lado y un decgono regular de lado
ambos
inscriptos en una circunferencia de radio r.
a) Dar una expresin para /r.
b) Encontrar una expresin de r en trminos de
.
c) Construir un decgono regular de lado
dado.
Problema 3.13. Justicar la construccin del pentgono regular debida a H. W. Richmond (1893),
ilustrada en la gura 3.3:
i) En la circunferencia de centro O y radio OP, construimos el punto medio Q de un radio perpendi-
cular a OP.
(3)
Ver, e. g., http://www.goldenmeangauge.co.uk/fibonacci.htm
3.3. Comentarios bibliogrcos Pg. 17
O
P
Q
M
H
Figura 3.3: construccin de Richmond del pentgono regular.
ii) Trazamos la bisectriz del ngulo OQP que corta al radio OP en M, y luego una perpendicular a
OP por M, obteniendo el punto H sobre la circunferencia.
iii) El segmento PH es el lado del pentgono buscado.
Los temas y problemas de este captulo estn basados en el libro de Pogorlov (1974), agregando el
concepto de cruz de bisectrices segn Vasliev y Gutenmjer (1980).
En el libro de Santal (1993, pg. 17 y siguientes) se proponen varias construcciones:
En la pg. 28 hay toda una seccin sobre construccin de tringulos dados tres de sus elementos.
En la pg. 30 se considera la construccin de circunferencias dando tres condiciones entre: pasar
por un punto, ser tangente a una recta, o ser tangente a otra circunferencia.
En n, se consideran tambin otros temas como la construccin de polgonos regulares, y cons-
trucciones con slo regla o comps. Nosotros veremos algunos de estos temas y las herramientas
necesarias en los captulos siguientes.
Captulo 4
Cnicas
Empezamos mirando propiedades bsicas de la circunferencia tomadas de Pogorlov (1974) y del
libro III de Los Elementos.
En la seccion 4.1 nos basamos en el teorema de Pitgoras para estudiar la interseccin de una
circunferencia con una recta u otra circunferencia. Si bien los resultados parecen intuitivos, dependen
fundamentalmente de que la raz cuadrada de un nmero real es otro nmero real: si no trabajramos
sobre los reales el resultado podra no ser cierto (pensemos en un tringulo de lados 1, 1 y

2).
Aunque en la construccin con regla y comps de un tringulo de lados dados usamos que dos
circunferencias se cortan, desde la teora veremos primero la existencia de los tringulos para luego
pasar a la interseccin de circunferencias. Para eso necesitaremos generalizar el teorema de Pitgoras.
El resto de la teora para los temas que vemos se encuentra en el captulo 6 del libro de Vasliev y
Gutenmjer (1980). Una buena parte de los problemas estn tomados del mismo libro.
4.1. Propiedades generales de la circunferencia
4.1. Proposicin. Si en la circunferencia de centro O y radio r el dimetro AB corta a la cuerda PQ en R,
entonces ARP = 90
si y slo si R es el punto medio de PQ.

Esto es Euclides III.3.
4.2. Teorema. Ninguna cuerda es mayor que el dimetro, y slo puede ser igual si es dimetro.
Aqu hablamos de el dimetro como el valor que es el doble del radio.
Ver Euclides III.15.
4.3. Proposicin. Sean c una circunferencia de centro O y radio r, una recta, y pongamos d = dist(O, ).
Entonces:
i) si d < r, c tiene exactamente dos puntos,
ii) si d = r, c es exactamente un punto,
iii) si d > r, c = .
En particular, una recta corta a una circunferencia en a lo sumo dos puntos.
k Sea B tal que d = OB, y entonces OB .
Si OB < r, sean P y P
en distintas semirrectas de tales que BP = BP
=
_
r
2
d
2
. Por el teorema
de Pitgoras, OP
2
= OB
2
+BP
2
= d
2
+ r
2
d
2
= r
2
, de modo que OP = r y P c. Del mismo modo,
P
c. Supongamos que exista Q c . Otra vez por Pitgoras debe ser r

2
= OQ
2
= OB
2
+ BQ
2
=
d
2
+BQ
2
, i. e., BQ =
_
r
2
d
2
. Como Q , debe ser Q = P o Q = P
.
Si OB = r, cualquier otro punto P satisface OP > OB = r, i. e., P / c, y corta a c nicamente
en B.
Si OB > r, para cualquier P se satisface OP OB > r y P / c.
4.4. Teorema. Sea un tringulo ABC y sea D la proyeccin del vrtice A sobre la recta BC. Entonces si
C > 90
,
AB
2
= AC
2
+BC
2
+2BC CD,
mientras que si C < 90
,
AB
2
= AC
2
+BC
2
2BC CD.
4.1. Propiedades generales de la circunferencia Pg. 19
Cuando C = 90
, D = C y el resultado se reduce al teorema de Pitgoras (que se usa en la

demostracin).
El resultado es esencialmente el teorema del coseno.
4.5. Teorema. Dadas las longitudes a, b y c, existe un tringulo de lados a, b y c si y slo si la suma de
dos cualesquiera de estas longitudes es mayor que la tercera, i. e., si y slo si
a < b +c, b < a +c y c < a + b.
4.6. Resultado. Sean c
1
y c
2
dos circunferencias de centros O
1
y O
2
y radios r
1
y r
2
, respectivamente,
donde r
1
r
2
. Entonces, poniendo d = O
1
O
2
,
i) si r
2
< d r
1
o d + r
1
< r
2
, c
1
c
2
= ,
ii) si d r
1
= d o d + r
1
= r
2
, c
1
c
2
tiene exactamente un punto,
iii) si d r
1
< r
2
< d + r
2
, c
1
c
2
tiene exactamente dos puntos.
En particular, dos circunferencias se cortan a lo sumo en dos puntos.
Problema 4.7. Si en el tringulo ABC se tiene AB
2
< AC
2
+BC
2
entonces C < 90
, mientras que si
AB
2
> AC
2
+BC
2
entonces C > 90
.
Recordar el recproco de Pitgoras: si AB
2
= AC
2
+BC
2
entonces C = 90
.
Problema 4.8. Sean A y B son dos puntos distintos y k > 0. Entonces, el lugar geomtrico de los puntos
P para los cuales AP
2
+BP
2
= k es una circunferencia con centro en el punto medio del segmento AB.
Sugerencia: si M es el punto medio y MP AB, uno de AMP y BMP es agudo y el otro obtuso y
usar el teorema del coseno.
Problema 4.9. Dados un punto A, una circunferencia y una longitud d, trazar por A una recta tal que
la cuerda correspondiente tenga longitud d.
Dependiendo de las posiciones de A y los valores de d y el radio de la circunferencia pueden haber dos
soluciones, una o ninguna.
4.10. Denicin. Una recta que corta a una circunferencia en exactamente un punto se llama tangente
a la circunferencia por ese punto. p
4.11. Corolario (de la proposicin 4.3). Sean A un punto de la circunferencia de centro O y una recta
por A. Entonces OA si y slo si es tangente a la circunferencia por A.
Ver Euclides III.18 y III.19.
k Llamando c a la circunferencia y r a su radio, usamos 4.3 con B tal que dist O, = OB.
Si OA, debe ser A = B, dist O, = OB = OA = r y hay un nico punto en c (que es A), i. e.,
es tangente a c por A.
Recprocamente, si OA, entonces dist O, = OB < OA y corta a c en dos puntos, por lo que no
puede ser tangente.
4.12. Denicin. Dado un tringulo ABC, se llama circunferencia inscripta a una circunferencia c de
centro O para la cual
a) las rectas AB, BC y AC son tangentes a c,
b) O est en el interior del tringulo. p
4.13. Teorema. Dado un tringulo ABC,
a) El centro de una circunferencia inscripta equidista de los lados del tringulo.
b) Todo punto que equidista de los lados del tringulo debe estar en las tres bisectrices.
c) Las bisectrices se cortan en un punto (el incentro) que equidista de los lados.
d) Hay una nica circunferencia inscripta en el tringulo.
Problema 4.14. Supongamos que c y c
son dos circunferencias tangentes entre s, i. e., c c
tiene un
nico punto.
a) Si O y O
son los centros respectivos, debe ser O = O
.
b) Si A es el punto comn entre las circunferencias, y y
son las rectas tangentes por A a cada

una de las circunferencias, entonces =
y OO
.
Pg. 20 Captulo 4. Cnicas
Problema 4.15. Dados dos rectas paralelas y un punto A entre ellas, construir una circunferencia
tangente a las rectas que pase por A.
Problema 4.16.
a) Dados un ngulo y una longitud r, construir una circunferencia de radio r que sea tangente a los
lados del ngulo.
b) Dados una longitud d, una circunferencia y una recta, trazar una circunferencia de radio r
tangente a la recta y a la circunferencia dada.
Podra haber hasta 8 circunferencias.
Problema 4.17. Dado un tringulo ABC, construir todas las circunferencias que son tangentes (simul-
tneamente) a las rectas AB, AC y BC. Cuntas de estas circunferencias hay?
Las circunferencias sobre los ngulos externos se llaman exscriptas y sus centros los excentros (aunque
algunos dicen exinscripta y exincentro).
Problema 4.18. Si las rectas AB y AC son tangentes a una circunferencia c, con B y C en c, entonces
los segmentos AB y AC son iguales.
Problema 4.19. Sea ABC un tringulo y c una circunferencia exterior (exscripta) tangente al lado AB y
a las semirrectas CA y CB. Si Q es el punto de interseccin de c con la semirrecta CA, demostrar que el
permetro del tringulo ABC es el doble de la longitud de CQ.
Problema 4.20. Una circunferencia est inscripta en un cuadriltero convexo si todas las rectas que
contienen a los lados del cuadriltero son tangentes a la circunferencia.
a) Si c es una circunferencia inscripta en un cuadriltero convexo ABCD, entonces AB + CD =
BC +AD.
b) Dar un ejemplo de un cuadriltero convexo que no tiene circunferencia inscripta.
c) Puede haber un cuadriltero convexo con ms de una circunferencia inscripta?
d) Dados los segmentos a, b, c y d con a + c = b + d, construir un cuadriltero ABCD que tenga
una circunferencia inscripta con AB = a, BC = b, CD = c, AD = d.
Comparar con la denicin 4.12 y el teorema 4.13.
Problema 4.21. Dadas una circunferencia c y un punto exterior A, construir las tangentes a c que pasan
por A.
Ver tambin el problema 4.25.
4.22. Denicin. El arco capaz de un ngulo respecto de un segmento AB es el lugar geomtrico de
los puntos P desde los cuales se ve al segmento con un ngulo , i. e., APB = . p
4.23. Proposicin. El arco capaz del ngulo con respecto al segmento AB es la unin de dos arcos de
circunferencias con cuerda AB, simtricos respecto de la recta AB (los puntos A y B no estn incluidos).
Si un punto P est dentro de la regin limitada por estos arcos, APB > , mientras que APB < si
P si est fuera de la regin.
k Sean y AB dados. Construyamos C de modo que CAB =. Si = 90
tomemos O como el punto

medio de AB, en otro caso tomemos O como la interseccin de la mediatriz de AB con la perpendicular
a AC por A (esta interseccin no existe si = 90
). Sean c la circunferencia de centro O que pasa por

A, el ngulo central correspondiente al ngulo semiinscripto BAC, c
1
el arco determinado por AB
que no es el correspondiente a . Entonces mide 2, y todo ngulo ADB con D c
1
es igual a
(el ngulo central correspondiente es ). Sea c
1
la gura simtrica de c
1
respecto de la recta AB.
Entonces el arco capaz es c
1
c
1
(sin incluir los puntos A y B).
Tomemos 0
< < 180
y P no en la recta AB. Si P c
1
c
1
es APB = . Si P / c
1
c
1
, alguna
de las rectas AP o BP corta a c
1
c
1
en el mismo semiplano que P respecto de la recta AB. Sea
Q esta interseccin. Usando que si en el tringulo UVW, el punto T est en el lado UV, entonces
WUV < WTV, resulta APB < AQB(= ) si Q estn entre A y P, y APB > AQB(= ) si P
est entre A y Q.
Si = 90
quedan dos semicircunferencias de una misma circunferencia. Si = 0
tenemos dos
semirrectas, digamos AE y BF en la recta AB, donde A est entre B y E, y B est entre A y F (el
complemento del segmento cerrado AB en la recta AB). Si = 180
, resulta el segmento AB (abierto).

En cualquier caso, los puntos A y B no estn en el arco capaz, pues ni AAB ni ABB estn denidos.
4.1. Propiedades generales de la circunferencia Pg. 21
Problema 4.24. Dadas dos longitudes a y b, construir un segmento de longitud x tal que x
2
= ab.
Esto es Euclides VI.13.
De esta forma se resuelven geomtricamente las ecuaciones de segundo grado (ms una eventual
completacin de cuadrados).
Problema 4.25. Justicar la construccin en Euclides III.17 para trazar la tangente por A a una
circunferencia c de centro O y radio r: sea D el punto de interseccin de c con el rayo OA, sea c
la
circunferencia de centro O y radio OA, sea F un punto en la interseccin de c
y la perpendicular a OA
por D, sea B en la interseccin de c y el rayo OF, entonces la recta AB es tangente a c.
Problema 4.26. Dadas dos circunferencias c
1
y c
2
, construir cuando sea posible:
a) las tangentes exteriores, i. e., rectas que son tangentes a ambas circunferencias y que dejan en un
mismo semiplano a ambas.
Sugerencia: Si el centro de c es O, construir M el punto medio del segmento OA, la circunferencia
c
de centro M que pasa por A. Si P es un punto de c c
, OPA = 90
, i. e., AP OP.
b) las tangentes interiores, i. e., rectas que son tangentes a ambas circunferencias y que dejan en
distintos semiplanos a ambas.
Problema 4.27. Los vrtices de un cuadriltero convexo estn en una circunferencia si y slo si la suma
de los ngulos opuestos es 180
.
Problema 4.28. Si A, B y C estn sobre una circunferencia c, y la bisectriz de ABC corta a c en P
(P = B), entonces P est en la mediatriz de AC.
Problema 4.29 (el gatito en la escalera). Una escalera situada sobre el suelo y apoyada con un
extremo en la pared, se desliza hacia abajo. Qu curva recorre un gatito sentado en el centro de la
escalera?
Se supone que el piso y la pared estn a 90
.
Sugerencia: pensar a la escalera como una de las diagonales de un rectngulo.
Problema 4.30. Dados los puntos A y B,
a) Encontrar el lugar geomtrico de los pies de las perpendiculares desde el punto A a cualesquiera
rectas que pasan por B.
b) Encontrar el lugar geomtrico de los puntos que son simtricos a A respecto de alguna recta que
pase por B.
Problema 4.31. Dados un punto A y una circunferencia, determinar el conjunto de los puntos medios
de las cuerdas de la circunferencia que pasan por A (eventualmente extendidas).
Sugerencia: considerar la mediatriz de la cuerda.
Problema 4.32. Dados los puntos A y B en el interior de la circunferencia c, construir un tringulo
rectngulo inscripto en c y tal que sus catetos contengan a A y B.
Sugerencia: considerar una circunferencia de dimetro AB.
Problema 4.33. Dados los puntos A y B sobre una recta, encontrar el lugar geomtrico de los puntos T
que son punto de contacto de dos circunferencias tangentes, que a su vez son tangentes a la recta, una
en A y la otra en B.
Sugerencia: dnde corta la tangente por T a la recta AB?
Problema 4.34. Sea A el vrtice de un ngulo .
a) Si A se encuentra dentro de un crculo, la medida de es la semisuma de los valores de los arcos
de los cuales uno est situado entre los lados de y el otro entre los lados del ngulo opuesto
por el vrtice.
b) Si A est fuera de un crculo y los lados de cortan a la circunferencia correspondiente, la
medida de es la mitad de la diferencia de los valores de los arcos determinados (el mayor
menos el menor).
Problema 4.35. Sea A un punto dentro de una circunferencia. Encontrar el lugar geomtrico de los
vrtices C de los rectngulos ABCD donde B y D estn sobre la circunferencia.
4.2. Propiedades bsicas de las cnicas
4.36. Denicin (de parbola). Dados una recta d y un punto F, F / d, la parbola asociada es el
conjunto {P : F P = dist P, d}.
d es la directriz y F es el foco de la parbola.
La recta e perpendicular a d por F es el eje de la parbola.
El interior de la parbola es el conjunto {P : F P < dist P, d}, y el exterior el conjunto {P : F P >
dist P, d}. p
4.37. Denicin (de elipse). Dados dos puntos F
1
y F
2
y un nmero d > F
1
F
2
, la elipse asociada es el
conjunto {P : PF
1
+ PF
2
= d}.
F
1
y F
2
son los focos de la elipse, y el punto medio de F
1
F
2
, indicado por O, es el centro.
El interior de la elipse es el conjunto {P : PF
1
+ PF
2
< dist P, d}, y el exterior el conjunto
{P : PF
1
+ PF
2
> dist P, d}.
Si d = F
1
F
2
, el conjunto {P : PF
1
+ PF
2
= d} es un segmento, mientras que si d < F
1
F
2
, el conjunto es
vaco. Cuando F
1
= F
2
, la elipse es una circunferencia de centro F
1
y radio d. p
4.38. Denicin (de hiprbola). Dados dos puntos F
1
y F
2
y un nmero d, 0 < d < F
1
F
2
, la hiprbola
asociada es el conjunto {P : |PF
1
PF
2
| = d}.
F
1
y F
2
son los focos de la hiprbola, y el punto medio de F
1
F
2
, indicado por O, es el centro.
La hiprbola tiene dos ramas: {P : PF
1
PF
2
= d} y {P : PF
2
PF
1
= d}.
Como F
1
F
2
> d > 0, debe ser F
1
= F
2
.
Si d = F
1
F
2
> 0, el conjunto {P : |PF
1
PF
2
| = d} es la recta F
1
F
2
menos el segmento F
1
F
2
, si d > F
1
F
2
el conjunto es vaco, si d = F
1
F
2
= 0 el conjunto es todo el plano, y si d = 0 < F
1
F
2
el conjunto es la
mediatriz del segmento F
1
F
2
. p
4.39. Propiedad (ecuaciones caractersticas de las cnicas).
a) Si dist F, d = 2h y elegimos los ejes coordenados de modo que el eje x sea paralelo a d y equidiste de
F y d, y el eje y pase por F, la parbola de foco F y directriz d tiene como ecuacin
y = ax
2
, donde a =
1
4h
.
b) Consideremos F
1
= F
2
, pongamos c = F
1
F
2
/2, a = d/2, y elijamos los ejes coordenados de modo
que el eje x sea la recta F
1
F
2
, y el origen sea O (el punto medio de F
1
F
2
).
Entonces:
La elipse de focos F
1
y F
2
y distancia d tiene ecuacin
x
2
a
2
+
y
2
b
2
= 1, donde b =
_
a
2
c
2
.
La hiprbola de focos F
1
y F
2
y distancia d tiene ecuacin
x
2
a
2

y
2
b
2
= 1, donde b =
_
c
2
a
2
.
Problema 4.40 (simetras de las cnicas).
a) Una parbola es simtrica respecto de su eje.
b) Una elipse de focos F
1
y F
2
, F
1
= F
2
, es simtrica respecto de la recta F
1
F
2
, de la mediatriz F
1
F
2
,
y de la interseccin de estas dos rectas (el centro de la elipse).
c) Repetir el inciso anterior para el caso de la hiprbola.
Problema 4.41. Consideremos un punto P en la parbola de foco F y directriz d.
a) Si P
es el pie de la perpendicular a d por P, entonces la mediatriz m de F P
corta a la parbola
en un nico punto, y el interior de la parbola est en un semiplano respecto de m.
Decimos que m es la tangente a la parbola por P.
b) Las semirrectas PF y PP
forman ngulos iguales con las semirrectas de m.

4.2. Propiedades bsicas de las cnicas Pg. 23
Esto es la propiedad focal de la parbola: un rayo que parte del foco rebota en la parbola en un
direccin paralela al eje.
Problema 4.42. Sean A y B dos puntos en un mismo semiplano respecto de la recta . Encontrar un
punto P tal que la distancia AP + PB sea mnima.
Problema 4.43. Sean F
1
y F
2
dos puntos y d > F
1
F
2
.
a) Ver que dado un punto Q en la circunferencia de centro F
1
y radio d, el punto P en la interseccin
de la recta F
1
Q con la mediatriz m de F
2
Q es un punto en la elipse de focos F
1
y F
2
y distancia d.
Recprocamente, todo punto P de la elipse puede obtenerse a partir de un punto Q en la manera
descripta.
b) Ver que la mediatriz m del inciso anterior corta a la elipse nicamente en el punto P, dejando al
interior de la elipse en un semiplano.
m es la tangente a la elipse por P.
c) Con las notaciones anteriores, los ngulos formados por las semirrectas PF
1
y PF
2
con semirrectas
opuestas de m son iguales.
Esto es la propiedad focal de la elipse: un rayo que parte de un foco rebota en la elipse en direccin
hacia el otro foco.
Problema 4.44.
a) Sean una recta y A y B dos puntos a diferentes lados de , y tales que dist A, > dist B, .
Encontrar un punto P tal que la diferencia de las distancias AP BP sea mxima.
b) Dados los puntos F
1
y F
2
y el nmero d, 0 < d < F
1
F
2
, ver que dado un punto Q en la
circunferencia de centro F
1
y radio d, el punto P en la interseccin de la recta F
1
Q con la
mediatriz m de F
2
Q es un punto en la hiprbola de focos F
1
y F
2
y distancia d. Recprocamente,
todo punto P de la hiprbola puede obtenerse a partir de un punto Q en la manera descripta.
c) Ver que la mediatriz m del inciso anterior corta a la hiprbola nicamente en el punto P.
m es la tangente a la hiprbola por P.
d) Las semirrectas PF
1
y PF
2
forman ngulos iguales con una semirrecta de m.
Esto es la propiedad focal de la hiprbola: un rayo que parte de un foco rebota en la hiprbola
alejndose del otro foco en direccin opuesta.
Problema 4.45. Dada una parbola de foco F y directriz d:
a) Si P es exterior a la parbola, construir (con regla y comps) las tangentes a la parbola por P.
Se puede ver que si A y B son los puntos de tangencia, y A
, B
y P
son las proyecciones de A, B y

P en d (respectivamente), entonces P
es el punto medio del segmento A
.
b) Dada una recta r, construir una recta r
tangente a la parbola y tal que r
r.
Como en a a), se puede ver que si A y B son las intersecciones de r (o una recta paralela a r) y la
parbola, C es donde la tangente es paralela a r, y A
, B
y C
son las proyecciones de A, B y C en

d (respectivamente), entonces C
es el punto medio del segmento A
.
c) Encontrar el lugar geomtrico de los puntos tales que la parbola se ve en ngulo recto (i. e., las
tangentes a la parbola por el punto se cortan a 90
). Sugerencia: Si P es un punto exterior, A

y B son puntos de tangencia y A
, B
son las proyecciones de A y B en d, comparar los ngulos

A
PA, F PA, B
PB y B
PF.
Problema 4.46. Supongamos que dos mviles, A y B, en el interior de la parbola de foco F y directriz
d se acercan hacia sta en direccin paralela al eje de la parbola, y supongamos que ambos rebotarn
al llegar a la parbola dirigindose hacia F. Ver que si ambos se mueven a la misma velocidad constante
y estn inicialmente a la misma distancia de d, llegan juntos a F.
Sugerencia: distancia = velocidad tiempo.
Problema 4.47. Construir (con regla y comps) el foco de una parbola dados la directriz y dos puntos
en la parbola. Cuntas soluciones hay?
Problema 4.48. Sean A y B dos puntos del plano, y p , p > 0. Encontrar el lugar geomtrico de los
puntos M tales que el permetro del tringulo AMB es
a) igual a p,
b) menor que p.
Problema 4.49. Sea T un punto en el segmento AB. Encontrar el lugar geomtrico de los puntos M
tales que la circunferencia inscripta del tringulo AMB es tangente a AB en T.
Sugerencia: comparar MA MB con TA TB.
Problema 4.50. En una articulacin quebrada cerrada ABCD, para la cual AD = BC = a y AB = CD = b,
el elemento AD est jo. Encontrar el lugar geomtrico de puntos de interseccin de las rectas AB y CD
cuando a) a < b, b) b < a.
Problema 4.51. Consideremos una elipse de focos A y B.
a) Demostrar que el conjunto de puntos simtricos al foco A respecto a todas las tangentes a la
elipse es una circunferencia.
b) Demostrar que el conjunto de pies de las perpendiculares por A a las tangentes a la elipse es una
circunferencia.
c) Repetir los incisos anteriores para el caso de la hiprbola.
Problema 4.52. Supongamos una elipse de ecuacin
x
2
a
2
+
y
2
b
2
= 1.
Es til usar un software de geometra dinmica para visualizar los resultados del problema.
a) Si (x
, y
) es un punto de la elipse, entonces la recta

x x
a
2
+
y y
b
2
= 1
corta a la elipse nicamente en (x
, y
). Sugerencia: ver que la recta corta a la elipse en un nico

punto, calculando (x x
)
2
/a
2
+ ( y y
)
2
/b
2
para (x, y) en la interseccin de la elipse y la
recta.
b) Sea P = (p
1
, p
2
) un punto exterior de la elipse, y pongamos
d =
p
2
1
a
2
+
p
2
2
b
2
(d > 1 pues P es exterior).
Entonces, las tangentes por P a la elipse tienen ecuaciones
x x
i
a
2
+
y y
i
b
2
= 1 para i = 1, 2,
donde (x
1
, y
1
) y (x
2
, y
2
) son las intersecciones de las tangentes y la elipse y estn dados por
x
1
=
p
1
d
+
ap
2
bd
_
d 1, y
1
=
p
2
d

bp
1
ad
_
d 1,
x
2
=
p
1
d

ap
2
bd
_
d 1, y
2
=
p
2
d
+
bp
1
ad
_
d 1.
c) (x
1
p
1
) (x
2
p
1
) + ( y
1
p
2
) ( y
2
p
2
) =
d 1
d
(p
2
1
+ p
2
2
a
2
b
2
).
d) La elipse se ve desde P a 90
si y slo si P est en la circunferencia de centro (0, 0) y radio

_
a
2
+ b
2
.
Problema 4.53. Sea k , 0 < k.
a) El lugar geomtrico de los puntos tales que el cociente entre su distancia a un punto jo (el foco)
y su distancia a una recta ja (la directriz) es k es una elipse si k < 1, o una hiprbola si k > 1.
Si k = 1 es una parbola, por denicin.
Autores como Coxeter y Greitzer (1993) denen las cnicas de esta forma.
4.2. Propiedades bsicas de las cnicas Pg. 25
b) En una elipse o hiprbola de focos F
1
y F
2
, y distancia caracterstica d, la excentricidad es el
cociente F
1
F
2
/d. Ver que en el inciso anterior cuando 0 < k < 1 o k > 1, k coincide con la
excentricidad.
La circunferencia tiene excentricidad 0, pero la denicin en a) no tiene sentido.
Problema 4.54 (el gatito en la escalera II). Recordando el gatito en la escalera, qu curva recorre
el gatito si est sentado en un punto que no es el punto medio de la escalera?
Captulo 5
Concurrencia e inversin
5.1. Teoremas de Ceva y Menelao
Dos rectas que se cortan lo hacen en un punto (o son iguales), pero ya hemos visto ejemplos como
las medianas o las bisectrices de un tringulo de tres rectas distintas que se cortan en un punto.
5.1. Denicin. Decimos que tres o ms rectas son concurrentes si se cortan en un nico punto. p
Aunque rectas concurrentes no estn necesariamente asociadas a un tringulo, es interesante
estudiar el caso de rectas que pasan por los vrtices de un tringulo y son concurrentes, como las
medianas o bisectrices.
5.2. Denicin. El segmento que une un vrtice de un tringulo con un punto del lado opuesto se
llama ceviana. p
En honor a G. Ceva (16481734) quien demostr el teorema 5.4 en De lineis rectis de 1678.
En realidad, el resultado fue probado mucho antes por Yusuf Al-Mutaman ibn Hud, quien fue rey de
Zaragoza entre 1082 y 1085.
Las medianas, bisectrices y alturas son cevianas, pero no las mediatrices porque no pasan (necesaria-
mente) por vrtices.
Supongamos que tenemos un tringulo ABC y una recta que pasa por A y corta al segmento BC.
Entonces la recta tiene que estar en la regin sombreada en el grco a la izquierda de la gura 5.1. De
modo similar gracamos en esa gura las regiones de las rectas que pasan por B y cortan al segmento
AC (en el centro) o pasan por C y cortan al segmento AB (a la derecha).
As, si las rectas , m y n son concurrentes, con A , B m, C n, y todas pasan por los respectivos
segmentos opuestos (BC, AC y AB), entonces el punto de concurrencia debe estar en la interseccin de
todas esas regiones, i. e., en el interior del tringulo, como se muestra en la gura 5.2. O, de otra forma,
si dos de ellas pasan por los segmentos opuestos, la tercera tambin.
Por otra parte, como se muestra en la gura 5.2, al menos una de las rectas debe pasar por el
segmento opuesto, ya que la unin de las regiones de la gura 5.1 es todo el plano.
Podemos enunciar entonces el siguiente resultado:
5.3. Lema. Sean ABC un tringulo y , m y n tres rectas concurrentes en un punto tales que A , B m
y C n y ninguno de los lados del tringulo est contenido en alguna de las rectas. Entonces slo puede
suceder una de las siguientes posibilidades:
A
B C
A
B C
A
B C
Figura 5.1: regin de rectas segn los vrtices.
5.1. Teoremas de Ceva y Menelao Pg. 27
A
B C
Figura 5.2: la interseccin de las regiones.
A
L
R
B
N
M
C
m
n
A
L
R
B
N
M
C
m
n
Figura 5.3: conguraciones para el teorema de Ceva.

a) Las tres rectas cortan a los lados opuestos correspondientes (BC para , AC para m, AB para n).
b) Slo una de ellas corta al lado opuesto.
5.4. Teorema (de Ceva). Sea ABC un tringulo y consideremos puntos L en la recta BC, M en la recta
AC y N en la recta AB tales que las rectas AL, BM y CN son concurrentes en R. Entonces
BL
LC
CM
MA
AN
NB
= 1, (5.1)
si ningn numerador ni denominador es nulo.
Los puntos de interseccin no deben coincidir con ninguno de los vrtices, pues en este caso algunos
numeradores o denominadores seran 0.
k Llamamos a la recta AL, m a la recta BM y n a la recta CN. Por 5.3, hay dos conguraciones posibles
(salvo permutaciones de letras) indicadas en la gura 5.3. Damos las indicaciones para la conguracin
de la izquierda, dejando como problema la demostracin para la conguracin de la derecha.
Los tringulos BAL y LAC tienen igual altura desde A, y por lo tanto sus reas estn en la proporcin
de las bases:
area(BAL)
area(LAC)
=
BL
LC
.
La misma proporcin tienen los tringulos BRL y LRC:
area(BRL)
area(LRC)
=
BL
LC
,
de modo que podemos poner
BL
LC
=
area(BAL) area(BRC)
area(LAC) area(LRC)
=
area(BAR)
area(RAC)
.
Repitiendo para los vrtices B y C,
CM
MA
=
area(CBR)
area(RBA)
,
AN
NA
=
area(ACR)
area(RCB)
,
y multiplicando,
BL
LC
CM
MA
AN
NA
=
area(ABR)
area(ACR)
area(BCR)
area(ABR)
area(ACR)
area(BCR)
= 1.
As como tres (o ms) rectas pueden concurrir en un punto, es interesante estudiar el caso en que
tres (o ms) puntos estn en una recta.
5.5. Denicin. Decimos que tres o ms puntos son colineales si estn sobre una misma recta. p
Pg. 28 Captulo 5. Concurrencia e inversin
A
L B
N
M
C
A
L B
N
M
C
Figura 5.4: conguraciones para el teorema de Menelao.
A
B C
N
M
L
P
B
P
A
P
C
Figura 5.5: esquema en la demostracin del teorema de Menelao.
En el lema 5.3 vimos que hay slo dos conguraciones posibles para rectas concurrentes que
pasan por los vrtices de un tringulo. Para puntos colineales tenemos un resultado anlogo que es
esencialmente el axioma de Pasch.
5.6. Lema. Dados un tringulo y una recta que no pasa por ninguno de sus vrtices, slo puede suceder
una de las siguientes posibilidades:
a) La recta corta exactamente a dos de los lados.
b) La recta no corta al tringulo.
5.7. Teorema (de Menelao). Sea ABC un tringulo, y sean L en la recta BC, M en la recta AC y N en la
recta AB tres puntos colineales ninguno de los cuales es vrtice del tringulo.
Entonces
BL
LC
CM
MA
AN
NB
= 1, (5.2)
si ningn numerador ni denominador es nulo.
El teorema lleva el nombre por Menelao de Alejandra (70140).
Las ecuaciones (5.1) en el teorema de Ceva y (5.2) en el de Menelao son las mismas. Para distinguir
los resultados, muchos autores agregan un signo a las fracciones involucradas, quedando un 1 en
vez de 1 en el trmino derecho de (5.2).
k Por el lema 5.6, hay dos conguraciones posibles (salvo permutaciones de letras) indicadas en la
gura 5.4. Consideramos slo la de la izquierda.
Sean P
A
, P
B
y P
C
los pies de las perpendiculares a la recta LM por A, B y C respectivamente, como
se indica en la gura 5.5. Los tringulos LP
B
B y LP
C
C son semejantes pues son rectngulos en P
B
y P
C
y comparten el ngulo en L. Por lo tanto,
LB
LC
=
P
B
B
P
C
C
.
Del mismo modo, ahora por ngulos opuestos en M, son similares los tringulos MP
A
A y MP
C
C, y
anlogamente los tringulos NP
A
A y NP
B
B. Entonces
MC
MA
=
P
C
C
P
A
A
,
NA
NB
=
P
A
A
P
B
B
.
Multiplicando las igualdades, obtenemos el resultado.
Tal vez ms interesantes y tiles son las recprocas de los teoremas de Ceva y Menelao: si cierta
igualdad se satisface entonces hay rectas concurrentes o puntos alineados.
Por ejemplo, usamos los recprocos en los problemas 5.12 (medianas) y 5.13 (bisectrices).
Dado que en ambos teoremas se tiene la misma igualdad, es necesario agregar otras hiptesis.
5.1. Teoremas de Ceva y Menelao Pg. 29
A
M
B
L
C
N
Figura 5.6: las rectas AL, BM y CN son paralelas en Ceva.
En realidad, las recprocas no son ciertas en nuestro contexto. Consideremos por ejemplo la gura 5.6,
donde MBCN es un rectngulo, A es la interseccin de las diagonales MC y BN, y L es el punto medio
de BC. Entonces
BL = LC, CM = BN, y AM = AN,
por lo que vale la ecuacin (5.1) (o la (5.2)). Sin embargo, ni las rectas AL, BM, CN son concurrentes,
ni los puntos L, M y N son colineales.
En este caso las rectas AL, BM y CN son paralelas y se cortan en el innito. Para considerar las
recprocas, deberamos incluir de alguna manera estos puntos en el innito, tema estudiado en la
geometra proyectiva. En esa geometra, existe el concepto de dualidad y los teoremas de Ceva y
Menelao son duales, intercambiando rectas con puntos y concurrencia con colinealidad. Ms an, uno
se puede obtener del otro, incluso sin apelar a la geometra proyectiva.
5.8. Teorema (recproco de los de Ceva y Menelao). Sea A, B, C un tringulo, y consideremos tres
puntos L, M y N sobre las rectas BC, AC y AB (respectivamente) tales que
BL
LC
CM
MA
AN
NB
= 1, (5.3)
y ninguno de los numeradores o denominadores en (5.3) se anula.
Entonces:
i) Si exactamente uno o tres de los puntos L, M y N estn en los lados del tringulo, las rectas AL, BM
y CN son concurrentes o son paralelas.
ii) Si ninguno o exactamente dos de los puntos L, M y N estn en los lados del tringulo, los puntos
estn alineados.
Recordar que estamos suponiendo que ninguno de los puntos L, M y N coincide con los vrtices.
Muchos autores (e. g., Coxeter y Greitzer (1993)) enuncian los teoremas de Ceva y Menelao incluyendo
sus recprocos.
Tanto Coxeter y Greitzer (1993) como Shively (1966) presentan demostraciones incompletas de las
recprocas, al no justicar que ciertas rectas se intersecan. Por ejemplo, no consideran la conguracin
de la gura 5.6, lo que parece ser bastante comn en la bibliografa.
Seguiremos el ejemplo de ellos, ya que la presentacin se simplica bastante si suponemos que
todas las rectas se cortan y en los lugares correctos.
k Como ya mencionamos, vamos a considerar aqu slo el caso tpico (dejando los otros casos para los
interesados) en el que la recta MN corta a la recta AC en Q, las rectas BM y CN se cortan en R, y la
recta AR corta a la recta BC en S.
Usando 5.7 con los puntos alineados M, N y Q, y 5.4 para las rectas BM, CN y AS que son
concurrentes en R, obtenemos
BQ
QC
CM
MA
AN
NB
=
BS
QS
CM
MA
AN
NB
= 1,
que combinados con (5.3) dan
BQ
QC
=
BS
SC
=
BL
LC
.
Por 5.3 y 5.6 exactamente uno de Q y S est en el segmento BC, y no pueden ser iguales. Debe ser
L =Q (y L, M y N estn alineados) o L = S (y las rectas AL, BM y CN se intersecan en R).
La mayora de las veces en la prctica se usa el siguiente resultado:
5.9. Corolario. Con las notaciones de teorema 5.8, si se satisface la ecuacin (5.3) y los puntos L, M y N
no estn alineados, entonces las rectas AL, BM y CN son concurrentes o paralelas.
Problema 5.10. Con las notaciones de 5.4, supongamos que las rectas AL, BM y CN son paralelas.
Entonces slo una de esas rectas corta al lado correspondiente (BC, AC o AB respectivamente) y sigue
valiendo la ecuacin (5.1).
El problema muestra que el enunciado del teorema de Ceva que dimos no es una caracterizacin
completa, lo que luego se reeja en el recproco (teorema 5.8).
Problema 5.11. Completar las demostraciones de 5.4 y 5.7 para las otras conguraciones.
En los problemas 5.12 a 5.14, usar las ideas de los teoremas de Ceva y Menelao o sus recprocos
(recordando el corolario 5.9), an cuando hayamos visto estos resultados con otras demostraciones.
Problema 5.12.
a) Las medianas de un tringulo se encuentran en un punto.
b) Las medianas de un tringulo lo dividen en seis tringulos de igual rea.
c) Usando el inciso anterior, ver que las medianas de un tringulo se dividen una a otra en razn
2 : 1.
d) Si L, M y N son los puntos medios de los lados BC, AC y AB (respectivamente), las medianas
del tringulo LMN estn contenidas en las medianas del tringulo ABC.
Problema 5.13. Usando que si AM es bisectriz del ngulo A en el tringulo ABC (con M BC),
entonces AB/BM = AC/CM, y de modo similar para las otras bisectrices, demostrar que las bisectrices
se cortan en un punto.
Problema 5.14. Sean L, M y N los pies de las alturas correspondientes a A, B y C (respectivamente)
en el tringulo ABC.
a) Los tringulos AMB y ANC son semejantes, y por lo tanto AM/AN = AB/AC.
b) Usando el inciso anterior (para todos los vrtices) y el recproco del teorema de Ceva, demostrar
que las rectas que contienen a las alturas se cortan en un punto.
Problema 5.15. Sean L, M y N los puntos medios de los lados AB, BC y AC (respectivamente) del
tringulo ABC. Entonces:
a) Las mediatrices del tringulo ABC son alturas del tringulo LMN.
b) Las mediatrices del tringulo ABC se cortan en un punto.
5.2. Otros resultados clsicos
Ac mencionamos algunos resultados clsicos relacionados con los teoremas y problemas anteriores
(ver por ejemplo Coxeter y Greitzer (1993)).
5.16. Lema. El ortocentro y el circuncentro de un tringulo coinciden si y slo si el tringulo es equiltero.
k Llamemos ABC al tringulo, y sea D el pie de la altura en A.
Supongamos que el ortocentro y el circuncentro coinciden. Siendo la recta AD paralela a la mediatriz
de BC, D debe ser el punto medio de BC y AB = AC (pues los tringulos ADB y ADC son iguales por
LAL: rectngulos en D, BD = DC y AD comn). Tomando B en vez de A, podemos ver del mismo modo
que BC = BA, y entonces AB = AC = BC.
Si el tringulo es equiltero, en particular es issceles con AB = AC y entonces la mediatriz de BC
pasa por A y contiene a la altura AD. Repitiendo para B, vemos que la altura en B est contenida en la
mediatriz de AC, y por lo tanto las intersecciones de alturas y mediatrices coinciden.
5.17. Teorema (recta de Euler). Sean H el ortocentro, G el baricentro y O el circuncentro de un tringulo.
Entonces HG = 2GO y si el tringulo no es equiltero H G O.
Cuando el tringulo no es equiltero, la recta que contiene H, G y O se llama de Euler.
k Supongamos que A
, B
y C
son los puntos medios de los lados BC, AC y AB (respectivamente) del

tringulo ABC (ver gura 5.7).
Los tringulos ABC y A
son semejantes con razn de semejanza 2 (e. g., AB = 2A
). Ms an,
las medianas del tringulo A
estn contenidas en las del ABC (problema 5.12), de modo que estos
tringulos comparten el baricentro (G).
Podemos transformar el tringulo ABC en el A
haciendo primero una simetra central con

centro G y luego una homotecia de razn 1/2. Por el problema 5.15, el ortocentro H de ABC se
transforma en el ortocentro del tringulo A
que es O. Entonces H G O y GH = 2GO.

5.2. Otros resultados clsicos Pg. 31
A
B C A
G
H O
Figura 5.7: la recta de Euler contiene al segmento HO.
A
B C A
H
D
E
F
O
N
G
Figura 5.8: circunferencia de los nueve puntos (marcada en azul).
5.18. Teorema (circunferencia de los nueve puntos). Sea ABC un tringulo, y supongamos que A
, B
y C
son los puntos medios de los lados BC, AC y AB (respectivamente), y que D, E y F son los pies de las
alturas correspondientes a los puntos A, B y C respectivamente.
Entonces:
i) El circuncentro del tringulo A
es el punto medio del segmento HO.

ii) La circunferencia circunscripta al tringulo A
tambin circunsribe al tringulo DEF, y tiene

radio la mitad de la circunferencia circunscripta al tringulo ABC.
J. V. Poncelet (17881867) la llam circunferencia de los nueve puntos pues tambin pasa por los puntos
medios determinados por los vrtices y el ortocentro H.
k Nos orientamos con la gura 5.8.
Usando la transformacin de semejanza del teorema 5.17, vemos que el punto O (circuncentro
del tringulo ABC) se transforma en el punto N (circuncentro del tringulo A
), resultando
N G O y GO = 2NG. Puesto que H G O y HG = 2GO (por 5.17), tenemos NO = (3/2)GO y
HN = HG NG = 2OG 1/2OG = (3/2) GO, i. e., NO = HN.
Adems, la circunferencia circunscripta al tringulo ABC, de radio r, por la semejanza se transforma
en una circunferencia de radio r/2.
Finalmente, siendo N el punto medio de HO, su proyeccin sobre la recta BC es punto medio de
DA
, y por lo tanto DN = A
N. De modo similar, EN = B
N y FN = C
N (= r/2).
5.19. Teorema (recta de Simson). Los pies de las perpendiculares desde un punto a los lados de un
tringulo estn alineados si y slo si el punto est situado en la circunferencia circunscripta.
Aunque es un teorema sobre colinealidad, no se usa el teorema de Menelao.
Poncelet en Trait des proprits projectives des gures de 1822 atribuye el resultado a R. Simson
(16871768), aunque los historiadores sostienen que se debe a W. Wallace (17681843), quien lo
public en 1799.
k Sea P un punto cualquiera (que puede no estar en la circunferencia circunscripta), y llamemos L, M y
N a las proyecciones sobre BC, AC y AB respectivamente (ver gura 5.9).
Como PMA =PNA = 90
, los puntos A, P, M y N estn en una circunferencia de dimetro PA,

y de modo similar para B, P, L y N con la circunferencia de dimetro PB, y para C, P, L y M con la
circunferencia de dimetro PC.
La idea de la demostracin es usar igualdades entre ngulos inscriptos, aunque exactamente qu
ngulos y qu igualdades dependen de la posicin relativa de los puntos (A, B, C y P). Ac seguimos
A B
C
P
L
M
N
Figura 5.9: recta de Simson.
la conguracin en la gura 5.9 cuando P est en la circunferencia circunscripta.
Si P est en la circunferencia circunscripta, tenemos sucesivamente:
PLN = 180
PBN usando la circunferencia de dimetro PB,

PBN = 180
PCA usando la circunferencia circunscripta, (5.4)

PCA = 180
PCM pues A C M,
PCM = PLM usando la circunferencia de dimetro PC.
Juntando estas igualdades obtenemos PLN +PLM = 180
, i. e., M L N.
Para la recproca (y otra vez dependiendo de las posiciones de A, B, C y P), revertimos los pasos
llegando a la igualdad (5.4), de donde podemos deducir que P est en la circunferencia circunscripta
del tringulo ABC.
5.3. Potencia de punto respecto de circunferencia
5.20. Teorema. Consideremos una circunferencia c de centro O y radio r, un punto P y una recta que
pasa por P y corta a c en Q y R (que podran coincidir si es tangente a c). Entonces
PQ PR = |PO
2
r
2
|. (5.5)
k Si P c, alguna de las intersecciones coincide con P y PQ PR = 0, y si P = O, PQ PR = r
2
.
Si P = O, sean A y A
las intersecciones de la recta PO con c. Entonces PA PA
= r
2
PO
2
si P es
interior y PA PA
= PO
2
r
2
si P es exterior, estableciendo (5.5) si = PO.
Supongamos ahora = PO.
Si P es interior, ARQ = AA
Q (por ngulos inscriptos), de modo que ARP = PA
Q. Como
adems APR = QPA
(por opuestos por el vrtice), los tringulos APR y QPA
son semejantes, y
PA/PQ = PR/PA
.
Si P es exterior a c, supongamos que A
A P y R Q P (en todo caso cambiando los nombres). Si

no es tangente, nuevamente los tringulos APR y QPA
son semejantes (pues AA
Q = ARQ son
inscriptos y APR =A
PQ es comn) de modo que PA/PQ = PR/PA
. Si es tangente a c, Q = R y
PQ
2
= PO
2
r
2
por Pitgoras.
5.21. Denicin. Con las notaciones del teorema 5.20, la potencia de P respecto de c es la cantidad en
la ecuacin (5.5).
La potencia depende de P y c pero no de , y puede calcularse como |PO
2
r
2
|. p
Problema 5.22. Dada una circunferencia c y un nmero d > 0, describir:
a) El lugar geomtrico de los puntos P tales que la longitud de la(s) tangente(s) a c es d.
b) El lugar geomtrico de los puntos P en el crculo, tales que su potencia respecto de c es d.
Problema 5.23. Dados la recta y los puntos A y B, construir una circunferencia que pase por A y B y
tal que sea tangente a ella. Cuntas soluciones hay?
Problema 5.24. A un lado de una carretera recta, formando un ngulo con ella, est situado un cartel.
En qu punto de la carretera habr que ubicarse para ver el cartel al mayor ngulo posible?
Problema 5.25. Dados los puntos A y B, A = B, y el nmero d, el conjunto de puntos M tales que
AM
2
BM
2
= d es una recta perpendicular a la recta AB.
5.4. La circunferencia de Apolonio Pg. 33
Problema 5.26. Sean c y c
dos circunferencias no concntricas (no tienen el mismo centro).

a) Encontrar el conjunto de puntos para los cuales las tangentes trazadas a las circunferencias
tienen igual longitud. Sugerencia: est contenido en una recta.
La recta se llama eje radical de las dos circunferencias.
b) Construir con regla y comps el eje radical de c y c
.
c) Ver que es posible elegir los ejes coordenados de modo que los centros tengan coordenadas (a, 0)
y (a
, 0), con a < 0 < a
, y las ecuaciones correspondientes de las circunferencias sean

x
2
+ y
2
2ax +c = 0 y x
2
+ y
2
2a
x +c = 0.
d) Si los centros de tres circunferencias forman un tringulo, hay un punto cuya potencia respecto
de las tres circunferencias es la misma.
Este punto se llama centro radical de las circunferencias.
5.4. La circunferencia de Apolonio
5.27. Teorema. Si la cruz de bisectrices de AC y BC corta a la recta AB en E y F, entonces
AE
BE
=
AF
BF
=
AC
BC
.
Recprocamente, si E est en la recta AB y AE/BE = AC/BC, entonces E est en la cruz de bisectrices
del ngulo ACB.
La perpendicularidad entre las rectas que forman la cruz de bisectrices sugiere que hay una
circunferencia involucrada, que con las notaciones del teorema anterior tiene dimetro EF y pasa
por C: la proporcin entre las distancias de cada punto en esta circunferencia a los puntos A y B es
constante. Pero primero estudiamos la condicin entre los puntos alineados A, B, E y F.
5.28. Lema. Sean A y B dos puntos distintos, y k > 0, y consideremos la ecuacin
AM
BM
= k, (5.6)
con M en la recta AB.
a) Si k = 1 la ecuacin tiene exactamente una solucin, el punto medio de AB.
b) Si k = 1, la ecuacin tiene exactamente dos soluciones, M
1
y M
2
, donde A M
1
B y M
2
deja a A y
B a un mismo lado. En este caso, si C es el punto medio de M
1
M
2
, poniendo
r =
k
|k
2
1|
AB,
resulta
AC BC = r
2
,
y C deja de un mismo lado a A y B.
k Como trabajamos en una recta, podemos hacer una correspondencia entre los puntos de esta recta y
una recta real, donde el origen es 0 (cero) y los puntos A y B se corresponden con los puntos t y t
(t > 0). La ecuacin (5.6) se transforma en
|x + t| = k |x t|.
Cuando k = 1 (y t = 0) tenemos la nica solucin x = 0, y cuando k = 1 las soluciones
x
1
=
k 1
k +1
t y x
2
=
k +1
k 1
t.
x
1
queda entre t y t, mientras que x
2
resulta o bien mayor que t (si k > 1) o bien menor que t (si
k < 1). Tambin (siempre con k = 1), si c es el punto medio de x
1
y x
2
, resulta
c =
x
1
+ x
2
2
=
k
2
+1
k
2
1
t,
|x
1
c| = |x
2
c| =
2k
|k
2
1|
t, (5.7)
|c + t| |c t| =
4k
2
(k
2
1)
2
t
2
.
Volviendo al enunciado, M es el punto medio de AB cuando k = 1. En otro caso tendremos M
1
(correspondiente a x
1
) entre A y B, M
2
(correspondiente a x
2
) y C (correspondiente a c) dejan a un
mismo lado a A y B (estando ambos ms cerca de A que de B si k < 1). Los restantes resultados se
siguen de las ecuaciones (5.7).
5.29. Teorema. Dado k > 0, el lugar geomtrico de los puntos M tales que
AM
BM
= k,
es una circunferencia si k = 1 y la mediatriz del segmento AB si k = 1.
Ms an, cuando k = 1, si C es el centro de la circunferencia y r su radio, entonces:
a) C est en la recta AB, dejando a A y B de un mismo lado,
b) El dimetro de la circunferencia sobre la recta AB es de la forma M
1
M
2
, donde M
1
est entre A y B,
y M
2
deja de un mismo lado a A, B y C.
c) AC BC = r
2
.
k Consideramos slo el caso k = 1, y damos dos versiones: una algebraica (y ms formal) y otra
geomtrica (y no tan formal).
Versin algebraica. La condicin k = AM/BM puede escribirse como AM
2
= k
2
BM
2
. Tomando
coordenadas de modo que la recta AB sea el eje x y el origen el punto medio del segmento AB,
podemos poner (imitando lo hecho en 5.28) A = (t, 0) y B = (t, 0), donde t > 0. Poniendo
M = (x, y), la condicin AM
2
= k
2
BM
2
es equivalente a
(x + t)
2
+ y
2
= k
2
_
(x t)
2
+ y
2
_
. (5.8)
Si M est en la recta AB ser y = 0, y el estudio de la ecuacin (5.8) se reduce al ya hecho en 5.28,
donde cuando k = 1 vimos la existencia de M
1
y M
2
, las propiedades de su punto medio C, y la
distancia r = CM
1
= CM
2
.
Si k = 1, la ecuacin (5.8) es de la forma x
2
+ y
2
+ x + = 0. Completando cuadrados se llega a
algo de la forma (x )
2
+ y
2
= que es la ecuacin de una circunferencia, un punto o el vaco. Sin
embargo, como con y = 0 hay dos soluciones (los ya mencionados M
1
y M
2
), la ecuacin (5.8) es la
ecuacin de una circunferencia de centro C (el punto medio de M
1
M
2
) y radio r (determinado por la
condicin AC BC = r
2
).
Versin geomtrica. Supongamos que P es un punto tal que AP = k BP, donde P no est en la recta
AB (i. e., P = M
1
, M
2
). Sea c la circunferencia que inscribe al tringulo ABP, y consideremos D la
interseccin de la tangente a c por P y la recta AB. D deja a un mismo lado a A y B (pues est en
la tangente a c por P), y supongamos A B D como en la gura 5.10.
(1)
En c, el ngulo BPD es
semi"=inscripto y el ngulo ABP es inscripto, y son iguales. De modo que los tringulos PAD y BPD
son semejantes pues tambin comparten el ngulo en D, y debe ser
PA
BP
=
PD
BD
=
AD
PD
= k. (5.9)
Por un lado tenemos
k
2
=
PD
BD

AD
PD
=
AD
BD
,
que, como D deja a un lado a A y B, el mismo punto D se obtiene para cualquier valor de P. D estar
ms cerca de A que de B si k < 1, y ms cerca de B que de A si k > 1.
Usando la ecuacin (5.9) nuevamente (o por potencia), obtenemos
DP
2
= AD BD,
es decir, DP es independiente de P y P est en una circunferencia de centro D y radio

AD BD.
Obtenemos de esta forma (salvo cuando P es M
1
o M
2
) condiciones equivalentes a las ya encontradas.
5.30. Denicin. Dados los puntos A y B y el nmero k > 0, el conjunto {M : AM = k BM} se llama
circunferencia de Apolonio respecto de los puntos A y B y coeciente k. p
Debe quedar claro que la circunferencia es la recta mediatriz cuando k = 1.
El orden de los puntos es importante. Si se cambia el orden debe cambiarse k por 1/k:
{M : AM = k BM} =
_
M : BM =
1
k
AM
_
.
(1)
Si B A D en vez de A B D, intercambiamos A y B y cambiamos k a 1/k.
5.4. La circunferencia de Apolonio Pg. 35
A B
M
2
M
1
P
D
c
Figura 5.10: demostracin geomtrica del teorema 5.29.
5.31. Corolario. Si M est en la circunferencia de Apolonio respecto de A y B que tiene dimetro M
1
M
2
en la recta AB, y M = M
1
, M
2
, entonces las rectas MM
1
y MM
2
forman la cruz de bisectrices del ngulo
AMB.
Cuando la circunferencia de Apolonio es la mediatriz de AB, entonces si M
0
es el punto medio de AB
tambin tendremos AMM
0
= BMM
0
para M = M
0
.
k Sea k el coeciente de la circunferencia de Apolonio, y supongamos que la bisectriz del ngulo AMB
corta a la recta AB en M
. Por 5.27,
k =
AM
BM
=
AM
BM
.
Por lo tanto M
est en la circunferencia de Apolonio, y como A M
B debe ser M
= M
1
o M
= M
2
,
y siendo M
1
M
2
dimetro tambin MM
1
MM
2
.
5.32. Corolario. Sean A, B, M
1
y M
2
como en 5.29. Entonces AB es el dimetro de una circunferencia de
Apolonio respecto de M
1
y M
2
.
k La relacin
AM
1
BM
1
=
AM
2
BM
2
(= k),
puede ponerse como
M
1
A
M
2
A
=
M
1
B
M
2
B
(la fraccin no es necesariamente k).
5.33. Denicin. Dos circunferencias c y c
son ortogonales, en smbolos c c
, si se intersecan y en
los puntos de interseccin las respectivas tangentes son perpendiculares. p
5.34. Lema. Si c y c
son circunferencias ortogonales de centros O y O
respectivamente, entonces:
a) c y c
se cortan exactamente en dos puntos.

b) O es exterior a c
(y O
es exterior a c).
k Si se cortaran en un nico punto, las tangentes correspondientes coincidiran y no seran perpendicula-
res.
Si T c c
, como O est en la tangente a c
por T, debe ser O exterior a c
(pues O = T).
5.35. Corolario. Con las notaciones anteriores, las circunferencias de Apolonio con dimetros AB y M
1
M
2
son ortogonales.
k Sean c y c
las circunferencias (AB dimetro de c y M

1
M
2
dimetro de c
), con centros O y O
, y
sea P un punto en la interseccin. Referindonos a la interpretacin geomtrica en la nota de la
demostracin de 5.29, vemos que OP O
P.
Los resultados anteriores inducen dos deniciones que resultan ser importantes. En primer lugar, la
relacin entre los puntos A, B, M
1
y M
2
en 5.28 (y 5.29) sugiere la siguiente denicin:
5.36. Denicin. Se dice que los puntos alineados A, B, C y D forman una hilera armnica o directa-
mente que son puntos armnicos, si
AC
AD
=
BC
BD
. p
Observar que el orden en que se dan los puntos es importante, y que los puntos deben estar alineados.
En segundo lugar, la relacin del teorema 5.29.c) entre el radio de una circunferencia y el producto
de las distancias desde dos puntos al centro sugiere esta otra denicin:
5.37. Denicin. Dada una circunferencia c de centro O y radio r, se dice que los puntos A y B son
inversos el uno del otro si estn en una misma semirrecta de origen O y
AOBO = r
2
.
c es la circunferencia de inversin. p
Necesariamente debe ser O = A, B. El inverso de O (respecto de c) no est denido. Sin embargo,
puede ser A = B.
Se determina una transformacin denida sobre todo el plano exceptuado O que es biyectiva e
involutiva.
Representando los puntos del plano con nmeros complejos, la inversin respecto de la circunferencia
de centro O = 0 y radio r = 1, corresponde a la transformacin z (z)
1
, donde z es el conjugado de
z.
La circunferencia de Apolonio, circunferencias ortogonales, inversin e hileras armnicas, son
conceptos ntimamente relacionados y prcticamente equivalentes: el teorema 5.29 relaciona el dimetro
de una circunferencia de Apolonio con puntos inversos, el corolario 5.32 relaciona una circunferencia
de Apolonio con otra, el corolario 5.35 dice que estas circunferencias de Apolonio son ortogonales,
y por la misma denicin de circunferencias de Apolonio, la recta que pasa por los centros de estas
circunferencias las corta formando una hilera armnica, y recprocamente una hilera armnica determina
los dimetros de dos circunferencias de Apolonio (respecto de distintos puntos) que sern ortogonales
entre s.
Ms adelante veremos otras relaciones entre estos conceptos. Por ejemplo, el teorema 5.46 relaciona
circunferencias ortogonales con puntos inversos, el teorema 5.53 relaciona puntos inversos con hileras
armnicas, y el corolario 5.54 completa el crculo, relacionando hileras armnicas con circunferencias
ortogonales.
Problema 5.38. Dados los puntos A y B, y el punto C sobre la recta AB, construir la circunferencia de
Apolonio respecto de A y B que pasa por C.
Problema 5.39. Supongamos que tenemos una mesa de billar circular de centro O y circunferencia
c, y los puntos A y B en un dimetro de c (ambos distintos del origen e interiores a la circunferencia).
Consideremos un punto T c que no est en la recta AB. Una bola inicialmente en A es impulsada de
modo de rebotar en T y pasar por B.
a) Construir B dados A y T. Siempre se encuentra un B vlido?
b) Construir T dados A y B. Cuntas soluciones hay?, siempre existe T (para A y B cualesquie-
ra)?
Problema 5.40. Sean A, B, C y D puntos alineados, A B C y B C D. Construir un punto M tal que
los segmentos AB, BC y CD se vean bajo un mismo ngulo desde M.
5.5. Inversin y circunferencias ortogonales
Salvo indicacin contraria, en esta seccin indicamos por c la circunferencia de inversin, por O su
centro y por r su radio.
5.41. Lema. Si P
es el inverso de P respecto de c, entonces:

a) P es interior a c si y slo si P
es exterior a c.
b) P = P
si y slo si P c.
c) Si O = (0, 0) y P = (x, y),
OP
=
r
2
_
x
2
+ y
2
, P
=
r
2
x
2
+ y
2
P,
y en particular, si P
= (x
, y
),
x
=
r
2
x
x
2
+ y
2
, y
=
r
2
y
x
2
+ y
2
, x
2
+ y
2
=
r
4
x
2
+ y
2
.
5.5. Inversin y circunferencias ortogonales Pg. 37
k Las dos primeras armaciones se deducen de la relacin OP OP
= r
2
. Por ejemplo, OP < r
OP
> r.
Para la ltima armacin, basta observar que el punto P
est en la semirrecta OP y es un mltiplo

positivo, digamos , de P, i. e., P = P. De OP OP
= r
2
y OP
= OP sigue r
2
= OP OP
=
OP
2
= (x
2
+ y
2
) de donde = r
2
/(x
2
+ y
2
).
5.42. Teorema. Si A y A
son dos puntos distintos en una semirrecta de origen O tales que A y A
son
inversos entre s respecto de la circunferencia c, entonces c es una circunferencia de Apolonio respecto de A y
A
y coeciente
_
OA/OA
.
Es el recproco del teorema 5.29.c).
k Supongamos que OA
> OA, i. e., OA < r < OA
(el caso OA > OA
se obtiene intercambiando A con A
).
Sea BC el dimetro de c determinado por la recta AA
, con C en la semirrecta OA y B en la opuesta.

De r
2
= OAOA
y r > OA, podemos poner:

r
OA
=
OA
r
=
r OA
OA
r
=
r +OA
OA
+ r
= ,
para algn >0, y tambin de la misma relacin queda
2
= OA/OA
. (5.10)
Puesto que OC = r y O, A, C y A
estn en una recta en ese orden,

AC
A
C
=
OC OA
OA
OC
=
r OA
OA
r
= .
Del mismo modo,
AB
A
B
=
r +OA
OA
+ r
. = .
El resultado se deduce ahora de 5.32, siendo =
_
OA/OA
el coeciente de la circunferencia de
Apolonio (usando (5.10)).
Al invertir respecto de una circunferencia todos los puntos de una gura, obtenemos una nueva
gura, en general no muy parecida a la original. Casos particularmente importantes son la inversin de
rectas y circunferencias.
5.43. Teorema. Sea una recta y F su imagen por una inversin respecto de la circunferencia c. Entonces:
a) Si O (y por lo tanto no se puede invertir completamente), F = \ {O}.
b) Si O / , F = c
\ {O}, donde c
es una circunferencia que pasa por O, y tal que la tangente a c
por
O es paralela a .
k Para a), si P , P = O, y P
es su inverso, entonces P y P
estn en la misma semirrecta de origen

O, contenida en , i. e., P
. Como la inversin es involutiva, el inverso P de P
est en
(P
, P = O).
Para b), consideremos la recta
paralela a por O. Guindonos con la gura 5.11, consideramos

R , la interseccin de con la perpendicular a por O, y R
el inverso de R. Veamos que la

circunferencia de dimetro OR
(salvo O) es la imagen de por la inversin.

Si P consideramos la recta OP y la perpendicular a ella por R
que la corta en Q (Q, R, R
y P
estn en el mismo semiplano de
). Los tringulos OPR y OQR
son semejantes pues son rectngulos

(en R y Q) y comparten O. Entonces
OP
OR
=
OR
OQ
,
de donde OP OQ = OROR
= r
2
. Como Q est en la semirrecta OP, resulta Q el inverso de P. Que
todo punto Q de c, excepto O, es inverso de algn P se deduce de la misma forma: dado Q se construye
la recta OQ que corta a en P, OQR
= 90
(por ngulo inscripto en c), y se usa la semejanza de los

tringulos.
Podemos pensar que la gura 5.11 muestra cmo proyectar una circunferencia sobre una recta, y
podramos extender estas ideas a cualquier dimensin. No es casualidad que los temas que vemos en
este apunte estn ntimamente relacionados con la geometra proyectiva.
5.44. Teorema. Sea c
una circunferencia y F su imagen por una inversin respecto de la circunferencia c.

Entonces:
O
R
R
P
Q
c
Figura 5.11: inversin de recta.

a) Si O c
(y por lo tanto c
no puede invertirse completamente), F = \ {O}, donde es una recta

paralela a la tangente a c
por O. Adems, O / .
b) Si O / c
, F = c
, donde c
es una circunferencia que no contiene a O. Ms an, c
y c
son
homotticas.
k El primer inciso es 5.43.b) (gura 5.11).
Veamos dos variantes para el segundo, una algebraica usando coordenadas y otra ms geomtrica.
Versin algebraica. Si O = (0, 0), y c
tiene centro (a, b) y radio k, la ecuacin de la circunferencia c
es
(x a)
2
+ ( y b)
2
= k
2
,
que puede expresarse como
x
2
+ y
2
2ax 2by +d = 0,
donde d = a
2
+ b
2
k
2
. Multiplicando la ltima ecuacin por r
4
/(x
2
+ y
2
), obtenemos
r
4
2ar
2
r
2
x
x
2
+ y
2
2br
2
r
2
y
x
2
+ y
2
+d
r
4
x
2
+ y
2
= 0.
Usando 5.41.c), si (x
, y
) son las coordenadas del inverso de un punto (x, y) c,

r
4
2ar
2
x
2br
2
y
+d (x
2
+ y
2
) = 0.
Como d = 0 (pues O / c), dividiendo por d obtenemos la ecuacin que satisfacen los puntos inversos
de los puntos en c:
x
2
+ y
2
2
ar
2
d
x
2
br
2
d
y
+
r
4
d
= 0,
que es la ecuacin de una circunferencia de centro
(a
, b
) =
r
2
d
(a, b),
y radio r
tal que
r
2
= a
2
+ b
r
4
d
=
r
4
d
2
(a
2
+ b
2
)
r
4
d
=
r
4
d
2
(d +k
2
)
r
4
d
=
r
4
k
2
d
2
,
i. e., r
= (r
2
/d) k. En resumen, la inversin de c
es una circunferencia homottica con centro O y

coeciente r
2
/d.
Versin geomtrica. Supongamos que la circunferencia a invertir es c
, con centro O
y radio r
.
Surgen distintos casos, pero ac miramos el caso en que O = O
y la recta OO
corta en el dimetro AB
a c
, con O A B, como en la gura 5.12.

Denotando por A
y B
los inversos de A y B (y entonces O B
), tomamos M el punto medio

de A
. Hacemos una homotecia de centro O y coeciente = OM/OO
. Mediante esta homotecia,

A B
, B A
y c
se transforma en una circunferencia c
, de radio r
= r
. En particular,
OB
= OA, r
2
= OA
OA, OA
OB
= OA
OA = r
2
. (5.11)
Queremos ver que la inversin de c
es c
.
Si P c, P = A, B, trazamos la recta OP que corta a la circunferencia c
en Q y R, donde digamos
R es el homottico de P, es decir,
OR = OP.
5.5. Inversin y circunferencias ortogonales Pg. 39
O O
A B A
P
M
Q
R
c
c
Figura 5.12: inversin de circunferencia.

Veamos que Q es el inverso de P. En efecto,
OQOP = OQ
OR
por homotecia,
=
OB
OA
por potencia respecto de c
,
= r
2
por (5.11).
Observamos que cuando OP es tangente a c
, tambin es tangente a c
y Q = R, pero el argumento
sigue siendo vlido.
Aunque el centro de c
est en la semirrecta de origen O que pasa por el centro de c
, el centro de c
no se invierte en el centro de c
: con las notaciones anteriores, el inverso del centro tiene coordenadas

r
2
a
2
+ b
2
(a, b),
(suponiendo (a, b) = (0, 0)) y para que coincida con el centro de c
tendra que ser

d = a
2
+ b
2
,
pero d = a
2
+ b
2
k
2
y k = 0 (pues es el radio de c
).
5.45. Corolario. La inversin es una transformacin conforme, i. e., preserva ngulos.
En los cursos de funciones de variable compleja se estudian funciones conformes sobre los complejos.
Ac estamos diciendo esencialmente que para z , z = 0, la transformacin z (z)
1
es conforme.
k Sean y

dos rectas que se cortan en P formando ngulos de y su suplementario, , con 0
< <
180
.
Supongamos que las rectas no pasan por el centro O de la circunferencia c de inversin. Entonces
y

se transforman en dos circunferencias, c
y c, a las que se les ha quitado O, y tanto c
como c pasan
por O. Ms an, sus tangentes en O son paralelas a y

y por lo tanto forman los mismos ngulos
y . Como =

, c
= c, estas circunferencias no son tangentes (en O), sus respectivos centros son
distintos, y se cortan en otro punto, digamos Q, que es el inverso de P. Los ngulos que forman las
tangentes a c
y c en Q tambin coinciden con y pues la gura formada por c
y c es simtrica
respecto de las rectas que pasa por sus centros.
Si alguna de y

pasan por O, entonces tendremos que considerar el ngulo formado por una recta
y una circunferencia, pero es similar al anterior.
El caso en que tanto como

pasan por O (y =

) puede considerarse como un caso lmite,
aunque el ngulo formado por sus inversas no est denido (pues no contienen a O).
5.46. Teorema. Sean c y c
dos circunferencias de centros O y O
. Supongamos que P y Q son las

intersecciones de una recta por O con la circunferencia c
. Entonces P y Q son inversos entre s respecto de c

si y slo si c c
.
Cuando P =Q y la recta OP es tangente a c
, el resultado se reduce a decir que P es su propio inverso

(respecto de c y por lo tanto P c) si y slo si c c
.
k Si Q es el inverso de P respecto de c, P y Q estn en una misma semirrecta de origen O, O es
exterior a c
y puede trazarse una recta OT tangente a c
con T c
. Entonces (por potencia) tenemos

OT
2
= OP OQ = r
2
, y por lo tanto OT = r y T c. Entonces T c c
y OT O
T, i. e., c y c
son
ortogonales.
Recprocamente, si c c
, hay dos puntos en c c
. Si T es uno de estos puntos, debe ser OT O
T,
OT tangente a c
(en T), y O exterior a c
. Nuevamente por potencias, OP OQ = OT

2
= r
2
, y P y
Q son inversos entre s respecto de c (P y Q estn en una misma semirrecta de origen O pues O es
exterior a c
).
5.47. Corolario. Si c y c
son dos circunferencias distintas, entonces c c
si y slo si la inversa de c
respecto de c coincide con c
.
Es claro que la inversa de c es c pero c c.
k Supongamos que c c
, P c
, y Q es el inverso de P respecto de c. Queremos ver que Q c
. Pero
si R es el otro punto en la interseccin de la recta OP con c
, R es el inverso de P (por 5.46, an si

R = P). Por lo tanto Q = R c
.
Recprocamente, supongamos que c
es su propia inversa respecto de c. Tomemos una recta que

pase por O y corte a c
en dos puntos distintos, digamos P y Q. Si P es inverso de s mismo (respecto

de c), Q tambin debe ser inverso de s mismo y P y Q en c. Si esto pasa para ms de una recta que
pasa por O, tendremos tres o ms puntos en c c
y debe ser c = c
. Como suponemos c = c
, podemos
encontrar una recta por O que corte a c
en dos puntos distintos, uno inverso del otro y usar 5.46 para
obtener c c
.
Problema 5.48. Completar la demostracin geomtrica del teorema 5.44 para los casos a) O = O
y b)
O = O
y A O B.
Problema 5.49. Por qu en la demostracin de 5.47 no se puede considerar T c
tal que OT es
tangente a c
como se hace en 5.46?

Problema 5.50. Sean c una circunferencia, y P / c. Construir una circunferencia c
de centro P tal que

al realizar la inversin respecto de c
, c queda invariante. Y si P es el centro de c?

Problema 5.51. Dadas las circunferencias c
1
y c
2
, y el punto P no en ellas, construir una circunferencia
que pase por P y sea tangente a c
1
y c
2
.
Sugerencia: usar el problema anterior.
5.6. Hileras armnicas
5.52. Lema. Si A, B y C son tres puntos distintos, entonces si C no es el punto medio de AB, existe un
nico D tal que A, B, C, D es una hilera armnica.
En consecuencia, si A, B, C, P y A, B, C, Q son hileras armnicas, entonces P =Q.
k La ecuacin (5.6) del lema 5.28 tiene dos soluciones, una de las cuales es M = C y la otra es el punto
D buscado.
5.53. Teorema. Si c es una circunferencia y P y Q son puntos distintos tales que la recta PQ corta a c en
el dimetro AB, entonces los puntos A, B, P, Q forman una hilera armnica si y slo si P y Q son inversos
uno del otro respecto de c.
El caso lmite es P =Q, en este caso tendremos tambin P = A o P = B.
k Llamemos O al centro de c y r a su radio.
Si A, B, P, Q es una hilera armnica, debe ser
PA
QA
=
PB
QB
= k,
para algn k > 0, k = 1. Por lo tanto, c es la circunferencia de Apolonio respecto de P y Q con
coeciente k, y (por 5.29) OP OQ = r
2
, i. e., P y Q son inversos el uno del otro respecto de c.
Recprocamente, si P y Q son inversos respecto de c, por 5.42 c es una circunferencia de Apolonio
respecto de P y Q, y en particular
AP
AQ
=
BP
PQ
,
y los puntos A, B, P, Q forman una hilera armnica.
5.54. Corolario. Los puntos alineados A, B, P, Q forman una hilera armnica si y slo si las circunferencias
de dimetros AB y PQ son ortogonales.
Comparar con 5.35.
k Sea c la circunferencia de dimetro AB y c
la de dimetro PQ. Por 5.53, A, B, P, Q forman una hilera

armnica si y slo si P y Q son inversos el uno del otro respecto de c. Por 5.46, esto pasa si y slo si
c c
.
El siguiente es un teorema fundamental de geometra proyectiva en dos dimensiones y juega un rol
decisivo en la construccin 5.67 de tangentes a una circunferencia.
5.7. Polos y polares Pg. 41
A B
C
L
M
N
L
Figura 5.13: esquema del teorema 5.55.

M y N en lados de ABC L L
ninguno L BC L
/ BC
uno de M, N L / BC L
BC
M y N L BC L
/ BC
Cuadro 5.1: Posibilidades de L y L
en AB segn si M y N estn o no en los lados respectivos en el

teorema 5.55.
5.55. Teorema. Si ABC es un tringulo, L, M y N son puntos cualesquiera en las rectas BC, CA y AB
(respectivamente) tales que AL, BM y CN son concurrentes, y la recta MN corta a la recta BC en L
,
entonces B, C, L, L
forman una hilera armnica.

k Nos orientamos con la gura 5.13. Por el teorema de Ceva,
BL
LC
CM
MA
AN
NB
= 1,
y por el teorema de Menelao,
BL
C
CM
MA
AN
NB
= 1,
por lo que
BL
LC
=
BL
C
,
y entonces o bien L = L
o bien B, C, L, L
forman una hilera armnica.

Pero no puede ser L = L
ya que, siendo AL, BM y CN concurrentes o bien slo uno o bien los tres
puntos L, M y N estn en los lados del tringulo ABC, mientras que la recta MN puede cortar a los
lados en ninguno o exactamente dos de los lados.
Presentamos las posibilidades en el cuadro 5.1.
Problema 5.56. Si A, B, C, D forman una hilera armnica, con B y C entre Ay D, entonces los segmentos
AB, AC y AD estn en progresin armnica, i. e.,
1
AB
=
1
2
_
1
AC
+
1
AD
_
.
Problema 5.57. Justicar la siguiente construccin del punto D de modo que A, B, C, D formen una
hilera armnica: sean
A
y
B
dos rectas paralelas por A y B, y sea
C
una recta por C que corta a
A
y
B
en P y Q. Si R
B
es tal que R = Q y BR = BQ, entonces la recta PR corta a la recta AB en D.
Sugerencia: usar la semejanza de los tringulos APC y BQC, y de los tringulos APD y BRD.
Esta construccin permite hacer el problema 5.38 de forma sencilla.
5.7. Polos y polares
En la primera parte de esta seccin, tomada del libro de Coxeter y Greitzer (1993), vemos cmo
establecer una correspondencia entre puntos y rectas, e intercambiar colinealidad y concurrencia, similar
a la dualidad en geometra proyectiva. Concluimos con resultados tomados del libro de Shively (1966),
mostrando la relacin con hileras armnicas.
5.58. Denicin. Dados una circunferencia de inversin c de centro O y un punto P, P = O, la polar de
P es la recta perpendicular a OP que pasa por el inverso de P respecto de c. p
5.59. Denicin. Dados una circunferencia de inversin c de centro O y una recta , O / , sea Q la
interseccin de y una perpendicular a por O. El polo de es el punto inverso de Q respecto de c. p
5.60. Lema. Sean c una circunferencia de inversin de centro O, P un punto distinto de O, y una recta
que no pasa por O. Entonces es la polar de P si y slo si P es el polo de .
k Sea P
el inverso de P respecto de c.
Si es la polar de P, la interseccin de con la recta OP es P
y OP. Por lo tanto, P es el polo

de . Recprocamente, si P es el polo de , la interseccin de con la recta OP es el punto P
y OP,
i. e., es la polar de P.
Es usual denotar con letras minsculas a las polares de los puntos, e. g., a es la polar de A, p la polar
de P, etc., convencin que adoptamos.
Habr que tener cuidado cundo c denota una circunferencia o cundo r es un radio, y no son polares
de C o R!
5.61. Lema. Sea c una circunferencia de inversin de centro O, y consideremos los puntos del plano U, V
y W distintos de O, y sus polares u, v y w (respectivamente).
a) U c U u. Adems, U c si y slo u es la tangente a c por U.
b) U v V u.
c) U y V estn en w si y slo si W es la interseccin de u y v.
k Sea U
el inverso de U respecto de c, y recordemos que U c si y slo si U = U
(lema 5.41). Como u

es perpendicular a OU y contiene a U
, U u es equivalente a U = U
, i. e., a U c. Si U c, u es la
recta tangente a c por U (pues la tangente es perpendicular a OU y pasa por U
= U).
Recprocamente, si u es tangente a la circunferencia en, digamos, Q, la perpendicular a u que pasa
por O es la recta OQ y Q debe ser el inverso de U. Dado que Q c, Q es su propio inverso y entonces
Q = U, y por lo tanto U c.
Supongamos ahora que U v y llamemos V
al inverso de V. Tracemos la recta OU, la perpendicular

a sta que pasa por V, y llamemos H al punto de interseccin de estas rectas. Entonces los tringulos
UV
O y VHO son semejantes (comparten el ngulo en O y son rectngulos en V
y H). Por lo tanto

UO
VO
=
V
O
HO
,
de donde UOHO = VOV
O = r
2
donde r es el radio de c, y por lo tanto H es el inverso de U y
VH (que es perpendicular a OU) es la polar de U.
Comparar con 5.43 y la gura 5.11 en donde los puntos R, R
, P, Q se llaman ahora
V
, V, U, H, y la recta es ahora v. Como en ese caso, podemos decir que H est en la

semirrecta OU porque U y H estn en un mismo semiplano respecto de la recta paralela a
v que pasa por O.
Entonces U v V u, pero cambiando V por U y v por u, vemos que vale tambin la recproca.
Finalmente, por los incisos anteriores, U y V estn en w si y slo si tanto w u como w v, i. e., si
y slo si W u v.
Vale la pena citar a Coxeter y Greitzer (1993, pg. 133) a propsito de que B a A b:
Fijando A y a, mientras que varan B y b, deducimos que las polares de todos los puntos
de una recta a (que no pase por O) son rectas que pasan por su polo A. En otras palabras,
las polares de un conjunto de puntos alineados es un conjunto de rectas concurrentes.
Este proceso de conservacin de la concurrencia, en el que los puntos y las rectas se
transforman en sus polares y polos, se llama reciprocidad. Conduce, naturalmente, al
principio de dualidad que establece que, para cualquier conguracin de puntos y rectas,
con determinados puntos situados en determinadas rectas, existe una conguracin dual
de rectas y puntos, con determinadas rectas que pasan por determinados puntos. Por el
dual del cuadringulo completo ABCD (que consiste en cuatro puntos, cualesquiera tres
de ellos no colineales, y sus rectas de unin AD, BD, CD, BC, CA y AB) es un cuadriltero
completo abcd (que consiste en cuatro rectas, cualesquiera tres de ellas no concurrentes,
y sus seis pares de puntos de interseccin a d, b d, c d, b c, c a, a b).
5.62. Teorema. Sean c una circunferencia de inversin, P un punto exterior a c y p su polar, y sean U y V
dos puntos (distintos) en c.
Entonces si U y V estn en p, las rectas PU y PV son tangentes a c (en U y V respectivamente).
Recprocamente, si U y V son puntos de las tangentes a c por P, p es la recta UV.
5.8. Construcciones con regla solamente Pg. 43
O P
A
B
Q
P
c
c
Figura 5.14: esquema del teorema 5.63.

k Si U p, U es su propio inverso. Su polar u contiene a P y es tangente a c (lema 5.61). Como tambin
contiene a U, u es la recta PU. Es decir, PU es tangente a c. De la misma forma para V.
Por otro lado, si la recta PU es tangente a c, entonces PU es la polar u de U. Del mismo modo para
la polar v de V. Entonces P es la interseccin de las polares u y v, y por 5.61, U y V estn en p, y por
lo tanto la determinan.
5.63. Teorema. Sean c la circunferencia de inversin, P un punto exterior a c y p su polar, una recta
por P que corta a c en A y B, y sea Q en el segmento AB.
Entonces A, B, Q, P es una hilera armnica si y slo si Q p.
k Sea O el centro de inversin, y sea P
el inverso de P.
Si Q est en la recta OP, entonces Q p es equivalente a Q = P
. Por 5.53, esto es equivalente a que

A, B, P, Q formen un hilera armnica.
Supongamos entonces que Q p no est en la recta OP, y sea c
la circunferencia de dimetro PQ
(ver gura 5.14).
Si Q p, entonces p es la recta P
Q (perpendicular a OP) y c
contiene a P
y P. Por 5.46 esto es

equivalente a c c
. Nuevamente por el mismo teorema, ahora con la recta AB que corta a c
y pasa
por su centro, A y B son inversos entre s respecto de c
. Por 5.53 esto implica que A, B, P, Q forman una

hilera armnica.
Recprocamente, si A, B, P, Q forman una hilera armnica, por 5.53 A y B son inversos el uno respecto
del otro respecto de c
, por 5.46 debe ser c c
. Por el mismo teorema la recta OP corta a c
en P
.
Entonces QP
P = 90
pues PQ es dimetro de c
, las rectas OP y QP
son ortogonales, y Q p.
Problema 5.64. La polar de un punto A respecto de una circunferencia c de centro O (A = O) es el eje
radical de las circunferencias c y la de dimetro OA.
Problema 5.65. Uno de los ngulos formados por las polares de A y B es igual a AOB.
5.8. Construcciones con regla solamente
En esta seccin vemos la posibilidad de realizar algunas construcciones usando slo regla (y no
comps).
Empezamos con un ejemplo en el que se usan las propiedades de concurrencia y colinealidad de los
teoremas de Ceva y Menelao
5.66. Construccin. Dados una recta y los puntos A, B, C y M, con A y B en , C / , y M el punto
medio del segmento AB, construir una recta paralela a que pase por C.
En forma anloga se puede construir M dada una recta paralela a por C.
k Trazamos la recta AC, y consideramos D en esta recta de modo que C est entre A y D. Llamemos E a
la interseccin de las rectas DM y BC, y sea F la interseccin de las rectas AE y BD. Entonces la recta
CF es paralela a .
En efecto, en el tringulo ABD tenemos los puntos C AD, F BD y M AB, y las rectas AF, BC y
DM son concurrentes (en E). Por el teorema de Ceva, y usando que AM = MB,
AC
CD
DF
FB
= 1,
lo que implica que los tringulos ADB y CDF son semejantes, y por lo tanto CF AB.
Si permitimos que, usando slo regla, queden tambin determinadas las intersecciones de una
circunferencia con cualquier recta, tenemos la siguiente construccin notable de tangentes exteriores a
una circunferencia, con la que ni siquiera necesitamos conocer el centro de ella.
5.67. Construccin. Supongamos que P es un punto exterior a una circunferencia c, y que realizamos los
siguientes pasos:
1. Trazamos dos rectas por P que cortan a c en A, B y C, D respectivamente. Para jar ideas, digamos
que P A B y P C D.
2. Construimos E, interseccin de las rectas AC y BD, y F, interseccin de las rectas AD y BC.
3. Sean Q y R las intersecciones de la recta EF con c.
Entonces las rectas PQ y PR son tangentes a c (en Q y R).
Hay que tener cuidado con las posiciones de las rectas PA y PC de modo que las subsiguientes intersecciones
existan: la construccin no siempre es posible para cualesquiera posiciones.
La construccin que presentamos es vlida tambin para cnicas (parbolas, elipses o hiprbolas).
Esto surge de la reciprocidad mencionada en la seccin 5.7, mediante la cual se puede pensar a toda
cnica como el recproco de una circunferencia, y de esta manera denir polares no slo respecto
de circunferencias sino tambin de cnicas, siendo verdaderos la mayora de los resultados que hemos
presentado en la seccin 5.7 para cnicas.
k Sean M y N las intersecciones de la recta EF con las rectas AB y CD respectivamente.
Mirando al tringulo EDC y los puntos N CD, A CE y B DE, vemos que las rectas EN, DA y
CB son concurrentes (en F) y la recta AB corta a la recta CD en P. Por 5.55, D, C, N, P forman una
hilera armnica. Por 5.63, N est en la polar de P. De la misma forma, M est en la polar de P, y por
lo tanto la recta MN es la polar de P.
Pero la recta MN es la recta EF, y por 5.62, esta recta corta a c en los puntos por donde pasan las
tangentes desde P a la circunferencia c.
El tema de potencia est tomado de Coxeter y Greitzer (1993), aunque aparece en muchos libros. La
exposicin sobre circunferencia de Apolonio y la cruz de bisectrices toma ideas de Vasliev y Gutenmjer
(1980) y Pedoe (1988). Sirve como buena introduccin a los temas de inversin y circunferencias
ortogonales, basados en Pedoe (1988), e hileras armnicas, basados en Pedoe (1988) y Shively (1966).
Tpicos de polos y polares estn tomados de Coxeter y Greitzer (1993) y Shively (1966).
En todos los casos nuestra presentacin diere de la que se hace en la bibliografa mencionada,
especialmente en cuanto a la profundidad (ac vemos muchos menos resultados).
Bibliografa
H. S. M. COXETER Y S. L. GREITZER, 1993. Retorno a la Geometra, La Tortuga de Aquiles nro. 1. DLS-EULER
editores, Madrid. (pgs. 24, 29, 30, 41, 42 y 44)
D. KAZARINOFF, 1975. Geometric Inequalities. Mathematical Association of America. (pg. 10)
I. NIVEN, 1981. Maxima and Minima Without Calculus. Mathematical Association of America. (pgs. 1
y 10)
D. PEDOE, 1988. Geometry: A Comprehensive Course. Dover, New York. (pg. 44)
A. V. POGORLOV, 1974. Geometra elemental. MIR, Mosc. (pgs. 17 y 18)
L. A. SANTAL, 1993. La geometra en la formacin de profesores. Red Olmpica, Buenos Aires. (pg. 17)
L. S. SHIVELY, 1966. Introduccin a la geometra moderna (2da. ed.). Compaa Editorial Continental
S.A., Mxico. (pgs. 29, 41 y 44)
N. B. VASLIEV Y V. L. GUTENMJER, 1980. Rectas y curvas. MIR, Mosc. (pgs. 1, 17, 18 y 44)
I. M. YAGLOM, 1962. Geometric Transformations I. Mathematical Association of America. (pg. 10)
I. M. YAGLOM, 1968. Geometric Transformations II. Mathematical Association of America. (pg. 10)
I. M. YAGLOM, 1973. Geometric Transformations III. Mathematical Association of America. (pg. 10)
I. M. YAGLOM, 2009. Geometric Transformations IV. Mathematical Association of America. (pg. 10)

Tópicos de Geometría Euclidiana Plana (Aguilera, 2012)

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Tópicos de Geometría Euclidiana Plana (Aguilera, 2012)

Uploaded by

Copyright:

Available Formats

Nstor E.

. Salvo en el caso de ngulos

, el ngulo inscripto es recto.

3 = 51, 96. . . (en km/h). Observar que 50 x 80.

y una constante positiva c, cmo deben elegirse los

, con igualdad si y slo si

, y K es un punto cualquiera en el segmento AB,

ab. En algunos casos particulares, como a = 1 y b = 4, es posible encontrar rpidamente

con respectivas bisectrices c, c

son semirrectas complementarias, as como lo son c

que contienen respectivamente a c y c

se llama cruz de bisectrices de las rectas a y b.

(el ngulo central

). Entonces, en el tringulo issceles POB, los ngulos en

)/2). Si ahora N es la interseccin de la bisectriz del

, de modo que PNB = 180

5 1)/2, pues x representa la

5 1) r/2, la longitud del lado del decgono inscripto.

si y slo si R es el punto medio de PQ.

en distintas semirrectas de tales que BP = BP

c. Supongamos que exista Q c . Otra vez por Pitgoras debe ser r

, D = C y el resultado se reduce al teorema de Pitgoras (que se usa en la

son dos circunferencias tangentes entre s, i. e., c c

son los centros respectivos, debe ser O = O

son las rectas tangentes por A a cada

tomemos O como el punto

). Sean c la circunferencia de centro O que pasa por

< < 180

quedan dos semicircunferencias de una misma circunferencia. Si = 0

, resulta el segmento AB (abierto).

de centro M que pasa por A. Si P es un punto de c c

es el pie de la perpendicular a d por P, entonces la mediatriz m de F P

forman ngulos iguales con las semirrectas de m.

son las proyecciones de A, B y

es el punto medio del segmento A

tangente a la parbola y tal que r

son las proyecciones de A, B y C en

es el punto medio del segmento A

). Sugerencia: Si P es un punto exterior, A

son las proyecciones de A y B en d, comparar los ngulos

) es un punto de la elipse, entonces la recta

). Sugerencia: ver que la recta corta a la elipse en un nico

si y slo si P est en la circunferencia de centro (0, 0) y radio

Figura 5.3: conguraciones para el teorema de Ceva.

son los puntos medios de los lados BC, AC y AB (respectivamente) del

son semejantes con razn de semejanza 2 (e. g., AB = 2A

haciendo primero una simetra central con

que es O. Entonces H G O y GH = 2GO.

es el punto medio del segmento HO.

tambin circunsribe al tringulo DEF, y tiene

, los puntos A, P, M y N estn en una circunferencia de dimetro PA,

PBN usando la circunferencia de dimetro PB,

PCA usando la circunferencia circunscripta, (5.4)

las intersecciones de la recta PO con c. Entonces PA PA

Q (por ngulos inscriptos), de modo que ARP = PA

(por opuestos por el vrtice), los tringulos APR y QPA

A P y R Q P (en todo caso cambiando los nombres). Si

son semejantes (pues AA

PQ es comn) de modo que PA/PQ = PR/PA

dos circunferencias no concntricas (no tienen el mismo centro).

, 0), con a < 0 < a

, y las ecuaciones correspondientes de las circunferencias sean

est en la circunferencia de Apolonio, y como A M