Beruflich Dokumente
Kultur Dokumente
Polos y Polares
Desde un punto de vista bastante moderno,
1
el concepto de punto no debera considerarse
m as fundamental que el concepto de recta a la hora de abordar la geometra del plano. En
vez de tomar el plano como una colecci on de puntos, se podra partir de la familia de rectas
que componen el plano e introducir los puntos como las intersecciones de pares de rectas.
Es posible establecer ciertas correspondencias entre puntos y rectas (exceptuando algunos
puntos y rectas especiales) que permiten la formulaci on de un punto de vista sim etrico: cada
conguraci on de puntos y rectas puede reemplazarse por otra conguraci on cuyos puntos
toman el lugar de las rectas originales y cuyas rectas reemplazan los puntos originales. Estas
correspondencias dan lugar a un Principio de Dualidad que explota esta simetra.
El estudio de la dualidad entre puntos y rectas conduce a una geometra de posici on,
donde las propiedades m etricas (como la longitud de segmentos o la medida de angulos) se
dejan de lado. Es posible adoptar una postura radical, que solamente enfoca la incidencia de
puntos y rectas y omite cualquier menci on de longitud o medida. A mediados del siglo XIX
este punto de vista fue sostenido por Christian von Staudt,
2
quien lleg o al extremo de reem-
plazar el t ermino raz on doble por tirada para eliminar cualquier vestigio de intuici on
m etrica. Sin embargo, las ideas esenciales de la geometra de posici on pueden introducirse
en un contexto euclidiano por medio de una cierta transformaci on, llamada reciprocaci on.
Los objetos de esta geometra son todos los puntos del plano (menos uno) y tambi en todas
las rectas del plano (menos aquellas que pasan por el punto excluido). Esta transformaci on
intercambia puntos y rectas. En particular, a la colinealidad de puntos le corresponde la
concurrencia de rectas bajo reciprocaci on.
VII.1 Reciprocaci on en un Crculo
Notaci on. En este Tema y en el Tema siguiente, se usa letras min usculas para denotar rectas:
p, q, r,. . .
El punto de intersecci on de dos rectas p y q ser a denotada por pq.
211
Elementos de Geometra Plana 212
K
p
Q
Q
/
O P
P
/
q
YZ,
ZX,
BC,
CA,
AB
son los puntos de contacto respectivos X, Y, Z de estas rectas tangentes al crculo (I [ r).
La siguiente Proposici on es la base del fen omeno de dualidad asociado a la recipro-
caci on en K.
Proposici on VII.1. (a) Si la polar de un punto P pasa por otro punto Q, entonces la polar
del punto Q pasa por el punto P.
(b) Si el polo de una recta p queda sobre otra recta q, el polo de la recta q queda sobre
la recta p.
Demostraci on. Ad(a): Sean P y Q dos puntos tales que la polar p de P con respecto al
crculo K pase por Q (Figura 7.1).
Hay que mostrar que la polar de Q pasa por P; se construir a una recta que pasa por P y se
comprobar a que esta recta es la polar de Q.
Sea P
/
el punto inverso de P con respecto a K.
Si Q = P
/
, entonces Q
/
= P, as que la polar de Q pasa por P, por la Denici on VII.1.
Si Q ,= P
/
, entonces p pasa por P
/
y por Q, as que p =
P
/
Q.
Sea Q
/
el inverso de Q y sea q la recta
PQ
/
.
Por la Proposici on VI.2, PP
/
QQ
/
es un cuadr angulo concclico. Como PP
/
Q =
2
por
hip otesis, la Proposici on III.3 muestra que QQ
/
P =
2
.
Luego, la recta q =
PQ
/
es perpendicular a la recta
QQ
/
=
PQ
(Figura 7.3).
Por la Proposici on VII.1, las polares p de P, q de Q y r de R pasan por el punto S.
Ad(): Si p, q, r son tres rectas que concurren en un punto S, la polar de S pasa por
sus polos P, Q, R, por la Proposici on VII.1.
Por lo tanto P, Q y R son colineales (Figura 7.3).
Denici on VII.2. Dos puntos se llaman puntos conjugados con respecto a un crculo K si
la polar de cada uno pasa por el otro. (En la Figura 7.1, P y Q son puntos conjugados).
Dos rectas se llaman rectas conjugadas con respecto a un crculo K si el polo de cada
una queda sobre la otra. (En la Figura 7.1, p y q son rectas conjugadas.)
Un tri angulo autoconjugado con respecto a K es un tri angulo en el cual cada v ertice es
el polo de (la prolongaci on en recta de) el lado opuesto (Figura 7.4).
Un tri angulo autoconjugado tiene un angulo obtuso. Adem as, para cada tri angulo ob-
tus angulo hay un unico crculo K respecto del cual el tri angulo es autoconjugado (v ease
Elementos de Geometra Plana 215
K
B
a
C
b
A
c
Figura 7.4: Un tri angulo autoconjugado
los Ejercicios VII.1.9 y VII.1.10). Este crculo se llama el crculo polar del tri angulo ob-
tus angulo.
Denici on VII.3. Dcese que un punto P y una recta q son incidentes si P queda sobre q, o
equivalentemente, si q pasa por P.
Observaci on 5. Con esta denici on, el enunciado de la Proposici on VII.1 puede reformularse
como sigue: La reciprocaci on en un crculo preserva la incidencia de puntos y rectas.
De ah se deduce un principio general que permite hallar el recproco o dual de una
determinada proposici on, toda vez que esta pueda expresarse solamente en t erminos de inci-
dencia (sin usar nociones como longitud, congruencia, etc etera).
El Principio de Dualidad. Si una proposici on v alida puede enunciarse en t erminos de pun-
tos, rectas y ciertas relaciones de incidencia entre ellos, la proposici on dual obtenida de la
primera al reemplazar los puntos originales por rectas, las rectas originales por puntos y las
relaciones de incidencia originales por otras relaciones de incidencia correspondientes, es
tambi en una proposici on v alida.
4
Para utilizar este principio en la pr actica, hay que darse cuenta de la variedad de conceptos
reducibles a relaciones de incidencia entre puntos y rectas. Por ejemplo, la colinealidad
signica tres o m as puntos incidentes a una sola recta; el concepto dual es la concurrencia
que signica tres o m as rectas incidentes a un solo punto. Por ejemplo, el dual de la
Proposici on VII.2 es la siguiente.
Proposici on VII.2
/
. Tres rectas son concurrentes si y s olo si sus polos son colineales.
Debe notarse que esta Proposici on tiene el mismo contenido que la Proposici on VII.2
original (aunque su expresi on verbal no es id entica). Esta proposici on es autodual, es decir,
es equivalente a su propia proposici on dual.
Elementos de Geometra Plana 216
Algunos t erminos y frases comunes que expresan nociones de incidencia est an dados a
continuaci on junto con sus t erminos o frases duales. (Algunas de las deniciones aparecer an
posteriormente.)
Puntos Rectas
punto recta
polo polar
. . . queda sobre . . . . . . pasa por . . .
colineal concurrente
rango de puntos haz de rectas
v ertice lado
cuadr angulo cuadril atero
hex agono hexal atero
polgono polil atero
punto de contacto recta tangente
lugar geom etrico envolvente
A
B
C
D
Obs ervese que esta denici on modica la Denici on II.26, porque reemplaza los segmentos que unen los
v ertices sucesivos por sus prolongaciones en rectas.
Elementos de Geometra Plana 217
a
b
c
d
F
(a)
F
(b)
F
(c)
Figura 7.7: Tres hex agonos ABCDEF
(c) Un hex agono ABCDEF consta de seis puntos A, B, C, D, E, F (sus v ertices) tales que
tres v ertices sucesivos no sean colineales, junto con las seis rectas
AB,
BC,
CD,
DE,
EF,
Figura 7.8: Un cuadr angulo completo ABCD con su tri angulo diagonal
a
b
d
c
x
y
z
Figura 7.9: Un cuadril atero completo abcd con su tril atero diagonal
(f) Un cuadril atero completo
6
abcd consta de cuatro rectas a, b, c y d (sus lados) junto
con sus seis puntos de intersecci on (sus v ertices): v ease la Figura 7.9.
Observaci on 6. Los ejemplos (a) y (b) a veces son llamados cuadr angulo simple y cuadri-
l atero simple para distinguirlos de los casos (e) y (f). En estas conguraciones simples se
habla de v ertices o lados adyacentes u opuestos, como en la Denici on II.27.
Observaci on 7. Los ejemplos (a) y (c) admiten generalizaciones en polgonos (simples) de n
v ertices y n lados, para n = 3, 4, 5, . . . ; sus conguraciones duales son polil ateros (simples)
de n lados y n v ertices.
Observaci on 8. En un cuadr angulo completo ABCD, hay tres pares de lados opuestos:
AB
y
CD;
AC y
BD;
AD y
AB
DE, M =
BC
EF, N =
CD
FA. (7.1)
En un hexal atero abcde f , los tres pares de v ertices opuestos est an unidos por tres rectas
diagonales, denotadas por l =
(ab)(d e), m =
(bc)(e f ), n =
(c d)( f a).
Para expresar polos y polares con respecto a un crculo K en t erminos de coordenadas
cartesianas, conviene tomar el origen de coordenadas en el centro del crculo K.
Proposici on VII.3. La polar del punto (a, b) con respecto al crculo x
2
+y
2
= k
2
es la recta
con ecuaci on
ax +by = k
2
. (7.2)
Demostraci on. Sea P el punto con coordenadas cartesianas (a, b) ,= (0, 0).
Por la Observaci on 4 del Tema 14, el punto inverso P
/
de P con respecto al crculo x
2
+
y
2
= k
2
tiene las coordenadas
P
/
=
ak
2
a
2
+b
2
,
bk
2
a
2
+b
2
.
La ecuaci on de la recta
OP es bx ay = 0.
Por la Proposici on V.3, una recta perpendicular a
OP tiene una ecuaci on de la forma
ax +by +c = 0 para alg un n umero real c.
Como la polar de P pasa por P
/
, esta ecuaci on representa la polar de P si y s olo si
a
2
k
2
a
2
+b
2
+
b
2
k
2
a
2
+b
2
+c = 0.
Luego vale c =k
2
y la ecuaci on de la polar de P es entonces ax +by = k
2
.
Ejercicios VII.1
VII.1.1. Dados cuatro puntos A, B, C, P con A, B, C no colineales, construir la polar de P
con respecto al crculo que pasa por A, B y C sin describir este crculo. [2]
Elementos de Geometra Plana 220
VII.1.2. Si O es el centro del crculo K, demostrar que el angulo entre las polares (con
respecto a K) de dos puntos P y Q es igual a POQ. [1]
VII.1.3. Si K y L son crculos ortogonales, demostrar que el polo de su cuerda com un con
respecto a uno de los crculos es el centro del otro. [1]
VII.1.4. Si las polares de los v ertices de un tri angulo ABC forman los lados de otro
tri angulo PQR, demostrar que las polares de los v ertices de PQR forman los lados del
tri angulo ABC. [1]
VII.1.5. Si las rectas tangentes en dos puntos A y B del crculo K se encuentran en C, y si la
recta tangente en otro punto D de K corta la recta
AB en E, demostrar que la recta
CD es la
polar de E con respecto a K. [1]
VII.1.6. Si las rectas tangentes a K en sus puntos A y B se encuentran en P y si las rectas
tangentes en sus puntos C y D se encuentran en Q, demostrar que el polo de la recta
PQ es un
punto diagonal del cuadr angulo completo ABCD. [1]
VII.1.7. Si P y Q son puntos conjugados con respecto a K, demostrar que [PQ[
2
es la suma
de las potencias de P y Q con respecto a K. [2]
VII.1.8. Si L es un crculo ortogonal a K, demostrar que los extremos de un di ametro de L
son puntos conjugados con respecto a K. [1]
VII.1.9. *Si ABC es un tri angulo autoconjugado con respecto a K, demostrar que el centro
de K es el ortocentro de ABC. Concluir que uno de los angulos de ABC es obtuso. [1]
VII.1.10. *Si ABC es un tri angulo con un angulo obtuso, demostrar que hay un unico
crculo respecto del cual ABC es autoconjugado. Adem as, construir este crculo. [2]
VII.1.11. Si ABC es un tri angulo con un angulo obtuso, demostrar que la curva inversa del
circuncrculo con respecto al crculo polar es el crculo de nueve puntos de ABC. [2]
VII.1.12. Si ABC es un tri angulo con CAB obtuso, si AD y CF son alturas y H es el
ortocentro de ABC, y si PQ es la cuerda de intersecci on de la recta
AC y el crculo polar,
demostrar que los seis puntos B, D, F, H, P y Q quedan sobre un mismo crculo. [2]
VII.1.13. Demostrar que las rectas tangentes al circuncrculo de un tri angulo XYZ en sus
v ertices cortan los lados opuestos en tres puntos colineales. [[ Indicaci on: Dualizar el Ejerci-
cio III.2.3 con respecto a un crculo apropiado. ]] [2]
VII.1.14. Demostrar que la ecuaci on xcos +ysen = k representa una recta tangente al
crculo x
2
+y
2
= k
2
, para cada valor de . [1]
Elementos de Geometra Plana 221
Notas
1. La idea de usar elementos que no son puntos como base para la geometra del plano o del espacio fue
introducida por Hermann Grassmann en 1844, cuando clasic o varias funciones de las coordenadas de puntos
de acuerdo con sus propiedades de transformaci on bajo cambio de coordenadas. Pero fue Julius Pl ucker en 1868
quien desarroll o con todo detalle una geometra del espacio que toma las rectas como elementos b asicos. Esta
geometra es cuadridimensional porque se requiere cuatro n umeros reales para especicar una recta del espacio.
La situaci on en el plano es m as simple, ya que pueden establecerse correspondencias biunvocas entre los puntos
y las rectas del plano.
2. Christian von Staudt comparti o con Steiner una preferencia por los m etodos de geometra pura contra los
m etodos analticos tan en boga en su epoca. Logr o separar la geometra pura de las herramientas num ericas
que la describen. Para ese efecto, era necesario eliminar todo aspecto num erico de los fundamentos de la
geometra y basarla solamente en la incidencia de puntos y rectas (y planos). Introdujo un concepto de tirada
(w urf, en alem an) que coincide con la raz on doble de cuatro puntos o rectas, y sobre esta base logr o denir la
suma y el producto de puntos colineales; es decir, deriv o el algebra de la geometra y no al rev es. Su libro
Geometrie der Lage (Geometra de Posici on, 1847) y otro tomo de 1856 desarrollaron las consecuencias de esta
postura y mostraron que la estructura num erica asociada a una geometra de posici on no es necesariamente la
de los n umeros reales; inclusive describe ciertas geometras con un n umero nito de puntos y rectas. Para los
detalles de la construcci on de operaciones algebraicas en un contexto geom etrico, v ease Veblen y Young [VY].
3. El t ermino polar fue introducido por Gergonne en 1812; dos a nos antes, su colega Francois Servois haba
introducido el t ermino polo. El estudio sistem atico de polos y polares es geometra moderna, en el sentido de
que los griegos antiguos no tocaron el tema: fue abordado en el siglo XVII por Girard Desargues y Philippe de
La Hire. Al comienzo del siglo XIX la teora fue elaborada por Carnot, Gergonne y otros.
4. El Principio de Dualidad fue postulado y estudiado por Gergonne. Tambi en fue conocido por Carnot; fue
usado por Brianchon en 1806 para demostrar el teorema que lleva su nombre (Proposici on VII.7). Fue explotado
por Poncelet en su Trait e des propri et es projectives des gures (1822); el introdujo la costumbre de clasicar
las proposiciones geom etricas en pares duales.
5. El cuadr angulo completo y el cuadril atero completo fueron introducidos en 1803 por Lazare Carnot en su
libro Geom etrie de Position.
6. Un ejemplo interesante de un cuadril atero completo fue sugerido por Gaspard Monge en 1798. Al tomar
tres crculos con centros distintos y radios diferentes se obtiene seis centros de similitud (Secci on III.4) de
los tres pares de crculos; estos quedan en triples sobre cuatro rectas llamadas los ejes de similitud de los tres
crculos (v ease el Ejercicio V.9.5). Dichos ejes forman un cuadril atero completo, cuyos v ertices son los centros
de similitud.
VII.2 Los Teoremas Cl asicos de la Geometra de Posici on
Dos a nos despu es de que Descartes public o La G eom etrie, que dio origen a la geometra
analtica, el arquitecto Girard Desargues
7
public o (en 1639) una obra de car acter muy dife-
rente sobre la geometra proyectiva, que trat o las propiedades de las guras invariantes
bajo proyecci on desde un punto del espacio (como por ejemplo, desde el ojo
8
de un obser-
vador humano). Poco tiempo despu es, el joven Blaise Pascal
9
estableci o uno de los resultados
m as bellos de toda la geometra, con el uso de los m etodos de Desargues. El resultado de Pas-
cal se remonta a un viejo teorema de Pappos,
10
del tercer siglo d.C., que juega un papel clave
Elementos de Geometra Plana 222
en la geometra superior moderna.
Despu es de estos primeros avances, y con la sola excepci on de algunos trabajos sobre
secciones c onicas a nes del siglo XVII,
11
el punto de vista de Desargues y Pascal cay o en
el olvido, quiz as porque inicialmente no pudo competir con los poderosos m etodos analticos
de Descartes. Fue revivido a principios del siglo XIX por Carnot
12
y Poncelet,
13
quienes lo
reinterpretaron y demostraron la utilidad de estudiar una geometra posicional sin referencia
a propiedades m etricas. En este estudio, las propiedades de ciertas conguraciones de puntos
y rectas juegan un papel central.
Denici on VII.5. Dos tri angulos ABC y PQR est an en perspectiva desde un punto O
si las rectas
AP,
BQ,
Figura 7.10: Dos tri angulos en perspectiva, con su centro y eje de perspectiva
La siguiente Proposici on fue descubierta por Desargues
14
y establece un segundo tipo
de reciprocaci on en el plano. El enunciado de este Teorema de Desargues aprovecha la
coincidencia de los conceptos de tri angulo y tril atero (v ease la Observaci on 9).
Elementos de Geometra Plana 223
Proposici on VII.4. Dos tri angulos est an en perspectiva desde un punto si y s olo si est an en
perspectiva desde una recta.
Demostraci on. Ad(): Sean ABC y PQR dos tri angulos tales que las rectas
AP,
BQ,
BC
QR, Y =
CA
RP, Z =
AB
BC
QR, Y =
CA
RP, Z =
AB
AP,
BQ y
CR son concurrentes.
Sea O =
AP
CR pasa por O.
Por hip otesis, el punto Z queda sobre las rectas
AB,
PQ y
YX, as que Z es un centro de
perspectiva para los tri angulos APY y BQX.
Los lados correspondientes de estos dos tri angulos se encuentran en los puntos de inter-
secci on
AP
BQ = O,
PY
QX = R,
YA
XB =C.
Por la primera parte de la Proposici on, los puntos O, R y C son colineales. Luego O queda
sobre la recta
CR.
En otras palabras, las rectas
AP,
BQ y
CR son concurrentes en O.
Observaci on 12. Para demostrar la segunda parte de esta Proposici on, habra sido suciente
aplicar el Principio de Dualidad a la primera parte, porque la perspectiva de un tri angulo
desde un punto y desde una recta son conceptos duales. Sin embargo, el m etodo elegido
utilizaci on de la primera parte ya comprobadasirve para enfatizar que el punto O no juega
un papel distinguido en la Figura 7.10.
Elementos de Geometra Plana 224
Observaci on 13. El dibujo de la Figura 7.10 ilustra una importante conguraci on. Esta con-
guraci on consta de 10 puntos y 10 rectas. Cada punto queda sobre 3 de las rectas y cada
recta pasa por 3 de los puntos. Cada punto de la conguraci on determina dos tri angulos en
perspectiva desde ese punto y desde la recta que pasa por los tres puntos restantes. Es decir,
cada punto sirve como un centro de perspectiva y cada recta como un eje de perspectiva para
alg un par de tri angulos, cuyos v ertices y lados son otros puntos de la conguraci on: dcese
que la conguraci on es regular. Esta simetra de la Figura 7.10 fue aprovechada en la se-
gunda parte de la demostraci on. Este juego de puntos y rectas se llama la conguraci on de
Desargues.
Observaci on 14. Una conguraci on de puntos y rectas se denota por el smbolo (a
b
, c
d
)
si tiene a puntos y c rectas, tales que cada punto queda sobre b de las rectas y cada recta
pasa por d de los puntos. El n umero de relaciones de incidencia es entonces ab = cd. La
conguraci on dual tiene smbolo (c
d
, a
b
). La conguraci on es autodual si y s olo si a = c y
b = d, en cuyo caso su smbolo se escribe simplemente (a
b
).
Algunos ejemplos ya vistos son los siguientes:
el tri angulo o tril atero (3
2
),
el cuadr angulo o cuadril atero simple (4
2
),
el cuadr angulo completo (4
3
, 6
2
),
el cuadril atero completo (6
2
, 4
3
), y
la conguraci on de Desargues (10
3
).
Observaci on 15. Puede haberse notado que la demostraci on de la Proposici on VII.4 usa sola-
mente el teorema de Menelaos (Proposici on II.28). El teorema de Desargues pudo haber sido
demostrado en la Secci on II.7; de hecho, el Ejercicio II.7.1 es un caso especial del teorema
de Desargues, en donde el eje de perspectiva es una recta ideal (v ease la Secci on VIII.2).
Observaci on 16. Hay algunos casos excepcionales del teorema de Desargues, cuando dos
lados correspondientes de los tri angulos son paralelos y la demostraci on dada es incompleta.
Estas excepciones ser an discutidos en la Secci on VIII.2.
Observaci on 17. El teorema de Desargues es v alido no solamente en el plano sino tambi en
en el espacio tridimensional. Es curioso que su demostraci on en el espacio para un par
de tri angulos en planos diferentes es m as sencilla que en el caso plano (v ease el Ejerci-
cio VIII.3.1).
Por medio del teorema de Desargues se introduce ahora una segunda noci on de polos y
polares, donde el papel del crculo K queda reemplazado por un tri angulo ABC. El punto
excepcional que no posee polar (an alogo el centro de K) es el centroide de ABC.
Elementos de Geometra Plana 225
A
B C P
Q
R
J
Y
X
r
Z
AJ
BC, Q=
BJ
CA, R =
CJ
AB determinan
otro tri angulo PQR, tal que ABC PQR con J como centro de perspectiva. El eje de
perspectiva de ABC y PQR es la polar trilineal de J con respecto a ABC (Figura 7.11).
Por otro lado, sea r una recta que no pasa por G y sean X, Y, Z sus intersecciones con las
rectas respectivas
BC,
CA,
AB. Sean P, Q, R puntos sobre
BC,
CA,
AB respectivamente tales
que X =
BC
QR, Y =
CA
RP, Z =
AB
AB
DE, M =
BC
EF y N =
CD
LM y
LN coinciden.
Consid erese los puntos X =
AC
BD, H =
DE
FA y K =
AB
EF,
AC y
FA, se obtiene
LFM, KE =FM, KE = BFM, KE = BXC, AE =XC, AE
= DXC, AE = DFN, AH =FN, AH = LFN, AH,
y por tanto vale LAH, FN = LKE, FM tambi en.
Los dos haces referidos en esta ultima ecuaci on tienen tres rectas en com un:
LA =
LK,
LH =
LE y
LF =
LN =
LM por la unicidad de
la recta que pasa por L cuya raz on doble con las rectas
LA,
LH y
LF es LAH, FN.
Por lo tanto L, M y N son colineales.
Observaci on 19. El orden de los puntos A, C, E (o bien de B, D, F) en las rectas respectivas
no inuye en la validez de la demostraci on. En la Figura 7.12 se la elegido los ordenes A-C-E
y D-F-B, que son m as convenientes para hacer un dibujo compacto.
Observaci on 20. En el caso excepcional de que AC | BD, la demostraci on anterior no es
aplicable, pero la Proposici on sigue v alida. Este caso se ver a en la Secci on VIII.2.
El teorema de Pascal, a continuaci on, dice que la colinealidad de los puntos diagonales
es v alida si el hex agono ABCDEF, en vez de apoyarse sobre dos rectas, queda inscrito en un
crculo. Por m etodos de proyecci on, Pascal extendi o su teorema a otras curvas de apoyo; la
pr oxima Secci on incluye el caso general.
Elementos de Geometra Plana 227
A
B
C
D
E
F
L
H
K
M
N
FA, K =
AB
EF
(Figura 7.13).
La Proposici on VI.8 muestra que BFC, AE = DFC, AE.
Por la Proposici on VI.7, aplicada sucesivamente a las transversales
EF y
FA, se obtiene
LFM, KE =FM, KE = BFC, AE
= DFC, AE =FN, AH = LFN, AH.
Razonando igual que en la demostraci on de la Proposici on VII.5, se concluye que L, M, N
son colineales.
Observaci on 21. Las demostraciones de esta ultima Proposici on y la Proposici on VII.5 di-
eren unicamente en la manera de deducir la igualdad BFC, AE = DFC, AE de las
hip otesis. En consecuencia, el teorema de Pascal es v alido para cualquier curva de apoyo
que garantiza que BFC, AE = DFC, AE cuando A, B, C, D, E, F son seis puntos de su
circunferencia. En la pr oxima Secci on se estudiar a esta familia de curvas: v ease el Ejerci-
cio VII.3.3.
Observaci on 22. Las Proposiciones VII.5 y VII.6a han sido demostradas con el uso de la
raz on doble, pero se podra dar demostraciones que dependen solamente de los Temas II y III
con un buen empleo del Teorema de Menelaos (v ease el Ejercicio VII.2.12).
Elementos de Geometra Plana 228
Observaci on 23. El orden cclico de los v ertices del hex agono no inuye en la validez de
la Proposici on VII.6a. El orden ilustrado en la Figura 7.13 garantiza que los tres puntos
diagonales est an en el interior del crculo y facilita la trazada del dibujo. Es posible que la
forma de este hex agono cruzado, adem as de sus propiedades geom etricas, motivara a Pascal
a llamarlo su hexagramma mysticum.
15
A
L
B
M
C
N
D
E
F
(ab)(d e), m =
(bc)(e f ), n =
Figura 7.15: Rectas diagonales de un hexal atero circunscrito a un crculo
Del mismo modo, la polar del punto d e es la recta secante
DE.
Ahora L =
AB
PQ, J =
AC
PR, K =
AD
PS, L =
BC
QR, M =
BD
CD
IJ . [2]
VII.2.2. *Demostrar que tres tri angulos est an en perspectiva desde el mismo punto si y s olo
si est an en perspectiva, de dos en dos, desde tres rectas concurrentes. [2]
VII.2.3. Sea ABCD un cuadr angulo completo y sea XYZ su tri angulo diagonal. Demostrar
lo siguiente:
(a) Cada tri angulo formado por tres v ertices de ABCD est a en perspectiva con XYZ
desde el cuarto v ertice.
(b) Los cuatro ejes de perspectiva forman un cuadril atero completo cuyo tril atero diagonal
es el tri angulo XYZ.
(c) Cada lado del cuadril atero completo es la polar trilineal de un v ertice de ABCD, con
respecto al tri angulo formado por los otros v ertices. [1]
Elementos de Geometra Plana 230
VII.2.4. El eje ortico de un tri angulo ABC es la polar trilineal de su ortocentro. Si AD, BE
y CF son las alturas de ABC, demostrar que el eje ortico pasa por las tres intersecciones
BC
EF,
CA
FD y
AB
DE. [1]
VII.2.5. Si X, Y, Z son los puntos de contacto del incrculo del tri angulo escaleno ABC con
los lados respectivos BC, CA y AB, demostrar que los tres puntos U =
BC
YZ, V =
CA
ZX
y W =
AB
AP,
BQ y
CR sean concurrentes. Demostrar que los lados correspondientes de los cuatro
pares de tri angulos ABC y PQR; ABR y PQC; AQC y PBR; PBC y AQR
se encuentran en seis puntos que son los v ertices de un cuadril atero completo. [2]
VII.2.7. Si los puntos A, B, C, D quedan sobre las rectas respectivas a, b, c, d y si el punto
AB
BC es colineal con ab
y c d. [1]
VII.2.8. Si A, B, C, son puntos de una recta q y si D, E, F son puntos de una recta r tales
que AD, BE y CF son concurrentes en P, demostrar que
BF
CE,
CD
FA y
AE
BD son
colineales sobre una recta p que tambi en pasa por qr. (La recta p se llama la polar bilineal
de P con respecto al par de rectas q y r). [2]
VII.2.9. Dado un tri angulo ABC y dos puntos P y Q, construir un punto R tal que las rectas
AP,
BQ y
AQ,
BR y
OAb y Q =
Figura 7.19: Curva recproca de un crculo
Proposici on VII.9. La curva recproca de un crculo (A[ r) con respecto a un crculo con
centro O es una curva cuadr atica irreducible. Si A = O, la curva recproca es un crculo; si
A ,= O, un foco de la curva recproca es el punto O, su recta directriz es la polar de A y su
excentricidad es [OA[/r.
Demostraci on. Sean K =(O[ k) y L =(A[ r) dos crculos. Sea q una recta tangente a L
con punto de contacto P.
Sea Q el polo de q con respecto a K (Figura 7.19).
Si A = O, el segmento OP = AP es perpendicular a q por la Proposici on III.5, as que Q
es el punto inverso de P con respecto a K.
En este caso [OQ[ = k
2
: [OP[ = k
2
: r, as que el recproco de L es el crculo (O[ k
2
/r).
Si A ,= O, sea a la polar de A con respecto a K. Sea QR la perpendicular desde Q a la
recta a. Con ectese AP y OQ.
El segmento AP es perpendicular a q, por la Proposici on III.5 de nuevo.
La Proposici on VII.8 entonces muestra que vale [OA[ : [AP[ =[OQ[ : [QR[.
Por lo tanto, la raz on [QO[ : [QR[ es una constante (es decir, no depende del punto Q de
la curva recproca) cuya valor es [OA[ : [AP[ =[OA[/r.
Por la Proposici on V.9, el lugar geom etrico de Q(es decir, la curva recproca del crculo L)
es una curva cuadr atica irreducible con foco O, recta directriz a y excentricidad [OA[/r.
Observaci on 27. Como la excentricidad es [OA[/r, la curva recproca es una elipse, una
par abola o una hip erbola si el centro O de K es un punto interno de L, un punto de la circun-
ferencia de L, o bien un punto externo de L, respectivamente (Figuras 7.19, 7.20).
Observaci on 28. La curva recproca corta K en aquellos puntos Q de la circunferencia de K
que son polos de rectas tangentes q al crculo L. Por la Observaci on 2, una tal recta q es
Elementos de Geometra Plana 237
K
S
L
a
O A
(a)
K
L
O A
a
S
(b)
Figura 7.20: Curvas recprocas de crculos: casos elptico y parab olico
tambi en tangente al crculo K. En otras palabras, la curva recproca a L corta el crculo de
reciprocaci on K en los puntos de contacto de K con las tangentes comunes de K y L.
Denici on VII.9. Una c onica es una curva recproca de un crculo con respecto a otro crculo.
Observaci on 29. Dada una c onica S con foco F (o con centro F si S es un crculo), la re-
ciprocaci on con respecto a un crculo K centrado en F la lleva en un crculo L (v ease el
Ejercicio VII.3.1).
Observaci on 30. Ya es posible aplicar el Principio de Dualidad a ciertas curvas. Un punto
sobre una curva corresponde a una recta tangente a su curva recproca y una recta tangente
a la curva original corresponde a un punto sobre su curva recproca. En particular, cualquier
proposici on que involucra solamente nociones de incidencia es v alida para c onicas si y s olo
si la proposici on dual es v alida para crculos.
En seguida, se aprovechar a el Principio de Dualidad para extender los teoremas de Pascal
y Brianchon al contexto de c onicas.
Denici on VII.10. Dcese que una conguraci on de puntos y rectas:
(a) est a inscrita en una curva si cada uno de sus v ertices es un punto sobre la curva;
(b) est a circunscrita a una curva si cada uno de sus lados es una recta tangente de la
curva.
Proposici on VII.6b. Si un hex agono est a inscrito en una c onica, sus puntos diagonales son
colineales.
Demostraci on. Sea ABCDEF un hex agono inscrito en una c onica (Figura 7.21).
Elementos de Geometra Plana 238
A
B
C
D
E
F
M L
N
DE, M =
BC
EF, N =
CD
CD
LM.
Pero tambi en R queda sobre la recta
CD. En consecuencia, es R =
CD
LM = N.
Ahora, el punto G queda sobre la recta
AR =
EG
AR =
EF
AN = F.
En n, el punto F queda sobre S, as que ABCDEF est a inscrito en la c onica S.
A
B
C = M
N
D = L
E
F
AB
DE
coincide con D, as que M =
BC
EF =
BC
EF
LN =
BC
EF
DN.
El punto C queda sobre la recta
BM (porque M queda sobre
BC) y tambi en sobre la recta
CD), as que C =
BM
DN =
BM
LN = M (Figura 7.23).
Luego C queda sobre la recta
EF, as que C, E, F son colineales. Por lo tanto ABCDEF
tiene sus v ertices sobre el par de rectas
AB y
EF.
El mismo argumento funciona toda vez que un par de v ertices opuestos de ABCDEF sea
colineal con un tercer v ertice.
Caso 3 Si tres v ertices alternos A, C, E son colineales, entonces (v ease la Figura 7.14)
ANCMEL es un hex agono apoyado sobre dos rectas
AC y
LM y sus puntos diagonales son
AN
EL = D y
CM
LA = B.
Por la Proposici on VII.5 aplicada al hex agono ANCMEL, los puntos B, D y F son coli-
neales. Por lo tanto, ABCDEF tiene sus v ertices alternos sobre las dos rectas
AC y
BD.
Observaci on 36. La primera parte de la demostraci on anterior proporciona implcitamente
una manera de dibujar la c onica que pasa por cinco puntos dados (que no incluyen tres
puntos colineales). En efecto, sean A, B, C, D, E cinco puntos dados. Tr acese las rectas
AB,
BC,
CD,
DE y sea L =
AB
DE. Para una recta cualquiera f que pasa por por E, sea
M =
BC f . Tr acese la recta
LM y sea N =
CD
AN f es la
segunda intersecci on de la c onica con la recta f (v ease la Figura 7.22).
Para cada recta f que pasa por E, se obtiene de esta manera un punto F sobre la c onica
deseada. Al trazar varias rectas que pasan por E (unas 20 rectas deben ser sucientes para
un buen dibujo), se obtiene un n umero suciente de puntos de la c onica para poder hacer un
dibujo a mano alzada: v ease el Ejercicio VII.3.4.
Observaci on 37. La proposici on dual a la Proposici on VII.10 es la inversa del teorema de
Brianchon: Si las rectas diagonales de un hexal atero son concurrentes, sus seis lados circun-
scriben una c onica o bien pasan por un par de puntos.
Observaci on 38. Al dualizar la construcci on sugerida en la Observaci on 36, se obtiene una
construcci on de la c onica que toca cinco rectas dadas (que no incluyen tres rectas concu-
rrentes). A cada punto F sobre e, una de las rectas dadas, la construcci on dual asocia una
recta f tambi en tangente a la c onica deseada. Con unas 20 o 30 rectas tangentes bien dis-
tribuidas, no es necesario dibujar la curva envolvente a mano alzada, pues el ojo humano ve
la envolvente al margen de las rectas tangentes. H agase la prueba: Ejercicio VII.3.5.
Una manera signicante de explotar el teorema de Pascal es la de dejar coincidir dos
v ertices de un hex agono. Si ABCDEF es un hex agono inscrito en una c onica S, la recta EF
es una recta secante de S. Si ahora se deja F tender a E a lo largo de la curva S, de manera
que ABCDEF tenga un recta de Pascal
LM, entonces la posici on lmite de la recta
EF es la
Elementos de Geometra Plana 242
recta tangente a S en E y la posici on lmite de
FA es la recta
EA (v ease la Figura 7.24). El
hex agono degenera en el pent agono ABCDE, junto con la recta tangente en E a la c onica
que pasa por los cinco puntos A, B, C, D, E.
Ese procedimiento se codica en la siguiente regla. Cuando dos v ertices adyacentes de un
hex agono inscrito en una c onica llegan a coincidir, hay que reemplazar el lado que une esos
dos v ertices por la recta tangente a la c onica en el punto de coincidencia. Las nuevas congu-
raciones as obtenidas poseen rectas de Pascal que unen las intersecciones de lados opuestos.
De esta manera surgen las siguientes Proposiciones que justican las Construcciones 13b
y 14b (v ease la Secci on I.3).
S
A
B
C
D
E
L
N
M
AB
DE,
N =
CD
EA y M =
BC
LN, entonces
EM es la recta tangente a la c onica dada en el
punto E.
Demostraci on. Sea ABCDE un pent agono inscrito en un c onica S (Figura 7.24). Sea e la
recta tangente a S en E.
Consid erese ABCDE (junto con e) como un caso lmite del hex agono ABCDEF inscrito
en S cuando F E. Entonces los puntos diagonales de ABCDEF,
L =
AB
DE, M
/
=
BC
EF, N
/
=
CD
FA,
tienden respectivamente a L, M
//
=
BCe y N =
CD
EA .
Por la Proposici on VII.6, M
/
queda sobre
LN
/
. En el lmite, M
//
queda sobre la recta
LN.
Como M
//
tambi en queda sobre
BC, se ve que M
//
=
LN
BC = M.
Luego la recta tangente e pasa por el punto E y por M
//
= M, as que e =
EM.
Elementos de Geometra Plana 243
Demostraci on de la Construcci on 13b. Aplquese la Proposici on VII.11 en el caso de que la
c onica S sea un crculo.
Observaci on 39. Como indica la demostraci on de la Proposici on VII.11, es posible construir
la recta tangente a una c onica determinado por 5 puntos, uno de los cuales es el punto de
contacto, sin trazar la curva. El procedimiento tiene tres pasos: (a) localizar los puntos
L =
AB
DE y N =
CD
BC
(ab)(d e) y n =
AD
BE, Q =
AB
DE y R =
AE
QR es
el v ertice opuesto del tri angulo diagonal PQR.
Elementos de Geometra Plana 244
Consid erese el cuadr angulo ABDE, junto con las rectas b y e, como el caso lmite de un
hex agono ABCDEF inscrito en K, al dejar C B y F E. Sus lados tienden a las siguientes
rectas:
BC b,
CD
BD,
EF e,
FA
EA.
Los puntos diagonales de ABCDEF entonces tienden a Q =
AB
DE, M = b e y R =
BD
EA.
Por la Proposici on VII.6, M queda sobre la recta
QR.
Por otro lado, el cuadr angulo ABDE, junto con las rectas d y a, puede considerarse como
el caso lmite de un hex agono ABCDEF inscrito en K, al dejar C D y F A. Esta vez,
sus lados tienden a las siguientes rectas:
BC
BD,
CD d,
EF
EA,
FA a.
Los puntos diagonales de ABCDEF esta vez tienden a Q =
AB
DE, R =
BD
EA y
N = d a.
Por la Proposici on VII.6, N queda sobre la recta
QR.
En n, los puntos M, N, Q y R son colineales, as que
QR =
MN.
Como M = be, la polar de M es la recta
DA.
Como P =
AD
BE, la Proposici on VII.1 muestra que la polar de P pasa por los polos de
AD y
MN =
QR.
De manera an aloga, se demuestra que la polar de Q es la recta
PR.
Como el punto R = QRPR queda sobre las polares de P y de Q, la Proposici on VII.1
muestra que la polar de R es la recta
PQ.
Por lo tanto, el tri angulo PQR es autoconjugado con respecto a K.
Demostraci on de la Construcci on 14b. En la Figura 1.17, la recta
QR es la polar de P por
la Proposici on VII.12. Por la Observaci on 3, las intersecciones S y T de
QR con K son los
puntos de contacto de las tangentes desde P a K.
Observaci on 41. Fjese que la demostraci on de la Proposici on VII.12a comprende dos partes.
Primeramente, se aprovecha unas formas lmites del teorema de Pascal para mostrar que
MN =
QR; esta parte sigue v alida si se reemplaza el crculo K por una c onica cualquiera.
Luego, se utiliza la teora de polos y polares con respecto a crculos para mostrar que PQR
es autoconjugado. Para extender este teorema a c onicas, se requiere una noci on de polos y
polares con respecto a una c onica que admite un an alogo de la Proposici on VII.1.
La manera m as sencilla de denir tales polos y polares es por la misma reciprocaci on
usada para denir las c onicas. Es decir, si S es el recproco de un crculo L con respecto a
otro crculo K, si P es un punto cuya polar con respecto a L es q, y si p es la polar de P y Q
el polo de q con respecto a K, entonces se dice que p es la polar de Q (o que Q es el polo
de p) con respecto a S (Figura 7.26).
En otras palabras, la reciprocaci on Q p con respecto a S es la composici on de dos
reciprocaciones en K con la reciprocaci on P q respecto de L.
Elementos de Geometra Plana 245
P
p
Q
q
L
K K
S
Figura 7.26: Las transformaciones de reciprocaci on se componen
La Proposici on VII.1 sigue v alida para polos y polares con respecto a S: v ease el Ejerci-
cio VII.3.9.
Observaci on 42. Una c onica dada puede ser el recproco de varios crculos L, con respecto a
diversos crculos K centrados en uno de sus focos. Luego, se requiere una manera de identi-
car sus polos y polares que no dependa explcitamente de K ni de L. N otese lo siguiente:
(a) La polar de un punto sobre la c onica S es la recta tangente a S en este punto; el polo de
una recta tangente a S es su punto de contacto.
(b) Si hay dos tangentes desde un punto Q a la c onica S, la polar de Q es la recta secante
de S que une los puntos de contacto de estas rectas tangentes.
(c) Si no hay tangente alguno desde un punto Q a S, la polar de Q es el lugar geom etrico
de los polos de las rectas secantes de S que pasan por el punto Q.
Para comprobar estas armaciones, v ease el Ejercicio VII.3.10. Comp arese con las Observa-
ciones 2, 3 y 4 para el caso de crculos.
Denici on VII.11. Sea S una c onica cuyo recproco en un crculo K es otro crculo L. Si P
es un punto con polares p y q con respecto a K y L respectivamente, y si Q es el polo de q
con respecto a K, se dice que Q es el polo de p y que p es la polar de Q con respecto a S
(Figura 7.26). Por la Observaci on 42, la transformaci on Q p depende solamente de S y no
de K y L.
Dcese que un tri angulo es autoconjugado con respecto a S si cada v ertice es el polo del
lado opuesto con respecto a S.
Proposici on VII.12b. Si un cuadr angulo completo est a inscrito en una c onica, su tri angulo
diagonal es autoconjugado con respecto a esa c onica.
Demostraci on. La prueba es id entica a la demostraci on dada de la Proposici on VII.12a, una
vez que se reemplaza la frase inicial inscrito en un crculo K con la frase sustituta inscrito
en una c onica S.
Observaci on 43. Como corolario, se ve que la Construcci on 14b puede usarse para trazar las
rectas tangentes a cualquier c onica previamente dada desde un punto exterior (es decir,
desde un punto de intersecci on de dos rectas tangentes).
Elementos de Geometra Plana 246
Ejercicios VII.3
VII.3.1. *Demostrar que la curva recproca de una c onica no circular, con respecto a un
crculo centrado en uno de sus focos, es un crculo. [1]
VII.3.2. *Teorema de Chasles.
23
Si A, B, C, D son cuatro puntos sobre un crculo y si las
rectas tangentes respectivas a, b, c, d en estos puntos cortan una quinta recta tangente t en
los puntos respectivos P, Q, R, S, demostrar que PQ, RS = AB,CD. [[ Indicaci on: Usar
la Proposici on III.1(a). ]] [3]
VII.3.3. *Teorema de Steiner.
24
Si A, B, C, D, E, F son seis puntos sobre una c onica,
demostrar que EAB,CD =FAB,CD. [[ Indicaci on: Obs ervese que en el Ejercicio VII.3.2
anterior es posible concluir que PQ, RS no depende de la posici on de la recta tangente t.
Aplicar reciprocaci on. ]] [2]
VII.3.4. Marcar cinco puntos sobre una hoja de papel tales que no hayan tres colineales. Usar
la construcci on esbozada en la Observaci on 36 para encontrar otros 15 puntos sobre la c onica
que pasa por ellos y conectar los 20 puntos con una curva trazada a mano alzada. Repetir este
ejercicio, distribuyendo los 5 puntos iniciales apropiadamente para obtener (a) una elipse; y
(b) una hip erbola. [1]
VII.3.5. Usar la construcci on dual mencionada en la Observaci on 38 para obtener: (a) una
hip erbola; (b) una elipse; a partir de cinco rectas iniciales, entre las cuales no hayan tres
concurrentes. [2]
VII.3.6. Efectuar las siguientes construcciones, sin dibujar las c onicas mencionadas:
(a) dados 5 puntos, trazar las rectas que pasan por ellos y que son tangentes a la c onica
determinado por los 5 puntos;
(b) dadas 5 rectas, localizar sus puntos de contacto con la c onica que ellas envuelven. [1]
VII.3.7. Dados cuatro puntos A, B, C, D y una recta t que pasa por D, dibujar la c onica que
pasa por A, B y C y que toca la recta t en D. [[ Indicaci on: Trazar una recta pasando por A y
localizar otro punto E de la c onica sobre esta recta. ]] [3]
VII.3.8. Dualizar el Ejercicio VII.3.7 y efectuar la construcci on correspondiente. [3]
VII.3.9. *Demostrar que la Proposici on VII.1 sigue v alida cuando se toman las palabras
polo y polar en el sentido de la Denici on VII.11. [1]
VII.3.10. *Vericar las armaciones (a), (b) y (c) de la Observaci on 42. [2]
VII.3.11. Si A, B, C, D son cuatro puntos sobre una c onica y si a, b, c, d son las respectivas
tangentes a la c onica en esos puntos, demostrar que las cuatro diagonales del cuadr angulo
ABCD y del cuadril atero abcd son concurrentes. [2]
Elementos de Geometra Plana 247
VII.3.12. Dados dos tri angulos en perspectiva ABC PQR, demostrar que los seis pun-
tos D =
BC
RP, E =
CA
PQ, F =
AB
QR, U =
BC
PQ, V =
CA
QR, W =
AB
RP
quedan sobre una c onica o bien sobre un par de rectas. [2]
VII.3.13. Los Puntos de Steiner. Sean A, B, C, D, E, F seis puntos sobre una c onica. En la
siguiente tabla de rectas:
AB
CD
EF
DE
FA
BC
CF
BE
AD
sean 1, 2 y 3 los tri angulos cuyos lados son las rectas en cada la; sean 4, 5 y 6
los tri angulos cuyos lados son las rectas en cada columna. Vericar lo siguiente:
(a) los tri angulos 1, 2 y 3 est an en perspectiva de dos en dos;
(b) los ejes de perspectiva de los tri angulos 1, 2 y 3 conectan los v ertices corres-
pondientes de 4, 5 y 6;
(c) los tri angulos 4 y 5 est an en perspectiva desde una recta;
(d) las rectas de Pascal de los hex agonos ABCDEF, ADCFEB y AFCBED son concurren-
tes.
(Este punto de concurrencia se llama un punto de Steiner del hex agono ABCDEF. Las rectas
de Pascal de ABCFED, AFCDEB y ADCBEF tambi en concurren en otro punto de Steiner
que se dice conjugado al primero.) [3]
Notas
18. Menaicmos fue un discpulo de Eudoxos. Para investigar el problema de la duplicaci on del cubo (mejor
dicho, la construcci on de los dos medios proporcionales entre un par de segmentos dados), introdujo un par
de curvas auxiliares cuya intersecci on permite la construcci on dada. Estas curvas fueron reconocidas poste-
riormente como una par abola y una rama de una hip erbola. Aunque es posible que Menaicmos las obtuvo
mediante cortes de un cono, el historiador Coolidge [Coo] expres o sus dudas al respecto. Knorr [Kn2] com-
parte su opini on y propuso que estas curvas fueron introducidos como lugares geom etricos de ciertos v ertices de
rect angulos asociados con los dos medios proporcionales. La autora de los cortes planos del cono permanece
misterioso.
Una leyenda cuenta que Alejandro Magno pidi o a Menaicmos que la geometra fuera simplicada para que
el pudiera aprenderla con facilidad. Menaicmos respondi o: Majestad, en su reino hay caminos comunes y
caminos reales, pero en la geometra hay un s olo camino para todos.
19. El matem atico y te ologo irland es George Salmon estudi o las curvas algebraicas y descubri o que hay ex-
actamente 27 rectas (reales o imaginarias) sobre cualquier supercie c ubica no singular. Su teorema sobre las
polares est a contenido en un texto muy completo que escribi o sobre las secciones c onicas: v ease Salmon [Sal].
Elementos de Geometra Plana 248
20. Dados 6 puntos sobre una c onica, se forma el mismo hex agono si se los toma en el mismo orden cclico o
si se revierte el orden (es decir, los hex agonos ABCDEF, BCDEFA y FEDCBA coinciden). Por tanto, a cada
hex agono distinto con los mismos v ertices que ABCDEF le corresponde unos 12 permutaciones de las letras
A, B, C, D, E, F. Como hay 6! = 720 permutaciones de estas seis letras, el n umero de hex agonos distintos es
720/12 = 60. Los 6 puntos son unidos por
6
2
4
2
PA
/
.
De igual modo, se obtiene b =
PB
/
, c =
PC
/
y d =
PD
/
.
Por las Proposiciones VI.3 y VI.10, los puntos A
/
, B
/
, C
/
, D
/
son concclicos y vale
A
/
B
/
,C
/
D
/
=AB,CD.
Como p es la polar de P, el punto inverso P
/
de P queda sobre p y luego el crculo inverso
a la recta p pasa por el punto P.
En consecuencia, vale ab, cd = PA
/
B
/
,C
/
D
/
=A
/
B
/
,C
/
D
/
=AB,CD.
Observaci on 44. La Proposici on VII.13 es autodual.
De todos los posibles valores de la raz on doble AB,CD, o bien de ab, cd, se destaca
el valor (1) porque se puede dar una denici on posicional a la relaci on AB,CD = 1
sin usar las expresiones m etricas que aparecen en las f ormulas (6.3), (6.5) y (6.8). Este es
el signicado de la Proposici on siguiente. Si A, B,C, D es un rango de cuatro puntos tal que
AB,CD = 1, entonces A y B separan C y D y la longitud [AB[ es la media arm onica de
[AC[ y [AD[ (v ease el Ejercicio VII.4.3). La raz on doble (1) se llama la raz on arm onica.
Denici on VII.12. Un rango de cuatro puntos A, B,C, D tal que AB,CD =1 se llama un
rango arm onico. Se dice que D es el conjugado arm onico de C con respecto a los puntos
A y B.
Un haz de cuatro rectas a, b, c, d, tal que ab, cd = 1 se llama un haz arm onico. Se
dice que d es el conjugado arm onico de c con respecto a las rectas a y b.
Elementos de Geometra Plana 250
Cuatro puntos A, B,C, D que quedan sobre una c onica forman un conjunto arm onico si
para cualquier otro punto P de la c onica,
Figura 7.28: Un cuadr angulo completo proyectado en un rango arm onico
Proposici on VII.14. (a) Un rango A, B,C, D es arm onico si y s olo si hay un cuadr angulo
completo tal que A y B son dos de sus puntos diagonales y C y D quedan sobre los lados que
pasan por el tercer punto diagonal.
(b) Un haz a, b, c, d es arm onico si y s olo si hay un cuadril atero completo tal que a y b
son dos de sus rectas diagonales y c y d pasan por los v ertices que quedan sobre la tercera
recta diagonal.
Demostraci on. Ad(a, ): Sea PQRS un cuadr angulo completo con puntos diagonales A =
PQ
RS, B =
PR
QS y X =
PS
QR.
Sean C =
AB
PS y D =
AB
QR (Figura 7.28).
Como
AB y
QR son transversales al haz de rectas
PA,
PB,
PC,
PD, por la Proposi-
ci on VI.7, se obtiene AB,CD = PAB,CD =QR, XD.
Las rectas
AB y
QR son transversales tambi en el haz de rectas
SA,
SB,
SC,
SD; por la
misma Proposici on se obtiene AB,CD = SAB,CD =RQ, XD.
El Ejercicio VI.3.1 muestra que RQ, XD = 1/QR, XD; es una consecuencia inmedi-
ata que AB,CD = 1/AB,CD.
Como AB,CD no puede ser igual a 1 (porque A, B, C y D son distintos), se concluye
que AB,CD =1.
Ad(a, ): Por otro lado, si A, B,C, D es un rango arm onico, sea P un punto que no
queda sobre la recta
PA.
PC
QB, R =
PB
AS, X =
PS
QR, E =
AB
QR.
Hay que mostrar que el cuadr angulo completo PQRS guarda la relaci on deseada con el
rango A, B,C, D (v ease la Figura 7.28).
Fjese que A =
PQ
RS, B =
PR
QS, C =
AB
PS y E =
AB
QR.
Por la parte anterior, se concluye que AB,CE =1.
El Ejercicio VI.3.2 muestra que E = D, ya que AB,CD =1 por hip otesis.
Por tanto, A y B son puntos diagonales del cuadr angulo completo PQRS, la recta
PS pasa
por C y la recta
QR pasa por D.
Ad(b): Esta segunda parte se demuestra por una aplicaci on del Principio de Dualidad a
la parte (a).
La Proposici on VII.14 permite caracterizar la polar trilineal de un punto con respecto a
un tri angulo (v ease la Denici on VII.6).
Proposici on VII.15. La polar trilineal de un punto J con respecto al tri angulo ABC pasa
por los conjugados arm onicos de los puntos P =
AJ
BC, Q =
BJ
CA y R =
CJ
AB con
respecto a los pares respectivos de v ertices de ABC.
Demostraci on. Dados un tri angulo ABC y un punto J, defnase P =
AJ
BC, Q=
BJ
CA
y R =
CJ
BC
QR, Y =
CA
RP y Z =
AB
PQ.
Esto dice que ABC PQR con centro de perspectiva J. Por la Proposici on VII.4, los
puntos X, Y y Z son colineales y la recta
CA y
AB. Sean P, Q, R los conjugados arm onicos de X, Y, Z con respecto a los pares de
v ertices respectivos. (Obs ervese que la determinaci on del punto E en la demostraci on de la
Proposici on VII.14 es nada menos que una construcci on con regla solamente del conjugado
arm onico de C). Entonces PQR ABC con eje de perspectiva r, as que el polo trilineal
de r es el centro de perspectiva J =
AP
BQ
CR.
Elementos de Geometra Plana 252
Ejercicios VII.4
VII.4.1. *Demostrar que la Proposici on VII.13 sigue v alida cuando se toman los polos y las
polares con respecto a una c onica cualquiera. [2]
VII.4.2. Si AB,CD =1, demostrar que todas las razones dobles formadas por los cuatro
puntos A, B, C, D valen 1, 2 o
1
2
. [1]
VII.4.3. Un n umero positivo t es la media arm onica de dos n umeros positivos r y s si vale
1/t =
1
2
(1/r +1/s). Demostrar que en un rango de cuatro puntos A, B, C, D, la media
arm onica de [AC[ y [AD[ es igual a [AB[ si y s olo si vale AB,CD =1. [2]
VII.4.4. Si K es un crculo y P un punto que no queda sobre K, demostrar que el lugar
geom etrico del conjugado arm onico de P, con respecto a los extremos de una cuerda variable
de K cuya prolongaci on en recta pasa por P, es la polar de P o bien un segmento de esta polar.
(Sigue v alido este resultado si K es una c onica cualquiera?) [2]
VII.4.5. Si A y B son puntos conjugados con respecto a un crculo K y si la recta
AB corta K
en C y D, demostrar que AB,CD =1. [2]
VII.4.6. Demostrar que dos rectas conjugadas que pasan por un punto exterior P de un crculo
K son conjugadas arm onicas con respecto a las rectas tangentes desde P a K. [2]
VII.4.7. Si A, B,C, D y A, L, M, N son rangos de puntos en dos rectas que pasan por A y si
AB,CD =AL, MN =1, demostrar que las rectas
BL,
CN y
AP,
BQ y
AP,
BQ y
AU,
BV y
AU,
BV y
DL
FK, Q=
EM
DL, R =
FK
EM; y sean U =
DM
EK, V =
EK
FL, W =
FL
DM.
Demostrar que ABC PQR UVW desde un centro de perspectiva com un. [3]
Elementos de Geometra Plana 255
VII.5.7. Sea ABC un tri angulo y sea K un crculo que toca el lado CA internamente en Q,
toca lado AB internamente en R, y corta el lado BC en dos puntos S, T, en el orden B-S-T.
Sea U =
RS
AU,
BQ y