Sie sind auf Seite 1von 49

Nstor E.

Aguilera

Tpicos de

geometra euclidiana plana

Olimpada Matemtica Argentina


11 al 14 de julio de 2012

Contenidos
1. Introduccin
1.1. Algunas convenciones y notaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Mximos y mnimos
2.1. Algunos resultados bsicos . .
2.1.1. Comentarios finales . .
2.2. Problemas . . . . . . . . . . . . .
2.3. Aplicaciones geomtricas . . .
2.4. Desigualdades trigonomtricas
2.5. Embaldosados . . . . . . . . . .
2.6. Otros Resultados . . . . . . . .
2.7. Comentarios bibliogrficos . .

1
1

.
.
.
.
.
.
.
.

3
3
5
5
7
9
9
9
10

3. Construcciones con regla y comps


3.1. Construcciones y lugares geomtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. El decgono regular y el nmero de oro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3. Comentarios bibliogrficos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11
13
14
17

4. Cnicas
4.1. Propiedades generales de la circunferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Propiedades bsicas de las cnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18
18
22

5. Concurrencia e inversin
5.1. Teoremas de Ceva y Menelao . . . . . . . . . .
5.2. Otros resultados clsicos . . . . . . . . . . . . .
5.3. Potencia de punto respecto de circunferencia
5.4. La circunferencia de Apolonio . . . . . . . . .
5.5. Inversin y circunferencias ortogonales . . . .
5.6. Hileras armnicas . . . . . . . . . . . . . . . . .
5.7. Polos y polares . . . . . . . . . . . . . . . . . . .
5.8. Construcciones con regla solamente . . . . . .
5.9. Comentarios bibliogrficos . . . . . . . . . . .

26
26
30
32
33
36
40
41
43
44

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 (coordenadas). 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 indicaciones de demostraciones (en general no
completas). Usamos $ para indicar la finalizacin 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 figuras.
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 fin, a veces llamamos o A al ngulo BAC, y del mismo modo = B = ABC,
= C = AC B.
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.

Bb

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 = a2 + b2 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)

sen2 + cos2 = 1.

(2.5)

o la relacin pitagrica,
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 AP B 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
bc
rea(ABC) =
a
sen .
2

Pg. 4

Captulo 2. Mximos y mnimos


2.4. Resultado (Frmula de Hern). El rea de un tringulo es
rea(ABC) =
a

s(s a)(s b)(s c),

donde s es el semipermetro, s = (a + b + c)/2.


La frmula similar para el cuadriltero es:
1
2

rea(ABC D) = (s a)(s b)(s c)(s d) abcd 1 + cos( + ) ,
a
2
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 simplifica a:
rea(ABC D) =
a

(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
2

a + b 2a b

a+b

2
ab

(a + b)2 4ab,

con igualdad si y slo si a = b. Si a y b son nonegativos, entonces


a+b

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,
p
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 a1 , a2 , . . . , an , definidas por
A=

a1 + a2 + + an
n

G = (a1 a2 . . . an )1/n .

Entonces A G, con igualdad si y slo si a1 = a2 = = an .


2.9. Teorema. Si n funciones positivas tienen un producto fijo, su suma es un mnimo si puede arreglarse
que las funciones sean iguales. Por otra parte, si n funciones positivas tienen una suma fija, su producto es
mximo si puede arreglarse que las funciones sean iguales.
2.10. Teorema. La media armnica H de n nmeros positivos a1 , a2 , . . . , an se define como la recproca
de la media aritmtica de las recprocas, o sea:

1
H = (a11 + a21 + + an1 )/n
.
Entonces tenemos A G H, con igualdad si y slo si a1 = a2 = = an . En particular
(a11 + a21 + + an1 )(a1 + a2 + + an ) n2 ,
con igualdad si y slo si a1 = a2 = = an .

2.2. Problemas

Pg. 5

2.11. Teorema (Desigualdad de Cauchy). Dados 2n nmeros a1 , a2 , . . . , an y b1 , b2 , . . . , bn ,


(a1 b1 + a2 b2 + + an bn )2 (a12 + a22 + + an2 )(b12 + b22 + + bn2 ),
con igualdad si y slo si los conjuntos son proporcionales, o sea, si ai b j = a j bi para todo par de subndices
i, j de 1 a n, si ninguno de los nmeros es 0, esta condicin puede reescribirse como
a1
b1

a2
b2

= =

an
bn

. 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 finales


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 ai son longitudes, tanto A como G tambin deben ser
longitudes.
Una propiedad fundamental que debe tener un promedio o media M de los nmeros a1 , . . . , an es
que
mn{a1 , . . . , an } M m
ax{a1 , . . . , an }.

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 + b y
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


a2 + b2 + 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 1 1
+
.
2 a
b
i) Probar que la media armnica puede escribirse como 2ab/(a + b).
ii) Si a 6= 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 + 2 y entre todos los
nmeros x, y tales que x y = c.
$
4

Problema 2.17. Dadas las constantes a, b, c, encontrar el mnimo de


x 2 + y 2 + ax + b y + c
entre todos los valores reales de x e y.

Pg. 6

Captulo 2. Mximos y mnimos

. 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 + s2 = 1, encontrar el
mximo de x r + ys.
. Si r y s estn fijos, 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 /300) + 8] k = 400k


2

9
x

1
40

300

p
p
Respuesta: x = 2700 = 30 3 = 51, 96 . . . (en km/h). Observar que 50 x 80.
$
p
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 a1 , a2 , . . . , an definido por

R=

a12 + a22 + + an2

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 a1 = a2 = = an 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 a1 , a2 , . . . , an , probar que el valor mnimo de la funcin
f (x) = (a1 x)2 + (a2 x)2 + + (an x)2
es f (A), donde A es la media aritmtica de los nmeros.
. Si miramos a los nmeros a1 , a2 , . . . , an 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 (a1 A)2 es el cuadrado de la desviacin de a1 respecto del promedio A.
Observar la similitud de la desviacin estndar y el promedio R definido 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 figura puede definirse como 4A/L 2 , donde A es el rea y L es el
permetro de la figura. 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 especificada 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 especificados 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, (a2 + b2 )1/2 , con rea
ab/2.
Problema 2.32. Entre todos los cuadrilteros de permetro especificado, 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.
p
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
PA2 + P B 2 + P C 2
es mnimo cuando P es el centroide (baricentro) del tringulo.
Sugerencia: Usar un sistema de coordenadas con, por ejemplo, (a1 , a2 ), (b1 , b2 ), (c1 , c2 ) las coordenadas de los vrtices y (x, y) como coordenada de P. Recordar que el centroide de un tringulo tiene
coordenadas ((a1 + b1 + c1 )/3, (a2 + b2 + c2 )/3).
$
Problema 2.38. Entre todos los tringulos PQR con un ngulo especificado 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 especificados, 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 C PQ tiene rea mxima.
$

Pg. 8

Captulo 2. Mximos y mnimos


Problema 2.44. Probar que el cubo tiene la menor rea de superficie entre todos los slidos rectangulares con volumen fijo.
$
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 edificio calefaccionado en un clima fro. El edificio debe tener
un volumen de 3.000 m3 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 edificio 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 H K = 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 + P B + P C 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 necesariamente 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 velocidad 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 define 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 + r a y el rea es r 2 /2. $
Problema 2.59. Verificar 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 ABC D tiene el mismo CI
que el tringulo ABC. Existen rectngulos ABC D con esta propiedad?
$

2.4. Desigualdades trigonomtricas

Pg. 9

2.4. Desigualdades trigonomtricas



Problema 2.61. Probar que sen sen sen2 ( + )/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 nfimo
es 1.
$
Problema 2.63. Reemplazando cos por (b2 + c 2 a2 )/(2bc), y anlogamente para cos y cos , en
el problema anterior, probar que
2a bc < (a2 + b2 + c 2 )(a + b + c) 2(a3 + b3 + 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 .
p
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 + 4 y.
$

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 hexgono 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 + P B.
$
Problema 2.75 (FermatSteiner). Dado un tringulo ABC, encontrar un punto P de modo de minimizar PA + P B + P C.
$

Pg. 10

Captulo 2. Mximos y mnimos

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 + P B + P C.
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 P BC.
$
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 + C K > AC + C B.
$
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 bibliogrficos


El material presentado est tomado fundamentalmente de Niven (1981). Otras referencias recomendables son Kazarinoff (1975) y los libros de Yaglom (1962, 1968, 1973, 2009).

Bb

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 queremos 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
p
cuadrado de igual rea. El problema es equivalente a encontrar ab.
Usando p
propiedades de los nmeros reales, es posible demostrar que existe un nico ` R, ` > 0,
tal que ` = a b. En algunos casos particulares, como a = 1 y b = 4, es posible encontrar rpidamente
`, pero en general esto
p no es as como en el caso a = 1 y b = 2, y necesitamos algn procedimiento que
nos permita calcular a b 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 construcciones slo se permiten algunos objetos iniciales, slo ciertos pasos son permitidos, y debemos llegar al
objetivo en un nmero finito de pasos.
Los objetos iniciales pueden ser puntos, rectas (y derivados como semirrectas, segmentos y semiplanos) 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 simplificar 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 circunferencia 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
p
comps) un segmento de longitud a b dados a y b.
. En la proposicin 14 del Libro II de Los Elementos, Euclides realiza esta construccin para figuras
poligonales generales.

Con los mtodos y tecnologas que disponemos actualmente muchas de las construcciones geomtricas han perdido el inters
pprctico: basta apretar un par de botones de la calculadora para obtener una
buena aproximacin de a b 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 modificaciones en cosas tan sofisticadas 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
p
longitud r (que sabemos que existe).
p
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.
p
3
El problema es equivalente a dado un segmento de longitud ` construir otro de longitud 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 fija, 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), proveniente 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, 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 suficiente que n sea de la forma 2k p1 . . . p r , donde los pi son
k
distintos primos de Fermat es decir de la forma 22 + 1 con k N. En 1837 Wantzel demostr que la
condicin tambin es necesaria. En contrapartida, J. Pierpont (18661938) en 1895 demostr que con
(1)
(2)

Proposiciones 1 y 2 del Libro VII.


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 2u 3 v p1 . . . p r , donde los primos pi
son ahora de la forma 2u 3 v + 1, con u, v enteros no negativos.
. Los primos de la forma 2u 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
finitos primos de Fermat pero infinitos primos de Pierpont.

3.1. Construcciones y lugares geomtricos


3.1. Definicin. Un lugar geomtrico de puntos es el conjunto de puntos que satisface determinada
propiedad.
. Por ejemplo, por su misma definicin, 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.

De aqu en ms entenderemos que construccin se refiere 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 = M B, 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 simplificar 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.

Definiendo 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 X A + X B = 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.
$

Pg. 14

Captulo 3. Construcciones con regla y comps

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)
b)
c)
d)
e)

A y lados AB y AC.
A y lados AB y BC.
A, B y lado AB.
Lados AB, BC y mediana relativa a AB.
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 6= b, se cortan en el punto O determinando las semirrectas
a0 , a00 , b0 , b00 , los ngulos a0 b0 , b0 a00 , a00 b00 y b00 a0 con respectivas bisectrices c, c 0 , c 00 , c 00 , entonces
i) c y c 00 son semirrectas complementarias, as como lo son c 0 y c 000 .
ii) Las rectas ` y `0 que contienen respectivamente a c y c 00 , y c 0 y c 000 , son perpendiculares.
La figura formada por las rectas ` y `0 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 suficientes de Gauss y Wantzel sobre cules son los
1
polgonos constructibles con regla y comps. 5 = 22 + 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,
p
1+ 5
=
= 1,6180339 . . .
2
. 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 figura 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

C
B

A
E

Figura 3.1: pentgono y decgono inscriptos en una circunferencia.


C
B

R
P

A
E

Figura 3.2: construccin del decgono regular inscripto en una circunferencia.


ngulo P BO con OP, resulta N BP = 72 /2 = 36 , de modo que P N B = 180 36 72 = 72 y
el tringulo N BP 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
rx
x

x
r

o, equivalentemente
x 2 + r x r 2 = 0.
Esta ecuacin tiene dos races,
x=

1
2

p
5

(3.1)

r,

p
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 OP B, la relacin entre los lados es el nmero de oro:
p
p
2
1+ 5
OP
r
2
5+1
= =p
=p
p
=
.
PB
x
2
51
51
5+1
Para construir el pentgono (y el decgono) regular, consideramos una circunferencia con centro
O y radio r = OP, como
en la figura 3.2. Si Q es el punto medio de un radio perpendicular a OP, el
p
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
p 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 A y B sobre la circunferencia original. El segmento AB es el lado de un pentgono regular inscripto

Pg. 16

Captulo 3. Construcciones con regla y comps

en la circunferencia original, mientras que el segmento AP (o P B) 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.

k k k k k k k k k k k k k k k k k k k k k k k k
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
b
a
=
.
b
ab
Para resolver la ecuacin, tomando u = a/b, resulta
u2 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 fin, 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 definicin, 16 : 9 (1.77 . . . : 1).
p
En fin, el tamao de las hojas que usamos, como la A4, est relacionado a la proporcinp 2 : 1
(1, 414p. . . : 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 definirse


recursivamente como
a1 = 1,

a2 = 1,

an = an1 + an2

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,
n (1/)n
,
an =
p
5
por lo que (usando tcnicas que se ven en clculo) el cociente an+1 /an entre dos nmeros de Fibonacci
consecutivos se acerca a a medida que n aumenta.
Problema 3.11. Demostrar que en la figura 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.
0

a) Dar una expresin para `/r.


b) Encontrar una expresin de r en trminos de `0 .
c) Construir un decgono regular de lado `0 dado.

Problema 3.13. Justificar la construccin del pentgono regular debida a H. W. Richmond (1893),
ilustrada en la figura 3.3:
i) En la circunferencia de centro O y radio OP, construimos el punto medio Q de un radio perpendicular a OP.
(3)

Ver, e. g., http://www.goldenmeangauge.co.uk/fibonacci.htm

3.3. Comentarios bibliogrficos

Pg. 17
H

Q
O

P
M

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 P H es el lado del pentgono buscado.
$

3.3. Comentarios bibliogrficos


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 fin, se consideran tambin otros temas como la construccin de polgonos regulares, y construcciones con slo regla o comps. Nosotros veremos algunos de estos temas y las herramientas
necesarias en los captulos siguientes.

Bb

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
p
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.

Sea B ` tal que d = OB, y entonces OB `.


p
Si OB < r, sean P y P 0 en distintas semirrectas de ` tales que BP = BP 0 = 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,
2
2
2
2
P 0 c. Supongamos que
p exista Q c `. Otra vez por Pitgoras debe ser r = OQ = OB + BQ =
d 2 + BQ2 , i. e., BQ = r 2 d 2 . Como Q `, debe ser Q = P o Q = P 0 .
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 + 2 BC C D,
mientras que si C < 90 ,

AB 2 = AC 2 + BC 2 2 BC C D.

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

c < a + b.

4.6. Resultado. Sean c1 y c2 dos circunferencias de centros O1 y O2 y radios r1 y r2 , respectivamente,


donde r1 r2 . Entonces, poniendo d = O1 O2 ,
i) si r2 < d r1 o d + r1 < r2 , c1 c2 = ;,
ii) si d r1 = d o d + r1 = r2 , c1 c2 tiene exactamente un punto,
iii) si d r1 < r2 < d + r2 , c1 c2 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 M P 6 AB, uno de AM P y BM P 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. Definicin. Una recta que corta a una circunferencia en exactamente un punto se llama tangente
a la circunferencia por ese punto.

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.

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 ` 6 OA, entonces dist O, ` = OB < OA y ` corta a c en dos puntos, por lo que no
puede ser tangente.

4.12. Definicin. 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.

4.13. Teorema. Dado un tringulo ABC,


a)
b)
c)
d)

El centro de una circunferencia inscripta equidista de los lados del tringulo.


Todo punto que equidista de los lados del tringulo debe estar en las tres bisectrices.
Las bisectrices se cortan en un punto (el incentro) que equidista de los lados.
Hay una nica circunferencia inscripta en el tringulo.

Problema 4.14. Supongamos que c y c 0 son dos circunferencias tangentes entre s, i. e., c c 0 tiene un
nico punto.
a) Si O y O0 son los centros respectivos, debe ser O 6= O0 .
b) Si A es el punto comn entre las circunferencias, y ` y `0 son las rectas tangentes por A a cada
una de las circunferencias, entonces ` = `0 y ` OO0 .
$

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 (simultneamente) 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 C B. 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 ABC D, entonces AB + C D =
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 ABC D que tenga
una circunferencia inscripta con AB = a, BC = b, C D = c, AD = d.
. Comparar con la definicin 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. Definicin. 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., AP B = .

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, AP B > , mientras que AP B < si
P si est fuera de la regin.

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, c1 el arco determinado por AB
que no es el correspondiente a . Entonces mide 2, y todo ngulo ADB con D c1 es igual a
(el ngulo central correspondiente es ). Sea c10 la figura simtrica de c1 respecto de la recta AB.
Entonces el arco capaz es c1 c10 (sin incluir los puntos A y B).
Tomemos 0 < < 180 y P no en la recta AB. Si P c1 c10 es AP B = . Si P
/ c1 c10 , alguna
de las rectas AP o BP corta a c1 c10 en el mismo semiplano que P respecto de la recta AB. Sea
Q esta interseccin. Usando que si en el tringulo U V W , el punto T est en el lado U V , entonces
W U V < W T V , resulta AP B < AQB(= ) si Q estn entre A y P, y AP B > 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 definidos.

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. Justificar 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 0 la
circunferencia de centro O y radio OA, sea F un punto en la interseccin de c 0 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 c1 y c2 , 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 0 de centro M que pasa por A. Si P es un punto de c c 0 , 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 6= 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 ABC D donde B y D estn sobre la circunferencia.
$

Pg. 22

Captulo 4. Cnicas

4.2. Propiedades bsicas de las cnicas


4.36. Definicin (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}.

4.37. Definicin (de elipse). Dados dos puntos F1 y F2 y un nmero d > F1 F2 , la elipse asociada es el
conjunto {P : P F1 + P F2 = d}.
F1 y F2 son los focos de la elipse, y el punto medio de F1 F2 , indicado por O, es el centro.
El interior de la elipse es el conjunto {P : P F1 + P F2 < dist P, d}, y el exterior el conjunto
{P : P F1 + P F2 > dist P, d}.
. Si d = F1 F2 , el conjunto {P : P F1 + P F2 = d} es un segmento, mientras que si d < F1 F2 , el conjunto es
vaco. Cuando F1 = F2 , la elipse es una circunferencia de centro F1 y radio d.

4.38. Definicin (de hiprbola). Dados dos puntos F1 y F2 y un nmero d, 0 < d < F1 F2 , la hiprbola
asociada es el conjunto {P : |P F1 P F2 | = d}.
F1 y F2 son los focos de la hiprbola, y el punto medio de F1 F2 , indicado por O, es el centro.
La hiprbola tiene dos ramas: {P : P F1 P F2 = d} y {P : P F2 P F1 = d}.
. Como F1 F2 > d > 0, debe ser F1 6= F2 .
. Si d = F1 F2 > 0, el conjunto {P : |P F1 P F2 | = d} es la recta F1 F2 menos el segmento F1 F2 , si d > F1 F2
el conjunto es vaco, si d = F1 F2 = 0 el conjunto es todo el plano, y si d = 0 < F1 F2 el conjunto es la
mediatriz del segmento F1 F2 .

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 F1 6= F2 , pongamos c = F1 F2 /2, a = d/2, y elijamos los ejes coordenados de modo


que el eje x sea la recta F1 F2 , y el origen sea O (el punto medio de F1 F2 ).
Entonces:
La elipse de focos F1 y F2 y distancia d tiene ecuacin
x2
a2

y2
b2

= 1,

donde b =

a2 c 2 .

La hiprbola de focos F1 y F2 y distancia d tiene ecuacin


x2
a2

y2
b2

= 1,

donde b =

c 2 a2 .

Problema 4.40 (simetras de las cnicas).


a) Una parbola es simtrica respecto de su eje.
b) Una elipse de focos F1 y F2 , F1 6= F2 , es simtrica respecto de la recta F1 F2 , de la mediatriz F1 F2 ,
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 0 es el pie de la perpendicular a d por P, entonces la mediatriz m de F P 0 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 P F y P P 0 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 + P B sea mnima.
$
Problema 4.43. Sean F1 y F2 dos puntos y d > F1 F2 .
a) Ver que dado un punto Q en la circunferencia de centro F1 y radio d, el punto P en la interseccin
de la recta F1Q con la mediatriz m de F2Q es un punto en la elipse de focos F1 y F2 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 P F1 y P F2 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 F1 y F2 y el nmero d, 0 < d < F1 F2 , ver que dado un punto Q en la
circunferencia de centro F1 y radio d, el punto P en la interseccin de la recta F1Q con la
mediatriz m de F2Q es un punto en la hiprbola de focos F1 y F2 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 P F1 y P F2 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 A0 , B 0 y P 0 son las proyecciones de A, B y
P en d (respectivamente), entonces P 0 es el punto medio del segmento A0 B 0 .

b) Dada una recta r, construir una recta r 0 tangente a la parbola y tal que r 0 k 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 A0 , B 0 y C 0 son las proyecciones de A, B y C en
d (respectivamente), entonces C 0 es el punto medio del segmento A0 B 0 .

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 A0 , B 0 son las proyecciones de A y B en d, comparar los ngulos
A0 PA, F PA, B 0 P B y B 0 P F .
$
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 R, p > 0. Encontrar el lugar geomtrico de los
puntos M tales que el permetro del tringulo AM B es

Pg. 24

Captulo 4. Cnicas
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 AM B es tangente a AB en T .
Sugerencia: comparar M A M B con TA T B.
$
Problema 4.50. En una articulacin quebrada cerrada ABC D, para la cual AD = BC = a y AB = C D = b,
el elemento AD est fijo. Encontrar el lugar geomtrico de puntos de interseccin de las rectas AB y C D
$
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
x2

a2

y2
b2

= 1.

. Es til usar un software de geometra dinmica para visualizar los resultados del problema.

a) Si (x 0 , y 0 ) es un punto de la elipse, entonces la recta


x x0
a2

y y0
b2

=1

corta a la elipse nicamente en (x 0 , y 0 ). Sugerencia: ver que la recta corta a la elipse en un nico
punto, calculando (x x 0 )2 /a2 + ( y y 0 )2 /b2 para (x, y) en la interseccin de la elipse y la
recta.
b) Sea P = (p1 , p2 ) un punto exterior de la elipse, y pongamos
d=

p12
a2

p22

(d > 1 pues P es exterior).

b2

Entonces, las tangentes por P a la elipse tienen ecuaciones


x xi
a2

y yi
b2

=1

para i = 1, 2,

donde (x 1 , y1 ) y (x 2 , y2 ) son las intersecciones de las tangentes y la elipse y estn dados por
x1 =
x2 =

p1
d
p1
d

ap2 p
bd
ap2 p
bd

d 1,

y1 =

d 1,

y2 =

p2
d
p2
d

bp1 p
ad
bp1 p
ad

d 1,
d 1.

d 1

(p12 + p22 a2 b2 ).
d

d) La
p elipse se ve desde P a 90 si y slo si P est en la circunferencia de centro (0, 0) y radio
a2 + b2 .
$
c) (x 1 p1 ) (x 2 p1 ) + ( y1 p2 ) ( y2 p2 ) =

Problema 4.53. Sea k R, 0 < k.


a) El lugar geomtrico de los puntos tales que el cociente entre su distancia a un punto fijo (el foco)
y su distancia a una recta fija (la directriz) es k es una elipse si k < 1, o una hiprbola si k > 1.
. Si k = 1 es una parbola, por definicin.
. Autores como Coxeter y Greitzer (1993) definen las cnicas de esta forma.

4.2. Propiedades bsicas de las cnicas

Pg. 25

b) En una elipse o hiprbola de focos F1 y F2 , y distancia caracterstica d, la excentricidad es el


cociente F1 F2 /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 definicin 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?
$

Bb

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. Definicin. Decimos que tres o ms rectas son concurrentes si se cortan en un nico punto.

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. Definicin. El segmento que une un vrtice de un tringulo con un punto del lado opuesto se
llama ceviana.

. 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 (necesariamente) 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 grfico a la izquierda de la figura 5.1. De
modo similar graficamos en esa figura 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 figura 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 figura 5.2, al menos una de las rectas debe pasar por el
segmento opuesto, ya que la unin de las regiones de la figura 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:

Figura 5.1: regin de rectas segn los vrtices.

5.1. Teoremas de Ceva y Menelao

Pg. 27

Figura 5.2: la interseccin de las regiones.

M
L

R
B

N
n

Figura 5.3: configuraciones 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 C N son concurrentes en R. Entonces
B L C M AN
LC M A N B

= 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.

Llamamos ` a la recta AL, m a la recta BM y n a la recta C N . Por 5.3, hay dos configuraciones posibles
(salvo permutaciones de letras) indicadas en la figura 5.3. Damos las indicaciones para la configuracin
de la izquierda, dejando como problema la demostracin para la configuracin 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:
rea(BAL)
a
BL
=
.
rea(LAC)
a
LC
La misma proporcin tienen los tringulos BRL y LRC:
rea(BRL)
a
rea(LRC)
a

BL
LC

de modo que podemos poner


BL
LC

rea(BAL) a
rea(BRC)
a
rea(LAC) a
rea(LRC)
a

rea(BAR)
a
rea(RAC)
a

Repitiendo para los vrtices B y C,


CM
MA

rea(C BR)
a
rea(RBA)
a

AN
NA

rea(ACR)
a
rea(RC B)
a

y multiplicando,
B L C M AN
LC M A N A

rea(ABR) a
rea(BCR) a
rea(ACR)
a
rea(ACR) a
rea(ABR) a
rea(BCR)
a

= 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. Definicin. Decimos que tres o ms puntos son colineales si estn sobre una misma recta.

Pg. 28

Captulo 5. Concurrencia e inversin


A

A
M

N
L

L
M

Figura 5.4: configuraciones para el teorema de Menelao.


A
N
PC

PB

PA

Figura 5.5: esquema en la demostracin del teorema de Menelao.


En el lema 5.3 vimos que hay slo dos configuraciones 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
B L C M AN
= 1,
(5.2)
LC M A N B
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).

Por el lema 5.6, hay dos configuraciones posibles (salvo permutaciones de letras) indicadas en la
figura 5.4. Consideramos slo la de la izquierda.
Sean PA, PB y PC los pies de las perpendiculares a la recta LM por A, B y C respectivamente, como
se indica en la figura 5.5. Los tringulos LPB B y LPC C son semejantes pues son rectngulos en PB y PC
y comparten el ngulo en L. Por lo tanto,
LB
LC

PB B
PC C

Del mismo modo, ahora por ngulos opuestos en M , son similares los tringulos M PAA y M PC C, y
anlogamente los tringulos N PAA y N PB B. Entonces
MC
MA

PC C
PAA

NA
NB

PAA
PB 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

Figura 5.6: las rectas AL, BM y C N son paralelas en Ceva.


En realidad, las recprocas no son ciertas en nuestro contexto. Consideremos por ejemplo la figura 5.6,
donde M BC N es un rectngulo, A es la interseccin de las diagonales M C y BN , y L es el punto medio
de BC. Entonces
B L = LC, C M = BN , y AM = AN ,
por lo que vale la ecuacin (5.1) (o la (5.2)). Sin embargo, ni las rectas AL, BM , C N son concurrentes,
ni los puntos L, M y N son colineales.
En este caso las rectas AL, BM y C N son paralelas y se cortan en el infinito. Para considerar las
recprocas, deberamos incluir de alguna manera estos puntos en el infinito, 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
B L C M AN
LC M A N B

= 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 C N 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 justificar que ciertas rectas se intersecan. Por ejemplo, no consideran la configuracin
de la figura 5.6, lo que parece ser bastante comn en la bibliografa.
Seguiremos el ejemplo de ellos, ya que la presentacin se simplifica bastante si suponemos que
todas las rectas se cortan y en los lugares correctos.

Como ya mencionamos, vamos a considerar aqu slo el caso tpico (dejando los otros casos para los
interesados) en el que la recta M N corta a la recta AC en Q, las rectas BM y C N 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 , C N y AS que son
concurrentes en R, obtenemos
BQ C M AN
QC M A N B

BS C M AN
QS M A N B

= 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 C N 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 C N son concurrentes o paralelas.

Pg. 30

Captulo 5. Concurrencia e inversin

Problema 5.10. Con las notaciones de 5.4, supongamos que las rectas AL, BM y C N 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 refleja en el recproco (teorema 5.8).
$

Problema 5.11. Completar las demostraciones de 5.4 y 5.7 para las otras configuraciones.

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 L M N 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/C M , 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 AM B y AN C 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 LM N .
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.

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 H G = 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.

Supongamos que A0 , B 0 y C 0 son los puntos medios de los lados BC, AC y AB (respectivamente) del
tringulo ABC (ver figura 5.7).
Los tringulos ABC y A0 B 0 C 0 son semejantes con razn de semejanza 2 (e. g., AB = 2A0 B 0 ). Ms an,
las medianas del tringulo A0 B 0 C 0 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 A0 B 0 C 0 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 A0 B 0 C 0 que es O. Entonces H G O y GH = 2GO.

5.2. Otros resultados clsicos

Pg. 31
A

B0

C0
H

O
G
A0

Figura 5.7: la recta de Euler contiene al segmento HO.


A
E
C0

N
F

B D

B0

G
A0

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 A0 , B 0
y C 0 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 A0 B 0 C 0 es el punto medio del segmento HO.
ii) La circunferencia circunscripta al tringulo A0 B 0 C 0 tambin circunsribe al tringulo DE F , 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.

Nos orientamos con la figura 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 A0 B 0 C 0 ), resultando
N G O y GO = 2N G. Puesto que H G O y H G = 2GO (por 5.17), tenemos N O = (3/2)GO y
H N = H G N G = 2OG 1/2OG = (3/2) GO, i. e., N O = H N .
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
DA0 , y por lo tanto DN = A0 N . De modo similar, EN = B 0 N y F N = C 0 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 figures 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.

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 figura 5.9).
Como P M A = P N A = 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 P B, y para C, P, L y M con la
circunferencia de dimetro P C.
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

Pg. 32

Captulo 5. Concurrencia e inversin


M
P

L
A

B
N

Figura 5.9: recta de Simson.


la configuracin en la figura 5.9 cuando P est en la circunferencia circunscripta.
Si P est en la circunferencia circunscripta, tenemos sucesivamente:
P LN = 180 P BN

usando la circunferencia de dimetro P B,

P BN = 180 P CA

usando la circunferencia circunscripta,

P CA = 180 P C M

pues A C M ,

PC M = P LM

(5.4)

usando la circunferencia de dimetro P C.

Juntando estas igualdades obtenemos P LN + P LM = 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 = |PO2 r 2 |.

(5.5)

Si P c, alguna de las intersecciones coincide con P y PQ PR = 0, y si P = O, PQ PR = r 2 .


Si P 6= O, sean A y A0 las intersecciones de la recta PO con c. Entonces PA PA0 = r 2 PO2 si P es
interior y PA PA0 = PO2 r 2 si P es exterior, estableciendo (5.5) si ` = PO.
Supongamos ahora ` 6= PO.
Si P es interior, ARQ = AA0 Q (por ngulos inscriptos), de modo que ARP = PA0 Q. Como
adems APR = QPA0 (por opuestos por el vrtice), los tringulos APR y QPA0 son semejantes, y
PA/PQ = PR/PA0 .
Si P es exterior a c, supongamos que A0 A P y R Q P (en todo caso cambiando los nombres). Si
` no es tangente, nuevamente los tringulos APR y QPA0 son semejantes (pues AA0 Q = ARQ son
inscriptos y APR = A0 PQ es comn) de modo que PA/PQ = PR/PA0 . Si ` es tangente a c, Q = R y
PQ2 = PO2 r 2 por Pitgoras.

5.21. Definicin. 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 |PO2 r 2 |.

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 =
6 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 0 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 0 .


c) Ver que es posible elegir los ejes coordenados de modo que los centros tengan coordenadas (a, 0)
y (a0 , 0), con a < 0 < a0 , y las ecuaciones correspondientes de las circunferencias sean
x 2 + y 2 2a x + c = 0

x 2 + y 2 2a0 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
AF
AC
=
=
.
BE
BF
BC
Recprocamente, si E est en la recta AB y AE/BE = AC/BC, entonces E est en la cruz de bisectrices
del ngulo AC B.
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 E F 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 =
6 1, la ecuacin tiene exactamente dos soluciones, M1 y M2 , donde A M1 B y M2 deja a A y
B a un mismo lado. En este caso, si C es el punto medio de M1 M2 , poniendo
r=

k
|k2

1|

AB,

resulta
AC BC = r 2 ,
y C deja de un mismo lado a A y B.

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 6= 0) tenemos la nica solucin x = 0, y cuando k 6= 1 las soluciones
x1 =

k1

x2 =

k+1

t.
k+1
k1
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 6= 1), si c es el punto medio de x 1 y x 2 , resulta
c=

x1 + x2

k2 + 1

t,
k2 1
2k
|x 1 c| = |x 2 c| = 2
t,
|k 1|
2

|c + t| |c t| =

4k2
2

(k2 1)

t 2.

(5.7)

Pg. 34

Captulo 5. Concurrencia e inversin


Volviendo al enunciado, M es el punto medio de AB cuando k = 1. En otro caso tendremos M1
(correspondiente a x 1 ) entre A y B, M2 (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 6= 1 y la mediatriz del segmento AB si k = 1.


Ms an, cuando k 6= 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 M1 M2 , donde M1 est entre A y B,
y M2 deja de un mismo lado a A, B y C.
c) AC BC = r 2 .

Consideramos slo el caso k 6= 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 = k2 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 = k2 BM 2 es equivalente a

(x + t)2 + y 2 = k2 (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 6= 1 vimos la existencia de M1 y M2 , las propiedades de su punto medio C, y la
distancia r = C M1 = C M2 .
Si k 6= 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 M1 y M2 ), la ecuacin (5.8) es la
ecuacin de una circunferencia de centro C (el punto medio de M1 M2 ) 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 6= M1 , M2 ). 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 figura 5.10.(1) En c, el ngulo BP D es
semi"=inscripto y el ngulo ABP es inscripto, y son iguales. De modo que los tringulos PAD y BP D
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

PD
AD
AD

=
,
BD
PD
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
k2 =

DP 2 = AD BD,
p
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 M1 o M2 ) condiciones equivalentes a las ya encontradas.

5.30. Definicin. 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 coeficiente k.

. 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:
n
o
1
{M : AM = k BM } = M : BM = AM .
k
(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

P
c
M1
M2

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 M1 M2
en la recta AB, y M =
6 M1 , M2 , entonces las rectas M M1 y M M2 forman la cruz de bisectrices del ngulo
AM B.
. Cuando la circunferencia de Apolonio es la mediatriz de AB, entonces si M0 es el punto medio de AB
tambin tendremos AM M0 = BM M0 para M 6= M0 .

Sea k el coeficiente de la circunferencia de Apolonio, y supongamos que la bisectriz del ngulo AM B


corta a la recta AB en M 0 . Por 5.27,
AM
AM 0
k=
=
.
BM
BM 0
Por lo tanto M 0 est en la circunferencia de Apolonio, y como A M 0 B debe ser M 0 = M1 o M 0 = M2 ,
y siendo M1 M2 dimetro tambin M M1 M M2 .

5.32. Corolario. Sean A, B, M1 y M2 como en 5.29. Entonces AB es el dimetro de una circunferencia de


Apolonio respecto de M1 y M2 .

La relacin

AM1
BM1

AM2
BM2

(= k),

puede ponerse como


M1 A
M2 A

M1 B
M2 B

(la fraccin no es necesariamente k).

5.33. Definicin. Dos circunferencias c y c 0 son ortogonales, en smbolos c c 0 , si se intersecan y en


los puntos de interseccin las respectivas tangentes son perpendiculares.

5.34. Lema. Si c y c 0 son circunferencias ortogonales de centros O y O0 respectivamente, entonces:


a) c y c 0 se cortan exactamente en dos puntos.
b) O es exterior a c 0 (y O0 es exterior a c).

Si se cortaran en un nico punto, las tangentes correspondientes coincidiran y no seran perpendiculares.


Si T c c 0 , como O est en la tangente a c 0 por T , debe ser O exterior a c 0 (pues O 6= T ).

5.35. Corolario. Con las notaciones anteriores, las circunferencias de Apolonio con dimetros AB y M1 M2
son ortogonales.

Sean c y c 0 las circunferencias (AB dimetro de c y M1 M2 dimetro de c 0 ), con centros O y O0 , 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 O0 P.

Los resultados anteriores inducen dos definiciones que resultan ser importantes. En primer lugar, la
relacin entre los puntos A, B, M1 y M2 en 5.28 (y 5.29) sugiere la siguiente definicin:
5.36. Definicin. Se dice que los puntos alineados A, B, C y D forman una hilera armnica o directamente que son puntos armnicos, si
AC
BC
=
.

AD
BD
. 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 definicin:

Pg. 36

Captulo 5. Concurrencia e inversin

5.37. Definicin. 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
AO BO = r 2 .
c es la circunferencia de inversin.

. Necesariamente debe ser O 6= A, B. El inverso de O (respecto de c) no est definido. Sin embargo,


puede ser A = B.
. Se determina una transformacin definida 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
1
de centro O = 0 y radio r = 1, corresponde a la transformacin z (z) , 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 definicin 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 cualesquiera)?
$
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 C D 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 0 es el inverso de P respecto de c, entonces:
a) P es interior a c si y slo si P 0 es exterior a c.
b) P = P 0 si y slo si P c.
c) Si O = (0, 0) y P = (x, y),
OP 0 = p

r2
x2 + y2

P0 =

r2
x2 + y2

P,

y en particular, si P 0 = (x 0 , y 0 ),
x0 =

r2 x
x2 + y

,
2

y0 =

r2 y
x2 + y

,
2

x0 + y0 =

r4
x2 + y2

5.5. Inversin y circunferencias ortogonales

Pg. 37

Las dos primeras afirmaciones se deducen de la relacin OP OP 0 = r 2 . Por ejemplo, OP < r


OP 0 > r.
Para la ltima afirmacin, basta observar que el punto P 0 est en la semirrecta OP y es un mltiplo
positivo, digamos , de P, i. e., P = P. De OP OP 0 = r 2 y OP 0 = OP sigue r 2 = OP OP 0 =
OP 2 = (x 2 + y 2 ) de donde = r 2 /(x 2 + y 2 ).

5.42. Teorema. Si A y A0 son dos puntos distintos en una semirrecta de origen O tales que A y A0 son
inversos entre sp
respecto de la circunferencia c, entonces c es una circunferencia de Apolonio respecto de A y
0
A y coeficiente OA/OA0 .
. Es el recproco del teorema 5.29.c).

Supongamos que OA0 > OA, i. e., OA < r < OA0 (el caso OA > OA0 se obtiene intercambiando A con A0 ).
Sea BC el dimetro de c determinado por la recta AA0 , con C en la semirrecta OA y B en la opuesta.
De r 2 = OA OA0 y r > OA, podemos poner:
r
OA0

OA
r

r OA
OA0 r

r + OA
OA0 + r

= ,

para algn > 0, y tambin de la misma relacin queda


2 = OA/OA0 .

(5.10)

Puesto que OC = r y O, A, C y A0 estn en una recta en ese orden,


AC
A0 C

OC OA
OA0 OC

r OA
OA0 r

= .

Del mismo modo,

r + OA
. = .
OA0 + r
p
El resultado se deduce ahora de 5.32, siendo = OA/OA0 el coeficiente de la circunferencia de
Apolonio (usando (5.10)).
AB

A0 B

Al invertir respecto de una circunferencia todos los puntos de una figura, obtenemos una nueva
figura, 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 0 \ {O}, donde c 0 es una circunferencia que pasa por O, y tal que la tangente a c 0 por
O es paralela a `.

Para a), si P `, P =
6 O, y P 0 es su inverso, entonces P y P 0 estn en la misma semirrecta de origen
O, contenida en `, i. e., P 0 `. Como la inversin es involutiva, el inverso P de P 0 ` est en `
(P 0 , P 6= O).
Para b), consideremos la recta `0 paralela a ` por O. Guindonos con la figura 5.11, consideramos
R `, la interseccin de ` con la perpendicular a ` por O, y R0 el inverso de R. Veamos que la
circunferencia de dimetro OR0 (salvo O) es la imagen de ` por la inversin.
Si P ` consideramos la recta OP y la perpendicular a ella por R0 que la corta en Q (Q, R, R0 y P
estn en el mismo semiplano de `0 ). Los tringulos OPR y OQR0 son semejantes pues son rectngulos
(en R y Q) y comparten O. Entonces
OP
OR0
=
,
OR
OQ
de donde OP OQ = OR OR0 = 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, OQR0 = 90 (por ngulo inscripto en c), y se usa la semejanza de los
tringulos.

. Podemos pensar que la figura 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 0 una circunferencia y F su imagen por una inversin respecto de la circunferencia c.
Entonces:

Pg. 38

Captulo 5. Concurrencia e inversin

c
`0

Q
R

O
c

Figura 5.11: inversin de recta.


a) Si O c 0 (y por lo tanto c 0 no puede invertirse completamente), F = ` \ {O}, donde ` es una recta
paralela a la tangente a c 0 por O. Adems, O
/ `.
0
00
00
b) Si O
/ c , F = c , donde c es una circunferencia que no contiene a O. Ms an, c 0 y c 00 son
homotticas.

El primer inciso es 5.43.b) (figura 5.11).


Veamos dos variantes para el segundo, una algebraica usando coordenadas y otra ms geomtrica.
Versin algebraica. Si O = (0, 0), y c 0 tiene centro (a, b) y radio k, la ecuacin de la circunferencia c 0
es
(x a)2 + ( y b)2 = k2 ,
que puede expresarse como
x 2 + y 2 2ax 2b y + d = 0,
donde d = a2 + b2 k2 . Multiplicando la ltima ecuacin por r 4 /(x 2 + y 2 ), obtenemos
r 4 2ar 2

r2 x
x +y
2

2br 2

r2 y
x +y
2

+d

r4
x + y2
2

= 0.

Usando 5.41.c), si (x 0 , y 0 ) son las coordenadas del inverso de un punto (x, y) c,


2

r 4 2ar 2 x 0 2br 2 y 0 + d (x 0 + y 0 ) = 0.
Como d =
6 0 (pues O
/ c), dividiendo por d obtenemos la ecuacin que satisfacen los puntos inversos
de los puntos en c:
ar 2 0
br 2 0 r 4
2
2
x0 + y0 2
x 2
y +
= 0,
d
d
d
que es la ecuacin de una circunferencia de centro
(a0 , b0 ) =

r2
d

(a, b),

y radio r 0 tal que


2

r 0 = a0 + b0

r4
d

r4
d

(a2 + b2 )

r4
d

r4
d

(d + k2 )

r4
d

r 4 k2
d2

i. e., r 0 = (r 2 /d) k. En resumen, la inversin de c 0 es una circunferencia homottica con centro O y


coeficiente r 2 /d.
Versin geomtrica. Supongamos que la circunferencia a invertir es c 0 , con centro O0 y radio r 0 .
Surgen distintos casos, pero ac miramos el caso en que O 6= O0 y la recta OO0 corta en el dimetro AB
a c 0 , con O A B, como en la figura 5.12.
Denotando por A0 y B 0 los inversos de A y B (y entonces O B 0 A0 ), tomamos M el punto medio
de A0 B 0 . Hacemos una homotecia de centro O y coeficiente = OM /OO0 . Mediante esta homotecia,
A B 0 , B A0 y c 0 se transforma en una circunferencia c 00 , de radio r 00 = r 0 . En particular,
OB 0 = OA,

r 2 = OA0 OA,

OA0 OB 0 = OA0 OA = r 2 .

(5.11)

Queremos ver que la inversin de c 0 es c 00 .


Si P c, P 6= A, B, trazamos la recta OP que corta a la circunferencia c 00 en Q y R, donde digamos
R es el homottico de P, es decir,
OR = OP.

5.5. Inversin y circunferencias ortogonales

Pg. 39

Q
O

B0

A M

A0 O0
c

00

Figura 5.12: inversin de circunferencia.


Veamos que Q es el inverso de P. En efecto,
OQ OP = OQ

OR

por homotecia,

OB OA0
0

por potencia respecto de c 00 ,

= r2

por (5.11).

Observamos que cuando OP es tangente a c 0 , tambin es tangente a c 00 y Q = R, pero el argumento


sigue siendo vlido.

. Aunque el centro de c 00 est en la semirrecta de origen O que pasa por el centro de c 0 , el centro de c 0
no se invierte en el centro de c 00 : con las notaciones anteriores, el inverso del centro tiene coordenadas
r2
a2 + b2

(a, b),

(suponiendo (a, b) 6= (0, 0)) y para que coincida con el centro de c 00 tendra que ser
d = a2 + b2 ,
pero d = a2 + b2 k2 y k 6= 0 (pues es el radio de c 0 ).

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.
1
Ac estamos diciendo esencialmente que para z C, z 6= 0, la transformacin z (z) es conforme.
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 0 y c , a las que se les ha quitado O, y tanto c 0 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 ` =
6 `, c 0 =
6 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 0 y c en Q tambin coinciden con y pues la figura formada por c 0 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 ` =
6 `) puede considerarse como un caso lmite,
aunque el ngulo formado por sus inversas no est definido (pues no contienen a O).

5.46. Teorema. Sean c y c 0 dos circunferencias de centros O y O0 . Supongamos que P y Q son las
intersecciones de una recta por O con la circunferencia c 0 . Entonces P y Q son inversos entre s respecto de c
si y slo si c c 0 .
. Cuando P = Q y la recta OP es tangente a c 0 , 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 0 .

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 0 y puede trazarse una recta OT tangente a c 0 con T c 0 . Entonces (por potencia) tenemos
OT 2 = OP OQ = r 2 , y por lo tanto OT = r y T c. Entonces T c c 0 y OT O0 T , i. e., c y c 0 son
ortogonales.
Recprocamente, si c c 0 , hay dos puntos en c c 0 . Si T es uno de estos puntos, debe ser OT O0 T ,
OT tangente a c 0 (en T ), y O exterior a c 0 . 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 0 ).

Pg. 40

Captulo 5. Concurrencia e inversin

5.47. Corolario. Si c y c 0 son dos circunferencias distintas, entonces c c 0 si y slo si la inversa de c 0


respecto de c coincide con c 0 .
. Es claro que la inversa de c es c pero c 6 c.

Supongamos que c c 0 , P c 0 , y Q es el inverso de P respecto de c. Queremos ver que Q c 0 . Pero


si R es el otro punto en la interseccin de la recta OP con c 0 , R es el inverso de P (por 5.46, an si
R = P). Por lo tanto Q = R c 0 .
Recprocamente, supongamos que c 0 es su propia inversa respecto de c. Tomemos una recta que
pase por O y corte a c 0 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 0 y debe ser c = c 0 . Como suponemos c 6= c 0 , podemos
encontrar una recta por O que corte a c 0 en dos puntos distintos, uno inverso del otro y usar 5.46 para
obtener c c 0 .

Problema 5.48. Completar la demostracin geomtrica del teorema 5.44 para los casos a) O = O0 y b)
O 6= O0 y A O B.
$
Problema 5.49. Por qu en la demostracin de 5.47 no se puede considerar T c 0 tal que OT es
tangente a c 0 como se hace en 5.46?
$
Problema 5.50. Sean c una circunferencia, y P
/ c. Construir una circunferencia c 0 de centro P tal que
0
al realizar la inversin respecto de c , c queda invariante. Y si P es el centro de c?
$
Problema 5.51. Dadas las circunferencias c1 y c2 , y el punto P no en ellas, construir una circunferencia
que pase por P y sea tangente a c1 y c2 .
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.

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.

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 6= 1. Por lo tanto, c es la circunferencia de Apolonio respecto de P y Q con


coeficiente 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
BP
=
,
AQ
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.

Sea c la circunferencia de dimetro AB y c 0 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 c0.

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
C
M
L
A

L0

Figura 5.13: esquema del teorema 5.55.


M y N en lados de ABC

L0

ninguno
uno de M , N
MyN

L BC
L
/ BC
L BC

L0
/ BC
L 0 BC
L0
/ BC

Cuadro 5.1: Posibilidades de L y L 0 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 C N son concurrentes, y la recta M N corta a la recta BC en L 0 ,
entonces B, C, L, L 0 forman una hilera armnica.

Nos orientamos con la figura 5.13. Por el teorema de Ceva,


B L C M AN
LC M A N B

= 1,

y por el teorema de Menelao,


B L 0 C M AN
L0 C M A N B

= 1,

por lo que
BL

B L0

,
LC
L0 C
y entonces o bien L = L 0 o bien B, C, L, L 0 forman una hilera armnica.
Pero no puede ser L = L 0 ya que, siendo AL, BM y C N 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 M N 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 A y D, entonces los segmentos
AB, AC y AD estn en progresin armnica, i. e.,
1
AB

1 1
2

AC

1 
.
AD

Problema 5.57. Justificar 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 6= Q y BR = BQ, entonces la recta PR corta a la recta AB en D.
Sugerencia: usar la semejanza de los tringulos AP C y BQC, y de los tringulos AP D 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. Definicin. Dados una circunferencia de inversin c de centro O y un punto P, P =
6 O, la polar de
P es la recta perpendicular a OP que pasa por el inverso de P respecto de c.

Pg. 42

Captulo 5. Concurrencia e inversin

5.59. Definicin. 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.
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 `.

Sea P 0 el inverso de P respecto de c.


Si ` es la polar de P, la interseccin de ` con la recta OP es P 0 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 0 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.

Sea U 0 el inverso de U respecto de c, y recordemos que U c si y slo si U = U 0 (lema 5.41). Como u


es perpendicular a OU y contiene a U 0 , U u es equivalente a U = U 0 , 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 0 = 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 0 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
U V 0 O y V HO son semejantes (comparten el ngulo en O y son rectngulos en V 0 y H). Por lo tanto
UO
VO

V 0O
HO

de donde UO HO = V O V 0 O = r 2 donde r es el radio de c, y por lo tanto H es el inverso de U y


V H (que es perpendicular a OU) es la polar de U.

. Comparar con 5.43 y la figura 5.11 en donde los puntos R, R0 , P, Q se llaman ahora
V 0 , 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 configuracin de puntos y rectas,
con determinados puntos situados en determinadas rectas, existe una configuracin dual
de rectas y puntos, con determinadas rectas que pasan por determinados puntos. Por el
dual del cuadringulo completo ABC D (que consiste en cuatro puntos, cualesquiera tres
de ellos no colineales, y sus rectas de unin AD, BD, C D, BC, CA y AB) es un cuadriltero
completo a bcd (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 P V 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 U V .

5.8. Construcciones con regla solamente

Pg. 43

B
Q

P0

c0

Figura 5.14: esquema del teorema 5.63.

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.

Sea O el centro de inversin, y sea P 0 el inverso de P.


Si Q est en la recta OP, entonces Q p es equivalente a Q = P 0 . 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 0 la circunferencia de dimetro PQ
(ver figura 5.14).
Si Q p, entonces p es la recta P 0 Q (perpendicular a OP) y c 0 contiene a P 0 y P. Por 5.46 esto es
equivalente a c c 0 . Nuevamente por el mismo teorema, ahora con la recta AB que corta a c 0 y pasa
por su centro, A y B son inversos entre s respecto de c 0 . 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 0 , por 5.46 debe ser c c 0 . Por el mismo teorema la recta OP corta a c 0 en P 0 .
Entonces QP 0 P = 90 pues PQ es dimetro de c 0 , las rectas OP y QP 0 son ortogonales, y Q p.

Problema 5.64. La polar de un punto A respecto de una circunferencia c de centro O (A 6= 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.

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
C F 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 = M B,
AC DF
CD FB

= 1,

lo que implica que los tringulos ADB y C DF son semejantes, y por lo tanto C F k 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.

Pg. 44

Captulo 5. Concurrencia e inversin

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 fijar 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 E F 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 P C 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 definir 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.

Sean M y N las intersecciones de la recta E F con las rectas AB y C D respectivamente.


Mirando al tringulo E DC y los puntos N C D, A C E y B DE, vemos que las rectas EN , DA y
C B son concurrentes (en F ) y la recta AB corta a la recta C D 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 M N es la polar de P.
Pero la recta M N es la recta E F , y por 5.62, esta recta corta a c en los puntos por donde pasan las
tangentes desde P a la circunferencia c.

5.9. Comentarios bibliogrficos


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 difiere de la que se hace en la bibliografa mencionada,
especialmente en cuanto a la profundidad (ac vemos muchos menos resultados).

Bb

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

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)

Das könnte Ihnen auch gefallen