"Coneso francamente que nunca he sentido gusto por el estudio o la investigacin

en fsica o en geometra, a no ser que pudiera servir como medio de llegar a algn tipo
de conocimiento de las causas prximas...para el bien y la comodidad de la vida, el
mantenimiento de la salud, la prctica de algn arte...pues he observado que una buena
parte de las artes se basa en la geometra, como el de tallar la piedra en arquitectura,
el de los relojes de sol, y el de la perspectiva en particular."
Girard Desargues
1 Espacio Proyectivo
1.1 Deniciones
Sea \ un espacio vectorial.
Se llama espacio proyectivo y se denota P(\ ) al conjunto de rectas vecto-
riales de \ .
Cada recta vectorial se llama punto proyectivo.
Se llama dimensin del espacio proyectivo a dimP(\ ) = dim\ 1.
El espacio proyectivo se puede denir de modo alternativo como las clases de
equivalencia de vectores no nulos de \ con la siguiente relacin de equivalencia:
est relacionado con n si y slo si existe ` ,= 0, = ` n.
En particular, llamamos plano proyectivo real y se denota P
2
al conjunto de
rectas vectoriales de R
3
; esto es
P
2
= P(R
3
) = < [ R
3
.
Y llamamos espacio proyectivo real y se denota P
3
al conjunto de rectas vecto-
riales de R
4
; esto es
P
3
= P(R
4
) = < [ R
4
.
1.2 Coordenadas homogneas
Sea P(\ ) un espacio proyectivo. Se dice que una familia de puntos <
1

, ..., <
r
de P(\ ) generan el espacio proyectivo P(\ ) si la familia de vectores

1
, ...,
r
generan el espacio vectorial \ .
Sea P(\ ) un espacio proyectivo. Se dice que los puntos <
1
, ..., <
r

de P(\ ) son proyectivamente independientes si los vectores
1
, ...,
r
de \ son
linealmente independientes.
Ejemplo. Consideremos P
2
= P(R
3
), entonces una familia generadora e
independiente de puntos de P
2
= P(R
3
) est formada por tres puntos A
1
=<

1
, A
2
=<
2
y A
3
=<
3
de manera que los tres vectores
1
,
2
y
3
son linealmente independientes.
1
Y un punto A =< n P
2
se expresa de modo nico como sigue:
n = c
1

1
+c
2

2
+c
3

3
,
y las coordenadas de A seran (c
1
, c
2
, c
3
).
Si elegimos el representante ` n de A, pues A =< ` n P
2
entonces
` n = `c
1

1
+`c
2

2
+`c
3

3
,
y las coordenadas de A seran (`c
1
, `c
2
, `c
3
). Como las coordenadas son nicas
vamos a identicar
(c
1
, c
2
, c
3
) con (`c
1
, `c
2
, `c
3
) para ` ,= 0
y llamamos coordenadas homogneas del punto A a la clase [c
1
, c
2
, c
3
]; esto es,
[c
1
, c
2
, c
3
] = (`c
1
, `c
2
, `c
3
), con ` ,= 0.
1.3 Relacin entre el espacio afn y el proyectivo
Sea A un espacio afn con espacio vectorial asociado R
n
. Los puntos A A los
podemos ver como puntos de P(R
n+1
) de la siguiente manera:
A P(R
n+1
)
A < (1, A) .
Si = O, 1 es un sistema de referencia de A y (r
1
, ..., r
n
) son las coordenadas
de A A entonces
A P(R
n+1
)
(r
1
, ..., r
n
) < (1, r
1
, ..., r
n
) .
A los puntos de P(R
n+1
) que no son de la forma < (1, r
1
, ..., r
n
) se les
denomina puntos del innito o puntos impropios. Los puntos impropios son
de la forma < (0, r
1
, ..., r
n
) por tanto, estn en le hiperplano proyectivo de
ecuacin r
0
= 0.
Denicin. Sea A
n
un espacio afn con espacio vectorial asociado R
n
con
sistema de referencia = O, 1. Se llama espacio afn proyectivizado y se
denota A
n
al conjunto formado por todos los puntos de A
n
junto con los puntos
del innito de A
n
; esto es,
A
n
= A
n
' (0, r
1
, r
2
, ..., r
n
) [ r
i
R.
Identicamos A
n
con P(R
n+1
) de la siguiente manera:
A
n
P(R
n+1
)
(1,
r
1
r
0
, ...,
r
n
r
0
) [(r
0
, r
1
, ..., r
n
)], (r
0
,= 0) puntos propios de P(R
n+1
)
(0, r
1
, ..., r
n
) [(0, r
1
, ..., r
n
)], (r
0
= 0) puntos impropios de P(R
n+1
)
2
1.4 Ecuaciones de las rectas del plano proyectivo
Sea P
2
el plano proyectivo real.
Dados dos puntos independientes 1, Q P
2
, se tiene 1 =< y Q =< n
con , n R
3
vectores linealmente independientes, la recta r que contiene a 1
y Q es
r = < ` +j n [ (`, j) ,= (0, 0).
Si los puntos 1 y Q tienen las siguientes coordenadas homogneas:
1 = [(j
0
, j
1
, j
2
)], Q = [(
0
,
1
,
2
)]
entonces se tiene que un punto A pertenece a la recta r si y slo si sus coorde-
nadas [(r
0
, r
1
, r
2
)] cumplen las siguientes ecuaciones
_
_
_
cr
0
= `j
0
+j
0
cr
1
= `j
1
+j
1
cr
2
= `j
2
+j
2
, (c, `, j) ,= (0, 0, 0)
que se llaman ecuaciones paramtricas de la recta r del plano proyectivo P
2
.
Equivalentemente el punto A = [(r
0
, r
1
, r
2
)] pertenece en la recta r del
plano proyectivo P
2
si y slo si
a
0
r
0
+a
1
r
1
+a
2
r
2
= 0
que es la ecuacin cartesiana de la recta que se obtiene al imponer que el
siguiente determinante se anule:
0 =

r
0
j
0

0
r
1
j
1

1
r
2
j
2

2

.
1.4.1 Relacin entre las rectas del plano afn real y del plano proyec-
tivo.
Sea A
2
el plano afn con referencia = O, 1 y sea la recta r del plano afn A
2
con ecuacin a
0
+a
1
r
1
+a
2
r
2
= 0. Sean 1 = (j
1
, j
2
) y Q = (
1
,
2
) dos puntos
de la recta, entonces los puntos del plano proyectivo [(1, j
1
, j
2
)], [(1,
1
,
2
)]
determinan una recta r del plano proyectivo P
2
con ecuacin a
0
r
0
+a
1
r
1
+a
2
r
2
=
0 que se llama la recta de P
2
asociada a la recta afn r.
Recprocamente, dada una recta r del plano proyectivo P
2
con ecuacin
a
0
r
0
+ a
1
r
1
+ a
2
r
2
= 0. Si j
0
,= 0, entonces el punto del plano afn
_
p1
p0
,
p2
p0
_
est en la recta r del plano afn A
2
de ecuacin:
a
0
+a
1
r
1
+a
2
r
2
= 0.
Denicin. La recta que une dos puntos propios de P
2
se dice que es una
recta propia de P
2
.
3
Toda recta propia, a
0
r
0
+a
1
r
1
+a
2
r
2
= 0, determina un punto del innito
o impropio [0, a
2
, a
1
] donde (a
2
, a
1
) es el vector director de la recta r del
plano afn A
2
de ecuacin a
0
+a
1
r
1
+a
2
r
2
= 0.
Denicin. La recta que une dos puntos impropios de P
2
se dice que es una
recta impropia de P
2
y tiene ecuacin r
0
= 0.
1.5 Ecuaciones de subespacios proyectivos de P
3
Sea P
3
el espacio proyectivo real tridimensional.
1.5.1 Rectas en P
3
Sean 1, Q dos puntos independientes de P
3
. Por tanto, 1 =< y Q =< n
con , n R
4
vectores linealmente independientes. La recta r que contiene a 1
y Q es
r = < ` +j n [ (`, j) ,= (0, 0).
Si los puntos 1 y Q tienen las siguientes coordenadas homogneas:
1 = [(j
0
, j
1
, j
2
, j
3
)], Q = [(
0
,
1
,
2
,
3
)]
entonces se tiene que un punto A = [(r
0
, r
1
, r
2
, r
3
)] pertenece a la recta r si y
slo si sus coordenadas cumplen las siguientes ecuaciones
_

_
cr
0
= `j
0
+j
0
cr
1
= `j
1
+j
1
cr
2
= `j
2
+j
2
cr
3
= `j
3
+j
3
, (c, `, j) ,= (0, 0, 0)
que se llaman ecuaciones paramtricas de la recta r del espacio proyectivo P
3
.
Equivalentemente el punto A = [(r
0
, r
1
, r
2
, r
3
)] pertenece en la recta r del
espacio proyectivo P
3
si y slo si
rg
_
_
_
_
r
0
j
0

0
r
1
j
1

1
r
2
j
2

2
r
3
j
3

3
_
_
_
_
= 2,
de donde se obtienen las dos ecuaciones cartesianas de la recta.
Denicin. La recta que une dos puntos propios de P
3
se dice que es una
recta propia de P
3
. Y sus ecuaciones son las ecuaciones homogneas de una
recta afn.
Denicin. La recta que une dos puntos impropios de P
3
se dice que es una
recta impropia de P
3
.
Observacin. En P
3
hay innitas rectas impropias.
4
1.5.2 Planos en P
3
Dados tres puntos 1 =< , Q =< n y 1 =< n de P
3
independientes, el
plano que contiene a 1, Q y 1 es
= < ` +j n +n [ (`, j, ) ,= (0, 0, 0).
Si los puntos 1, Q y 1 tienen las siguientes coordenadas homogneas:
1 = [(j
0
, j
1
, j
2
, j
3
)]
Q = [(
0
,
1
,
2
,
3
)]
1 = [(r
0
, r
1
, r
2
, r
3
)]
entonces se tiene que un punto A = [(r
0
, r
1
, r
2
, r
3
)] pertenece al plano del
espacio proyectivo P
3
si y slo si sus coordenadas cumple las siguientes ecua-
ciones _

_
cr
0
= `j
0
+j
0
+r
0
cr
1
= `j
1
+j
1
+r
1
cr
2
= `j
2
+j
2
+r
2
cr
3
= `j
3
+j
3
+r
3
, (c, `, j, ) ,= (0, 0, 0, 0)
que se llaman ecuaciones paramtricas del plano del espacio proyectivo P
3
.
Equivalentemente el punto A = [(r
0
, r
1
, r
2
, r
3
)] pertenece al plano del
espacio proyectivo P
3
si y slo si
a
0
r
0
+a
1
r
1
+a
2
r
2
+a
3
r
3
= 0,
que es la ecuacin cartesiana del plano que se obtiene al imponer que el siguiente
determinante se anule:
0 =

r
0
j
0

0
r
0
r
1
j
1

1
r
1
r
2
j
2

2
r
2
r
3
j
3

3
r
3

.
Observaciones.
Tres puntos propios determinan un plano propio de P
3
. Y su ecuacin es la
ecuacin homognea de un plano afn.
Tres puntos impropios determinan un plano propio de P
3
que tiene por
ecuacin cartesiana la ecuacin r
0
= 0.
Todo plano propio determina una recta impropia. Y toda recta impropia
est contenida en el plano impropio r
0
= 0.
1.6 Razn doble
Teorema. Si cuatro puntos alineados , 1, C, 1, se proyectan desde un vrtice
\ en cuatro puntos alineados
0
, 1
0
, C
0
, 1
0
, entonces las siguientes razones son
iguales:
AC
CB
AD
DB
=
A
0
C
0
C
0
B
0
A
0
D
0
D
0
B
0
.
5
Observacin. Por tanto la razn
AC
CB
:
AD
DB
se mantiene invariante por proyec-
ciones.
Denicin. Sean , 1, C, 1 cuatro puntos alineados. Entonces la razn
doble , 1; C, 1 del par ordenado (C, 1) con respecto al par ordenado (, 1)
es
, 1; C, 1 =
C
1C
:
1
11
Un caso especial importante ocurre cuando el valor de la razn doble , 1; C, 1
es 1. En ese caso, C y 1 divide el segmento 1 interna y externamente en
la misma proporcin y se dice que los pares de puntos (, 1) y (C, 1) son con-
jugados armnicos uno con respecto al otro. Si, en particular, C y 1 divide
1 divide interna y externamente en la razn 1 : 1, entonces uno de ellos es el
punto medio del segmento 1 y el otro es el punto del innito de la recta que
une y 1.
1.7 Cuadrngulo completo
Consideremos ahora cuatro puntos , 1, C, 1 en el plano de manera que no
haya cuatro de ellos alineados. Tambin se obtiene en este caso una congu-
racin interesante conocida como cuadrngulo completo. Los puntos , 1, C, 1
se pueden unir en pares de tres maneras diferentes (1, C1), (C, 11) y
(1, 1C). Cada par de lados opuestos tiene un punto de interseccin A, 1, 7,
llamados los vrtices del tringulo diagonal del cuadriltero.
6
2 Cnicas
Denicin. Una cnica

C en P
2
(R
3
) es el conjunto de puntos cuyas coordendas
en cierta referencia satisfacen una ecuacin homognea de grado 2:
0 =
2

i=0
2

j=0
a
ij
r
i
r
j
= a
00
r
2
0
+a
11
r
2
1
+a
22
r
2
2
+a
01
r
0
r
1
+a
10
r
1
r
0
+a
02
r
0
r
2
+a
20
r
2
r
0
+a
12
r
1
r
2
+a
21
r
2
r
1
.
Y se dice que es propia o degenerada si es o no irreducible.
Por ejemplo,

C
1
= r
2
0
+ 2r
2
1
+ 3r
1
r
2
= 0 es una cnica propia pues el
polinomio homogneo de grado 2, r
2
0
+ 2r
2
1
+ 3r
1
r
2
= 0 es irreducible (no se
puede poner como producto de dos polinomios de grado 1). Sin embargo, la
cnica C
2
= r
2
0
4r
2
1
= 0 es degenerada pues r
2
0
4r
2
1
= (r
0
2r
1
)(r
0
+ 2r
1
);
esto es la cnica C
2
son dos rectas que se cruzan. Finalmente, la cnica

C
3
=
(r
0
+ 2r
1
+ 3r
2
)
2
= 0 es degenerada. La cnica C
3
es una recta doble.
Usando notacin matricial, la ecuacin de la cnica

C =
2

i=0
2

j=0
a
ij
r
i
r
j
= 0
se puede escribir como sigue

C = A
T
A = 0,
donde
=
_
_
a
00
a
01
a
02
a
01
a
11
a
12
a
02
a
12
a
22
_
_
esto es,
A

C ==A
T
A = 0.
Ms formalmente,
Denicin. Dada una forma cuadrtica .: R
3
R. La cnica proyectiva
denida por . es el conjunto de puntos A P
2
(R
3
), donde se anula .; esto es,

C = A P
2
(R
3
) [ .(A) = 0.
Y la cnica afn denida por . es el conjunto de puntos A A
2
,
~
A = (1, r
1
, r
2
),
donde se anula .; esto es,
C = A A
2
[ .(
~
A) = 0.
Se tiene C

C.
Recuerdo.
Denicin. Una forma cuadrtica .: R
3
R es una aplicacin tal que
existe una forma bilineal ) : R
3
R
3
R con .() = )(, ), para todo
R
3
.
Resultado. Dada una forma cuadrtica . existe una forma bilineal ) tal que:
7
1. ) es simtrica (esto es, )(n, ) = )(, n))
2. la forma cuadrtica asociada a ) es .
3. ) es nica.
A la nica forma bilineal simtrica ) cuya forma cuadrtica es . la llamamos
la forma polar de ..
La forma polar de una forma cuadrtica . viene dada como sigue:
)(n, ) =
1
2
(.(n +) .(n) .()).
Se tiene:
.(A) = )(A, A).
2.1 Puntos singulares
Denicin. Sea

C una cnica proyectiva generada por una forma cuadrtica .,
con forma polar ) y matriz asociada .
Se dice que dos puntos 1, Q P
2
son conjugados si )(1, Q) = 0.
Se dice que un punto 1 P
2
es un punto autoconjugado si .(1) =
)(1, 1) = 0.
Se dice que un punto 1 P
2
es un punto singular de

C si es conjudado
con cualquier punto de P
2
; esto es, )(1, Q) = 0 para todo punto Q P
2
.
Esto es, si
)(1, Q) = 1
T
Q = 0, \Q P
2
,
o equivalentemente,
1
T
= 0.
Se dice que un punto 1 P
2
es un punto regular de

C si no es un punto
singular.
La cnica

C es no degenerada, regular u ordinaria si no tiene puntos
singulares.
La cnica

C es degenerada singular si tiene algn punto singular.
Observaciones: Sea

C una cnica proyectiva generada por una forma cuadrtica
., con forma polar ) y matriz asociada .
1. Sea Sing(

C) el conjunto de puntos singulares de

C; esto es,
Sing(

C) = A P
2
[ )(A, 1 ) = 0, para todo 1 P
2

= A P
2
[ A = 0.
Se tiene
dim(Sing(

C)) = 2 rg().
8
2. Si A P
2
es un punto singular, entonces A

C.
Demostracin. Tenemos que comprobar que .(A) = 0. Se tiene .(A) =
)(A, A) = 0 pues A es conjugado con cualquier punto, en particular con
l mismo.
3. La recta determinada por un punto singular A y un punto cualquiera de
la cnica, 1

C, est contenida en la cnica.
Demostracin. Como A es singular sabemos que .(A) = 0 y )(A, 1 ) = 0
y como 1 pertenece a la cnica .(1 ) = 0. Un punto cualquiera de la
recta determinada por A e 1 es de la forma 7 = `A +j1 . Tenemos que
comprobar que .(7) = 0. Se tiene:
.(7) = .(`A +j1 ) = )(`A +j1, `A +j1 )
= )(`A, `A +j1 ) +)(j1, `A +j1 )
= )(`A, `A) +)(`A, j1 ) +)(j1, `A) +)(j1, j1 )
= `
2
)(A, A) + 2`j)(A, 1 ) +j
2
)(1, 1 )
= `
2
.(A)
. .
0
+ 2`j)(A, 1 )
. .
0
+j
2
.(1 )
. .
0
= 0.
4. La recta formada por dos puntos singulares tiene todos sus puntos singu-
lares.
Demostracin. Sea 7 = `A+j1 un punto cualquiera de la recta formada
por dos puntos singulares A e 1 . Tenemos que comprobar que )(7, T) =
0, para todo T P
2
. Tenemos:
)(7, T) = )(`A +j1, T)
= )(`A, T) +)(j1, T)
= `)(A, T)
. .
0
+j)(1, T)
. .
= 0.
0
5. Si la cnica

C contiene un punto singular, entonces

C est formada por
rectas que pasan por ese punto.
2.2 Polaridad denida por una cnica
Sea

C una cnica con forma polar ) y matriz asociada . Sea 1 P
2
, llamamos
variedad polar de 1 respecto de la cnica

C al conjunto de puntos conjugados
de 1; esto es ,
\
P
= A P
2
[ )(1, A) = 0.
Si 1 es un punto singular, entonces \
P
= P
2
.
Si 1 no es un punto singular, entonces \
P
es una recta que denotamos r
P
y llamamos recta polar de 1 respecto de la cnica

C. Por tanto, la recta polar
de un punto 1 P
2
no singular es el conjunto de puntos conjugados con 1.
9
2.2.1 Ecuacin de la recta polar
Si 1 es un punto no singular con coordenadas [(j
0
, j
1
, j
2
)] y la matriz asociada
a la cnica es
=
_
_
a
00
a
01
a
02
a
01
a
11
a
12
a
02
a
12
a
22
_
_
entonces
r
P
= A P
2
[ 1
T
A = 0,
esto es,
0 = 1
T
A = (j
0
, j
1
, j
2
)
_
_
a
00
a
01
a
02
a
01
a
11
a
12
a
02
a
12
a
22
_
_
_
_
r
0
r
1
r
2
_
_
= (j
0
a
00
+j
1
a
01
+j
2
a
02
)r
0
+ (j
0
a
01
+j
1
a
11
+j
2
a
12
)r
1
+ (j
0
a
02
+j
1
a
12
+j
2
a
22
)r
2
.
2.2.2 Construccin geomtrica de la recta polar
Dados la cnica

C y un punto 1 P
2
no singular, vamos a obtener la recta
polar de 1 respecto de la cnica

C.
Primero, tomamos dos rectas r, : desde 1 que corten a la cnica en cuatro
puntos: 1
1
, 1
2
,o
1
, o
2
.
La recta polar de 1 respecto de

C es la recta de cuartos armnicos de 1
respecto de los pares de puntos de interseccin; esto es, los puntos A tales que
1, A; 1
1
, 1
2
= 1.
Para obtener los cuartos armnicos, construimos el cuadrngulo completo;
esto es, construimos
1. las rectas diagonales del cuadriltero 1
1
1
2
o
1
o
2
: rectas 1
1
o
1
, 1
2
o
2
, 1
1
o
2
y 1
2
o
1
,
2. consideramos los puntos de interseccin. A = 1
1
o
1
1
2
o
2
, 1 = 1
1
o
2

1
2
o
1
.
La polar de 1 respecto de

C es la recta A1 .
10
2.2.3 Polo de una recta respecto a una cnica

C
Denicin. Dada una recta r del plano proyectivo P
2
, llamamos polo de la recta
r respecto de la cnica

C al punto cuya recta polar es r; esto es, r
P
= r.
Si la ecuacin de la recta r es
r = n
0
r
0
+n
1
r
1
+n
2
r
2
= l
T
A = 0,
con l = (n
0
, n
1
, n
2
) y A = (r
0
, r
1
, r
2
),
entonces r
P
= r si y slo si
1
T
A = l
T
A, para todo A P
2
equivalentemente,
1
T
= l
T
==1 = l.
Y si la cnica

C no es degenerada (por tanto, det ,= 0), entonces 1 =
1
l.
Teorema. Si la polar de un punto Q pasa por un punto 1, entonces la polar
de 1 pasa por el punto Q.
Esto es debido a que la condicin de conjugacin )(1; Q) = 0, es simtrica
en 1 y Q.
Teorema. Si , 1, C, 1 son cuatro puntos en una cnica

C, entonces el
tringulo diagonal (tringulo con vrtices 1, A, 1 , en el dibujo) del cuadrngulo
1C1, es autopolar para

C. Esto es, la recta que une A1 es la recta polar de
1 , la recta que une 11 es la recta polar de A, y la recta A1 es la recta polar
de 1.
2.2.4 Polaridad denida por una cnica
Como hemos visto, dada una cnica

C a cada punto 1 no singular se le asigna
una recta (su recta polar) y recprocamente, a cada recta r se le asigna un punto
(su polo).
Denicin. Se llama polaridad denida por una cnica

C a la aplicacin que
a cada punto no singular de

C le hace corresponder su recta polar. Esto es,
P
2
Sing(

C) Rectas de P
2
1 r
P
11
Teorema de la polaridad denida por una cnica regular.
Las rectas polares de los puntos de una recta r de P
2
, respecto de una cnica
regular

C, pasan todas por un mismo punto que es precisamente el polo de r.
2.3 Interseccin de recta y cnica
Sea

C una cnica proyectiva con forma polar ) y matriz asociada y sea r una
recta proyectiva que contiene a los puntos 1 = [(j
0
, j
1
, j
2
)] y Q = [(
0
,
1
,
2
)].
Un punto A P
2
est en la interseccin de la cnica y la recta si y slo si:
_
A r
A

C
==
_
A = `1 +jQ
.(A) = 0
==
_
A = `1 +jQ
.(`1 +jQ) = 0
La condicin .(`1 +jQ) = 0 se escribe:
0 = `
2
.(1) + 2`j)(1, Q) +j
2
.(Q).
Dividiendo la ecuacin anterior por j
2
y escribiendo t = `,j se obtiene la
siguiente ecuacin de segundo grado:
0 = .(1)t
2
+ 2)(1, Q)t +.(Q)
con discriminante
= )(1, Q)
2
.(1).(Q).
Si )(1, Q) = 0, .(1) = 0 y .(Q) = 0, entonces 1, Q

C y, por tanto,
r

C. Luego la cnica est formada por rectas.
Si no todos los coecientes de la ecuacin de segundo grado 0 = .(1)t
2
+
2)(1, Q)t + .(Q) son nulos, entonces hay dos puntos de corte (las dos
soluciones de la ecuacin).
1. Si = )(1, Q)
2
.(1).(Q) 0, la recta y la cnica se cortan en
dos puntos reales distintos. La recta se dice que es una recta secante
a la cnica.
2. Si = )(1, Q)
2
.(1).(Q) = 0, la recta y la cnica se cortan en un
punto doble. La recta se dice que es una recta tangente a la cnica.
3. Si = )(1, Q)
2
.(1).(Q) < 0, la recta y la cnica se cortan en
dos puntos imaginarios distintos. La recta se dice que es una recta
exterior a la cnica.
2.3.1 Variedad tangente a una cnica
Denicin. La variedad tangente a una cnica

C en un punto 1

C, es el
conjunto de puntos A P
2
tales que la recta que une 1 y A es tangente a la
cnica

C; esto es,
T
P

C = A P
2
[ = )(1, A)
2
.(1).(A) = 0
= A P
2
[ )(1, A) = 0.
Observaciones.
12
1. Si 1

C es un punto regular, entonces T
P

C es una recta y, de hecho, es
la recta polar del punto 1; esto es, T
P

C = r
p
.
2. Si 1

C es un punto singular, entonces T
P

C = P
2
.
3. Si 1 ,

C, podemos denir la variedad tangente a

C en 1 ,

C como el
conjunto de puntos A P
2
tales que la recta que une 1 y A es tangente
a la cnica

C; esto es,
T
P

C = A P
2
[ recta A1 es tangente a

C
= A P
2
[ = )(1, A)
2
.(1).(A) = 0
= A P
2
[ )(1, A)
2
= .(1).(A).
Y se cumple que T
P

C es una cnica degenerada que tiene a 1 como punto
singular.
Construccin geomtrica de T
P

C cuando 1 ,

C
Tenemos T
P

C = A P
2
[ recta A1 es tangente a

C. Calculamos la recta
polar de 1,
r
P
= A P
2
[ )(1, A) = 0
y hallamos la interseccin de r
P
y

C.
Si r
P


C = 1
1
, 1
2
, entonces T
P

C = r
P1
' r
P2
.
Si r
P


C son dos puntos imaginarios; esto es, la recta r
P
es exterior a la
cnica

C y el punto 1 es un punto interior a la cnica y desde l no se puede
lanzar ninguna tangente.
2.4 Clasicacin de las cnicas
Sea

C una cnica con matriz asociada .
rango sign() Cnica Ecuacin cannica
3 3 cnica no degenerada vaca r
2
0
+r
2
1
+r
2
2
= 0
3 1 cnica no degenerada no vaca r
2
0
+r
2
1
r
2
2
= 0
2 2 punto singular r
2
0
+r
2
1
= 0
2 0 par de rectas r
2
0
r
2
1
= 0
1 1 recta doble (ar
0
+/r
1
+cr
2
)
2
= 1
13
Nota: Llamamos signatura de y lo denotamos sign() a [c,[ donde c =n
o
de autovalores positivos de y , =n
o
de autovalores positivos de .
2.5 Clasicacin afn y elementos notables de las cnicas
Sea A
2
= P(R
3
) el plano afn proyectivizado, con sistema de referencia =
O, 1. Y sea . una forma cuadrtica con matriz asociada . Sea

C = A P
2
(R
3
) [ .(A) = 0
una cnica proyectiva con cnica afn
C =

C A
2
= A A
2
[ .(
~
A) = 0, donde
~
A = (1, r
1
, r
2
).
2.5.1 Centro de una cnica afn
Denicin: Se llama centro de una cnica afn C al polo de la recta del innito
si ese punto es un punto propio (si no lo es, se dice que la cnica afn no tiene
centro propio).
La ecuacin de la recta del innito es r
0
= 0 y la ecuacin de la cnica es
A
t
A = 0. Por tanto, el polo de la recta del innito es el punto 1 tal que
1
t
= (1, 0, 0).
Ejemplo. La parbola es tangente al innito: por tanto, el polo de la recta
del innito es el punto de tangencia, que est en el innito, as que la parbola
no tiene centro propio.
Proposicin. El centro de una cnica afn es centro de simetra.
Construccin geomtrica del centro de una cnica.
El centro es el polo de la recta del innito, por tanto, es la interseccin de las
rectas polares de puntos del innito.
1. Tomamos un punto del innito 1
1
y hallamos su recta polar de la siguiente
manera:
14
(a) Trazamos dos rectas paralelas r
1
y r
0
1
que corten a la cnica (tienen
punto del innito 1
1
).
(b) Hallamos los puntos medios de los segmentos Q
1
1
1
y Q
0
1
1
0
1
. Dichos
puntos medios son los cuartos armnicos de Q
1
, 1
1
, 1
1
y Q
0
1
, 1
0
1
, 1
1
respectivamente.
(c) La recta polar de 1
1
es la recta que une dichos puntos medios.
2. Repetimos la construccin para trazar la recta polar de un punto del
innito 1
2
.
3. El centro de la cnica es el punto de interseccin de dichas rectas polares.
2.6 Posicin relativa de la cnica y la recta del innito
1. Si la recta del innito r
1
= r
0
= 0 no es tangente a la cnica

C entonces
el polo de r
1
es un punto propio;

C tiene centro que denotamos C y las
coordenadas del centro son
7 = [(c
0
, c
1
, c
2
)] tales que (c
0
, c
1
, c
2
) = (1, 0, 0).
2. Si la recta del innito r
1
= r
0
= 0 es tangente a la cnica

C entonces el
polo de r
1
, si existe, es el punto de tangencia. En este caso,

C r
1
= centro
y el centro es un punto doble. Si la matriz es
=
_
_
a
00
a
01
a
02
a
01
a
11
a
12
a
02
a
12
a
22
_
_
se tiene:

C r
1
=
_
a
00
r
2
0
+a
11
r
2
1
+a
22
r
2
2
+ 2a
01
r
0
r
1
+ 2a
02
r
0
r
2
+ 2a
12
r
1
r
2
= 0
r
0
= 0
==
_
a
11
r
2
1
+a
22
r
2
2
+ 2a
12
r
1
r
2
= 0
r
0
= 0
se tiene la ecuacin de segundo grado a
11
t
2
+2a
12
t +a
22
= 0 con discrim-
inante:

00
= a
2
12
a
11
a
22
= det(
00
)
donde

00
=
_
a
11
a
12
a
12
a
22
_
.
Si det
00
= 0, entonces

C r
1
= 1, donde 1 es un punto doble,
el centro impropio de la cnica.
15
Si det
00
,= 0, entonces

C tiene centro propio que es el centro de
simetra de la cnica. Cualquier recta que pasa por el centro corta a
la cnica en dos puntos que son simtricos respecto del centro.
Por tanto, se pueden dar los siguientes casos:

C r
1
=
_
_
_
2 puntos reales distintos ( det(
00
) < 0)
2 puntos imaginarios conjugados ( det(
00
) 0)
1 punto ( det(
00
) = 0)
2.6.1 Cnicas de tipo parablico
Se tiene que:

C r
1
= 1, 1 punto doble si y slo si det
00
= 0.
El centro de la cnica es un punto impropio.
Si det ,= 0 la cnica es una parbola.
Si det = 0 la cnica es un par de rectas paralelas
_
distintas si rg = 2
recta doble si rg = 1
2.6.2 Cnicas de tipo elptico
Se tiene que:

Cr
1
= 1
1
, 1
2
, 1
1
, 1
2
puntos imaginarios conjugados si y slo
si det
00
0.
El centro de la cnica es un punto propio.
Si det ,= 0 la cnica es una elipse.
Si det = 0 la cnica es un par de rectas imaginarias que se cortan en un
punto real (el punto singular de la cnica).
2.6.3 Cnicas de tipo hiperblico
Se tiene que:

C r
1
= 1
1
, 1
2
, 1
1
, 1
2
puntos reales distintos si y slo si
det
00
< 0.
El centro de la cnica es un punto propio.
Si det ,= 0 la cnica es una hiprbola.
Si det = 0 la cnica es un par de rectas reales que se cortan en el punto
singular
2.6.4 Elementos notables de las cnicas
Sea la cnica

C = A
t
A = 0, con
t
= una cnica regular.
Centro Denimos centro de la cnica

C al polo de la recta impropia (es el
centro de simetra de la cnica).
16
Dimetros y dimetros conjugados Dos rectas r y : se dicen conjugadas
con respecto a una cnica regular

C cuando cada una de ellas contiene al polo
de la otra.
Denimos dimetro de la cnica

C a toda recta tal que su polo es un punto
impropio.
Por tanto, para cada punto impropio tenemos un dimetro.
En virtud del Teorema fundamental de la polaridad, todos los dimetros por
ser rectas polares de puntos impropios pasan por el polo de la recta impropia;
es decir, pasan por el centro.
Dos dimetros d
P
y d
Q
diremos que son conjugados cuando cada uno de
ellos contiene al polo del otro.
Asntotas Se llama asntota de una cnica, cuando la tiene, a todo dimetro
que es tangente a la cnica. Por tanto, las asntotas son las rectas polares de los
puntos impropios de la cnica.
Ejes en las cnicas regulares Dos rectas r
0
= a
0
r
0
+ a
1
r
1
+ a
2
r
2
= 0 y
:
0
= /
0
r
0
+/
1
r
1
+/
2
r
2
= 0 con a
1
,= 0 a
2
,= 0 y /
1
,= 0 /
2
,= 0 diremos que
son ortogonales en el plano proyectivo P
2
si a
1
/
1
+a
2
/
2
= 0.
Se llaman ejes de una cnica regulares a aquellos dimetros que siendo con-
jugados son adems ortogonales.
Veamos cmo obtener los ejes:
Sean 1[0, j
1
, j
2
] y Q[0,
1
,
2
] los puntos impropios de los ejes. Como los ejes
son rectas ortogonales 1 y Q se cumple: j
1

1
+ j
2

2
= 0. Y por otra parte,
como 1 y Q son los puntos impropios de rectas conjugadas, deben ser puntos
conjugados; esto es, 1
t
Q = 0. Por tanto, se deben cumplir las siguientes
ecuaciones:
_

_
j
1

1
+j
2

2
= 0
(0, j
1
, j
2
)
_
_
a
00
a
01
a
02
a
01
a
11
a
12
a
02
a
12
a
22
_
_
_
_
0

2
_
_
= 0
==
_
j
1

1
+j
2

2
= 0
(j
1
a
11
+j
2
a
12
)
1
+ (j
1
a
12
+j
2
a
22
)
2
= 0
==
__
j
1
j
2
j
1
a
11
+j
2
a
12
j
1
a
12
+j
2
a
22
__

1

2
_
=
_
0
0
_
El sistema anterior tiene solucin distinta de la trivial si la matriz de coecientes
tiene determinante cero; esto es, si las las de la matriz de coecientes son
proporcionales:
_
a
11
j
1
+a
12
j
2
= `j
1
a
12
j
1
+a
22
j
2
= `j
2
==
_
(a
11
`) j
1
+a
12
j
2
= 0
a
12
j
1
+ (a
22
`) j
2
= 0
El sistema anterior tiene solucin (j
1
, j
2
) ,= (0, 0) si
det
_
a
11
` a
12
a
12
a
22
`
_
= 0 ==`
2
(a
11
+a
22
)` + det
00
= 0
17
Ntese que es la ecuacin caracterstica de la matriz
00
que es diagonalizable.
Nota: Si (
1
,
2
) es autovector asociado al autovalor `
1
de
00
entonces
Q[0,
1
,
2
] y 1[0,
2
,
1
] satisfacen el sistema
_
j
1

1
+j
2

2
= 0
1
t
Q = 0
luego sus rectas polares son los ejes de la cnica

C.
Por ltimo, llamamos vrtices de una cnica

C a los puntos de interseccin
los ejes de la cnica con la cnica.
Ejemplo 1 Sea la cnica

C = r
2
0
+r
2
1
+r
2
2
2r
0
r
2
+ 2r
1
r
2
= 0. Se pide:
1. Vamos a calcular el dimetro conjugado de la recta r = r
0
+r
1
+2r
2
= 0.
Es r un eje de la cnica?
2. Calcular los ejes de la cnica y representarlos en el plano afn junto con la
cnica afn.
3. Hallar el centro de la cnica.
4. Calcular los vrtices de la cnica.
Clasicacin:
La matriz de la cnica es
=
_
_
1 0 1
0 1 1
1 1 1
_
_
.
El determinante de es: det() = 1 ,= 0, (

C es una cnica regular) y como
det
00
= 0, la cnica afn C es una parbola.
0 -0.5 -1 -1.5 -2 -2.5 -3 -3.5 -4 -4.5 -5
5
4.5
4
3.5
3
2.5
2
1.5
1
0.5
x
y
x
y
18
El punto impropio de la recta r = r
0
+ r
1
+ 2r
2
= 0 satisface la ecuacin
r
1
+ 2r
2
= 0 por tanto tiene coordenadas homogneas 1[0, 2, 1]. La recta
polar de 1 es el dimetro conjugado de r; esto es,
r
P
= (0, 2, 1)
_
_
1 0 1
0 1 1
1 1 1
_
_
_
_
r
0
r
1
r
2
_
_
= 0
r
P
= r
0
+r
1
+r
2
= 0.
Ntese que los puntos impropios de r y r
P
; 1[0, 2, 1] y Q[0, 1, 1] respectiva-
mente, son puntos conjugados: 1
t
Q = 0 pero r y r
P
no son rectas ortogonales
pues 2 1 1 1 ,= 0.
Los autovalores de
00
son `
1
= 0, `
2
= 2. Y los autovectores asociados a
dichos autovalores son:

1
= (1, 1) autovector asociado a ` = 0

2
= (1, 1) autovector asociado a ` = 2
Por tanto los ejes de la cnica son las rectas polares de los puntos impropios
1
1
[0, 1, 1] y 1
2
[0, 1, 1]; esto es,
r
P1
= (0, 1, 1)
_
_
1 0 1
0 1 1
1 1 1
_
_
_
_
r
0
r
1
r
2
_
_
= 0
r
P2
= (0, 1, 1)
_
_
1 0 1
0 1 1
1 1 1
_
_
_
_
r
0
r
1
r
2
_
_
= 0
Por tanto, los ejes de la cnica son
r
P1
= r
0
= 0,
r
P2
= r
0
+ 2r
1
+ 2r
2
= 0.
Los dimetros de la cnica se cortan en el centro; en particular, el centro es
el punto de interseccin de los ejes de la cnica:
_
r
0
= 0
r
0
+ 2r
1
+ 2r
2
= 0
==
_
r
0
= 0
r
1
+r
2
= 0
==7[0, 1, 1]
La parbola tiene centro impropio.
Los vrtices de la cnica son los puntos de interseccin de la cnica con sus
ejes. Como

C es una parbola, tiene un punto impropio que es precisamente el
centro 7 y tambin es un vrtice de la parbola (el vrtice impropio):
_
r
2
0
+r
2
1
+r
2
2
2r
0
r
2
+ 2r
1
r
2
= 0
r
0
= 0
==
_
(r
1
+r
2
)
2
= 0
r
0
= 0
==7[0, 1, 1]
19
El otro vrtice es la interseccin de la parbola con su eje propio:
_
1 +r
2
1
+r
2
2
2r
2
+ 2r
1
r
2
= 0
1 + 2r
1
+ 2r
2
= 0
==
_
1 + (r
1
+r
2
)
2
2r
2
= 0
1 = 2r
1
+ 2r
2
==
_
1 +
1
4
2r
2
= 0
1 = 2r
1
+ 2r
2
==
_
r
2
=
5
8
r
1
=
1
2
r
2
=
1
2

5
8
=
1
8
==\
_
1,
1
8
,
5
8
_
.
Ejemplo 2 Sea la cnica

C = r
2
0
4r
2
1
+r
2
2
2r
0
r
1
2r
0
r
2
= 0. Se pide:
1. Clasicar la cnica.
2. Calcular las asntotas de la cnica.
3. Calcular los ejes de la cnica.
4. Hallar el centro de la cnica.
5. Calcular los vrtices de la cnica.
Clasicacin:
La matriz de la cnica es
=
_
_
1 1 1
1 4 0
1 0 1
_
_
.
El determinante de es: det() = 1 ,= 0, (

C es una cnica regular) y como
det
00
= 4 < 0, la cnica es una hiprbola.
2.5 2 1.5 1 0.5 0 -0.5 -1 -1.5 -2 -2.5 -3
5
4
3
2
1
0
-1
-2
-3
-4
-5
x
y
x
y
20
Los puntos impropios de la hiperbola satisfacen las siguientes ecuaciones:
_
r
2
0
4r
2
1
+r
2
2
2r
0
r
1
2r
0
r
2
= 0
r
0
= 0
==
_
4r
2
1
+r
2
2
= 0
r
0
= 0
==
_
(r
2
+ 2r
1
) (r
2
2r
1
) = 0
r
0
= 0
== 1
1
[0, 1, 2] y 1
2
[0, 1, 2]
Por tanto, las asntotas de la cnica son:
r
P1
= 1
t
1
A = r
0
4r
1
2r
2
= 0,
r
P2
= 1
t
2
A = 3r
0
4r
1
+ 2r
2
= 0.
Para calcular los ejes calculamos los autovectores de la matriz
00
. Los
autovalores de
00
son `
1
= 4, `
2
= 1. Y los autovectores asociados a dichos
autovalores son:

1
= (1, 0) autovector asociado a ` = 4

2
= (0, 1) autovector asociado a ` = 1
Por tanto los ejes de la cnica son las rectas polares de los puntos impropios
Q
1
[0, 1, 0] y Q
2
[0, 0, 1]; esto es,
r
Q1
= (0, 1, 0)
_
_
1 1 1
1 4 0
1 0 1
_
_
_
_
r
0
r
1
r
2
_
_
= r
0
4r
1
= 0
r
Q2
= (0, 0, 1)
_
_
1 1 1
1 4 0
1 0 1
_
_
_
_
r
0
r
1
r
2
_
_
= r
0
+r
2
= 0
El centro de la cnica es el punto de interseccin de los ejes. Como C es
una hiprbola, su centro es un punto propio y sus coordenadas satisfacen las
siguientes ecuaciones
_
1 + 4r
1
= 0
1 r
2
= 0
==7
_
1,
1
4
, 1
_
Los vrtices de la cnica son los puntos de interseccin de la cnica con sus
ejes. Por tanto,
_
r
2
0
4r
2
1
+r
2
2
2r
0
r
1
2r
0
r
2
= 0
r
0
4r
1
= 0
==
_
16r
2
1
4r
2
1
+r
2
2
+ 8r
2
1
+ 8r
1
r
2
= 0
r
0
= 4r
1
==
_
20r
2
1
+ 8r
1
r
2
+r
2
2
= 0
r
0
= 4r
1
==
t=x2=x1
_
20 + 8t +t
2
= 0
r
0
= 4r
1
21
Como 20 + 8t + t
2
= 0 no tiene soluciones reales, el eje r
0
4r
1
= 0 de la
cnica corta a la cnica en puntos imaginarios. Veamos la interseccin de la
cnica con el otro eje:
_
r
2
0
4r
2
1
+r
2
2
2r
0
r
1
2r
0
r
2
= 0
r
0
+r
2
= 0
==
_
4r
2
1
+ 2r
2
r
1
= 0
r
0
+r
2
= 0
==
_
2 (2r
1
+r
2
) r
1
= 0
r
0
+r
2
= 0
Por tanto \
1
[1, 0, 1] y \
2
[1, 1,2, 1] son los dos vrtices propios y reales de la
hiprbola.
22
2.7 Invariantes mtricos de una cnica
Sean = O, 1 = (c
1
, c
2
) y
0
= O
0
, 1
0
= (c
0
1
, c
0
2
) dos referencias ortonor-
males del plano afn A
2
. Sea C una cnica del plano afn eucldeo con matriz
asociada respecto de la referencia y matriz 1 respecto de la referencia
0
,
es decir,
C
R
= (r
0
, r
1
, r
2
)
_
_
a
00
a
01
a
02
a
01
a
11
a
12
a
02
a
12
a
22
_
_
_
_
r
0
r
1
r
2
_
_
= 0
C
R
0 = (r
0
0
, r
0
1
, r
0
2
)
_
_
/
00
/
01
/
02
/
01
/
11
/
12
/
02
/
12
/
22
_
_
_
_
r
0
0
r
0
1
r
0
2
_
_
= 0
entonces, se cumple
det() = det(1)
_
det
00
= det 1
00
a
11
+a
22
= /
11
+/
22
==
_
Los autovalores de
00
y 1
00
coinciden.
siendo

00
=
_
a
11
a
12
a
12
a
22
_
y 1
00
=
_
/
11
/
12
/
12
/
22
_
.
2.8 Forma reducida de una cnica regular
Sea C una cnica que respecto de una referencia ortonormal = O, 1 =
(c
1
, c
2
) tiene por ecuacin: C
R
= A
T
A = 0.
2.8.1 Cnicas con centro propio: hiprbolas y elipses
Si det(
00
) ,= 0 entonces existe una referencia ortonormal
0
= O
0
, 1
0
=
(c
0
1
, c
0
2
) tal que la expresin matricial de la cnica en la nueva referencia es:
C
R
0 = (r
0
0
, r
0
1
, r
0
2
)
_
_
d
00
0 0
0 d
11
0
0 0 d
22
_
_
_
_
r
0
0
r
0
1
r
0
2
_
_
= 0
La ecuacin C
R
0 = d
00
(r
0
0
)
2
+ d
11
(r
0
1
)
2
+ d
22
(r
0
2
)
2
= 0 se denomina ecuacin
reducida de la cnica, donde
_

_
O
0
es el centro de la cnica
d
11
, d
22
son los autovalores de
00
c
0
1
, c
0
2
vectores propios de
00
(vectores de direccin de los ejes de C)
d
00
cumple det() = d
00
d
11
d
22
23
Ejemplo 1 Sea la cnica

C = 2r
0
r
2
2r
1
r
2
r
2
0
+ 7r
2
1
+ 7r
2
2
= 0.
Clasicacin:
La matriz de la cnica es
=
_
_
1 0 1
0 7 1
1 1 7
_
_
.
El determinante de es: det() = 55 ,= 0, por tanto, es una cnica regular.
Los autovalores de
00
son `
1
= 6, `
2
= 8 (por tanto, det
00
= `
1
`
2
= 48 0).
La cnica C es una elipse.
Elementos notables:
El centro de la elipse es un punto propio que no pertenece a la cnica.
Tenemos:
1 =
1
l siendo l[1, 0, 0]
luego
_
_
j
0
j
1
j
2
_
_
=
_
_
1 0 1
0 7 1
1 1 7
_
_
1
_
_
1
0
0
_
_
=
_
_

48
55
1
55
7
55
_
_
.
Esto es
Centro =
__

48
55
,
1
55
,
7
55
__
=
__
1,
1
48
,
7
48
__
Los dimetros de la elipse son las rectas que pasan por su centro. La familia
de dimetros es

r
0

48
55
0
r
1
1
55
a
r
2
7
55
/

=
1
55
(/ 7a) r
0
+
48
55
/r
1

48
55
ar
2
= 0,
esto es, d
a;b
= (/ 7a) r
0
+ 48/r
1
48ar
2
= 0.
Anlogamente son las rectas polares de puntos impropios. Si 1
1
= [(0, c, ,)]
r
1
, entonces su recta polar vtiene la siguiente ecuacin
r
P1
= (0, c, ,)
_
_
1 0 1
0 7 1
1 1 7
_
_
_
_
r
0
r
1
r
2
_
_
= 0
esto es, d
P1
= ,r
0
+ (7c ,) r
1
+ (7, c) r
2
.
Ntese que si tomamos c = 7/ a y , = / 7a, se cumple: d
P1
= d
a;b
.
La elipse no tiene asntotas ya que todos sus puntos son propios.
Los ejes de la elipse pasan por el centro y tienen direcciones dadas por dos
vectores propios ortogonales. Los vectores propios de C son:
c
1
= (1, 1) autovector asociado a `
1
= 6,
c
2
= (1, 1) autovector asociado a `
2
= 8,
24
por tanto, los ejes son:
Eje 1 =

r
0
1 0
r
1
1
48
1
r
2
7
48
1

=
1
8
r
0
r
1
+r
2
= 0,
Eje 2 =

r
0
1 0
r
1
1
48
1
r
2
7
48
1

=
1
6
r
0
r
1
r
2
= 0.
Los vrtices son los puntos de interseccin de la elipse con sus ejes. Como
todos los puntos de la elipse son puntos propios, buscamos los vrtices en r
0
= 1,
esto es, planteamos los sistemas

C Eje 1 =
_
2r
0
r
2
2r
1
r
2
r
2
0
+ 7r
2
1
+ 7r
2
2
1
8
r
0
r
1
+r
2
= 0

C Eje 2 =
_
2r
0
r
2
2r
1
r
2
r
2
0
+ 7r
2
1
+ 7r
2
2

1
6
r
0
r
1
r
2
= 0
para r
0
= 1 y obtanemos
_
2r
2
2r
1
r
2
1 + 7r
2
1
+ 7r
2
2
1
8
r
1
+r
2
= 0
== \

1
=
__
1,
1
48

1
24
_
55,
7
48

1
24
_
55
__
_
2r
2
2r
1
r
2
1 + 7r
2
1
+ 7r
2
2

1
6
r
1
r
2
= 0
== \

2
=
__
1,
1
48

1
48
_
165,
7
48
(
1
48
_
165
__
.
Forma reducida: La ecuacin reducida de la elipse es
C
R
0 = d
00
(r
0
0
)
2
+d
11
(r
0
1
)
2
+d
22
(r
0
2
)
2
= 0,
donde d
11
= 6 , d
22
= 8 y como det() = 55 = d
00
d
11
d
22
= d
00
48, entonces
d
00
= 55,48. Por tanto,
C
R
0 =
55
48
(r
0
0
)
2
+ 6(r
0
1
)
2
+ 8(r
0
2
)
2
= 0,
siendo el origen de la referencia
0
, el centro de la cnica: O
0
=
_

1
48
,
7
48
_
y la
base es
1
0
=
_
c
1
|c
1
|
,
c
2
|c
2
|
_
=
__
1
_
2
,
1
_
2
_
,
_
1
_
2
,
1
_
2
__
.
Utilizando la matriz del cambio de referencia resulta:
_
_
1
1
48

7
48
0
1
p
2
1
p
2
0
1
p
2
1
p
2
_
_

_
_
1 0 0

1
48
1
p
2

1
p
2

7
48
1
p
2
1
p
2
_
_
=
_
_

55
48
0 0
0 6 0
0 0 8
_
_
.
25
Ejemplo 2 Sea la cnica

C = 11r
2
0

1
2
r
2
1

1
2
r
2
2
+ 8r
0
r
2
+ 3r
1
r
2
= 0.
Clasicacin:
La matriz de la cnica es
=
_
_
11 0 4
_
2
0
1
2
3
2
4
_
2
3
2

1
2
_
_
.
El determinante de es: det() = 6 ,= 0 (es una cnica regular) y los
autovalores de
00
son `
1
= 1, `
2
= 2; por tanto, det
00
= 2 < 0. La
cnica C es una hiprbola.
Elementos notables:
El centro de la hiprbola es un punto propio que no pertenece a la cnica.
Tenemos:
1 =
1
l siendo l[(1, 0, 0)]
luego
_
_
j
0
j
1
j
2
_
_
=
_
_
11 0 4
_
2
0
1
2
3
2
4
_
2
3
2

1
2
_
_
1
_
_
1
0
0
_
_
=
_
_
1
3

_
2

1
3
_
2
_
_
.
El centro es
7 =
__
1
3
,
_
2,
1
3
_
2
__
=
__
1, 3
_
2,
_
2
__
.
Los dimetros de la hiprbola son las rectas que pasan por su centro (las
rectas polares de puntos impropios). La familia de dimetros es

r
0
1 0
r
1
3
_
2 a
r
2

_
2 /

=
_
2 (a 3/) r
0
/r
1
+ar
2
= 0,
esto es, d
a;b
=
_
2 (a 3/) r
0
/r
1
+ar
2
= 0.
La hiprbola tiene dos asntotas que son las tangentes a la hiprbola en sus
puntos impropios. Los puntos impropios de la hiprbola son:
1

C r
1
==
_

1
2
r
2
1

1
2
r
2
2
+ 3r
1
r
2
= 0
r
0
= 0
==
_
1
1
__
0, 1, 3 2
_
2
_
1
2
__
0, 1, 3 + 2
_
2
_
La polar de 1
1
es:
r
1
=
_
0, 1, 3 2
_
2
_
_
_
11 0 4
_
2
0
1
2
3
2
4
_
2
3
2

1
2
_
_
_
_
r
0
r
1
r
2
_
_
= 0
== r
1
=
_
12
_
2 16
_
r
0
+
_
4 3
_
2
_
r
1
+
_
2r
2
= 0,
26
y la polar de 1
2
es:
r
2
=
_
0, 1, 3 + 2
_
2
_
_
_
11 0 4
_
2
0
1
2
3
2
4
_
2
3
2

1
2
_
_
_
_
r
0
r
1
r
2
_
_
= 0
== r
2
=
_
16 + 12
_
2
_
r
0
+
_
4 + 3
_
2
_
r
1

_
2r
2
= 0.
Por tanto, las asntotas de la hiprbola son
r
1
=
_
12
_
2 16
_
r
0
+
_
4 3
_
2
_
r
1
+
_
2r
2
= 0,
r
2
=
_
16 + 12
_
2
_
r
0
+
_
4 + 3
_
2
_
r
1

_
2r
2
= 0.
Ntese que para a = 1, / = 3 2
_
2 se tiene
d
1;32
p
2
=
_
2
_
1 3(3 2
_
2)
_
r
0
(3 2
_
2)r
1
+r
2
= 0,
=
_
12 8
_
2
_
r
0
(3 2
_
2)r
1
+r
2
= 0
=
_
2
__
12 8
_
2
_
r
0
(3 2
_
2)r
1
+r
2
_
= 0
=
__
12
_
2 16
_
r
0
+ (4 3
_
2)r
1
+
_
2r
2
_
= 0
= r
1
y para a = 1 y / = 3 + 2
_
2 se tiene: d
1;3+2
p
2
= r
1
.
Los ejes de la hiprbola pasan por el centro y tienen direcciones dadas por
dos vectores propios ortogonales. Los vectores propios de C son:
c
1
= (1, 1) autovector asociado a `
1
= 1,
c
2
= (1, 1) autovector asociado a `
2
= 2,
por tanto, los ejes son:
Eje1 =

r
0
1 0
r
1
3
_
2 1
r
2

_
2 1

= r
2
r
1
2r
0
_
2 = 0,
Eje 2 =

r
0
1 0
r
1
3
_
2 1
r
2

_
2 1

= r
1
r
2
4r
0
_
2 = 0.
Los vertices son los puntos de interseccin de la hiprbola con sus ejes

C Eje1 =
_
11r
2
0

1
2
r
2
1

1
2
r
2
2
+ 8r
0
r
2
+ 3r
1
r
2
= 0
r
2
r
1
2r
0
_
2 = 0

C Eje 2 =
_
11r
2
0

1
2
r
2
1

1
2
r
2
2
+ 8r
0
r
2
+ 3r
1
r
2
= 0
r
1
r
2
4r
0
_
2 = 0
27
Si r
0
= 1, entonces
_
11
1
2
r
2
1

1
2
r
2
2
+ 8r
2
+ 3r
1
r
2
= 0
r
2
r
1
2
_
2 = 0
no hay solucin real
_
11
1
2
r
2
1

1
2
r
2
2
+ 8r
2
+ 3r
1
r
2
= 0
r
1
r
2
4
_
2 = 0
== \
2
=
__
1, 1 2
_
2
1
2
_
31 16
_
2, 1 2
_
2
1
2
_
31 16
_
2
__
Forma reducida: La ecuacin reducida de esta hiprbola es
d
00
(r
0
0
)
2
+d
11
(r
0
1
)
2
+d
22
(r
0
2
)
2
= 0
donde d
11
= 1 , d
22
= 2 y como det() = 6 = d
00
d
11
d
22
= 2d
00
, entonces
d
00
= 3. Por tanto,
C
R
0 = 3(r
0
0
)
2
+ (r
0
1
)
2
2(r
0
2
)
2
= 0,
siendo el origen de la referencia
0
, el centro de la cnica: O
0
=
_
3
_
2,
_
2
_
y
la base es
1
0
=
_
c
1
|c
1
|
,
c
2
|c
2
|
_
=
__
1
_
2
,
1
_
2
_
,
_
1
_
2
,
1
_
2
__
.
Utilizando la matriz del cambio de referencia resulta:
_
_
_
1 3
_
2
_
2
0
1
p
2
1
p
2
0
1
p
2
1
p
2
_
_
_
_
_
_
1 0 0
3
_
2
1
p
2

1
p
2

_
2
1
p
2
1
p
2
_
_
_ =
_
_
3 0 0
0 1 0
0 0 2
_
_
.
2.8.2 Cnicas con centro impropio: parbolas
Si det(
00
) = 0 entonces existe una referencia ortonormal
0
= O
0
, 1
0
=
(c
0
1
, c
0
2
) tal que la expresin matricial de la cnica en la nueva referencia es:
C
R
0 = (r
0
0
, r
0
1
, r
0
2
)
_
_
0 0 d
02
0 d
11
0
d
02
0 0
_
_
_
_
r
0
0
r
0
1
r
0
2
_
_
= 0.
La ecuacin C
R
0 = d
11
(r
0
1
)
2
+ 2d
02
r
0
0
r
0
2
= 0 se denomina ecuacin reducida de
la cnica, donde
_
_
_
O
0
es el vrtice de la parbola
d
11
, 0 son los autovalores de
00
c
0
1
, c
0
2
vectores propios asociados a d
11
, 0 resp.
Si cambiamos el orden de los vectores, la matriz que se obtiene es
_
_
0 d
01
0
d
01
0 0
0 0 d
22
_
_
.
28
Ejemplo Sea la cnica

C = 2r
0
r
2
+ 4r
1
r
2
+r
2
0
+ 4r
2
1
+r
2
2
= 0.
Clasicacin:
La matriz de la cnica es
=
_
_
1 0 1
0 4 2
1 2 1
_
_
.
El determinante de es: det() = 4 ,= 0 (es una cnica regular) y los
autovalores de
00
son `
1
= 0, `
2
= 5 (por tanto, det
00
= `
1
`
2
= 0). La
cnica

C es una parbola.
Elementos notables:
El centro de la parbola (el polo de la recta del innito) es un punto impropio
que pertenece a la cnica. Se tiene:

Cr
1
= 4r
1
r
2
+4r
2
1
+r
2
2
= 0 ==
t=x2=x1
4t+4+t
2
= 0 ==t = 2 ==7[(0, 1, 2)]
Los dimetros de la parbola son todas las rectas que pasan por su centro
(rectas polares de puntos impropios). Tienen la direccin del vector (0, 1, 2),
por tanto,
Familia de dimetros d
a
= ar
0
+ 2r
1
+r
2
= 0.
La asntota de la parbola (recta tangente en su punto impropio) es la recta
impropia: r
0
= 0.
La parbola tiene un nico eje propio. Tenemos:
c
1
= (2, 1) autovector asociado a `
2
= 5,
c
2
= (1,2, 1) autovector asociado a `
1
= 0.
Por tanto, el eje propio de la parbola es la recta polar del punto: 1[(0, 2, 1)];
esto es
Eje = (0, 2, 1)
_
_
1 0 1
0 4 2
1 2 1
_
_
_
_
r
0
r
1
r
2
_
_
= 0 ==Eje = r
0
+ 10r
1
+ 5r
2
= 0.
El vrtice es la interseccin de la parbola con su eje:

C Eje =
_
2r
0
r
2
+ 4r
1
r
2
+r
2
0
+ 4r
2
1
+r
2
2
= 0
r
0
+ 10r
1
+ 5r
2
= 0
En r
0
= 1
_
2r
2
+ 4r
1
r
2
+ 1 + 4r
2
1
+r
2
2
= 0
1 + 10r
1
+ 5r
2
= 0
==\
__
1,
4
25
,
13
25
__
Forma reducida: La ecuacin reducida de esta parbola es
C
R
0 = d
11
(r
0
1
)
2
+ 2d
02
r
0
0
r
0
2
= 0
29
donde d
11
= 5 y como det() = 4 = (d
02
)
2
d
11
entonces (d
02
)
2
= 4,5. Por
tanto,
C
R
0 = 5(r
0
1
)
2
+
4
_
5
r
0
0
r
0
2
= 0,
siendo el origen de la referencia
0
el vrtice de la parbola: O
0
=
_

4
25
,
13
25
_
, y
la base es
1
0
=
_
c
1
|c
1
|
,
c
2
|c
2
|
_
=
__
2
_
5
,
1
_
5
_
,
_

1
_
5
,
2
_
5
__
.
Utilizando la matriz del cambio de referencia resulta:
_
_
1
4
25
13
25
0
2
p
5
1
p
5
0
1
p
5
2
p
5
_
_

_
_
1 0 0

4
25
2
p
5

1
p
5
13
25
1
p
5
2
p
5
_
_
=
_
_
0 0
2
5
_
5
0 5 0

2
5
_
5 0 0
_
_
.
30
3 Haces de cnicas
Como sabemos si r
1
, r
2
son dos rectas distintas del plano, la ecuacin
`r
1
+jr
2
= 0
es la ecuacin del haz de rectas que pasan por el nico punto comn de r
1
y r
2
.
Si ahora consideramos cnicas en lugar de rectas, la situacin es algo difer-
ente.
Denicin. Dadas dos cnicas

C
1
,

C
2
P
2
denidas por las formas cuadrti-
cas .
1
: R
3
R y .
2
: R
3
R resp., con ecuaciones:

C
1
= A
t

1
A = 0 y

C
2
= A
t

2
A = 0, se llama haz de cnicas determinado por

C
1
y

C
2
a la familia
de cnicas determinadas por la formas cuadrticas:
`.
1
+j.
2
: R
3
R, `, j R.
La ecuacin de una cnica del haz es:

C
;
= A
t
(`
1
+j
2
) A = 0, A P
2
.
A esta familia de cnicas pertenecen, en particular, las cnicas

C
1
y

C
2
, pues
basta darle a los parmetros los valores ` = 1, j = 0 y ` = 0, j = 1, respectiva-
mente.
Como las ecuaciones A
t

1
A = 0 y A
t

2
A = 0 son ambas cuadrticas, las
dos cnicas base

C
1
y

C
2
, tienen o cuatro puntos en comn (no necesariamente
todos distintos), o una cantidad innita de puntos comunes. Este ltimo caso
se da si ambas cnicas son la misma o si son cnicas degeneradas con una recta
en comn. Ambos casos son triviales y los excluiremos.
Observacin. El haz de cnicas determinado por

C
1
y

C
2
es simplemente la
familia de cnicas que pasan por los cuatro puntos comunes de

C
1
y

C
2
.
Denicin. Se llama base de un haz de cnicas al conjunto de los puntos de
P
2
que estn en todas las cnicas del haz. Esto es, son los puntos comunes de
las dos cnicas que determinan el haz.
Proposicin. Un haz de cnicas en P
2
contiene a lo ms tres cnicas no
regulares, a menos que el haz est compuesto por cnicas todas ellas no regulares.
31
Ejemplo. Las cnicas

C
1
,

C
2
de ecuaciones:

C
1
= r
2
0
+ 2r
2
1
+r
2
2
+ 4r
0
r
2
= 0,

C
2
= r
2
1
+ 2r
0
r
2
= 0,
nos proporcionan el haz
`

C
1
+j

C
2
= (r
0
, r
1
, r
2
)
_
_
` 0 2` +j
0 2` j 0
2` +j 0 `
_
_
_
_
r
0
r
1
r
2
_
_
= 0.
Las cnicas no regulares de este haz son las que cumplen
0 =

` 0 2` +j
0 2` j 0
2` +j 0 `

= (2` j)
_
`
2
(2` +j)
2
_
.
Esto es, j = 2`
`
2
= (2` +j)
2
==
_
` = 2` +j
` = 2` j
==
_
j = `
j = 3`
Las cnicas no regulares de este haz son las siguientes cnicas

C
1
+ 2

C
2
= r
2
0
+ 8r
0
r
2
+r
2
2
= (r
0
+ 4r
2
)
2
15r
2
2
= (r
0
+ 4r
2
+ 15r
2
) (r
0
+ 4r
2
15r
2
) = 0,

C
1

C
2
= r
2
0
+ 3r
2
1
+r
2
2
+ 2r
0
r
2
= (r
0
+r
2
)
2
+ 3r
2
1
= 0,

C
1
3

C
2
= r
2
0
+ 5r
2
1
+r
2
2
2r
0
r
2
= (r
0
r
2
)
2
+ 5r
2
1
= 0.
Luego,

C
1
+ 2

C
2
es el par de rectas r
0
+ 4r
2
+ 15r
2
= 0, r
0
+ 4r
2
15r
2
= 0,

C
1
+

C
2
es el par de rectas r
0
+ r
2
= 0, r
1
= 0 y

C
1

C
2
es el par de rectas
r
0
r
2
= 0, r
1
= 0.
Observacin. Supongamos que los puntos base , 1, C, 1 de un haz son
todos distintos. Entonces el haz contiene exactamente tres cnicas degeneradas
que son los siguientes pares de rectas:

C
1
= r(' 1)r(C ' 1),

C
2
= r(' C)r(1 ' 1),

C
3
= r(' 1)r(1 ' C)
32
Proposicin. Por un punto no bsico del haz pasa nicamente una cnica
del haz.
Denicin. Los puntos singulares de las cnicas no regulares del haz se
llaman puntos fundamentales del haz.
3.1 Posibles tipos de haces
En funcin de la multiplicidad de los cuatro puntos base del haz, tendremos
distintos tipos de haces. Los discutiremos obteniendo los casos ms singulares
a partir del caso general.
3.1.1 Haz general: Cuatro puntos simples
El haz `

C + j

C
0
tiene cuatro puntos base distintos , 1, C y 1. Por tanto,
tiene tres cnicas no regulares:

C
1
= r('1)r(C'1),

C
2
= r('C)r(1'1),

C
3
= r(' 1)r(1 ' C). La situacin es la de la siguiente gura:
Este tipo de haz lo utilizaremos para determinar una cnica cuando tengamos
5 puntos de la cnica o 4 puntos y otra condicin, como por ejemplo ser de un
determinado tipo o ser tangente a una recta dada, etc...
Ejemplo. Determinar la cnica que contiene a los puntos (1, 0, 1), 1(1, 1, 1),
y C(1, 1, 0) y cuyo centro es 7(2, 1, 0).
Como el centro 7 es centro de simetra podemos calculos los puntos simtri-
cos de los puntos y 1 y as obtendremos dos puntos ms de la cnica.
Tomamos las coordenadas del punto 7 en la carta afn r
0
= 1. Por tanto,
tomamos las coordenadas (1,
1
2
, 0) de 7.
El simtrico de es:
0
= 27 = 2(1,
1
2
, 0) (1, 0, 1) = (1, 1, 1) y el
simtrico de 1 es 1
0
= 27 1 = 2(1,
1
2
, 0) (1, 1, 1) = (1, 0, 1).
Tenemos cuatro puntos de la cnica ,
0
, 1, 1
0
por tanto, podemos deter-
minar el haz de cnicas que contiene a dichos puntos. Dos cnicas del haz son
las cnicas degeneradas: C
1
= r( '
0
)r(1 ' 1
0
) y C
2
= r( ' 1)r(
0
' 1
0
).
33
Calculamos dichas rectas:
r('
0
) =

r
0
1 1
r
1
0 1
r
2
1 1

= 2r
1
r
0
+r
2
= 0,
r(1 ' 1
0
) =

r
0
1 1
r
1
1 0
r
2
1 1

= 2r
1
r
0
r
2
= 0.
Luego

C
1
= (2r
1
r
0
+r
2
) (2r
1
r
0
r
2
) = 0. Y
r(' 1) =

r
0
1 1
r
1
0 1
r
2
1 1

= r
2
r
0
= 0,
r(
0
' 1
0
) =

r
0
1 1
r
1
1 0
r
2
1 1

= r
0
r
2
= 0,
luego

C
2
= (r
2
r
0
) (r
0
+r
2
) = 0. El haz es:
`

C
1
+j

C
2
= `(2r
1
r
0
+r
2
) (2r
1
r
0
r
2
) +j(r
2
r
0
) (r
0
+r
2
) = 0.
Como contiene al punto C(1, 1, 0) se tiene que vericar:
`

C
1
+j

C
2
= `(2 1) (2 1) +j(1) = 0 ==j = 9`.
Luego la cnica pedida es:

C
1
+ 9

C
2
= (2r
1
r
0
+r
2
) (2r
1
r
0
r
2
) + 9 (r
2
r
0
) (r
0
+r
2
) = 0
= 4r
2
1
8r
2
0
4r
0
r
1
+ 8r
2
2
= 0
3.1.2 Dos puntos simples y uno doble
El haz `

C + j

C
0
tiene tres puntos base , 1, C, uno de ellos, C, es un punto
doble. Este caso se obtiene como caso lmite del anterior (cuando C = 1) y tiene
dos cnicas no regulares:

C
1
= r('1)r(C '1) = r:,

C
2
= r('C)r(1'1)
(la cnicas

C
2
y

C
3
del caso anterior coinciden). La situacin es la de la siguiente
gura:
34
La recta r es tangente a cualquier cnica regular del haz. El haz se puede
plantear como:
`

C
2
+jr: = 0
o tambin como:
`r
1
r
2
+jr: = 0
donde r
1
es la recta que contiene a los puntos y C y r
2
es la recta que contiene
a los puntos 1 y C.
Este tipo de haz nos puede servir para problemas de determinacin de cnicas
cuando tengamos como datos: una tangente de la cnica y su punto de tangencia
(sera la recta r de la gura) y que pase adems por tres puntos o por dos puntos
y algn dato ms de la cnica como que sea de cierto tipo, o que sea tangente
a cierta recta, etc...
Ejemplo. Determinar la cnica

C que es tangente a la cnica

C
1
= 4r
2
0
+
r
2
1
+ 4r
2
2
= 0 en el punto 1(1, 2, 0), sabiendo que contiene al punto Q(1, 0, 2) y
que

C

C
1
son los puntos de interseccin de

C
1
con la recta r = 3r
0
+2r
1
+r
2
=
0.
El punto 1

C
1
por tanto, su recta polar es la tangente a

C
1
en 1. Calcu-
lamos la recta polar de 1:
t = (1, 2, 0)
_
_
4 0 0
0 1 0
0 0 4
_
_
_
_
r
0
r
1
r
2
_
_
= 4r
0
+ 2r
1
= 0.
Por tanto tenemos la situacin que muestra el dibujo:
35
Utilizamos el siguiente haz de cnicas: `

C
1
+jrt = 0, esto es;
`
_
4r
2
0
+r
2
1
+ 4r
2
2
_
+j(3r
0
+ 2r
1
+r
2
) (4r
0
+ 2r
1
) = 0.
Como

C contiene al punto Q(1, 0, 2) se verica:
12` + 4j = 0 ==j = 3`.
Luego la cnica pedida es:

C =
_
4r
2
0
+r
2
1
+ 4r
2
2
_
3 (3r
0
+ 2r
1
+r
2
) (4r
0
+ 2r
1
) = 0.
3.1.3 Un punto simple y uno triple
El haz `

C
1
+ j

C
2
tiene dos puntos base , 1, uno de ellos, 1, es un punto
triple. Este caso se obtiene como caso lmite del anterior (cuando 1 = C = 1)
y tiene una cnica no regular:

C = rt, donde la recta t es la recta tangente a
las cnicas del haz en el punto triple 1. Este tipo de haz nos puede servir para
problemas de determinacin de cnicas cuando la cnica buscada sea tangente
a una cnica dada

C
1
en un punto 1 y pase por cierto punto de la cnica

C
1
dada.
La cnica degenerada rt donde r es la recta que contiene a y 1 y la recta
t es la recta tangente a

C
1
en 1 (recta polar de 1 respecto de

C
1
). Luego
considerariamos el haz:

C
1
+`rt = 0.
Para determinar la cnica

C
2
necesitariamos algn dato ms: que pase por un
punto dado, etc...
Ejemplo. Determinar la cnica

C tangente a la cnica

C
1
= r
2
0
+r
2
1
2r
2
2

4r
0
r
2
= 0 en el punto 1(1, 1, 0) y que contiene a los puntos Q(1, 1, 0) C
1
y
1(1, 2, 1).
El punto 1

C
1
por tanto, su recta polar es la tangente a

C
1
en 1. Calcu-
lamos la recta polar de 1:
t = (1, 1, 0)
_
_
1 0 2
0 1 0
2 0 2
_
_
_
_
r
0
r
1
r
2
_
_
= r
0
+r
1
2r
2
= 0.
Consideramos la recta que contiene a 1 y Q
r = det
_
_
r
0
1 1
r
1
1 1
r
2
0 0
_
_
= 0 ==2r
2
= 0.
Utilizamos el siguiente haz de cnicas: `

C
1
+jrt = 0; esto es,
`
_
r
2
0
+r
2
1
2r
2
2
+ 2r
0
r
2
_
+j
_
r
0
r
2
+r
1
r
2
2r
2
2
_
= 0.
Como la cnica buscada contiene al punto 1(1, 2, 1) se verica:
`(1 + 4 2 + 2) +j(1 + 2 2) = 0 ==j = 3`.
La cnica buscada es

C = r
2
0
+r
2
1
2r
2
2
+ 2r
0
r
2
+ 3
_
r
0
r
2
+r
1
r
2
2r
2
2
_
= 0.
36
3.1.4 Un punto de orden cuatro
El haz `

C
1
+ j

C
2
tiene un punto base de orden cuatro. Este tipo de haz lo
utilizaremos cuando nos den una cnica

C
1
y nos pidan determinar otra sabiendo
que, en un cierto punto

C
1
estas cnicas tienen un contacto de tercer orden
y adems que es de cierto tipo, o pasa por un punto dado o es tangente a una
recta dada.
El haz de cnicas tangentes a

C
1
en el punto tiene la siguiente expresin:
`

C
1
+jt
2
= 0.
3.1.5 Dos puntos dobles
En este caso la conguracin del haz es la de la siguiente gura:
El haz tiene dos cnicas degeneradas: una es la formada por el par de rectas
r
A
r
B
y la otra es la formada por la recta de puntos dobles r. La ecuacin del
haz es

C
;
= `r
A
r
B
+jr
2
= 0.
La familia de todas las hiprbolas que tienen dos rectas r y : como asintotas,
forman un haz de este tipo con ecuacin:

C
;
= `r: +jr
2
0
= 0.
Ejemplo. Determinar la cnica

C tal que:
1. Pasa por el origen de la referencia y la tangente en l es la recta r =
6r
1
+r
2
= 0.
2. Es tangente a la circunferencia

C
1
de centro (4, 6) y radio 2 en el punto
Q(4, 4).
3. Los ejes de la cnica son paralelos a los ejes de coordenadas.
El origen de referencia es el punto 1 [(1, 0, 0)] y la circunferencia dada es:
(r
1
4)
2
+ (r
2
+ 6)
2
= 4 ==12r
2
8r
1
+r
2
1
+r
2
2
+ 48 = 0.
En el plano proyectivo, la circunferencia tiene ecuacin:
12r
0
r
2
8r
0
r
1
+r
2
1
+r
2
2
+ 48r
2
0
= 0.
37
La tangente a

C
1
en el punto Q[(1, 4, 4)] es
r
Q
= (1, 4, 4)
_
_
48 4 6
4 1 0
6 0 1
_
_
_
_
r
0
r
1
r
2
_
_
= 8r
0
+ 2r
2
= 0.
La recta que contiene a 1 y Q tiene ecuacin:
: = det
_
_
r
0
1 1
r
1
0 4
r
2
0 4
_
_
= 4r
1
+ 4r
2
= 0.
Consideramos el haz de cnicas tangentes a la recta r = 6r
1
+ r
2
= 0 en el
punto 1 y que contiene al punto 1, C
;
= `r r
Q
+j:
2
= 0, esto es,

C
;
= `(6r
1
+r
2
) (4r
0
+r
2
) +j(r
1
+r
2
)
2
= 0;
esto es,

C
;
= `
_
24r
0
r
1
+ 4r
0
r
2
+ 6r
1
r
2
+r
2
2
_
+j
_
r
2
1
+r
2
2
+ 2r
1
r
2
_
= 0
La matriz del haz es
=
_
_
0 12` 2`
12` j 3` +j
2` 3` +j ` +j
_
_
Como los ejes de la cnica buscada son paralelos a los ejes de coordenadas la
matriz

00
=
_
j 3` +j
3` +j ` +j
_
debe ser una matriz diagonal. Por tanto, j = 3`. La cnica buscada tiene
ecuacin:

C = (6r
1
+r
2
) (4r
0
+r
2
) 3 (r
1
+r
2
)
2
= 0.
3.1.6 Ejercicios
Ejercicio 1 Determinar la cnica

C con asntotas la recta 2r
0
r
1
2r
2
= 0
y una recta paralela a la recta r
1
= 0 y tal que el punto 1 [1, 1, 0] es polo
de la recta 2r
1
+r
2
3r
0
= 0 respecto de la cnica.
38
Solucin Una recta paralela a la recta r
1
= 0 tiene ecuacin: /r
0
+ r
1
= 0.
Por tanto, las asntotas de

C son las rectas r
1
= 2r
0
r
1
2r
2
= 0 y
r
2
= /r
0
+ r
1
= 0. La cnica

C tiene dos puntos impropios 1
1
, 1
2
pues
tiene dos asntotas distintas. Se tiene la situacin que muestra la gura:
Por tanto, la cnica que buscamos est en el siguiente haz de cnicas:

C
;
= `r
1
r
2
+jr
2
0
= 0;
esto es,

C
;
= `(2r
0
r
1
2r
2
) (/r
0
+r
1
) +jr
2
0
= 0,
con matriz asociada
=
_
_
j + 2/` `
b
2
` /`
`
b
2
` ` `
/` ` 0
_
_
Por ltimo, como el punto 1 es polo de la recta 2r
1
+ r
2
3r
0
= 0
respecto de

C, se tiene que cualquier punto de dicha recta y el punto 1
son conjugados. Tomo los puntos Q
1
[(1, 0, 3)] y Q
2
[(0, 1, 2)] de la recta.
Como Q
1
y Q
2
son conjugados con 1 se tiene:
0 = (1, 0, 3)
_
_
j + 2/` `
b
2
` /`
`
b
2
` ` `
/` ` 0
_
_
_
_
1
1
0
_
_
=
_
2 +
3
2
/
_
` +j,
0 = (0, 1, 2)
_
_
j + 2/` `
b
2
` /`
`
b
2
` ` `
/` ` 0
_
_
_
_
1
1
0
_
_
=
_
2 +
3
2
/
_
`.
De donde obtenemos que j = 0 y / = 4,3. La cnica es:

C = (2r
0
r
1
2r
2
)
_

4
3
r
0
+r
1
_
= 0.
Ejercicio 2 Determinar la cnica

C que contiene al origen y tiene las mismas
asntotas que la cnica

C
1
= 2r
2
0
+ 3r
2
1
3r
2
2
2r
0
r
1
14r
1
r
2
= 0.
39
Solucin La cnica

C
1
tiene matriz asociada

1
=
_
_
2 1 0
1 3 7
0 7 3
_
_
y es de tipo hiperblico ya que det
00
= 9 49 < 0. Por tanto, tiene
dos puntos impropios 1
1
, 1
2
que coinciden con los puntos impropios de
la cnica a determinar. La cnica

C es una cnica del haz que tiene por
ecuacin:

C
;
= `C
1
+jr
2
0
= 0;
esto es,

C
;
= `
_
2r
2
0
+ 3r
2
1
3r
2
2
2r
0
r
1
14r
1
r
2
_
+jr
2
0
= 0.
Como adems contiene al origen, O = [(1, 0, 0)], debe cumplirse que 2` +
j = 0. Por tanto, la cnica buscada es

C = `
_
2r
2
0
+ 3r
2
1
3r
2
2
2r
0
r
1
14r
1
r
2
_
2`r
2
0
= 0;
esto es,

C = 3r
2
1
3r
2
2
2r
0
r
1
14r
1
r
2
= 0.
40
4 Cudricas
Sea P
3
= P(R
4
) el espacio proyectivo real tridimensional.
Denicin. Una cudrica

Q en P
3
determinada por una forma cuadrtica
. : R
4
R es el conjunto de puntos de P
3
denido por:

Q = A P
3
[ .(A) = 0
Sea = O, 1 un sistema de referencia en A
3
y sea
=
_
_
_
_
a
00
a
01
a
02
a
03
a
01
a
11
a
12
a
13
a
02
a
12
a
22
a
23
a
03
a
13
a
23
a
33
_
_
_
_
la matriz asociada a la forma cuadrtica . entonces

Q = A P
3
[ A
t
A = 0
=
_
_
_
[(r
0
, r
1
, r
2
, r
3
)] P
3
[
3

i=0
3

j=0
a
ij
r
i
r
j
= 0
_
_
_
La cudrica afn denida por la forma cuadrtica . es el subconjunto Q de A
3
denido por
Q = A A
3
[ .(
~
A) = 0,
donde
~
A = (1, r
1
, r
2
, r
3
), con (r
1
, r
2
, r
3
) A
3
. Se cumple Q

Q.
4.1 Puntos singulares y clasicacin proyectiva
Sea

Q una cudrica proyectiva determinada por una forma cuadrtica . : R
4

R, con forma polar ) : R

4
R
4
R y matriz asociada respecto de cierto
sistema de referencia.
Deniciones.
Se dice que dos puntos , 1 P
3
son conjugados respecto de

Qsi )(, 1) =
0.
Se dice que un punto 1 P
3
es un punto autoconjugado respecto de

Q si
.(1) = )(1, 1) = 0.
Se dice que un punto 1 P
3
es un punto singular de

Q si es conjudado
con cualquier punto de P
3
; esto es, )(1, A) = 0 para todo punto A P
3
.
Esto es, si
)(1, A) = 1
T
A = 0, \A P
3
,
o equivalentemente,
1
T
= 0.
41
Se dice que un punto 1 P
3
es un punto regular de

Q si no es un punto
singular.
La cudrica

Q es no degenerada, regular u ordinaria si no tiene puntos
singulares.
La cudrica

Q es degenerada singular si tiene algn punto singular.
Observaciones: Sea

Q una cudrica proyectiva generada por una forma
cuadrtica ., con forma polar ) y matriz asociada .
1. Sea Sing(

Q) el conjunto de puntos singulares de

Q; esto es,
Sing(

Q) = A P
3
[ )(A, 1 ) = 0, para todo 1 P
3

= A P
3
[ A = 0.
Se tiene
dim(Sing(

Q)) = 3 rg().
2. Si A P
3
es un punto singular, entonces A

Q.
Demostracin. Tenemos que comprobar que .(A) = 0. Se tiene .(A) =
)(A, A) = 0 pues A es conjugado con cualquier punto, en particular con
l mismo.
3. La recta determinada por un punto singular A y un punto cualquiera de
la cudrica, 1

Q, est contenida en la cadrica.
Demostracin. Como A es singular sabemos que .(A) = 0 y )(A, 1 ) = 0
y como 1 pertenece a la cudrica .(1 ) = 0. Un punto cualquiera de la
recta determinada por A e 1 es de la forma 7 = `A +j1 . Tenemos que
comprobar que .(7) = 0. Se tiene:
.(7) = .(`A +j1 ) = )(`A +j1, `A +j1 )
= )(`A, `A +j1 ) +)(j1, `A +j1 )
= )(`A, `A) +)(`A, j1 ) +)(j1, `A) +)(j1, j1 )
= `
2
)(A, A) + 2`j)(A, 1 ) +j
2
)(1, 1 )
= `
2
.(A)
. .
0
+ 2`j)(A, 1 )
. .
0
+j
2
.(1 )
. .
0
= 0.
4. La recta formada por dos puntos singulares tiene todos sus puntos singu-
lares.
Demostracin. Sea 7 = `A+j1 un punto cualquiera de la recta formada
por dos puntos singulares A e 1 . Tenemos que comprobar que )(7, T) =
0, para todo T P
3
. Tenemos:
)(7, T) = )(`A +j1, T)
= )(`A, T) +)(j1, T)
= `)(A, T)
. .
0
+j)(1, T)
. .
= 0.
0
42
5. Si la cudrica

Q contiene un punto singular, entonces

Q est formada por
rectas que pasan por ese punto.
4.1.1 Clasicacin proyectiva
1. Si det ,= 0, entonces la cudrica

Q es ordinaria o no degenerada.
2. Si det = 0, entonces la cudrica

Q es degenerada.
(a) Si rg() = 3, entonces

Q tiene un nico punto singular 1.
Si 1 es un punto propio, entonces

Q es un cono de vrtice 1.
Si 1 es un punto impropio, entonces

Q es un cilindro.
(b) Si rg() = 2, entonces

Q tiene una recta de puntos singulares y

Q es
un par de planos con interseccin la recta de puntos singulares.
(c) Si rg() = 1, entonces

Q tiene un plano de puntos singulares y

Q es
un plano doble.
4.2 Polaridad denida por una cudrica
Sea

Q una cudrica con forma polar ) y matriz asociada . Sea 1 P
3
,
llamamos variedad polar de 1 respecto de la cudrica

Q al conjunto de puntos
conjugados de 1; esto es ,
\
P
= A P
3
[ )(1, A) = 0
= A P
3
[ 1
t
A = 0.
Si 1 P
3
es un punto singular, entonces \
P
= P
3
.
Si 1 P
3
no es un punto singular, entonces \
P
es un plano
P
y llamamos
plano polar de 1 respecto de la cudrica

Q:

P
= A P
3
[ 1
t
A = 0.
Denicin. Dado un plano del espacio P
3
, llamamos polo del plano
respecto de la cudrica

Q al punto cuyo plano polar es ; esto es,
P
= .
Si la ecuacin del pnao es
= n
0
r
0
+n
1
r
1
+n
2
r
2
+n
3
r
3
= l
T
A = 0,
con l = (n
0
, n
1
, n
2
, n
3
) y A = (r
0
, r
1
, r
2
, r
3
),
entonces
P
= si y slo si
1
T
A = l
T
A, para todo A P
3
equivalentemente,
1
T
= l
T
==1 = l.
Y si la cudrica

Q no es degenerada (por tanto, det ,= 0), entonces 1 =
1
l.
43
Teorema. Si el punto 1 pertenece al plano polar de un punto 1, entonces el
punto 1 est en el plano polar de 1.
Esto es debido a que la condicin de conjugacin )(1, 1) = 0 es simtrica
en 1 y 1.
Como hemos visto, dada una cudrica

Q, a cada punto 1 no singular, se le
asigna un plano (su plano polar) y recprocamente, a cada plano se le asigna
un punto (su polo).
Denicin. Se llama polaridad denida por una cudrica

Q a la aplicacin
que a cada punto no singular de

Q le hace corresponder su plano polar. Esto
es,
P
3
Sing(

C) Planos de P
3
1
P
Teorema fundamental de la polaridad
Los planos polares de los puntos de un plano de P
3
, respecto de una
cudrica regular

Q, pasan todas por un mismo punto que es precisamente el
polo de .
4.3 Interseccin de recta y cudrica
Sea

Q una cudrica proyectiva con forma polar ) y matriz asociada y sea
r la recta proyectiva que contiene a los puntos 1 = [(j
0
, j
1
, j
2
, j
3
)] y Q =
[(
0
,
1
,
2
,
3
)]. Un punto A P
3
est en la interseccin de la cnica y la recta
si y slo si:
_
A r
A

Q
==
_
A = `1 +jQ
.(A) = 0
==
_
A = `1 +jQ
.(`1 +jQ) = 0
La condicin .(`1 +jQ) = 0 se escribe:
0 = `
2
.(1) + 2`j)(1, Q) +j
2
.(Q).
Dividiendo la ecuacin anterior por j
2
y escribiendo t = `,j se obtiene la
siguiente ecuacin de segundo grado:
0 = .(1)t
2
+ 2)(1, Q)t +.(Q)
con discriminante
= )(1, Q)
2
.(1).(Q).
Si )(1, Q) = 0, .(1) = 0 y .(Q) = 0, entonces 1, Q

Q y, por tanto,
r

Q.
Si no todos los coecientes de la ecuacin de segundo grado 0 = .(1)t
2
+
2)(1, Q)t + .(Q) son nulos, entonces hay dos puntos de corte (las dos
soluciones de la ecuacin).
44
1. Si = )(1, Q)
2
.(1).(Q) 0, la recta y la cudrica se cortan en
dos puntos reales distintos. La recta se dice que es una recta secante
a la cudrica.
2. Si = )(1, Q)
2
.(1).(Q) = 0, la recta y la cudrica se cortan
en un punto doble. La recta se dice que es una recta tangente a la
cudrica.
3. Si = )(1, Q)
2
.(1).(Q) < 0, la recta y la cnica se cortan en
dos puntos imaginarios distintos. La recta se dice que es una recta
exterior a la cudrica.
4.3.1 Variedad tangente a una cudrica
Denicin. La variedad tangente a una cudrica

Q en un punto 1

Q, es el
conjunto de puntos A P
3
tales que la recta que une 1 y A es tangente a la
cudrica

Q; esto es,
T
P

Q = A P
3
[ = )(1, A)
2
.(1).(A) = 0
= A P
3
[ )(1, A) = 0.
Observaciones.
1. Si 1

Q es un punto regular, entonces
T
P

Q = A P
3
[ )(1, A) = 0
= A P
3
[ 1
t
A = 0
es un plano, llamado el plano tangente a

Q en 1. De hecho, coincide con
el plano polar del punto 1; esto es, T
P

Q =
p
.
2. Si 1

Q es un punto singular, entonces T
P

Q = P
3
.
3. Si 1 ,

Q, podemos denir la variedad tangente a

Q en 1 ,

Q como el
conjunto de puntos A P
3
tales que la recta que une 1 y A es tangente
a la cudrica

Q; esto es,
T
P

Q = A P
3
[ recta A1 es tangente a

Q
= A P
3
[ = )(1, A)
2
.(1).(A) = 0
= A P
3
[ )(1, A)
2
= .(1).(A).
Y se cumple que T
P

Q es una cudrica degenerada que tiene a 1 como
punto singular.
4.4 Clasicacin afn y elementos notables de las cudricas
Sea A
3
= P(R
4
) el espacio afn proyectivizado, con sistema de referencia =
O, 1. Y sea . una forma cuadrtica con matriz asociada . Sea

Q = A P
3
(R
4
) [ .(A) = 0
45
una cudrica proyectiva con cudrica afn
Q =

Q A
3
= A A
3
[ .(
~
A) = 0, donde
~
A = (1, r
1
, r
2
, r
3
).
4.4.1 Centro de una cudrica afn
Denicin. Se llama centro de una cudrica afn Q al polo del plano del innito
si ese punto es un punto propio (si no lo es, se dice que el centro de la cudrica
es impropio).
La ecuacin del plano del innito es r
0
= 0 y la ecuacin de la cudrica
es A
t
A = 0. Por tanto, el polo del plano del innito es el punto 1 tal que
1
t
= (1, 0, 0, 0).
Proposicin. El centro de una cudrica afn es centro de simetra. Cualquier
recta que pase por el centro de una cudrica corta a la cudrica en dos puntos
simtricos respecto del centro.
4.4.2 Posicin relativa de la cudrica y el plano del innito
Sea
1
= r
0
= 0 la ecuacin del pano del innito y sea la cudrica proyectiva

Q determinada por una forma cuadrtica . y con matriz asociada

=
_
_
_
_
a
00
a
01
a
02
a
03
a
01
a
11
a
12
a
13
a
02
a
12
a
22
a
23
a
03
a
13
a
23
a
33
_
_
_
_
.
Se tiene:

Q
1
= A
1
[ .(A) = 0 =
_
(0, r
1
, r
2
, r
3
) [ A
t
A = 0
_
esto es,

Q
1
= a
11
r
2
1
+a
22
r
2
2
+a
33
r
2
3
+ 2a
12
r
1
r
2
+ 2a
13
r
1
r
3
+ 2a
23
r
2
r
3
= 0,
luego

Q
1
es una cnica en el plano del innito
1
con matriz

00
=
_
_
a
11
a
12
a
13
a
12
a
22
a
23
a
13
a
23
a
33
_
_
.
Proposicin. La cudrica

Q tiene centro si y slo si det
00
,= 0. Adems,
Si det
00
,= 0, entonces la cnica

Q
1
es regular y

Q tiene centro.
Si det
00
= 0, entonces la cnica

Q
1
es degenerada y

Q no tiene
centro.
46
4.4.3 Dimetros de una cudrica
Denicin. Se llama dimetro de una cudrica

Q a toda recta que contienen al
centro de

Q.
Denicin. Se llama plano diametral de una cudrica

Q a los planos que
contienen al el centro de

Q.
Denicin. Dos dimetros 1 y 1
0
se dice que son conjugados si sus puntos
impropios son conjugados.
Denicin. Se llama plano diametral polar de un dimetro 1 al plano polar
del punto del impropio de 1.
4.4.4 Ejes de una cudrica con centro propio
Denicin. Se llama eje de una cudrica

Q al dimetro que es perpendicular a
su plano diametral polar.
Sea

Q una cudrica proyectiva con matriz asociada . Y sea
00
la matriz
de la cnica

Q
1
. Como

Q tiene centro propio 7, la matriz
00
es no
singular, luego sus tres autovalores son no nulos `
1
, `
2
y `
3
. Sean
1
,
2
y
3
los
autovectores asociados a `
1
, `
2
y `
3
respectivamente (elegimos los autovectores
ortogonales dos a dos). Los ejes

Q son las rectas que pasan por el centro, 7, y
tienen direcciones los vectores
1
,
2
y
3
, respectivamente.
La referencia = 7, (
1
,
2
,
3
) nos proporciona una referencia cartesiana
autoconjugada.
Se pueden dar tres casos:
1. Los tres autovalores son distintos. Entonces

Q tiene tres ejes que son
ortogonales dos a dos.
2. Un autovalor es doble, `
1
= `
2
, y el otro, `
3
, es simple. Entonces la
dimensin del subespacio de autovectores asociado al autovalor doble es
dim\
1
= 2 y dim\
3
= 1. Luego \
1
es un plano de ejes perpendiculares al
eje \
3
. En este caso la cudrica

Q es una cudrica de revolucin alrededor
del eje correspondiente al autovalor `
3
.
3. Los tres autovalores coinciden, `
1
= `
2
= `
3
. Entonces cualquier dimetro
es eje y la cudrica es una esfera.
Denicin. Se llaman planos principales de una cudrica

Q a los planos
diametrales polares de los ejes.
4.4.5 Cono asinttico
Denicin. Se llaman asntotas de una cudrica

Q a las tangentes a la cnica
en sus puntos impropios.
Sea

Q una cudrica proyectiva con centro propio 7.
47
Denicin. La variedad tangente a la cudrica

Qdesde el centro 7 [(.
0
, .
1
, .
2
, .
3
)]
es un cono que recibe el nombre de cono asinttico. La ecuacin del cono asin-
ttico es la siguiente:
)(7, A)
2
.(7).(A) = 0 ==(7
t
A)(7
t
A) (7
t
7)(A
t
A) = 0
== r
2
0
.
0
(A
t
A) = 0
== r
2
0

det
00
det
(A
t
A) = 0
equivalentemente
det
det
00
r
2
0

Q = 0.
Las cudricas de tipo elptico tienen un cono asinttico imaginario y las cudri-
cas de tipo hiperblico tienen un cono asinttico real.
Las generatrices del cono (rectas del cono) son los dimetros tangentes a la
cudrica.
Llamamos plano asinttico a los planos polares de los puntos de la cnica
impropia de

Q (

Q
1
= C) (si existen).
Ejemplo 1. Sea la cudrica Q = r
2
1
+ 3r
2
3
+ 4r
1
r
2
+ 2r
3
+ 2 = 0.
La matriz de Q es:
=
_
_
_
_
2 0 0 1
0 1 2 0
0 2 0 0
1 0 0 3
_
_
_
_
El determinante de es det = 20, cudrica con centro propio:
_
.
0
.
1
.
2
.
3
_
_
_
_
_
2 0 0 1
0 1 2 0
0 2 0 0
1 0 0 3
_
_
_
_
= j
_
1 0 0 0
_
,
esto es,
_

_
2.
0
+.
3
= j
.
1
+ 2.
2
= 0
2.
1
= 0
.
0
+ 3.
3
= 0
El centro es: 7 [(1, 0, 0, 1,3)].
Ecuacin del cono asinttico:
det
det
00
r
2
0

Q = 0 ==
20
12
r
2
0
(r
2
1
+ 3r
2
3
+ 4r
1
r
2
+ 2r
3
r
0
+ 2r
2
0
) = 0
== 2r
0
r
3
+ 4r
1
r
2
+
1
3
r
2
0
+r
2
1
+ 3r
2
3
= 0
48
4.5 Invariantes mtricos de una cudrica

Q
Sea la cadrica

Q con matriz asociada ; esto es,

Q = A
T
A = 0. Son
invariantes Euclideos de la cudrica los siguientes valores:
det
Autovalores de
00
: `
1
, `
2
, `
3
o equivalentemente: det
00
, tr
00
= a
11
+
a
22
+a
33
y
J =

a
11
a
12
a
12
a
22

a
11
a
13
a
13
a
33

a
22
a
23
a
23
a
33

siendo
=
_
_
_
_
a
00
a
01
a
02
a
03
a
01
a
11
a
12
a
13
a
02
a
12
a
22
a
23
a
03
a
13
a
23
a
33
_
_
_
_
y
00
=
_
_
a
11
a
12
a
13
a
12
a
22
a
23
a
13
a
23
a
33
_
_
.
La ecuacin caracterstica de
00
es:
[
00
`1
3
[ = `
3
+ tr
00
`
2
J` + det
00
= 0.
Por tanto, `
1
, `
2
y `
3
son las races de la ecuacin [
00
`1
3
[ = 0.
Si det
00
,= 0, entonces la cnica

Q
1
es regular y

Q tiene centro.
Si det
00
= 0, entonces la cnica

Q
1
es no regular. Se trata de una
cudrica de gnero paraboloide, puede carecer de centro, tener una recta de
centros o incluso poseer un plano de centros.
4.5.1 Clasicacin de las cudricas con det
00
,= 0.
Al ser det
00
= `
1
`
2
`
3
,= 0, en cierto sistema de referencia la matriz de la
cudrica es
_
_
_
_
d
0
0 0 0
0 `
1
0 0
0 0 `
2
0
0 0 0 `
3
_
_
_
_
y, por tanto, la ecuacin reducida de la cudrica es d
0
r
2
0
+`
1
r
2
1
+`
2
r
2
2
+`
3
r
2
3
= 0
con d
0
=
det A
det A00
y se trata de cudricas con centro.
Si det = d
0
`
1
`
2
`
3
,= 0 (esto es, rg() = 4) entonces se trata de cudricas
ordinarias. Distinguimos dos casos: los autovalores de
00
tienen el mismo
signo o dos tienen el mismo signo y el otro tiene signo opuesto.
1. Si signo(`
1
) = signo(`
2
) = signo(`
3
) (+ + + o ), se dice que
00
tiene signatura 3, sig
00
= 3, y pueden suceder los siguientes casos:
49
(a) Si signo(d
0
) = signo(`
1
) = signo(`
2
) = signo(`
3
), entonces det 0
y la ecuacin reducida de la cudrica es
d
0
r
2
0
= `
1
r
2
1
+`
2
r
2
2
+`
3
r
2
3
==
x0=1
1 =
r
2
1
d
0
,`
1
+
r
2
2
d
0
,`
2
+
r
2
3
d
0
,`
3
y, llamando a
2
= d
0
,`
1
, /
2
= d
0
,`
2
y c
2
= `
0
,`
3
(pues son los tres
positivos) tenemos
1 =
r
2
1
a
2

r
2
2
/
2

r
2
3
c
2
que es un elipsoide imaginario.
(b) Si signo(d
0
) ,= signo(`
1
) = signo(`
2
) = signo(`
3
), entonces det < 0
y la ecuacin reducida de la cudrica es
d
0
r
2
0
= `
1
r
2
1
+`
2
r
2
2
+`
3
r
2
3
==
x0=1
1 =
r
2
1
d
0
,`
1
+
r
2
2
d
0
,`
2
+
r
2
3
d
0
,`
3
y, llamando a
2
= d
0
,`
1
, /
2
= d
0
,`
2
y c
2
= `
0
,`
3
(pues son los
tres positivos) tenemos
1 =
r
2
1
a
2
+
r
2
2
/
2
+
r
2
3
c
2
luego la cudrica es un elipsoide, y si adems a
2
= /
2
= c
2
obtenemos
una esfera.
2. Si signo(`
1
) = signo(`
2
) ,= signo(`
3
) (+ + o +) se dice que
00
tiene signatura 1, sig
00
= 2, y pueden suceder los siguientes casos:
(a) Si signo(d
0
) ,= signo(`
1
) = signo(`
2
) ,= signo(`
3
), entonces det 0
y la ecuacin reducida de la cudrica es
d
0
r
2
0
= `
1
r
2
1
+`
2
r
2
2
+`
3
r
2
3
==
x0=1
1 =
r
2
1
d
0
,`
1
+
r
2
2
d
0
,`
2

r
2
3
d
0
,`
3
y, llamando a
2
= d
0
,`
1
, /
2
= d
0
,`
2
y c
2
= d
0
,`
3
(pues son los
tres positivos) tenemos
1 =
r
2
1
a
2
+
r
2
2
/
2

r
2
3
c
2
Se trata de un hiperboloide hiperblico.
(b) Si signo(d
0
) = signo(`
1
) = signo(`
2
) ,= signo(`
3
), entonces det 0
y la ecuacin reducida de la cudrica es
d
0
r
2
0
= `
1
r
2
1
+`
2
r
2
2
+`
3
r
2
3
==
x0=1
1 =
r
2
1
d
0
,`
1

r
2
2
d
0
,`
2
+
r
2
3
d
0
,`
3
50
y, llamando a
2
= d
0
,`
1
, /
2
= d
0
,`
2
y c
2
= d
0
,`
3
(pues son los tres
positivos) tenemos
1 =
r
2
1
a
2

r
2
2
/
2
+
r
2
3
c
2
La cudrica es un hiperboloide elptico.
Si det = d
0
`
1
`
2
`
3
= 0 (esto es, d
0
= 0 y rg() = 3) entonces se trata de
cudricas con centro degeneradas de ecuacin reducida `
1
r
2
1
+`
2
r
2
2
+`
3
r
2
3
= 0.
Distinguimos dos casos: los tres autovalores `
1
, `
2
y `
3
tienen el mismo signo o
dos tienen el mismo signo y el otro tiene signo opuesto.
1. Si signo(`
1
) = signo(`
2
) = signo(`
3
) (+++ o ), la ecuacin reducida
de la cudrica es
0 = `
1
r
2
1
+`
2
r
2
2
+`
3
r
2
3
y se trata de un cono imaginario que pasa por el origen.
2. Si signo(`
1
) = signo(`
2
) ,= signo(`
3
) (++ o +), la ecuacin reducida
de la cudrica es
0 = `
1
r
2
1
+`
2
r
2
2
`
3
r
2
3
luego la cudrica es un cono.
Cuadro de clasicacin de las cudricas con centro
det
00
,= 0
_

_
rg() = 4
regulares
_

_
sig
00
= 3
Elipsoides
_
det 0 imaginario
det < 0 real
sig
00
= 1
Hiperboloides
_
det 0 hiperblico
det < 0 elptico
rg() = 3
Conos
_
sig
00
= 3 Cono imaginario con un punto real
sig
00
= 1 Cono real
4.5.2 Clasicacin de las cudricas con det
00
= 0.
Al ser det
00
= `
1
`
2
`
3
,= 0, en cierto sistema de referencia la matriz de la
cudrica es
_
_
_
_
/
00
/
01
/
02
/
03
/
01
/
11
0 0
/
02
0 /
22
0
/
03
0 0 /
33
_
_
_
_
y, al ser det
00
= /
11
/
22
/
33
= 0, al menos uno de los coecientes /
ii
(i = 1, 2, 3)
ha de ser nulo. Supongamos /
33
= 0, por tanto, J = /
11
/
22
. La ecuacin
reducida de la cudrica es
0 = /
2
00
r
2
0
+/
11
r
2
1
+/
22
r
2
2
+ 2/
03
r
0
r
3
51
y det = /
2
03
/
11
/
22
.
Si J = /
11
/
22
,= 0 distinguimos varios casos.
1. Si det ,= 0 (esto es, /
03
,= 0) tenemos
(a) Si signo(/
11
) = signo(/
22
), esto es J 0, la ecuacin reducida de la
cudrica es
0 = 2/
03
r
0
r
3
+j
2
1
r
2
1
+j
2
2
r
2
2
luego la cudrica es un paraboloide elptico.
(b) Si signo(/
11
) ,= signo(/
22
), esto es J < 0, la ecuacin reducida de la
cudrica es (suponiendo /
11
0)
0 = 2/
03
r
0
r
3
+j
2
1
r
2
1
j
2
2
r
2
2
luego la cudrica paraboloide hiperblico.
2. Si det = 0 (esto es, /
03
= 0) la ecuacin reducida de la cudrica es
0 = j
0
r
2
0
+/
11
r
2
1
+/
22
r
2
2
y distinguimos varios casos
(a) Si j
0
,= 0 tenemos
i. Si signo(/
11
) = signo(/
22
), esto es J 0, la ecuacin reducida de
la cudrica es
0 = j
0
r
2
0
+j
2
1
r
2
1
+j
2
2
r
2
2
.
A. es cilindro elptico imaginario (j
0
0) cilindro elptico
(j
0
< 0).
ii. Si signo(/
11
) ,= signo(/
22
), esto es J < 0, la ecuacin reducida de
la cudrica es
0 = j
0
r
2
0
+j
2
1
r
2
1
j
2
2
r
2
2
.
la cudrica es un cilindro hiperblico.
(b) Si /
00
= 0 la ecuacin reducida de la cudrica es 0 = /
11
r
2
1
+/
22
r
2
2
.
i. Si signo(/
11
) = signo(/
22
), esto es J 0, la cudrica es un par
de planos imaginarios que se cortan y su ecuacin reducida es
0 = j
2
1
r
2
1
+j
2
2
r
2
2
.
ii. Si signo(/
11
) ,= signo(/
22
), esto es J < 0, la cudrica es un par
de planos que se cortan y su ecuacin reducida es
0 = j
2
1
r
2
1
j
2
2
r
2
2
.
52
Si J = 0 (/
22
= /
33
= 0). Tenemos det = 0, det
00
= 0, J = 0 y
tr
00
= /
11
. Consideramos un nuevo invariante
J
0
=

a
00
a
01
a
01
a
11

a
00
a
02
a
02
a
22

a
00
a
03
a
03
a
33

Se cumple que J
0
= /
00
/
11
y la ecuacin reducida de la cudrica es /
00
+/
11
r
2
1
=
0.
1. Si /
00
,= 0 (esto es, J
0
,= 0) tenemos
(a) Si signo(/
00
) = signo(/
11
), esto es J
0
0, la cudrica es un par de
planos imaginarios paralelos y su ecuacin reducida es 0 = j
2
0
r
2
0
+
j
2
1
r
2
1
.
(b) Si signo(/
00
) ,= signo(/
11
), esto es J
0
< 0, la cudrica es un par
de planos paralelos y su ecuacin reducida es 0 = j
2
0
r
2
0
j
2
1
r
2
1
=
(j
0
r
0
j
1
r
1
)(j
0
r
0
+j
1
r
1
).
2. Si /
00
= 0 (esto es, J
0
= 0) tenemos /
11
r
2
1
= 0 (= r
2
1
= 0) y se trata de
un par de planos coincidentes.
Cuadro de clasicacin de las cudricas con det
00
= 0
det
00
= 0
_

_
rg() = 4
regulares
_
J 0 Paraboloide elptico
J < 0 Paraboloide hiperblico
rg() = 3
cilindros
_

_
J 0 Cilindro elptico real
J < 0 Cilindro hiperblico
J = 0 Cilindro parablico
rg() = 2
par de planos
_

_
J 0 Par de planos imaginarios (recta)
J < 0 Par de planos secantes
J = 0 Par de planos paralelos
_
imaginarios
reales
rg() = 1 plano doble
53
4.5.3 Cuadro de la clasicacin de las cudricas anes de R
3
r g . s i g .
c u d r i c a
p r oye c t i va
p l a n o d e l i n n i t o c u d r i c a a f n p t o s d e l i n n i t o
4 4
c u d r i c a va c a
n o d e g e n r a d a
c u a l q u i e r a va c a 0
4 2
c u d r i c a
n o r e g l a d a
e x t e r i o r
t a n g e nt e
s e c a nt e
e l i p s o i d e
p a r a b o l o i d e e l p t i c o
p a r a b o l o i d e e l p t i c o
0
1
c n i c a n o d e g e n r a d a
4 0
c u d r i c a
r e g l a d a
t a n g e nt e
s e c a nt e
p a r a b o l o i d e h i p e r b l i c o
p a r a b o l o i d e e l p t i c o
d o s r e c t a s
c n i c a n o d e g e n r a d a
3 3
c o n o i m a g i n a r i o
( p u nt o )
l o c o nt i e n e
n o l o c o nt i e n e
va c o
u n p u nt o
1
0
3 1 c o n o
s e c a nt e e n e l v r t i c e
t a n g e nt e
s e c a nt e e n d o s g e n e r a t r i c e s
s e c a nt e a t o d a s l a s g e n e r a t r i c e s
c i l i n d r o e l p t i c o
c i l i n d r o p a r a b l i c o
c i l i n d r o h i p e r b l i c o
c o n o
1
r e c t a d o b l e
d o s r e c t a s
c n i c a n o d e g e n r a d a
2 2
p a r d e p l a n o s
i m a g i n a r i o s ( r e c t a )
n o l a c o nt i e n e
l a c o nt i e n e
u n a r e c t a
va c a
1
u n a r e c t a
2 0 p a r d e p l a n o s
s e c a nt e a l o s d o s
s e c a nt e e n s u i nt e r s e c c i n
c o i n c i d e nt e c o n u n o d e e l l o s
d o s p l a n o s s e c a nt e s
d o s p l a n o s p a r a l e l o s
u n p l a n o
d o s r e c t a s
r e c t a d o b l e
t o d o e l p l a n o
1 1 p l a n o d o b l e
t r a n s ve r s a l
c o i n c i d e nt e
p l a n o d o b l e
va c a
r e c t a d o b l e
t o d o e l p l a n o
Cudrica no reglada
5 Referencias
J. M. Aroca Hernndez-Ros, M. J. Fernndez Bermejo, Notas de Geometra
Proyectiva, Universidad de Valladolid, 2002.
54
F. Etayo Gordejuela, Apuntes de Geometra Proyectiva, Universidad de
Cantabria.
J. G. Semple, G. T. Kneebone, Algebraic projective geometry, Springer-
Verlag, 1988.
J. L. Pinilla, Lecciones de programacin lineal-cnicas-cudricas-supercies,
Ed. Varicop, Madrid, 1971.
55