Professional Documents
Culture Documents
Todos los documentos se ofrecen en dos versiones: En formato pdf para una cmoda
lectura y en el formato doc de MSWord para permitir y facilitar su edicin.
En Preparacin:
Geometra Hiperblica pdf doc1 2 3
Fundamentos de las matemticas pdf doc1 2 3
Geometra Proyectiva Prctica pdf doc
lgebra Lineal Mtodo Jordan pdf doc
Geometra Afn pdf doc
www.toomates.net
ndice.
1 La recta proyectiva real.
1.1 Construccin.
1.2 La recta real en el contexto proyectivo.
1.3 Homografas.
1.4 La razn doble.
1.5 Involuciones.
1.6 Escalas proyectivas.
1.7 Transformaciones de Mbius.
9 Excursiones matemticas.
9.1 Recta polar trilineal. Polo trilinial.
9.2 Media armnica.
9.3 La sucesin armnica.
9.4 Armona musical.
10 Notas histricas.
1 La recta proyectiva real.
1.1 Construccin
IR 2 0,0
P1 ( IR)
IR 0
1.2 La recta real en el contexto proyectivo.
Demostracin.
a) b) evidente.
b) c) Si el determinante fuera cero, los dos vectores columna seran dependientes, es
decir, existiran , (0,0) , tales que (0,0) (a, c) (b, d ) (a b,c d ) ,
contradiciendo la hiptesis de b).
c) a) La funcin del apartado a) se puede escribir en forma matricial como
x a b a b x
con matriz M invertible, luego M 1 .
y c d c d y
1.3.2 Proposicin.
Dados tres puntos diferentes A, B, C P1 ( IR) , existir un nico cambio de variable
f : P1 ( IR) P1 ( IR) tal que (1,0) A , (0,1) B y (1,1) C .
Demostracin.
Sean A (a0 , a1 ) , B (b0 , b1 ) y C (c0 , c1 ) .
Los puntos A y B son distintos, luego son linealmente independientes y forman una
base. Por lo tanto (c0 , c1 ) (a0 , a1 ) (b0 , b1 ) para ciertos , IR . Puesto que C es
distinto de A y de B, se tiene que 0 y 0 .
a b0 a b0
Luego tomando la matriz M 0 cumple Det M 0 0 y
a1 b1 a1 b1
a0 b0 1 a a b0 0 b
0 A , 0 0 B
a1 b1 0 a1 a1 b1 1 b1
a b0 1 c0
y 0 C .
a1 b1 1 c1
Demostracin.
Demostracin.
Por 1.2.4 existir un cambio de variable f : P1 ( IR) P1 ( IR) tal que (1,0) A ,
(0,1) B y (1,1) C .
Y tambin un cambio de variable g : P1 ( IR) P1 ( IR) tal que (1,0) A' , (0,1) B' y
(1,1) C ' .
Basta tomar la aplicacin g f 1 .
1.3.8 Proposicin.
El conjunto de biyecciones de un conjunto en s mismo, con la composicin de
funciones f g , tiene estructura de grupo no conmutativo.
1.3.10 Proposicin.
El conjunto de homografas de P1 ( IR) es un subgrupo del grupo de biyecciones.
Demostracin.
Axioma C1: a b b a
Axioma C2: (a b) c a (b c)
Axioma C3: Existe un elemento 1 F tal que a 1 1 a a para todo a F .
Axioma C4: Para cada a G , a 0 , existe a 1 G tal que a a 1 a 1 a 1
Axioma C5: a(b c) a b a c
1 0
c) Si hay dos autovalores distintos, la forma cannica de Jordan sera , con
0
1 . Se cumple adems que f tiene dos puntos dobles (proyectividad hiperblica).
Su ecuacin cannica es: x' x . En el caso particular de que sea una involucin,
1 .
1.3.15 Proposicin.
Sea f : r r una proyectividad de una recta proyectiva en s misma cuya matriz
1 1
respecto de alguna referencia proyectiva es . Entonces f tiene un nico punto
0 1
invariante p0 , y se tiene que
p0 , p; f ( p), f ( f ( p)) 2
para cualquier p r { p0} . Por tanto, f est determinada conociendo p0 y la imagen
de un punto distinto de l.
Demostracin.
1 1
En las coordenadas respecto a las cuales la matriz de f es , se tiene
0 1
inmediatamente que p0 (0,1) es el nico punto invariante. Un punto p distinto de p0
se puede escribir con coordenadas (1, a) , luego f ( p) tendr coordenadas (1, a 1) y
f ( f ( p)) tendr coordenadas (1, a 2) . Bajo la referencia po , p, f ( p) (que ya est
normalizada, pues (1, a 1) (1, a) (0,1) ), tenemos que
f ( f ( p)) (1, a 2) 2(0,1) (1, a) , luego p0 , p; f ( p), f ( f ( p))
2
2.
1
Luego, conocidos p0 y la imagen de un punto f ( p) , la frmula anterior permite
conocer tambin la imagen de f ( p) , con lo que tenemos la imagen de tres puntos, lo
que determina de forma unvoca la proyectividad f.
1.3.16 Proposicin.
Sea f : r r una proyectividad de una recta proyectiva en s misma cuya matriz
1 0
respecto de alguna referencia proyectiva es . Entonces f tiene dos puntos dobles
0
X 0 y X 1 tales que X 0 X 1 ; X ; f ( X ) para todo X 0 , X 1 .
Demostracin.
Esta proposicin se demostrar de forma ms general en ????.
Para hacer este paso hemos supuesto que x',1 0 ( x',0 , x',1 ) (1,0) , y por tanto hay que
prescindir del punto de coordenadas (d , c) , pues
a b d ad bc 1
pues ad bc 0
c d c cd cd 0
ax b
Desarrollamos ahora la ecuacin x' :
cx d
ax b
x' cx d x' ax b cxx 'dx' ax b cxx 'dx'ax b 0
cx d
I. La ecuacin tiene dos races reales distintas. La homografa tiene dos puntos dobles y
por tanto es hiperblica.
II. La ecuacin no tiene solucin (races imaginarias). No hay puntos dobles y por tanto
es elptica.
III. La ecuacin tiene una sola raz doble. Hay un solo punto doble y la proyectividad es
parablica.
1.3.18 Observacin.
Dado que, fijada una referencia proyectiva, la matriz de una proyectividad respecto a
dicha referencia es nica salvo proporcionalidad, siempre que tengamos un autovalor en
K (lo que es cierto siempre que K sea algebraicamente cerrado, por ejemplo si K=C),
dividiendo por l podemos suponer que 1 es un autovalor. Esto permite simplificar la
clasificacin de proyectividades.
Corolario.
Decimos que una proyectividad f de una recta en s misma es cclica de orden n si
f n Id y n es el menor entero con dicha propiedad. Las proyectividades cclicas de
orden n de un cuerpo de caracterstica distinta de n no pueden ser parablicas.
a, b; c, d a, cb, d a c a2 c1 b1d 2 b2 d1
a2 c2 b2 d 2
1 2
a, d b, c a1 d1 b1 c1 a1d 2 a2 d1 b1c2 b2 c1
a2 d 2 b2 c2
(a a, bb; c c, d d )
a a, c cbb, d d a c bd a, cb, d
a a, d d bb, c c a d bc a, d b, c
a, cb, d (a, b; c, d )
a, d b, c
Donde hemos aprovechado las propiedades lineales de los determinantes.
1.4.2 Proposicin.
La razn doble es un invariante bajo homografas.
Demostracin.
Sea f : P1 ( IR) P1 ( IR) una homografa y sea M su matriz invertible 2x2 asociada.
a, cb, d a, b; c, d
a, d b, c
Donde hemos podido simplificar porque Det (M ) 0 .
A, B; C, D 0
1
Esta definicin est bien construida pues no depende de los representantes escogidos del
k 0
punto. Efectivamente 0 , 1 '0 , '1 ( 0 , 1 ) k ( '0 , '1 ) 0
1 k 1
1.4.4 Teorema.
Las definiciones de 1.3.1 y 1.3.2 son compatibles.
Demostracin.
Para el cambio de variable (1,0) A , (0,1) B , (1,1) C , y ( 0 , 1 ) D , al ser la
razn doble invariante por proyectividades,
A, B; C, D (1,0), (0,1); (1,1), ( 0 , 1 ) (11 0 1)(0 1 1 (1,0)) 0 0
(1 1 0 0 )(0 1 11) 1 1
1.4.5 Teorema.
Dados tres puntos distintos A, B, C P1 ( IR) , la aplicacin
P1 ( IR) A IR
X A, B; C , X
Es una biyeccin.
Demostracin.
Consideremos la siguiente biyeccin:
IR P1 ( IR) P1 ( IR)
x ( x,1) f ( x,1)
La aplicacin anterior es su inversa.
1.4.7 Corolario.
Si (a, b; c, d ) , los seis valores de la razn doble de los cuatro puntos bajo todas las
permutaciones posibles son
1 1 1
, ,1 , , ,
1 1
Demostracin.
1.4.10 Ejercicio.
Demostrar que sobre la recta proyectiva real, el conjugado armnico del punto impropio
respecto del par A, B es el punto medio de (A, B).
Demostracin.
Pasamos a coordenadas homogneas para sacar el carcter singular del punto impropio :
A (a,1) , B (b,1) , el punto impropio ser I (1,0) y su conjugado armnico ser
X (x,1) .
Entonces
a 1 b x
1 0 1 1 (1)(b x) bx
1 ( A, B, I , X ) 1
a x b 1 (a x)(1) ax
1 1 1 0
ab
x a b x 2x a b x
2
1.5 Involuciones.
1.5.1 Definicin. Involucin.
Una involucin es una proyectividad f tal que su cuadrado es la identidad:
f 2 f f Id
En una involucin, a los elementos homlogos (es decir, dobles) se les suelen
denominar conjugados.
Demostracin.
Sea P v y Q f ( P) w . Sea f M para cierta matriz M 2x2 invertible.
Entonces Mv w y Mw v para ciertos escalares , 0 . En la base {v, w} la
0
matriz ser N , y claramente
0
0 0 0 1 0
N 2
0 0 0 0 1
luego f 2 Id .
Demostracin.
Supongamos que A v y B w.
1 0
Sea M y f M .
0 1
En la base v, w , tenemos que Mv v v f ( A) A , y Mw w f ( B) B .
1 0
M 2 Id f 2 Id , luego es una involucin.
0 1
Adems es nica, puesto que por 1.5.3, para cualquier X P1 ( IR) , f (X ) es el cuarto
armnico de (A,B,X), luego es nico.
1.5.5 Proposicin.
Dados dos pares (A, A) y (B, B) (sin puntos comunes), existe una nica involucin
respecto a la cual son pares conjugados.
Demostracin.
Supongamos que A A' . Entonces tenemos tres puntos y sus imgenes, luego por el
Teorema fundamental existir una nica proyectividad f tal que f ( A) A' , f ( A' ) A
y f ( B) B' . Adems, esta funcin es una involucin por 1.5.2.
Luego f ( B' ) f ( f ( B)) B , y se cumplen las condiciones deseadas.
Para el caso B B' el razonamiento es el mismo.
Si A A' y B B' aplicamos el 1.5.4.
1.5.7 Corolario.
Una involucin en la recta proyectiva P1 ( K ) o bien tiene dos puntos dobles (involucin
hiperblica) o carece de ellos (involucin elptica). No existen involuciones con un solo
punto doble.
Demostracin.
Los puntos dobles de una involucin sern las soluciones de la ecuacin
2 B 4 B 2 4 AD 2 B 2 B 2 AD
Ax 2 Bx D 0 x
2
, y puesto que
2A 2A
B 2 AD 0 , o bien tiene dos races reales distintas (involucin hiperblica), o bien
ambas son imaginarias (involucin elptica).
1.5.8 Observacin.
La composicin de involuciones no es necesariamente una involucin. Por ejemplo, sea
f la involucin que tiene por ecuacin x' x a y g la involucin de ecuacin x' x b ,
con a b .
Entonces la composicin f g tendr por ecuacin implcita:
f : x' ' x' a
f g : x' '(b x) a x' ' x a b
g : x' x b
es decir, f g : x' x a b , y no es una involucin.
Demostracin.
Sean f y g dos involuciones. Supongamos que conmutan, es decir, f g g f .
Entonces ( f g ) 2 f g f g f f g g Id Id Id .
Supongamos que su composicin es una involucin, es decir,
( f g ) 2 f g f g Id .
Entonces g f Id g f Id f f g f g g f Id g f g .
1.5.10 Proposicin.
Toda proyectividad es el producto de dos involuciones.
Demostracin.
Sea f una proyectividad f : P1 ( K ) P1 ( K ) . Sea P un punto cualquiera y tomamos en
consideracin la cadena de imgenes
P P' f ( P) P' ' f ( P' ) P' ' ' f ( P' ' )
1.6.2 Lema.
Sea , 0, 1 una escala proyectiva. Entonces
a) (,0;1,0) 0
b) (,0;1,1) 1
c) (,0;1, )
Demostracin.
Simplemente hay que aplicar la frmula 1.4.4 tomando (1,0) , 0 (0,1) y 1 (1,1) :
0 1 1
(,0;1,0) 0 , (,0;1,1) 1 , y (,0;1, ) .
1 1 0
1.6.3 Lema.
Supongamos que tenemos una escala proyectiva en IR tal que 0 (0,1) , 1 (1,1) y
(1,0) . Entonces, para todo x IR , tendremos (,0, ;1, x) x .
0 x1 1 1
(0, ; x,1)
0, x,1 11 0 1 x1
x1
0,1, x 0 1 1 x1 1
1 10 0
1.6.5 Lema.
Sea : P1 ( IR) P1 ( IR) una funcin biyectiva armnica tal que (0) 0 , (1) 1 ,
(0) 0 . Entonces la biyeccin f : IR IR asociada cumple:
a) f (0) 0
b) f (1) 1
x y f x f y
c) f
2 2
d) f (2 x) 2 f ( x)
e) f ( x y) f ( x) f ( y)
f) f ( x) f ( x)
g) f ( x 2 ) f ( x) 2
h) f ( x y) f ( x) f ( y)
Demostracin.
f (n) f (1
...
1 1)
f (1) f (1) ... f (1) 1
...
1 1 n
n veces n veces n veces
m
De la propiedad f ( x y) f ( x) f ( y) se deduce que para cualquier racional q
,
n
con m, n IN , tenemos f (q) q , pues q es el nico nmero que satisface la ecuacin
f (m) q f (n) teniendo en cuenta que f (n) n y f (m) m .
Con razonamientos similares se demuestra que f ( x) f ( x) para cualquier x IR .
Todo nmero real positivo se puede escribir como x 2 para cierto x 0 . As pues, de la
propiedad f ( x 2 ) f ( x) 2 deducimos que la funcin f enva nmeros positivos a
nmeros positivos. Luego mantiene el orden: x y f ( x) f ( y) . Efectivamente,
x y 0 y x 0 f ( y x) f ( y) f ( x) f ( x) f ( y) .
1.6.7 Corolario.
Toda transformacin armnica : P1 ( IR) P1 ( IR) es una proyectividad.
Demostracin.
Fijamos en P1 ( IR) una escala proyectiva 0, 1 , que mediante se transformar en la
escala proyectiva 0, 1 , ' .
La proposicin 1.4.2 garantiza que existir una proyectividad : P( IR) P( IR) tal que
(0' ) 0 , (1' ) 1 y (' ) .
Toda proyectividad es una transformacin armnica por 1.4.3, luego : ser una
transformacin armnica cumpliendo (0) 0 , (1) 1 y () .
Por lo tanto, por el lema 1.5.5, su funcin real asociada f : IR IR ser un
automorfismo de la recta real. Luego por el lema 1.5.6, f ser la identidad, por lo que
: tambin ser la identidad. As pues, 1 una proyectividad.
1.7 Transformaciones de Mbius.
1.7.1 Definicin. Transformaciones de Mbius.
Definimos una transformacin de Mbius como la expresin
ax b
f ( x)
cx d
donde x IR y a, b, c, d IR constantes y no todas ellas cero.
d
Obviamente esta funcin no est definida para x .
c
1.7.2 Proposicin.
ax b
La transformacin de Mbius f ( x) define una funcin f : P1 ( IR) P1 ( IR)
cx d
que es biyectiva si y slo si ad bc 0 .
Definimos f (d / c)
Luego definiremos
a / c c 0
f ( )
c 0
d y b
Esta funcin tendr como inversa x g ( y)
c ya
Efectivamente
ax b
d b
c x d d ( a x b ) b (c x d )
g ( f ( x))
ax b c ( a x b ) a (c x d )
c a
cx d
da x db bc x bd da x bc x (da bc) x
x
ca x cb ac x ad cb ad cb ad
ax b
Supongamos ahora que ad bc 0 , y veamos que la funcin f ( x) no es
cx d
biyectiva. De hecho veremos que es la funcin identidad.
1.7.3 Proposicin.
El conjunto de transformaciones de Mbius
ax b
Pr(1) f : P1 ( IR) P1 ( IR), f ( x) , ad bc 0
cx d
Demostracin.
La funcin identidad pertenece claramente a este grupo, basta con tomar a d 1 y
b c 0.
Hemos visto que la funcin inversa de una transformacin de Mbius es
d y b
g ( y) , que cumple tambin da (c)(b) da cb 0 .
c y a
Por ltimo, hemos de ver que la composicin de dos transformaciones de Mbius es una
transformacin de Mbius:
ax b a ' x b'
Si f ( x) con ad bc 0 y g ( x) con a' d 'b' c' 0 , entonces
cx d c' x d '
ax b a' ax a' b
a' b' b'
cx d a' ax a' b b' (cx d )
g f ( x) g ( f ( x)) cx d
ax b c' ax c' b c ' ax c ' b d ' ( cx d )
c' d' d'
cx d cx d
a' ax a' b b' cx b' d (a' a b' c) x a' b b' d
c' ax c' b d ' cx d ' d (c' a d ' c) x c' b d ' d
Tomando pues
a' ' d ' 'b' ' c' ' (a' a b' c)(c' b d ' d ) (a' b b' d )(c' a d ' c)
a' ac' b a' ad ' d b' cc ' b b' cd ' d a' bc' a a' bd ' c b' dc' a b' dd ' c
a' ad ' d b' cc ' b a' bd ' c b' dc' a
(ad bc)(a' d 'b' c' ) 0
IR P( IR) P( IR) IR
x x a b x ax b ax b ax b
x M cx d
1
1 c d 1 cx d 1 cx d
Af (1) f : R R, f ( x) ax b , a o b 0
ax b
Para que una transformacin de Mbius f ( x) deje fijo el punto del infinito se
cx d
debe cumplir
a ax b a b
f () c 0 f ( x) x Af (1)
c d d d
2 El plano proyectivo real.
2.1 Construccin. Referencias proyectivas. Coordenadas homogneas.
2.1.1 Definicin. El plano proyectivo real.
Definimos el plano proyectivo real P2 ( IR) como el conjunto IR3 0,0,0 bajo la
siguiente relacin de equivalencia:
(a, b, c) (d , e, f ) IR 0| (a, b, c) (d , e, f )
IR3 0,0,0
P2 ( IR)
IR 0
a) v1 , v2 , v3 forman una base de IR 3 .
b) v3 v1 v2 v3 .
2.1.4 Ejemplo.
Cualquier tringulo ABC del plano afn, junto con cualquier punto D que no pertenezca
a dicho tringulo forman una referencia proyectiva ( A, B, C; D) .
Demostracin.
Demostracin.
Sean A ( x1 , y1 , z1 ) y B ( x2 , y2 , z2 ) . Basta tomar el producto mixto de ambos
vectores:
rAB A B ( x1 , y1 , z1 ) ( x2 , y2 , z2 ) y1 z2 z1 y2 , z1 x2 x1 z2 , x1 y2 x2 y1
Demostracin.
Por la caracterizacin 2.2.2 es fcil ver que no hay ningn grupo de tres que sea
colineal.
Veamos los puntos diagonales:
AB : z 0
P AB CD (1,1,0)
CD : x y
AD : y z
Q AD BC (0,1,1)
BC : x 0
AC : y 0
R AC BD (1,0,1)
BD : x z
Los puntos P, Q y R no estn alineados:
1 0 1 1 0 1
1 1
1 1 0 0 1 1 11 2 0
1 1
0 1 1 0 1 1
2.2.7 Proposicin. Parametrizacin de una recta.
Definimos por parametrizacin de una recta r a toda biyeccin
f : P1 ( IR) r
de la forma
( , ) (a0 b0 , a1 b1 , a2 b2 )
para ciertos a0 , a1 , a2 , b0 , b1 , b2 IR .
Una funcin definida de esta manera determinar una biyeccin si y slo si
P (a0 , a1 , a2 ) y Q (b0 , b1 , b2 ) son dos puntos diferentes de la recta r.
Demostracin.
Supongamos que P (a0 , a1 , a2 ) y Q (b0 , b1 , b2 ) son dos puntos diferentes de la recta
r.
En primer lugar tenemos que ver que la funcin est bien definida. En efecto, si
( ' , ' ) ( , ) (a0 'b0 ' , a1 'b1 ' , a2 'b2 ' )
(a0 b0 , a1 b1 , a2 b2 )
(a0 b0 , a1 b1 , a2 b2 ) (a0 b0 , a1 b1 , a2 b2 )
La funcin es inyectiva:
Si ( , ) (0,0,0) , entonces los vectores P (a0 , a1 , a2 ) y Q (b0 , b1 , b2 ) seran
linealmente dependientes, contradiciendo la hiptesis de que son diferentes como
puntos proyectivos.
La funcin es exhaustiva:
Si X PQ , entonces existir un cuatro vector T tal que T , X T , P T , Q 0 .
Puesto que P y Q son linealmente independientes, la nica posibilidad es que X sea
combinacin lineal de P y Q es decir X P Q para ciertos , ambos no nulos.
Demostracin.
a) b) Es inmediato.
b) c) Si la matriz tuviera rango 1, entonces a0 , a1 , a2 b0 , b1 , b2 para cierto 0
y por tanto (1, ) (a0 b0, a1 b1,a2 b2 ) (0,0,0) contradiciendo b).
c) a) Por hiptesis, los puntos a0 , a1 , a2 y b0 , b1 , b2 son distintos, y por tanto por el
corolario 2.2.5, la funcin definir una parametrizacin de la recta determinada por
ambos.
queda caracterizada en que su matriz asociada M tiene rango 2. Este hecho lo podemos
utilizar para determinar su funcin inversa. Efectivamente, si la matriz anterior tiene
rango 2, al menos dos filas sern linealmente independientes, supongamos que sean las
dos primeras. Luego el morfismo
x a0 b0 a b
es un isomorfismo, con matriz invertible M 0 0 .
y a1 b1 a1 b1
Y puesto que toda funcin proyectiva puede ser multiplicada por un escalar no cero,
podemos multiplicar por su determinante para obtener la funcin inversa:
b1 b0 x
a1 a0 y
2.2.9 Proposicin.
Sea r una recta proyectiva y P ( p0 , p1 , p2 ) , Q (q0 , q1 , q2 ) y R (r0 , r1 , r2 ) tres
puntos diferentes de r. Entonces existe una nica parametrizacin de la recta de forma
que
P1 ( IR) r
(1,0) P
(0,1) Q
(1,1) R
Demostracin.
Los puntos P, Q y R son colineales, luego los vectores ( p0 , p1 , p2 ) , (q0 , q1 , q2 ) y
(r0 , r1 , r2 ) son linealmente dependientes, es decir, existirn a, b y c tales que
a ( p0 , p1 , p2 ) b (q0 , q1 , q2 ) c (r0 , r1 , r2 ) 0
a b
Es decir, hemos encontrado dos nmeros A y B , diferentes de cero para los
c c
cuales
( p0 , p1 , p2 ) A (q0 , q1 , q2 ) B (r0 , r1 , r2 )
La parametrizacin
( , ) ( Ap0 Bq0 , Ap1 Bq1 , Ap2 Bq2 )
Adems, esta parametrizacin es nica, puesto que los nmeros a, b y c son nicos
salvo homotecias.
2.2.10 Observacin.
La proposicin anterior es constructiva, es decir, nos indica el mtodo para determinar
la parametrizacin de la recta.
Por ejemplo, supongamos que queremos determinar la (nica) parametrizacin de la
recta x y z 0 que enva (1,0) a (1,2,3), (0,1) a (2,3,5) y (1,1) a (1,-1,0).
Entonces, lo primero que debemos hacer es encontrar la combinacin lineal
(1,1,0) A(1,2,3) B(2,3,5)
2.2.12 Lema.
Sea f : P1 ( IR) r una parametrizacin de la recta r. Entonces todas las
parametrizaciones de la recta r son de la forma f donde es un cambio de
variable en P1 ( IR) .
Demostracin.
Sea f : P1 ( IR) r con ( , ) (a0 b0 , a1 b1 , a2 b2 ) una
parametrizacin de la recta r.
x a0 b0
En forma matricial: y a1 b1
x a b
2 2
El producto de las dos matrices ser una matriz 3x2 con rango 2, luego por 2.2.6(c) ser
una parametrizacin de la recta.
Demostracin.
p r p p p' p q' , y de la misma forma q r q q p' q q' .
Luego
s r s p q p p' p q' q p' q q'
p p' p q' q p' q q' p q p' p q q'
Por lo tanto
' p q
' p q
p q
y la matriz M es invertible puesto que los vectores p , p y q , q no
p q
son proporcionales ya que p q .
Si R Q 0 R P Q , es decir, todo punto R Q se puede expresar de la
forma R P Q .
Si un punto se puede expresar de dos maneras diferentes P Q ' P' ' Q'
entonces pertenece a ambas rectas PQ y PQ y por tanto coincide con su interseccin.
2.3 La razn doble.
2.3.1 Definicin. Razn doble de cuatro puntos alineados distintos.
Sean A, B, C y D cuatro puntos alineados de una recta r. Sea : P1 ( IR) r la nica
parametrizacin de r tal que (1,0) A , (0,1) B , (1,1) C . Entonces llamaremos
razn doble de los cuatro puntos A, B, C y D, y escribiremos [ A, B; C, D] , a la abscisa
de D respecto a la referencia { A, B, C} , es decir:
0
( 0 , 1 ) D [ A, B; C , D]
1
Equivalentemente,
[ A, B; C, D] ( ,1) D
Demostracin.
Es una consecuencia del hecho de que las parametrizaciones son biyecciones.
Demostracin.
Basta con aplicar la definicin de razn doble:
,0,1, 1 , ,0,1,0 0 0 , ,0,1,0 1 1
0 1 1
2.3.5 Proposicin.
La definicin dada en 2.4.1 se puede generalizar:
Dados cuatro puntos A, B, C y D en una recta r, tomando cualquier referencia
proyectiva sobre r, si las coordenadas de A, B, C y D son respectivamente:
A (a0 , a1 ) , B (b0 , b1 ) , C (c0 , c1 ) y D (d 0 , d1 ) , entonces:
a0 c0 b0 d0
a1 c1 b1 d1
[ A, B; C , D]
a0 d 0 b0 c0
a1 d1 b1 c1
Demostracin.
La frmula dada en el enunciado es cierta para la parametrizacin : P1 ( IR) r tal que
(1,0) A , (0,1) B , (1,1) C :
1 1 0 0
0 1 1 1 1( 0 ) 0
[ A, B; C , D]
1 0 0 1 1 (1) 1
0 1 1 1
Para cualquier otra parametrizacin ' , podemos escribir ' para cierto cambio
de variable de P1 ( IR) , y vimos en XX.XX que los cambios de variable dejan la
razn doble invariante.
Demostracin.
En este caso A (1, a) , B (1, b) , C (1, c) y D (1, d ) y por tanto
1 1 1 1
a c b d (c a)(d b) (a c)(b d )
[ A, B; C , D]
1 1 1 1 (d a)(c b) (a d )(b c)
a d b c
2.3.7 Lema.
Sean A, B, C, D, D' r cinco puntos alineados. Entonces
[ A, B; C, D] [ A, B; C, D' ] D D'
Demostracin.
Es una consecuencia directa de la biyectividad de las parametrizaciones. Sea
: P1 ( IR) r la nica parametrizacin de s tal que (1,0) A , (0,1) B y
(1,1) C .
[ A, B; C, D] ( ,1) D , [ A, B; C, D' ] ' ( ' ,1) D' , luego
[ A, B; C, D] [ A, B; C, D' ] D ( ,1) ( ' ,1) D' .
La implicacin contraria es trivial.
2.3.8 Teorema.
Sea f : r s una aplicacin inyectiva entre dos rectas. Entonces f es una proyectividad
si y slo si para a cada A, B, C, D r distintos se tiene
[ A, B; C, D] [ f ( A), f ( B); f (C), f ( D)]
Demostracin.
Veamos en primer lugar que las proyectividades conservan la razn doble. Supongamos
que f es una proyectividad y sean A, B, C, D r distintos. Sea : P1 ( IR) r la nica
parametrizacin de r tal que (1,0) A , (0,1) B , (1,1) C .
Entonces, por definicin,
[ A, B; C, D] ( ,1) D
Veamos el recproco. Supongamos que f es una funcin inyectiva que conserva la razn
doble. Sean A, B, C r tres puntos diferentes. Por ser f inyectiva, sus imgenes
respectivas tambin sern puntos diferentes de s. Sea g : r s la nica proyectividad
tal que g ( A) f ( A) , g ( B) f ( B) y g (C ) f (C ) .
Queremos ver que f g . Para ello tomamos cualquier punto D r y demostraremos
que f ( D) g ( D) .
En la primera parte de esta demostracin hemos dejado demostrado que, por ser g una
proyectividad, conservar la razn doble:
[ A, B; C, D] [ g ( A), g ( B); g (C), g ( D)] [ f ( A), f ( B); f (C), g ( D)]
y por hiptesis
[ A, B; C, D] [ f ( A), f ( B); f (C), f ( D)]
por lo tanto
[ f ( A), f ( B); f (C), g ( D)] [ f ( A), f ( B); f (C), f ( D)]
2.3.9 Corolario.
Dado un cuadringulo completo ( A, B, C, D) , los puntos (S , T , Q, P) deducidos (ver
5.2.4)
forman una cuaterna armnica: S , T ; Q, P 1 .
Demostracin.
(S , T , Q, P) ^(S , R, A, C ) ^(S , T , P, Q) , luego S , T ; Q, P S , T ; P, Q
D B 1
, y por
S ,T ; Q, P
tanto S , T ; Q, P 1 S , T ; Q, P 1 . Puesto que Q P slo queda la posibilidad
2
S ,T ; Q, P 1 .
2.3.10 Proposicin. Conjugados armnicos expresados en coordenadas proyectivas.
Sea un cuadringulo completo ( A, B, C, D) en el que tomamos la referencia proyectiva
( P, Q, D; B) . Entonces T P Q y S P Q .
En general, si T P Q , entonces S P Q .
Demostracin.
T DB T D B D P Q D D P Q D
D P Q
Pero T PQ 0 T P Q P Q P Q
(las coordenadas proyectivas se pueden multiplicar por cualquier constante).
2.3.11 Lema.
Si a (a0 , a1 , a2 ) , b (b0 , b1 , b2 ) y c (c0 , c1 , c2 ) son tres vectores linealmente
dependientes, entonces
a0 b0 c0 b0 a0 c0
(c0 , c1 , c2 ) (a0 , a1 , a2 ) (b0 , b1 , b2 )
a1 b1 c1 b1 a1 c1
2.3.12 Proposicin.
Sean cuatro puntos alineados A (a0 , a1 , a2 ) , B (b0 , b1 , b2 ) , C (c0 , c1 , c2 ) , y
D (d 0 , d1 , d 2 ) de modo que la recta que los contiene no pasa por (0,0,1). Entonces
a0 c0 b0 d0
a1 c1 b1 d1
[ A, B; C , D]
a0 d 0 b0 c0
a1 d1 b1 c1
Demostracin.
Para determinar la nica parametrizacin de la recta ABCD que manda (0,1), (1,0) y
(1,1) respectivamente a A, B y C, escribiremos C como combinacin lineal de A y B:
Pero
a0 b0 0
a0 b0
a1 b1 0 0
a1 b1
a2 b2 1
c0 b0 a0 c0
c1 b1 a c1
Sea y 1
a0 b0 a0 b0
a1 b1 a1 b1
2.3.13 Proposicin.
Sea {A, B, C} una referencia proyectiva de una recta. A (1,0) , B (0,1) , C (c1 , c2 )
y X ( x1 , x2 ) , y por tanto
1 c1 0 x1
0 c2 1 x2 c2 ( x1 ) c2 x1
( A, B; C , X )
1 x1 0 c1 x2 (c1 ) c1 x2
0 x2 1 c2
Luego
c2 1
( A, B; C , A) no definido (" " )
c1 0
c 0
( A, B; C , B) 2 0
c1 1
c c
( A, B; C , C ) 2 1 1
c1 c2
(a, b; c, d )
a, cb, d 0c2 1 d 2 c2 (d1 ) c2 d1
a, d b, c 1 d1 0 c1 d 2 (c1 ) d 2 c1
0 d 2 1 c2
2.3.17 Corolario.
Toda transformacin armnica es una colineacin.
Demostracin.
Sea f : P 2 ( IR) P 2 ( IR) una transformacin armnica y supongamos que A, B y C
son tres puntos alineados. Sea D su cuarto armnico. Entonces
1 A, B; C, D f ( A), f ( B); f (C), f ( D) , luego f ( A), f ( B); f (C), f ( D) estn
alineados, y por tanto en particular f ( A), f ( B); f (C ) estn alineados.
2.3.18 Proposicin.
Toda colineacin f : P2 ( IR) P2 ( IR) es una transformacin armnica.
Demostracin.
Sean A, B, C, D cuatro puntos alineados en P( IR 2 ) tales que ( A, B; C, D) 1 .
Por ???? existirn cuatro puntos auxiliares fuera de la recta que determinarn una figura
????. Luego mediante la colineacin f se transformarn en una configuracin ???? de la
que deduciremos que ( f ( A), f ( B); f (C), f ( D)) 1 , es decir, es una transformacin
armnica.
2.3.19 Corolario.
Toda colineacin f : P2 ( IR) P2 ( IR) es una homografa.
Demostracin.
Sea f : P2 ( IR) P2 ( IR) una colineacin. La referencia proyectiva 0,1, x , y se
transformar en una referencia proyectiva 0' ,1' , ' x , ' y .
Por ???? sabemos que existir una homografa g : P2 ( IR) P2 ( IR) tal que
g (0' ) 0, g (1' ) 1, g (' x ) x , g (' y ) y .
Toda homografa es una colineacin por ????, luego la composicin h g f ser una
colineacin h : P2 ( IR) P2 ( IR) tal que h(0) 0, h(1) 1, h( x ) x , h( y ) y .
Por el lema ???? la funcin h : P2 ( IR) P2 ( IR) inducir un automorfismo IR IR
que por ???? slo podr ser la identidad.
Por las observaciones anteriores ????, todos los puntos de l x y l y sern invariantes por
h, y por lo tanto todos los puntos de P2 ( IR) que no pertenecen a l sern invariantes.
Pero tambin lo sern los que estn en l , pues se pueden representar como la
interseccin de l y una recta que pasa por dos puntos fuera de l . Es decir, la funcin
h ser la identidad, y por tanto f g 1 ser la inversa de una homografa y por tanto
una homografa.
Observacin.
Esta demostracin se ha basado en el hecho de que el nico automorfismo de IR es la
identidad. Esto no sucede para otros cuerpos, como por ejemplo C.
2.4 Homografas.
2.4.1 Definicin. Homografa.
Una homografa es una aplicacin el plano en s mismo de la forma
f : P2 ( IR) P2 ( IR)
v M v
donde M es una matriz 3 3 invertible.
Esta aplicacin est bien construida, pues no depende del representante del punto:
v w v w f (v) Mv M (w) Mw f (w)
f (v) f (w) f (w)
Dicho de otro modo, las homografas son las proyectividades de un plano proyectivo en
s mismo.
2.4.2 Proposicin.
Todas las homografas son colineaciones, es decir, pasan puntos alineados a puntos
alineados.
Observacin. Ms adelante veremos que tambin se cumple el recproco: Toda
colineacin de P2 ( IR) es una homografa.
Demostracin.
Sea la homografa v Mv para cierta matriz invertible M.
Sean A, B, C tres puntos colineales del plano proyectivo. Es decir, existir una recta r
tal que A, B, C r . Dicho de otro modo, existir un vector v , r v , tal que.
Consideremos la recta s determinada por el vector w M 1 v . Veamos que esta recta
pasa por los tres puntos f (A) , f (B) y f (C ) :
w, f ( A) M 1 v, M A M 1 v M A v M 1 M A
v M 1 M A v A v, A 0
y el mismo argumento se aplica a f (B) y f (C ) .
Observacin. Esta demostracin indica que las rectas, al someterse a una homografa M,
se transformarn de la forma
v M 1 v
Demostracin.
En primer lugar, vamos a suponer que P0 (1,0,0) , P1 (0,1,0) , P2 (0,0,1) y
P3 (1,1,1) . En esta referencia, Q0 (a1 , a2 , a3 ) , Q1 (b1 , b2 , b3 ) , Q2 (c1 , c2 , c3 ) , y
Q3 (d1 , d 2 , d3 ) donde (d1 , d 2 , d3 ) (a1 , a2 , a3 ) (b1 , b2 , b3 ) (c1 , c2 , c3 ) .
Ninguno de estos escalares , , puede ser nulo, pues en ese caso tendramos a Q3 en
alguna recta Qi Q j .
Tomando la matriz
a1 b1 c1
M a2 b2 c2
a b c
3 3 3
Cumple las condiciones exigidas. Esta matriz cumple det M 0 porque los tres puntos
Q0 , Q1 , Q2 no estn alineados.
Para el caso general, basta tomar en primer lugar la matriz M 1 que enva que (1,0,0) ,
(0,1,0) , (0,0,1) y (1,1,1) a P0 , P1 , P2 , P3 , y la matriz M 2 que enva (1,0,0) , (0,1,0) ,
(0,0,1) y (1,1,1) a Q0 , Q1 , Q2 , Q3 . La matriz deseada es M 2 M11 .
Unicidad:
Supongamos que tenemos una homografa f f M tal que f ( Pi ) Pi , i 0,1,2,3 para
P0 (1,0,0) , P1 (0,1,0) , P2 (0,0,1) y P3 (1,1,1) .
a1 b1 c1
Si escribimos M a2 b2 c2 , entonces f ( P0 ) P0 implica
a c3
3 b3
1 a1 b1 c1 1 a1
0 0 a2 b2 c2 0 b1 a1 0 , a2 0, a3 0
0 a c3 0 c1
3 b3
De la misma forma, aplicando f ( P1 ) P1 y f ( P2 ) P2 llegamos a la conclusin de que
M tendr la forma diagonal
0 0 0
M 0 1 0 para ciertos tres escalares i 0 . Pero tambin f ( P3 ) P3 ,
0 0
2
luego
1 0 0 0 1 0
1 0 1 0 1 1 0 1 2 , es decir M Id .
1 0 0 1
2 2
En el caso general, supongamos que tenemos dos homografas f f M y g g N
cumplen f ( Pi ) g ( Pi ) Qi i 0, 1, 2, 3 . Entonces f g 1 (Qi ) Qi y por tanto, por el
resultado anterior, f g 1 (MN 1 ) MN 1 Id M N .
2.4.5 Proposicin.
Si r, s son dos rectas dobles distintas, entonces su punto de interseccin O r s ser
un punto doble:
O r f (O) f (r ) r
f (O) r s O f (O) O
O s f (O) f ( s) s
Adems, se da la situacin dual, es decir, toda recta determinada por dos puntos dobles
es doble:
r PQ, f ( P) P, f (Q) Q X PQ f ( X ) f ( P) f (Q) PQ
donde hemos aprovechado la propiedad de que todas las homografas son colineaciones
(2.4.2).
2.4.6 Lema.
Un punto P es doble si y slo si es un autovector del isomorfismo asociado a la
homografa.
Luego para encontrar los puntos fijos de una homografa debemos resolver la ecuacin
Det (M I ) 0
Esta ecuacin en se llama polinomio caracterstico y es de tercer grado.
2.4.7 Lema.
Toda homografa en el plano proyectivo real tiene por lo menos un punto fijo.
Demostracin.
Supongamos que f M para cierta matriz M invertible.
Los puntos fijos de f se corresponden con los valores propios de la matriz M, y stos
vienen dados por la ecuacin Det (M I ) 0
Es una ecuacin polinmica real de tercer grado, luego tendr al menos una solucin
real.
Esta solucin no puede ser 0 , pues en este caso Det (M ) 0 contradiciendo la
hiptesis de que M es invertible.
1 , 2 , 3 simples
I Homografa con tres nicos puntos dobles
rango ( A i I ) 2 i 1, 2, 3
1 simple y 2 , 3 imag. conjugadas Homografa con un solo punto doble y
II
rango ( A 1I ) 2 una sola recta doble no incidentes
II. Homografa con un solo punto doble y una sola recta doble no incidentes.
Corresponde al caso en que el polinomio caracterstico tiene una sola raz simple real y
dos imaginarias conjugadas. La homografa recibe el nombre de torsin proyectiva, el
punto doble, centro y la recta doble, eje.
Tomando el punto doble como punto (1,0,0) y la recta doble como x0 0 , la ecuacin
de la homografa resulta ser:
x0, 1 0 0 x0
,
x1 0 a1
1 a12 x1
x, 0 2
a22 x2
2 a1
IV. Homografa con un punto doble y una recta de puntos dobles que no inciden (homologa).
Corresponde al caso en que el polinomio caracterstico tiene una raz doble para la cual
el rango de la matriz A I es 1.
La homografa recibe el nombre en este caso de homologa, el punto correspondiente a
la raz simple se llama centro de homologa y la recta de puntos dobles se llama eje de
homologa.
Tomando como coordenadas el centro (1,0,0) y el eje de homologa como la recta
x0 0 , las ecuaciones quedan entonces:
x0, 1 0 0 x0
,
x1 0 2 0 x1
x, 0 0 2 x2
2
V. Homografa con un solo punto doble y una sola recta doble incidentes.
Corresponde al caso en que el polinomio caracterstico tiene una raz triple, para la cual
el rango de la matriz A I es 2.
Tomando como punto doble el (1,0,0) y la recta doble la x2 0 , las ecuaciones de la
homografa quedan:
x0, 1 a10 a20 x0
,
x1 0 1 a12 x1
x , 0 0 x
2 1 2
VI. Homografa con un punto doble y una recta de puntos dobles que inciden (homologa especial).
Corresponde al caso en que el polinomio caracterstico tiene una raz triple 1 , para la
cual el rango A I es igual a 1. En este caso el centro de homologa est en el eje y se
conoce como homologa especial.
Tomando el centro como el punto (1,0,0) y el eje como la recta x2 0 , las ecuaciones
de la homologa especial son
x0, 1 0 a20 x0
,
x1 0 1 a12 x1
x, 0 0 1 x2
2
Las homologas con el mismo centro y eje forman grupo.
VII. Identidad.
Corresponde al caso en que el polinomio caracterstico tiene una raz triple 1 , para la
cual el rango de la matriz A I es cero. Sus ecuaciones son
x0, 1 0 0 x0
,
x1 0 1 0 x1
x , 0 0 1 x
2 2
Las homografas con un mismo tringulo doble forman un subgrupo del grupo lineal
proyectivo PGL(2, IR) .
2.5 Homologas.
2.5.1 Definicin. Homografa central. Centro de una homografa.
De una homografa f : P 2 ( IR) P 2 ( IR) se dir que es central si existe un punto
C P 2 ( IR) tal que cada recta por C es doble, esto es, X C implica f (CX ) CX . A
un punto C con tal propiedad se le conoce como centro de la homografa. En particular,
basta considerar dos rectas diferentes por el centro para concluir con que el propio
centro es un punto doble (2.3.6).
2.5.2 Proposicin.
Para toda homografa f : P2 ( IR) P2 ( IR) se satisfacen las siguientes propiedades:
a) Si hay en P2 ( IR) dos rectas distintas de puntos dobles, entonces f es la identidad.
b) Si C es un centro de f , entonces C es doble.
c) f es la identidad si tiene dos centros distintos.
d) Si f es central con centro C y r es una recta doble que no pasa por C, entonces todo
punto de r es doble.
Demostracin.
a) Tmense dos puntos diferentes en r s y otros dos puntos diferentes en s r . La
eleccin de estos cuatro puntos garantiza que forman un smplex en el cual la funcin f
es la identidad, y por el Teorema Fundamental de la Geometra Proyectiva se cumplir
que f Id . Eso s, para que este razonamiento funcione es preciso contar con al menos
tres puntos en cada recta. Por otro lado, que haya al menos tres puntos en cada recta
proyectiva sobre un cuerpo K equivale a afirmar la existencia de al menos dos escalares
en el cuerpo K. Pero en cada cuerpo hay al menos dos elementos, el 0 y el 1, lo que
acaba de probar a).
b) Est demostrado en 2.3.6.
c) Supongamos que la homografa tiene dos centros distintos C1 y C2 . Luego por b)
sern puntos dobles. Y para cualquier punto X P2 ( IR), X C1 , C2 , las rectas C1 X y
C2 X son rectas dobles, luego X ser un punto doble por 2.3.6, es decir, f ( X ) X .
d) Si X r , X r XC interseccin de dos rectas dobles, luego ser un punto doble
por 2.3.6.
Observacin: El apartado c) nos indica que una homologa tendr un nico punto
central.
Demostracin.
Por definicin, existir un punto X tal que Y f ( X ) X . Luego X C , pues
f (C ) C .
La recta CX es doble, luego Y f ( X ) CX .
Consideremos ahora una recta r CX que pase por X. Tenemos que f (r ) r pues en
caso contrario X CX r sera un punto doble (2.3.6).
Veamos que A r f (r ) es un punto doble. En efecto, A C entonces
r AX CX sera una recta doble. Luego A CA r , luego f ( A) CA por ser CA
doble y f ( A) f (r ) , pero CA f (r ) A pues
A r f (r ) A CA r A CA f (r ) , luego
f ( A) CA f (r ) A f ( A) A es decir, es un punto doble.
Por cada punto del plano proyectivo pasan al menos tres rectas diferentes, luego
podemos considerar una recta s que pasa por A con s r y s CA .
Y repitiendo el razonamiento anterior se llega a que B s f (s) es un punto doble.
Puesto que A B (por qu?), tenemos una recta AB determinada por dos puntos
dobles, luego es una recta doble.
Por ltimo, o bien C AB , y por tanto 2.3.8(d) garantiza que la recta AB sea de puntos
dobles, o bien C AB , y por tanto en la recta AB tenemos tres puntos dobles. La
restriccin de f a la recta AB ser una proyectividad que deja fijos estos tres puntos,
luego, por el Teorema Fundamental de la Geometra proyectiva, la funcin f ser la
identidad en la recta AB, es decir, que la recta AB ser una recta de puntos fijos de la
funcin. La unicidad del eje queda asegurada por 2.3.8(a).
2.5.5 Proposicin.
Una homologa f queda determinada por su centro C, su eje central r y un par de
puntos homlogos P y f (P) con P C, P r .
Demostracin.
Sea un punto cualquiera X CP . Localizamos el punto Q XP r . Por un lado,
f ( X ) CX por ser CX una recta doble, y por otro
X QP f ( X ) f (QP) f (Q) f ( P) Qf ( P) por ser Q un punto doble, luego
f ( X ) CX Qf ( P) .
Demostracin.
Sea un punto X, y Q CX r .
Sea Y CX , y Q ' CY r .
Sea P XY r . Entonces Y XY XP f (Y ) f ( X ) f ( P) f ( X ) P .
Por otro lado Y CY f (Y ) CY CQ' .
Luego la perspectiva por P de la recta CQ' en CQ enva los puntos C, Y , f (Y ), Q' a
C, X , f ( X ), Q , y puesto que toda perspectiva conserva la razn doble,
C, X ; f ( X ), Q C,Y ; f (Y ), Q' es invariante.
2.5.8 Proposicin.
Dos homologas generales con el mismo eje conmutan si y slo si tienen el mismo
centro.
Demostracin.
2.6.2 Proposicin.
Las homologas involutivas son, exactamente, las de razn 1.
2.7 Proyectividades entre rectas.
2.7.1 Proposicin. Proyectividades entre dos rectas.
Sea f : r s una funcin entre dos rectas proyectivas. Entonces son equivalentes:
a) Existe una parametrizacin : P1 ( IR) r tal que f es una parametrizacin de s.
b) Para cada parametrizacin : P1 ( IR) r se tiene que f es una parametrizacin
de s.
c) Para cada parametrizacin : P1 ( IR) r y cada parametrizacin : P1 ( IR) s , se
tiene que 1 f es un cambio de variable en P1 ( IR) .
d) Existen parametrizaciones : P1 ( IR) r y : P1 ( IR) s tales que 1 f es
un cambio de variable en P1 ( IR) .
Demostracin.
a) b) Supongamos que existe una parametrizacin : P1 ( IR) r tal que f es
una parametrizacin de s.
Sea ' : P1 ( IR) r cualquier otra parametrizacin de r. Por el lema 2.2.11, '
para un cierto cambio de variable . Luego f ' f f donde
f es una parametrizacin de s, luego, nuevamente por 2.2.11 ser una
parametrizacin de s.
b) c) f es una parametrizacin de s, por hiptesis. Luego por 2.2.11,
f ' para cierto cambio de variable . Por consiguiente, '1 f es un
cambio de variable.
c) d ) evidente.
d ) a) Si 1 f es un cambio de variable, entonces 1 f f ser
una parametrizacin de s por el lema 2.2.11.
Demostracin.
Sea la nica parametrizacin de r tal que (1,0) A , (0,1) B y (1,1) C . Sea '
la nica parametrizacin de s tal que ' (1,0) A' , ' (0,1) B' y ' (1,1) C ' . La
existencia y unicidad de dichas parametrizaciones qued demostrada en 2.2.8.
La funcin f ' 1 : r s satisface f ( A) A' , f ( B) B' y f (C ) C ' y adems es
una proyectividad, pues f ' 1 ' es una parametrizacin de s y aplicamos
2.7.1(a).
Veamos que adems es nica. Si existiera otra proyectividad g : r s tal que
g ( A) A' , g ( B) B' y g (C ) C ' , entonces utilizando la parametrizacin de r
anterior, f y g seran parametrizaciones de s tales que
g (1,0) f (1,0) A' , g (0,1) f (0,1) B' y g (1,1) f (1,1) C' ,
luego por la unicidad de 2.2.8, g f , y por ser biyectiva, g f .
2.7.3 Proposicin.
Toda homografa subordina una proyectividad entre los elementos de dos rectas
homlogas (o entre dos haces homlogos en el dual).
Demostracin.
Tomando los sistemas de coordenadas de manera que las dos rectas correspondientes r y
r sean respectivamente x 0 y x' 0 , las ecuaciones de la homografa resultan ser de
la forma
x' 1 0 0 x
1
y ' a0 a1 a2 y
1 1
z ' a 2 a 2 a 2 z
0 1 2
Demostracin.
Sea
: P1 ( IR) r
( , ) (a1 b1 , a2 b2 , a3 b3 )
una parametrizacin de la recta r.
Supongamos que el punto O tiene por coordenadas O (O1 , O2 , O3 ) .
La recta OP tendr como ecuacin
x y z
0 O1 O2 O3
a1 b1 a2 b2 a3 b3
O2 O3 O1 O3 O1 O2
, ,
a2 b2 a3 b3 a1 b1 a3 b3 a1 b1 a2 b2
Demostracin.
Es la funcin inversa de la proyectividad definida en 2.5.2, luego es una proyectividad.
f :r s
P OP s
La funcin f definida de esta manera es una proyectividad, que recibe el nombre comn
de perspectividad. El punto O se llama centro de la perspectividad.
O
Notacin: Escribiremos r s
^
Demostracin.
Es la composicin de dos proyectividades (seccin y proyeccin), luego es una
proyectividad.
2.7.7 Observaciones.
Se evidencia que toda perspectividad es una biyeccin as como que el punto de
interseccin r s es el nico punto doble de la misma (punto que se aplica en s
mismo).
Una propiedad elemental afirma que si r s entonces la perspectividad es la identidad,
luego la identidad constituye una perspectividad de centro cualquier punto del plano que
no se site en la recta dominio. Otra obviedad proviene del hecho de que la inversa de
una perspectividad es otra perspectividad del mismo centro.
2.7.8 Ejemplo.
Tomamos en IR 2 las rectas r : x 1 , s : y 1 y el punto P (0,0)
1
La recta q q tendr por ecuacin y x y su interseccin con s ser el punto ,1
1
Pensando f como funcin entre los parmetros de las rectas tenemos f ( )
2.7.9 Ejemplo.
Sean p (1,3) , r 2s 1, s 2 | s R y s t 1,2 t | t R. Queremos escribir la
proyeccin f de r en s desde p como una funcin entre los parmetros correspondientes.
Solucin.
Sea q 2s 1, s 2 un punto genrico de r.
La recta pq tendr como vector director pq q p (2s, s 1) luego tendr asociada la
ecuacin
x 1 y 3
2s s 1
2
As pues, la funcin deseada es f ( s) .
3s 1
1
Esta funcin no est definida para s pues en este caso las rectas son paralelas.
3
2.7.10 Proposicin.
Sean r y s dos rectas diferentes de P2 ( IR) , sea O r s y f : r s una proyectividad.
Entonces f es una perspectividad f (O) O .
Demostracin.
Una demostracin sinttica se encuentra en 5.7.5. Una demostracin puramente
analtica puede ser la siguiente:
Hay que demostrar que las rectas X f (X ) son todas concurrentes en un cierto punto
P, pues entonces tendremos que
f (X ) s
X r , f ( X ) s X P
f ( X ) X f ( X ) X P
f ( X ) ( u v) ( u) ( v) u w
Luego X f ( X ) u v, u w
Sean , , las abscisas respectivas de ( A), ( B), (C ) en la referencia {A' , B' ; C '} .
( )( x' )
Por 2.4.7 se cumple ( ( A), ( B); (C ), ( X ))
( x' )( )
Luego
( )( x' )
x
( x' )( )
en donde 0 0 , y 1 1
0 1 x
x' (Ecuacin explcita de )
0 1 x
0
Para todo x excepto para 0 1 x 0 x
1
Luego se conviene, porque no hay otra posibilidad, en que el punto de r de abscisa
0
se aplica por en el punto del infinito de s.
1
0 1 x
x'
0 1 x
2.7.12 Corolario.
Toda biyeccin : r s entre dos rectas proyectivas sobre un mismo cuerpo K que
conserva la razn doble es una proyectividad.
Demostracin.
Supongamos que el punto X de r de coordenadas homogneas x0 , x1 se aplica en el
punto X de s de coordenadas x0' , x1' .
Puestos en el caso de que X no es el punto del infinito de r ni es un punto lmite (X no
es el punto impropio de s), resulta lcito el paso a cartesianas haciendo
x x'
x 0 x' 0'
x1 x1
Slo nos queda comprobar que se cumple tambin para los casos en que no podemos
aplicar la ecuacin explcita.
2.7.13 Corolario.
Toda composicin de perspectividades entre rectas del mismo plano son
proyectividades.
Demostracin.
Sabemos que toda perspectividad conserva las razones dobles, luego es una
proyectividad, y la composicin de homografas es una proyectividad.
2.7.14 Teorema.
Sea f : r s una biyeccin entre rectas de un mismo plano proyectivo. Entonces, son
equivalentes:
a) f conserva razones dobles.
b) f es una proyectividad.
c) f se descompone en composicin de perspectividades.
Demostracin.
a) b) es el teorema anterior del anterior.
b) c) es el teorema 2.5.8.
c) a) Toda perspectividad conserva razones dobles, y la composicin de dos
funciones que conserven razones dobles tambin las conservar.
2.7.15 Teorema.
Una condicin necesaria y suficiente para que una proyectividad f entre dos rectas r y s
del mismo plano sea una perspectividad es que el punto de interseccin de r con s
constituya un punto doble.
Demostracin.
Sea una proyectividad : r s . Sea P r s .
Si es una perspectividad, claramente ( P) P .
Recprocamente, supongamos que ( P) P . Sea A=P y tomamos dos puntos B y C de
r diferentes entre ellos. Sea O B ( B) C (C ) .
La perspectividad : r s con centro en O cumple ( A) A ( A) , ( B) ( B) y
(C ) (C ) , luego y tienen idntico comportamiento sobre el smplex A, B, C,
y por tanto , es decir, se trata de una perspectividad.
0 1 x
x' 0 1 x x' 0 1 x 0 x' 1 x x' 0 1 x
0 1 x
1 x x'1 x 0 x'0 0
Se cumple AD BC 0 . En efecto AD BC 1 (0 ) (1 )0 10 10 0
C
Los puntos lmite vienen dados por aquellos cuyas abscisas respectivas son x y
A
B
x'
A
Un punto doble de f ser aquel que cumpla x x' , y por tanto ser solucin de la
ecuacin Ax 2 ( B C ) x D 0 .
Esta ecuacin en general ser de segundo grado, pero puede ser de primer grado si
A 0 , e incluso de grado cero si es la identidad.
Con dos soluciones, en cuyo caso diremos que es una proyectividad hiperblica, con
una nica solucin, y se la llamar parablica, y sin ninguna solucin, y se hablar de
proyectividad elptica.
2.7.18 Proposicin.
Sean cuatro puntos diferentes A, B, C, D de una recta. Entonces
A, B, C, D^ B, A, D, C
Es decir, existe una proyectividad con la que se intercambian A y B y tambin C y D.
Demostracin.
Slo hay que observar la siguiente figura:
S A U
A, B, C, D ^T ,U ,V , D^S ,W ,V , C ^B, A, D, C
2.8 Clasificacin de las proyectividades entre rectas.
2.8.1 Teorema. Clasificacin de las proyectividades entre dos rectas.
Suponiendo que un autovalor es 1, las posibles formas cannicas de Jordan sern:
a) Si hay un nico autovalor (con multiplicidad 2) y la matriz es diagonalizable, la
1 0
forma cannica de Jordan sera . En este caso, la proyectividad sera la
0 1
identidad.
b) Si hay un autovalor doble y la matriz no es diagonalizable, la forma cannica de
1 0
Jordan sera (ver 2.7.2)
1 1
1 0
c) Si hay dos autovalores distintos, la forma cannica de Jordan sera , con
0
1 . (ver 8.7.1)
2.8.2 Proposicin.
Sea f : r r una proyectividad de una recta proyectiva en s misma cuya matriz
1 0
respecto de alguna referencia proyectiva es . Entonces f tiene un nico punto
1 1
invariante p0 , y se tiene que
p0 , p; f ( p), f ( f ( p)) 2
para cualquier p r { p0} . Por tanto, f est determinada conociendo p0 y la imagen
de un punto distinto de l.
Demostracin.
1 0
En las coordenadas respecto a las cuales la matriz de f es , se tiene
1 1
inmediatamente que p0 (0,1) es el nico punto invariante. Un punto p distinto de p0
se puede escribir con coordenadas (1, a) , luego f ( p) tendr coordenadas (1, a 1) y
f ( f ( p)) tendr coordenadas (1, a 2) . Bajo la referencia po , p, f ( p) (que ya est
normalizada, pues (1, a 1) (1, a) (0,1) ), tenemos que
Demostracin.
Entre los puntos A, B y C al menos dos de ellos no sern el punto O de interseccin de
las dos rectas. Supongamos que son A y B.
De la misma forma, entre A, B y C al menos dos no sern el punto O. Supongamos
que son A y B.
Tomamos la referencia A, B, A' ; B'. Entonces A (1,0,0) , B (0,1,0) , A' (0,0,1) y
B' (1,1,1) .
C AB : z 0 C (a, b,0) Pero C A b 0 luego dividiendo por b nos queda
C (a,1,0) .
C' A' B': x y C' (c, c, d ) Pero C' A' c 0 luego dividiendo por c nos queda
C ' (1,1, d ) .
AB ': y z
x 0 0
X AB ' A' B (0,1,1)
A' B : 0 y 0 1 x 0
z 1 0
x 1 1
AC ': 0 y 0 1 z dy
z 0 d
Y AC ' A' C (a,1, d )
x 0 a
A' C : 0 y 0 1 x ay
z 1 0
x a 1 a ( y z ) ( x z ) 0
ay az x z 0
CB': 0 y 1 1
(a 1) z x
z 0 1 y (a 1)d 1
a Z CB 'C ' B 1, ,d
x 1 0 a
C' B : 0 y 1 1 z dx
z d 0
0 a 1
a 1 a 1
1 1 ((a 1)d 1) / a
d d 1 ((a 1)d 1) / a
1 d d
(a 1)d 1
(ad d ) a 1 d ad (a 1)d 1 1
a
d ad d d 1 1 0
Demostracin.
2.10 Teorema de Desargues.
Demostracin.
Sea el punto R' BC PQ . Queremos demostrar que R R' (Pues entonces
R R' PQ y por tanto estn alineados).
Consideremos la homologa de centro O, eje central PQ y ( A) A' .
Entonces
( B) (( AB PQ) A' ) OB B'
(C) (( AC PQ) A' ) OC C'
luego enva la recta BC a B'C ' .
Tenemos que R es un punto fijo pues pertenece a PQ, y por otro lado
R' BC ( R' ) ( BC ) B' C' .
Por tanto, R' ( R' ) ( BC ) B' C' R' BC B' C' R
Las ternas (ABC) y (PQR) cumplen las condiciones del teorema de Pappus, luego los
puntos A' Q BP r s O , BR CQ A y A' R CP , al que denominaremos X
estarn alineados. Luego slo hay que trazar la recta que pasa por A y A' R CP .
2.10.4 Proposicin.
Si tenemos tres rectas r1, r2 y r3 coincidentes en un punto O, una perspectiva de centro P
f : r1 r2 , A A' , B B' , C C'
y una perspectividad de centro R
g : r2 r3 , A' A' ' , B' B' ' , C' C ' '
Los tringulos AAA y BBB tienen un centro de perspectiva O, luego los puntos
P AA'BB' , R A' A' 'B' B' ' y Q1 AA' 'BB' ' estn alineados.
Y por ltimo, los tringulos AAA y CCC tienen un centro de perspectiva O, luego
los puntos P AA'CC' , R A' A' 'C' C' ' y Q3 AA' 'CC ' ' estn alineados. Y con el
mismo razonamiento anterior se comprueba que Q Q1 Q2 Q3 es el punto buscado.
3 El plano afn en el contexto proyectivo.
3.1 La inmersin del plano afn en el proyectivo.
3.1.1 Definicin. La inmersin cannica.
Todo elemento de IR 2 se puede considerar dentro de P 2 ( IR) bajo la inmersin
i : IR 2 P 2 ( IR)
( x, y ) i( x, y ) ( x, y,1)
Esta inmersin mantiene las rectas de IR 2 , (es decir los conjuntos de la forma
ax by c 0 con a y b no ambos nulos) dentro de las rectas proyectivas
ax by cz 0.
A raz de la inclusin anterior, consideraremos siempre el espacio afn IR 2 como
subconjunto del plano proyectivo: IR 2 P 2 ( IR) .
Esta recta proyectiva ser la recta de puntos del infinito del plano proyectivo.
p1 v1, p2 v2 , 1
p v1 p2 v2 1
, p1 v1 , p2 v2 ,
1
Multiplicando por nos queda 1 ,
Y ahora 0 p1 v1 , p2 v2 , v1 , v2 ,0
Por otro lado, las rectas de A se pueden considerar como conjuntos de puntos de la
forma ax by c 0
ax by c 0 (a, b, c), ( x, y,1) 0
Es decir, son los puntos del plano proyectivo de la recta (a, b, c) . Pero adems esta
recta incluye el punto impropio b, a,0 .
3.1.3 Paralelismo.
Diremos que dos rectas del plano proyectivo son paralelas cuando su punto de
interseccin est en la recta del infinito A (0,0,1) .
La recta s que pasa por un punto P y es paralela a una recta r ser pues la recta que pasa
por P y por el punto del infinito de la recta r:
s PQ donde Q r A
Veamos con un ejemplo las diferencias entre los mtodos afn y proyectivo para
encontrar la recta paralela a una dada por un punto exterior:
Sean los puntos del plano afn A (1,3) , B (4,5) y C (4,1) . Queremos determinar la
recta r que pasa por C y es paralela a AB .
En el plano proyectivo:
Estos puntos en el plano proyectivo sern A (1,3,1) , B (4,5,1) y C (4,1,1) .
La recta AB ser AB A B (2,3,7) y por tanto su punto del infinito ser
P AB A (2,3,7) (0,0,1) (3,2,0)
La recta buscada ser CP (4,1,1) (3,2,0) (2,3,5) 2 x 3 y 5z 0 , es decir, la
inmersin de la recta afn 2 x 3 y 5 0 . Observamos que obtenemos el mismo
resultado.
3.2 Razn doble y razn simple.
3.2.1 Definicin. Razn simple.
Dados tres puntos alineados A, B, C A2 ( IR) , y sea AB AB r , definimos su
razn simple (A,B,C) por
( A, B, C ) ( A, B; C, AB )
3.2.2 Proposicin.
AC
( A, B, C )
BC
Demostracin.
3.3 Transformaciones afines en el contexto proyectivo.
3.3.1 Definicin. Afinidad.
Sea el plano proyectivo real P2 ( IR) en el que se distingue la recta del infinito l .
Se llama afinidad a toda homografa que deje fija la recta del infinito: f (l ) l , o
dicho de otro modo, cuando la recta del infinito sea doble.
Recprocamente, dada cualquier transformacin afn como (2), podemos construir una
matriz del tipo (1), claramente invertible, que ser una extensin de la transformacin
afn a todo el plano proyectivo y que dejar fija la recta del infinito.
As pues, tenemos un isomorfismo de grupos
Af (2) f Pr(2) | f (l ) l
es decir, las transformaciones que dejan invariante la recta del infinito se pueden
identificar con las transformaciones afines.
3.4 Teorema de Pappus en el contexto afn.
3.4.1 Teorema. Versin afn del teorema de Pappus.
Sean (A, B, C) una terna de puntos distintos de una recta r de un plano afn, y (P, Q, R)
otra terna de puntos situados sobre otra recta s. Supongamos que O r s {A, B, C} ,
y se cumple AQ // BR y AP // CR . Entonces PB // QC .
Demostracin.
En un contexto proyecto, AQ // BR AQ BR X r , y
AP // CR AP CR Z r .
Reordenando la segunda terna a (R, Q, P), observamos que se dan las condiciones del
teorema de Pappus, de donde deducimos que BP CQ Y r por estar los tres
alineados, luego BP // CQ en un contexto afn.
Demostracin.
Es un caso particular del teorema anterior cuando O r s r .
3.5 Teorema de Desargues en el contexto afn.
3.5.1 Teorema. Versin afn del teorema de Desargues.
El teorema de Desargues produce varias versiones afines dependiendo de la cantidad de
sus elementos que sean arrebatados por la recta del infinito.
Sean (A, B, C) y (A, B, C) dos ternas de puntos de un plano afn tales que, o bien
AA' , BB ' y CC ' se cortan en un punto O, o bien las tres rectas son paralelas entre s.
a) Si P AC A'C' , Q AB A' B' y R BC B'C' , entonces R PQ .
b) Si AC // A' C ' y AB // A' B' entonces BC // B' C ' .
c) Si AC // A' C ' , Q AB A' B' y R BC B'C' , entonces QR // AC // A' C ' .
Demostracin.
La demostracin se reduce a aplicar el teorema de Desargues o su recproco en el plano
proyectivo en el que se sumerge el afn y examinar las distintas posibilidades para la
recta impropia segn contenga o no el centro de homologa y a los puntos P, Q y R del
eje de homologa.
3.6 Clasificacin afn de proyectividades.
3.6.1 Definicin. Homotecia.
Una homotecia es una homologa general cuyo eje central es la recta del infinito.
Demostracin.
AC
(ABC)
BC
a c
Luego A, C a c AC , y de la misma manera B, D BD ,
1 1
A, D AD , y B, C BC , y por tanto
(a, b; c, d )
a, cb, d AC BD AC BD
AC BC
a, d b, c AD BC
/
AD BC AD BD
m ( A, B; C, D)
ABC AC / AD AC BD
ABD BC BD BC AD
Observacin: Consideramos las medidas de segmentos con signo: BA AB .
A, B ; C, D AC BD m
BC AD
B, A ; C, D BC AD 1
AC BD m
A, B ; D, C AD BC 1
BD AC m
D, B ; C, A DC BA CD AB CD AB n
BC DA BC AD BC AD
Equivalentemente,
AC BD
( A, B; C , D) 1 AC BD AD BC AC BD AD CB
AD BC
Corolario.
Si A, B, M, N es una cuaterna armnica, entonces A y B son inversos respecto de la
circunferencia de dimetro MN.
Demostracin.
AM BN AM BN AM MB
1 ( A, B; M , N )
AN BM AN BM AN BN
Proposicin.
Si ( A, C; B, D) 1, y O es el punto medio del segmento AC, entonces
OB OD OC 2 OA2 .
Demostracin.
AB CD
1 ( A, C; B, D) AB CD AD CD
AD CB
Insertamos el origen O: OA OC
(OB OA)(OD OC) (OD OA)(OB OC)
(OB OC)(OD OC) (OD OC)(OB OC)
OD OB OC OD OC OB OC 2 OB OD OC OD OB OC OC 2
2OD OB 2OC 2
OD OB OC 2 OA2
Observacin 1: En la razn doble de un haz, los ngulos y por lo tanto sus senos llevan
el signo que les corresponde, segn el sentido en que se cuentan los ngulos positivos.
Observacin 2: Por consideraciones anlogas a las expuestas en XXXX, probaramos
que de las 24 relaciones que pueden formarse agrupando de distinto modo las cuatro
rectas O A, O B, OC, OD, solo seis son distintas, y que de estas, tres son inversas de las
otras tres.
Entonces la razn doble de los puntos A, B, C, D es igual a la razn doble de las rectas
OA, OB, OC, OD.
Demostracin.
Trazamos la perpendicular a la recta ABCD por O
AC OP
OA OC sen AOC AC OP sen AOC
OA OC
BD OP
OB OD sen BOD BD OP sen BOD
OB OD
BC OP
OB OC sen BOC BC OP sen BOC
OB OC
AD OP
OA OD sen AOD AD OP sen AOD
OA OD
AC OP BD OP
sen AOC sen AOD sen AOC sen BOD OA OC OB OD
:
sen BOC sen BOD sen BOC sen AOD BC OP AD OP
OB OC OA OD
AC BD
OA OB AC BD
BC AD BC AD
OB OA
4.2.5 Teorema.
Dados dos sistemas de cuatro puntos A, B, C, D el primero, A', B', C', D' el segundo,
sobre dos rectas r y r', en los que se corresponden los puntos A, A'; B, B'; C, C'; D, D';
y tales que las rectas AA', BB' , CC', DD', que unen los puntos homlogos o
correspondientes, concurren en un punto O, la razn doble del sistema ABCD ser igual
a la del A'B'C'D'.
Demostracin: Efectivamente, ambas razones dobles son iguales a la razn doble del
haz de rectas OABCD.
4.2.6 Teorema.
Dados sobre dos rectas r, r' dos sistemas, de cuatro puntos cada uno, A, B, C, D el
primero, A, B, C, D el segundo, cuyas razones dobles sean iguales, siempre pueden
colocarse dichos sistemas sobre un mismo haz. Es decir, de tal modo que las rectas
AA, BB, CC y DD, que unen los puntos correspondientes, concurran en un mismo
punto O.
Sea D' ' el punto de corte entre la recta ABCD y la recta OD. Queremos ver que
D D' ' .
Puesto que ambos grupos de cuatro puntos tienen la misma razn doble, por el teorema
anterior se cumplir
AC BD A' C 'B' D'
BC AD B' C ' A' D'
Pero tambin
A' C 'B' D' AC BD ' '
puesto que son dos grupos de cuatro puntos en perspectiva
B' C ' A' D' BC AD ' '
(????).
Luego
AC BD AC BD' ' BD BD' ' BD DD' '
BC AD BC AD' ' AD AD' ' AD DD' '
Teorema.
La razn doble de la perspectiva (o dicho de otro modo de la proyeccin cnica) de
cuatro puntos situados sobre una recta, es igual la razn doble de dichos cuatro puntos.
Observacin. Como el teorema anterior subsiste sea cual fuere la posicin del punto O,
resulta que an se verificar cuando se halle en el infinito, y por lo tanto, para la
proyeccin cilndrica.
Definicin.
Cuando una propiedad, ya de posicin geomtrica, ya de relacin mtrica, subsiste en la
proyeccin de una figura, se dice que la relacin de que se trata es proyectiva. Dedcese
de esta definicin, y de lo demostrado en los nmeros 30 y 31 , que la razn doble de
cuatro puntos en lnea recta, y la de un haz, son relaciones proyectivas.
Consideraciones generales.
Muchos de los mtodos empleados en la moderna geometra se reducen a uno general,
conocido con el nombre de transformacin de figuras. Trasformar la figura propuesta en
otra, en la que sea mas fcil que en aquella determinar ciertas relaciones, y pasar de esta
segunda figura auxiliar a la primitiva, es la esencia, por decirlo as, de dicho mtodo.
Uno de los sistemas empleados con este fin es el de la proyeccin cnica: basta en
efecto proyectar la figura dada de tal suerte que se simplifique, por decirlo as, su forma;
y, estudiada su proyeccin, toda propiedad de esta ltima que sea proyectiva, ser
propiedad de la figura propuesta y aun de todas las secciones planas del cono
proyectante. Y sin embargo, en una sola, y la ms sencilla, y la ms propia para el caso,
ha sido demostrada.
Presentemos un ejemplo.
Sabido es que todo cono de segundo grado admite dos sistemas de secciones circulares;
pues bien, dada una cnica cualquiera C, en la que se desea estudiar tal o cual clase de
propiedades, considrese dicha cnica como base de un cono, determnese una de las
secciones circulares c, estdiense en el crculo las relaciones equivalentes a las que
deseamos estudiar en la cnica, y es claro que todas aquellas que sean proyectivas sern
aplicables a la cnica C, como a todas las secciones planas del cono proyectante. As
habremos reducido el estudio de la elipse, de la parbola y de la hiprbola al estudio del
crculo. Queda sin embargo en pie una dificultad: cules son las propiedades
proyectivas? Cuestin es esta que, planteada en toda su generalidad, no podemos
resolver; pero dedcese de lo expuesto, que las razones dobles lo son; y he aqu una de
las razones en que se funda su gran importancia en la moderna geometra.
4.3 Puntos en relacin armnica.
Demostracin.
Por el Teorema de Ceva aplicado al tringulo DEF se cumple
DA EG FC
1
AE GF CD
Por el Teorema de Menelao aplicado al mismo tringulo y la recta AC, se cumple
DA EH FC
1
AE HF CD
Luego
DA EG FC DA EH FC EG EH EG EH
1 1 : (1) : : : (E F G H )
AE GF CD AE HF CD GF HF FG FH
4.3.6 Proposicin.
Cada una de las tres diagonales de un cuadriltero completo est dividida
armnicamente por las otras dos.
Demostracin.
Sea un cuadriltero completo a, b, c, d . Sean A a d , B a b , C c b ,
D c d , E d b , F a c los vrtices asociados, y determinamos las tres
diagonales DB, AC y EF.
Demostremos la proposicin para la diagonal AC.
Sean G DB AC y H EF AC .
4.4.1 Teorema.
Sea ABC un tringulo en un plano proyectivo y tres puntos A ' BC , B' AC y
C ' AB . Las rectas AA' , BB ' y CC ' sern concurrentes en un punto P si y slo si para
cualquier recta r que no pase por ningun vrtice del tringulo, y siendo A' ' BC r ,
B' ' AC r y C' ' AB r , se cumpla
B, C; A', A' ' C, A; B', B' ' A, B; C', C' ' 1
Demostracin.
Podemos suponer las ecuaciones de las rectas involucradas:
AB : z 0 , BC : x 0 , AC : y 0 y r : x y z 0 .
Luego A=(1,0,0), B=(0,1,0), C=(0,0,1), C ' (1,1,0) , B' (1,0,1) y A' (0,1,1) .
A' ' (0,1, ) con 0 puesto que A' ' BC y A' ' B, C .
Luego AA' ' tendr por ecuacin y z 0 .
De la misma forma, B' ' ( ,0,1) con 0 puesto que B' ' AC y B' ' A, C .
Luego BB ' ' tendr por ecuacin z x 0 .
Y por ltimo, C ' ' (1, ,0) con 0 puesto que C ' ' AB y C ' ' A, B .
Luego CC ' ' tendr por ecuacin x y 0
Las tres rectas AA' ' , BB ' ' y CC ' ' se cortarn en un punto si y slo si
0 1
1 1
0 0 1 1 1 (*)
0 0 1
1 0
Calculamos ahora las tres razones dobles:
Normalizamos la referencia (B,C,A):
A' B C (0,1,1) (0,1,0) (1)(0,0,1) , y
A' ' aB bC (0,1, ) a(0,1,0) b(0,0,1) a 1, b
B, C; A' , A' ' 1 .
Normalizamos la referencia (C,A,B):
(1,0,1) (1)(0,0,1) 1(1,0,0)
Y determinamos las coordenadas de B en esta referencia:
( ,0,1) (0,0,1) (1,0,0) C , A; B' ' , B'
1
(1,1,0) (1,0,0) (1)(0,1,0)
(1, ,0) a(1,0,0) b(0,1,0) a 1, b
Demostracin.
Basta con aplicar el teorema anterior siendo r la recta del infinito. Entonces las tres
rectas sern concurrentes si y slo si
1 B, C ; A' , A' ' C , A; B' , B' ' A, B; C ' , C ' '
( B, C , A' ) (C , A, B' ) ( A, B, C ' )
BA' CB' AC ' AC ' BA' CB'
CA' AB ' BC ' C ' B A' C AB '
AC ' BA' CB'
1
C ' B A' C B' A
4.4.4 Corolario.
Sean A' ' a a' ' , B' ' b b' ' y C' ' c c' ' . Entonces
b, c; a', a' ' b a, c a; a'a, a' 'a B, C; A', A' ' , y de la misma forma
c, a; b', b' ' C, A; B', B' ' y a, b; c' , c' ' A, B; C' , C' ' .
Y el teorema anterior es equivalente a
B, C; A' , A' ' C, A; B' , B' ' A, B; C' , C' ' 1
4.4.5 Teorema de Menelao.
Sea ABC un tringulo y tres puntos A' BC , B' AC y C ' AB . Los puntos A, B y
C estn alineados si y slo si
AB ' CA' BC '
1
B' C A' B C ' A
Demostracin.
Tomamos un punto R que no pertenezca a AB, AC ni BC. Entonces los puntos
A' ' AR BC , B' ' AC BR y C' ' AB CR cumplen las condiciones del teorema
de Ceva y por tanto
AC ' ' BA' ' CB' '
1
C ' ' B A' ' C B' ' A
A B C
(Q, D, E, F ) ^( X , D, C , B) , (Q, D, E, F ) ^(Y ' , C , E, A) y (Q, D, E, F ) ^( Z ' , B, A, F ) .
Luego
X , D; C, B Y ', C; E, A Z ', B; A, F
Por otro lado
X , D; C, B X , C; B, D X , B; D, C XC DB XB CD XD BC 1
XB DC XB CB XC BD
X , D; C, B Y ', C; E, A X , C; B, D Y ', E; A, C
X , D; C, B Z ', B; A, F X , B; D, C Z ', F ; B, A
Luego
X , D; C, B Y ', E; A, C Z ', F; B, A 1 (*)
Y por tanto
XC Y ' A Z ' B XC YA ZB
1
XB Y ' C Z ' A XB YC ZA
XC ZB YA CX BZ YA
XB ZA YC XB ZA YC
Desarrollamos (*):
1 X , D; C , B Y ' , E; A, C Z ' , F ; B, A
XC DB Y ' A EC Z ' B FA
XB DC Y ' C EA Z ' A FB
XC Z ' B Y ' A EC DB FA
XB Z ' A Y ' C EA DC FB
XC BZ ' AY 'EC DB FA EC DB FA
XB Z ' A Y ' C EA DC FB EA DC FB
CE AF BD
1
EA FB DC
Axioma PP1: Por cada dos puntos diferentes pasa una nica recta.
Axioma PP2: Dos rectas cualesquiera tienen, al menos, un punto en comn.
Axioma PP3: Existen tres puntos no alineados.
Axioma PP4: Toda recta tiene al menos tres puntos.
5.1.2 Proposicin.
En un plano proyectivo incidental, dos rectas diferentes tienen un nico punto en
comn.
5.1.3 Proposicin.
Sean dos puntos P, Q y dos rectas r, s de un plano proyectivo.
Si P r, Q r, P s, Q s entonces P Q o r s .
5.1.4 Proposicin.
En todo plano proyectivo incidental, existen al menos dos rectas diferentes.
Demostracin.
Por el axioma PP3, existirn tres puntos A, B, C no alineados. Consideremos las rectas
AB y AC. Han de ser diferentes, pues de lo contrario A, B, C AB contradiciendo la
hiptesis.
5.1.5 Proposicin.
Dado un punto P de un plano proyectivo, existir al menos una recta r que no pasa por
P.
Demostracin.
Por el axioma PP3 existirn tres puntos A, B y C no alineados. Supongamos que P es
uno de ellos, por ejemplo P=A. Entonces P BC , pues de lo contrario los tres puntos
estaran alineados.
Si P no es ninguno de los tres puntos, supongamos que P AB y P AC . Entonces
AB AP AC , y los tres puntos A, B y C estaran alineados. Luego P no pertenecer
al menos a una de las dos rectas.
5.1.6 Proposicin.
Los axiomas PP3 y PP4 se pueden sustituir por el axioma PP3b:
Demostracin:
Por 5.1.4 existirn dos rectas diferentes r y s. Por el axioma PP2 las dos rectas se
cortarn en un punto P. No puede haber ningn otro punto de corte porque de lo
contrario seran iguales.
Por PP4 al menos existirn otros dos puntos A y B en r que no sean P, y dos puntos C y
D en s que tampoco sean P. Veamos que los puntos A, B, C y D forman un
cuadringulo completo. En efecto, supongamos que tres de ellos estn alineados, por
ejemplo A, B y C. Entonces C AB r , pero tambin P AB , luego s PC AB r
contradiciendo la hiptesis. De la misma forma de demuestra la imposibilidad de
obtener cualquier otro grupo de tres puntos alineados.
Por PP3b, existirn cuatro puntos A, B, C y D para los cuales ningn grupo de tres est
alineado. Basta tomar los puntos A, B, C o cualquier otro grupo de tres.
Sea r una recta. Por el axioma PP3b, existirn cuatro puntos A, B, C y D para los cuales
ningn grupo de tres pertenece a la misma recta, en particular a r.
a) Supongamos que ninguno de los cuatro puntos pertenece a r. Consideremos las rectas
AB , AC y AD . Existen por PP1, y cada una de ellas corta a r por PP2, es decir,
existen P AB r , Q AC r y R AD r . Estos tres puntos son diferentes, en
efecto, si por ejemplo P Q tendramos AC AP AQ AD , y por tanto los puntos
A, C y D seran colineales, contradiciendo la hiptesis. Luego hemos encontrado tres
puntos diferentes en r.
b) Supongamos que slo uno de ellos pertenece a r. Pongamos que A r y B, C, D r .
Consideremos las rectas BC , CD y BD . Cada una de ellas cortar a r por el axioma
P2, es decir, existirn P, Q y R tales que P BC r , Q CD r y R BD r .
Estos tres puntos sern diferentes, puesto que si, por ejemplo, P R tendramos
BC BP BR BD , y los puntos B, C y D estaran alineados, contradiciendo la
hiptesis.
c) Supongamos que dos de ellos pertenecen a r, pongamos que A, B r y C, D r .
Consideremos la recta CD , que por el axioma PP2 cortar la recta r en un punto
P CD r . El punto P no puede ser ni A ni B, puesto que si por ejemplo P A
tendramos CD CP CA y por tanto los puntos C, D y A estaran alineados.
5.1.7 Proposicin.
Todo plano proyectivo es un plano incidental.
5.1.8 Proposicin.
Por cada punto de un plano proyectivo pasan al menos tres rectas.
5.1.9 Proposicin.
El plano proyectivo real P2 ( IR) cumple los axiomas de plano proyectivo.
Demostracin.
Axioma PP1: Ver 2.2.3. Axioma PP2: Ver 2.2.5. Axioma PP3b: Ver 2.2.6. Axioma
PP5: Ver 2.2.6.
Un plano proyectivo papiano (PPP) ser aquel plano proyectivo incidental (es decir,
que cumpla los axiomas PP1 a PP5) y que adems cumpla el Postulado de Pappus
(PP6).
Un plano proyectivo arguesiano (PPA) ser aquel plano proyectivo incidental que
adems cumpla el Postulado de Desagues (PP7).
5.2.3 Observacin.
Todo tringulo (A, B, C) determina un triltero (a, b, c) donde a BC , b AC y
c AB .
De la misma forma, todo triltero (a, b, c) determina el tringulo (A, B, C) donde
A b c , B a c y C a b.
Adems, de este tringulo volvemos a obtener el triltero original (a, b, c).
Imponemos la condicin de que los tres puntos diagonales no estn alineados, es decir,
formen un tringulo llamado tringulo diagonal asociado al cuadringulo completo.
Esta condicin se llama Axioma de Fano (PP7).
Por ltimo, los lados AD y DB, al cortar PQ, determinarn los puntos S y T:
S PQ AD , T PQ BD
5.2.5 Teorema.
Sea un plano proyectivo analtico P2 ( K ) sobre un cuerpo K, las afirmaciones siguientes
son equivalentes:
a) Los puntos diagonales de todo cuadringulo completo no son colineales.
b) Existe un cuadringulo completo cuyos puntos diagonales no son colineales.
c) La caracterstica de K es distinta de 2.
Demostracin.
Consideremos los puntos A (1,0,0) , B (0,1,0) , C (0,0,1) y D (1,1,1) .
Forman un sistema de referencia, por lo que cualquier grupo de tres puntos no son
colineales.
AB : z 0
P AB CD (1,1,0)
CD : x y
AD : y z
Q AD BC (0,1,1)
BC : x 0
AC : y 0
R AC BD (1,0,1)
BD : x z
1 0 1
1 0 0 1
Luego 1 1 0 1 1 1(1) 1(1) 1 1 0 1 1 0
1 1 1 1
0 1 1
Cada pareja de vrtices opuestos determina una recta diagonal. Las rectas diagonales
son DB, AC y EF.
5.2.7 Observacin.
Todo cuadringulo A, B, C, D determina varios cuadrilteros: El {AB, BC , CD, DA} ,
aunque tambin podra escogerse el {AC , BC , BD, DA} o el {AB, BD, CD, AC} , de ah
que a veces se disloque el lenguaje entreverando trminos de cuadrivrtices en un
ambiente referido a cuadrilteros o viceversa.
5.2.8 Proposicin.
En todo plano proyectivo existen los cuadrilteros completos.
Demostracin. Por PP3b existirn cuatro puntos A, B, C y D para los cuales ningn
grupo de tres est alineado. Veamos que las rectas AB , AD , BC y CD son un
cuadriltero completo. Supongamos que un grupo de tres tienen un punto en comn, por
ejemplo las tres primeras P AB AD BC . Supongamos que P A, B . La recta
AB AP AD , luego los puntos A, B y D estn alineados, contradiciendo la hiptesis.
Si P=A, PB PD y igualmente los puntos A, B y D estn alineados. De la misma
forma no se puede dar el caso P=B. De la misma forma se demuestra que ningn otro
grupo de tres rectas tienen un punto en comn.
5.2.13 Proposicin.
Sean ABCD y ABCD dos cuadringulos completos con puntos diagonales comunes
P y Q. Si los lados BC y BC de estos cuadringulos se intersecan en el punto S de la
recta PQ, sus lados AD y AD se cortarn en el punto T de la misma.
Demostracin.
Esta demostracin se basar en el teorema de Desargues.
5.2.14 Proposicin.
Si S y T son par armnico conjugado de P y Q, entonces P y Q son un par armnico
conjugado de S y T.
Demostracin.
5.3.2 Proposicin.
En todo plano proyectivo existe un nmero n para el cual todas las rectas tienen n
puntos y por cada punto del plano pasan n rectas.
Demostracin.
Sean r y s dos rectas. Sea P su punto de interseccin. Sea t una tercera recta que pase
por P diferente de r y s. Sea Q P un punto de t.
Todos estos puntos sern diferentes, pues Bi B j QAi QBi QBj QAj absurdo.
Luego el nmero de puntos en r ser mayor o igual que el nmero de puntos de s. Este
mismo razonamiento se puede realizar para los puntos de s, con lo que llegamos a la
conclusin de que ambas rectas tienen el mismo nmero de puntos.
Sea ahora P un punto y sea r una recta que no pasa por P. Sean A1 , A2 ,..., An todos los
puntos de la recta r. Con ellos determinamos las rectas PA1 , PA2 ,..., PAn , que sern
todas diferentes, pues PAi PA j Ai Aj .
Por otro lado, si s es una recta que pasa por P, su interseccin con r ser alguno de los
puntos Ai anteriores, luego por el punto P pasarn n rectas diferentes.
5.3.4 Proposicin.
Sea un plano proyectivo de orden n. Entonces el nmero de puntos y el nmero de
rectas ser n 2 n 1
Demostracin.
5.4 Postulado de Pappus.
Aunque se considera a Girard Desargues (1591-1661) como el padre de la geometra
proyectiva, uno de los teoremas que ms juego ha dado en este campo fue enunciado
siglos antes por Pappus de Alejandra, alrededor del ao 250 DC. y utilizando para su
demostracin argumentos esencialmente eucldeos.
5.4.2 Teorema.
El Postulado de Pappus es equivalente a la conmutatividad de las homologas que
comparten centro y eje.
Demostracin.
Supongamos el Postulado de Pappus.
Sean f y g dos homologas de centro O y eje t. Queremos ver que f g g f .
Sea r una recta que pasa por O, r t .
Sea A r , A O .
Sea B f (A) , y C g (B) .
Entonces g f ser la nica homologa que transforma A en C.
Sea ahora un punto X r , y sea s XO .
Sabemos que para la determinacin de ( g f )( X ) slo necesitamos la pareja A,
C=g(f(A)):
Determinamos S AX t y despus ( g f )( X ) CS s (rectas rojas)
Por otro lado, para la determinacin de ( f g )( X ) calcularemos g (X ) y luego
f ( g ( X )) :
Para la determinacin de g (X ) nos apoyamos en B y C g (B) :
R BX t g ( X ) Y RC s (lneas azules).
Para la determinacin de f ( g ( X )) f (Y ) nos apoyamos en A y B f (A) :
P AY t f (Y ) PB s (lneas verdes).
Pero suponiendo el Postulado de Pappus PB s CS s , es decir
f ( g ( X )) g ( f ( X ))
El razonamiento es similar. Supongamos ahora la conmutatividad de las homologas
que comparten un centro O y un eje t.
Sean dos rectas r y s distintas, A, B, C r s y A' , B' , C ' s r .
Sea O r s .
Sean los puntos X AB'BA' , Y AC 'CA' y Z BC 'CB' . Sea t YZ .
Queremos ver que X t XY .
Consideremos ahora tres homologas f , g , h en el plano, todas compartiendo el mismo
centro O y el mismo eje t, caracterizadas cada una por f ( A) B , g ( B) C y
h( A) C .
Puesto que ( g f )( A) g ( f ( A)) g ( B) C h( A) , tenemos que h g f .
Determinemos h(C ' ) : Y AC 't h(C' ) YC s A'
Pero h(C' ) ( g f )(C' ) ( f g )(C' ) , pues suponemos la conmutatividad.
Calculemos la composicin ( f g )(C ' ) f ( g (C' )) .
En primer lugar g (C' ) : Z BC 't g (C' ) CZ s B'
En segundo lugar f ( g (C' )) f ( B' ) : X B' A t f ( B' ) BX s A'
Luego YC s BX s , y por tanto el punto X es un punto fijo por la homologa
(????), y por tanto pertenece al eje, es decir X YZ , y se cumple el Postulado de
Pappus.
5.4.3 Teorema.
Todo plano fundamental es papiano.
Demostracin.
Sean O AB PQ , Z ' XY BR , S PC BR , y T AR BP .
Queremos demostrar que Z Z ' (pues entonces Z Z ' XY BR XY )
Demostracin.
Es el dual del Teorema de Pappus.
5.5 Postulado de Desargues.
5.5.1 Postulado. Postulado de Desargues. Planos arguesianos.
El postulado de Desargues (PP7) afirma lo siguiente: Si dos tringulos tienen un centro
de perspectiva, es decir, existe O AA'BB'CC' , entonces los puntos
P AC A'C' , Q AB A' B' y R BC B'C' estn alineados.
Un plano en el que se cumple el Postulado de Desargues se llama plano arguesiano.
Pappusian planes are Desarguesian (G. Hessenberg, Mathematische Annalen, 61 (1905) pp.161-172)
Demostracin.
Sean dos tringulos ABC y ABC cuyos vrtices estn en perspectiva por un punto O:
O AA'BB'CC'
Queremos ver que los puntos X AB A' B' , Y AC A'C' y Z BC B'C' estn
alineados.
Primer Paso:
Sean S B' C' AC , T B' A CC ' y U BA OS :
Los puntos O, B y B estn alineados. Los puntos A, S y C tambin estn alineados, y
todos son diferentes de la interseccin de sus respectivas rectas, luego, aplicando el
Postulado de Pappus, los puntos
BC B' S Z
O B B'
OS AB U estn alineados.
A S C OC AB ' T
donde utilizamos que BS=BC y OC=CC.
Segundo paso:
Sea P B' A'OS
Tercer paso:
5.5.3 Teorema.
En un plano proyectivo analtico P2 ( K ) sobre un anillo de divisin K (es decir, un
cuerpo no necesariamente conmutativo) se cumple el Postulado de Desargues.
Demostracin.
Siempre podemos realizar una inmersin trivial
P2 ( K ) P3 ( K )
( x, y, z ) ( x, y, z,0)
y en todo espacio proyectivo tridimensional se cumple el Postulado de Desargues (ver
7.6.3).
5.6 Colineaciones.
5.6.1 Definicin. Colineacin.
Una colineacin es una aplicacin biyectiva f : IP2 IP2 que pasa puntos alineados a
puntos alineados.
5.6.2 Proposicin.
Toda colineacin f : IP2 IP2 , restringida a cualquier recta r, determina una biyeccin
entre la recta r y su recta imagen f (r ) .
Demostracin.
Sea r una recta cualquiera de IP2 . Sean A, B r distintos. Por ser f biyectiva, f (A) y
f (B) sern distintos y por tanto determinarn una recta r ' . Veamos que la funcin f,
restringida a r, es una biyeccin f r : r r '
Si C r , entonces f (C ) est alineado con f (A) y f (B) , luego f (C ) r ' , es
decir, f (r ) r ' .
Supongamos ahora que C ' r ' tal que C ' f (C ) con C r .
Para cualquier D P2 ( IR) , sea E CD r . D CD f ( D) f (CD) r ' , luego
tendramos f ( IP2 ) r ' , contradiciendo la hiptesis de que f es una biyeccin. Luego
f (r ) r ' .
5.6.3 Corolario.
La inversa de toda colineacin es una colineacin.
Demostracin.
Basta aplicar la proposicin anterior.
5.6.4 Corolario.
Si tres puntos de P2 ( IR) no estn alineados, sus imgenes por una colineacin tampoco
estarn alineados.
5.7 Proyectividades entre rectas.
P
Y la denotaremos por r s , o simplemente r ^ s .
^
La funcin inversa de una perspectividad es tambin una perspectividad con su mismo
centro y la funcin identidad es una perspectividad, pero en general la composicin de
perspectividades no es una perspectividad.
5.7.3 Proposicin.
Dadas dos rectas r y s, tres puntos distintos A, B y C en r y tres puntos distintos A, B y
C en s, existe una proyectividad f : r s tal que f ( A) A' , f ( B) B' y f (C ) C ' .
Demostracin.
Supongamos que r s . Tomamos un punto O AA' , O A, A' (Axioma PP4).
Tomamos una recta t, A' t , t s (5.1.8)
Sean B' ' OB t y C' ' OC t .
Sea O' B' ' B C' ' C .
O O'
La composicin de las dos perspectivas r ^ t ^ s cumple las condiciones deseadas.
Veremos que en un plano proyectivo incidental (es decir, que cumpla los axiomas PP1-
PP5) el Teorema fundamental (TF) es equivalente al Postulado de Pappus (PP6):
Demostracin.
Si f es una perspectividad de centro P, entonces f (O) P O s O puesto que
O s y O P O y son dos rectas diferentes, pues P s .
Tomamos otros dos puntos diferentes A y B de la recta r. Sean A' f ( A) s y
B' f ( B) s . Sea P AA'BB' y sea g la perspectividad de centro P. Entonces
g ( A) A' , g ( B) B' y g (O) O . Luego ambas proyectividades coinciden en tres
puntos diferentes y por tanto, por el TF, f g.
5.7.6 Teorema.
Toda proyectividad entre dos rectas del plano proyectivo se puede descomponer en la
composicin de dos perspectividades, si las rectas son diferentes, o en la composicin
de tres perspectividades, si se trata de la misma recta.
Por otro lado sabemos que toda perspectividad es una proyectividad, y que la
composicin de homografas es una proyectividad, luego 2 1 es una proyectividad.
Ahora bien, sabemos tambin que dos homografas sern idnticas si coinciden sobre un
smplex, como es este caso, luego 2 1 .
En efecto, sabemos que una proyectividad quedar unvocamente determinada por su
imagen sobre un smplex, en este caso sobre, y efectivamente 2 1 y es la
composicin de dos perspectividades.
5.7.7 Corolario. Construccin grfica de una proyectividad entre dos rectas conocidos
tres puntos y sus imgenes.
El teorema anterior nos muestra el mtodo para construir grficamente una
proyectividad entre dos rectas conocidos tres puntos y sus imgenes.
g : r f (C )* t C* s
X X f (C ) X f (C ) t X f (C ) t C X f (C ) t C s
5.7.9 Proposicin.
El conjunto de proyectividades f : r r de una recta en s misma forma un grupo con
la composicin, al que denotaremos por PJ (r ) .
Demostracin.
5.7.10 Proposicin.
Toda proyectividad f PJ (r ) con tres puntos fijos es la identidad.
Demostracin.
Basta aplicar el TF.
Demostracin.
Basta observar la figura.
5.7.13 Corolario.
Las perspectividades conservan los conjuntos armnicos.
Demostracin.
Toda perspectividad es una composicin de una seccin y una proyeccin.
5.7.14 Corolario.
Si ( A, B, C, D)^ ( A' , B' , C ' , D' ) entonces H ( A, B; C, D) H ( A' , B' ; C' , D' )
Demostracin.
Toda proyectividad es una sucesin de perspectividades, y las perspectividades
conservan los conjuntos armnicos.
5.7.15 Teorema.
Una proyectividad pasa conjuntos armnicos en conjuntos armnicos.
Demostracin.
Primera parte.
Sean A, B, C y D cuatro puntos de una recta r tales que H ( A, B; C, D) .
O
Sea s una segunda recta tal que A r s . Consideramos la perspectiva r s que enva
^
B, C y D a B, C y D respectivamente.
Veamos que entonces H ( A, B' ; C ' , D' ) .
Trazamos la recta CB y sea X su punto de interseccin con OA.
Consideramos el cuadringulo completo OXBC. Una de sus diagonales es B y la otra
es A, y el punto C est en la recta OC, luego D es el cuarto armnico respecto de ACB,
y por tanto XB'r D .
Ahora consideramos el cuadringulo OXBD.
Segunda parte:
Sea r una recta y A, B, C, D cuatro puntos en r tales que H ( A, B; C, D) . Trazamos una
perspectiva de centro O sobre cualquier recta s. Sean A, B, C, D sus imgenes en s.
Entonces H ( A, B; C, D) H ( A' , B' ; C' , D' )
con la peculiaridad de que en cada una de las dos perspectividades anteriores uno de los
puntos es fijo.
Luego podemos aplicar el lema anterior para demostrar que
H ( A, B; C, D) H ( A' , B' ; C' , D' ) .
Tercera parte:
Sea r una recta y A, B, C, D cuatro puntos en r tales que H ( A, B; C, D) .
Si ( A, B, C, D)^ ( A' , B' , C ' , D' ) , entonces H ( A, B; C, D) H ( A' , B' ; C' , D' )
5.8.3 Proposicin.
Si una proyectividad f PJ (r ) tiene un par conjugado, entonces es una involucin.
Demostracin.
Sea f PJ (r ) tal que f ( A) B y f ( B) A . Sea C r cualquier otro punto de la
recta y D f (C ) . Queremos ver que D C .
Sea s una recta que pasa por D, s r . Sea R r .
Sea V AR s , Q BR s , W CR s y Z AQ CR .
Q A R
Entonces ABCD ZRCW QVDW BADC , es decir ABCD^ BADC .
Esta proyectividad enva A a B, B a A, C a D y D a C, luego por el TF debe ser f, y por
tanto f ( D) C .
5.8.4 Proposicin.
Si una involucin tiene un punto fijo, entonces tiene otro punto fijo distinto. Por lo
tanto, una involucin podr ser elptica o hiperblica, nunca parablica.
Demostracin.
5.8.5 Teorema.
Sean X, Y, Z y X, Y, Z dos ternas de puntos distintos dos a dos (los de cada terna) en
una recta r. Supongamos adems que Z Z ' . Las afirmaciones siguientes son
equivalentes:
a) ( X Y Z , X 'Y ' Z ' ) .
b) Existe una (nica) homografa f : r r tal que f ( X ) Y ' , f (Y ) X ' , f (Z ) Z y
f (Z ' ) Z ' .
c) Existe una (nica) involucin I en r a la cual (X,X), (Y,Y) y (Z,Z) son pares
conjugados (entendiendo que son puntos fijos si las dos componentes coinciden).
Demostracin.
a) b) Supongamos que ( X Y Z , X 'Y ' Z ' ) . Consideremos el siguiente esquema:
A C
( X , Y , Z , Z ' ) ^( D, B, Z , R) ^(Y ' , X ' , Z , Z ' )
(Acabar).
6 El espacio proyectivo real.
6.1 Construccin.
6.1.1 Definicin. El espacio proyectivo real.
Definimos el espacio proyectivo real P3 ( IR) de la forma acostumbrada: Como el
conjunto IR 4 0,0,0,0 bajo la siguiente relacin de equivalencia:
IR 4 0,0,0,0
P3 ( IR)
IR 0
H1.1 Para todo par de puntos A y B, existe una recta que contiene A y B.
H1.2 Para todo par de puntos diferentes A y B existe no ms de una recta que contiene A
y B.
H1.3b Existe al menos tres puntos que no estn en una misma recta.
H1.4 Si A, B y C son tres puntos que no pasan por la misma recta, existe un plano que
contiene los tres puntos.
H1.5Si A, B y C son tres puntos que no pasan por una misma recta, existe no ms de un
plano que los contiene.
H1.6 Si dos puntos diferentes A y B de una recta estn en un plano, todos los puntos de
la recta estn en el plano. En este caso diremos que la recta est contenida en el plano.
H1.7 Si dos planos tienen un punto en comn, entonces tienen al menos otro punto ms
en comn.
H1.8 Existen al menos cuatro puntos que no estn contenidos en un mismo plano.
7.1.3 Definiciones. Paralelismo entre rectas, entre planos y entre recta y plano.
Diremos que dos rectas son paralelas cuando no tengan ningn punto en comn y
pertenezcan a un mismo plano.
Diremos que dos planos son paralelos cuando no tengan ningn punto en comn.
Diremos que un plano y una recta son paralelos cuando no tengan ningn punto en
comn.
a) Sean r y s dos rectas diferentes. Supongamos que tienen dos puntos en comn P y Q.
Entonces por H1.2 ambas rectas tienen que ser la misma, contradiciendo la hiptesis.
c) Supongamos que la recta r y el plano tienen dos puntos en comn. Entonces por el
axioma H1.6 toda la recta estar contenida en el plano, contradiciendo la hiptesis.
Demostracin.
a) Sea r una recta y P r . Por el axioma H1.3a existirn dos puntos A, B r .
Claramente A, B y P no son colineales, luego por H1.4 existir un plano que los
contenga. Puesto que contiene A y B, contendr toda la recta r. Dicho plano es nico
por H1.5.
b) Sean r y s dos rectas diferentes y con puntos en comn. Luego tendrn un nico
punto P en comn por la proposicin ????.
Luego podemos encontrar al menos otro punto A P en la recta r por H1.3a. De la
misma forma podemos encontrar al menos otro punto B P en la recta s.
Los tres puntos A, B y P son diferentes, pues si A B entonces r s llegando a
contradiccin.
Por lo tanto por H1.4 existir un plano que contiene a los tres puntos A, B y P.
Luego contendr toda la recta r y toda la recta s por H1.6. El plano ser nico por H1.5.
7.1.6 Proposicin.
En todo plano existirn al menos tres puntos no alineados. As pues, todo plano se podr
siempre definir por tres puntos no alineados contenidos en l.
Demostracin.
Sea un plano . Por el axioma H1.4a existir un punto P .
Por el axioma H1.8 existirn cuatro puntos A, B, C y D que no pertenecen a un mismo
plano, luego al menos tres de ellos junto con P no pertenecern a un mismo plano.
Los planos y son diferentes, puesto que si fueran el mismo plano B pertenecera al
plano determinado por P, A y B,
Los tres puntos P, Q y R son diferentes, no estn alineados y pertenecen a , por lo que
determinarn el plano .
Demostracin.
a) Sean dos rectas paralelas r y s, y una tercera recta t que corta a r en el punto P. Por el
axioma de Hilbert de paralelismo, existir como mucho una recta paralela a s por P,
pero la recta r es paralela a s por P por construccin, y la recta t pasa por P, luego no
puede ser paralela a s.
b) Sean dos rectas paralelas r y s, y una tercera recta t paralela a r. Supongamos que t no
es paralela a s, entonces podemos aplicar el apartado a) de esta misma proposicin para
deducir que t ha de cortar tambin a r, contradiciendo la hiptesis.
7.2.4 Proposicin.
En un plano incidental en el que se cumple el lema de Proclus (7.2.7) es un plano de
Hilbert.
Demostracin.
Sea una recta r y un punto P fuera de ella. Supongamos que las rectas s y t pasan por P y
ambas son paralelas a r. Las rectas t y r son paralelas y la recta s corta a t, luego por el
lema de Proclus (a), la recta s tambin deber cortar r, contradiciendo la hiptesis de
que eran paralelas.
7.2.5 Proposicin.
En un plano de Hilbert la relacin de ser iguales o paralelas entre rectas es una
relacin de equivalencia.
Demostracin.
a) Propiedad reflexiva: r r es un axioma lgico.
b) Propiedad simtrica: l m m l y l // m m // l .
c) Propiedad transitiva: r // s s // t r // t es el Lema de Proclus (b).
Para demostrar que r // s s t r // t basta con substituir.
7.2.6 Corolario.
En un plano incidental, las siguientes condiciones son equivalentes:
a) Se cumple el postulado de paralelismo de Hilbert.
b) Dadas dos rectas paralelas, si una tercera recta corta la primera tambin cortar la
segunda.
c) Dadas dos rectas paralelas, si una tercera recta es paralela a la primera tambin ser
paralela a la segunda.
d) La relacin de ser iguales o paralelas define una relacin de equivalencia entre
rectas.
7.2.7 Proposicin.
En un espacio incidental de Hilbert el lema de Proclus se cumplir en cualquiera de sus
planos.
Demostracin.
7.2.8 Proposicin.
En un espacio incidental de Hilbert, dadas dos rectas paralelas y un plano que corta la
primera, se dar uno de los tres casos siguientes:
a) Las dos rectas estn contenidas en el plano.
b) La primera recta est contenida en el plano y la segunda es paralela al plano.
c) Las dos rectas cortan el plano en dos nicos puntos diferentes.
Demostracin.
Sea un plano y dos rectas paralelas r y s. Por definicin de rectas paralelas, existir
un plano conteniendo r y s. Sea P un punto de corte entre y r.
Si entonces estamos en el caso a).
Si por el contrario , estos planos se cortan en P, luego por el teorema #1 de
Hilbert, se cortarn exactamente en una recta t.
Si las rectas t y r tienen algn punto de corte ms tendremos que t r , y la recta s ser
paralela al plano . En efecto, supongamos que la recta s corta el plano en Q.
Entonces Q s s Q Q t r Q r s contradiciendo la
hiptesis del paralelismo entre r y s.
Si por el contrario t r , dentro del plano tenemos que la recta t corta a r, y r es
paralela a s, luego la recta t tambin cortar a s por Proclus (????), y nos encontraremos
con el caso c).
7.2.9 Proposicin.
En un espacio incidental de Hilbert:
a) Dadas dos rectas paralelas, si una de ellas corta un plano en un nico punto, la otra
tambin.
b) Dados dos planos paralelos, si una recta que corta el primero pero sin estar totalmente
contenida en l tambin cortar el segundo.
c) Dados dos planos paralelos, si un tercer plano corta el primero tambin cortar el
segundo.
Demostracin.
a) Aplicando la proposicin anterior, slo se puede dar el caso c).
b) Sean dos planos // , una recta r y P r . Sea Q un punto de (axioma
H1.4a). Si Q r ya hemos acabado. En caso contrario, sea el plano que contiene la
recta r y el punto Q (Proposicin #2 de Hilbert). El punto P pertenece a los planos y
, luego ambos planos se cortarn en una recta s (Teorema #1 de Hilbert b)
De la misma forma, el punto Q pertenece a los planos y , luego ambos planos se
cortarn en una recta t.
Las rectas s y t son paralelas pues ambas estn contenidas en un mismo plano y no
tienen ningn punto en comn, pues pertenecen a planos paralelos. La recta r est
tambin contenida en , y corta a s en P. Luego aplicando Proclus, r deber tambin
cortar a t, en un punto que forzosamente estar en , tal y como queramos ver.
c) Sean dos planos // , y supongamos que un tercer plano corta al primero.
Entonces lo cortar en toda una recta r por el Teorema #1 de Hilbert (b).
Sea P un punto de r. (axioma H1.3a).
Sea s una segunda recta contenida en y pasando por P (????). La recta s no puede
estar contenida en porque de lo contrario r s .
Aplicamos el apartado b) de esta misma proposicin para demostrar que la recta s
cortar al plano , y dicho punto estar en la interseccin de los planos y .
Demostracin. Podemos suponer que las tres rectas son diferentes. En caso contrario la
demostracin es trivial.
Por la proposicin ???? aplicada a la recta s y el punto P, se pueden dar tres casos:
Axioma EP1: Por cada dos puntos diferentes pasa una nica recta. (=PP1)
Axioma EP2: Tres puntos diferentes pertenecen a un nico plano.
Axioma EP3: Una recta y un plano se cortan al menos en un punto.
Axioma EP4: Dos planos se cortan al menos en una recta.
Axioma EP5: Existen cuatro puntos que no pertenecen a un mismo plano y para los
cuales cualquier subgrupo de tres es no colineal. ( PP3 )
Axioma EP6: Cada recta tiene al menos tres puntos. (=PP4)
7.4.1 Teorema.
En un espacio proyectivo tridimensional se cumple el postulado de Desargues: Dos
tringulos tienen un centro de perspectiva si y slo si tienen un eje de perspectiva.
Demostracin.
Sean dos tringulos ABC y A' B' C' ' , y supongamos que ' .
Sean dos tringulos ABC y A' B' C' ' , y supongamos que ' .
Supongamos que tienen un eje de simetra r.
Sean los tres planos 1 AB, A' B' , 2 AC , A' C ' , 3 BC , B' C ' (5.1.5b)
Entonces 1 2 AA' , 1 3 BB ' , y 2 3 CC ' (5.1.4 b)
La recta AA' no puede estar contenida en 3 , pues entonces cortara en un punto de
BC , y por hiptesis los puntos A, B y C no pueden ser colineales. Luego AA' 3 es
un nico punto O. Por lo tanto {O} AA' 3 1 2 3 AA' BB' CC ' , es
decir, hemos encontrado el centro de perspectiva.
Sean ABC y A' B' C ' dos tringulos contenidos en un mismo plano . Puesto que
estamos en el espacio, podemos tomar un punto Z fuera de este plano y D otro punto de
la recta AZ . Sea D' AZ OD .
Los tringulos BCD y B' C ' D' tienen el punto O como centro de perspectiva y no
pertenecen a un mismo plano.
Luego podemos aplicar el teorema de Desargues para tringulos no coplanares, y
deducir que los tres puntos R' BC B' C ' , Q' BD B' D' y P' CD C ' D' estn
alineados.
Ahora proyectamos estos tres puntos en el plano a travs del punto Z obtendremos
tres puntos igualmente alineados:
P P ' Z , Q Q ' Z , R R' Z R' .
Q es la interseccin AB A' B' . En efecto, los tringulos ABD y A' B' D' tienen el
punto O como centro de perspectiva, y no pertenecen a un mismo plano, luego los
puntos Z AD A' D' , Q' BD B' D' y AB A' B' estn alineados. Luego el punto
AB A' B' ser la interseccin ZQ' , tal y como queramos ver.
Con un razonamiento similar se demuestra que el punto P es la interseccin de
AC A'C ' .
Sean ABC y A' B' C ' dos tringulos contenidos en un mismo plano , y supongamos
que tienen un eje de perspectiva s. Puesto que estamos en un espacio tridimensional,
podemos tomar un plano ' que corte en s.
Sea O un punto fuera de y de ' (una recta que pase por un punto de y de ' tiene
un tercer punto fuera de ambos planos).
Sean A, B y C los puntos de corte de AO , BO y CO con ' . Los tringulos
ABC y A' ' B' ' C' ' tienen O como centro de perspectiva, y no estn en un mismo
plano por construccin, luego podemos aplicar el primer caso de esta misma
demostracin para deducir que tienen un eje de simetria, que ser la misma recta s.
Por lo tanto A' ' C ' ' AC ser un punto de la recta s que es el punto P AC A'C '
(Demostrar ????).
As pues, A' ' C ' ' A' C ' P , y de la misma manera B' ' C ' ' B' C ' R y
A' ' B' ' A' B' Q , es decir, los tringulos A' B' C ' y A' ' B' ' C' ' tienen s como eje de
simetra, luego podemos aplicar el tercer caso de esta misma demostracin para deducir
que tienen un centro de simetra O.
Los puntos O y O deben ser diferentes, pues en caso contrario A=A, B=B y C=C.
Sea O el punto de interseccin de OO' con . Veamos que O es un centro de
simetra para los tringulos ABC y A' B' C ' .
Los puntos O, A y A estn alineados. Sea ' ' el plano que contiene esta recta y el
punto O. Los puntos A y O tambin pertenecen a ' ' , y por lo tanto O' ' ' ' .
Luego la interseccin de estos dos planos ser una recta. A esta recta pertenecen
tambin los puntos A y A, como queramos ver.
De forma similar demostramos la alineacin de los otros vrtices.
7.4.2 Corolario.
Todo plano proyectivo contenido en un espacio proyectivo tridimensional es
arguesiano.
Demostracin. Trivial.
7.4.3 Corolario.
Si P es un plano proyectivo arguesiano y r es una recta de P, entonces P\r es un espacio
afn arguesiano.
Demostracin. Trivial.
7.4.4 Proposicin.
Sea V un espacio vectorial de dimensin d+1 sobre un anillo de divisin F. Entonces el
espacio proyectivo P(V) es arguesiano.
Demostracin.
Recordemos que un anillo de divisin es un cuerpo no necesariamente conmutativo.
[???? Beutel]
7.4.5 Proposicin.
Un plano proyectivo es arguesiano si y slo si se puede contener en un espacio
proyectivo tridimensional.
Demostracin.
[beutel] 81
8 Geometra proyectiva multidimensional.
8.1 Construccin.
8.1.1 Definicin. Espacio proyectivo deducido de un espacio vectorial V.
Es decir, P(V ) P v | v V , v 0
Dos puntos P, Q de P(V) sern iguales si son el mismo subespacio de V, esto es,
P v , Q w y v w para cierto escalar 0 .
V 0
P v w 0 | v w
Diremos que P(V) tiene dimensin n si el subespacio vectorial V tiene dimensin n+1.
8.1.4 Proposicin.
Si V es un espacio vectorial de dimensin n+1,
a) Existe una nica variedad proyectiva de dimensin n y es el propio P.
b) Existe una nica variedad proyectiva de dimensin 1 y es el conjunto vaco .
c) Si p P , p es una variedad proyectiva de dimensin 0, y toda variedad proyectiva
de dimensin 0 es de esta forma.
Demostracin.
a) Existe un nico subespacio vectorial de V de dimensin n+1 que es el propio V, y
V P .
b) {0} {0} {0}
c) p P p v v , v V , y dim( v ) 1
8.1.5 Proposicin.
a) Sean H y H dos subespacios vectoriales de V. Entonces H H ' H H '. En
particular H H ' H H '.
b) L L' dim L dim L' .
c) Si L L' y dim L dim L' entonces L L' .
Demostracin.
Demostracin.
Y la propiedad conmutativa:
L L' L'L
Demostracin.
8.1.8 Proposicin.
La variedad proyectiva interseccin es la variedad proyectiva ms grande contenida en
todas y cada una de las variedades dadas.
Demostracin.
Demostracin.
Y la propiedad conmutativa:
L L' L' L
Demostracin.
8.1.13 Lema.
Si p L entonces dim( L p) dim L 1 .
Demostracin.
8.1.14 Corolario.
Dos puntos distintos determinan una recta.
Demostracin.
Basta aplicar el lema anterior: dim( p q) 1 1 2 .
8.1.15 Lema.
Si H es un hiperplano y L
H entonces dim( L H ) dim L 1
Demostracin.
8.1.16 Proposicin.
En un plano proyectivo dos rectas distintas se cortan en un punto (no existe
paralelismo).
Demostracin.
Aplicando el lema anterior, dim( r s) dim( r ) 1 0
Podemos substituir cualquiera de estas dos condiciones por dim L dim L' n 1.
8.1.19 Teorema.
Sea V un espacio vectorial sobre un anillo de divisin F. Entonces el espacio proyectivo
P(V) cumple el postulado de Pappus si y slo si F es conmutativo (es decir, es un
cuerpo).
Demostracin.
[Beutel] 37
8.2 Referencias proyectivas. Coordenadas homolgicas.
8.2.1 Definicin. Subespacio engendrado por una familia de puntos.
8.2.3 Proposicin
q0 ,..., qm son linealmente independientes si y slo si qi q0 ... qi1 qi1 ... qm i .
Demostracin.
La justificacin de la equivalencia viene del lema 1 de la suma de variedades:
dim L 1 si p L
dim( L p)
dim L si p L
j 1 si qk (qn1 ... qnj )
Luego dim( qn1 ... qnj ) qk
j si qk (qn1 ... qnj )
8.2.4 Proposicin.
q0 v0 ,..., qm vm son independientes v0 ,..., vm son vectores linealmente
independientes.
Demostracin.
m dim( q0 ... qm ) dimv0 ... vm dim v0 , v1 ,..., vm
dim v0 , v1 ,..., vm m 1 v0 , v1 ,..., vm son lin.indep.
Observaciones:
a) La independencia de los puntos no depende de los representantes escogidos.
b) v0 , v1 ,..., vm son independientes y qi vi entonces q0 ,..., qm son independientes.
8.2.5 Corolario.
El nmero mximo de puntos independientes que puede haber en un espacio proyectivo
de dimensin n es n+1.
Por lo tanto, en P n , q0 ,..., qm independientes m n
Demostracin.
Si existieran n+2 puntos independientes, existiran n+2 vectores linealmente
independientes en un espacio de dimensin n+1, lo cual es imposible.
8.2.6 Corolario.
En P n existen q0 ,..., qn puntos linealmente independientes.
Demostracin.
Si P n P( En1 ) , basta determinar una base e0 ,..., en de En1 y definir qi vi .
8.2.7 Corolario.
Si q0 ,..., qm son independientes, cualquier subconjunto qi1 ,..., qir de puntos diferentes
ser independiente.
Demostracin.
Si estos puntos son independientes, sus representantes tambin lo sern, y si cogemos
menos representantes continuarn siendo independientes, y por lo tanto sus
proyecciones (los puntos) tambin sern independientes.
8.2.8 Introduccin.
Sea Pn P(V ) un espacio proyectivo de dimensin n.
Un conjunto P0 ,..., Pn de n+1 puntos independientes de Pn no determinan una base
vectorial de V.
Los n+1 primeros puntos de tal referencia se llaman puntos fundamentales, y el ltimo,
au , se llama punto unidad.
8.2.10 Lema.
Sea M K n1 un subespacio vectorial de dimensin r+1 y sea S v0 ,..., vr 1 un
subconjunto de M con r+2 vectores. Las condiciones siguientes son equivalentes:
a) Cualquier subconjunto de S de r+1 vectores es linealmente independiente.
b) El subconjunto v0 ,..., vr es linealmente independiente y vr 1 0v0 ... r vr con
i 0 para todo i 0,..., r .
Demostracin.
Claramente en particular el subconjunto v0 ,..., vr ser linealmente independiente,
luego ser base, y por tanto vr 1 0v0 ... r vr para ciertos i K . Si alguno de estos
escalares es cero, k 0 , entonces vr 1 0v0 ... k 1vk k 1vk 1 ... r vr y por
tanto el conjunto v0 ,..., vk , vk 1 , vr , vr 1 de r+1 vectores no sera independiente,
contradiciendo la hiptesis.
Sea S ' {vi 0 ,..., vir } un subconjunto de S de r+1 vectores. Si en S ' no aparece vr 1 ,
entonces claramente es linealmente independiente puesto que ser v0 ,..., vr , que es
linealmente independiente por hiptesis.
Luego en este subconjunto aparecer vr 1 .
Supongamos que S ' S vr (el mismo razonamiento valdr para si quitamos
cualquier otro elemento de S)
Supongamos que 0 0v0 1v1 ... r 1vr 1 r 1vr 1 .
Puesto que vr 1 0v0 ... r vr , tenemos
0 0 v0 1v1 ... r 1vr 1 r 1vr 1
0v0 1v1 ... r 1vr 1 r 1 0v0 ... r vr
0v0 1v1 ... r 1vr 1 r 10v0 ... r 1r vr
( 0 r 10 )v0 ( 1 r 11 )v1 ... ( r 1 r 1r 1 )vr 1 r 1r vr
Pero por hiptesis v0 ,..., vr es linealmente independiente, luego
i r 1i 0 i 0,..., r 1
r 1r 0
r 0 , luego r 1 0 y por lo tanto i 0i 0 i 0 i 0,..., r 1 .
Es decir, el conjunto S ' es linealmente independiente.
8.2.11 Corolario.
A toda variedad lineal le podemos asociar una referencia proyectiva.
Demostracin.
Basta tomar una base v0 ,..., vr del subespacio vectorial asociado, y tomar
vr 1 v0 ... vr . Los puntos Pi vi sern un sistema de referencia por el lema
anterior.
8.2.13 Proposicin.
Sea R P0 ,..., Pr , Pr 1 un sistema de referencia de L. Se tiene:
a) R tiene bases normalizadas.
b) Si B v0 ,..., vr y B' v'0 ,..., v'r son dos bases normalizadas de R, existe un escalar
0 tal que vi v'i para todo i 0...., r .
Demostracin.
a) Sean wi vectores cualesquiera de V tales que Pi wi i 0,..., r 1. Por el lema
anterior sabemos que podemos escribir wr 1 0 w0 ... r wr para ciertos i 0 , luego
definiendo vi i wi para todo i 0,..., r , y definiendo vr 1 wr 1 , tenemos
Pi wi vi y Pr 1 wr 1 0 w0 ... r wr , es decir, B v0 ,..., vr es una base
normalizada.
b) Tenemos que Pi vi v'i para todo i 0...., r , luego vi i v'i , i 0 , y por tanto
v0 ... vr 0v'0 ... r v'r
Pr 1 v0 ... vr v'0 ... v'r , luego v0 ... vr v'0 ... v'r con 0 .
Comparando las dos expresiones del mismo vector v0 ... vr , y teniendo en cuenta que
B' v'0 ,..., v'r es una base, llegamos a la conclusin de que i i .
x0 x '0
M
x x'
r r
Demostracin.
Basta recordar que las coordenadas de P respecto R son las de un vector u respecto B, y
las de P respecto R las de un vector v respecto B, con P u v , y por tanto, existe
un 0 tal que u v . El cambio de base de B a B en K n1 hace el resto.
8.2.16 Definicin. Smplex.
Sea P(V) un espacio proyectivo de dimensin n 1 sobre un cuerpo K.
Tmese en l n 1 puntos independientes
P0 u0 , P1 u1 ,, Pn un
X x0 : : xr v V v F ker (v) 0
a01 a1n x0 0 a01 x0 ... a1n xn 0
...
a n d nd
an xn 0 a0 x0 ... an xn 0
n d nd
0
Este sistema puede ser visto como el de las coordenadas de X en funcin de las
coordenadas de Pi vi , cumpliendo F P0 ... Pd .
Las ecuaciones del sistema (*), cuando 0 , 1 ,..., d recorre K d 1 {(0,0,...,0)} ,
proporcionan todos los puntos de la variedad lineal y slo los de ella.
Definicin. Rectas.
Se llaman rectas de un espacio proyectivo a sus subespacios proyectivos de dimensin
unidad.
Definicin. Hiperplanos.
8.3 El espacio afn en el contexto proyectivo.
8.3.1 Proposicin. Inmersin del espacio afn en el proyectivo.
Sea la aplicacin:
j : An P ( K E ) P n
O v (1, v )
Demostracin.
Independencia: Supongamos que v
j
j
*
j 0 . Entonces
0 j v*j (vi ) j v*j (vi ) i i , es decir, 1 n 0 .
j j
Observaciones.
a) En general se puede demostrar que dim L(V ,W ) dim V dim W .
b) Si V es un espacio vectorial de dimensin finita, V V * , como lo son todos los
espacios vectoriales que tienen la misma dimensin, pero no son cannicamente
isomorfos, es decir, no hay ningn isomorfismo natural entre ellos.
Definicin.
Sean V y W dos espacios vectorials sobre K, y sea una aplicacin lineal : V W , es
decir, L(V ,W ). Definimos * : W * V * L(W *,V *) por
*( f ) f
Lema.
Sean V y W dos espacios vectoriales de dimensin finita y sean v1 ,, vn una base de V
y w1 ,, wm una base de W.
Sean v1* ,, vn* y w1* ,, wm* las bases duales respectivas de V* y W*.
Si : V W es una aplicacin lineal , y A es su matriz asociada respecto de las bases
vi y w j , entonces AT ser la matriz asociada a * respecto de las bases w*j y vi* .
:EF K
a) x y, z x, z x, z
b) z, x y z, x z, y
c) ( x, y) 0 x E y 0
d) ( x, y) 0 y E x 0
Fijada la aplicacin los isomorfismos (1) y (2) permiten considerar E como dual de F
y F como dual de E.
Definicin. Ortogonalidad.
Sea , : E F K una aplicacin bilineal no degenerada (podemos identificar
E F * y F E * ).
Si A es un subconjunto de E, llamamos ortogonal de A, y escribiremos A , al conjunto
de elementos y F tales que x, y 0 para todo x A , es decir
A y F | x, y 0 x A
Anlogamente, si B es un subconjunto de F,
B x E | x, y 0 y B
Proposicin.
A es un subespacio de F y A es un subespacio de E.
Demostracin.
Sean , K y x, y A .
z, x y z, x z, x 0 z A , luego x y A
Anlogamente se demuestra que B es un subespacio de E.
Proposicin.
Si A es un subespacio de E, entonces dim A dim A dim E
Demostracin.
Sea e1 , , em una base de A. Por el teorema de Steinitz, esta base se puede completar
para tener una base e1 , , em , em1 , , en de E. Sea e'1 , , e'm , e'm1 , , e'n la base dual
de la anterior. Entonces e'm1 , , e'n es una base de A .
Proposicin.
Sean A y B subespacios de E y F respectivamente.
a) A B B A
b) A A
Demostracin.
a) Es inmediata. Supongamos que y B . Entonces x, y 0 x B , pero puesto que
A B , tenemos que x, y 0 x A , es decir y A .
b) Observemos que si x A entonces x, y 0 y A , luego x A , es decir,
A A . Adems, por la proposicin anterior tenemos
dim A dim A dim E dim F
dim A dim A dim E dim F
luego dim A dim A y por tanto A A .
a) La aplicacin f x es lineal.
En efecto, si , K y y, z E * , tenemos, x E ,
f x (y z) (y z)( x) y( x) z( x) f x ( y) f x ( z)
Luego f es una aplicacin de E en E * * .
Adems, si f ( x) 0 f ( x)() 0 ( x) 0 ( x) 0 E* x 0 . De lo
contrario, existira una forma lineal que transformara x en un elemento no nulo de K.
Luego f es un monomorfismo, y puesto que E y E* tienen la misma dimensin, f es un
isomorfismo.
Este isomorfismo nos permite identificar E con E** con lo que cada elemento de E
puede considerarse como una forma lineal en E*. Hecha esta identificacin escribiremos
x en lugar de f x , es decir . En otras palabras, si consideramos la aplicacin
E E* K definida por x, y' y' ( x) x( y' ) , al considerar x fijo se tiene una
x,
aplicacin E * K que es el elemento f x de E**, y al considerar y fijo se tiene una
,x
aplicacin E K que es el elemento y de E*.
Es decir, L H P , L* H P * .
8.4.3. Proposicin.
Mediante la aplicacin anterior, toda variedad V lineal de P se puede considerar como
una variedad lineal V* de P* con los cambios siguientes:
a) dim V * n dim V 1
b) V1 V2 V2* V1*
c) V1 V2 * V1 * V2 *
d) V1 V2 * V1 * V2 *
Corolario.
En particular, tenemos una biyeccin entre los hiperplanos de P y los puntos de P * , por
lo que puedo dotar al conjunto de hiperplanos de P de una estructura de espacio
proyectivo: Basta verlos como puntos en el espacio dual.
- Se cumple la proporcionalidad:
Queremos ver Ker Ker' K 0| ' .
' luego Ker Ker ( ' ) Ker ( ' ) () (' )
Supongamos que Ker Ker' .
Supongamos que no se cumple la proporcionalidad, es decir K 0| ' .
' (v )
Sea v E cumpliendo v Ker , y sea
(v )
' (v )
Luego existe w E , w Ker , tal que , puesto que ' .
(v )
' (v) ' ( w) ' (v ) (v )
a
(v) ( w) ' ( w) ( w)
Sea ahora el vector v aw
' (v )
' (v aw) ' (v) a ' ( w) ' (v) ' ( w) ' (v) ' (v) 0
' ( w)
' (v ) (v )
Pero (v aw) 0 pues
' ( w) ( w)
Con la cual toda variedad lineal de P se puede considerar como una variedad lineal de
P* con los cambios siguientes:
a) dimV * n dimV 1
b) V1 V2 V2* V1*
c) V1 V2 * V1 * V2 *
d) V1 V2 * V1 * V2 *
Principio de dualidad:
Ejemplo:
En el plano proyectivo:
Teorema: Dos rectas de P 2 se cortan en un nico punto
Teorema dual: Por cada dos puntos de P 2 pasa una nica recta.
Demostracin:
El teorema dual slo es el teorema original en P pensado en P* y vuelto a traducir a P.
Demostracin.
Sea H a0 x0 an xn 0, luego H Ker a0e0* anen*
Efectivamente,
X ( x0 : : xn ) x0 e0 xn en H
a0 x0 an xn 0
a e*
0 0
an en* x0 e0 xn en 0
x0 e0 xn en Ker a0 e0* an en*
Luego H Ker a0e0* anen* a0e0* anen*
Corolario.
Con el resultado anterior es fcil ver que
R H 0 e0* , H1 e1* , H n en* ;U e0* ... en*
determina una referencia del espacio dual dependiendo de una referencia R de P(E ) .
Ejemplos.
Sea Q 0 : 1 : 2 P 2 .
Qu estructura tiene en P 2
las rectas que pasan por Q?
Luego las rectas buscadas son los puntos del dual y0 : y1 : y2 tales que
0 y0 1 y1 2 y2 0
es decir, la recta (del dual) 0 y0 1 y1 2 y2 0 .
En general:
Fijamos un punto Q 0 : : n P n .
El conjunto de hiperplanos de P n que pasan por Q forma, en P n , un hiperplano con
ecuacin 0 y0 n yn 0
Proposicin. Caracterizacin geomtrica de una variedad lineal.
Sea L P n (E ) una variedad lineal. Entonces L* es el conjunto de hiperplanos que
pasan por L.
Demostracin.
Supongamos que L H . Luego L* H .
w L *
w H H , w 0 H Ker w L H Ker w, el hiperplano
asociado a w .
Ejemplos:
a) L es un hiperplano de P n .
dim L* n (n 1) 1 0 L* es un punto (el propio hiperplano).
b) L es un punto de P n .
dim L* n 0 1 n 1 L* es un hiperplano.
c) El fajo de planos de P 2 que contiene a la recta L es una recta en P 3 .
dim L* 3 1 1 1 L* es una recta.
Si W G , L G cumple L* W .
Se demuestra que L H .
W
8.5 Proyectividades. Proyective transformations.
8.5.1 Definicin. Proyectividad.
Llamaremos proyectividad a toda funcin f : P(V ) P(V ' ) tal que f para
cierto isomorfismo : V V ' .
IdV Id P (V )
1 1
8.5.3 Proposicin.
Los conceptos de suma e interseccin son invariantes por proyectividades, es decir:
f ( L L ' ) f ( L) f ( L' )
f ( L L' ) f ( L) f ( L' )
Demostracin.
Sea f , L H , L' H ' .
f ( L L' ) f H H ' f H H '
( H H ' ) ( H ) ( H ' ) ( H ) ( H ' ) f ( L) f ( L' )
y de la misma forma:
f ( L L' ) f H H ' f H H '
( H H ' ) ( H ) ( H ' ) ( H ) ( H ' ) f ( L) f ( L' )
Demostracin.
f ( P0 ),, f ( Pj ) lin. ind .
dim P0 Pj j dim f ( P0 Pj ) j
dim f ( P0 ) f ( Pj ) j f ( P0 ),, f ( Pj ) lin. ind .
x0' x0
Entonces f viene dado en las referencias R y R por ... M ...
x' x
n Segn R ' n Segn R
Corolario.
Sea f : P( E) P( E' ) una proyectividad y sea R ( P0 ,..., Pn ; A) una referencia.
Si tomamos como referencia de la imagen al conjunto R' ( f ( P0 ),..., f ( Pn ); f ( A)) ,
Entonces la matriz M ser la identidad, y se cumplir
f ( x0 : ... : xn ) ( x0 : ... : xn )
Lema.
La nica proyectividad : P(V ) P(V ) con que deja fijos los n+2 puntos de un
smplex es la identidad.
Demostracin.
Sea P(V) un espacio proyectivo de dimensin n 1 sobre un cuerpo K.
Tmese en l n 1 puntos independientes P0 u0 , P1 u1 ,, Pn un y otro punto
ms P u con la propiedad de no pertenecer a ninguno de los hiperplanos
engendrados por n de entre los primeros n 1 puntos.
El teorema fundamental adquiere una provechosa importancia por el hecho de que basta
con dar la imagen de un smplex para determinar por completo una proyectividad.
Observacin: No hay que confundir variedad fija con variedad de puntos fijos.
Demostracin.
f ( P) P (v) v K {0} | (v) v v es un VEP de .
Demostracin.
Para la proyeccin (para la seccin, al ser su inversa, es inmediata).
Sea e1 ,e2 una base de F. La completamos hasta obtener una base de E
e1, e2 , e3 ,, en1 para la cual e1 , e2 , e ,, en1 ser una base de G.
L* G P( E ) , con G e1* , e2* E * .
Necesitamos establecer un isomorfismo entre F y G que induzca la proyectividad
entre r F y L* G
Sea la aplicacin
: F G
a e1 b e1 b e1* a e2*
0 1
Es un isomorfismo con matriz .
1 0
Veamos que la proyectividad que induce es efectivamente p:
F r L* G
q a e b e Ker b e
1 2
*
1
a e2* e3 ,, en1 , a e1 b e2
e3 ,, en1 a e1 b e2 L q
Definicin. Perspectiva.
Sean r y r dos rectas de P n P(E ) .
Sea L una variedad suplementaria de r.
La aplicacin
r r'
q q' q L r '
es la composicin de dos proyectividades (proyeccin y seccin), luego es una
proyectividad, que recibe el nombre comn de perspectiva.
Demostracin.
Sea f la afinidad f : A(V ) A(V )
y '1 a1 an x1 b1
1 1
y ' a n a n x b
n 1 n n n
Sea f : P(V ) P(V ) la proyectividad
x'0 a11 a1n 0 x0
x'1 x1
an ann
0
1
x' 0 1 xn
n 0
Demostracin.
Sea f la afinidad f : A(V ) A(V ) , f : x' Mx B
y '1 a1 an y1 b1
1 1
y ' a n a n y b
n 1 n n n
xi
Puesto que xn 0 , podemos hacer el cambio yi y queda
xn
x'0 a11 a1n b1 x0 / xn
x'1 x1 / xn
a n a n b
1 n n
x' 0 0 1 1
n
1 x0 1 xn 1
x'0 a1 x an x b1 xn x'0 a11 x0 a1n xn1 b1 xn
n n
n x0 n xn 1
x' a x x x ' a a b
n 0
an
n n 1
bn n 1 1
xn
n
xn
n
n1 1 xn xn
x'n 1
x 'n 1
(???? acabar)
Corolario 1.
Si f : x' Mx B es una afinidad y f es la proyectividad asociada, f | tiene por
ecuaciones y' My , donde y ( y ,, y ) si f | se aplica al punto ~
1 n y (~ y ,, ~
y ,0) . 1 n
Demostracin.
Veamos en primer lugar que las dilataciones dejan fijo todo punto de :
Ya hemos visto que el comportamiento de una afinidad en los puntos del infinito es de
la forma
x'1 x1
M
x' x
n n
donde M es la matriz de la aplicacin lineal asociada a la afinidad.
Luego para una dilatacin se tiene que M I , 0 , y por tanto todo punto del
infinito queda fijo pues M I I Id .
x1 x1
P M p x1 ,, xn ,0
x x
n n
O equivalentemente:
p1r2 r1 p2 q1s2 s1q2 r1 r2 s1 s2
q1r2 r1q2 p1s2 s1 p2 q1 q2 p1 p2
r1 r2 s1 s2
1 1
Y los factores (det M ) aparecen tanto en el numerador como en el denominador y
i j
por tanto se cancelan.
Observacin 1.
En el supuesto de que ninguno de los puntos sea el punto A1 , es decir, si p2 , q2 , r2 , s2
son todos no nulos, puede escribirse de la siguiente manera:
r1 p2 p1r2
1
r1q2 q1r2 1
r p p1r2 r1q2 q1r2 p2 r2 q2 r2
( PQRS ) 1 2 : :
s1 p2 p1s2 s1q2 q1s2 s p p s 1 s q q s 1
1 2 1 2 1 2 1 2
p2 s2 q2 s2
r1 p1 r1 q1
r2 p2 r2 q2
:
s1 p1 s1 q1
s2 p2 s2 q2
Demostracin.
Tomamos una referencia P1 , P2 ; A para el dominio y para la imagen tomamos la
referencia f ( P1 ), f ( P2 ); f ( A) .
Aplicando el corolario (????), para estos dos sistemas referenciales la matriz M asociada
a la proyectividad ser la identidad, luego f ( xi : yi ) ( xi : yi ) y por lo tanto la razn
doble, que se calcula mediante las coordenadas de los puntos, ser la misma.
Razn doble en coordenadas absolutas.
Sea 1 con una referencia fijada. Definimos la coordenada absoluta del punto ( x : y)
como
x / y si y 0
si y 0
Luego tenemos una biyeccin entre 1 y K {} .
p1 q r s
Si ahora definimos p , q 1 , r 1 y s 1 , esto es, si se toman para los
p2 q2 r2 s2
puntos de la cuaterna los sistemas de coordenadas proyectivas (1:p), (1:q), (1:r) y (1:s),
toma la forma:
r p r q r p sq
( PQRS ) :
s p sq s p r q
r p s p rp
r p r q s p r q r q r p s p
Alternativamente: ( PQRS ) : :
s p sq r q s p s p r q sq
sq r q sq
Si adems los tres puntos P,Q y R son distintos, adoptando en la recta comn la
referencia {P,Q;R}, como en ella P=(1:0), Q=(0:1) y R=(1:1), si S=(a:b) resulta que
Corolario.
Si P,Q y R son tres puntos diferentes, ( PQRA) ( PQRB) A B
0 A Q
y se cumple ( P Q R A) 1 A R
A P
Ejercicio.
Demostrar que si A, B, C, D y E son cinco puntos distintos sobre una recta r, entonces
1 2 3 4, 2 1 4 3, 3 4 1 2, 4 3 2 1
1 3 2 4, 3 1 4 2, 2 4 1 3, 4 2 3 1 1
2 1 3 4, 1 2 4 3, 3 4 2 1, 4 3 2 1
1
3 1 2 4, 1 3 4 2, 2 4 3 1, 4 2 1 3
1
1
1
2 3 1 4, 3 2 4 1, 1 4 2 3, 4 1 3 2
3 2 1 4, 2 3 4 1, 1 4 3 2, 4 1 2 3
1
Conclusiones:
a) Hay almenos cuatro permutaciones que dejan fija la razn doble.
b) Por la accin de S 4 , los valores P (1) P ( 2) P (3) P ( 4) son
1 1 1
, ,1 , , ,
1 1
1
y si, por ejemplo, 1 , entonces las permutaciones de forma tambin dejan
fija la razn doble.
A, B; C, D CBA BCD
DBA ACD
Demostracin.
Aadimos un punto D d1 ,, d n , y sea D B A .
D B A DA DB ai di bi di bi di
ai bi di di di 1
a bi
di i
1
Luego en la referencia R anterior, ( D) (1 : ) R , y slo nos queda aplicar la frmula
de la razn doble:
1 0 0 1
1 1 CBA
( A) ( B) (C ) ( D)
1 0 0 1 DBA
1 1
Corolario.
La razn simple es invariante por proyeccin paralela:
A B C A B C P A' B' C' D A' B' C' P' A' B' C'
Ejemplo.
Si M es el punto medio del segmento AB y es el punto del infinito de la recta AB,
entonces A B M 1 .
Demostracin:
A B M M B A 1 pues MA MB .
Teorema. Teorema de la igualdad de razones dobles.
Sean A, B, C y D cuatro puntos sobre una recta y A,B, C y D otros cuatro puntos
sobre otra recta. Sean X AB' A' B , Y BC 'B' C , y Z CD'C' D .
Demostracin.
Sea P AC ' A' C . P pertenece a la recta XY por el Teorema de Pappus.
Sea Q CC ' XY .
Claramente los puntos X, P, Y y Q estn alineados. Sea r la recta que los contiene.
Sea Z1 C ' D r y Z 2 CD' r .
Proyectivizando por C, tenemos ABCD PYQZ1
Proyectivizando por C, tenemos PYQZ 2 A' B' C ' D'
Luego si Z1 Z 2 , entonces ( A B C D) ( A' B' C ' D' ) , y si ( A B C D) ( A' B' C ' D' )
entonces PYQZ1 PYQZ 2 y por tanto Z1 Z 2 .
8.7 Clasificacin de proyectividades multidimensionales.
8.7.1 Proposicin.
Obviamente, el conjunto vaco, los subconjuntos de un solo punto, las rectas y el propio
espacio P son variedades proyectivas.
Tambin es inmediato que la interseccin de toda familia no vaca de variedades
proyectivas es una variedad proyectiva, por lo que podemos definir la variedad
proyectiva generada por un subconjunto X G como la interseccin X de todas las
variedades proyectivas en G que contienen a X. Si X P1 , P2 ,..., Pn escribiremos
X P1 , P2 ,..., Pn .
Est claro que , P P y que si P Q entonces P, Q PQ .
Teorema.
Sea E una variedad proyectiva no vaca y sea un punto P G \ E . Entonces E, P es la
unin de todas las rectas que pasan por E y el punto P.
Demostracin.
Teorema.
En una geometra proyectiva, dos rectas distintas se cortan si y slo si son coplanares.
Demostracin.
Definicin. Hiperplanos.
En lo sucesivo consideraremos nicamente espacios proyectivos de dimensin finita n.
A las variedades proyectivas de dimensin n 1 las llamaremos hiperplanos.
Teorema.
Si H es un hiperplano en un espacio proyectivo y E es una variedad proyectiva no vaca
de dimensin d no contenida en l, entonces E H es una variedad proyectiva de
dimensin d 1 .
Demostracin.
Teorema.
El espacio E definido anteriormente cumple las condiciones de espacio afn.
Demostracin.
Dualidad.
Teorema.
El conjunto E definido anteriormente cumple los axiomas de plano proyectivo (10.1.1).
Demostracin:
Axioma PP1: Por cada dos puntos diferentes pasa una nica recta.
Si P, Q E \ E , por el axioma PA1 existe una nica recta que pasa por P y Q.
Si P E \ E y Q r E , si P r entonces P, r r , y si P r , entonces por el
axioma PA2, existir una nica recta s tal que P s y s // r , luego s r s y por
tanto P, r s .
Si P, Q E , por construccin de E como recta tenemos una recta que pasa por
ambos. Ninguna otra recta puede pasar por ambos pues a cada recta se le ha aadido
slo un punto impropio.
Axioma PP2: Dos rectas cualesquiera tienen al menos un punto en comn.
a) Si r, s E y r // s , entonces r s r s . Si por el contrario no son paralelas,
por definicin existir un punto en su interseccin.
Si r E y s E , el punto r r E . Por ltimo, si r s E , son la misma recta.
Axioma PP3: Existen tres puntos no alineados.
Por el axioma PA3 existirn tres puntos A, B, C que no pertenecern a ninguna recta
propia, y por lo tanto a ninguna de sus extensiones. Tampoco pueden pertenecer a E .
Axioma PP4: Toda recta tiene al menos tres puntos.
Por la proposicin 7.3.2, cada recta r del plano contiene al menos dos puntos. Al
aadirle el punto r r estamos aadiendo un tercer punto diferente.
9 Excursiones matemticas.
9.1 Recta polar trilineal. Polo trilinial.
9.1.1 Teorema. Polar trilineal asociado a un punto.
Demostracin.
Es una aplicacin directa del teorema de Desargues aplicado a los tringulos ABC y
ABC.
Demostracin.
Es el teorema dual del anterior.
9.1.3 Teorema. Recta polar trilineal. Polo trilineal.
a) Sea un tringulo ABC y P un punto fuera del mismo. Sean A' BC AP ,
B' AC BP y C' BC CP . Sean A, B y C los conjungados armnicos de A,
B y C sobre las rectas BC, AC y AB respectivamente. Los puntos A, B y C estn
alineados. La recta que determinan se llama la recta polar trilineal del punto.
b) Sea un tringulo ABC y r una recta del plano cortando los lados AB, BC y AC en
C, A y B. Sean A, B y C los conjungados armnicos de A, B y C sobre las
rectas BC, AC y AB. Entonces las cevianas BB, CC y AA se cortan en un punto P.
Este punto se denomina polo trilineal, o polo armnico de la recta r.
Demostracin.
Por ser puntos conjugados:
BA'CA' '
1 B, C; A' , A' '
BA' CA' BA' BA' ' BA' BA' '
BA' 'CA' BA' ' CA' ' CA' CA' ' A' C A' ' C
AB 'CB' '
1 A, C; B' , B' '
AB ' CB' AB ' AB ' ' CB' CB' '
AB ' 'CB' AB ' ' CB' ' CB' CB' ' B' A B' ' A
AC 'BC ' '
1 A, B; C ' , C ' '
AC ' BC ' AC ' AC ' ' AC ' AC ' '
AC ' 'BC ' AC ' ' BC ' ' BC ' BC ' ' C' B C' ' A
BA' CB' AC ' BA' ' CB' ' AC ' '
Multiplicando las tres igualdades:
A' C B' A C ' B A' ' C B' ' A C ' ' A
Demostracin.
Sea ABC un tringulo, P un punto del plano y ABC el tringulo ceviano asociado:
A' BC AP , B' AC BP y C' BC CP .
Los dos tringulos estn en perspectiva desde el punto P, por lo que, aplicando el
teorema de Desargues, los puntos AB A' B' , BC B'C' y AC A'C' estn
alineados.
Sea A' ' ' BC B' C' . A' ' ' es el conjugado armnico de A respecto de ( B, C ) , basta
considerar el cuadritero completo (A,C,P,B):
y por unicidad del cuarto armnico, A' ' A' ' ' BC B' C' .
De la misma forma se demuestra que C' ' AB A' B' y B' ' AC A' C' .
Demostracin.
Fijamos la referencia ( A, B, C; D) , donde D es el baricentro del tringulo.
Entonces A (1,0,0) , B (0,1,0) y C (0,0,1) .
BC : x 0 , AC : y 0 y AB : z 0 .
Y por tanto podemos calcular sus coordenadas y las de sus conjugados respectivos (ver
2.3.10):
ax by cz 0
A' ': A' ' (0,c, b) A' (0, c, b)
x 0
ax by cz 0
B' ': B' ' (c,0,a) B' (c,0, a)
y 0
ax by cz 0
C ' ': C ' ' (b,a,0) C ' (b, a,0)
z 0
x y z
0 0 1 0 1 0
Luego AA': 1 0 0 , , 0,b, c by cz 0
c b 0 b 0 c
0 c b
x y z
1 0 0 0 0 1
BB ': 0 1 0 , , a,0,c ax cz 0
0 a c a c 0
c 0 a
Y por ltimo:
b
by cz 0 z y
c
P AA' BB ':
ax cz 0 ax c b y 0 ax by 0 x b y
c a
b b 1 1 1
P ,1, , ,
a c a b c
Nota:
La recta polar trilineal y el polo trilineal son generalizaciones de la recta Gergonne y el
punto Gergonne.
9.2 Media armnica.
9.2.1 Definicin. Media armnica de un conjunto de nmeros.
Y por lo tanto
2ab
h
ab
9.2.2 Proposicin.
La media armnica h de dos nmeros a y b es el nmero h que satisface H (a, b ;0, h) , es
decir, es el cuarto armnico del origen y los nmeros a y b.
Demostracin.
(0 a)(h b) a ( h b)
H (a, b; 0, h) a, b;0, h 1 1
(h a)(0 b) b( h a )
2ab
ah ab (bh ab) 2ab ah bh 2ab (a b)h h
ab
nt a t a t a n
t a
ha x1 a xn a i1 xi a
n(t h) n t xi n
t xi h a n
n n xi , h ; t , a
ha i 1 xi a i 1 xi a t h i 1
La expresin
n
n xi , h ; t , a
i 1
Una propiedad remarcable de la media armnica fue descubierta por Cotes, uno de los
alumnos de Newton. Cotes fue designado por Newton parar la preparacin de la
segunda edicin del Philosophiae Principia Mathematica.
9.3 La sucesin armnica.
9.3.1 Ejercicio 1.
Determinar X en H (0 , 1 / 2 ; X , 1)
Solucin:
H (0 , 1 / 2 ; X , 1) 0 , 1 / 2 ; X , 1 1
X 01 1 / 2 1
1 0 X 1 / 2
(1 / 2) X
1 X / 2 ( X 1 / 2) X / 2 X 1 / 2 X / 2 X 1 / 2
X 1 / 2
3X / 2 1/ 2 X 1/ 3
9.3.2 Exercicio 2.
Determinar X en H (0 , 1 / 3 ; X , 1 / 2)
Solucin:
H (0 , 1 / 3 ; X , 1 / 2) 0 , 1 / 3 ; X , 1 / 2 1
X 01 / 2 1 / 3 1 X 1 / 6 1
X
1 / 2 X 1 / 3
1 / 2 0 X 1 / 3 1 / 2 X 1 / 3
6
X 3 X 1 / 3 X 3 X 1 X 3 X 1 X
1
4
Solucin:
1 1 1 1 1 1
H0 , ; , 0 , ; , 1
n n 1 n 1 n n 1 n 1
1 1 1 1 n (n 1)
0
1 1 1 n 1 n 1 n n 1 (n 1)n
0 , n ; n 1 , n 1 1 1 1
1 n (n 1)
0
n 1 n 1 n n 1 (n 1)n
n (n 1) 1
1
n (n 1) 1
9.4 Armona musical.
9.4.1 Definicin. Media aritmtica, armnica y geomtrica.
ab
La media aritmtica m, que satisface la relacin b m m a m .
2
bh ha 2ab
La media armnica h, que satisface la relacin h .
b a ab
a g
La media geomtrica g, que satisface la relacin g ab .
g b
Proposicin.
Se cumple
a m
h b
Demostracin.
a a a(a b) a b a b / 2 m
h 2ab 2ab 2b b b
ab
( f , 2 f , 3 f , 4 f , ...)
2ab 4
Media armnica: h (Cuarta)
ab 3
l l l
l , , , , ...
2 3 4
1
Entre un tono a 1 y su octava b
determinamos los siguientes intervalos:
2
ab 3
Media aritmtica: m (Cuarta)
2 4
2ab 2
Media armnica: h (Quinta)
ab 3
1 6 3 9 2 8
Octava: , Cuarta: , Quinta:
2 12 4 12 3 12
Luego tiene sentido dividir la octava en 12 separaciones, para las cuales la octava ser
6, la cuarta ser 9 y la quinta ser 8.
a b 6 12
Media aritmtica: m 9
2 2
2ab 2 6 12
Media armnica: h 8
a b 6 12
1
En total, entre un tono 1 y su octava hay 6 intervalos armnicos:
2
5 4 3 2 5 3
, , , , ,
6 5 4 3 8 5
9.4.5 Acordes.
Un acorde es un conjunto de tres o ms sonidos diferentes que suenan simultneamente.
Para nosotros un acorde ser un conjunto ordenado de tres sonidos.
Los acordes armnicos son aquellos cuyas frecuencias mantienen una proporcin
1:2:3, 2:3:4, 3:4:5 y 4:5:6. Son agradables al oido.
5 3
a) Consideremos el acorde 4:5:6, cuya proporcionalidad es equivalente a 1 : : , es
4 2
decir, DO-MI-SOL.
Las longitudes de las cuerdas son inversamente proporcionales a las frecuencias, por lo
4 2
que dichas longitudes han de cumplir una proporcin 1 : : .
5 3
Esta proporcin es armnica en el sentido de conjunto armnico de nmeros:
4 2 4 4 4 4 4 4 4 4 1 1 1
1 : : 1 : : : : H 0, ; , H 0, ; , para n 5 (ver
5 3 5 6 4 5 6 5 6 4 n n 1 n 1
ejercicio 3)
4 5 3 3
3 : 4 : 5 1 : : que corresponde a unas longitudes de cuerda 1 : :
3 3 4 5
3 3 3 3 3 3 3 3 1 1 1
1 : : : : H 0, ; , H 0, ; , para n 4
4 5 3 4 5 4 5 3 n n 1 n 1
3 15 9
c) Otro acorde interesante es : : (dominante)
2 8 8
2 8 8
Estas frecuencias tienen asociadas unas longitudes de : :
3 15 9
Nuevamente encontramos aqu un conjunto armnico de nmeros:
2 8 8 (8 / 15 0)(8 / 9 2 / 3)
0, 3 ; 15 , 9 (8 / 9 0)(8 / 15 2 / 3) 1
En general, la frmula del ejercicio 3 nos proporciona acordes armnicos para cualquier
valor de n:
1 1
Para n 2 , tenemos H 0 , ; , 1 .
2 3
Suponiendo una cuerda tensa de longitud 1, encontramos la octava, que corresponde a
1
una longitud , y la quinta justa por encima de la octava, que corresponde a una
2
1
longitud .
3
1 1 1
Para n 3 , tenemos H 0 , ; , . Multiplicando por 2 las longitudes nos
3 4 2
2 1
encontramos con el conjunto armnico H 0 , ; , 1 , donde encontramos la octava
3 2
1
(que corresponde a una longitud ) y una quinta justa por debajo de la octava.
2
1 1 1 3 3
Para n 4 , tendramos H 0 , ; , H 0 , ; , 1
4 5 3 4 5
1 1 1 4 2
Para n 5 , tendramos H 0 , ; , H 0 , ; , 1
5 6 4 5 3
El caso es que, a partir de Descartes y Fermat, los gemetras vieron el cielo abierto.
Problemas que antes estaban predestinados a ser resueltos mediante construcciones que
exigan un alto nivel de intuicin e ideas felices, ahora se formulaban en trminos
numricos y se sometan a reglas concretas de fcil sistematizacin. El recin
descubierto clculo infinitesimal result un aliado estimable, mientras que escollos
histricos para los griegos, como la cuadratura del crculo, la triseccin del ngulo o la
duplicacin del cubo, se formulaban en un lenguaje algebraico que habra de resultar
definitivo para zanjarlos de una vez y para siempre. Haba nacido la geometra
analtica. Y no es que los mtodos arcaicos no fueran adecuados, lase, por ejemplo, la
prueba original del principio de Arqumedes o las obras de Galileo(1), en donde no se
usaban para nada coordenadas, sino que estos nuevos procedimientos se mostraban
mucho ms asequibles y sencillos, al tiempo que gozaban de una mayor potencia.
De nuevo las modas: la geometra al estilo clsico, salvo episodios fugaces que no
tuvieron demasiada repercusin, declinaba sin cesar. Pocos prestaron atencin a los
trabajos de Saccheri sobre el quinto postulado de Euclides o a la brillante concepcin
del espacio proyectivo de Desargues. Al principio del siglo XIX, casi todo lo "no
analtico" quedaba como competencia de la llamada geometra descriptiva, introducida
por Gaspard Monge en su tratado de 1799, y caracterizada por usar los procedimientos
de proyeccin y seccin de Desargues de los que se hablar ms adelante. Fue un
alumno de Monge, Jean Victor Poncelet, quien vino a revitalizar al moribundo. Oficial
de los ejrcitos de Napolen, Poncelet cay prisionero en la campaa de Rusia
permaneciendo encarcelado entre 1813 y 1814. All, en la prisin de Saratov, el
aburrimiento lo llev a intentar recordar las enseanzas de su maestro, fruto de lo cual
escribi el Tratado de las propiedades proyectivas de las figuras. Pero ahora, el camino
sealado por Poncelet, que rescataba del olvido a la geometra proyectiva
desarguesiana, fue seguido por importantes matemticos de su tiempo. Alguna vez se
oye afirmar que la geometra proyectiva moderna naci en el presidio de Saratov.
Sin embargo, entre los estudiosos de la "nueva" geometra se abri una enorme zanja de
intransigencia. Aqu fue cuando surgi la denominacin geometra sinttica como
contrapartida, o incluso como trmino antittico, de la geometra analtica. El mundo
qued dividido entre sintticos y analticos. Los primeros renegaban de cualquier
aritmetizacin de la geometra mientras que los otros seguan aplicando las tcnicas
cartesianas, ahora a la geometra proyectiva, mediante la introduccin de las
coordenadas baricntricas de Mbius o las coordenadas homogneas de Plcker. Cada
bando posea importantes argumentos que esgrimir en su favor y recriminaciones y
censuras que lanzar al contrario. Poncelet se mantuvo al margen del enfrentamiento
pues, si bien comprenda que los mtodos sintticos proporcionaban razonamientos
elegantes y de una enorme belleza intrnseca, tambin admita que las herramientas
analticas resultaban, a la postre, ms efectivas, ms sistemticas y dependan menos de
la inspiracin del autor.
Hoy en da, tras los distintos matices impuestos por el paso de la historia, los adjetivos
sinttico y analtico aplicados a la geometra adquieren un significado particular. Hablar
de geometra analtica supone considerar una estructura algebraica (en principio R o C u
objetos ms generales como un cuerpo o un anillo de divisin) que d soporte a las
coordenadas, y montar sobre aquella el modelo geomtrico a estudiar. En tal proceso
suelen jugar un importante papel las tcnicas del lgebra lineal. En geometra sinttica,
por el contrario, se describe directamente el modelo geomtrico a partir de un conjunto
de axiomas, pudiendo despus construirse desde este una estructura algebraica para las
coordenadas, procedimiento conocido como introduccin de coordenadas. En ambos
casos, y siguiendo el espritu de Felix Klein, se definen ciertos tipos de
transformaciones geomtricas en esos modelos. Cada rama de la geometra se ocupa
entonces de investigar acerca de las propiedades que quedan invariantes por una clase
particular de transformaciones: isomorfismos lineales para el lgebra lineal,
proyectividades o colineaciones para la geometra proyectiva, afinidades para la
geometra afn, isometras para la geometra eucldea, o, con mayor amplitud de miras,
homeomorfismos para la topologa y difeomorfismos para la geometra diferencial.
(1) El lector interesado puede encontrar traducciones castellanas de estos textos en Neuman, J.R.
Enciclopedia Sigma, El mundo de las matemticas, Grijalbo, Barcelona, 1976, y en Hawking, S. A
hombros de gigantes. Las grandes obras de la fsica y la astronoma, Crtica, Barcelona,
(2) Un desarrollo minucioso de los contenidos de este artculo, totalmente accesible por no imponer
conocimientos previos y, adems, escrito en castellano, puede consultarse en Blumenthal, L.M.,
Geometra axiomtica, Aguilar, Madrid, 1965.
(3) Vase Artin, E., Algbre Gomtrique, Gauthier-Villar, Paris, 1972.
(4) El orden de un plano es el nmero de puntos de una recta ms uno.
Referencias literarias.
Otras veces toca preguntar al chico, para tormento del padre.
Pap, por qu no tienen barba las mujeres? A punto estuvo Carrascal de responder:
Porque las tienen los hombres; para diferenciarse en la cara, pero se call.
-Mira, hijo, en un tringulo que tenga dos ngulos desiguales, a mayor ngulo se opone
mayor lado...
-S, ya lo veo, pap.
-No basta que lo veas, hay que demostrrtelo.
-Pero si lo veo...!
-No importa; de qu sirve que veamos las cosas si no nos las demuestran?
Sin embargo, hay que advertir que si Dios existe, si verdaderamente ha creado la Tierra,
la ha hecho, como es sabido, de acuerdo con la geometra de Euclides, puesto que ha
dado a la mente humana la nocin de lastres dimensiones, y nada ms que tres, del
espacio. Sin embargo, ha habido, y los hay todava matemticos y filsofos que
dudan si todo el Universo o, para decirlo de manera ms amplia, toda existencia, fue
creada solo de acuerdo con los principios de Euclides, e incluso se atreven a soar que
dos rectas paralelas que, de acuerdo con Euclides nunca se pueden cortar en la Tierra,
quizs puedan hacerlo en el infinito. En vista de que ni siquiera esto soy capaz de
comprender, he decidido no intentar comprender a Dios. Confieso humildemente mi
incapacidad para resolver estas cuestiones. En esencia, mi mentalidad es la de Euclides:
una mentalidad terrestre. Para qu intentar resolver cosas que no son de este mundo?
Te aconsejo que no te tortures el cerebro tratando de resolver estas cuestiones, y menos
an el problema de la existencia de Dios. Existe o no existe? Estos puntos estn fuera
del alcance de la inteligencia humana, que slo tiene la nocin de las tres dimensiones.