Cudricas la Keilhauer

borrador 0.2
Francisco Kordon

30 de agosto de 2016

ndice
1. Recuerdos de lgebra lineal 1

2. Cudricas 4

3. Clasificacin 10
3.1. Ecuacin normal afn de las cudricas . . . . . . . . . . . . . . . . . . . . 10
3.2. Caso eucldeo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Estas son notas tomadas de las notas de Guillermo Keilhauer.

1. Recuerdos de lgebra lineal

Un punto v en Rn frecuentamente se dibuja como una flecha de 0 a v. En muchas
situaciones es conveniente pensar en la misma flecha pero saliendo de un punto
p Rn . Por ejemplo, si c : R Rn es una curva diferenciable y t R, entonces
c(t) = (c1 (t), . . . , cn (t)) es un punto de Rn ; el segmento que une c(t) y c(t) + c 0 (t) es
tangente a la curva y el vector tangente"c 0 (t) de la curva c se dibuja como una flecha
de c(t) a c(t) + c 0 (t) [?., spivak1]
1.1. Fijemos V = (V, +, ) un R-espacio vectorial de dimensin n. Dado p V, daremos {para:traslacion}
otra (si p 6= 0) estructura de R-espacio vectorial de manera que p cumpla el rol del
origen. Notemos +p y p a las nuevas operaciones; las definimos por

x +p y = x + y p
p x = p + (x p).

Puede verificarse que VA = (V, +p , + ) resulta un R-espacio vectorial.

Proposicin. Sea p V. La traslacin tp : V 3 v 7 v + p Vp es un isomorfismo de espacios

vectoriales.

1
Demostracin. Claramente, tp es una biyeccin de conjuntos. Hay que constatar que
respeta suma y producto; en efecto, tenemos

tp (x) +p tp (y) = (x + p + y + p) p = x + y + p = tp (x + y)
y
tp (x) = x + p = p + (x + p) p = p tp (x),

como queramos.

Observemos que para cada p, q V, la traslacin de Vp a Vq que consiste en sumar

q p es la composicin de tq y tp , y por lo tanto es tambin un isomorfismo de
espacios vectoriales.
Para cada p V, {v1 , . . . , vn } es una base de V sii {v1 + p, . . . , vn + p} es una base de
Vp . En particular, si x tiene coordenadas x1 , . . . , xn respecto de una base {v1 + p, . . . , vn +
p} de Vp , es

x = x1 p (vn + p) +p . . . +p xn p (vn + p) = tp (x1 v1 + . . . + xn vn )

(1) {eq:xencoord}
= x1 v1 + . . . + xn vn + p.

1.2. Recordemos de lgebra lineal (ver, por ejemplo [JST08]) que una subvariedad lineal jeron
de un espacio vectorial V un subconjunto que se deja escribir S + p, con S un subespacio
y p un punto de V. Observemos que S + p = tp (S); como tp es un isomorfismo, una
variedad lineal que pasa por p es un subespacio S de Vp .
Una funcin f : V V es una transformacin afn si existe p V tal que f :
(V, +, ) (V, +p , p ) es una transformacin lineal. Equivalentemente, f es afn sii
tp f es lineal sii f = p + g, con g : V V una transformacin lineal.
1.3. La aplicacin : V V R es una forma bilineal simtrica si es lineal respecto a
cada variable y (x, y) = (y, x) para cualquier x, y V.
El principal ejemplo que nos interesa es en el que V = Rn . Si M Mn (R) es
simtrica, (x, y) = xMyt es una forma bilineal simtrica.
Ejemplo. Algn ejemplo de una cudrica no trivial, con grafico de ser posible. !
Sean : V V R una forma bilineal simtrica, B := {v1 , . . . , vn } una base de V y
x, y V. Denotando por xi y yi , con 1 i n, a las coordenadas de x e y, tenemos

X
n X
n X
n
(x, y) = xi vi , yj v j = xi yj (vi , wj )
i=1 j=1 i,j=1

(v1 , w1 ) (v1 , wn ) y1
.
.. . .. .
.. .
= (x1 xn ) ..

(vn , w1 ) (vn , wn ) yn

La matriz kkB := ((vi , wj ))ni,j=1 se llama la matriz de con respecto a la base B.

Puede verificarse que si B 0 es otra base de V y C es la matriz de cambio de base de B 0

2
a B, entonces

kkB = CkkB 0 C1 .

En particular, se ve que el rango de la matriz de es independiente de la base elegida.

Definimos, pues, el rango de como tal nmero
Si : V V R es una forma bilineal simtrica, para cada x V podemos
considerar la aplicacin lineal L : V R definida por y 7 (x, y). Fijada una base B
de V, si xB := (x1 , . . . , xn ) son las coordenadas de x en B, tenemos que el ncleo de L
es

{x V | xB kkB = 0.}

Definimos, pues, el ncleo de por Nu := Nu L .

1.4. Una funcin : V R es una forma cuadrtica si (ax) = a2 (x) para todo
a R y x V. Si lo es, entonces

1
: V V 3 x, y 7 ((x + y) (x) (y)) R
2
es bilineal y simtrica. Recprocamente, dada una forma bilineal simtrica puede
construirse una forma cuadratica poniendo (x) = (x, x) y esta asignacin es la
inversa de la anterior.
{propo:diagsimetr}
1.5. Proposicin. Si : V V R es una forma bilineal simtrica entonces existe una base
B de V tal que kk es diagonal; los posibles valores de la diagonal son 1 , 1 y 0.

Demostracin. Hacer.

Sean y B como en la Proposicin 1.5. Sean s, r N0 tales que la cantidad de 1s

que aparecen en la diagonal de es s y de 1 es r s. Si es la forma cuadrtica
asociada a , tenemos

X
s X
r
(x) = x2i x2j .
i=1 j=s+1

Diremos que es
(i) definido positivo si s = r = n;
(ii) definido negativo si s = 0 y r = n;
(iii) semidefinido positivo si s = r < n;
(iv) semidefinido negativo si s = 0 y r < n;
(v) indefinido si s > 0 y r s > 0.

3
 y

Figura 1. Grficos del crculo, la parbola y la hiprbola, en azul, rojo y verde. {fig:2dcuadricas}

2. Cudricas
2.1. El crculo, la parbola y la hiprbola en R2 son los ceros de las funciones de R2 en
R dadas por x2 + y2 1, x2 y y x2 y2 1. Pueden verse en la Figura 1.
En R3 , la esfera, el cono, el cilindro, el paraboloide elptico (entre otros) se describen
como los ceros de ciertas funciones F : R3 R y estn ilustrados en la Figura 2 y en la
Figura 3.

Definicin. Sea V un espacio vectorial de dimensin n. Una funcin F : V R es una funcin

cuadrtica si es de la forma F = + 2 + c, siendo una forma cuadrtica no nula, una
funcin lineal y c una constante.
El conjunto Q := F1 (0) se denomina, si no es vaco, una cudrica. Cuando n = 2, se dice
tambin una cnica.
Sean B = {vi } una base de V, a = (aij ) la matriz de respecto a B y bi = (vi ). Si
x V tiene coordenadas xB = (x1 , . . . , xn ) en la base V, es
X
n X
n
F(x) = aij xi xj + 2 bi xi + c
i,j=1 i=1

y, en escritura matricial, esto es igual a xB axtB + bxtB + c.

2.2. Fijemos F una funcin cuadrtica como en la definicin anterior y supongamos {para:unicidad}
que tenemos otra escritura F = 0 + 2 0 + c 0 . Tomando x = 0 resulta c = c 0 ; evaluando
primero en x y despus en x es

(x) + 2(x) = 0 (x) + 2 0 (x),

(x) + 2(x) = 0 (x) + 2 0 (x), i.e. (x) 2(x) = 0 (x) 2 0 (x).

4
 z

x
y

Figura 2. El cono, que es la cudrica que corresponde a los ceros de F = x2 + y2

z2 , y el cilindro, F = x2 + y2 . {fig:cono,cilindro}

Sumando ambas ecuaciones obtenemos = 0 , y luego = 0 .

{propo:cambiodeor
2.3. Proposicin (cambio de origen). Si p V, existen nicos p : VP R forma cuadrtica
no nula, p : Vp R forma lineal y cp R tales que F = p + 2p + cp .

Demostracin. La unicidad es consecuencia de 2.2; veamos la existencia. Para esto,

deduzcamos cmo deben ser p , p y cp , asumiendo que F = + 2 + c. Para
empezar, es cp = F(p) = (p) + 2(p) + c. Como tp es un isomorfismo de espacios
p : VP R es una forma cuadrtica no nula
vectoriales, la composicin P := t1
sobre Vp . Definamos ahora p por la ecuacin

p + 2p + cp = + 2 + c.
{lema:fhi_p}
2.4. Lema. Es, para todo x V, p (x) = (x p, p) + (x p).
p (x), p) + tp (x), vemos que p : Vp R es suma de
Escribiendo p (x) = (t1 1

funciones que son composicin de t1 p : Vp V y una forma lineal en V: p resulta,

pues, lineal.

Centros de una cudrica

2.5. Sea Q una cudrica definida por F = + 2 + c. Si p V satisface que p = 0,
entonces F(x) = p (x) + cp = (x p) + cp . Como p (p x) = p (x) para todo x, es
cierta la implicacin x Q = p x Q. Es fcil ver que vale la implicacin recproca,
esto es, si p es tal que x Q = p x Q, entonces p = 0. Decimos, pues, que p es
un centro de Q si p = 0.

5
 z z

y x

Figura 3. El paraboloide y la esfera, que corresponden a los ceros de F = x2 +

y2 z y de F = x2 + y2 1. {fig:paraboloide,esf

Ejemplo. El cono es la cudrica Q obtenida como los ceros de F = x2 + y2 z2 . Aqu, la

parte lineal es cero, c = 0 y

1 0 0 x
= F = x2 + y2 z2 = (x, y, z) 0 1 0 y .
0 0 1 z

El punto (0, 0, 0) es un centro de Q. Supongamos que p es otro centro de Q; por la

Proposicin 2.3 podemos escribir p (x) = (x p), cp = F(p) y 2p = p cp . Si
es la forma bilineal asociada a , esto ltimo es igual a

(x, x) (x p, x p) (p, p)
= (x, x) (x, x) + (x, p) + (p, x) (p, p) (p, p) = 2(x, p).

Que valga cero (x, p) para todo x equivale a decir que el vector de coordenadas en la
base cannica de p est en el ncleo de la matriz de ; como sta es inversible, el nico
valor posible de p es cero. Concluimos que el centro del cono es 0.
2.6. Calculemos ahora el centro para una cudrica genrica Q : F = + 2 + c = 0.
Sean B una base de V y M = kkB , donde
P es la forma bilineal asociada a . Sean,
para cada 1 i n, bi = (vi ) y p = xi vi . Por el Lema 2.4, que p sea nula equivale
a que, para todo y V,

0 = (y p, p) + (y p)
P
o, equivalentemente, para todo z = zi vi V
t t
0 = (z, p) + (z) = zMx + zb
= z(Mxt + zbt ),

6
y esto ltimo es equivalente a que p sea tal que Mxt = bt . Notando QC al conjunto
de centros de la cudrica Q, hemos probado que

QC = {p con coordenadas x en B | Mxt = b}

Ejemplo. Ver que el centro del cilindro es la recta z = 0 y que el paraboloide elptico no
tiene centro {ej:defcono}
2.7. Ejemplo. Sea Q una cudrica que contiene un centro p. Escribiendo, como en 2.3,
F = p + p + cp , tenemos que p = 0 y cp = 0. As, si q Q y t R,

F(t p q) = p (t p q) = t2 p (q) = t2 F(q) = 0;

esto es, la recta Lq = R p q est contenida en Q. En este caso decimos que Q es un

cono; queda como ejercicio probar que, de hecho, cualquier centro de un cono debe
pertenecerle. 1

Reducibilidad
2.8. Sean V un R-espacio vectorial de dimensin n y Q : F(x) = (x) + 2(x) + c = 0.
Las siguientes afirmaciones son equivalentes:
(a) existe un hiperplano H de V tal que H Q;
(b) existen hiperplanos H1 y H2 de V tales que Q = H1 H2 ;
(c) existen 1 , 2 : V R lineales y no nulas y c1 , c2 R de manera que

F(x) = (1 (x) + c1 ) (2 (x) + c2 )

Si cualquiera de estas afirmaciones se satisfacen, Q se dice reducible.

Demostracin. Es claro que (c) implica (b) y que sta implica (a). Veamos que (a) implica
(c). Verlo.

Recta tangente y plano tangente

2.9. Ejemplo. En la Figura 3 se ve el grfico de la la esfera en R3 , que es la cudrica
S definida por F = x2 + y2 + z2 . Fijado un punto p S, el plano tangente puede
pensarse como el conjunto de velocidades al pasar por p de curvas contenidas en
S. Si, en efecto, c : (, ) S es una curva diferenciable con c(0) = p, por estar
contenida en S es kc(t)k = 1 para todo t y, derivando, vemos que c(t) y c 0 (t) son
perpendiculares. El plano perpendicular a p = (a1 , a2 , a3 ) viene dado por la ecuacin
a1 x1 + a2 x2 + a3 x3 = 0, y, si lo corremos hasta p, tenemos que

Tp S = {(x1 , x2 , x3 ) | a1 x1 + a2 x2 + a3 x3 = 1}.

1 Mirar la igualdad (2) si no sale.

7
 z

y
p

Figura 4. El plano tangente a la esfera en p. {fig:planotgteS}

Si x R3 , por el Lema 2.4 es

p (x) = (p, x p) + (x p) = pI(x p)t
= a1 (x1 a1 ) + a2 (x2 a2 ) + a3 (x3 a3 )
= a1 x1 + a2 x2 + a3 x3 1 = 0,
y entonces Tp S = {x R3 | p (x) = 0}. Afirmamos que las rectas de la forma Lq : t p
q, t R para q 6= p en el plano tangente son rectas tangentes a Q en p. En efecto,
evaluando en t = 0 vemos que 0 p q = p Lq , y la recta es perpendicular a p puesto
que q es un vector tangente.
Al evaluar F en t p q, buscamos la interseccin de S con Lq . Es F(t p q) = t2 p (q)
y, puesto que p (q) 6= 0 porque de lo contrario Lq S, vemos que t = 0 es una raz
doble.
2.10. Situacin general. Sean Q : F = + 2 + c = 0 una cudrica, p Q y {para:sitgeneral}
q V \ {p}. La interseccin entre Q y Lq = R p q se analiza estudiando los ceros de
f(t) = t2 p (q) + 2tp (q), que es la evaluacin de F, expresada como en la Proposicin
2.3, en un punto genrico de Lq parametrizado por t. Hay varias situaciones posibles.
Supongamos primero que

(a) p no es un centro de Q; equivalentemente, p 6= 0. Pueden pasar cuatro cosas; tres

de ellas pueden verse claramente en el cilindro en la Figura 5.
graficar?
(i) p (q) = 0 y p (q) = 0. Como cp = 0, esto dice que f(t) 0 y Lq Q. Este es
el caso del cilindro y una recta meridional.

8
 (ii)
p

(iv)

(i)

Figura 5. Las rectas de 2.10 para p = (1, 0, 0) en el cilindro. {fig:cilindrorectas}

(ii) p (q) = 0 y p (q) 6= 0, con lo que t = 0 es raz doble. Este es el caso de la

esfera cuando q est en Tp S; esto es, Lq es tangente a S. Tambin esto puede
verse en el cilindro, considerando una recta tangente contenida en el plano
z = 0.
(iii) p (q) 6= 0 y p (q) = 0: t = 0 es raz simple. Aqu Lq no es tangente a Q; lo
interseca de forma perpendicular.
(iv) p (q) 6= 0 y p (q) 6= 0: f tiene dos races; esto es, |L Q| = 2. Este es el caso
del cilindro y una recta que lo corta de manera genrica.

(b) p es un centro de Q. Aqu, solo quedan las primeras dos opciones pero con p centro
de Q; un ejemplo es el cono, que tiene su centro en el origen. Para la primera
opcin, la recta x = z (que corresponde, verbigracia, a L(1,0,1) ), est contenida en el
cono y pasa por el origen. Para la segunda, basta considerar un punto q en el plano
z = 0. graficar

{def:tangentes}
2.11. Definicin. Dado un punto p de Q que no es un centro esto es, p 6= 0, decimos
que Lq = R p q es una recta tangente a q en p si p (q) = 0. El (hiper) plano tangente a Q en
p, que denotamos Tp Q, es

Tp Q := {q V | p (q) = 0}.

Dado p centro de Q, la recta Lq es tangente a Q en p si p (q) = 0. En este caso, no hay

hiperplano tangente a Q en p salvo el caso en que Q es un hiperplano o unin de hiperplanos.

9
3. Clasificacin
3.1. Ecuacin normal afn de las cudricas
Con centros
Sea Q una cudrica que tiene centros. Hay dos posiblidades: bien QC Q = o
bien, si un centro est en Q, entonces todos lo estn y Q es un cono como en 2.7.
3.1. Sean Q un cono y sea p un centro en Q. Es F = p ; merced a la Proposicin 1.5
podemos elegir una base B = {v1 , . . . , vn } de V de manera que la forma bilineal
asociada a tenga matriz diagonal, con s la cantidad de 1s en y r tal que r s es la
cantidad de 1s. Cambiando F por F de ser necesario podemos suponer que s r s.
Ponemos, como en 1.1, wi = vi + p, y {wi } es una base de Vp . Escribiendo, como en (1),

x = x1 v1 + . . . + xn vn + p,
es
X
n X
s X
r
F(x) = (x p) = ( xi vi ) = x2i x2j .
i=1 i=1 j=s+1

Esta ltima expresin se denomina la ecuacin normal afn de Q.

3.2. Supongamos que Q no es un cono; sea p 6 Q un centro de Q: es F(q) 6= 0. Si q es
otro centro, F(q) = F(p): en efecto,

F(p) = q (p) + cq = (q p) + cq
(2) {eq:doscentros}
= p (q) + cq = F(q) cq + cq = F(q).

Definimos ahora G(x) = F(x)/F(p), y G(p) = 1. Escribiendo F con el origen en p,

1
G(x) = (p (x) + 2p (x) + cp ) = p0 (x) + cp0 ,
F(p)

con cp0 = cp /F(p) = 1. Sean 0 la forma bilineal asociada a 0 y B = {v1 , . . . , vn } una

base de V de modo que k 0 kB es como en la Proposicin 1.5. Escribiendo, como en (1),

x = x1 v1 + . . . + xn vn + p,
es
X
s X
r
G(x) = x2i x2j 1,
i=1 j=s+1

expresin que se denomina la ecuacin normal afn de Q.

10
Sin centros
Sea Q : F = + 2 + c = 0 una cudrica sin centros. Sean la forma cuadrtica
asociada a ; como en el caso del cono, reemplazando de ser necesario F por F
podemos suponer que s r s.
{lema:sincentros}
3.3. Lema. (i) Si Qc 6= entonces r < n y existe u Nu() tal que (u) 6= 0.
(ii) Si H es un hiperplano de V que no contiene a Nu() entonces r(|H ) = r() y s(|H ) =
s().

Demostracin. Llamando, para cada 1 i n, bi = (vi ) y xB = (xi ) a las coordenadas

de x en B, tenemos

Qc = {x V | kkB xtB = bt .}

Como Qc 6= , el determinante de kkB debe anularse, es decir, r < n y por lo tanto

existe 1 j n r tal que 0 6= br+j = (vr+j ). Como Nu() = hvr+1 , . . . , vn i, u = vr+j
sirve.
Si elegimos u Nu() y H hiperplano de V con u 6 H, se tiene que V = H hui;
tomando B 0 una base de H y llamando B = B 0 {u} es
 
k|H kB 0 0
kkB =
0 0

y, por lo tanto, r(|H ) = r() y s(|H ) = s().

3.4. Sean p Q, Tp = ker(p : vp R) el plano tangente a Q en p y

H = {x V | (x) + (p, x) = 0};

es, como en el Lema 2.4, Tp = p + H. Por el Lema 3.3, existe u Nu() tal que (u) 6= 0
y, como u 6 H, V = H hui y r(|H ) = r() y s(|H ) = s(). Sea B 0 = {v1 , . . . , vn+1 }
una base de H tal que |H es como en la Proposicin 1.5; {wi = vi + p} es una base de
Tp como subespacio de Vp . Siendo B = B 0 {u} una base de V, poniendo w = u + p
tenemos que para cada x V

x = x1 p w1 +p . . . +p xn1 p wn1 +p xn1 p w

= p + x1 v1 + . . . + xn1 vn1 + xn u,

y luego

F(x) = p (x) + 2p (x)

= p (x) + 2p (x1 p w1 +p . . . +p xn1 p wn1 +p xn1 p w)
= p (x) + 2x1 p (w1 ) + . . . + 2xn1 p (wn1 ) + 2xn p (w)
X s X
r
= p (x) + 2xn p (w) = x2i x2j + 2xn p (w).
i=1 j=s+1

11
Por otro lado,

p (w) = (p, w p) + (w p) = (p, u) + (u) = (u) 6= 0.

u
Cambiando ahora u por vn = 2(u) , es (vn ) = 12 y, llamando wN = vn + p, podemos
escribir x como en (1) para obtener

X
s X
r
F(x) = x2i x2j xn .
i=1 j=s+1

Esta escritura se denomina la ecuacin normal afn de Q.

3.2. Caso eucldeo

3.5. Fijemos h, i un producto interno en V. Sean Q una cudrica y su forma bilineal
asociada. Como : V R es lineal, existe un nico q V tal que (x) = hq, xi para
todo x V.
La aplicacin Lh,i : V 3 p 7 hp, i V ? es un isomorfismo; si escribimos
= L1h,i
L : V V vale Lh,i = L , y entonces para cualesquiera x, y V
tenemos

h(x), yi = (x, y).

Este se suele llamar el endomorfismo asociado a o . Dado p V, resulta

p (x) = (p, x p) + (x p)
= h(p), x pi + hq, x pi = h(p) + q, x pi.

En consecuencia, p = 0 sii Np := (p) + q = 0. En particular, si p Q es tal que

p 6= 0 entonces Tp Q : p = 0 es igual a p + H y resulta Np H: la recta Lp = p + RNp
es la recta perpendicular a Tp Q en p. graficar?
3.6. El endomorfismo es autoadjunto respecto de h, i: para x, y V es

h(x), yi = (x, y) = (y, x)

= h(y), xi,

y por el Teorema Espectral existe una base ortonormal U = {u1 . . . , un } de V y escalares

1 , . . . , n de forma que

1 0
kkU = ||U =
.. .

.
0 n

12
 Reordenando eventualmente la base, podemos suponer que los primeros s s son
positivos,
P despus vienen los r s negativos y finalmente n r los nulos. Escribiendo
x = xi ui resulta

X
s X
r
(x) = i x2i (i )x2i
i=1 i=s+1

Sean, si 1 i s, ci = 1/ i y, si s + 1 i r, di = 1/ i ; tanto los cs como los
ds son positivos. Obtenemos

X
s
x2 Xr
x2i
i
(x) = 2
2
.
c
i=1 i i=s+1
d i

Esta escritura de se denomina representacin mtrica, y U es una base ortonormal

adaptada a .

En lo que sigue excluimos los conos; esto es, las cudricas que tienen interseccin
con su centro (y que, por (2), contienen a su centro). Sea Q una cudrica con ecuacin

F(x) = (x) + 2(x) + c = h(x), xi + 2hp, xi + c = 0.

3.7. Si Q tiene centros, fijado p Qc podemos poner F(x) = (x p) 1; construyendo

una base ortonormal {e1 , . . . , en } de Vp adaptada a y escribiendo un x V genrico
como combinacin lineal de los es en Vp con coeficientes xi s, es

Xs
x2i Xr
x2i
F(x) = 2
2
1.
i=1
a i i=s+1
b i

Esta es una ecuacin normal eucldea de Q.

3.8. Sea ahora Q una cudrica sin centros. Sea p un punto cualquiera de la cudrica
y, si Tp = p + H, elegimos una base U = U 0 + {un }, con U 0 una base de H en la que la
matriz de |H es como en la Proposicin 1.5. Tenemos que Np = q + (p) H no es
nulo porque p no lo es.

Definicin. Un vrtice de Q es un punto p Q tal que Np Nu().

Lema. El conjunto de vrtices de Q es una variedad lineal de dimensin n r 1. va sin

Sea, pues, p un vrtice de Q. Dado v H, es h(v), Np i = hv, (Np )i = 0 y entonces prueba, por
(H) H. Consecuentemente, |H es el endomorfismo asociado a |H y por lo tanto ahora
es autoadjunto respecto de la restriccin del producto interno a H. Sea BH una base
ortonormal de H adaptada a |H ; es, escribiendo en sus coordenadas,

X
s
x2 Xr
x2i
i
|H (x) = 2
.
c
i=1 i
d2
i=s+1 i

13
Sea B la base que se obtiene agregandole Np /kNp k a BH . Como Np Nu , B es
tambin ortonormal. Escribiendo un x V genrico con coeficientes x1 , . . . , xn en esta
base de Vp se tiene

F(x) = p (x) + 2p (x) = (x p) + 2hNp , x pi

Xs
x2i Xr
x2i
= + 2xn hNp , Np /kNp ki.
c2 i=s+1 d2i
i=1 i

Cambiando F por G = F/kNp k se obtiene

X
s
x2 Xr
x2i
i
Q : G(x) = 2
2
+ 2xn ,
c
i=1 i i=s+1
d i

lo que se denomina ecuacin normal eucldea de Q.

14