Proyectividad y Ejercicios

Geometra proyectiva para enseanza
semipresencial
Ignacio Sols y Jess Sols
En memoria de nuestro padre, un buen trabajador
ndice general
Prlogo
Captulo 1. El espacio proyectivo

1. Enunciados de los ejercicios
2. Soluciones de los ejercicios
1
1
6
Captulo 2. Geometra en la recta proyectiva

7
10
Captulo 3.
Plano proyectivo
1. Enunciado de los ejercicios
2.
Soluciones de los ejercicios
13
13
16
Captulo 4. Cudricas
1.
Enunciado de los ejercicios
2.
Solucin de los ejercicios
19
19
24
Captulo 5. Cnicas
31
31
33
Captulo 6. Consecuencias del Teorema de Chasles

39
39
42
Captulo 7.
47
Ms sobre cnicas lisas
47
2. Solucin de los ejercicios
50
Captulo 8.
55
Haces de cnicas

55
59
Captulo 9. Clasicacin de cudricas reales

1.
63
63
63
iii
iv
NDICE GENERAL

Captulo 10. Espacio eucldeo
2.
3.
Captulo 11. Ms sobre geometra eucldea
67
81
81
85
85
89
89
94
Prlogo
Este es material ha sido elaborado por los dos autores para un curso impartido
por Ignacio Sols como experiencia de enseanza semipresencial, segn el espritu de
convergencia de Bolonia. En la primera parte, se proponen unos ejercicios tericos
cuya resolucin y entrega semanal al profesor constituyen la confeccin por parte
del alumno de su propio texto. La segunda parte consiste en las contestaciones a
estos ejercicios, un material que el profesor puede ir poniendo en la red, semana a
semana, para que el alumno pueda confrontar sus respuestas con las del profesor.
La semipresencialidad prevista para el uso de este material consiste, por supuesto,
en que los ejercicios tericos deben ser presentados semanalmente por el profesor
en una sesin larga o un par de sesiones en el aula, lo que justica la parquedad de
nuestro estilo.
Se trata pues de ejercicios "tericos", cuyo conjunto conforma la teora del
curso, por lo que su complemento natural es una coleccin de ejercicios "prcticos",
material que hemos confeccionado para que puedan ser propuestos en paralelo con
asistencia del programa de clculo "Wiris"del prof. Sebastin Xamb.
Hemos supuesto la familiaridad del alumno con el Algebra y la Geometra
Lineal en un espacio vectorial, y en el espacio afn , con o sin estructura mtrica,
y como recordatorio de estos prerrequisitos incluimos al nal un apndice, cuya
resumida exposicin a principio de curso -una o dos semanas- encontramos muy
recomendable.
Hubisemos querido tratar el espacio proyectivo tan extensivamente al menos
como el plano proyectivo, pero eso tan slo era posible en la antigua enseanza en
que se dedicaba una ao entero a la geometra proyectiva. Hemos perdido eso en
solidez de la formacin de nuestros jvenes, prdida que probablemente no pueda
justicarse porque hayamos ganado en otros aspectos: en matemticas, nada vale a
cambio de las matemticas. Sencillamente, no estamos transmitiendo lo que hemos
recibido. Pero al menos, a pesar de la brevedad de este curso, demostramos el
teorema de Witt, complejo y real, de clasicacin afn de las cudricas en dimensin
arbitraria. Se trata , pues , del teorema principal de este curso.
No cabe duda, pues, de que la continuacin natural sera hacia la dimensin
tres. Por esa razn hemos includo su tratamiento como uno de los apndices con
temas sugeridos a modo de seminario para que puedan proseguir aquellos alumnos
que se hayan interesado especialmente por este curso: dimensin superior, mtodo
axiomtico, teorema fundamental, rectas en el espacio, y un apndice sobre historia
de la Geometra Proyectiva.
Este material, an sin revisar, no puede ser divulgado ni utilizado sin permiso
de los autores.
CAPTULO 1
El espacio proyectivo
1.
Enunciados de los ejercicios
1.1. Motivacin heurstica del espacio proyectivo. El espacio afn no

tiene origen prejado, pero tiene el innito prejado: Si dos rectas son paralelas,
es decir si se cortan en un punto del innito, sus transformadas por una anidad
, tambin son paralelas, es decir tambin se cortan en un punto del innito. Esto
signica que las anidades, o , equivalentemente, los cambios de coordenadas anes,
llevan puntos del innito a puntos del innito, es decir que conservan el innito.
Sin embargo, es posible pensar en transformaciones lineales -en el sentido
de que transforman lineas rectas en lineas rectas- que no conservan el paralelismo,
por ejemplo la proyeccin de un plano a otro desde un punto exterior a ambos (es
el caso de la proyeccin del plano de una llanura sobre el plano del fondo de una
cmara oscura donde se impresione una placa fotogrca: unas vas de tren en la
llanura, que son paralelas, se proyectan en rectas convergentes, tal como aparecen
en la foto. El centro de proyeccin ha sido el oricio de la cmara oscura).
Se busca pues una nocin de espacio en que las transformaciones que conserven
su estructura no conserven el paralelismo, es decir no conserven el innito: un
espacio, pues, en el que el innito no est prejado sino que pueda ser elegido al
arbitrio, al modo en que el origen del espacio afn no est prejado sino que se elige
arbitrariamente. Esta ser la nocin de espacio proyectivo , y las transformaciones
que conserven su estructura sern las proyectividades, las cuales conservarn las
rectas, pero no el paralelismo de rectas. En otras palabras, el paralelismo no formar
parte de la estructura: en un plano proyectivo no habr rectas paralelas!
Es fcil comprobar que la nocin de paralelismo y la nocin de proporcin o
razn simple de tres puntos alineados son equivalentes (es decir que disponiendo
de una nocin se puede denir la otra) As pues, las proyectividades, como no
conservarn el paralelismo, no conservarn la razn simple de tres puntos alineados,
pero conservarn otro tipo de razn que involucra cuatro puntos alineados y a la
que llamaremos su razn doble (asi como la nocin de razn simple de tres puntos
alineados es obviamente equivalente a la de punto medio entre dos puntos dados en
una recta, la nocin de razn doble de cuatro puntos ser equivalente a la de punto
en cuaterna armnica con tres puntos dados en una recta).
1.2. Denicin de espacio proyectivo. Sea V un espacio vectorial sobre

un cuerpo K (en este curso, los cuerpos se supondrn conmutativos y los espacios
vectoriales se supondrn de dimensin nita). El espacio proyectivo P = P(V )
1
1. EL ESPACIO PROYECTIVO
asociado a V es el conjunto de sus rayos, es decir, de sus subespacios vectoriales

de dimensin 1, y estos se llaman puntos del espacio proyectivo. Se dice que su
dimensin es n si la dimensin de V es n + 1, y escribimos entonces Pn si queremos
hacer explcita su dimensin. Si V 0 es un subespacio de V de dimensin n0 + 1
decimos que
P = P(V ) = Pn Pn = P(V ) = P
es un subespacio proyectivo de dimensin n0 (y se llama a n n0 su codimensin)
As pues, los que hemos llamado "puntos"P 2 P son sus subespacios proyectivos P0
de dimensin cero. Los subespacios proyectivos P1 de dimensin 1 se llaman rectas
proyectivas; los de dimensin 2 se llaman planos proyectivos P2 ; y, a veces, el espacio
proyectivo P3 de dimensin 3 es llamado espacio proyectivo por antonomasia. Los
subespacios proyectivos de codimensin 1, es decir de dimensin n 1, se llaman
hiperplanos proyectivos de Pn . As pues , los hiperplanos proyectivos del espacio P3
son sus planos P1 ; los del plano proyectivo P2 son sus rectas P1 ; y los del la recta
proyectiva P1 son sus puntos:
Por la frmula de dimensin de interseccin de subespacios vectoriales (vase
el apndice Repaso de Algebra Lineal") , en un espacio vectorial V de dimensin 3,
dos subespacios V 0 , V 00 de dimensin 2 distintos intersecan en un subespacio V \V
de dimensin 1 (es decir, su codimensin es la suma de ambas codimensiones) En
otras palabras, en un plano proyectivo P2 , dos rectas proyectivas P1 ; P10 intersecan
en un punto (heursticamente: no hay rectas paralelas en el plano proyectivo. Y
esto es exactamente lo que se pretenda!)
Una referencia proyectiva de un espacio proyectivo Pn = P(V ) es una base
!
e 0 ; :::; !
e n de V denida salvo multiplicacin por escalar no nulo (es decir que
la base !
e 0 ; :::; !
e n dene la misma referencia).Los puntos P0 = h!
e 0 i; ::;Pn =
!
h e n i se llaman vrtices del tetraedro de referenciaSea P= h!
v i un punto de Pn ,
donde !
v es un vector de V de coordenadas (x0 ; :::; xn ) . Estas mismas coordenadas
se llaman las coordenadas homogneas del punto P en la referencia: la palabra
homogneas signica que si se multiplican la coordenadas por un escalar no
nulo, denen el mismo punto.
Se llama punto patrn o punto unidad de la referencia al punto U de coordenadas homogneas (1,..., 1) . Dar una referencia es equivalente a dar los vrtices
del tetraedro de referencia P0 ; ::;Pn y el punto unidad U, como consecuencia del
siguiente
Ejercicio 1. Demostrar que son nicos , salvo producto por constante no
nula, los vectores !
e 0 ; :::; !
e n en los rayos P0 ; ::;Pn tales que U tiene en tal base
coordenadas homogneas (1,...1), es decir tales que un vector cualquiera !
u no nulo
!
!
!
de U se expresa como u = eo + ::: + e n , donde
es un escalar no nulo.
Sea !
e 0 ; :::; !
e n (salvo producto por escalar no nulo) una nueva referencia
proyectiva de P y sea C la matriz homognea (es decir, considerada salvo producto
por escalar no nulo) que la expresa en la antigua referencia !
e 0 ; :::; !
e n .Obviamente,
si X es la columna de coordenadas homogneas de un punto P de P en la antigua
referencia, y X son sus coordenadas en la nueva referencia, entonces AX 0 = X
Sean P = P(V ) y P = P(V ) dos espacios proyectivos. Una aplicacin lineal
V !V entre ellos transforma rayos de V en rayos de V , dando pues lugar a una
1. ENUNCIADOS DE LOS EJERCICIOS
aplicacin biyectiva f: P ! P que se llama "proyectividad". Si se escogen referencias proyectivas en P y P , entonces, obviamente, la ecuacin de la proyectividad
es
(1.1)
AX = X 0
donde X es la columna de coordenadas homogneas de un punto de P , X

es la columna de coordenadas homogneas de su punto imagen en P, y A es
una matriz regular homognea. Si C, D son las matrices homogneas de cambio a
nuevas referencias proyectivas de P; P , la matriz homognea que expresa la misma
proyectividad en las nuevas coordenadas homogneas es A = D 1 AC:
Si P = P(V ) es un espacio proyectivo y V* es el espacio dual del espacio
vectorial V, entonces se llama a P = P(V ) espacio proyectivo dual. Sus puntos
pueden ser entendidos como los hiperplanos proyectivos de P, es decir que una
forma lineal homognea ( o sea denida salvo producto por escalar no nulo) puede
ser entendida como el hiperplano en que ella se anula. Para mejor comprensin de
este hecho , tmense coordenadas homogneas xo ; :::; xn en el espacio proyectivo
P : un elemento de V*, o forma lineal de V, se expresa en esas coordenadas como
ao xo +:::+an xn , y los rayos en que se anula aquellos cuyas coordenadas homogneas
xo ; :::; xn cumplan
(1.2)
ao xo + ::: + an xn = 0
ecuacin en la que, obviamente, los coecientes ao ; :::; an estn denidos salvo

producto por constante no nula, por lo que pueden ser entendidos como las coordenadas homogneas ( ao ; :::; an ) en adecuada referencia -referencia dual- de un punto
de un espacio proyectivo, a saber el espacio proyectivo dual. Esta claro pues que el
espacio dual de un espaci proyectivo tiene su misma dimensin. Como vimos en el
Repaso de Algebra Lineal que V** = V , tenemos que P = P:As por ejemplo,
el espacio dual del espacio proyectivo tridimensional es el espacio formado por sus
planos, y el el dual de ste es el espacio proyectivo original. El espacio dual del
plano proyectivo es el plano proyectivo formado por sus rectas. El dual del espacio
proyectivo monodimensional es el espacio proyectivo monodimensional formado por
sus hiperplanos, es decir por sus propios puntos!
1.3.
Espacio afn. . Dar una geometra afn en un espacio proyectivo
Pn = P(V ) es escoger un hiperplano P(V ) que se llama hiperplano de innito y se
denota Pn1 1 o simplemente P1 : A sus puntos se les llama puntos del innito y a
los de su complementario se les llama puntos nitos. Dos rectas -no contenidas en
el innito- se llaman paralelas cuando se cortan en un punto del innito (ms en
general , dos subespacios proyectivos se llaman paralelos cuando sus intersecciones
con el innito estn contenidas una en la otra) . Al conjunto
(1.3)
An = Pn nPn1
de puntos nitos se le llama espacio an (porque es de hecho un espacio an

sobre el espacio vectorial V , como justicaremos poco ms abajo). Un sistema
de coordenadas homogneas en Pn , es decir de coordenadas x0 ; :::; xn de V

consideradas salvo producto por escalar no nulo, se llaman coordenadas anes si
en ellas el hiperplano Pn1 1 tiene ecuacin xo = 0:Esto signica que el hiperplano
del innito sea el conjunto de puntos(0, x1 ; :::xn ) de primera coordenada nula, o
equivalentemente , que los puntos nitos sean los que tienen primera coordenada
x0 no nula. Como hay libertad para multiplicar por un escalar no nulo, se pueden
dividir todas las coordenadas xi por esa primera coordenada x0 no nula, tomando
as como coordenadas de los puntos nitos (1:y1 ; :::; yn ), donde
x1
xn
(1.4)
y1 =
; :::; yn =
x0
x0
son ya coordenadas inhomogneas -denidas absolutamente, y no salvo producto
por escalar no nulo- como sucede con las coordenadas de un espacio an.
Justiquemos que An es de hecho un espacio afn: en el repaso de Algebra
lineal se vea que los vectores de V cuya primera coordenada x0 tiene un valor
determinado, por ejemplo 1, forman una clase de equivalencia en V =V , es decir, de
la equivalencia mdulo el subespacio vectorial V formado por los vectores que tienen
nula la primera coordenada x0 . Una tal clase de equivalencia era un espacio an
sobre V : Sus puntos, los vectores de V con primera coordenada 1, se corresponden
biyectivamente con los rayos de V , exceptuados los rayos que yacen en V ; es decir
con los puntos de An = Pn nPn1 1 : Queda as justicado que An es un espacio afn,
y que, de hecho, es espacio afn sobre V .
Dado un cambio a nuevas coordenadas homogneas xi , las nuevas coordenadas
homogneas xi sern tambin anes si y slo si en esas nuevas coordenadas el hiperplano del innito Pn1 1 tambin tiene la ecuacin x0 = 0, es decir si las ecuaciones
del cambio transforman la ecuacin x0 = 0 en la ecuacin x0 = 0 , lo que signica
que la primera igualdad de arriba sea
(1.5)
c00 x0 = x0
Si adems c00 fuera nulo sucedera que la matriz de cambio (cij ) tendra la
primera la nula, lo que es imposible pues (cij ) es una matriz regular. Como esta
matriz est denida salvo producto por escalar no nulo, podemos multiplicarla por
c00 y forzar as que sea adems c00 = 1: La ecuacin del cambio queda, pues,
entonces
x0
a10 x0 + a11 x1 + ::: + a1n xn
(1.6)
an0 x0 + an1 x1 + ::: + ann xn
= x0
= x1
:
:
:
= xn
donde se han denotado aij los escalares cij =c00 . La ecuacin de cambio de
las coordenadas anes inhomogneas antiguas, yi = xi =x0 a las coordenadas anes
inhomogneas nuevas y1 = xi =x0 queda (al dividir todas las ecuaciones por la
primera)
a00 + a11 y1 + ::: + a1n yn
(1.7)
an0 + an1 y1 + ::: + ann yn
= y1
:
:
:
= yn
que es exactamente la expresin del cambio de coordenadas anes vista en el

Repaso de Algebra Lineal.
Anlogamente, una proyectividad f : Pn ! Pn de un espacio proyectivo con
estructura an, o eleccin de innito Pn1 1 , se llama anidad cuando deja invariante
n 1
el innito , es decir cuando f (Pn1 1 ) = P1
; lo que en coordenadas anes x0 ; :::; xn
se expresa por el hecho de que la proyectividad deje invariante la ecuacin x0 = 0:
En coordenadas anes inhomogneas y1 ; :::; yn , una proyectividad se expresa, pues,
razonando como antes, con las mismas ecuaciones de las anidades que vimos en el
Repaso de Algebra Lineal.
Dadas coordenadas homogneas x0 ; :::; xn en un espacio proyectivo Pn ; un polinomio homogneo fd (x0 :::; xn ) de grado d en las variables x0 ; :::; xn ( es decir,
polinomio con todos los monomios del mismo grado d ) dene como ecuacin
fd (x0 :::; xn ) = 0 un subconjunto de Pn llamado hipersupercie proyectiva de grado
d . En efecto, si fd (a0 ; :::; an ) = 0 para un punto P de coordenadas homogneas
(a0 ; :::; an ), entonces fd ( a0 ; :::; an ) = d fd ( a0 ; :::; an ) = 0 para todo escalar no
nulo . Recordemos que todo hiperplano Pn 1 de Pn es de la forma Pn 1 = P(Vn )
para un hiperplano vectorial Vn Vn+1 . La ecuacin de Vn en Vn+1
(1.8) ao x0 + ::: + an xn = 0 (con los ai denidos salvo
6= 0; y no todos nulos)
puede ser entendida tambin como ecuacin del hiperplano Pn 1 dentro de Pn ; y

deniendo por tanto una hipersupercie de grado 1. Ms adelante trataremos de
la hipersupercies proyectivas de grado 2, que son las cudricas de Pn , y que en
el plano P2 se llaman cnicas. As pues, una cnica viene denida como lugar de
anulacin de un polinomio homogneo en x0 ; x1 ; x2 de grado dos
(1.9)
a00 x20 + a11 x21 + a22 x22 + a01 x0 x1 + a02 x0 x2 + a12 x1 x2 = 0
en las variables homogneas x0 ; x1 :x2 .

Si se ha dado en Pn una estructura afn Pn1 1 Pn y x0 ; :::; xn son coordenadas
homogneas anes para esa estructura, entonces, recordemos, se tienen coordenadas
anes inhomogneas (es decir, usuales) y1 ; :::; yn denidas por el cambio1.4 , por lo
que una ecuacin homognea fd (x0 ; :::; xn ) = 0 se convierte, al ser dividida por xd0
, en la ecuacin inhomognea
fd (x0 ; :::; xn )
=0
xd0
en las variables y1 ; ...yn de An , anulndose pues en los mismos puntos que ella,
ya que x20 6= 0 en todos los puntos de An : As, por ejemplo, la anterior ecuacin 1.8
de un hiperplano del espacio proyectivo se convierte en

a0 x0 + ::: + an xn
0=
= a0 + a1 y::: + an yn
x0
que es la ecuacin familiar de un hiperplano en el espacio afn, y la anterior
ecuacin 1.9 de una cnica del plano se convierte en
0
a00 x20 + a11 x21 + a22 x22 + a01 x0 x1 + a02 x0 x2 + a12 x1 x2

x20
= a00 + a11 y12 + a22 y22 + a01 y12 + a02 y2 + a12 y1 y2

que es la ecuacin familiar de una cnica en las coordenadas y1 , y2 del plano
afn. Como ilustran estos dos ejempos, el resultado de deshomogeneizar es muy
sencillo: se sustituye la variable homognea x0 por el valor 1, y se sustituyen las
restantes variables homogneas xi por la variable inhomognea yi . La operacin
inversa, pasar una ecuacin polinmica de grado d en coordenadas inhomogneas
yi (i = 1; :::; n) a ecuacin polinmica homognea en las coordenadas homogneas
xi (i = 0; :::; n) ; consiste, por supuesto, en multiplicarla por xd0 . Como ilustran los
dos ejemplos anteriores, aunque ledos ahora en modo inverso, el resultado consiste
en que cada variable yi es sustituida por la variable xi ; y cada monomio de grado
0
d0 < d es multiplicado por xd0 d .
As pues se ha recuperado el espacio an como el complemento An
Pn en
n
n 1
el espacio proyectivo P de un hiperplano de innito P1 escogido arbitrariamente,
quedando as Pn como unin disjunta Pn = An t Pn1 1 de los conjuntos formados
por los "puntos nitos los "puntos del innito".Como An es espacio an sobre V ,
tal como antes argumentamos, y Pn1 1 es el espacio P(V ) de rayos de V , obtenemos
cn del espacio an An
que el espacio proyectivo Pn no es sino el espacio ampliado A
segn se deni en el Repaso de Algebra Lineal. La observacin fundamental es que,
cuando se hizo aparecer el innito de ese modo -como ampliando el espacio anese innito no era pues de eleccin sino que estaba determinado por la estructura y
era conservado por las anidades ( las anidades llevaban rectas paralelas a rectas
paralelas, es decir puntos del innito a puntos del innito), mientras que ahora el
innito ha aparecido dentro del espacio proyectivo como objeto de libre eleccin
(de hecho las proyectividades no conservan necesariamente el innito, es decir no
conservan necesariamente el paralelismo: el concepto de paralelismo pertenece a la
geometra afn , no a la geometra proyectiva). La situacin es anloga a la que se
da entre las nociones de espacio vectorial y de espacio an: en el espacio vectorial
el origen no es un vector de libre eleccin, sino que es necesariamente el elemento
neutro del grupo aditivo, mientras que en el espacio an el origen es un punto de
libre eleccin.
2
2.
CAPTULO 2
Geometra en la recta proyectiva

1.
En esta lista de ejercicios se supondr siempre como marco de trabajo la recta

proyectiva P1 sobre un cuerpo conmutativo k. Recordemos que la razn doble de
cuatro puntos distintos A1 ; A2 ; A3 ; A4 de P1 se dene, utilizando coordenadas
homogneas x0; x1 , como
(1.1)
fA1 ; A2 ; A3 ; A4 g =
x10
x11
x20
x21
x30
x31
x30
x31
x10
x11
x20
x21
x40
x41
x40
x41
donde xi0 ; xi1 denotan las coordenadas del punto Ai . La cuaterna de puntos
se dice uaterna armnicauando
(1.2)
fA1 ; A2 ; A3 ; A4 g =
Ejercicio 2. Demostrar que esta denicin de razn doble no depende del

sistema de coordenadas elegido (es decir, que al efectuar un cambio de coordenada
homogneas queda la misma razn doble). Equivalentemente, las proyectividades de
P1 conservan la razn doble de cuatro puntos.
Sugerencia: Las coordenadas xi0 ; xi1 , y xj0 ; xj0 de dos puntos Pi ; Pj bajo cambio de matriz C se comportan as
c00
c01
c10
c11
x0i0
x0i1
x0j0
x0j1
xi0
xi1
xj0
xj1
A un punto de coordenadas homogneas x0 ; x1 se le asocia la coordenada

completa , que convencionalmente puede valer innito:
x1
si x0 6= 0
x0
y , abusando un poco, denotamos por f 1 ; 2 ; 3 ; 4 g la razn doble de cuatro
puntos de la recta proyectiva que tengan 1 ; 2 ; 3 ; 4 por coordenada completa.
= 1 si x0 = 0; mientras que
2. GEOM ETRA EN LA RECTA PROYECTIVA
Ejercicio 3. a) Probar que

(1.3)
f 1;
2 ; 3 ; 1g
b) Concluir que
(1.4)
f 1;
2 ; 0; 1g
1
2
y por tantof ; 1; 0; 1g = :
Sugerencia para a): trabajar en coordenadas homogneas, es decir, i como
(1; i ) e 1 como (0,1).
Nos hallamos antes la intucin ms profunda del signicado de la geometra
proyectiva: el apartado a) signica que la razn doble de cuatro puntos alineados
es la proporcin -o razn simple- en que quedan tres de ellos cuando el cuarto
es tomado como punto del innito o punto del horizonte de esa recta vista en
perspectiva; el hecho de que esta razn doble sea -1, es decir que sea 3 1 = 2 3 ;
signica pues que el punto 3 queda entonces como punto medio, o "baricentro",
entre 1 y 2 . El apartado b) signica que la razn doble de cuatro puntos es
la coordenada completa de uno de ellos cuando los otros tres son tomados como
referencia, es decir como origen, punto unidad, y punto del innito. As pues, la
razn doble de cuatro puntos es en geometra proyectiva lo que es la razn simple de
tres puntos en geometra afn, o lo que es la distancia entre dos puntos en geometra
mtrica. Cada una de estas nociones caracteriza cada una de estas geometras, y
las transformaciones que las conservan son exactamente las transformaciones que
conservan estas geometras.
Ejercicio 4. Probar que la razn doble queda invariante si se intercambia
el primer par A1 ; A2 con el segundo par A3 ; A4 ; tambin si en ambos pares se
intercambian sus miembros; probar que la razn doble se invierte si se intercambian
los miembros de slo uno de los dos pares. Concluir que estas tres permutaciones
practicadas en cuatro puntos armnicos los mantienen armnicos.
Ejercicio 5. Probar el siguiente comportamiento de la razn doble de cuatro
puntos al permutar medios y al permutar extremos:
(1.5)
fA1 ; A2 ; A3 ; A4 g + fA1 ; A3 ; A2 ; A4 g =
fA1 ; A2 ; A3 ; A4 g + fA4 ; A2 ; A3 ; A1 g =
1
1
Ejercicio 6. Sea fA1 ; A2 ; A3 ; A4 g = . Como aplicacin de los dos ejercicios

anteriores, hallar los seis valores posibles de la razn doble de estos cuatro puntos
al permutarlos de todos los modos posibles.
Para los ejercicios de la segunda parte de esta lista recordemos que las proyectividades de la recta proyectiva se expresan en coordenadas homogneas x0 ; x1 como
x0 = a00 x0 + a10 x1
x1 = a01 x0 + a11 x1
(donde las coordenadas prima signican coordenadas del punto imagen) ,

siendo la matriz (aij ) regular. En trminos de la coordenada completa , al dividir
miembro a miembro la segunda expresin por la primera, queda
a01+ a11
=
a00+ a10
es decir
(1.6)
+b +c +d=0
para adecuados coecientes a,b,c,d del cuerpo. La proyectividad se llama involucin cuando su cuadrado es la identidad (es decir: si es aplicada en ; entonces
es aplicada en ): Se trata pues de que esta ecuacin sea simtrica en ; es decir,
que sea b = c :
(1.7)
+ b( + ) + d = 0
Ejercicio 7. Demostrar que toda proyectividad tiene dos puntos jos, contados
con posible multiplicidad.
Ejercicio 8. Demostrar que, en la expresin de una proyectividad en la coordenada completa de un punto y su imagen, el primer coeciente a es nulo si y
slo si 1 es punto jo de la proyectividad.
(Sugerencia: dividir por
02
en la ecuacin1.6 )
Ejercicio 9. Si los dos puntos jos de una proyectividad son distintos , y son
tomados como puntos de referencia P0 y P1 ( o sea como puntos de coordenadas
homogneas (1,0) y (0,1), y por tanto de coordenada completa = 0 e 1) entonces
la proyectividad se expresa en forma dehomotecia", = k ; y recprocamente, una
homotecia deja jos 0 e 1: En caso de que la proyectividad sea una involucin, se
expresa en forma de simetra : =
Ejercicio 10. Si una proyectividad tiene sus dos puntos jos iguales (o sea,
un solo punto jo con multiplicidad 2, o punto doble) y si se toma la referencia de
modo que la coordenada de ese punto jo doble sea 1; entonces la proyectividad se
expresa como traslacin: = + k
Ejercicio 11. Demostrar que, dados tres puntos distintos A1 ; A2 ; A3 y otros
tres puntos distintos A1 ; A2 ; A3 , existe una nica proyectividad que aplica los tres
primeros en los tres segundos. Expresarla en sus coordenadas completas al elegir
referencia.
(Sugerencia: usar el hecho de que las proyectividades conservan la razn doble
de cuatro puntos )
Ejercicio 12. Demostrar que dados dos puntos distintos A1 ; A2 y otros dos
puntos distintos A1 ; A2 existe una nica involucin que aplica los primeros en los
segundos. Si en una referencia, 1 ; 2 son las coordenadas de los dos primeros, y
7 ! tiene ecuacin
1 2 son las coordenadas de los dos segundos, la involucin
2
3
0
0
+
1
0
4 1 01
1 5=0
(1.8)
1+ 1
0
0
1
2 2
2+ 2
10
(Sugerencia: Expresar la ecuacin 1.7 en general, y aplicada a los dos puntos

dados, resultando un sistema compatible de tres ecuaciones) Como caso particular de este ejercicio obtenemos que, dados dos puntos distintos M; N en la recta
proyectiva, existe una nica involucin que los tiene como puntos jos.
Ejercicio 13. Dada una involucin, si se toman coordenadas de modo que 0,
1 sean un punto cualquiera y su imagen (es decir: 0 ! 1) entonces la involucin
se expresa como inversin: 0 = k
(En particular, la inversin 0 = 1 jugar ms tarde un papel importante en
geometra plana eucldea, como relacin de las pendientes de dos rectas perpendiculares)
Ejercicio 14. Dados cuatro puntos distintos A1 ; A2 ; A3 ; A4 y otros cuatro puntos distintos A01 ; A02 ; A03 ; A04 , existe una proyectividad que transforma los primeros
en los segundos si y solo si ambas cuaternas de puntos tienen la misma razn doble.
Sugerencia: utilizar el ejercicio11
2.
Solo escribir aquellas soluciones que no sean meras computaciones.

Solucin del ejercicio 2 . Si C = (cij ) es matriz de cambio a nuevas
coordenadas x0 , x 1 , entonces las dos coordenadas del punto Ai se transforman
as
c00 c10
aio
aio
=
c01 c11
ai1
ai1
y se tiene otra igualdad anloga para otro punto Aj :
Un modo de escribir juntas ambas desigualdades es el siguiente:
c00
c01
c10
c11
Por tanto el determinante de
aio
ai1
ajo
aj1
aio
ai1
ajo
aj1
es el determinante de
aio
ai1
ajo
aj1
aio
ai1
ajo
aj1
c00 c10
; y esto para todo i,j, y en conc01 c11
secuencia {A1 ;A2 ;A3 ,A4 } tiene el mismo valor expresado con las primeras matrices
que expresado con las segundas.
multiplicado por el determinante de
Solucin del ejercicio 3 . Tomando para los puntos Ai nitos coordenadas

(1,
i)
y para el punto del innito coordenadas (0,1), tenemos

1
fA1 ; A2 ; A3 ; 1g =
1
2
0
1
0
1
2. SOLUCIONES DE LOS EJERCICIOS
11
Solucin del ejercicio 4 . Si se usa el ejercicio 1.3 la solucin es puramente

computacional y no la pondremos aqu.
Solucin del ejercicio 5 . Idem.
Solucin del ejercicio 6 . Obviamente,las permutaciones consideradas en
los dos ejercicios anteriores generan las 24 permutaciones de los cuatro puntos Ai :
Hemos visto que si es su razn doble, estas permutaciones o lo invierten como
1
, o lo complementan respecto de la unidad: 1- : Por lo tanto en el conjunto
pedido se encuentran los valores
1
1
1
(2.1)
; 1; 1
;1
;
;
1
1
1
y este conjunto de seis valores es obviamente cerrado por ambas operaciones de
inversin y complementacin respecto de la unidad. En consecuencia, se trata del
conjunto pedido.
Solucin del ejercicio 7 . Punto jo signica
de la ecuacin
(2.2)
= ; y por tanto ser raz
+ (b + c) + d = 0
que, si a 6= 0 tiene exactamente dos soluciones, aunque puede tratarse de una

solucin doble (punto jo repetido"). Si a=0, hay claramente una solucin nita, e
innito es tambin solucin
Solucin del ejercicio 8 . Rescribamos la ecuacin de puntos jos como
a + (b + c)= + d=
=0
Si = 1 es solucin de ella, claramente a=0. Reciprocamente, si a=0, entonces

el par = 1 , = 1 satisface obviamente a la ecuacin de la proyectividad (tngase
en cuenta que 1 = 1; como sale de invertir la igualdad 0=-0).
Solucin del ejercicio 9 . Claramente, 0 satisface a la ecuacin de los puntos
jos si y solo si d=0. Aadiendo a esto el ejercicio anterior resulta que al ser 0, 1
puntos jos, se tiene a=d=0, y por tanto = b =c Reciprocamente , si
= k ; entonces tanto 0 como 1 son puntos jos.
Si adems se trata de una involucin , la imagen k2 de al efectuar dos veces
la transformacin es el propio ; es decir que k 2 = 1; por lo que k solo puede ser
1(y entonces se tratara de la identidad ) y -1.
Solucin del ejercicio 10 . Imponer que 1 sea solucin de la ecuacin de los
puntos jos es imponer a=0, es decir que esta ecuacin sea (b+c) +d=0.Si (b+c)
fuera no nulo entonces la otra solucin sera nita: = d=(b + c):Como las dos
soluciones son 1; forzosamente c=-b, y as pues la ecuacin de la proyectividad es
b
b + d = 0;o equivalentemente
(2.3)
= +k
Solucin del ejercicio 11 . Tomemos una referencia en la que los puntos
12
A1 ;A2 ;A3 tengan coordenada nita 1 ; 2 ; 3 y los puntos A 1 ;A 2 ;A 3 tengan

tambin coordenada nita 1 ; 2 ; 3 : Una projectividad 7 ! conserva la razn
doble de cualesquiera cuatro puntos y sus imgenes, y por tanto
(2.4)
f 1;
2; 3;
g = f 1;
2; 3;
Desarrollando esta expresin queda una ecuacin cuadrtica en ;

que denen las proyectividades.
como las
Solucin del ejercicio 12 . La condicin de existencia de una involucin

a
tal que aplique
1; 2
en
+ b( + ) + c = 0
1; 2
, es decir la existencia de a,b,c tales que
a
a
a
1
2
+ b( + ) + c = 0
1 + b( 1 + 1 ) + c = 0
2 + b( 2 + 2 ) + c = 0
equivale a la anulacin del determinante de este sistema de ecuaciones de variables a,b,c

Solucin del ejercicio 13 . En la involucin ni 0 ni 1 son puntos jos, y
por tanto a6= 0, c6=0. La ecuacin de la pinvolucin 7 ! se puede rescribir como
c
a + b( + 1) + = 0
y as el hecho de que el par
= 0,
= 1 la satisfaga equivale a que b=0
Solucin del ejercicio 14 . En el ejercicio 11 vimos que haba una nica

proyectividad que llevaba los puntos A1 ;A2 ;A3 a los puntos A 1 ;A 2 ;A 3 y sta
aplicaba un cuarto punto A en el punto A que guarda con los A 1 ;A 2 ;A 3 la
misma razn doble que A guarda con los A1 ;A2 ;A3 : Por lo tanto esa proyectividad
llevar A4 al A 4 si y solo ambos estn en la misma razn doble con los Ai y los
Ai , respectivamente.
CAPTULO 3
Plano proyectivo
1.
En esta lista se trabajar en el plano proyectivo P2 sobre un cuerpo K que

siempre suponemos conmutativo
Denicin. Puntos colineales de P2 son puntos que estn en una misma recta
1
P de P2 , y su razn doble es la que tienen como puntos de ese P1 : Rectas concurrentes de P2 son aqullas que pasan por un mismo punto, y se llama razn doble
de ellas a la que tienen tienen como puntos colineales del espacio dual. Si esta razn
doble de puntos colineales o de rectas concurrentes es -1 , entonces se dice que son
armnicos o que forman cuaterna armnica.
Ejercicio 15. (teorema de Desargues) : Demostrar que si dos tringulos
A,B,C y A B C de un plano proyectivo tienen sus vrtices en tres rectas concurrentes en un punto P, entonces los puntos de concurrencia de sus lados L=a\a
, M=b\b , N=c\c son colineales; y recprocamente: si estos tres puntos son colineales, entonces las tres rectas AA , BB , CC son concurrentes
(Sugerencia: Consultar .A lgebraic Projective Geometry"de Semple and Kneebone)

Construccin (uadriltero completo"): Dados cuatro puntos P1 , P2 ,
P3 , P4 de P2 , sin que tres de ellos sean colineales , las seis rectas que los unen
dos a dos de todos los modos posibles forman un uadriltero completo" Estas seis
rectas se cortan entre s en los cuatro puntos dados y en tres puntos ms Z1 , Z2 ,
Z3 que se llaman centros del cuadriltero. Las tres rectas que los unen forman el
13
14
3.
PLAN O PROYEC TIVO
"tringuloentral del cuadriltero. Al aadir stas a las seis rectas del cuadriltero
completo queda una conguracin de rectas en la que cada recta es cortada por las
dems en cuatro puntos, y en cada punto de encuentro de dos de ellas, se encuentran
de hecho cuatro rectas.
Ejercicio 16. a) Los cuatro puntos en cada una de esas rectas estn en
cuaterna armnicas en cada uno de esos puntos de encuentro estn tambin en
cuaterna armnica.
b) las cuatro rectas en cada uno de esos puntos de encuentro estn tambin en
cuaterna armnica
(Sugerencia: Tomar como recta del innito el lado del tringulo central que une
el centro Z1 con el centro Z2 para convertir a) en un conocido hecho de geometra
afn; observar que b) es enunciado dual de a), es decir que es exactamente a) para
el plano proyectivo dual)
Para los ejercicios que siguen, sean dos rectas distintas P1 y P1 del plano proyectivo P2 , y sea O el punto en que se cortan.
Ejercicio 17. a) Demostrar que la proyeccin prZ de la recta P1 a la recta
P desde un punto Z exterior a ambas -denida del modo obvio- es una proyectividad. Este tipo de proyectividades se llaman perspectividades. (Sugerencia: Tomar
OZ como recta del innito para que aparezca esta aplicacin como una anidad
entre ambas rectas anes).
1
b) Demostrar que una proyectividad f: P 1 ! P 1 es perspectividad si y

slo si f(O) = O.
1. ENUNCIADO DE LOS EJERCICIOS
15
( Sugerencia: usar la unicidad en el ejercicio T.2.10)

Ejercicio 18. . Dada una proyectividad f: P1 ! P1 demustrese del siguiente modo que existe una recta e (llamada eje de cruces) tal que, para todo par
de puntos P, Q2 P , el punto de interseccin de la recta P,f(Q) con la recta Q,f(P)
est en la recta e:
a) Si f es perspectividad desde un punto exterior Z , demostrarlo comprobando que la recta OZ que es armnica respecto de P 1 y P 1 (es decir tal que las
cuatro rectas concurrentes forman cuaterna armnica) tienen la propiedad requerida.(Sugerencia: Usar el ejercicio T. 3.1)
b) Si f no es perspectividad, demostrar que la recta e= UV que une U=f(O) 2

P 1 con V=f 1 (O)2 P 1 tiene la propiedad requerida (Sugerencia: Observar primero
que {O,V,P,Q}={O,U,f(Q), f(P)}, y luego aplicar T.2.13 y T. 3.2 b) )
Ejercicio 19. (Teorema de Papus). Demostrar que dados tres puntos P,Q,R
en una recta P1 de un plano proyectivo, y otros tres P ,Q , R en otra recta P1
de ese plano, los puntos PQ \QP , PR \RP , RQ \QR son colineales
16
3.
PLAN O PROYEC TIVO
Ejercicio 20. Toda proyectividad f: P1 ! P1 entre dos rectas de un plano

proyectivo es producto de dos perspectividades.
(Sugerencia: consultar Semple and Kneebone, Algebraic Projective Geometry)

2.
En adelante, para todo punto P de un espacio proyectivo P escribir con la

!
misma letra un vector que lo genera como rayo: P=< P >
!
!
Solucin del ejercicio 15 . Sea pues P=< P >, y B=< B >. Todos los
! !
puntos de la recta PB (excepto el punto B) pueden expresarse como < P + B >.
En particular
!
!
!
B = P+ B
!
!
!
C = P + C (anlogamente)
!
!
!
A = P + A (anlogamente)
y en consecuencia
!
!
!
L = B C=
!
!
!
M = A C=
!
!
!
N = A B=
!
B
!
BA
!
A
!
C 2 BC \ BC= a \ a =L
!
C 2 AC \ AC= b \ b =M
!
B 2 AB \ AB= c \ c =N
! ! !
Claramente L = M + N , y por tanto los puntos L,M,N son colineales, lo que
demuestra la proposicin directa.
Como la proposicin directa se ha demostrado para todos los planos proyectivos
, se ha demostrado en particular para el plano proyectivo dual. Lo que esa proposicin arma en el plano proyectivo dual es exactamente la proposicin recproca en el
plano P2 de partida (se parte en la proposicin directa de tres rectas concurrentes,
es decir, al predicarla del plano dual, que se parte de tres puntos L,M, N colineales
de P2 , etc...)
2.
SOLUCIONES DE LOS EJERCICIOS
17
Solucin del ejercicio 16 . Al escoger una geometra afn tomando Z1 Z2

como recta del innito, el cuadriltero se convierte en un paralelogramo y Z3 en su
centro (interseccin de las dos diagonales); y la armacin, por ejemplo, de que P3
y P4 sean armnicas respecto de Z2 y P3 P4 \ Z1 Z3 , es decir
(2.1)
fP3 ; P4 ; Z2 ; P3 P4 \ Z1 Z3 g =
se convierte en que la paralela al lado P1 P3 pasando por el centro corta al

lado P3 P4 en su punto medio, lo que es un hecho elemental de geometra afn.
Consecuencia de que estos cuatro puntos sean armnicos es que las cuatro rectas
que los unen con el vrtice Z2 son armonicas.
Hemos probado lo requerido slo para una recta y para un vrtice de la construccin. Pero es evidente que una recta y vrtice es equivalente en la construccin
a las dems rectas y vrtices.
Solucin del ejercicio 17 . a) Tomemos referencia proyectiva de modo que
P0 = (1; 0; 0) est en la recta P1 ; P1 = (0; 1; 0) sea su punto de interseccin con P1
, y P2 = (0; 0; 1) sea el punto Z. Entonces, en coordenadas anes inhomogneas
y1 ; y2 ; la primera recta aparece como la recta y2 = 0 (sirviendo pues y1 como su
coordenada ) , y la segunda como la recta y2 = a (sirviendo pues y1 como su
coordenada ) , para un cierto escalar a , y la proyeccin de una a otra desde
Z aparece como la proyeccin vertical. Esta proyeccin aplica cada punto de la
primera recta en el punto de la segunda recta de igual abcisa y1 , es decir que
tiene expresin = lo que es un caso particular de la expresin general de las
proyectividades entre rectas = (a + b)=(c + d) .
b) Es obvio que , si f es perspectividad entonces f(O) = O. Supongamos ahora
esto ltimo, y sean P,Q otros dos puntos distintos de P1 , y sean P, Q sus imgenes
en P1 por la proyectividad f. La perspectividad de centro Z=PP \ QQ aplica
los puntos O,P,Q de P1 en los puntos O,P , Q de P1 , al igual que lo hace la
proyectividad f. Como solo hay una proyectividad que aplique tres puntos dados
en otros tres puntos dados, la perspectividad de centro Z tiene que coincidir con la
proyectividad f.
Solucin del ejercicio 18 .
a) Por la construccin del cuadriltero completo, la recta que une O con PQ \
PQ es la recta armnica de la recta OZ respecto de las rectas P1 y P1 , cualquiera
que haya sido la eleccin de P y Q.
b) Denotemos P =f(P) y Q = f(Q). Como la proyectividad f aplica los puntos
O,V,P,Q en los puntos U,O,P ,Q se tiene que
fO; V; P; Qg = fU; O; P ; Qg = fO; U; Q; P g
y por tanto hay una proyectividad que aplica O,V,P,Q en O,U,Q ,P , que es
de hecho una perspectividad de P1 en P1 (ya que ja el vrtice 0), y por tanto las
rectas e=VU, PQ y QP son concurrentes, como se peda demostrar.
Solucin del ejercicio 19 . Existe una nica proyectividad que aplica los
puntos P,Q,R de P1 en los puntos P, Q R de P1 . El eje de cruces e de esa
18
3.
PLAN O PROYEC TIVO
proyectividad (cfr. ejercicio anterior) es una recta que pasa por los tres puntos que
se pide probar colineales.
Solucin del ejercicio 20
. Elijamos cuatro puntos P1 ; P2 ; P3 ; P4 en la
recta P1 :Sean P1 ; P2 ; P3 ; P4 sus imgenes en la recta P1 por la proyectividad dada.Elijamos un punto A en la recta P1 P 1; y escojamos otra recta P1 pasando por el
punto P1 distinta de las rectas P1 P1 y P1 . Sean P1 = P1 ; P2 ; P3 ; P4 las proyecciones
de P1 ; P2 ; P3 ; P4 sobre P1 desde el centro A. Se tiene entonces
fP1 ; P2 ; P3 ; P4 g = fP1 ; P2 ; P3 ; P4 g = fP1 ; P2 ; P3 ; P4 g
y por tanto hay una proyectividad que aplica los cuatro puntos Pi en los cuatro
puntos Pi y de hecho ser una perspectividad desde un centro Z de la recta P1 en
la recta P1 puesto que ja su vrtice P1 = P1
La composicin de la perspectividad de P1 en P1 de centro A con la perspectividad de P1 en P1 de centro en Z da una proyectividad de P1 en P1 que aplica los
cuatro puntos Pi en los cuatro puntos Pi ; al igual que haca la proyectividad dada,
y por tanto coincide con ella.
CAPTULO 4
Cudricas
1.
Sea Pn = P(V ) un espacio proyectivo sobre cuerpo K (supuesto siempre conmutativo). Sea T: V x V !V un tensor no nulo. Dos puntos < !
v >, < !
w >2 Pn
!
!
se dicen conjugados por el tensor si T( v , w ) = 0 (lo que obviamente equivale a
!
T( v, !
w) = 0; para escalares y no nulos). Por abuso de lenguaje, se llama
cudrica asociada al tensor al conjunto de puntos < !
v > de Pn autoconjugados por
!
el tensor T ( es decir conjugados de s mismos: T( v , !
v ) = 0) . Pero rigurosamente
esto es slo su lugar cudrico, siendo la cudrica el mismo tensor T pero denido
salvo producto T por constante no nula, es decir el rayo <T> que engendra el
tensor T en el espacio proyectivo P(T ensV )del espacio vectorial T ensV que forman
todos los tensores de V (es obvio que T y T denen el mismo lugar cudrico)
Sea !
eo ; :::; e!
n una base de V, y sean xo ; :::;xn las correspondientes coordenadas
homogneas de Pn . El tensor T se expresa con su matriz simtrica homognea
A=(aij ) en esa base (es decir aij = T (!
ei ; !
ej )), como
0
10
1
a00 : : : a0n
y0
B :
B
C
n
: C
X
B
CB : C
!
!
B
C
B
: CB : C
T( v ; w) =
xi yj aij = (xo ; :::xn) B :
C
@
i;j=0
:
: A@ : A
an0 : : : ann
yn
P
P
n
n
donde !
v = i;j=0 xi !
ei ; !
w = i;j=0 yi !
ei Por tanto la cudrica asociada al
!
tensor es el conjunto de puntos < v > tales que
1
0
10
a00 : : : a0n
x0
B :
B
C
n
: C
X
B
CB : C
!
!
B
C
B
: CB : C
0 = T( v ; v ) =
xi xj aij = (xo ; :::xn) B :
C
@ :
i;j=0
: A@ : A
xn
an0 : : : ann
Si se escoge una geometra afn, en las coordenadas anes inhomogneas
y1 ; :::;yn correspondientes a coordenadas homogeneas anes xo ; :::xn , la anterior
ecuacin de la cudrica, descompuesta en sumandos como
0=
n
X
i;j=1
xi xj aij +
n
X
i=0
19
xi x0 ai0 + x20 a00
20
4. CUDRICAS
equivale a la ecuacin
0=
n
X
i;j=1
yi yj aij +
n
X
yi ai0 + a00
i=0
Una cudrica de P2 se llama una cnicay tiene pues ecuacin en coordenadas

homogneas
a00 x20 + a11 x21 + a22 x22 + a01 x0 x1 + a02 x0 x2 + a12 x1 x2 = 0
En el plano an A2 = P2 nP1 una cnica tiene ecuacin, en coordenadas anes
inhomogneas y1 ;y2
a00 + a11 y12 + a22 y22 + a01 y1 + a02 y2 + a12 y1 y2 = 0
lo que esperamos resulte familiar al lector!
Sabemos que una matriz homognea diagonaliza siempre en alguna base, y
por tanto , una cudrica se expresa siempre en adecuadas coordenadas homogneas
xo ; :::xn como
1
0
10
x0
a00 0 : :
0
B
C
B 0
n
: C
CB : C X
B
B
C
B
: CB : C
=
aii x2i
0 = (xo ; :::xn) B :
C
A
@
A
@ :
i=0
:
0
xn
0
: : : ann
es decir, llamando a0 , ..., ar 1 (r=rango T) a los elementos diagonales no nulos

de la matriz (y reordenando las coordenadas para que estos sean los primeros en
aparecer)
1
10
0
x0
a0 0
:
: 0
B
C r 1
B 0 :
: C
CB : C X
B
B
C
B
ar 1
: CB : C
ai x2i
0 = (xo ; :::xn) B :
C=
@
A
A
@ :
i=0
:
0 0
xn
0 :
:
: 0
Ejercicio 21. a) Demostrar que para una cudrica <T> en el espacio afn
An = Pn nP = P(Vn+1 )nP(V ) (donde el innito P es la proyectivizacin de un
espacio vectorial V de dimensin n) se pueden encontrar coordenadas homogneas
anes xo ; :::xn (es decir , dando a P la ecuacin x0 = 0), en las que tiene matriz
homognea
0
1
k b 1 : : : : : : : bn
B b1 a1
C
B
C
B :
C
:
B
C
B :
C
:
B
C
B :
C
:
B
C
B :
C
a
r
B
C
B :
C
0
B
C
B :
C
:
B
C
@ :
A
:
bn
0
1.
ENUNCIADO DE LOS EJERCICIOS
21
donde r es el rango reducido o rango de la cudrica reducida , es decir

restringida en el innito P, es a saber el rango del tensor composicin
T :V
V ,! Vn+1
Vn+1 !T K
Conviene observar que su matriz es obviamente la matriz reducida A de la

matriz A de T, es decir la obtenida de ella al eliminar su primera la y su primera
columna: en efecto, como el innito P(V ) tiene ecuacin x0 = 0 , tiene a las variables
x1 ; :::;xn como sus propias coordenadas homogneas
(Sugerencia: aplicar a la cudrica reducida la diagonalizacin anterior)
b) Demostrar que incluso puede conseguirse que tenga b 1 , ..., b r nulo, o sea
que tenga matriz
0
k
0
:
:
:
0
B
B
B
B
B
B
B
B
B
B
B br+1
B
B :
B
@ :
bn
0
a1
: : :
br+1
: : bn
:
:
:
ar
0
:
:
0
1
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
(Sugerencia: Cambiar las coordenadas xi = xi + abii x0 para i=1,..., r).

Este ejercicio ha tenido carcter meramente propedutico hacia el siguiente que
es el interesa y cuyo enunciado deber recordar el alumno.
Ejercicio 22. (conclusin: tipos 0,1,2) Demostrar que una cudrica del
espacio afn se expresa en convenientes coordenadas anes en una de las tres formas
22
4. CUDRICAS
0, 1, 2 siguientes
B
B
B
B
B
B
B
forma 0(caso r = r) : B
B
B
B
B
B
B
@
forma 1(caso r = r + 1)
forma 2(caso r = r + 2)
0 0 : : : 0
0 a1
:
:
:
:
:
:
0
ar
0
:
:
0
0
k 0 : : :
B 0 a1
B
B :
:
B
B :
:
B
B :
:
: B
B 0
B
B 0
B
B :
B
@ :
0
0
0
0 : :
B 0 a1
B
B :
:
B
B :
:
B
B :
: B
B 0
B
B 1=2
B
B :
B
@ :
0
0 : : 0
0
:
:
0
0
1
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
0 : : 0
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
ar
0
:
:
0
:
1=2 : : 0
:
ar
0
:
:
0
1
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
Es decir, que en convenientes coordenadas anes inhomogneas y 1 ; :::;y n la

ecuacin de la cudrica adopta una de estas tres formas:
forma 0 :
0= a1 y12 + ::: + ar yr2
forma 1 :
0= k+ a1 y12 + ::: + ar yr2
forma 2 :
0= yr+1 + a1 y12 + ::: + ar yr2
(Sugerencia para la forma 2: Si los br+1 ; :::; bn no son todos nulos, cambiar
x r+1 = br+1 xr+1 + ::: + bn xn )
Equivalencia proyectiva de cudricas. Sea T:V x V
!k un tensor y
V !V una transformacin lineal (es decir, aplicacin bilineal biyectiva de V en s

mismo) . Recordemos del repaso de Algebra Lineal que el transformado Tf :V xV
!V del tensor T por la transformacin f se dene as:
T f (!
v ;!
w ) = T (f !
v ; f!
w)
1.
ENUNCIADO DE LOS EJERCICIOS
23
Recordemos que si en una base de V, es A la matriz de T, y C la matriz de la

transformacin f , entonces la matriz del tensor transformado Tf en esa misma
base es la matriz Ct AC, que tiene el mismo rango que la matriz A
Dos tensores T, T se dicen equivalentes si existe una transformacin lineal
transforma uno en el otro. En consecuencia, tensores equivalentes tienen el mismo
rango.
Ejercicio 23. Si K = C ( y en general, si Kes algebraicamente cerrado)
entonces T es equivalente a T si y solo si tienen ambos el mismo rango
Pasando al espacio proyectivo P = P(V), un tensor homogneo ( es decir, denido
salvo producto por constante no nula) sobre V es una cudrica de P y una transformacin lineal homognea de V es una proyectividad de P, y lo anterior se traduce
en que una cudrica se dice proyectivamente equivalente a otra cudrica cuando es
transformada de ella por una proyectividad. Por tanto , si K= C , esto equivale a
que ambas tengan el mismo rango.
Ejercicio 24. Dar la expresin cannica (matriz diagonal) de las dos clases
de cudricas en P1C de las dos clases de cudricas de P1C ; las tres clases de cnicas
de P2C ; y las cuatro clases de cudricas en P3C
(El profesor les pondr nombre)
Equivalencia afn de cudricas. Supongamos que en P se ha dado una
estructura afn A = PnP(V ): Dos cudricas <T> y <T > en P se dicen anmente
equivalentes si son una transformada de la otra,
T =Tf por una anidad (es decir tranformacin lineal f:V ! V tal que f(V ) =
V ; y por tanto restringe una transformacin lineal reducida"f : V ! V ) Entonces
las cudricas <T> y <T > son proyectivamente equivalentes y sus reducidas <T >
y <T > tambin son proyectivamente equivalentes.
Ejercicio 25. (Teorema de De Witt complejo) Demostrar en el caso en
que k sea algebraicamente cerrado (por ejemplo k=C) el teorema de De Witt : Dos
cudricas son anmente equivalentes si y solo si son proyectivamente equivalentes
(es decir tienen mismo rango r =r) y sus reducidas son tambin proyectivamente
equivalentes (es decir tienen mismo rango reducido r = r)
(Sugerencia: usar el ejercicio 22)
Ejercicio 26. Dar las clases de cudricas anes en P1C ; las clases de cnicas anes de P2C ; y las clases de cudricas anes en P3C , y escribir sus matrices
cannicas y ecuaciones correspondientes, y pasar estas ecuaciones a coordenadas
homogneas (El profesor pondr nombre a cada clase)
(Sugerencia: aplicar 25)
24
4. CUDRICAS
2.

a) Si A es la matriz del tensor t en coordenadas homogneas anes x0 ; :::;xn ,
es decir coordenadas tales que el hiperplano de innito Pn1 1 = P(V ) es expandido
por P1 ; :::;Pn y tiene pues x1 ; :::;xn como coordenadas homogneas, entonces la
matriz del tensor T reducido"en el innito es la matriz A reducida"de la matriz A
, es decir el menor obtenido de A al suprimir la la cero y la columna cero. Como
sabemos un tensor se puede siempre diagonalizar, y as en particular T se puede
diagonalizar, es decir que se puede hacer un cambio de referencia
P1 , ..., Pn en P(V ) de modo que en las nuevas coordenadas x 1 ; :::;x n de
P(V ) el tensor T tenga matriz A diagonal.
En Pn = P(V) , la nueva referencia P0 =P0 , P 1 , ..., Pn es tambin an , y
en las nuevas coordenadas x 0 = x0 , x 1 ; :::;x n correspondientes, el tensor T
tiene nueva matriz A cuya matriz reducida es A ,que es diagonal, como se peda.
b) Quiz sea ms sencillo resolver este ejercicio y los siguientes trabajando con
la ecuacin
kx20 + (2b1 x0 x1 + ::: + 2bn x0 xn ) + (a1 x21 + ::: + ar x2r ) = 0
de la cudrica que el tensor T dene en esas coordenadas anes (encontradas
en eel ejercicio anterior) , mejor que con la matriz misma del tensor (recordemos
que son equivalentes, pues la ecuacin es la polarizacin del tensor y ya vimos en
el repaso de lgebra lineal que el tensor es recuperado por su polarizacin). Incluso
puede resultar ms sencillo trabajar con su ecuacin
k + (2b1 y1 + ::: + 2bn yn ) + (a1 y12 + ::: + ar yr2 ) = 0
en las correspondientes coordenadas anes inhomogneas y1 ; :::; yn . En efecto,
basta entonces hacer el cambio de variable x0 = x0 (y por tanto cambio an!),
xi = xi + abii (para i6= 0) , es decir el cambio a inhomogneas anes yi = y i abii
para obtener como nueva ecuacin
c + br+1 y r+1 + ::: + bn y n + (a1 y 21 + ::: + ar y 2r ) = 0
donde los coecientes c y los b i denotan escalares del cuerpo k. Pasando
esta ecuacin a coordenadas homogneas, queda
cx0 2 + br+1 xr+1 x0 + ::: + bn xn x0 + (a1 x1 2 + ::: + ar x2r ) = 0
es decir que la matriz del tensor en la nueva referencia afn tiene el aspecto
requerido.
Solucin del ejercicio 22 . Llamemos ahora x0 ; :::;xn a las coordenadas
homogneas anes en las que el tensor T tiene matriz como en el enunciado del
ejercicio T 4.1 b), es decir ecuacin
kx0 2 + br+1 xr+1 x0 + ::: + bn xn x0 + (a1 x21 + ::: + ar x2r ) = 0
o , en las correspondienes anes inhomogneas y1 ;..., yn , tiene ecuacin
k + br+1 yr+1 + ::: + bn yn + (a1 y12 + ::: + ar yr2 ) = 0
Si todos los br+1 ; :::; bn son nulos, obtenemos las formas 0, 1 , segn k sea nulo
o no lo sea .
2.
SOLUCIN DE LOS EJERCICIOS
25
Si alguno de los br+1 ; :::; bn es no nulo, reordenamos las coordenadas para que
sea precisamente el primero: br+1 6= 0 . Hagamos entonces el cambio de coordenadas
homogneas x0i = xi para todo i =0, ..., n (en particular x00 = x0 , luego, en efecto,
cambio afn) , salvo x0r+1 = br+1 xr+1 + ::: + bn xn (el determinante de la matriz de
cambio es br+1 6= 0) ; o sea el cambio de coordenadas inhomogneas anes yi0 = yi
0
= br+1 yr+1 +:::+bn yn : La ecuacin queda entonces
para todo i =1, ..., n, salvo yr+1
0
k + yr+1
+ (a1 y 21 + ::: + ar y 2r ) = 0
Para eliminar el trmino k efectuamos an otro cambio de coordenadas homogneas anes x00i = x0i para todo i =0, ..., n (en particular x000 = x00 , luego,
en efecto, cambio afn) salvo x00r+1 = x0r+1 + kx00 (el determinante de la matriz de
cambio es 1); es decir que efectuamos el cambio a coordenadas anes inhomogneas
00
0
yi00 = yi0 para todo i =1, ..., n, salvo yr+1
= yr+1
+ k. La ecuacion queda entonces
00
yr+1
+ (a1 y 0021 + ::: + ar y 002r ) = 0
es decir, en coordenadas anes homogneas,

x0 x00r+1 + (a1 x0021 + ::: + ar x002r ) = 0
que corresponde a una matriz de la forma 2, tal como se peda.
Solucin del ejercicio 23 . Si dos tensores T, Tson equivalentes por una
transformacin lineal f y la matriz de T en una base es A, la matriz de T en esa
misma base es Ct AC (donde C es la matriz de la transformacin, expresada en esa
misma base) , que es matriz del mismo rango que A.
Para el recproco, recordemos que la matriz de T en alguna referencia es diagonal, y de hecho, al existir races cuadradas en C por ser cuerpo algebraicamente
cerrado, puede tomarse esa referencia de modo que las entradas diagonales no nulas
de la matriz sean todas 1.
0
1
1
B
C
:
B
C
B
C
1
B
C
B
C
0
B
C
@
A
:
0
El nmero de tales entradas es necesariamente el rango r del tensor, y podemos
suponer, reordenando la base para ello, que se trata de las r primeras, como hemos
escrito. Esto suceder a T en una base, y a T en otra: los dos tienen la misma
matriz pero en distintas bases. Por tanto la transformacin que lleva una base a la
otra, lleva un tensor al otro.
Solucin del ejercicio 24 . Por el ejercicio anterior, dos cudricas de PnC son
proyectivametne equivalentes si y solo si tienen el mismo rango. Como su matriz es
cuadrada de tamao (n+1)x(n+1) y no puede ser nula , los rangos posible, o sea
las clases de equivalencia proyectiva de cudricas son r+1: a saber, rango 1, rango
2, ..., rango r+1.
Escribimos para n=1,2,3 la matriz cannica de cada una de ellas, y la ecuacin
en las correspondientes coordenadas homogneas, seguida del nombre y especicamos la dimensin del lugar singular "Sing"de la cudrica ( que como se sabe es la
26
4. CUDRICAS
proyectivizacin del ncleo de V!V*, que tiene igual matriz A que el tensor, y por
tanto su dimensin como subespacio vectorial de V es complementaria del rango:
dim Ker= (n+1) - r, y por tanto Sing = Pn r )
Cudricas en P1C :
rango 2
rango 1
; x20 + x21 = 0
; x20 = 0 PUNTO DOBLE (Sing= P0 )
PAR DE PUNTOS (Sing=;)
Cudricas en P2C o nicas":

0
1
1
A ; x20 + x21 + x22 = 0 CONICA LISA (Sing: ;)
1
rango 3 : @
1
0
1
1
A ; x20 + x21 = 0 PAR DE RECTAS (Sing= P0 )
1
rango 2 : @
0
0
1
1
A ; x20 = 0 RECTA DOBLE (Sing= P1 )
0
rango 1 : @
0
Cudricas en P3C :
0
1
B
1
B
rango 4:
@
1
rango 3:
rango 2:
rango 1:
0
B
B
@
0
B
B
@
0
B
B
@
1
1
1
1
0
1
1
0
0
1
0
0
0
C
C ; x20 + x21 + x22 + x23 = 0 CUADRICA LISA (Sing =;)
A
; x20 + x21 + x22 = 0
; x20 + x21 = 0
; x20 = 0 PLANO DOBLE (Sing= P2 )
C
C
A
C
C
A
C
C
A
CONO (Sing= P0 )
PAR DE PLANOS (Sing= P1 )

Slo hay que probar la parte recproca: antes de abordarla recordemos (ejercicio
T.4.2) que segn sea r-r = 0,1, 2 la matriz homognea A del tensor homogneo
<T> en una adecuada referencia afn ser de la "forma"0,1,2. Adems, como el
cuerpo k = C posee races cuadradas, podemos multiplicar por un escalar cada
uno de los vectores bsicos !
e1 ; :::; !
e n que expanden el espacio vectorial V para
obtener una nueva base de V de modo que en esa matriz A , del tipo 0 , 1 o 2,
2.
27
las rentradas diagonales no nulas de su matriz reducida A sean todas 1 . Se tienen

pues , segn sea r-r = 0,1, 2 los siguientes tipos 0,1,2 :
0
B
B
B
B
B
B
B
tipo 0(caso r = r) : B
B
B
B
B
B
B
@
0
0
:
:
:
0
0
:
:
0
0 : : : 0
1
:
:
:
1
0 : : 0
0
:
:
0
B
B
B
B
B
B
B
tipo 1(caso r = r + 1) : B
B
B
B
B
B
B
@
0
B
B
B
B
B
B
B
tipo 2(caso r = r + 2) : B
B
B
B
B
B
B
@
0
1
0
:
:
:
0
0
:
:
0
0
0
:
:
:
0
1=2
:
:
0
0 : : : 0
1
:
:
:
1
1
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
0 : : 0
0
:
:
0
0 : : : 0
1
:
:
:
1
1
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
1=2 : : 0
0
:
:
0
1
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
(en los tres casos, el nmero de unos en la diagonal de la matriz reducida es r)

Supongamos que los tensores homogneos <T> y <T> son proyectivamente
equivalentes, es decir que tienen el mismo rango r, y supongamos que adems sus reducidos <T> y <T> son tambin proyectivamente equivalentes, es decir que tambin tienen el mismo rango reducido r. Entonces, los tensores homogneos <T> y
<T> tienen , en sendas referencias anes, la misma matriz homognea. La anidad
que lleva una referencia afn a la otra transforma un tensor homogneo en el otro,
y por tanto las dos cudricas son anmente equivalentes.
Solucin del ejercicio 26 . En cada AnC = PnC nPn1 1 habr tantas clases de
equivalencia afn como pares de nmeros positivos r n+1, r n, siendo r- r =0, 1,2,
y estos dos valores r, r determinan la matriz cannica, la cual equivale a la ecuacin
en coordenadas homogneas anes x0 ; :::;xn y sta a su vez equivale a la ecuacin
28
4. CUDRICAS
en coordenada anes inhomogneas y1 ;..., yn : Especicamos todo esto en los casos

n= 1,2,3 , segn se pide.
CUADRICAS EN A1C = P1C nP01 :
(r, r ; matriz cannica; ecu. en hom; ecu. en inhom.; nombre )
r
=1,
2; r = 1;
1
0
r = 1;
; x20 + x21 = 0; 1 + y12 = 0; PAR DE PUNTOS FINITOS

, x21 = 0; y12 = 0; PUNTO FINITO DOBLE
CNICAS EN A2C = P2C nP11 :

r
=3,
=3,
=2,
=2,
=1,
r =2; @
0
r =1; @
r = 2; @
0
r =1 ; @
0
r =1; @
1
1
A ; x20 + x21 + x22 = 0; 1 + y12 + y22 = 0; CONICA CENTRAL

1=2
1
1=2
0
1
1
1
1
0
0
1
0
A ; x0 x2 + x21 = 0; y2 + y12 = 0; PARABOLA
A ; x21 + x22 = 0; y12 + y22 = 0 ; RECTAS CONCURRENTES
A ; x20 + x21 = 0 ; 1 + y12 = 0; RECTAS PARALELAS
A ; x21 = 0 ; y12 = 0; RECTA DOBLE
Comentarios:
1) el nmero 1/2 escrito arriba es arbitrario, y puede ser cualquier otro distinto
de cero , pues basta para ello cambiar de referencia afn multiplicando x0 por un
nmero nmero distinto de cero. En particular puede ser -1/2, y entonces la ecuacin
y2 +y12 = 0 se convierte en la ecuacin y2 = y12 fcilmente reconocible como ecuacin
de la parbola. Cuando la cnica es lisa , es decir r=3, puede ser que corte a innito
en dos puntos distintos , es decir r = 2; o en un punto doble , es decir que la cnica
lisa es tangente a la recta del innito, que es a lo que llamamos parbola. En el
otro caso la llamamos cnica con centro porque su centro - el polo de la recta del
innito- es un punto nito. La parbola tambin tiene centro, pero en el innito:
demasiado lejos!
Por la misma razn , la ecuacin 1 + y12 + y22 = 0 de la cnica central puede
escribirse (con el cambio de referencia afn consistente en multiplicar x0 por i),
para que resulte ms familiar, como y12 + y22 = 1
2)Cada una de estas cnicas se desglosar en varios casos en la clasicacin real
de las cnicas. Por ejemplo, la cnica central se desglosar en la cnica de puntos
todos ellos imaginarios, la cnica de puntos reales pero que corta al innito en dos
2.
29
puntos imaginarios , que se llamar elipse, y la cnica de puntos reales que corta al
innito en dos puntos reales, que se llamar hiprbola.
3) La ecuacin escrita arriba y12 + y22 = 0, o si se quiere y12 y22 = 0 (por la
misma razn de antes), es (y1 +iy2 )(y1 iy2 ) = 0 o si se quiere (y1 +y2 )(y1 y2 ) = 0
, que obviamente se anula en la unin de los puntos en los que se anula cada factor,
es decir se anula en dos rectas, lo que justica el nombre que se ha adjudicado a
esa cnica.
CUDRICAS EN A3C = P3C nP21 :

0
1
1
B
C 2
1
C ; x0 + x21 + x22 + x23 = 0;1 + y21 + y22 + y23 = 0; CUADRICA
=4, r = 3: B
@
A
1
CENTRAL
1
0
1
1=2
B
C
1
C ; x0 x3 + x21 + x22 = 0; y3 + y12 + y22 = 0; PARABOLOIDE
=4, r = 2 : B
@
A
1
1=2
0
1
=3,
r =3,
=3,
=2,
=2,
=1,
B
r=3:B
@
0
B
r=2:B
@
1
1
1
B
1
r = 1; B
@ 1=2
B
r = 2; B
@
0
B
r = 1; B
@
0
B
r = 1; B
@
C 2
C ; x1 + x22 + x23 = 0; y12 + y22 + y32 = 0; CONO
A
1=2
C 2
C ; x0 + x21 + x22 = 0; 1 + y12 + y22 = 0; CILINDRO
A
1
1
0
1
1
0
0
0
1
0
0
C 2
C ; x1 + x0 x2 = 0; x21 + x0 x2 = 0;
A
CILINDRO
PARABLICO
C 2
C ; x1 + x22 = 0; y12 + y22 = 0; PLANOS CONCURRENTES
A
1
C 2
C ; x0 + x21 = 0; 1 + y12 = 0; PLANOS PARALELOS
A
1
C 2
C ; x1 = 0; y12 = 0; PLANO DOBLE
A
Comentarios: Conviene meditar detenidamente sobre cada uno de estos casos

(aunque su mejor visualiacin , obviamente , se obtendr cuando, semanas ms
tarde, se estudie la clasicacin de las cudricas en el caso real, es decir desglosada
cada cudrica afn compleja en varias cudricas anes reales) . Para ello hay pensar
lo que es la cudrica la cudrica segn su clasicacin proyectiva, es decir segn
30
4. CUDRICAS
el valor de r, y lo que es la cudrica reducida en el innito tambin en sugn su

clasicacin proyectiva, es decir segn el valor de r. As por ejemplo, la cudrica
proyectiva "par de planos"se ha desglosado en dos cudricas anes segn que su reducida en el innito sea el par de rectas, y es entonces el par de planos concurrentes,
o sea una recta doble, y es entnces el par de planos de paralelos.
CAPTULO 5
Cnicas
1.
Para esta lista de ejercicios trabajaremos sobre el cuerpo C . Sea T : V V !

K un tensor y QT la cudrica asociada en P = P(V ) . Decimos que un punto de
P es punto singular de QT cuando es conjugado, por esta cudrica, de todos los
puntos de P. Se dice que QT es lisa cuando no tiene puntos singulares.
Ejercicio 27. Demostrar que el conjunto Sing(T ) de los puntos singulares de
T es un subespacio proyectivo de P que est contenido en QT y que tiene dimensin
dim Sing(T ) = dim V
(Sugerencia: es el ncleo de V
!V
rang(T )
asociada a T )
Ejercicio 28. Demostrar que una cudrica de P1 consiste en un par de puntos

distintos o en un punto doble, y que este ltimo es el caso en que la cudrica es
singular.
(Sugerencia: usar la matriz cannica de la cudrica)
Ejercicio 29. a)Demostrar que el conjunto de puntos de Pn conjugados con un
punto dado por una cudrica no singular forma un hiperplano, llamado hiperplano
polar
Este punto se llama polo del hiperplano, es decir punto conjugado con todos
los del hiperplano.
b) Si se toman coordenadas x0 ; x1 ; x2 , y en ellas se expresa el tensor con matriz
A = (aij ) y el punto con coordenadas (b0 ; b1 ; b2 ); demostrar que entonces se trata
de la recta c0 x0 + ::: + cn xn = 0 , donde los coecientes ci se obtienen aplicando la
matriz A a la columna (b0 ; b1 ; b2 ) .
Ejercicio 30. a) Demostrar que una recta del plano corta a una cnica en un
par de puntos.
Se dice que la recta es tangente a la cnica si el par de puntos en que la
corta es un punto doble.
b)Demostrar que una recta es tangente a la cnica lisa si y slo si su polo es
un punto de la cnica , y que esto , a su vez, equivale a que el polo de la recta est
en la recta.
Ms en general, se dice que un hiperplano es tangente a una cudrica lisa de
Pn cuando el polo del plano, respecto de esa cudrica, est en el plano.
Ejercicio 31. a)Demostrar que los hiperplanos tangentes a una cudrica lisa
forman una cudrica lisa del espacio proyectivo dual, cuya matriz, si se toman
coordenadas homogneas, es la matriz inversa de la dada.
31
32
5. C N IC AS
(Sugerencia: en el repaso de Algebra lineal, T : V

T :V
V
! K)
! K determinaba
Ejercicio 32. b) Demostrar que, por un punto exterior a una cnica lisa de
P2C , pasan exactamente dos tangentes, y que la recta que pasa por los dos puntos
de tangencia es su recta polar.
(Sugerencia: usar el anterior apartado y 30 a) )
Ejercicio 33. a) Demostrar que, en PC1 , son equivalentes:
fA1 ; A2 ; A3 ; A4 g = 1
La involucin que tiene A1 ;A2 por punto jos, lleva A3 a A4
La cudrica que forman los puntos A1 A2 tiene A3 y A4 como puntos conjugados entre s.
(sugerencia : tomar A1 y A2 como P0 y P1 ).
b)Concluir que dos puntos de una recta P 1 de P 2 son conjugados por una
cnica C si y solo si son armnicos respecto de los dos puntos en que esta recta
interseca a la cnica.
Ejercicio 34. Dado dos puntos de una recta del plano proyectivo real y dado
un tercer punto , dar un procedimiento con solo el uso de la regla (matemticamente:
con slo el uso de la nocin recta que pasa por dos puntos "punto interseccin de
dos rectas") para hallar su punto armnico respecto de aquellos dos.
2
(Sugerencia: Iniciar con A1 y A2 y con dos puntos alineados con el A3 una

construccin de cuadriltero completo)
b) Dado un punto del plano proyectivo real y una cnica lisa en l ( es decir de
rango 3, o sea de matriz regular), dar un procedimiento con slo el uso de la regla
(matemticamente : como arriba) para trazar su recta polar (utilizar la parte a) de
este ejercicio y el ejercicio 32 b).)
Denicin: Sea C una cnica lisa de un plano proyectivo. Un tringulo ( es

decir, tres puntos no colineales del plano) se dice autopolar para la cnica cuando
cada uno de esos puntos es conjugado de los otros dos por esa cnica, es decir
cuando la recta polar de cada vrtice del tringulo es el lado opuesto
Ejercicio 35. a) Probar que un tringulo es autopolar para una cnica si y
solo si al tomarlo como tringulo de referencia, la matriz de la cnica diagonaliza.
b)Dar algn procedimiento con solo so de la regla"(matemticamente: como
arriba) para hallar tringulos autopolares de una cnica
(Sugerencia: inciese con cuatro puntos R1 ; R2 ; R3 ; R4 de la cnica un cuadriltero
completo , y tmense sus tres centros Z1 ; Z2 ; Z3 )
2.
33
SO LU C IO N ES D E LO S EJERC IC IO S
Ejercicio 36.
Sea C una cnica lisa de P2C
a) Tmese como tringulo de referencia sus dos puntos de corte con una recta
no tangente a ella, y el polo de esa recta. Prebese que la matriz de C en esa
referencia es ontradiagonal", es decir , de la forma
0
1
a
@
A
b
a
y escrbase su ecuacin en esa referencia.
b)Recprocamente, si la matriz es contradiagonal, dos vrtices de la referencia
estn en la cnica y el tercero es el polo de la recta que los une.
2.
Solucin del ejercicio 27 . Por denicin, denotando T # : V

aplicacin asociada a T : V V ! C , se tiene que
! V
la
Sing(T ) = P(ker T # )
por lo que es , en efecto,un subespacio proyectivo. Sus puntos son conjugados

de todos los puntos de Pn , y en particular de s mismos, luego estn en la cudrica
QT :
Si A es la matriz del tensor T en una cierta base de V , es tambin la matriz del
endomorsmo T # en esa base de V y la dual de V ; por lo que rangT = rangT #
, y en consecuencia
codim(Sing(T )) = codim(P(ker T # )) = codim(ker T # ) = rangT # = rangT
Solucin del ejercicio 28 . Tomando coordenadas homogneas x0 ; x1 ; x2 en
P1C , la cudrica tiene ecuacin
a00 x20 + a01 x0 x1 + a11 x21 = 0
34
5. C N IC AS
Si ambos a00 y a11 son cero, entonces se trata de la cudrica x0 x1 = 0 , que

es obviamente unin de los puntos x0 = 0 y x1 = 0 , es decir de los puntos (0; 1)
y (1; 0): si uno de esos dos coecientes, por ejemplo el a11 , es no nulo, entonces
no admite como solucin al punto (0; 1); es decir que todas sus soluciones son del
tipo (1; b) , donde b es una de las dos soluciones (posiblemente solucin doble) a la
ecuacin de segundo grado de coecientes complejos
a00 + a01 y1 + a11 y12 = 0
en la variable inhomognea y1 = x1 =x0 :
Para la segunda parte es preciso tomar coordenadas homogneas x0 ; x1 ; x2 en
una referencia en que la cudrica tiene matriz cannica
1
1
o bien
1
0
segn sea su rango dos o uno, es decir segn sea lisa o tenga un punto singular.
En el primer caso la cudrica es 0 = x20 + x21 = (x0 + ix1 )(x0 ix1 ) , es decir
que consta de dos puntos distintos (a saber (1; i) , (1; i)) . En el segundo caso la
cudrica es x20 = 0 , es decir que consta de tan slo el punto x0 = 0; es decir (0; 1)
,pero contado dos veces.
Nota: La solucin que hemos apotado a la segunda parte es tambin solucin
a la primera parte del ejercicio, y en ese sentido esa primera solucin sobrara, pero
hemos considerado ms pedaggico resolver la primera parte sin recurrir a la matriz
cannica de la cudrica.
Est por escribir ...
Solucin del ejercicio 30.
a) La cnica C del plano restringe una cudrica CbP1 en cualquier P1 contenido
en el plano, y hemos visto en el ejercicio anterior que una cudrica en P1 consiste
en dos puntos -eventualmente un punto doble.
b) Hemos visto en un ejercicio anterior que el caso de una cudrica de P1
consistente en un punto doble es exactamente el caso de la cudrica singular, siendo
ese punto conjugado de todos los de la recta P1 por el par de puntos CbP1 ; es decir
, por la cnica C de P2 :
Resolvemos el ejercicio en el plano P2 , pues la resolucin del ejercicio en Pn
es anloga. Una cnica lisa C viene dada por un tensor T : V
V ! K cuya
aplicacin asociada fT : V ! V es biyectiva. La aplicacin inducida P2 ! P2
es la que asocia a cada punto P de P2 su recta polar r. Los puntos de la cnica son
los que estn en su recta imagen, que es entonces la recta tangente a C enel punto
P:
Por ser esta aplicacin biyectiva, existe aplicacin inversa f 1 : V
! V ,
que induce la aplicacin P2 ! P2 asociando a cada recta r del plano su polo
P: Las rectas tangentes a la cnica son las que contienen a su punto imagen, que
es entonces el punto de tangencia. Esta aplicacin f 1 : V
!V
(V ) (cfr.
apndice de Algebra Lineal) equivale a un tensor V
V
! K , deniendo una
cnica C en el espacio dual, que induce la aplicacin inversa P2 ! P2 P2 a
la anterior, es decir que aplica cada recta r de P2 en su polo P por la cnica C de
P2 , o, dicho en trminos del plano proyectivo dual, aplica cada punto r de P2 en
su recta polar P respecto de la cnica C de P2
2.
35
Solucin del ejercicio 32.El punto P no en la cnica C de P2 es una recta

de P2 no tangente a la cnica dual C de P2 , y que, por lo tanto, la corta en
dos puntos distintos de P2 ; es decir dos rectas de P2 pasando por el punto P y
tangentes a la cnica C .
Solucin del ejercicio 33 . Tomemos referencia en P1C de modo que A3 ,

A4 sean (1,0), (0,1) , es decir tengan coordenada completa 0, 1 . Sean 1 y 2
las coordenadas completas de A1 y A2 en esa referencia.
Por el ejercicio ,3 el hecho de que los cuatro puntos sean armnicos equivale,
al ser A4 el punto de coordenada 1 , a que la coordenada de A3 , que es 0, sea el
valor medio entre la coordenada de A1 y la coordenada de A2 , es decir equivale a
que sea 2 = - 1
Por el ejercicio 33, el hecho de que la involucin que ja A3 , A4 aplique 1
en 2 equivale al hecho de que sea 2 = - 1
La cudrica consistente en el par de puntos A3 , A4 es la que en esa referencia
tiene matriz
1
1
y por tanto expresa la relacin de conjugacin entre A1 y A2 , es decir entre

(1, ) en (1, 2 ) , como 1 + 2 =0.
b) La cnica restringe a la recta una cudrica consistente en los dos puntos de
interseccin y as dos puntos de esa recta sern conjugados por la cnica del plano
si y slo si lo son por esa cudrica de P1 , es decir si son armnicos con ese par de
puntos.

a) Para hallar el armnico de un punto Z1 respecto de puntos P , Q , los tres en
una misma recta r del plano proyectivo, tomemos un punto Z2 exterior a esa recta,
y elijamos una recta s cualquiera que pase por Z1 : Esta recta s es cortada por las
rectas Z2 P y Z2 Q en dos puntos R, S. Consideremos el cuadriltero completo de
vrtices P,Q, R, S. Dos centros suyos son Z1 y Z2 , y el tercer centro es el punto
Z3 de cruce de las dos diagonales RQ y PS. La recta Z2 Z3 interseca a la recta dada
r en un punto X que es armnico de Z1 respecto de P y Q por el ejercicio 16 a),
segn se peda.
36
5. C N IC AS
b) Para hallar la recta polar basta hallar dos puntos que sean conjugados del
punto dado P por la cnica (pues ser la recta que los une). Para hallar un punto
conjugado de P, basta tomar una recta que pase por P y construir (con la parte
anterior de este ejercicio) el punto armnico de P en esa recta respecto del par de
puntos en que la recta corta a la cnica.
Solucin del ejercicio 35 . a) El tringulo de referencia P0 , P1 , P2 es
autopolar si y slo si para cada par de subndices i6=j , el punto Pi es conjugado
del punto Pj es decir que la entrada aij de la matriz de la cnica en esa referencia
es nula.
b) Tomemos cuatro puntos R1 ; R2 ; R3 ; R4 de la cnica C e iniciemos con ellos la
construccin del cuadriltero completo , que tiene tres centros Z1 = R1 R2 \ R3 R4
, Z2 = R1 R3 \ R2 R4 , Z3 = R1 R4 \ R2 R3 : Sabemos que los cuatro puntos que
equipan cada recta de un cuadriltero completo son armnicos. En particular , en
la recta que pasa por R1 y R3 , estos dos puntos son armnicos con Z2 y el punto
de corte con la recta Z1 Z3 , por lo que Z2 es conjugado de ese punto de corte.
Anlogamente, en la recta que pasa por R2 y R4 estos dos puntos son armnicos
con Z2 y el punto de corte con la recta Z1 Z3 ; por lo que Z2 es conjugado de ese
punto de corte . En consecuencia, Z2 es conjugado de dos puntos de la recta Z1 Z3 ;
y por tanto la tiene como recta polar.
Anlogamente se prueba que Z1 tiene a Z2 Z3 como recta polar, y que Z3 tiene
a Z1 Z2 como recta polar.
Solucin del ejercicio 36 . Tmese referencia de modo que sean P0 ;P2
dos puntos de la cnica y sea P1 el polo de la recta que los une. Como P0 y P2
estn en la cnica , se tiene que, en la matriz (aij ) de la cnica en esa referencia,
son nulos a00 y a22 ; como P0 y P2 son conjugados de P1 , son nulos a01 y
2.
37
a02 , y por tanto la matriz es contradiagonal. La ecuacin homognea es por tanto

bx21 + 2ax0 x2 = 0 , y la inhomognea es por tanto by12 + 2ay2 = 0 Como la conica
es lisa, el determinante es distinto de cero, y por tanto ambos a, b son no nulos, y
as podemos tomar b=1, quedando pues una ecuacin de parbola que nos resulta
familiar.
b) Como en el ejercicio anterior, est claro que las implicaciones de la parte a)
son de hecho equivalencias.
CAPTULO 6
Consecuencias del Teorema de Chasles

1.
En esta lista de ejercicios, C denotar siempre una cnica lisa en P2C . Si P es un

punto de P2C , se denotar por Rad P (radiacin de rectas a travs de P) el conjunto
de rectas de P2C que pasan por P, que como se sabe, es un P1C , es decir una recta
proyectiva compleja (de hecho una recta del plano proyectivo dual)
Ejercicio 37. (Teorema de Chasles) Sean A, A dos puntos distintos en una
cnica lisa C. Demostrar que la aplicacin
Rad(A) ! Rad(A)
que aplica cada recta AP (donde P2C) en la recta A P es una proyectividad
(Sugerencia: Tomar P0 = A, P1 =A , P2 = Polo (AA) como referencia. Por

el ejercicio 36 , la ecuacin de la cnica en coordenadas anes inhomogeneas y1 ;y2
es y2 = y21 )
Sabemos que una proyectividad de P1C , es decir una aplicacin de P1 en
s mismo que conserva su estructura de recta proyectiva, es lo mismo que una
aplicacin conserva la razn doble. Es decir, que la estructura de recta proyectiva
viene dada por la estructura de razn doble de cuatro puntos, y de hecho puede
llamarse modelo de P1C cualquier conjunto en el que puede asignarse a cada cuatro
puntos una razn doble de modo que se cumplan las propiedades enunciadas en los
ejercicios 4 y 5 . En una cnica C de P2C podemos hablar de razn doble de cuatro
puntos P, Q, R, S, , gracias al ejercicio anterior, a saber la razn doble de los
puntos AP, AQ, AR, AS, (ya que no depende del punto A que se elija en C) y en
ese sentido podemos decir que C es un modelo de la recta proyectiva P1C :
39
40
6.
CONSECUENCIAS DEL TEOREM A DE CHASLES
Para dar rigor a esta razn heurstica, observemos que, para un punto A
cualquiera de C , hay una biyeccin
C
! Rad(A)
que aplica cada punto P de C en la recta AP (siendo la imagen del punto A

la recta tangente a la cnica en A ) Como el conjunto Rad(A) tiene la estructura
de un P1C , la cnica C hereda por esta biyeccin una estructura de P1C . Gracias al
teorema de Chasles, la estructura de P1C as denida sobre la cnica no depende del
punto A elegido en la ella!
Como veremos enseguida, esto nos permitir demostrar con mucha facilidad
resultados sobre P1C , al tomar una cnica lisa C del plano proyectivo como modelo
de P1C
Ejercicio 38. a) (eje de cruces) Sea f: C !C una proyectividad. Probar que
existe una recta e (la que une sus dos puntos jos M,N) tal que para cualquiera
P,Q2C, las rectas PQ y QP se cortan en un punto de e (donde se denotan P
, Q las imgines de P, Q)
(Sugerencia: Tmese referencia proyectiva de modo que P0 =M, P1 =Polo
(MN), P2 =N, y as en el plano afn los puntos de la cnica sean los puntos ( ; 2 ).
Aplicar entonces el ejercicio 9)
b) (Teorema de Pascal o "hexagrama mstico"de Pascal ) Dados puntos P,Q,
R y P, Q, R de una cnica lisa C, los tres puntos PQ \QP , PR \RP ,
RQ \QR son colineales
Ejercicio 39. a) Sea Z un punto de P2C no en la cnica C. Entendida la cnica

como modelo de P1C , demostrar que es una involucin la proyeccin
prZ : C ! C
desde el punto AZ que aplica cada punto P de la cnica en el otro punto P de
la cnica en que la recta ZP interseca a la cnica. Los puntos jos M,N de esta
involucin son los dos puntos en los que la polar de Z interseca a la cnica.
41
(Sugerencia: anloga a la del ejercicio anterior, tomando P0 =M, P1 =Z,

P2 =N)
b) Toda involucin en C es de hecho la proyeccin desde un punto exterior.

(Sugerencia: usar 12 )
c) Concluir que, como consecuencia, los pares de puntos correspondientes por
una involucin forman un P 1
Ejercicio 40. a) Dados P, Q y P , Q en P1C , demostrar que hay una nica
involucin que aplica P en P , y Q en Q .
b) Dadas dos involuciones de P1C demostrar que existe una unica pareja de
puntos que se corresponden mutuamente en ambas involuciones
(Sugerencia para ambas partes: Tomar la cnica lisa del plano proyectivo como
modelo de P1C )
Ejercicio 41. Sean P1 ;P2 puntos de P2C , no en la cnica C. Sean M1 , N1
los puntos en que la polar de P1 corta a C, y sean M2 , N2 los puntos en que la
polar de P2 corta a C. Probar que { M1 , N1 , M2 , N2 }=-1 si y solo si P1 y P2 son
puntos conjugados por la cnica C. Escrbase el enunciado dual.
Ejercicio 42. Dos involuciones f1 ; f2 de P1C conmutan si y solo si sus puntos
jos M1 , N1 y M2 , N2 son armnicos entre s.
(Sugerencia: Para la implicacin directa, usar 16 Para la implicacin inversa,
usar el ejercicio anterior y 33 )
Ejercicio 43. Demostrar que toda proyectividad f: P1C ! P1C es producto de
dos involuciones
(Sugerencia:Usar C como modelo de P1C . Como centro A1 de la primera involucin prA1 tmese cualquier punto de la recta MN que une los puntos jos de
f. Bsquese en esa misma recta el centro de la segunda involucin. Finalmente,
hgase uso de 11 )
42
6.
2.
Solucin del ejercicio37

Tomando la referencia mencionada en la sugerencia, las rectas que pasan por
Rad(A)tienen ecuacin y2 = y1 (donde hemos tomado como pendiente una coordenada completa para no excluir la recta y1 = 0; de pendiente 1 ) Claramente
es coordenada completa de la recta proyectiva P1 que es Rad(A). Asmismo, las
rectas que pasan por Rad(A0) tienen ecuacin y1 = 0 (donde hemos tomado como
abcisa comn de todos los puntos de la recta una coordenada completa 0 para no
excluir la recta del innito, de abcisa 1 ) Claramente 0 es coordenada completa
de la recta proyectiva P10 que es Rad(A0)
La aplicacin considerada en el enunciado asigna a cada recta y2 = y1 de
Rad(A) la recta y1 = de Rad(A0) (pues la recta y2 = y1 corta a la cnica
y2 = y12 en el punto ( ; 2 ) de abcisa ) Por tanto esa aplicacin P1 ! P10 aplica
en 0 , y por tanto tiene la forma 0 = (a + b)=(c 0 + d) de las proyectividades.
Solucin del ejercicio 38 En la referencia sugerida, los puntos de la cnica
tienen coordenadas ( ; 2 ) , correspondiendo al punto de coordenada completa
cuando se toma la cnica como un modelo de P1 , y as la proyectividad considerada
ja los dos puntos de coordenada completa 0 , 1 , y por tanto tiene ecuacin 0 = k
(ejercicio 9), o sea que aplica el punto ( ; 2 ) en el punto ( ; 2 )
Sean los puntos R1 = ( 1 ; 21 ) y R2 = ( 2 ; 22 ) en la cnica, y sean R10 =
(k 1 ; k 2 21 ) y R20 = (k 2 ; k 2 22 ) sus imgenes por la proyectividad. La recta R1 R2 0
corta a la recta M N de ecuacin y1 = 0 en el punto (0; k 1 2 ); que es el mismo en
que la corta la recta R2 R1 0
b) Tomando C como modelo de P1 ; existe una nica proyectividad que aplica
tres puntos dados P; Q; R de una cnica lisa C , en otros tres puntos dados P ; Q; R.
Su eje de cruces (apartado anterior) es recta que pasa por P Q \ QP , P R \ RP ,
RQ \ QR
43
a)En la referencia sugerida, la cnica tiene ecuacin y2 = y12 , es decir est

formada por los puntos ( ; 2 ) , de coordenada completa como puntos de P1 : Los
puntos M; N de la cnica tienen coordenada completa = 0; 1 .
Las rectas que pasan por z son las paralelas al eje y1 . As pues la proyeccin
desde Z es la proyeccin "horizontal"que aplica cada punto ( ; 2 ) en el punto
( ; 2 ) , es decir el punto de coordenada completa en el punto de coordenada
completa - ; por lo que es una involucin que ja = 0; 1 es decir, M y N
b) La involucin dada en C , tomada como modelo de P1 , tiene siempre dos
puntos jos M y N , que de hecho la determinan (vase el ejercicio 12 y su comentario). Sea Z el punto de interseccin de las tangentes a la cnica en M y N . La
proyeccin desde Z es tambin una involucin en C que tiene tambin M y N como
puntos jos, luego coincide con la dada.
c) Siguiendo con el modelo tomado en b), los pares de puntos correspondientes
por la involucin estn en biyeccin con las rectas de Rad Z, que forman un P1
a) Tomemos una cnica lisa del plano proyectivo como modelo de P1 , y
usemos el apartado b) del ejercicio anterior. La proyeccin con centro en el punto
Z de interseccin de las rectas P Q y P 0Q0 es una involucin que aplica P en P 0 y Q
en Q0; cualquier otra involucin que hiciese esto mismo debera tener como centro
de proyeccin el punto Z, luego coincidira con ella.
b) Sean Z1 ; Z2 los centros de dos involuciones. El par de puntos (quiz confundidos) en que la recta Z1 Z2 es el nico par de puntos que se corresponden en
ambas involuciones
El hecho de que P1 y P2 sean conjugados por la cnica equivale a que P2 est
en la polar M1 N1 del punto P1 , es decir , a que la proyeccin desde P2 -o sea la
involucin de puntos jos M2 y N2 - aplique M1 en N1 . Por el ejercicio 33 , esto
equivale a su vez a que fM1 ; N1 ; M2 ; N2 g = 1
Solucin del ejercicio 42 Para probar esto, tomemos una cnica lisa del plano
como modelo de P1 . Si ambas involuciones f1 y f2 conmutan, entonces cualquier
punto P de la cnica y sus tres imgenes f1 (P ) , f2 (P ), f2 f1 (P ) = f1 f2 (P ) forman
un cuadriltero completo inscrito en la cnica, cuyos vrtices son los centros Z1 ; Z2
44
6.
de proyeccin de las involuciones f1 y f2 , que son por tantos puntos conjugados

por la cnica, luego por el ejercicio anterior los dos pares M1 , N1 y M2 , N2 de
puntos jos de esas dos involuciones son armnicos entre s.
Recprocamente, supongamos que P1 y P2 son puntos conjugados, como representado en la gura del ejercicio anterior, y sean , como en esa gura M1 , N1 los
puntos jos de la involucin de centro P1 , y M2; N2 los centros de la involucin de
centro P2 . Se tiene
prP2 prP1 (M1 ) = prP2 (M1 ) = N1
prP2 prP1 (N1 ) = prP2 (N1 ) = M1
y por otra parte
prP1 prP2 (M1 ) = prP1 (N1 ) = N1
prP1 prP2 (N1 ) = prP1 (M1 ) = M1
Como ambas involuciones prP2 prP1 y prP1 prP2 asignan pues las mismas imgenes a dos puntos M1 y N1 tienen que ser forzosamente la misma (por el ejercicio12
a)
Solucin del ejercicio 43 Tomamos el centro A1 de la primera involucin
tal como se sugiere en el enunciado. Sea P un punto general de la cnica y seaQ
su imagen por esa primera involucn. Sea P 0 = f (P ). Como centro A2 de la
segunda involucin tomemos el punto de interseccin del "eje de cruces"M N de la
proyectividad f con el la recta QP 0.
Se tiene
prA2 prA1 (P ) = prA2 (Q) = P 0
prA2 prA1 (M ) = prA2 (N ) = M
prA2 prA1 (N ) = prA2 (M ) = N
45
Como la proyectividad prA2 prA1 y la proyectividad f asignan pues la misma

imagen a los tres puntos P; M; N; ambas coinciden (cfr. ejercicio11)
CAPTULO 7
Ms sobre cnicas lisas
1.
Recordemos que toda cnica lisa C en el plano proyectivo P2C da lugar a

una cnica lisa dual C en el plano proyectivo dual P2C
: sus puntos son las
rectas tangentes a C y si C tiene matriz M en coordenadas homogneas x0 ; x1 ; x2
del plano, entonces c tiene matriz M 1 en las coordenadas homogneas duales
u0 ; u1 ; u2 del plano dual. Decimos que dos rectas son conjugadas por la cnica C
cuando, como puntos del plano dual P2C , son conjugadas por la cnica dual C :
Sabemos que un punto P es conjugado de otro punto Q por una cnica lisa
C cuando est en la recta polar de Q, y esta relacin de conjugacin es simtrica:
Q est entonces en la recta polar de P . Llevando esta observacin al plano dual,
obtenemos que dos rectas l, m son conjugadas cuando l pasa por el polo de m, y
esto equivale a que m pase por el polo de l.
As pues, todos los enunciados acerca de cnicas lisas, tienen su enunciado dual
en el que los puntos son sustituidos por rectas tangentes, y viceversa. As por ejemplo, como modo de construir tringulos autopolares alternativo al sugerido en 35 ,
tenemos ahora su mtodo dual: inciese con cuatro rectas tangentes a la cnica un
cudriltero completo y tmese entonces como tringulo autopolar el formado por
sus tres rectas diagonales (rectas punteadas en el dibujo) Es autopolar porque esas
tres rectas son sus tres centros cuando se ve como cuadriltero completo del plano
dual, y por tanto, al tomarlos como tringulo de referencia queda diagonalizada la
matriz de la cnica dual, y por tanto tambin la matriz de la cnica en el plano
original, ya que es su inversa:
47
48
7.
M S SO BRE C N IC AS LISAS
Una recta que no es tangente a la cnica se llama una cuerda de la cnica. Es

cortada por ella en dos puntos M; N (la cudrica que la cnica restringe en la recta)
que se llaman los "extremos"de la cuerda. Para cada punto P de la cuerda hay otro
punto P 0 de ella que es conjugado de P por la cnica, a saber su armnico en la
cuerda respecto de M; N , es decir aquel punto P tal que fM; N; P; P g = 1
Dualmente, dado un punto P que no est en la cnica hay exactamente dos
rectas l; m tangentes a la cnica que pasan por l (la cudrica que la cnica dual
restringe en la recta Rad P ). Cada recta r que pasa por P tiene una recta conjugada
suya r por la cnica que tambin pasa por P , a saber su armnica en Rad P , es
decir aqulla tal que
fl; m; r; rg = 1
Sea ahora C una cnica central en el espacio afn complejo A2C = P2C n P11 , es
decir una cnica lisa de P2C que corta a P11 en dos puntos distintos. Se llama centro
Z de C al polo de P11 Se llaman dimetros las rectas que pasan por el centro, o
sea las rectas conjugadas de la recta del innito (los polos de los dimetros estn
pues en la recta del innito) Por la observacin anterior, cada dimetro d tiene un
dimetro conjugado dc
Ejercicio 44. a) Probar que las tangentes en los extremos de un dimetro d

son paralelas entre s.
b) Demostrar que son adems paralelas al dimetro conjugado dc
49
c) Probar que las cuerdas paralelas a un dimetro d son cortadas por el

dimetro conjugado dc en su punto medio (es decir, el punto medio entre sus dos
extremos)
Ejercicio 45. a) Demostrar que por cinco puntos -no cuatro de ellos colinealesdel plano proyectivo pasa una nica cnica. Si cuatro de ellos estn en lnea recta
entonces pasan innitas cnicas, y en caso distinto la cnica es nica. Demostrar
que por seis puntos del plano no pasa, en general , ninguna cnica.
b) Demostrar que dadas cinco rectas del plano -no cuatro de ellas concurrenteshay una nica cnica que es tangente a las cinco. Demostrar que dadas seis rectas
del plano en general, no hay ninguna cnica que se tangente a todas ellas.
Ejercicio 46. a) ("Generacin de Steiner de una cnica") . Sea f : Rad

P ! Rad P una proyectividad entre las radiaciones de rectas que pasan por dos
puntos P; P del plano P2C . Demostrar que el conjunto de puntos l \ f (l) en que se
corta cada recta de Rad P con su imagen en Rad P es una cnica que pasa por P
y por P .
(Sugerencia: Tomar referencia de modo que P
innito P1 = (0; 1; 0) y P2 = (0; 0; 1))
y P sean los dos puntos de
50
7.
b) dadas cuatro rectas l ; m; r ; s pasando por un punto P del plano PC2 y otras
rectas l ; m ; r ; s pasando por otro punto P con la misma razn doble
fl; m; r; sg = fl; m; r; sg
demostrar que hay una cnica que pasa por l \ l ; m \ m ; r \ r ; s \ s ; P ; P .
c) Escribir el enunciado dual de los enunciados a) y b)
Ejercicio 47.
(Poncelet) a) Demostrar que si dos tringulos estn inscritos en una cnica, entonces circunscriben otra, y viceversa.
(Sugerencia: aplicando el teorema de Chasles a A; A, probar que los cuatro

puntos en r y los cuatro puntos en restn en la misma razn doble, y aplicar el
enunciado dual del apartado b del ejercicio anterior.
b) Probar que sin hay un tringulo que se inscribe en una cnica lisa C y circun-
scribe otra cnica lisa C, entonces hay innitos

(Sugerencia: Usar el ejercicio anterior y la unidad mencionada en el ejercicio
45)
2.
2. SOLUCIN DE LOS EJERCICIOS
51
Solucin del ejercicio 44 a) Un dimetro d es una recta que pasan por el

polo de la recta del innito, es decir que es recta conjugada de la recta del innito,
y por tanto su polo P -punto de corte de las tangentes en los dos extremos- est en
la recta del innito.
b) Que el dimetro dc sea conjugado de un dimetro dado d signica que pasa
por su polo P , o sea por el punto de corte de las dos tangentes en sus extremos,
que como hemos dicho es un punto del innito.
c) Se trata de probar que, en una recta que pasa por el polo P de un dimetro
d , forman cuatrnica armnica su punto en el innito P , el punto Q de corte con
el dimetro, y los dos puntos de corte de la recta con la cnica, es decir que P y
Q son conjugados por la cnica. Esto es evidente puesto que Q est en el dimetro
d , que es la recta polar de P .
a) En coordenadas homogneas x0 ; x1 ; x2 la cnica corresponde a un tensor
de matriz simtrica A = (aij ) , es decir que la cnica tiene ecuacin
a00 x20 + a11 x21 + a22 x22 + 2a01 x0 x1 + 2a02 x0 x2 + 2a12 x1 x2 = 0
La condicin de pasar por un punto se expresa como una ecuacin lineal en las
seis variables aij (por ejemplo, si el punto fuera el (1,1,2), se tratara de la ecuacin
a00 + a11 + 4a22 + 2a01 + 4a02 + 4a12 = 0 ). As pues, la condicin de pasar por
cinco puntos se expresa como un sistema de cinco ecuaciones lineales en estas seis
variables (a00 ; :::; a12 ) En general, el rango de la matriz del sistema es 5 - siendo
menor slo cuando cuatro de los puntos son colineales- , y as sus soluciones forman
un espacio vectorial de dimensin uno, es decir que si una solucin es (a00 ; :::; a12 )
las dems son productos ( a00 ; :::; a12 ) por constante
no nula , y por tanto
denen la misma cnica.
52
7.
Si cuatro de los cinco punto son colineales entonces la recta que los une y
cualquier recta que pase por el quinto forman una cnica del tipo "par de rectas"que
pasa por los cinco puntos.
Tmense cinco puntos, no cuatro de ellos en lnea recta. Se tiene una nica
cnica que pase por los cinco primeros. Cualquier punto que no est en esa cnica
forma con esos cinco puntos un conjunto de seis puntos del plano por los que no
pasa cnica alguna.
b) Como el apartado dual es vlido en todos los planos proyectivos, en particular
es vlido en el plano dual P2 , armando entonces en P2 exactamente lo que se pide.
a) Tomando la referencia como se sugiere, nuestra proyectividad hace corresponder a cada recta horizontal x =
(es decir pasando por el punto (0; 1; 0)
) una recta vertical y = 0 (es decir pasando por (0; 0; 1) ) , de modo que esta
aplicacin 7! 0 del primer conjunto de rectas (parametrizado por la coordenada
completa ) en el segundo conjunto de rectas (parametrizado por la coordenada
completa 0 ) sea del tipo
a +b
0
=
c +d
para ciertos nmeros complejos a; b; c; d con
a b
c d
6= 0
Por tanto los puntos ( ; 0 ) de interseccin de una recta x =

y = 0 satisfacen a la ecuacin
c
+d
y su imagen
b=0
que claramente dene una cnica.

La imagen de la recta P P 0 es una recta que forzosamente pasa por P 0, luego
P 0 es el punto de interseccin de la recta y su imagen, y por tanto est en la cnica.
Por razn anloga, el punto P est tambin en la cnica.
b) Por esa coincidencia de las razones dobles, existe una nica proyectividad de
Rad P en Rad P 0 que aplica las rectas l; m; r; s en las rectasl0; m0; r0; s0. Aplicando
el apartado a) a esa proyectividad se obtiene la cnica requerida
c) Como el apartado anterior es vlido en cualquier plano proyectivo, en particular es vlido para el plano proyectivo dual P2 del plano P2 : dadas dos rectas
r; r0 de P2 y cuatro puntos A; B; C; D en la recta r y otros cuatro A0; B0; C0; D0 en
la recta r0 con la misma razn doble, existe una nica cnica que es tangente a las
rectas AA0; BB0; CC0; DD0 y adems a las rectas r y r0.
a) Consideremos dos tringulos ABC y A0B0C0 inscritos en una cnica lisa (es
decir con sus vrtices en ella) y pongamos nombre P; Q, y R; S a los otros vrtices
de esa "estrella de David acentes en las rectas r y r0 :
2
2. SOLUCIN DE LOS EJERCICIOS
53
Aplicando el teorema de Chasles, se tiene

0
fC ; R; S; B 0 g = fAC 0 ; AR; AS; AB 0 g = fAC 0 ; AB; AC; AB 0 g

= fA0 C 0 ; A0 B; A0 C; A0 B 0 g = fA0 P; A0 B; A0 C; AQg = fP; B; C; Qg
y por tanto hay una proyectividad de la recta r en la recta r0 que aplica los
puntos P; B; C; Q de la recta r en los puntos C0; R; S; B0 de la recta r0 . Esta
proyectividad da lugar , por la construccin dual de Steiner (apartado c del ejercicio
anterior), a una cnica que es tangente a las cuatro rectas C0P = C0B0; RB =
AB; SC = AC; B0Q = B0A0 uniendo puntos de r0 y r correspondientes en la
proyectividad, y es tambin tangente a esas rectas r = BC y r0 = B0C0 .
b) Podemos razonar sobre la misma gura del apartado anterior, pero construyendo ahora sus elementos en otro orden. Se nos da ahora un tringulo ABC
inscrito en una cnica C1 (es decir, con sus tres vrtices en ella) y circunscrito a
otra cnica C2 (es decir, con sus tres lados tangentes a ella) . Sea ahora A otro
punto cualquiera de C1 distinto de los puntos A; B; C. Las dos rectas tangentes a
la cnica C2 desde A0 cortan a la cnica C1 en sendos puntos que llamamos B0 y
C0. Habremos acabado si somos capaces de demostrar que la recta B0C0 es tambin
tangente a la cnica C2 . Como los tringulos ABC y A0B0C0 tienen sus vrtices en
la cnica C1 , el teorema de Poncelet (apartado anterior) arma que sus seis lados
son tangentes a una cnica D2 . As pues, las conicas C2 y D2 son ambas tangentes
a las cinco rectas - no tres de ellas concurrentes- AB; AC; BC; A0B0; A0C0 Por el
apartado b) del ejercicio 45 concluimos que son de hecho la misma cnica.
CAPTULO 8
Haces de cnicas
1.
Ejercicio 48. a) Probar que la cnica de P2C que en coordenadas homogneas

xo ; x1 ; x2 tiene ecuacin
a00 x20 + 2a01 x0 x1 + 2a02 x0 x2 + a11 x21 + 2a12 x1 x2 + a22 x22 = 0
pasa por el punto (1, 0 , 0) si y solo si a00 = 0 , y que, si la cnica es lisa, su
tangente en ese punto es la recta
a10 x1 + a20 x2 = 0
b) Escribir el enunciado a) en el caso en que x0 ; x1 ; x2
coordenadas homogneas anes de una geometra afn dada en P2C , para que aparezca en las correspondientes coordenadas anes inhomogneas y1 ; y2 algo que resulte ya familiar.
Ejercicio 49. a) Demostrar qe dos cnicas de PC2 se cortan siempre en
cuatro puntos, contados con multiplicidad (es decir que algunos de esos cuatro puntos pueden estar confundidos entre s, pues corresponden a las races de un cierto
polinomio y algunas de esas races pueden ser mltiples)
(Sugerencia: Si una de las dos cnicas es un par de rectas - o recta dobleentonces el problema es trivial. Si ambas son lisas, tmese geometra afn y coordenadas anes de modo que una de las dos cnicas se exprese como y2 = y12 )
b)Demostrar que un punto de corte es mltiple si y solo si ambas cnicas tienen
la misma tangente en el mismo punto
(Sugerencia: en las mismas coordenadas usadas para el apartado a) aplicar el
apartado b) del ejercicio anterior)
Ejercicio 50. a) Demostrar que las cnicas de P2 son los puntos de un

espacio proyectivo P5
b) Las que pasan por un punto dado forman un P4 dentro de ese P5
c) Las que pasan por dos puntos forman un P3
d) Las que pasan por tres puntos forman un P2 ("net", o red, de cnicas)
e) Las que pasan por cuatro puntos, no colineales,
forman un P1 ("pencil", o "haz", de cnicas).
f ) Demostrar que si f (x0 ; x1 ; x2 ) = 0
y f 0 (x0 ; x1 ; x2 ) = 0 son las ecuaciones, en una referencia, de dos cnicas
C; C0 distintas de ese haz, entonces todas las dems cnicas del haz tienen ecuacin
55
56
8.
H AC ES D E C N IC AS
f (x0 ; x1 ; x2 ) + f 0 (x0 ; x1 ; x2 ) = 0 , de coecientes aij + aij (si aij
y aij son
los coecientes de f y f 0 ); es decir que si A; A0 son las matrices de C; C0 en esa

referencia, entonces A + 0 A0 es la matriz de la cnica general del haz.
As pues un haz de cnicas es la recta P1 del espacio proyectivo P5 de todas

las cnicas del plano P2 formada por todas aquellas cnicas que pasan por cuatro
puntos dados -posiblemente confundidos- de P2 Se trata pues de las cnicas que
pasan por los puntos de interseccin de dos cnicas C, C . Segn estos cuatro
puntos sean
distintos
o dos puntos confundidos, y otros dos puntos distintos
o dos puntos confundidos y otros dos puntos confundidos
o tres puntos confundidos y un punto distinto
o cuatro puntos confundidos
hablaremos de haces de cnicas de tipo
57
58
8.
1,1,1,1
2, 1,1
2, 2
3,1
4
respectivamente. En un haz de tipo 1,1,1,1, por ejemplo, hay exactamente tres
cnicas que son par de rectas: cada una de esas cnicas est formada por una recta
que uno dos de esos cuatro puntos y otra recta que une los otros dos.
Para los ejercicios que siguen, observemos que un conjuntos de dos puntos de
P1 , llamado abusivamente "par de puntos"de P1 (pues "par"debera llamarse tan
slo a dos puntos ordenados) se puede expresar implcitamente , en coordenadas
homogneas x0 ; x1 ; como una cudrica de ecuacin x21 + x0 x1 + x20 = 0 , o, en
2
la coordenada inhomognea completa = x1 =x0 , de ecuacin
+ + 2 = 0; es
decir, que el par de puntos est formado por las dos races 1 y 2 de esta ecuacin,
y en consecuencia
=
1 2
Ejercicio 51. Demostrar que dos pares de puntos de P1

x21 + x0 x1 + x20 = 0
0 2
x1
x0 x1 +
0 2
x0
=0
son armnicos si y slo si

0
Sugerencia: probar que

(
{ 1;
+
=2
+2
2 ; 3 ; 4 }=-1
2 )( 3
4)
= 2(
si y slo si
1 2
Ejercicio 52. Sean x21 + x0 x1 + x20 = 0
3 4)
0 2
x1
x0 x1 +
0 2
x0
=0
Ejercicio 53. dos pares de puntos de P1 y sea

(
0 0
)x21 + (
0 0
)x0 x1 + (
el haz de pares de puntos -haz de cudricas de P1 -
0 0
)x20 = 0
que ellos engendran
a) Demostrar que son los pares de puntos mutuamente correspondientes en una

involucin
(Sugerencia: usando T 8.4 probar que una involucin a 0 + b( + 0 ) + c = 0
tiene el par de puntos x21 + x0 x1 + x20 = 0 como puntos mutuamente correspondientes si y slo si b = a + c )
b) Concluir que en un haz de pares de puntos hay exactamente dos puntos
dobles
c) Concluir el "segundo teorema de Desargues": dado un haz de cnicas de P 2
y una recta general P 1 , hay exactamente dos cnicas del haz que son tangentes a
la recta
59
(Sugerencia : el haz dado restringe en P1 un haz de pares de puntos)

d) Probar que los tres pares de lados de un cuadriltero completo intersecan
a una recta general en tres pares de puntos que se corresponden entre s por una
misma involucin
Llamamos range"o rango"de P2 a un conjunto de cnicas lisas cuyas cnicas
duales (cnicas de tangentes) son las cnicas lisas de un haz de P2 *. Se trata pues
de todas las cnicas tangentes a cuatro rectas dadas de P2
Ejercicio 54.
Ejercicio 55.
Ejercicio 56. (segundo teorema de Desargues)
a)Demostrar que dado un rango de cnicas en P2 y una recta general, hay
exactamente una cnica del rango que es tangente a esa recta.
b)Dado un punto general, hay exactamente dos cnicas del rango que pasan por
ese punto.
2.

a) La evaluacin del primer miembro de la ecuacin en el punto (1; 0; 0) es
precisamente a00 , por lo que el punto est en la cnica si y solo si a00 = 0 . Si esto
ocurre, la tangente en ese punto es su recta polar, cuyos coecientes se obtienen
aplicando la matriz del tensor al punto (1; 0; 0):
0
10 1 0
1
0 a01 a02
1
0
@ a10 a11 a12 A @ 0 A = @ a10 A
a20
a20 a21 a22
0
b) El hecho de que sean stas coordenadas anes signica que x0 = 0 es la recta

del innito, y las coordenadas inhomogneas correspondientes son entonces y1 = xx10
, y2 = xx20 , quedando la ecuacin de la tangente , en esas coordenadas, como
a10 y1 + a20 y2 = 0
60
8.
Solucin del ejercicio48 Ya vimos en el ejercicio 36 (cfr. solucin al ejercicio

37) que se pueden tomar coordenadas de modo que una cnica tenga la ecuacin
sugerida y12 y2 = 0. Sea
la ecuacin de la otra cnica, o, en coordenadas inhmogneas,
a00 + a11 y12 + a22 y22 + 2a01 y1 + 2a02 y2 + 2a12 y1 y2 = 0
La coordenada y1 de un punto que est en ambas cnicas satisfar pues a la
ecuacin
a00 + a11 y12 + a22 y14 + 2a01 y1 + 2a02 y12 + 2a12 y13 = 0
que por ser de grado cuatro, y por ser el cuerpo algebraicamente cerrado, tiene
exactamente cuatro soluciones, aunque posiblemente repetidas.
b) Sea ahora P un punto comn a ambas cnicas, y volvamos a tomar coordenadas de modo que una de las dos cnicas tenga ecuacin y2 = y12 ; o sea , en
coordenadas homogneas, x21 x2 = 0; y adems el punto P sea el origen (1; 0; 0)
Esa cnica tendr como tangente en el punto P a la recta x2 = 0 , o sea y2 = 0
La otra cnica tiene ecuacin
a11 y12 + a22 y22 + 2a01 y1 + 2a02 y2 + 2a12 y1 y2 = 0
ya que pasa por el origen P , y su tangente en ese punto ser la recta a01 y1 +
a02 y2 = 0, que coincide con la tangente y2 = 0 a la otra cnica si y slo si a01 = 0
El Punto P es de hecho solucin repetida al problema de interseccin de las
dos cnicas si y slo si el valor cero es solucin mltiple a la ecuacin
a11 y12 + a22 y14 + 2a01 y1 + 2a02 y12 + 2a12 y13 = 0
es decir, si y slo si a01 = 0 , lo que hemos visto que equivale a que ambas
tangentes coincidan.
Solucin del ejercicio 50 a) Tmense coordenadas homogneas x0 ; x1 ; x2
para razonar con mayor facilidad. Una cnica se corresponde con una ecuacin no
nula
es decir no siendo todos sus coecientes nulos, y estando adems denidos salvo
producto por constante no nula. Por tanto se corresponde con un punto del espacio
proyectivo P5 del espacio vectorial C6 de las sxtuplas de coecientes (a00 ; :::; a12 )
b) c) d) Como ya se observ en la solucin del ejercicio 45, la condicin de
pasar por un punto se expresa mediante una ecuacin lineal en los coecientes
(a00 ; :::; a12 ) como variables , y por tanto las cnicas que la cumplen forman un P4
dentro del espacio P5 de todas las cnicas. Si aadimos la condicin de pasar por
otro punto se obtiene un P3 de cnicas, y si se impone pasar por otro punto ms,
se obtiene un P2
e) Si an se aade la condicin de pasar por un cuarto punto se obtiene un
P1 de cnicas -salvo el caso de que estn los cuatro puntos en una recta , pues
entonces cualquier otra recta forma junto con ella una cnica que contiene a los
cuatro puntos (y eso da tantas cnicas como permite la eleccin de la otra recta, es
decir un P2 de cnicas!)
61
Como ambos polinomios f y fse anulan en los cuatro puntos, tambin se anula
el polinomio
f (x0 ; x1 ; x2 ) + f 0 (x0 ; x1 ; x2 )
obtenido como combinacin lineal de ellos. Se obtiene as un P1 de cnicas que
est contenido en el espacio de las cnicas que se anulan en los cuatro puntos, que
hemos visto que es un P1 , luego necesariamente coincide con l.
Solucin del ejercicio 51 Comprobar la caracterizacin de la armonicidad de
dos pares de puntos en trminos de las sumas y los productos de las dos coordenadas
de cada par, tal como se ha apuntado en la sugerencia, es un mero clculo que, por
supuesto, omitimos. Por lo recordado en el prembulo al ejercicio, la rescritura de
esa caracterizacion en trminos de los coecientes ; ; ; 0 ; 0 ; 0 es inmediata.
Solucin del ejercicio 52 Probamos primero lo armado en la sugerencia:
el hecho de que el par de puntos
x21 + x0 x1 + x20 = 0 se corresponda
mutuamente en la involucin de puntos jos a 2 + 2b + c = 0 equivale (ejercicio
33) a que sea armnico con ese par de puntos jos, condicin que , por el ejercicio
anterior, se puede expresar en trminos de las ecuaciones implcitas de ambos pares,
obtenindose b = a + c:
Por el ejercicio 40 hay una involucion, y solo una, en la que ambos pares de
0 2
puntos x21 + x0 x1 + x20 = 0
y
x1 + 0 x0 x1 + 0 x20 = 0 son pares de
puntos mutuamente correspondientes, es decir que se satisfacen ambas ecuaciones
b= a+ c
y
0
b = 0 a + 0 c:
Por tanto, para toda eleccin de ; 0 , se satisface la ecuacin
(
0 0
)b = (
0 0
)a + (
0 0
)c:
es decir que el par de puntos

(
0 0
)x21 + (
0 0
)x0 x1 + (
0 0
)x20 = 0
es tambin mutuamente correspondiente por la involucin. Estos pares de puntos forman un P1 , que estr pues contenido en el P1 (cfr. ejercicio 39 c) de pares
correspondientes por la involucin, y por tanto coincide con l.
c) Un haz (es decir, un P1 ) de cnicas en P2 induce un haz ( un P1 ) de cudricas
en cualquier recta P1 de P2 , pues cada cnica de P2 restringe en esa recta un par
de puntos. Un haz de pares de puntos en una recta consiste siempre , como hemos
visto en el apartado b ), en los pares de puntos correspondientes en una involucin,
y por tanto dos exactamente de esos pares consistirn en un punto doble (los dos
puntos jos de la involucin): son por tanto la restriccin a esa recta de dos cnicas
del haz tangentes a ella.
a) Dada una quinta recta en general, por el ejercicio aplicado al espacio dual
P2 , habr una sola cnica de P2 que sea tangente a las cuatro rectas dadas para
determinar el rango y a esa quinta recta.
62
8.
b) Es exactamente el enunciado dual del enunciado en el apartado c) del ejercicio anterior.
CAPTULO 9
Clasicacin de cudricas reales

1.
2.
De ahora en adelante V denotar un espacio vectorial sobre R de dimensin n + 1, y por tanto, al escoger una base en V sus vectores se correspondern
con las ristras de n+1 nmeros reales, tenindose pues un isomorsmo de espacios
vectoriales reales: V ' Rn+1 . Los puntos de P(V ) = PnR (o simplemente Pn )
se correspondern con las ristras homogneas -es decir, no nulas y denidas salvo
producto por constante- de n + 1 nmeros reales. Si hablamos entonces de puntos
de coordenadas imaginarias es porque implcitamente supondremos la natural inclusin Rn+1 Cn+1 y por tanto la inclusin de PnR en PnC , es decir el hecho de que
todo punto de coordenadas homogneas reales es tambin un punto de coordenadas
homogneas complejas (ampliacin compleja del espacio proyectivo real)
Consideremos la cudrica < T > dada por un tensorT : V xV ! R , y designemos por Q = QT PnR a su lugar cudrico -llamado simplemente udrica"por
abuso de lenguaje- es decir el conjunto de puntos autoconjugados por T. Llamamos
ndice mQ , o simplemente m, a la codimensin del mayor espacio proyectivo contenido en Q. Si , por ejemplo, el ndice es n , entonces la dimensin del mayor
espacio proyectivo contenido en la cudrica es cero, es decir que se trata de un P0
, o sea un punto, y por tanto la cudrica tiene puntos, pero no contiene rectas. Si el
ndice es n-1, entonces la cudrica contiene rectas P1 , pero no contiene planos P2 :
Si el ndice es n+1 entonces la codimensin del mayor espacio proyectivo contenido
en la cudrica es n+1 , es decir, la cudrica no contiene ningn espacio proyectivo
, ni siquiera puntos P0 : es la udrica sin puntos" o puramente imaginaria, como
es el caso de la cudrica de ecuacin x20 + ::: + x2n = 0 en coordenada homogneas
x0 ; :::; xn (en efecto: no hay nmeros reales que, elevados al cuadrado, sumen cero,
salvo que todos sean nulos , y entonces no denen un punto del espacio proyectivo).
Consideremos una base de V en la que el tensor T diagonaliza con entradas

diagonales +1; 1; 0 (cfr. "pre-requisitos de lgebra lineal") : p entradas son 1; q
entradas son 1(de modo que p + q = r, rango del tensor) ; y las demas entradas
63
64
9. CLASIFICACIN DE CUDRICAS REALES
son nulas:
0
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
@
+1
:
:
p)
:
+1
1
:
: q)
:
1
0
:
:
:
0
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
El siguiente ejercicio tiene como propsito demostrar que el ndice m de la cudrica coincide con el nmero de signos, positivos o negativos, que est en mayora ,
es decir que m = maxfp; qg. Para ello, supngase la matriz homognea multiplicada por 1 o 1, para que no haya ms ndices negativos que positivos, es decir para
que sea p q, y as lo que tengamos que demostrar es que el ndice m es p.
Ejercicio 57. En las anteriores notaciones, demostrar que el mayor espacio
proyectivo contenido en QT tiene codimensin p, es decir que es un Pn p
El ejercicio consta pues de dos apartados:
a) Demostrar que existe un Pn p contenido en QT .
0
b) Demostrar que, para n0 > n, no existe ningn espacio proyectivo Pn contenido en QT .
Sugerencia para el apartado a): encontrar Pn p como interseccin de hiperplanos del tipo xi = xj y del tipo xi = 0
Sugerencia para el apartado b): encontrar un subespacio proyectivo Pp 1 de Pn
disjunto con la cudrica.
Comentario: hemos designado por "m"el ndice de una cudrica, como regla
mnemotcnica para recordar que es a la vez la codimensin del mayor espacio
proyectivo contenido en la cudrica y el nmero de signos que estn en mayora
cuando T se expresa en una base como matriz diagonal (puede ser p valores 1; y q
valores 1 en la diagonal, pero tambin, simplemente, p nmeros reales positivos y
q nmeros reales negativos, pues esto es posible mediante una simple dilatacin de
los elementos de la base).
Recordemos del captulo udricas"que dos cudricas se dicen proyectivamente
equivalentes cuando hay una proyectividad que transforma una en otra.
Ejercicio 58.
Dos cudricas de PnR son proyectivamente equivalentes si y
slo tienen mismo rango r y mismo ndice m

Sugerencia: es anlogo al ejercicio 23, en que se trataba el caso complejo.
65
Ejercicio 59. Clasicar proyectivamente las cudricas de P1R , P2R , P3R y escribir sus matrices diagonales de entradas +1,-1,0 en adecuada referencia, as como
sus ecuaciones homogneas en las correspondientes coordenadas (El profesor pondr
nombre a las clases de cudricas que encuentre el alumno)
(Sugerencia: Por el ejercicio anterior, hay tantas clases como posibles valores
de r, m, bien entendido que 0 < r n + 1 , y adems m r=2 )
Para resolver los ejercicios que siguen, recordemos del ejercicio 22 que si se da
una estructura afn An = Pn nP en el espacio proyectivo, un tensor T : V xV ! R
se expresa siempre en adecuada referencia afn con matriz de una de las tres formas
siguientes
Si r = r + 0 (tipo 0 ):
0
0
B
1
B
B
p)
:
B
B
:
B
B
:
B
B
1
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
@
Si r=r+ 1 (tipo 1):

0
0
B
1
B
B
p)
:
B
B
:
B
B
:
B
B
1
B
B
B
B
B
B
B
B
B
B
B
B 1=2
B
B
B
B
B
@
1
:
q)
:
:
1
0
:
:
:
0
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
1
1=2
1
:
q)
:
:
1
0
:
:
:
0
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
66
Si r=r+ 2 (tipo 2):

0
1
B
1
B
B
p)
:
B
B
:
B
B
:
B
B
1
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
@
1
:
q)
:
:
1
0
:
:
:
0
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
A
De hecho, en el ejercicio 22 , donde el cuerpo conmutativo K era arbitrario,

se llegaba a una matriz de una de estas tres formas con los valores no nulos ai
en la diagonal no especicados, pero como ahora suponemos
p k = R, se pueden
multiplicar los vectores bsicos !
ei de la referencia por 1= jai j a fn de que esos
valores diagonales se conviertan todos en 1 o en 1 .
En el caso r = r + 1, hemos escrito 1 en el primer elemento diagonal, pues
puede ocurrir que ese signo sea el que est en mayora en la matriz reducida, en
cuyo caso m = m + 1, o sea el que est en minora en la matriz reducida, en
cuyo caso m=m: En el caso r = r , se tiene forzosamente m = m:
En el caso
restanter = r + 2 , se puede leer directamente el valor de m , pero no el de m pues
la matriz ampliada no est en forma diagonal, por lo que har falta un ejercicio que
pruebe que de hecho m = m + 1.
Ejercicio 60.
En caso r=r + 2 , se tiene m=m +1.
(Sugerencia: La matriz es asi"diagonal. Encontrar un sencillo cambio de coordenadas afn que la haga de hecho diagonal, de modo que permita leer el valor de
m)
Ejercicio 61. Demostrar el teorema de Witt en el caso real : Dos cudricas Q,
Qen el espacio proyectivo real PnR con estructura afn An = Pn nP son anmente
equivalentes (es decir, hay una transformacin afn que transforma la una en la
otra) si y solo si son proyectivamente equivalentes , es decir tienen mismo r,m, y
las cudricas reducidas Q y Q0 (restringidas de Q y Q0en el innito P) son tambin
proyectivamente equivalentes, es decir tienen mismo r y m:
(Sugerencia: Los cuatro valores r; m; r y m determinan cul sea la matriz
cannica de la cudrica en adecuada referencia afn)
Como sugerencia comn para la solucin de los siguientes ejercicios recordemos
cules son las restricciones a las que estn sometidos los nmeros enteros positivos
r; m; r , m que clasican anmente las cudricas reales:
67
r n + 1 ; r n ; m r=2 ; m r=2;
r r y de hecho r r = 0; 1; 2; m m ;
Si r = r , entonces m = m (y la matriz cannica es de tipo 0);
Si r = r 1 , entonces m = m , o bien m = m 1 (y la matriz cannica es de
tipo 1)
Si r = r, entonces m = m 1 (y la matriz cannica es de tipo 2)
En cuanto al programa de dibujo "Supercies"desarrollado por Angel Montesinos , de la Universidad de Valencia, puede bajarlo el alumno gratuitamente de
internet con slo estos tres datos.
Ejercicio 62. Clasicar anmente las cnicas lisas reales del plano afn A2 =
P nP , o sea las cnicas con r = 3, m = 2 , y dar sus ecuaciones normales en
coordenadas anes inhomogneas Pintar esas cnicas con algn programa de dibujo.
2
Saldrn tres clases de cudricas, que el profesor nombrar como elipse, hiprbola
y parbola.
Ejercicio 63. Clasicar anmente las cudricas lisas reales no regladas del
espacio afn real A3 = P3 nP , es decir cudricas con r = 4 ,m = 3, y dar sus ecuaciones normales en coordenadas anes inhomogneas. Pintarlas con el programa
"Supercies"
Saldrn tres clases de cudricas lisas no regladas que el profesor nombrar como
elipsoide, hiperboloide y paraboloide.
Ejercicio 64. Clasicar anmente las cudricas lisas reales regladas del espacio afn real A3 = P 3 nP , es decir cudricas con r=4,m=2 y dar sus ecuaciones
normales en coordenadas anes inhomogneas . Pintarlas con el programa "Supercies"
Saldrn dos cudricas regladas que el profesor nombrar como papelera y silla
de montar.
Ejercicio 65.
Clasicar anmente los conos reales del espacio afn real
A3 = P3 nP , es decir cudricas con r = 3; m = 2, y dar sus ecuaciones normales
en coordenadas anes inhomogneas. Pintarlas con el programa "Supercies"
Saldrn cuatro clases de cudricas singulares que el profesor nombrar como
cono real, cilindro elptico, cilindro hiperblico , cilindro parablico..
Los nombres dados a las cudricas son populares y fciles de recordar. Aqu
van los nombres tcnicos de las que hemos designado por su nombre popular:
Hiperboloide: "hiperboloide de dos hojas"
Paraboloide : "paraboloide elptico"
Papelera: "hiperboloide de una hoja"
Silla de montar: "paraboloide hiperblico"
3.
Solucin del ejercicio57 Resultar ms cmodo denotar a las coordenadas

homogneas correspondientes a esa base -en modo contrario a nuestra costumbre-
68
por x1 ; :::; xn+1 (no dar lugar a equvoco, pues no hay mencin en el ejercicio de
estructura afn alguna). As pues la ecuacin de la cudrica en esta referencia es
x21 + ::: + x2p
x2p+1
:::
x2p+q = 0
y donde estamos suponiendo p q.

a) El subespacio proyectivo de Pn formado por los puntos (x1 ; :::; xn+1 ) que
satisfacen a las p ecuaciones lineales
x1 = xp+1 ; :::; xq = xp+q ; xq+1 = 0; :::; xp = 0
y por lo tanto puntos todos ellos en la cudrica, tiene dimensin por lo menos
n p (de hecho es inmediato comprobar que las ecuaciones son independientes, es
decir que el determinante de la matriz del sistema es distinto de cero, por lo que
la dimensin es de hecho n-p, pero esta comprobacin no va a ser necesaria). Esto
demuestra que existe un Pn p contenido en la cudrica.
b) Los puntos de coordenadas homogneas
(a1 ; :::; ap ; 0; :::; 0)
no estn en la cudrica, pues si se satisciera la ecuacin de la cudrica, se
tratara de las coordenadas (0; :::; 0) que no corresponden a ningn punto del espacio
proyectivo. Tales puntos forman un Pp 1 que es, pues, disjunto con la cudrica. Si
estuviera contenido en la cudrica un espacio Pn , con n
n p + 1, entonces
ese espacio debera intersecar a este Pp 1 en un espacio proyectivo de codimensin
(n n) + (n (p 1)) , o menor, es decir de dimensin n + (p 1) n 0 , o mayor,
es decir que debera intersecarlo al menos en un punto P0 , lo que es imposible.
Si una proyectividad transforma una cudrica en la otra, ambas tienen el mismo
rango, pues una proyectividad de matriz homognea C acta sobre una cudrica de
matriz homognea A dando la la cudrica de matriz homognea C t AC, y sabido es
que esta transformacin matricial conserva el rango. Como el ndice es la codimensin del mayor subespacio proyectivo de Pn contenido en la cudrica, es evidente
que es el mismo para una cudrica y para cualquier transformada de ella por una
proyectividad (pues las proyectividades transformas subespacios proyectivos de Pn
en subespacios proyectivos de igual dimensin).
Recprocamente, supongamos que dos cudricas tienen mismo r; m. Entonces
ambas se expresan, cada una en base conveniente, con misma matriz diagonal, por
tener el mismo nmeros de entradas +1; 1; 0. La transformacin lineal que lleva
una base a la otra, transforma, pues, una cudrica en la otra.
Clasicacin en P1R : los posibles valores de r; m , y sus correspondientes
matrices cannicas y ecuaciones en coordenadas homogneas son
1
r = 2; m = 2:
; x20 + x21 = 0 (no contiene espacios lineales, luego
1
no tiene puntos P0 ) PAR DE PUNTOS IMAGINARIOS
r = 2; m = 1:
1
1
; x0
69
x21 = 0 (tiene puntos P0 ) PAR DE PUNTOS
REALES
r = 1; m = 1:
1
0
; x20 = 0 (tiene puntos P0 ) PUNTO DOBLE
Clasicacin en P2R : los posibles valores de r; m , y sus correspondientes

matrices cannicas y ecuaciones en coordenadas homogneas, son los siguientes
0
1
1
A ; x20 + x21 + x22 = 0 (no contiene espacios lineales,
1
r = 3; m = 3: @
1
luego no tiene puntos P0 ) .CONICA LISA IMAGINARIA
0
1
1
A ; x20 + x21 x22 = 0 (tiene puntos P0 ) CONICA
1
r = 3; m = 2: @
1
LISA REAL
1
0
1
A ; 0 = x20 + x21 = (x0 + ix1 )(x0 ix1 ) (el mayor
1
r = 2; m = 2: @
0
espacio proyectivo real es un punto P0 ) . PAR DE RECTAS IMAGINARIAS DE
VRTICE REAL
0
1
1
A ; 0 = x20 x21 = (x0 + x1 )(x0 x1 ) (el mayor
1
r = 2; m = 1: @
0
espacio proyectivo real es una recta P1 ) . PAR DE RECTAS REALES
1
0
1
A ; x20 = 0 (el mayor espacio proyectivo real es una
0
r = 1; m = 1: @
0
recta P1 ) RECTA DOBLE
Clasicacin en P3R : los posibles valores de r; m , y sus correspondientes matrices cannicas y ecuaciones en coordenadas homogneas, son los siguientes
0
1
1
C
B
1
C ; x20 + x21 + x22 + x23 = 0 (no tiene espacios
r = 4; m = 4: B
A
@
1
1
lineales reales, luego no tiene puntos) CUDRICA LISA IMAGINARIA
0
1
1
B
C 2
1
C ; x0 + x21 + x22 x23 = 0 (los mayores espacios
r = 4; m = 3: B
@
A
1
1
lineales reales son puntos P0 ) CUDRICA LISA NO REGLADA
70
B
r = 4; m = 2: B
@
1
1
1
C
C ; x20 + x21
A
x22
x23 = 0 (los mayores
1
espacios lineales reales son rectas P1 ) CUDRICA LISA REGLADA
0
1
1
B
C
1
C ; x20 + x21 + x22 = 0 (el mayor espacio lineal
r = 3; m = 3: B
@
A
1
0
real es un punto P0 ) CONO IMAGINARIO DE VRTICE REAL
0
1
1
B
C
1
C ; x20 + x21 x22 = 0 (los mayores espacios
r = 3; m = 2 : B
@
A
1
0
lineales reales son rectas P1 ) CONO REAL
1
0
1
C
B
1
C ; 0 = x20 + x21 = (x0 + ix1 )(x0 ix1 ) (el
r = 2; m = 2: B
A
@
0
0
mayor espacio lineal real es una recta P1 .PAR DE PLANOS IMAGINARIOS DE
ARISTA REAL
1
0
1
C
B
1
C ; 0 = x20 x21 = (x0 + x1 )(x0 x1 ) (los
r = 2; m = 1: B
A
@
0
0
mayores espacios proyectivos reales son planos P2 ) PAR DE PLANOS REALES
1
0
1
C
B
0
C ; x20 = 0 (el mayor espacio proyectivo real es
r = 1; m = 1: B
A
@
0
0
un plano P2 ) PLANO DOBLE
Solucin del ejercicio 60 Con el cambio (no afn!)
x0
xr+1
xi
0
= x00 + xr+1
(donde r = p + q)
= x00
x0r+1
= x0i para todo i 6= 0; r + 1
la matriz adopta forma diagonal puesto que solo cambia el menor

a0;0
ar+1;0
a0;r+1
ar+1;r+1
0
1=2
1=2
0
que se convierte en el menor

a00;0
a0r+1;0
a00;r+1
a0r+1;r+1
1
1
71
(pues la cudrica x0 xr+1 = 0 restringida al espacio proyectivo de < !

e0 ; !
e r+1 >
se transforma, obviamente, con este cambio de coordenadas, en la cudrica 0 =
0
(x00 + xr+1
)(x00 x0r+1 ) = x02
x02
0
r+1 ) .
La matriz diagonal as obtenida tiene todos los elementos diagonales de la
matriz reducida anterior ( p elementos +1 , y q elementos 1), ms dos nuevos
elementos diagonales: +1; 1. Por tanto la mayora m de sus signos ser la mayora
m de los signos en la antigua matriz reducida, aumentada en una unidad: m = m+1:
Solucin del ejercicio 61 La transformacin afn que lleva Q a Q0 es, por

denicin, una transformacin proyectiva
f : Pn ! Pn
que conserva el innito P y por tanto restringe una transformacin proyectiva
en el innito
f :P !P
La proyectividad f transforma Q en Q0, luego Q y Q0 son proyectivamente
equivalentes, es decir tienen igual rango r, e ndice m; y la proyectividad f transforma las cudricas reducidas en el innito Q y Q0 la una en la otra, por lo que
ambas son equivalentes, es decir tienen igual rango r , e ndice m:
Recprocamente, supongamos que Q y Q0 tienen igual rango r, ndice m, rango
reducido r, ndice reducido m .
Como r; m; r, m de terminan el tipo de la matriz cannica (tipo0; 1; 2 segn que
r-r sea 0; 1; 2) y de hecho determinan la matriz cannica (pues r y m determinan
su matriz reducida) , sucede que Q y Qtienen la misma matriz cannica, cada una
en una referencia afn adecuada. Por tanto, la transformacin afn que lleva de una
referencia afn a la otra transforma una cudrica en la otra, y en consecuencia Q y
Q0 son equivalentes anes.
Solucin del ejercicio 62 Para esos valores r = 3; m = 2, los posibles valores

de r y m , y sus correspondientes matrices cannicas y ecuaciones en coordenadas
anes homogneas x0 ; x1; x2 e inhomogneas y1 ; y2 , son:
r = 2; m = 2 ( es decir que la cudrica Q restringida en el innito P es un par

de puntos imaginarios )
0
@
1
1
1
A ; x20 = x21 + x22 ; 1 = y12 + y22
ELIPSE
72
r = 2; m = 1 (es decir que Q es un par de puntos reales)

0
1
1
@
A ; x20 = x21 x22 ; 1 = y12 y22
1
HIPRBOLA
1
r = 1; m = 1 (es decir que Q es un punto doble)

0
1
1=2
@
A ; x21 + x0 x2 = 0 ; y12 + y2 = 0
1
1=2
PARBOLA
73

Para estos valores r = 4; m = 3, los posibles
valores de r y m , y sus correspondientes matrices cannicas y ecuaciones en coordenadas anes homogneas x0 ; x1; x2 ; x3 e inhomogneas y1 ; y2 ; y3 son
0
B
B
@
r = 3; m = 3 (y por tanto Q es una cnica imaginaria)

1
1
C
1
C ; x20 = x21 + x22 + x23 ; 1 = y12 + y22 + y32
A
1
1
ELIPSOIDE
74
r = 3; m = 2 (y por tanto Q es una cnica lisa real )
0
B
B
@
1
1
1
1
C
C ; x20 +x21 +x22 = x23 ; 1+y12 +y22 = y32
A
HIPERBOLOIDE
r = 2; m = 2 (y por tanto Q es un par de rectas imaginarias con vrtice

real, as pues una cnica singular, lo que signica que la cudrica Q es tangente al
innito)
0
B
B
@
1=2
1
1
1=2
C
C ; x21 +x22 +x0 x3 = 0 ; y12 +y22 +y3 = 0
A
PARABOLOIDE
75
Solucin del ejercicio64 Para estos valores r = 4; m = 2; los posibles valores

anes homogneas x0 ; x1; x2 ; x3 e inhomogneas y1 ; y2 ; y3 son
r = 3; m = 2 (es decir que Q es una cnica lisa real )
0
B
B
@
1
1
1
1
C
C ; x20 = x21 + x22
A
x23 ; 1 = y12 + y22
y32
PAPELERA
76
r = 2; m = 1 (es decir que Q es un par de rectas reales,y por tanto una cnica
singular, lo que signica que la cudrica Q es tangente al plano del innito)
0
1
0
1=2
B
C
1
B
C ; x21 x22 +x0 x3 = 0 ; y12 y22 +y3 = 0
SILLA DE MONTAR
@
A
1
1=2
0
77
Solucin del ejercicio 65 Para estos valores r = 3; m = 2, los posibles valores

anes homogneas x0 ; x1; x2 ; x3 e inhomogneas y1 ; y2 ; y3 son
r = 3; m = 2 (es decir que Q es una cnica lisa real)

0
B
B
@
0
1
1
1
C
C ; x21 + x22
A
x23 = 0 ; y12 + y22
y32 = 0
CONO
r = 2; m = 1 (es decir que la cnica Q es un par de rectas reales: el cono

tiene pues dos de sus rectas generatrices en el plano del innito, y por tanto este
plano pasa por el vrtice del cono. Como todas las rectas generatrices del cono
pasan por el vrtice y es ste un punto del innito, todas son paralelas entre s,
lo que justica que se le llame cilindro. Se le llamar de hecho cilindro hiperblico
porque las secciones planas generales de ese cono son cnicas lisas reales que cortan
en dos puntos al par de generatrices que el cono tiene en el innito, y por tanto son
cnicas con dos puntos reales en el innito, es decir, hiprbolas)
0
B
B
@
1
1
1
0
C
C ; x20 +x21 x22 = 0 ; 1+y12 y22 = 0
A
CILINDRO HIPERBLICO
78
r = 2; m = 2 (es decir que la cnica Q es un par de rectas imaginarias con

vrtice real. Es como el caso anterior, pero el plano del innito corta al cono en su
vrtice y dos rectas imaginarias que pasan por l , por lo que realmente se trata de
un plano que corta al cono en solo el vrtice. Como todas las rectas generatrices
del cono pasan por el vrtice y ste est en el plano del innito, todas ellas son
paralelas, lo que justica que se le llame cilindro. Se le llamar de hecho cilindro
elptico, porque las secciones planas generales de ese cono son cnicas lisas reales
que no tienen ningn punto real en el innito, es decir, elipses)
0
B
B
@
1
1
1
0
C
C ; x21 + x22 = x20 ; y12 + y22 = 1
A
CILINDRO ELPTICO
79
r = 1; m = 1 (es decir que la cnica Q es una recta doble: el plano del innito
es pues tangente al cono a lo largo de una de sus generatrices. En particular, contiene
al vrtice, y por tanto todas las generatrices pasan por ese mismo punto del innito,
por lo que son paralelas, lo que justique que se le llame cilindro. Se le llamar de
hecho cilindro parablico, porque las secciones planas generales de ese cono son
cnicas lisas reales que intersecan al innito en un punto doble, es decir, parbolas)
B
1
B
@ 1=2
1=2
0
0
C
C ; x21 +x0 x2 = 0 ; y12 +y2 = 0
A
CILINDRO PARABLICO
80
CAPTULO 10
Espacio eucldeo
1.
Llamaremos espacio eucldeo a un espacio afn real AnR =P(Vn+1 )nP(Vn ) -lo
que equivale a un espacio afn real AnR sobre el espacio vectorial real Vn - junto con
una cudrica Q1 de rango n e ndice n , es decir una cudrica imaginaria en el
hiperplano de innito P1 = P(Vn ), a la cual se llama udrica del absoluto". Se
trata pues de un tensor simtrico T1 : Vn Vn ! R denido salvo producto por
constante no nula, que en alguna base se expresa mediante la matriz homognea
identidad
0
1 0
1
1
B
C B
C
:
:
B
C B
C
B
C
B
C
:
:
B
C=B
C
@
A
@
A
:
:
1
n
Una referencia de P = P(Vn+1 ) , es decir base !
e0 ; !
e1 ; :::; e!
n de Vn+1 denida
salvo producto por constante no nula, se llama referencia eucldea si !
e ; :::; e! es
1
una base de Vn en la que cudrica del absoluto se expresa mediante la matriz

homognea identidad, es decir que tiene ecuacin x21 + ::: + x2n = 0 en coordenadas
homogneas eucldeas x0 ; x1 ; :::; xn -las correspondientes a una referencia euclidea.
Una anidad f : Pn ! Pn con f (P1 ) = P1 ; se llama tranformacin eucldea,
o semejanza, cuando conserva la cudrica del absoluto f (Q1 ) = Q1 ; es decir
conserva la ecuacin x21 + ::: + x2n = 0; o sea lleva referencias eucldeas a referencias
eucldeas.
Como sabemos, los puntos de P1 pueden verse como "direcciones"en AnR : Sean
dos direcciones P; Q 2 P1 y denotemos R; T los dos puntos en que la recta P Q
d
corta a la cudrica del absoluto Q1 . Denimos el ngulo P
Q formado por esas
dos direcciones como
arc cos {P; Q; R; T }
d
P
Q=
2
y decimos que esas direcciones son perpendiculares si el ngulo que forman es
=2; es decir si {P; Q; R; T }=-1
c0 de dos rectas r; r0 se dene como el ngulo que forman sus
El ngulo rr
dos direcciones P = r \ P1 y P 0 = r0 \ P1 : Se dice que dos rectas r; r0 son
perpendiculares si lo son sus direcciones, es decir si sus puntos en el innito P y
P 0 son conjugados por la cudrica del absoluto Q1 . Obviamente, una anidad es
transformacin eucldea si y solo si conserva el ngulo de cualesquiera rectas r; r0 .
81
82
10. ESPACIO EUCLDEO
En el caso del plano eucldeo -caso n = 2- la cudrica del absoluto tiene, en

referencia eucldea, matriz homognea
1
1
es decir que, en coordenadas homogneas eucldeas x0; x1 ; x2 , esta cudrica de
P11 de rango dos e ndice dos, o par de puntos imaginarios conjugados I,J "puntos cclicos del innito ", tiene ecuacin 0 = x21 + x22 = (x1 + ix2 )(x1 ix2 ) , o
equivalentemente, el par de puntos cclicos I; J se expresa como (0; 1; i) y (0; 1; i).
Comentario heurstico
(Erlangen Program de Felix Klein de clasicacin de las geometras
lineales)
Tenemos, pues, ya las nociones de espacio proyectivo, espacio afn, espacio
eucldeo, y sus correspondientes geometras: proyectiva, afn , eucldea.
La nocin estructural de la geometra proyectiva es la de razn doble de cuatro
puntos de una recta (es decir la proporcin, o razn simple, en que estaran los
tres primeros si el cuarto fuera su punto de innito -su punto en el horizonte, vista
la recta en perspectiva-), como corresponde al hecho de que las transformaciones
que conservan la su estructura -las proyectividades- sean exactamente las transformaciones que conservan la razn doble. Por supuesto, la nocin de razn doble es
equivalente a la de cuaterna armnica -si se tiene la una, se tiene fcilmente la otra
.
La nocin estructural de la geometra afn es la de razn simple de tres puntos
colineales, es decir proporcin entre dos segmentos superpuestos con igual origen
(aunque en esta geometra esos segmentos no tienen longitud, s que existe la proporcin entre sus longitudes! - la idea clave), o proporcin entre dos vectores
superpuestos !
v y!
w = !
v : Las transformaciones anes f son pues aqullas que
conservan la proporcin , es decir tales que su transformacin subyacente entre
vectores ' cumple '(!
w ) = '(!
v ): Por el teorema de Tales, la nocin de proporcin es equivalente a la de paralelismo, y sta a su vez es equivalente a que haya
un hiperplano jado en el innito, cuyos puntos son las clases de equivalencia de
rectas paralelas.
La nocin estructural de la geometra eucldea es la de ngulo (estructura que
implica la anterior: tmense como rectas paralelas las que formen ngulo cero) .
Obviamente, esta nocin equivale a la nocin de perpendicularidad, o ngulo =2
(pues la nocin de razn doble fP; P 0 ; R; T g , en la notacin de arriba, equivale a la
nocin de su armonicidad fP; P 0 ; R; T g = 1). De hecho, las tranformaciones eucldeas son exactamente las anidades del espacio eucldeo que conservan el ngulo.
A la geometra eucldea vamos a dedicar las ltimas lecciones del curso.
La nocin siguiente , y ltima en este "Erlangen Program"de clasicacin de
las geometras, es la de geometria mtrica es decir la geometra en lque hay una
nocin de distancia ( necesariamente habr de implicar la anterior nocin de perpendicularidad, pues es sabido cmo hallar la perpendicular a una recta usando
slo regla y comps -precisamente el instrumento que traza puntos equidistantes
de uno dado). Hemos dicho que en el espacio afn An sobre espacio vectorial real
Vn se da una geometra eucldea cando se da un tensor T : Vn Vn ! R denido
83
salvo constante no nula, que en algunas bases se exprese con la matriz identidad.
Pues bien, decimos ahora que en el espacio afn An sobre Vn se da una estructura
mtrica cuando se da un tensor T :Vn Vn ! R que en algunas bases -llamadas
bases ortonormales- tenga matriz identidad. La diferencia est pues en que T se da
ahora absolutamente, y no "salvo producto por una constante". Como es sabido,
se puede denir entonces la norma k!
v kde un vector !
v 2 Vn como el nmero real
p
!
!
2
T ( v ; v ) , es decir el nmero y1 + ::: + yn2 si, y1 ; :::; yn son las coordenadas del
vector!
v en una base ortonormal. La distancia d(p; q) entre dos puntos p; q del
!
!
espacio mtrico An , como el la norma q p del vector q p que hay que sumarle
al punto p para obtener q: No dedicaremos, sin embargo , ningn captulo al estudio
del espacio mtrico, porque, de hecho , toda la geometra que el alumno ha estudiado en bachillerato, desde que se le introdujeron las coordenadas cartesianas, y
en primer ao de carrera ha sido geometra mtrica. Esa geometra reaparece pues
ahora desde esas otras geometras ms abstractas, como desde un punto de vista
superior.
Debo advertir al alumno de que esta "geometra eucldea"es llamada usualmente
"geometra semejante eucldea", y de que se emplea el nombre de "geometra eucldeaomo equivalente de "geometra mtrica". Considero que esto surge de una
incomprensin de la obra de Euclides, pues quien lee crticamente los libros I a IV
de sus "Elementos", se apercibe de que no hay all propiamente nocin de distancia:
los segmentos no tienen longitud, sino que solo existe la proporcin entre longitudes
de segmentos, es decir geometra afn, con una nocin sobreaadida de perpendicularidad. Slo, pues, a la geometra limitada a estas nociones se le debera llamar
geometra eucldea, y esto haremos aqu.
Ejercicio 66. En el plano eucldeo con coordenadas homogneas eucldeas
x0 ; x1 ; x2 , y correspondientes coordenadas inhomogneas y1 ; y2 prubese que las
rectas y2 = my1 + b , y2 = m0 y1 + b0 son perpendiculares si y solo si
1
m0 =
m
Denicin. Por el ejercicio 33 podemos ver la cudrica Q1 = fI; Jg del
absoluto en el plano eucldeo como una involucin en P11 , a saber la que tiene los
puntos I = (1; i) ,J = (1; i) de coordenada completa i; i como puntos jos,
es decir la involucin 0 = 1 (cfr. ejercicio 13 y el comentario que sigue a su
enunciado) . Llamamos a sta "involucin de perpendicularidad", pues, como hemos
visto en el ejercicio anterior, asigna a cada direccin su direccin perpendicular.
Los puntos I; J del innito son pues las direcciones "perpendiculares a s mismas.o
"direcciones istropas". Una recta que tenga cualquiera de estas dos direcciones,
es decir, que pase por I o por J , es pues perpendicular a s misma: tales rectas
se llaman rectas istropas". Por cada punto nito del plano eucldeo, pasan, pues,
exactamente, dos rectas istropas.
Ejercicio 67. Demostrar que una referencia afn del plano eucldeo -y correspondientes coordenadas homogneas x0 ; x1 ; x2 e inhomogneas y1 ; y2 - es eucldea
si y solo s los dos ejes coordenados y1 = 0, y2 = 0 son perpendiculares entre s y
adems las dos diagonales y1 y2 = 0; y1 + y2 = 0 son tambin perpendiculares
entre s.
84
10. ESPACIO EUCLDEO
Observacin y denicin. En PnC no tiene sentido distinguir entre puntos

reales o imaginarios, pues un punto de coordenadas reales en una referencia, puede
tener coordenadas imaginarias en otra referencia , ya que las matrices homogneas
de cambio de referencia pueden tener elementos imaginarios. En cambio en el espacio
proyectivo real PnR (que siempre entendemos ampliado a los complejos:PnR
PnC )
s que tiene sentido distinguir entre puntos reales"e "imaginarios", segn que el
punto est en PnR , o est slo en su ampliado complejo. Dicho en trminos de
coordenadas homogneas de PnR ; tiene sentido armar que se trate de un punto
de coordenadas reales o imaginarias, pues, al ser reales todos los elementos de las
matrices homogneas de los cambios de referencia, si las coordenadas del punto son
reales en una referencia lo son en todas, y si son imaginarias en una referencia, lo
son en todas.
Asmismo se puede hablar de puntos P y P complejo-conjungados, en el sentido de que sus coordenadas (a0 ; :::; an ) y (a0 ; :::; an ) sean mutuamente complejoconjugadas, pues si esto sucede en una referencia de PnR
sucede en todas, por esta misma razn de que son reales los elementos de las
matrices homogneas de los cambios de refrencia de PnR :
Llevando estas observaciones y deniciones al espacio dual, podemos hablar de
hiperplanos reales e imaginarios (segn que lo sean sus coecientes en cualesquiera
referencias) y de hiperplanos complejo-conjugados entre s (es decir, tales que los
coecientes de sus ecuaciones a0 x0 + ::: + an xn = 0 y a0 x0 + ::: + an xn = 0 sean
complejo conjugados entre s: si esto sucede en una referencia, sucede en todas)
Ejercicio 68. a) Demostrar que la recta que une dos puntos complejos conjugados del plano proyectivo real es una recta real (ste es, por ejemplo, el caso ,
en geometra eucldea, de la recta que une los dos puntos ccliclos I = (0; 1; i) y
J = (0;1; i); a saber, la recta del innito P11 , que es una recta real)
b) Consideremos dos rectas complejas conjugadas de P2R , es decir rectas que en
coordenadas homogneas x0 ; x1 ; x2 tienen ecuaciones complejo conjugadas a0 x0 +
a1 x1 + a2 x2 = 0 ( ai 2 C) y a0 xo + a1 x1 + a2 x2 = 0 ( rectas pues, propiamente,
no de P2R , sino de su ampliacin compleja P2C ). Demostrar que el punto en que se
cortan es un punto real , es decir un punto de P2R :
Ejercicio 69. Demostrar que una cnica con centro del plano eucldeo, es
decir, una elipse o una hiprbola, tienen solo un par de dimetros que son a la
vez perpendiculares y conjugados por la cnica. Se llaman "ejes principales de la
cnica"
(Sugerencia: aplicar el ejercicio T 6.4 b))
Denicin Consideremos en el plano eucldeo una cnica lisa . Un punto nito
se llama foco de la cnica si las dos rectas istropas que pasan por l son tangentes
a la cnica.
Ejercicio 70. Consideremos en el plano eucldeo una cnica con centro, es
decir una elipse o una hiprbola.
a) Demostrar que tiene exactamente cuatro focos, dos de ellos reales Fy F , y
dos de ellos complejo conjugados G y G .
b) Demostrar que las rectas FF y GG son los ejes principales de la cnica.
c) Demostrar que por un punto general del plano pasan exactamente dos cnicas
que tienen los mismos focos que la cnica dada (se llaman cnicas confocales a ella)
3.
85
Sugerencia para b):usar

el mtodo dual para construccin de un tringulo autopolar para una cnica (introduccin a semanaT7)
Sugerencia para c): aplicar el ejercicio T 8.6 b)
2.

3.
Solucin del ejercicio 66 El punto en el innito , es decir en la recta x0 = 0;

de la recta bx0 + mx1 x2 = 0 es (0; 1; m) , es decir el punto (1; m) en las coordenadas homogneas x1 ; x2 de la recta del innito, o sea el punto cuya coordenada
completa = x2 =x1 es m (as pues la coordenada completa del punto en el innito de cualquier recta es su pendiente m . Se trata, en efecto, de una coordenada
completa, o sea susceptible de valer 1 , pues una recta puede tener pendiente 1
: es el caso de las rectas "verticales"y1 = c ) . Asmismo, el punto del innito de la
recta b00 x0 + m0 x1 x2 = 0 es (1; m0 ):
Ambos puntos son conjugados por la cudrica del innito
1 m
1
1
1
m0
=0
si y slo si 1 + mm0 = 0:
Solucin del ejercicio 67 Los puntos en el innito de las rectas x1 = 0; x2 =
0 son el punto (0; 1; 0); es decir (1; 0) en coordenadas x1 ; x2 del innito, y el punto
(0; 0; 1); es decir (0; 1). Imponer que ambas sean perpendiculares entre s equivale
a imponer que la matriz simtrica (aij ) de la cudrica Q1 = fI; Jg del innito
satisfaga
a00 a01
0
1 0
=0
a10 a11
1
es decir, tenga a01 = 0 , y por tanto tambin a10 = 0; o sea que se trate de una
matriz diagonal.
86
10. ESPACIO EUCLDEO
Los puntos en el innito de las rectas x1 x2 = 0 y x1 + x2 = 0 son

(0; 1; 1) , o sea (1; 1) , y (0; 1; 1); o sea (1; 1). Imponer que estas dos rectas sean
perpendicuales entre s , equivale a imponer
1
a00
a11
1
1
=0
es decir a00 = a11 :

a) Como tiene sentido hablar de puntos complejo-conjugados, podemos considerar la la aplicacin que lleva cada punto a su complejo-conjugado, y cuyos puntos
jos, son, pues, los puntos reales. Obviamente cada recta se transforma en esta
aplicacin en su recta complejo conjugada.
El punto P se transforma en el punto P ; y el punto P en el punto P , por lo que
la recta P P que pasa por los dos , sea la recta de ecuacn a0 x0 + a1 x1 + a2 x2 = 0 ,
se transforma en la recta que pasa por sus imgenes , es decir en ella misma. Como
la ecuacin de su transformada debe ser a0 xo + a1 x1 + a2 x2 = 0 , se tiene pues que
ai = ai ; es decir que los los coecientes ai son reales.
b) Queda probado por dualidad: como se ha probado a) para todos los planos
proyectivos reales, se ha probado en particular para el dual del plano dado. Lo que
arma el enunciado a) en el plano dual es exactamente el enunciado b) sobre el
plano original.
Solucin del ejercicio 69 Hemos visto en el ejercicio 66 que la aplicacin que

asigna a cada direccin , es decir a cada punto en el innito, su direccin perpendicular es la aplicacin 0 = 1= , expresadoaen la coordenada completa = x2 =x1
del innito. Se trata pues de una involucin de P11 , a saber la involucin de puntos
jos I ,J de coordenadas completa i , i , las dos direcciones perpendiculares a
s mismas (ya en el ejercicio 13 se advirti que la involucn 0 = 1 , de puntos
jos i , i , jugara ms tarde un papel importante:es, en el innito, la involucin
de perpendicularidad) .
El hecho de que dos direcciones D; D0 2 P11 sean conjugadas por la cnica C
equivale a que lo sean por la cudrica "par de puntos"M; N que C restringe en P11
, es decir, a que D; D0 se correspondan en la involucin que tiene como puntos jos
M; N:
Por el ejercicio 40 hay exactamente un par de puntos D; D0 que son correspondientes en ambas involuciones , la de perpendicularidad, de puntos jos I; J , y la
de conjugacin por C, de puntos jos M; N: Uniendo D; D0 con el centro Z de la
cnica C obtenemos los dos nicos dimetros d; d0 que son a la vez perpendiculares
entre s, y conjugados por la cnica.
a) Sabemos que toda recta r no tangente a una cnica la interseca tiene dos
puntos distintos P; Q de ella. Si la cnica es real , es decir con ecuacin de coecientes reales, y la recta es imaginaria, su recta complejo-conjugada r , la interseca
obviamente en puntos P ; Q complejo conjugados de los anteriores.
Dualmente, por todo punto P que no est en una cnica pasan dos rectas r; s
tangentes a ella (como recta del dual, interseca a la cnica dual en esos dos puntos).
3.
87
Y las dos rectas tangentes a la cnica que pasan por el punto complejo-conjugado
P son las rectas r; s complejo-conjugadas de las anteriores.
En particular hay dos rectas r; s que pasan por el punto cclico I y son tangentes
a una cnica con centro; y hay otras dos rectas r; s , complejo-conjugadas de r; s ,
que pasan por el punto cclico J ,complejo conjugado de I; y que son tangentes a
la cnica.
Los puntos reales F = r \ r y F 0 = s \ s son obviamente focos de la cnica
pues por cada uno de ellos pasan dos rectas tangentes a la cnica e istropas (es
decir pasando por uno de los puntos cclicos) . Por la misma razn los puntos
mutualmente complejo-conjugados G = r \ s y G0 = r \ s son focos de la cnica.
Y, obviamente,no hay ms focos.
b) Se nos pide probar
1) que ambas rectas F F 0 y GG0 son dimetros de la cnica, es decir conjugadas,
por la cnica, de P11 .
2) que ambas rectas F F 0 y GG0 son conjugadas entre s por la cnica.
3) que ambas rectas F F 0 y GG0 son perpendiculares entre s
Las tres diagonales F F 0 , GG0 ; P11 ( o centros del cuadriltero dual) del
cuadriltero completo formado por las cuatros rectas r; s; r; s tangentes a la cnica
forman un tringulo autopolar para la cnica (vase el mtodo dual de construccin
de tringulos autopolares en la introduccin al captulo "ms sobre cnicas lisas")
. Cada una de estas tres diagonales es conjugada, por la cnica, de las otras dos, lo
cual demuestra 1) y 2).
Recordemos adems, que en un cuadriltero completo, son armnicos los cuatro
puntos en que cada recta es cortada por las dems. Por tanto, los cuatro puntos
I; J; P11 \ F F 0 ; P11 \ GG0 de la recta de innito son armnicos, es decir que las
rectas F F 0 y GG0 son perpendiculares entre s.
CAPTULO 11
Ms sobre geometra eucldea

1.
Se trabajar siempre, en esta semana, en el plano eucldeo A2 = P2R n IJ (los

puntos I; J siendo complejo conjugados, y siendo, pues, real la recta IJ que ellos
expanden) . Como las parbolas son tangentes al innito en un punto real -y por
tanto distinto de los puntos ccliclos I; J - las dos tangentes a una parbola desde I
son la recta del innito P11 y otra recta r; y las dos tangentes desde J son la recta
del innito P11 y otra recta r necesariamente complejo-conjugada de la anterior.
As pues, la parbola slo tiene un foco F = r \ r , que es real
Denicin Recordemos que el centro Z de la parbola es su punto en el
ininito , y que sus dimetros son las rectas - paralelas entre s- que pasan por el
centro. Denimos ahora ms elementos en la parabola:
a) Llamamos eje e de la parbola al dimetro que pasa por el foco. El eje corta,
pues , a la parbola en el centro Z y en otro punto que llammos vrtice V de la
parbola. Denotamos t la recta tangente a la parbola en el vrtice (como e pasa
por el polo V de t, ambas e y t son conjugadas entre s por la parbola)
b) Llamamos directriz de la parbola a la recta polar de su foco.
89
90
11. M S SOBRE GEOM ETRA EUCLDEA
Ejercicio 71. a) Demostrar que y t son paralelas entre s, es decir que se

cortan en el mismo punto D de P11 .
b) Demostrar que y t son perpendiculares a e:
(Sugerencia: e y F D son rectas conjugadas por la cnica)
Ejercicio 72. Las tangentes en los dos extremos de una cuerda focal -recta
que pasa por el foco F - se encuentran perpendicularmente en un punto de .
91
( Sugerencia : utilizar el enunciado dual del ejercicio 41y el dual del teorema
de Chasles , en ejercicio 37, que arma que cuatro puntos armnicos de una cnica
lisa se unen a un quinto punto de la cnica con rectas tambin armnicas)
Denicin: Se llama crculo a una cnica lisa, real, que pasa por los puntos I; J
del innito (de ah su nombre de puntos clicos", es decir, circulares) Se trata pues
de un caso particular de elipse. Es obvio que, para una elipse, ser crculo equivale
a que sus focos F; F 0 coincidan con su centro Z:
a) Demostrar que los crculos concntricos, es decir con un mismo centro Z;
forman un haz P1R de cnicas (incluyendo, por supuesto, los crculos degenerados
en pares de rectas) .
92
(Sugerencia: cfr. el comentario que sigue al ejercicio 50 , en particular el tipo

de haces de cnicas 2,2)
b) Los crculos que pasan por dos puntos reales nitos dados forman un haz P1R
de cnicas (incluyendo los degenerados)
c) Demostrar que por tres puntos reales nitos dados , no colineales, pasa un
crculo y slo uno.
Ejercicio 73.
Dados dos puntos nitos reales P; Q , demostrar que es una
93
proyectividad la aplicacin Rad(P ) ! Rad(Q) que hace corresponder a queda recta

que pasa por P su recta perpendicular que pasa por Q .
Denicin Una recta que pasa por un punto de una cnica lisa real se dice
perpendicular o normal a la cnica en ese punto, si es perpendicular a la tangente
a la cnica en el punto.
Ejercicio 74. ("Hiprbola de Apolonio") Sea C una cnica con centro (es
decir, una elipse o una hiprbola) del espacio eucldeo y sea Z su centro. Sea P un
punto que no est en C: Vamos a demostrar que existen cuatro puntos de C en los
que sta es normal a la recta que los une con P
a) Demostrar que es una proyectividad la aplicacin Rad(Z) ! Rad(P ) que
aplica cada dimetro d en la recta d0 que pasa por P y es perpendicular a su dimetro
conjugado dc :
b) Demostrar que los cuatro puntos de interseccin de C con la cnica generada
Steiner (ejercicio T 7.4) por la proyectividad considerada en a) tienen la propiedad
requerida.Esta cnica se llama la "hiprbola de Apolonio"de la cnica dada.
c) Demostrar que las dos asntotas de la hiprbola de Apolonio son paralelas a
los dos ejes principales
(sugerencia: usar el modo en que esta cnica ha sido Steiner generada)
Proponemos ahora, como colofn, un nico ejercicio acerca del espacio mtrico
(cfr.comentario heurstico sobre el Erlangen Program de Felix Klein de clasicin de
las geometras lineales). Recordemos que el espacio mtrico es AnR = P(Vn+1 )nP(Vn )
, equipado con un producto escalar , es decir con un tensor T : V V ! R que en
alguna base de Vn se expresa con matriz
0
B
B
B
B
@
1
:
:
:
1
C
C
C
C
A
La distancia d(P; Q) entre puntos reales nitos P; Q de AnR se dene como se

indic al nal de aquel omentario heurstico".
Obviamente, en un espacio mtrico se puede hablar de rectas perpendiculares
(pues la geometra mtrica conlleva una estructura eucldea, a saber, el tensor <T>
homogneo del tensor dado T). Y se puede hablar de distancia de un punto P a
un hiperplano p (ambos nitos, reales) como su distancia d(P; P 0 ) al punto P 0 de
corte con el hiperplano p de la recta perpendicular a p que pasa por el punto P:
Ejercicio 75. a) Demostrar que, dados puntos dos F; F 0 reales y nitos de A2R
y un nmero real positivo r, estrictamente mayor que d(F; F 0 ) , el lugar geomtrico
de los puntos cuya suma de distancias a F y F 0 es r es una elipse de focos reales
F; F 0 :
b) Demostrar que, dados puntos dos F; F 0 reales y nitos de A2R y un nmero
real positivo r, estrictamente menor que d(F; F 0 ) , el lugar geomtrico de los puntos
cuya diferencia de distancias a F y F 0 es r es una hiprbola de focos reales F; F 0 :
94
c) Demostrar que el lugar geomtrico de los puntos de A2R que equidistan de un

punto nito real F y de una recta nita real exterior a l es una parbola de foco
F y directriz :
2.

a) Tanto el polo V de la directriz como el polo F de t estn en el eje, luego
ambas rectas y t son conjugudas del eje, y por lo tanto pasan por su polo D, que
es un punto de la recta del innito, ya que el innito es conjugado del eje (pues el
polo Z de la recta del innito est en el eje)
b) Las cuatro rectas F I; F J; t; P11 dan lugar a un cuadriltero completo en el
cual cada recta est cortada por el resto de las rectas de la construccin en cuatro
puntos que son armnicos. En el caso de P11 estos cuatro puntos son I; J; D; Z y en
consecuencia D; Z -las direcciones de t y e -son direcciones perpendiculares entre
s.
Solucin del ejercicio 72. La cuerda focal pasa por el polo F de la directriz
, es decir que es conjugada de ella , y por tanto su polo -el punto de corte P de las
tangentes en sus extremos - est en ella.
Como la directriz y la cuerda focal son conjugadas entre s, stas cortan a la

cnica en cuatro puntos que son armnicos entre s (enunciado dual del ejercicio
41) , y por tanto las tangentes a la cnica en esos cuatro puntos cortan a cualquier
quinta tangente -en particular a P11 - en cuatro puntos que son armnicos entre s
(enunciado dual del teorema de Chasles , cfr. ejercicio 37) Dos de ellos son los puntos
cclicos I; J y los otros dos son las direcciones de las tangentes en los extremos de
la cuerda focal. Luego esas direcciones son, en efecto, perpendiculares entre s.
Solucin T 11.3
a) Sea Z el centro comn de todos esos crculos, es decir que esos crculos son
las cnicas que pasan por I y J y son tangentes en I a la recta IZ y en J a la
recta JZ
95
En el comentario al ejercicio 50 e) vimos que las cnicas que pasan por dos
puntos distintos con tangentes prejadas, es decir por dos puntos confundidos y
otros dos puntos confundidos (cuatro puntos en total, confundidos dos a dos) forman
un haz P1 de cnicas, del tipo que llamamos 2,2.
b) Se trata del haz de cnicas que pasan por los dos puntos dados y por I; J :
cuatro puntos en total.
c) Se trata de la cnica que pasa por cinco puntos: los tres dados y los puntos
cclicos I; J:
Solucin del ejercicio 73 . Sabemos que la aplicacin ?: P11 ! P11 que
hace corresponder a cada direccin en el innito su direccin perpendicular es una
involucin (de puntos jos I; J ). Por otra parte, la aplicacin fP : Rad(P ) ! P11
que hace corresponder a cada recta que pasa por P su direccin en el innito
es una proyectividad. La aplicacin mencionada en el enunciado es claramente la
composicin fQ 1 ? fP de tres proyectividades y por tanto es una proyectividad.
a) La aplicacin ' que hace corresponder a cada direccin D su direccin conjugada por la cnica C , es una involucin (a saber, la asociada a la cudrica fM; N g
que C restringe en el innito) .
Como la aplicacin natural f : Rad(Z) ! P11 es una proyectividad, la aplicacin c : Rad(Z) ! Rad(Z) que hace corresponder a cada dimetro d su dimetro
conjugado dc es tambin una proyectividad (de hecho, una involucin) pues es
f 1 ' f:
La aplicacin Rad(Z) ! Rad(Q) considerada en el enunciado es la composicin
de c con la aplicacin considerad en el ejercicio anterior, ambas proyectividades, y
por tanto ella misma una proyectividad.
b) Para un punto A de interseccin de la cnica dada con la cnica generada
Steiner por la aplicacin de a) se tiene que la recta AQ es ortogonal al dimetro dc
conjugado del dimetro d = ZA . La tangente a la cnica en el punto A es paralela
al dimetro conjugado dc y por tanto es tambin perpendicular a la recta AQ:
96
c) Sea P es un punto de corte de P11 con la hiprbola de Apolonio de la cnica

dada , es decir con la cnica generada Steiner por la proyectividad considerada en
a). El punto P de innito est pues a la vez en el dimetro d = ZP y en la recta
P Q perpendicular a su dimetro conjugado dc , y por tanto ambos d y P Q son
paralelos.Como P Q es perpendicular a dc se sigue que tambin d es perpendicular
a dc . Luego d y d c son los ejes principales.
As pues, el punto de innito P est sobre un eje principal , que es por tanto
paralelo a cualquier recta que pase por P; en particular a la asntota de la hiprbola
de Apolonio tangente a ella en el punto P:
Solucin del ejercicio 75 (esencialmente, lo dejo sin hacer. Es un ejercicio de
bachillerato. Ya pondr la solucin otro da en que est menos cansado. Y adems lo
ampliar proponiendo probar que el lugar de los puntos que equidistan de un punto
del plano es una circunferencia, es decir, una cnica que pasa por los puntos I; J)
Tomemos referencia ortonormal -y correspondientes coordenadas y1 , y2 - de modo
que el eje de abcisas y2 = 0 sea la recta el eje de ordenadas y1 = 0 , y el origen
(0; 0) sea su punto medio.Por tanto el eje de ordenadas y1 = 0 es la perpendicular
a F F 0 en el punto medio entre F y F 0 Si a > 0 es la distancia de F; F 0 al origen,
se tiene F = ( a; 0); F 0 = (0; a):
p
2
2
p Los puntos P = (y1 ; y2 ) tales que la suma de sus distancias (y1 + a) + y2 ,
(y1 a)2 + y22 a los puntos F; F 0 es r son los que satisfacen la ecuacin en coordenadas inhomogneas y1 ; y2 que en coordenadas homgeneas x0 ; x1 ; x2 es ecuacin
homgenea que fcilmente se comprueba ser la de una elipse. Anlogamente se
resuelven los otros ejercicios.

Proyectividad y Ejercicios

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Proyectividad y Ejercicios

Cargado por

Copyright:

Formatos disponibles

Geometra proyectiva para enseanza

Captulo 1. El espacio proyectivo

Captulo 2. Geometra en la recta proyectiva

1. Enunciados de los ejercicios

Captulo 6. Consecuencias del Teorema de Chasles

Ms sobre cnicas lisas

1. Enunciados de los ejercicios

2. Solucin de los ejercicios

1. Enunciados de los ejercicios

Captulo 9. Clasicacin de cudricas reales

3. Soluciones de los ejercicios

Enunciados de los ejercicios

1.1. Motivacin heurstica del espacio proyectivo. El espacio afn no

1.2. Denicin de espacio proyectivo. Sea V un espacio vectorial sobre

asociado a V es el conjunto de sus rayos, es decir, de sus subespacios vectoriales

1. ENUNCIADOS DE LOS EJERCICIOS

donde X es la columna de coordenadas homogneas de un punto de P , X

ecuacin en la que, obviamente, los coecientes ao ; :::; an estn denidos salvo

de puntos nitos se le llama espacio an (porque es de hecho un espacio an

de coordenadas homogneas en Pn , es decir de coordenadas x0 ; :::; xn de V

an0 x0 + an1 x1 + ::: + ann xn

1. ENUNCIADOS DE LOS EJERCICIOS

a00 + a11 y1 + ::: + a1n yn

an0 + an1 y1 + ::: + ann yn

que es exactamente la expresin del cambio de coordenadas anes vista en el

puede ser entendida tambin como ecuacin del hiperplano Pn 1 dentro de Pn ; y

a00 x20 + a11 x21 + a22 x22 + a01 x0 x1 + a02 x0 x2 + a12 x1 x2 = 0

en las variables homogneas x0 ; x1 :x2 .

de un hiperplano del espacio proyectivo se convierte en

a00 x20 + a11 x21 + a22 x22 + a01 x0 x1 + a02 x0 x2 + a12 x1 x2

= a00 + a11 y12 + a22 y22 + a01 y12 + a02 y2 + a12 y1 y2

Soluciones de los ejercicios

Geometra en la recta proyectiva

Enunciados de los ejercicios

En esta lista de ejercicios se supondr siempre como marco de trabajo la recta

Ejercicio 2. Demostrar que esta denicin de razn doble no depende del

A un punto de coordenadas homogneas x0 ; x1 se le asocia la coordenada

2. GEOM ETRA EN LA RECTA PROYECTIVA

Ejercicio 3. a) Probar que

Ejercicio 6. Sea fA1 ; A2 ; A3 ; A4 g = . Como aplicacin de los dos ejercicios

1. ENUNCIADOS DE LOS EJERCICIOS

(donde las coordenadas prima signican coordenadas del punto imagen) ,

2. GEOM ETRA EN LA RECTA PROYECTIVA

(Sugerencia: Expresar la ecuacin 1.7 en general, y aplicada a los dos puntos

Soluciones de los ejercicios

Solo escribir aquellas soluciones que no sean meras computaciones.

Por tanto el determinante de

Solucin del ejercicio 3 . Tomando para los puntos Ai nitos coordenadas

y para el punto del innito coordenadas (0,1), tenemos

2. SOLUCIONES DE LOS EJERCICIOS

Solucin del ejercicio 4 . Si se usa el ejercicio 1.3 la solucin es puramente

= ; y por tanto ser raz

que, si a 6= 0 tiene exactamente dos soluciones, aunque puede tratarse de una

Si = 1 es solucin de ella, claramente a=0. Reciprocamente, si a=0, entonces

Solucin del ejercicio 11 . Tomemos una referencia en la que los puntos

2. GEOM ETRA EN LA RECTA PROYECTIVA

A1 ;A2 ;A3 tengan coordenada nita 1 ; 2 ; 3 y los puntos A 1 ;A 2 ;A 3 tengan

Desarrollando esta expresin queda una ecuacin cuadrtica en ;

Solucin del ejercicio 12 . La condicin de existencia de una involucin

, es decir la existencia de a,b,c tales que

equivale a la anulacin del determinante de este sistema de ecuaciones de variables a,b,c

= 1 la satisfaga equivale a que b=0

Solucin del ejercicio 14 . En el ejercicio 11 vimos que haba una nica

Enunciado de los ejercicios