Escolar Documentos
Profissional Documentos
Cultura Documentos
35
CAPTULO 3
GEOMETRA ANALTICA
3.1 VECTORES EN EL ESPACIO Y EN EL PLANO
Habitualmente representamos los puntos del plano con pares ordenados de reales y los
puntos del espacio con ternas ordenadas. Dicho de otra forma podemos identificar el
plano euclidiano con
2
y el espacio euclidiano con
3
.
Nos proponemos desarrollar la geometra euclidiana con herramientas analticas.
Para eso introducimos el concepto de vector.
Usualmente en los cursos de enseanza media pensamos un vector como un segmento
orientado con la particularidad que dos segmentos paralelos, de igual medida y
orientados para el mismo lado representan el mismo vector. Formalizaremos esto de
la siguiente manera. Identificaremos cada segmento orientado con sus extremos, es
decir con un par ordenado de puntos y definiremos una relacin de equivalencia a
efectos de identificar los segmentos orientados que representan el mismo vector.
Ms precisamente, consideremos el conjunto S de los pares ordenados de puntos del
espacio y definamos la siguiente relacin en S: ( ) ( ) , ', ' A B A B si el punto medio del
segmento ' AB coincide con el punto medio del segmento ' A B .
No es difcil ver que es una relacin de equivalencia y lo dejamos como ejercicio al
lector. Podemos entonces establecer la siguiente definicin.
Definicin
Llamamos vectores del espacio a las clases de equivalencia definidas por
esta relacin. Si ( ) , A B es un representante de una de estas clases de equivalencia,
notaremos dicha clase por AB
.
Idntica construccin puede realizarse para los vectores del plano.
Las siguientes propiedades de sencilla demostracin geomtrica nos sern muy tiles de
aqu en ms.
Observaciones
i) Dados tres puntos del espacio (o del plano) A, B y C existe un nico
punto D tal que AB CD =
.
ii) Identifiquemos el espacio con
3
. Si ( ) , ,
A A A
A x y z , ( ) , ,
B B B
B x y z y ( ) 0,0,0 O ,
existe un nico punto P tal que AB OP =
y las coordenadas de P son
36
36
( ) , ,
B A B A B A
x x y y z z . La medida del segmento AB es la misma que la del
segmento OP y se calcula por ( ) ( ) ( )
2 2 2
B A B A B A
x x y y z z + + .
iii) Identificando el plano con
2
, si ( ) ,
A A
A x y , ( ) ,
B B
B x y y ( ) 0,0 O , existe un nico
punto P tal que AB OP =
y las coordenadas de P son ( ) ,
B A B A
x x y y .
La medida del segmento AB es la misma que la del segmento OP y se calcula por
( ) ( )
2 2
B A B A
x x y y + .
Las observaciones anteriores nos dicen que todo vector del espacio (o del plano) se
puede considerar con punto inicial en el origen de coordenadas. De esta forma
asignaremos coordenadas a un vector.
Dado un vector AB
a las
coordenadas del punto P tal que AB OP =
.
Notoriamente las coordenadas de un vector dependen del sistema de ejes elegido al
momento de identificar el espacio (o el plano) con
3
(o
2
).
Comenzaremos ahora a analizar la estructura algebraica del conjunto V. Para ello
debemos definir operaciones. Cabe aclarar que tanto las definiciones como las
propiedades de las operaciones que se vern a continuacin valen tanto para los vectores
del espacio como para los del plano.
Definicin
Sean , u v V e . Consideremos tres puntos A, B y C tales que u AB =
y
v BC =
. Definimos el vector suma como u v AC + =
.
Ejercicio
Probar que la suma est bien definida. Esto es: si ' ' u AB A B = =
y
' ' v BC B C = =
, entonces ' ' AC A C =
.
Propiedades
i) Asociativa: , , u v w V e , ( ) ( ) u v w u v w + + = + + .
ii) Existencia de neutro: existe V e tal que v V e , v v + = .
iii) Existencia de opuesto: v V e , existe v V e tal que ( ) v v + = .
iv) Conmutativa: , u v V e , u v v u + = + .
Admitiendo como segmento a los segmentos nulos (es decir a los segmentos cuyos
extremos coinciden) y definiendo como la clase de equivalencia de dichos
37
37
segmentos, todas las propiedades se demuestran con sencillos argumentos geomtricos
y se dejan a cargo del lector.
Estamos pues en presencia de un conjunto V con una operacin (esto es una funcin
:V V V + ) que verifica las propiedades arriba indicadas. Esto se suele resumir en
la siguiente frase: ( ) , V + es un grupo conmutativo.
Veamos ahora que se puede multiplicar un nmero real por un vector.
Definicin
Sean e y v V e . Consideremos dos puntos A y B tales que v AB =
.
Definimos el producto .v como el vector AC
siendo C el correspondiente de B en la
homotecia de centro A y razn .
Las siguientes propiedades son consecuencia de la definicin y las propiedades de
homotecia.
Propiedades
i) u V e ,1.u u = .
ii) , e, v V e , ( ) ( ) . . . v v = .
iii) , e, v V e , ( ). . . v v v + = + .
iv) e, , u v V e , ( ) . . . u v u v + = + .
A modo de ejemplo probemos la propiedad ii). En dicha prueba notaremos
, A
H a la
homotecia de centro A y razn . Trabajaremos en el plano. Dejamos al lector analizar
la situacin en el espacio.
Sean A y B tales que v AB =
. Entonces .v AC =
con ( )
, A
C B
= H y ( ) . .v AD =
con ( )
, A
D C
= H y por lo tanto
. AP AB =
(decimos en estos casos que AP
y AB
son colineales).
Escribiendo esto en coordenadas tenemos:
( ) ( ) ( ) ( ) ( )
, , , ,
A A A B A B A B A
x x y y z z x x y y z z = lo que se puede
reescribir como
( )
( )
( )
A B A
A B A
A B A
x x x x
y y y y
z z z z
= +
= +
= +
. Notando ( ) ( ) , , , ,
B A B A B A
a b c x x y y z z =
las coordenadas de u se tiene
A
A
A
x x a
y y b
z z c
= +
= +
= +
= +
= +
.
39
39
Ejemplos
1) Escribamos las ecuaciones paramtricas de la recta r del espacio que pasa
por el punto ( ) 1,4,2 A y tiene vector director ( ) 3,5, 2 u .
Tenemos:
1 3
) 4 5
2 2
x
r y
z
= +
= +
.
2) Escribamos las ecuaciones paramtricas de la recta r del plano que pasa por los
puntos ( ) 3,1 A y ( ) 5,4 B .
Tomando como vector director de la recta al vector u AB =
, se tiene ( ) 2,3 u .
Por ende podemos escribir
3 2
)
1 3
x
r
y
= +
= +
.
Los puntos ( 8,3) C y (1, 2) D pertenecen a la recta?
Observemos que en las ecuaciones anteriores es fcil eliminar el parmetro y obtener
la ecuacin 3 2 7 x y = .
sta relaciona las dos coordenadas de un punto P de la recta r y es conocida
habitualmente como la ecuacin cartesiana de r. Decimos entonces que las
coordenadas de un punto P del plano verifican la ecuacin anterior si y slo si el punto
pertenece a r.
Es claro que este procedimiento siempre puede realizarse para una recta del plano.
Cabe preguntarse si ser posible obtener una ecuacin cartesiana de una recta del
espacio. Intentemos eliminar el parmetro en el ejemplo 1).
Eliminando entre la primera y la segunda ecuacin obtenemos 5 3 17 x y = y
hacindolo entre la primera y la tercera obtenemos 2 3 4 x z + = .
Sabemos entonces que el sistema
1 3
4 5
2 2
x
y
z
= +
= +
es equivalente al sistema
5 3 17
2 3 4
x y
x z
=
+ =
+ =
no es equivalente a la ecuacin
7 3 3 13 x y z + = sino a otro sistema obtenido sustituyendo alguna de sus ecuaciones
por esta ltima.
Nos conformaremos entonces con decir que
5 3 17
2 3 4
x y
x z
=
+ =
es un par de ecuaciones
cartesianas para r. Naturalmente
5 3 17
7 3 3 13
x y
x y z
=
+ =
. Nuevamente podemos
escribir esto en coordenadas obteniendo:
( ) ( ) ( ) , , , , , ,
A A A B A B A B A C A C A C A
x x y y z z x x y y z z x x y y z z = + .
Notando con ( ) ( ) , , , ,
B A B A B A
a b c x x y y z z = las coordenadas de u y
( ) ( ) , , , ,
C A C A C A
d e f x x y y z z = las coordenadas de v podemos escribir:
)
A
A
A
x x a d
y y b e
z z c f
= + +
= + +
= + +
= + +
.
Podemos eliminar los parmetros y del siguiente modo.
Eliminemos entre las primeras dos ecuaciones obteniendo 2 3 x y = + .
Eliminemos entre la primera y la tercera ecuacin obteniendo 3 1 4 x z + = + .
Por ltimo eliminemos entre estas dos ecuaciones. Llegamos a 5 4 3 11 x y z + + = .
Nuevamente cualquier punto P del espacio pertenece al plano si y slo si sus
coordenadas verifican la ecuacin anterior. Por lo tanto diremos que esta es la ecuacin
cartesiana de .
Con estas ideas a la vista podemos analizar con ms detalle la relacin entre una recta r
y un par de ecuaciones cartesianas para r.
Por ejemplo decamos que
5 3 17
2 3 4
x y
x z
=
+ =
.
Tenemos
2 2 2
2. . .cos CB AB AC AB AC = + .
Escribiendo esta igualdad con coordenadas
se tiene que:
42
42
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
2 2 2 2 2 2 2 2
B C B C B C B A B A B A C A C A
x x y y z z x x y y z z x x y y + + = + + + + +
( ) ( ) ( ) ( ) ( ) ( ) ( )
2 2 2 2 2 2 2
2. . .cos
C A B A B A B A C A C A C A
z z x x y y z z x x y y z z + + + + +
Si ( ) ( ) , , , ,
B A B A B A
a b c x x y y z z = son las coordenadas de u y
( ) ( ) , , , ,
C A C A C A
d e f x x y y z z = son las coordenadas de v, tenemos que las
coordenadas de u v son ( ) , , a d b e c f .
Entonces podemos escribir:
( ) ( ) ( )
2 2 2
2 2 2 2 2 2 2 2 2 2 2 2
2. . .cos a d b e c f a b c d e f a b c d e f + + = + + + + + + + + +
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2. . .cos a ad d b be e c cf f a b c d e f a b c d e f + + + + + = + + + + + + + + +
2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2. . .cos . .cos ad be cf a b c d e f ad be cf a b c d e f = + + + + + + = + + + +
Concluimos que
2 2 2 2 2 2
cos
.
ad be cf
a b c d e f
+ +
=
+ + + +
.
Es fcil ver que idntica cuenta en el plano nos lleva a la igualdad
2 2 2 2
cos
.
ac bd
a b c d
+
=
+ +
donde las coordenadas de u son ( ) , a b y las de v son ( ) , c d .
El denominador de estas expresiones es fcil de interpretar geomtricamente,
2 2 2
a b c + + es la medida del segmento AB que representa al vector u y
2 2 2
d e f + + es la medida del segmento BC que representa al vector v y
afirmaciones similares valen en el plano.
Dado que dos segmentos que representan al mismo vector tienen igual medida podemos
dar la siguiente definicin.
Definicin
Dado un vector u del espacio de coordenadas ( ) , , a b c llamaremos norma de
u al real
2 2 2
a b c + + .
Dado un vector u del plano de coordenadas ( ) , a b llamaremos norma de u al real
2 2
a b + .
Notaremos a la norma de u con u .
Observacin
De lo dicho anteriormente se deduce que la norma de un vector u es la
medida de cualquier segmento AB tal que u AB =
.
Las siguientes propiedades se deducen fcilmente tanto geomtrica como
aritmticamente:
43
43
Propiedades
i) u V e , 0 u > y 0 u = sii u = .
ii) e, u V e , u u = .
iii) , u v V e , u v u v + s + .
Volvamos a la igualdad
2 2 2 2 2 2
cos
.
ad be cf
a b c d e f
+ +
=
+ + + +
.
Hemos interpretado geomtricamente el denominador. Qu sucede con el numerador?
En principio el numerador es un nmero que se calcula en funcin de las coordenadas
de u y v y que est ligado al ngulo que forman estos vectores.
Estudimoslo con ms detalle.
Definicin
Dados dos vectores u y v del espacio de coordenadas ( ) , , a b c y ( ) , , d e f
respectivamente llamaremos producto escalar de u y v al real ad be cf + + .
Dados dos vectores u y v del plano de coordenadas ( ) , a b y ( ) , c d respectivamente
llamaremos producto escalar de u y v al real ac bd + .
Notaremos el producto escalar de u y v por , u v .
Observaciones
i) Con estas definiciones podemos expresar el ngulo entre dos vectores
u y v de la siguiente manera:
,
cos
u v
u v
=
.
ii) Dos vectores u y v son perpendiculares si y slo si , 0 u v = .
iii) Para todo vector u se tiene
2
, u u u = .
iv) Para todo vector u se tiene , 0 u = .
Veamos algunas propiedades del producto escalar. Todas ellas se verifican
inmediatamente a partir de la definicin.
Propiedades
i) u V e , , 0 u u > y , 0 u u = sii u = .
ii) , u v V e , , , u v v u = .
iii) e, , u v V e , , , , u v u v u v = = .
iv) , , u v w V e , , , , u v w u w v w + = + y , , , u v w u v u w + = + .
44
44
Para finalizar esta seccin veamos una interesante interpretacin geomtrica de los
coeficientes de la ecuacin cartesiana de un plano.
Si es un plano y u es un vector perpendicular a , podemos poner u AB =
con A
un punto de y la recta AB perpendicular a . Entonces para todo punto ( ) , , P x y z de
se tiene que u es perpendicular a AP
. Por lo tanto , 0 u AP =
son ( ) , ,
A A A
x x y y z z .
Si notamos ( ) , , a b c las coordenadas de u podemos escribir
( ) ( ) ( ) 0
A A A
a x x b y y c z z + + = o lo es lo mismo
A A A
ax by cz ax by cz + + = + + .
Notando d al trmino independiente de esta ecuacin se tiene que las coordenadas de
todo punto P del plano verifican la ecuacin ax by cz d + + = y por ende esta es la
ecuacin de .
En resumen, si tenemos la ecuacin cartesiana de un plano, los coeficientes de x, y y z
en dicha ecuacin son las coordenadas de un vector perpendicular al plano.
3.4 HACES DE RECTAS Y DE PLANOS
Sabemos ya que podemos describir una recta del plano mediante ecuaciones
paramtricas de la forma
A
A
x x a
y y b
= +
= +
donde ( ) ,
A A
A x y es un punto de la recta y
( ) , u a b es un vector director de la misma.
Supongamos que el vector u no es paralelo al eje de las ordenadas, es decir que 0 a = .
Podemos entonces sustituir u por el vector 1,
b
a
v
| |
|
\ .
que es colineal con l y las
ecuaciones paramtricas de la recta son ahora
A
A
b
a
x x
y y
= +
= +
.
Despejando de la primera ecuacin y sustituyendo en la segunda obtenemos para la
recta la ecuacin cartesiana ( )
A A
y y m x x = , donde hemos escrito
b
a
m = .
Operando se obtiene una ecuacin de la forma y mx n = + .
Este real m encierra toda la informacin acerca del vector director de la recta, es decir
de su direccin. Ms precisamente, no es difcil ver que m es la tangente trigonomtrica
del ngulo que forma la rama positiva del eje de las abscisas con la recta en sentido
antihorario. Por este motivo llamamos a m, coeficiente angular de la recta. Por otra
parte n es la ordenada del punto de corte de la recta con el eje de las ordenadas.
45
45
Si deseamos describir un haz de rectas paralelas, todas tienen el mismo vector director y
por lo tanto el mismo coeficiente angular. Bastar entonces hacer variar el punto de
corte con el eje vertical, es decir hacer variar n.
Concluimos entonces que el haz de rectas paralelas de coeficiente angular
0
m queda
descrito por
0
y m x n = + con n e. Haciendo variar n obtenemos todas las rectas del
haz.
Todo esto funciona si las rectas en cuestin no son verticales. Si ste es el caso
tendremos un vector director de la forma ( ) 0, u b y las ecuaciones paramtricas sern
A
A
x x
y y b
=
= +
.
Ejercicios
1) Sean ) r ax by c + = y ') ' ' ' r a x b y c + = dos rectas del plano.
Probar que r y r son paralelas si y slo si existe un real k tal que ' a ka = , ' b kb = y que
son iguales si y slo si existe un real k tal que ' a ka = , ' b kb = y ' c kc = .
2) Sean )ax by cz d + + = y ') ' ' ' ' a x b y c z d + + = dos planos del espacio.
Probar que y ' son paralelos si y slo si existe un real k tal que ' a ka = , ' b kb = y
' c kc = y que son iguales si y slo si existe un real k tal que ' a ka = , ' b kb = , ' c kc = y
' d kd = .
Abordemos ahora la representacin de un haz de planos.
Si el haz est formado por planos paralelos, existe un vector ( )
0 0 0
, , u a b c perpendicular
a todos ellos. Sabemos que la ecuacin de cualquiera de estos planos ser entonces
0 0 0
a x b y c z d + + = . Haciendo variar d obtenemos todos los planos del haz.
Es decir representamos el haz como
0 0 0
a x b y c z d + + = con d e.
Falta estudiar el caso en que el haz est formado por planos que pasan por una recta r.
46
46
Para ello recordemos que toda recta r puede ser descrita por un par de ecuaciones
cartesianas que representan planos y que pasan por r, es decir planos del haz de
planos que pasan por r. Recordemos tambin que si hacemos una combinacin lineal de
dichas ecuaciones obtenemos la ecuacin cartesiana de otro plano de dicho haz.
Verifiquemos que la ecuacin de cualquier plano de este haz puede ser obtenida como
combinacin lineal de la ecuaciones de y .
Sean
1 1 1 1
) a x b y c z d + + = y
2 2 2 2
) a x b y c z d + + = . Supongamos que ( ) , ,
P P P
P x y z
es un punto del espacio que no pertenece a r. Mostremos que existen , e tales que
( ) ( )
1 1 1 2 2 2 1 2
a x b y c z a x b y c z d d + + + + + = + es la ecuacin del plano
determinado por r y P.
En efecto: sabemos que r est contenida en el plano de ecuacin
( ) ( )
1 1 1 2 2 2 1 2
a x b y c z a x b y c z d d + + + + + = + . Adems P pertenece a dicho plano
si y slo si ( ) ( )
1 1 1 2 2 2 1 2 P P P P P P
a x b y c z a x b y c z d d + + + + + = + , es decir
( ) ( )
1 1 1 1 2 2 2 2
0
P P P P P P
a x b y c z d a x b y c z d + + + + + = . Dado que los coeficientes
de y en esta igualdad son datos y que al menos uno de ellos es no nulo (porque
P r e ), podemos elegir y de modo que la igualdad se verifique.
Por ejemplo, supongamos que P e . Entonces
1 1 1 1
0
P P P
a x b y c z d + + = .
Basta tomar 1 = y
2 2 2 2
1 1 1 1
P P P
P P P
a x b y c z d
a x b y c z d
+ +
=
+ +
.
En resumen: el haz de planos que pasan por r (recta de interseccin de
1 1 1 1
) a x b y c z d + + = y
2 2 2 2
) a x b y c z d + + = ) se puede representar por
( ) ( )
1 1 1 2 2 2 1 2
a x b y c z a x b y c z d d + + + + + = + con , e.
3.5 ESFERAS, CIRCUNFERENCIAS Y CONOS
As como representamos los planos por medio de ecuaciones, podemos tambin
representar de esta forma otras superficies.
Supongamos que tenemos una esfera en el espacio cuyo centro es el punto
( ) , ,
C C C
C x y z . En realidad llamaremos esfera a la superficie esfrica.
Es decir la esfera de centro C y radio r es el conjunto de los puntos del espacio cuya
distancia a C es r.
Entonces el punto ( ) , , P x y z pertenece a dicha esfera si y slo si CP r =
, o lo que es
lo mismo ( ) ( ) ( )
2 2 2
C C C
x x y y z z r + + = . Elevando ambos miembros al
47
47
cuadrado tenemos que la condicin necesaria y suficiente para que un punto ( ) , , P x y z
del espacio pertenezca a la esfera es que ( ) ( ) ( )
2 2 2
2
C C C
x x y y z z r + + = .
A esta ecuacin le llamaremos ecuacin de la esfera y tambin podemos escribirla como
2 2 2 2 2 2 2
2 2 2 0
C C C C C C
x y z x x y y z z x y z r + + + + + = .
El lector podr convencerse sin dificultad que no toda ecuacin de la forma
2 2 2
0 x y z ax by cz d + + + + + + = representa una esfera y hallar una condicin
necesaria y suficiente para que esto suceda.
Ejemplo
Hallemos la ecuacin de la esfera de centro ( ) 3, 1,4 C y radio 5.
De acuerdo a lo establecido antes la ecuacin buscada es
( ) ( ) ( )
2 2 2
3 1 4 25 x y z + + + = .
Operando se obtiene
2 2 2
6 2 8 1 0 x y z x y z + + + + = .
Cortemos ahora la esfera con el plano de ecuacin 5 2 1 0 x y z + + = .
Si este plano corta efectivamente a la esfera lo har en un punto o en una circunferencia.
En este ltimo caso nos gustara representar dicha circunferencia por medio de
ecuaciones. Del mismo modo que representamos una recta del espacio por medio de las
ecuaciones de dos planos que se cortan en ella, representaremos una circunferencia del
espacio por medio de dos ecuaciones, una de las cuales representar una esfera y la otra
un plano que corta a la esfera en dicha circunferencia.
En nuestro ejemplo representaremos la circunferencia por las ecuaciones
2 2 2
6 2 8 1 0
5 2 1 0
x y z x y z
x y z
+ + + + =
+ + =
El centro de esta circunferencia es el punto de corte del plano con la recta p,
perpendicular a ste que pasa por el centro de la esfera.
Dicha recta admite como vector director a ( ) 5,2,1 u y por ende sus ecuaciones
paramtricas son
3 5
) 1 2
4
x
p y
z
= +
= +
= +
+ + =
= +
= + +
en el
que las primeras dos nos dicen que
0
P eC y las ltimas tres que
0
P VP e .
Debemos eliminar los parmetros
0 0 0
, , x y z y a efectos de obtener la buscada
ecuacin del cono.
De las ltimas tres ecuaciones podemos obtener
0
1 x
x
+
= ,
0
2 2 y
y
+
= y
0
z
z
+ +
= . Con esta expresin de
podemos escribir
0 0
, x y y
0
z en funcin solamente de x, y y z.
Obtenemos:
0 0
2
3
x y
x y
x y
+
= =
+ +
y
0
3
3
z
z
x y
=
+ +
. Por ltimo, sustituyendo estas
expresiones en la primera ecuacin se tiene:
2 2
2 3
2 1
3 3
x y z
x y x y
| | | | +
+ =
| |
+ + + +
\ . \ .
.
Finalmente operando se obtiene la ecuacin
2 2 2
7 9 10 6 6 9 x y z xy x y + + + + = que es
la ecuacin cartesiana del cono.
3.6 CNICAS
Hace ya ms de veinte siglos que Apolonio (262 a.C.- 200 a.C.) escribi el Tratado de
las secciones cnicas. En esta obra se definen las secciones cnicas como secciones de
un cono recto con planos. De acuerdo a la inclinacin del plano, ste cortar a una sola
hoja del cono en una curva cerrada (elipse), cortar a una sola hoja del cono en una
curva abierta (parbola), o cortar a ambas hojas del cono (hiprbola) (ver figura).
Obsrvese que en algunos casos particulares el corte de un plano con un cono puede dar
un punto, una recta o un par de rectas. Decimos en estos casos que se trata de una
cnica degenerada.
Si el plano considerado es perpendicular al eje del cono la elipse obtenida es una
circunferencia.
Sabemos que una circunferencia del espacio se puede representar por un par de
ecuaciones cartesianas que son la ecuacin de una esfera y la de un plano cuya seccin
es la mencionada circunferencia.
50
50
Similarmente una cnica se representar por un par de ecuaciones cartesianas que son la
ecuacin de un cono y la de un plano cuya seccin es la mencionada cnica.
Nos plantearemos ahora la posibilidad de obtener ecuaciones cartesianas para estas
curvas en el plano.
Comencemos por la circunferencia.
Un punto P del plano pertenece a la circunferencia de centro C y radio r si y slo si la
distancia de C a P es r ; esto es CP r =
= .
Pero PL PF = porque ambos son segmentos de tangente a una esfera trazados desde P.
Por lo tanto
( )
( )
,
sen
, sen
d P F
PF
d P d PD
= , se tiene
( )
( )
,
,
d P F
e
d P d
= .
Para el caso en que < como en la figura, se tiene
2
0
< < < y por ende
0 sen sen < < . De aqu que 1 e < y E es una elipse.
En la siguiente figura se muestra como construyendo la otra esfera tangente al cono y al
plano se obtienen el otro foco F' y la otra directriz d' de la elipse.
53
53
Dejamos al lector el anlisis de los casos = (parbola) y > (hiprbola),
mediante la construccin de figuras similares, as como el recproco de esta afirmacin.
Observacin
Consideremos una elipse E segn la definicin (*).
Es decir que PeE sii
( )
1
,
PF
e
d P d
= < . Sabemos adems que E tiene otro foco F' y
otra directriz d' y que
( ) ,
PF
e
d P d
'
=
'
.
Entonces ( ) ( ) ( ) ( ) , , . , PF PF e d P d d P d e d d d ' ' ' + = + = , que es constante.
Por lo tanto si aceptamos como definicin
de elipse la definicin (*), hemos probado
que todo punto de la elipse verifica
que PF PF' + es una constante dada que
naturalmente depende de la elipse.
Sin embargo el recproco de esta afirmacin
no parece deducirse fcilmente.
54
54
De forma anloga se prueba que si P
pertenece a una hiprbola de focos F
y F' , se tiene que
PF PF ' es constante.
3.7 ECUACIONES DE LAS CNICAS EN EL PLANO
En esta seccin obtendremos ecuaciones para las cnicas en el plano. Para ello
supongamos primeramente que la cnica no es una parbola. Tenemos pues dos focos F
y F' , pues podemos construir dos esferas tangentes al cono y al plano .
Llamaremos centro de la cnica al punto medio de FF' y de aqu en ms cuando
nuestra cnica no es una parbola diremos que es una cnica con centro.
Observaciones
i) Consideremos una cnica C con centro en el origen de coordenadas y
con focos en el eje Ox . Notemos ( ) ,0 F c y ( ) ,0 F c ' .
C cortar al eje FF' en dos puntos V y V' a los que llamamos vrtices. Escribamos
( ) ,0 V a y ( ) ,0 V a ' . Si d es la directriz de la cnica correspondiente al foco F, d es
perpendicular a FF' y por lo tanto tiene ecuacin x k = .
Qu relacin existe entre c, a, e y k.?
Sabemos que todo punto P de C verifica
( ) ,
PF
e
d P d
= . En particular si ponemos P V =
se tiene
( ) ,
VF a c
e e
d V d k a
= =
y si ponemos P V' = ,
( ) ,
V F a c
e e
d V d k a
' +
= =
' +
.
Entonces
a c a c
k a k a
+
=
+
y despejando se obtiene
2
a
c
k
= .
Sustituyendo esta expresin en la igualdad
a c
e
k a
se tiene
( )
2
2
a
k
a ak a a
e e k
k a k k a e
= = =
. De aqu que
( )
2
a
e
a
c c ae = = .
55
55
En resumen, para obtener la ecuacin de la cnica tomaremos el foco ( ) ,0 F ae y la
directriz d de ecuacin
a
x
e
= .
ii) Sea ( ) , P x y un punto del plano, PeC sii
( ) ,
PF
e
d P d
= sii
( )
2
2
a
e
x ae y
e
x
+
=
.
Eliminando denominadores y elevando ambos miembros al cuadrado se obtiene
( ) ( ) ( )
2 2 2
2 2 2 2 2 2
2
a
e
x ae y e x x aex a e y a ex + = + + =
( ) ( )
2 2 2 2 2 2 2 2 2 2 2 2
2 2 1 1 x aex a e y a aex e x e x y a e + + = + + = .
Dividiendo ambos miembros de la igualdad entre
( )
2 2
1 a e (lo que es posible porque
1 e = ), se tiene
( )
2 2
2 2 2
1
1
x y
a a e
+ =
.
Aqu tenemos
( )
2 2 2 2 2 2 2
1 a e a e a c a = = ,
por lo cual c a > y tomando
2 2
b c a = , la
ecuacin de la hiprbola queda expresada como
2 2
2 2
1
x y
a b
= , donde a es la abscisa de
uno de sus vrtices.
56
56
iii) Sabemos de la seccin anterior que todo punto de la elipse verifica que PF PF' + es
una constante dada. Si queremos abordar el recproco de esta afirmacin, observemos
primeramente que sustituyendo P por el vrtice ( ) ,0 V a podemos concluir que dicha
constante es 2a . Por tanto podemos escribir 2a PF PF' = + y reescribiendo esta
expresin en trminos de coordenadas operando concluimos a que si un punto P que
verifica 2a PF PF' = + , sus coordenadas verifican la ecuacin
2 2
2 2
1
x y
a b
+ = y por ende
pertenece a la elipse.
Con igual procedimiento se trabaja para la hiprbola y queda entonces probado que las
dos definiciones de elipse e hiprbola como lugares geomtricos planos son
equivalentes.
Dejamos los detalles operatorios por cierto engorrosos a cargo del lector.
iv) Analicemos finalmente el caso de la parbola que la notaremos con P .
Aqu tenemos un solo foco, una sola directriz y un solo vrtice, punto de corte de la
perpendicular por el foco a la directriz con P .
Tomemos el caso en que el vrtice es el origen
de coordenadas y el foco F tiene coordenadas
( ) ,0 c . La ecuacin de la directriz d es entonces
x k = . Como la directriz no corta a P , se tiene
0 k < . Adems todo punto P de la parbola
verifica
( )
1
,
PF
e
d P d
= = . En particular tomando
P V = , tenemos
( )
1
,
VF
d V d
= . Como ( ) 0,0 V y
( ) ,0 F c , VF c = y ( ) , d V d k = .
Sustituyendo se concluye que k c = y la ecuacin de d es x c = .
Finalmente, sea ( ) , P x y un punto del plano, PeP sii
( )
1
,
PF
d P d
= sii
( )
2
2
1
x c y
x c
+
=
+
. Eliminando denominadores y elevando al cuadrado se obtiene
( ) ( )
2 2
2 2 2 2 2 2 2
1
2 2
4
x c y x c x cx c y x cx c x y
c
+ = + + + = + + = . A esta ltima
igualdad le llamamos ecuacin de la parbola con vrtice en el origen y foco ( ) ,0 F c .
57
57
Observaciones
Es sencillo corroborar que:
i) La ecuacin de una elipse con centro en el origen y focos ( ) 0, F c y ( ) 0, F c ' es
2 2
2 2
1
y x
a b
+ = , donde a es la ordenada de uno de sus vrtices y
2 2
b a c = .
ii) La ecuacin de una hiprbola con centro en el origen y focos ( ) 0, F c y ( ) 0, F c ' es
2 2
2 2
1
y x
a b
= , donde a es la ordenada de uno de sus vrtices y
2 2
b c a = .
iii) La ecuacin de una parbola con vrtice en el origen y foco ( ) 0, F c es
2
1
4
y x
c
= .
Hemos observado que las tres cnicas tienen ecuaciones de la forma (1).
Sin embargo en todos los casos considerados las ecuaciones no tienen trmino en x, o
no tienen trmino en y o ninguno de los dos y tampoco tienen trmino enxy . Puede
verse que si aparecen estos trminos las ecuaciones responden a cnicas cuyo centro no
es el origen (en el caso de la elipse y la hiprbola) o cuyo vrtice no es el origen (en el
caso de la parbola) o cuyos ejes no son los ejes coordenados.
Sobre esto hablaremos ms adelante.
iv) Si en la ecuacin
2 2
2 2
1
x y
a b
+ = de la elipse ponemos a b = , tenemos
2 2 2
x y a + = que
es la ecuacin de una circunferencia. Tiene sentido entonces considerar a la
circunferencia como una elipse para la cual a b = o lo que es lo mismo una elipse de
excentricidad 0.