Capitulo 3 Geometria Analitica
Capitulo 3 Geometria Analitica
Capitulo 3 Geometria Analitica
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 y notaremos con V al conjunto de los vectores del
espacio, esto es al conjunto cociente S .
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
. Si A xA , y A , z A , B xB , yB , zB y O 0,0,0 ,
36
xB xA , yB yA , zB z A .
xB xA yB yA zB z A .
iii) Identificando el plano con 2 , si A xA , y A , B xB , yB y O 0,0 , existe un nico
punto P tal que AB OP y las coordenadas de P son xB xA , yB y A .
segmento OP y se calcula por
xB xA
yB y A .
2
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 del espacio (o del plano) llamaremos coordenadas de 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 . Consideremos tres puntos A, B y C tales que u AB y
37
, v V , .v .v .v .
iv) , u, v V , . u v .u .v .
A modo de ejemplo probemos la propiedad ii). En dicha prueba notaremos H A, 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 C H A, B y . .v AD
con D H A, C . Como la composicin de dos homotecias concntricas es una
homotecia de igual centro cuya razn el producto de las dos razones, tenemos
D H A, C H A, H A, B H A, H A, B H A, B .
37
38
Ejercicio
Probar que si
coordenadas de v son
a d , b e, c f
d , e, f ,
a, b, c
uv
y las
son
plano.
x xA , y yA , z z A xB xA , yB yA , zB z A lo que se puede
x x A xB x A
z z A zB z A
x xA a
38
39
Ejemplos
1) Escribamos las ecuaciones paramtricas de la recta r del espacio que pasa
por el punto A 1, 4, 2 y tiene vector director u 3,5, 2 .
x 1 3
Tenemos: r ) y 4 5 .
z 2 2
2) Escribamos las ecuaciones paramtricas de la recta r del plano que pasa por los
puntos A 3,1 y B 5,4 .
Tomando como vector director de la recta al vector u AB , se tiene u 2,3 .
x 3 2
Por ende podemos escribir r )
.
y 1 3
Los puntos C (8,3) y D(1, 2) pertenecen a la recta?
Observemos que en las ecuaciones anteriores es fcil eliminar el parmetro y obtener
la ecuacin 3x 2 y 7 .
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 5x 3 y 17 y
hacindolo entre la primera y la tercera obtenemos 2 x 3z 4 .
Sabemos entonces que el sistema
x 1 3
y 4 5
z 2 2
es equivalente al sistema
5 x 3 y 17
. Por lo tanto para cualquier punto P de la recta r se tendr que sus
2 x 3z 4
coordenadas verificarn las ecuaciones cartesianas de este ltimo sistema y que slo los
puntos de r tienen coordenadas que verifican dichas ecuaciones.
La pregunta que nos queda por responder es si podremos representar una recta del
espacio por una nica ecuacin cartesiana.
Intentemos obtener esta ecuacin como combinacin lineal de las dos que tenemos.
Por ejemplo summoslas. Se tiene: 7 x 3 y 3z 13 .
Es claro que las coordenadas de un punto P de r verifican esta nueva ecuacin pero es
13
13
13
39
40
a, b, c xB xA , yB yA , zB z A las coordenadas de
d , e, f xC x A , yC y A , z C z A las coordenadas de v podemos escribir:
Notando
con
x xA a d
Al igual que observamos para la recta diremos que un punto P del espacio pertenece a
si y slo si existen dos reales y tales que las coordenadas de P vienen dadas por
las igualdades anteriores. A los vectores u y v les llamamos vectores directores del
plano .
Ejemplos
Hallemos las ecuaciones paramtricas del plano que pasa por los puntos
A 1,3, 2 , B 2,1, 1 y C 1,1,4 .
40
41
x 1 2
41
v -u
42
xB xC yB yC zB zC
2
zC z A 2.
xB xA
xB xA yB y A zB z A xC xA yC y A
2
yB y A z B z A .
2
xC xA
yC y A zC z A .cos
2
que las
a d
b e c f a 2 b2 c 2 d 2 e2 f 2 2. a 2 b 2 c 2 . d 2 e2 f 2 .cos
2
ad be cf
a b c 2 . d 2 e2 f 2
2
ac bd
a b . c d
2
a 2 b2 c 2
d 2 e2 f 2
u al real
a 2 b2 c 2 .
a, b
a 2 b2 .
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
aritmticamente:
42
tanto
geomtrica
como
43
Propiedades
i) u V , u 0 y u 0 sii u .
ii) , u V , u u .
iii) u, v V , u v u v .
Volvamos a la igualdad cos
ad be cf
a b c 2 . d 2 e2 f 2
2
43
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
Si
notamos
b
Podemos entonces sustituir u por el vector v 1, que es colineal con l y las
a
x xA
b
a
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 m0 queda
descrito por y m0 x n con n
haz.
Todo esto funciona si las rectas en cuestin no son verticales. Si ste es el caso
tendremos un vector director de la forma u 0, b y las ecuaciones paramtricas sern
x xA
. Tenemos pues que la abscisa de los puntos de la recta permanece
y yA b
constante y aceptaremos como ecuacin cartesiana de una recta vertical a la ecuacin
x xA siendo A un punto de ella.
Para describir entonces un haz de rectas verticales pondremos x k con k
Haciendo variar k obtenemos todas las rectas del haz.
Si deseamos ahora describir un haz de rectas que pasan por un punto A fijo, bastar
retomar la ecuacin y y A m x xA y hacer variar m. Al variar m describimos todas
las posibles rectas del haz con excepcin de la vertical x xA .
y y A m x xA , m
En resumen, describiremos el haz de centro A por
x xA
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 u a0 , b0 , c0 perpendicular
a todos ellos. Sabemos que la ecuacin de cualquiera de estos planos ser entonces
a0 x b0 y c0 z d . Haciendo variar d obtenemos todos los planos del haz.
Es decir representamos el haz como a0 x b0 y c0 z d con d
Falta estudiar el caso en que el haz est formado por planos que pasan por una recta r.
45
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 ) a1 x b1 y c1 z d1 y ) a2 x b2 y c 2z d 2 . Supongamos que P xP , yP , zP
es un punto del espacio que no pertenece a r. Mostremos que existen ,
a1 x b1 y c1 z a2 x b2 y c2 z d1 d2
es
la
ecuacin
tales que
del
plano
determinado por r y P.
En efecto: sabemos que r est contenida en el plano de ecuacin
a1 x b1 y c1 z a2 x b2 y c2 z d1 d2 . Adems P pertenece a dicho plano
si y slo si a1 xP b1 yP c1 zP a2 xP b2 yP c2 zP d1 d2 , es decir
a2 xP b2 y P c2 z P d 2
.
a1 xP b1 y P c1z P d 1
a1 x b1 y c1 z a2 x b2 y c2 z d1 d2 con ,
x xC
46
47
acuerdo
x 3
lo
establecido
antes
la
ecuacin
buscada
es
y 1 z 4 25 .
2
Operando se obtiene x2 y 2 z 2 6 x 2 y 8z 1 0 .
Cortemos ahora la esfera con el plano de ecuacin 5x 2 y z 1 0 .
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
x2 y 2 z 2 6 x 2 y 8z 1 0
5 x 2 y z 1 0
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 u 5, 2,1 y por ende sus ecuaciones
x 3 5
8
.
15
Para este valor de el punto obtenido en las ecuaciones paramtricas de p es
1 31 52
L ,
, que es el centro de la circunferencia.
3 15 15
Obtenemos: 5 3 5 2 1 2 4 1 0 de la que deducimos que
48
x2 y 2 z 2 1
cartesianas C )
. Como dijimos antes todo punto P x, y, z del cono
x y
pertenece a una recta VP0 con P0 en la circunferencia C .
48
49
x0 2 y0 2 z0 2 1
x0 y0
y 2 y0 2
z z
0
que las primeras dos nos dicen que P0 C y las ltimas tres que P VP0 .
Debemos eliminar los parmetros x0 , y0 , z0 y a efectos de obtener la buscada
ecuacin del cono.
x0
z0
Sustituyendo
estos
valores
en
la
x 1
segunda
, y0
y 2 2
ecuacin
tenemos
x y 3
. Con esta expresin de
3
podemos escribir x0 , y0 y z0 en funcin solamente de x, y y z.
x 1 y 2 2 de donde se deduce que
Obtenemos: x0 y0
2x y
3z
y z0
. Por ltimo, sustituyendo estas
x y 3
x y 3
2
2x y
3z
expresiones en la primera ecuacin se tiene: 2
1.
x y 3 x y 3
Finalmente operando se obtiene la ecuacin 7 x2 y 2 9 z 2 10 xy 6 x 6 y 9 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.
49
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 . Si notamos con x, y las coordenadas de P y
con
xC , yC
x xC
las de C tenemos:
x xC
y yC r o lo que es lo mismo
2
circunferencia.
Obsrvese que se trata de una ecuacin polinmica de segundo grado en x y y. Adems
para obtenerla no utilizamos que se trata de una seccin cnica sino su definicin como
lugar geomtrico de puntos del plano.
Es posible obtener la ecuacin de una cnica en el plano pensndola como seccin de
un cono con un plano?
Si suponemos que cortamos el cono con el plano de ecuacin z 0 , obtendremos una
ecuacin que slo depende de las primeras dos coordenadas del punto P. Esto nos lleva
a una ecuacin polinmica de segundo grado en x y y que ser llamada la ecuacin de la
cnica. Es claro que toda cnica del plano la puedo obtener seccionando un cono
adecuado con el plano z 0 .
Dado
que
la
ecuacin
de
un
cono
es
de
la
forma
2
2
2
ax by cz dxy exz fyz gx hy iz j 0 , la seccin cnica en el plano
ser de la forma ax2 by 2 cxy dx ey f 0 . (1)
50
51
Si pretendemos deducir la ecuacin de una cnica del plano de la misma forma que lo
hicimos con la circunferencia debemos recordar que las cnicas pueden definirse
como lugares geomtricos en el plano como sigue:
Una elipse es el lugar geomtrico de los puntos del plano cuya suma de distancias a dos
puntos fijos llamados focos es constante.
Una hiprbola es el lugar geomtrico de los puntos del plano cuya diferencia de
distancias en valor absoluto a dos puntos fijos llamados focos es constante.
Una parbola es el lugar geomtrico de los puntos del plano que equidistan de un punto
llamado foco y una recta llamada directriz.
Probemos que estas definiciones son equivalentes a las dadas como secciones de un
plano con un cono. Este resultado se conoce como teorema de Dandelin.
Comencemos con el caso de la elipse. Recordemos que denominamos elipse a la figura
obtenida de cortar un plano con un cono recto en el caso que el plano corte a una sola
hoja del cono y no sea perpendicular al eje del mismo.
Consideramos un cono recto C y un plano en las condiciones mencionadas.
Denominamos E a la elipse obtenida de cortar C con . Construimos dos esferas
tangentes al cono y al plano. Notamos F1 y F2 a los puntos de contacto de dichas esferas
con el plano y los llamamos focos de la elipse (ver figura).
52
Entonces d A, F2 d A, F1 d A, N d A, M d J , L .
Ahora d J , L es constante ya que es la medida de un segmento de generatriz
comprendido entre dos planos perpendiculares al eje del cono. Entonces todo punto A
de la elipse verifica que d A, F2 d A, F1 es una constante a la que notaremos 2a .
Veamos el recproco. Sea un plano, F1
F1 F2 y tales que d A1 , A2 2a .
Entonces d A1 , F2 d A1 , F1 d A1 , F2 d A2 , F2 d A1 , A2 2a por lo cual
A1 C . De igual modo A2 C .
Sea ahora una esfera arbitraria tangente a en F1 y llamemos O a su centro. En el
plano determinado por A1 , A2 y O tracemos dos tangentes a la esfera por A1 y A2 .
Podemos suponer que estas tangentes se cortan en un punto V (de lo contrario
modificamos el tamao de la esfera). Consideremos el cono C de vrtice V circunscripto
a la esfera. Por el directo, el plano debe cortar a C en una elipse E a la cual
pertenecen A1 y A2 , cuyos focos son F1 y F2 y cuyos puntos A verifican
que
pertenece
al
segmento
AF1 .
Entonces
d A, F2 d A, F2 d A, A d A, F2 d A, F1 d A, F2 d A, A d A, F1
52
53
d A, F1
es una
d a, d1
d A, F2
d a, d 2
Adems se prueba que 1 sii la cnica es una elipse, 1 sii la cnica es una
parbola y 1 sii la cnica es una hiprbola.
2) De acuerdo a 1) la cnica es una parbola sii d A, F d A, d siendo F y d el foco
y la directriz de la parbola.
Esto establece el teorema de Dandelin para el caso de la parbola.
Si se desea un tratamiento ms profundo del tema ver Curso de geometra mtrica de
Pedro Puig Adam tomo 2, leccin 27.
6
Observacin
4
Veamos como se obtienen las ecuaciones cartesianas
de estas tres curvas
en el plano.
Por simplicidad supongamos que se
A
2
pretende deducir la ecuacin de una
elipse con centro en el origen y cuyos
ejes son los ejes coordenados como la
V'
V
F
F'
-5
5
que se muestra en la-10figura.
Hemos notado con F y F los focos y
-2
con c la abscisa de F. Los puntos V y
A'
V son los llamados vrtices de la elipse.
Un punto P x, y del plano pertenece a la elipse si y slo si FP FP ' 2a donde a es
-4
x c
segundo
miembro
x c
y2
de
y 2 4a 2 4a.
x c
la
igualdad
x c
-6
elevamos
al
cuadrado
x c
y 2 2cx . A efectos
x c
obtiene
a2
se
y 2 a 2 cx . Operamos y obtenemos:
2
c 2 x 2 a 2 y 2 a 2 a 2 c 2 . Dado que a c , a 2 c2 0 .
53
54
x2 y 2
xV 2 0
del vrtice V o tambin la medida del segmento OV que es la mitad del eje mayor de la
elipse. Es decir a es la medida del semieje mayor de la elipse.
De igual forma si notamos y A la ordenada de A tenemos que las coordenadas de A son
0, yA
x 4 py 0 .
2
-10
-5
y =-p
-2
4
-4
x2 y 2
2 1 siendo b2 c 2 a 2 .
2
a
b
-10
-5 F'
V'
-2
-4
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 en xy . Puede
54
F5
55
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.
55