Você está na página 1de 23

35

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

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
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

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 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 . Como la composicin de dos homotecias concntricas es una


homotecia de igual centro cuya razn el producto de las dos razones, tenemos
( ) ( ) ( ) ( )( ) ( )
, , , , , , A A A A A A
D C B B B

= = = = H H H H H H .
Esto significa que ( ).v AD =

. Concluimos que ( ) ( ) . . . v v = .

El lector ya habr notado que las propiedades de la suma en V y del producto de un real
por un vector son las mismas que ya hemos visto cuando estudiamos la suma en
n
y el
producto de un real por una n-upla de
n
.
Dado que hemos asignado coordenadas a los vectores, no sorprender entonces que
logremos expresar la suma de vectores en trminos de sus coordenadas.

38

38

Ejercicio
Probar que si e, , u v V e , las coordenadas de u son ( ) , , a b c y las
coordenadas de v son ( ) , , d e f , entonces las coordenadas de u v + son
( ) , , a d b e c f + + + y las de .u son ( ) , , a b c . Enunciar un resultado similar en el
plano.


3.2 ECUACIONES DE RECTAS Y PLANOS

Intentaremos ahora representar las rectas con un objeto algebraico, ms precisamente
con una ecuacin. Para ello recordemos que si r es una recta del espacio o del plano,
bastan dos puntos A y B de ella para determinarla; esto es existe una nica recta r que
pasa por A y B. Pero dichos puntos determinan un vector AB

que notaremos con u y si


conocemos A y u podemos obtener B. En otras palabras la recta queda determinada por
un punto A y un vector u. Digamos esto con ms precisin.
Sean ( ) , ,
A A A
A x y z y ( ) , ,
B B B
B x y z dos puntos de r y u AB =

. Si tomamos otro punto
( ) , , P x y z de r, tenemos que existe un real tal que ( )
, A
P B

= 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

= +

= +

= +

que es lo que llamamos las ecuaciones


paramtricas de la recta r. En ellas hemos escrito las coordenadas de un punto genrico
P en funcin de las coordenadas de A, las coordenadas del vector u y un parmetro .
Es decir que para todo punto P de r existe un real tal que las coordenadas de P vienen
dadas por las igualdades anteriores. Recprocamente para todo real los valores de x, y
y z obtenidas en ellas son las coordenadas de un punto P de la recta r. Al vector u le
llamaremos vector director de r.
El lector puede corroborar que idntico razonamiento en el plano lleva a obtener
ecuaciones paramtricas de la recta de la forma
A
A
x x a
y y b

= +

= +

.

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
=

+ =

. Por lo tanto para cualquier punto P de la recta r se tendr que sus


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 3 3 13 x y z + = .
Es claro que las coordenadas de un punto P de r verifican esta nueva ecuacin pero es
sencillo ver que los puntos
13
,
7
0,0 C
| |
|
\ .
,
13
3
0, ,0 D
| |
|
\ .
y
13
3
0,0, E
| |
|
\ .
verifican esta
40

40

u
v
P
A
B
C
ecuacin y sin embargo ninguno de ellos pertenecen a r. Es ms C, D y E no estn
alineados. Adems el 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
=

+ =

es otro par de ecuaciones


cartesianas para r.

Analizaremos a continuacin la posibilidad de representar mediante ecuaciones un
plano del espacio.
Para determinar un plano necesitamos tres
puntos no alineados.
Digamos que ( ) , ,
A A A
A x y z , ( ) , ,
B B B
B x y z y
( ) , ,
C C C
C x y z son tres puntos no alineados de .
Entonces los vectores u AB =

y v AC =

no son colineales. Si tomamos un punto
cualquiera ( ) , , P x y z del plano , podemos escribir AP

como combinacin lineal de u


y v. Es decir que existen , e tales que AP u v = +

. 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



= + +

= + +

= + +

. A esto le llamamos ecuaciones paramtricas del plano .


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
( ) 1,3, 2 A , ( ) 2,1, 1 B y ( ) 1,1,4 C .
41

41

u
u
v
v-u
A
C
B
Elegimos como vectores directores de a u AB =

y v AC =

. Entonces ( ) 1, 2,1 u y
( ) 2, 2,6 v . Las ecuaciones buscadas son
1 2
) 3 2 2
2 6
x
y
z



= +

= + +

.
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
=

+ =

es un par de ecuaciones cartesianas para la


recta r que pasa por ( ) 1,4,2 A y tiene vector director ( ) 3,5, 2 u . Qu significa esto?
Sabemos ahora que 5 3 17 x y = y 2 3 4 x z + = representan planos y que cualquier
punto P del espacio pertenece a r si y slo si sus coordenadas verifican ambas
ecuaciones. En otras palabras estos dos planos se intersecan en r.
Entonces estamos representando una recta por la ecuaciones de dos de los planos que la
contienen.


3.3 NGULO ENTRE DOS VECTORES

Dediqumonos ahora a estudiar el ngulo formado por dos rectas secantes.
Dado que la direccin de una recta viene dada por la direccin de un vector director,
podemos plantear el tema en trminos de estudiar el ngulo entre dos vectores a los que
representaremos como segmentos con el mismo origen. As, si u AB =

y v AC =

,
tenemos que u v CB =

. Notemos con el ngulo entre u y v y apliquemos el
teorema del coseno en el tringulo ABC

.
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 =

. Sabemos que las


coordenadas de 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
=

= +

. Tenemos pues que la abscisa de los puntos de la recta permanece


constante y aceptaremos como ecuacin cartesiana de una recta vertical a la ecuacin
A
x x = siendo A un punto de ella.
Para describir entonces un haz de rectas verticales pondremos x k = con k e.
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 ( )
A A
y y m x x = y hacer variar m. Al variar m describimos todas
las posibles rectas del haz con excepcin de la vertical
A
x x = .
En resumen, describiremos el haz de centro A por
( ),
A A
A
y y m x x m
x x
= e


.

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

= +

= +

= +

. Para hallar su interseccin con sustituyamos las


expresiones de x, y, y z de estas ecuaciones en la ecuacin cartesiana de .
Obtenemos: ( ) ( ) ( ) 5 3 5 2 1 2 4 1 0 + + + + + = de la que deducimos que
8
15
= .
Para este valor de el punto obtenido en las ecuaciones paramtricas de p es
1 31 52
, ,
3 15 15
L
| |
|
\ .
que es el centro de la circunferencia.

A continuacin intentaremos obtener una ecuacin cartesiana para representar un cono.
48

48

A la igual que con la esfera, llamaremos cono a la superficie cnica. Ms precisamente,
dada una circunferencia C y un punto V que no pertenece a su plano, llamaremos cono
a la superficie engendrada por todas las rectas que pasan por V y cortan a C , es decir el
conjunto de los puntos pertenecientes a dichas rectas.

El punto V es el vrtice del cono. Si la perpendicular por V al plano de la circunferencia
corta al mismo en el centro de C , diremos que el cono es recto.
Para obtener una ecuacin cartesiana para el cono consideremos que un punto
( ) , , P x y z pertenece al cono si y slo si existe un punto ( )
0 0 0 0
, , P x y z de C tal que P
pertenece a la recta
0
VP . Tenemos entonces que P verifica las ecuaciones paramtricas
de la recta
0
VP y que
0
P satisface las ecuaciones cartesianas que representan la
circunferencia C . En este conjunto de cinco ecuaciones tenemos como incgnitas a las
coordenadas del punto genrico ( ) , , P x y z y como parmetros a las coordenadas de
( )
0 0 0 0
, , P x y z y al parmetro de la recta
0
VP . Eliminando estos cuatro parmetros entre
estas cinco ecuaciones obtendremos una ecuacin que llamaremos ecuacin cartesiana
del cono.

Ejemplo
Consideremos ( ) 1, 2,0 V y la circunferencia dada por las ecuaciones
cartesianas C )
2 2 2
1 x y z
x y
+ + =

. Como dijimos antes todo punto ( ) , , P x y z del cono


pertenece a una recta
0
VP con
0
P en la circunferencia C .
49

49

Esto nos conduce al siguiente conjunto de cinco ecuaciones: ( )
( )
2 2 2
0 0 0
0 0
0
0
0
1
1 1
2 2
x y z
x y
x x
y y
z 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

= . Sustituyendo estos valores en la segunda ecuacin tenemos


1 2 2 x y + = + de donde se deduce que
3
3
x y

+ +
= . 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 =

. Si notamos con ( ) , x y las coordenadas de P y


con ( ) ,
C C
x y las de C tenemos: ( ) ( )
2 2
C C
x x y y r + = o lo que es lo mismo
( ) ( )
2 2
2
C C
x x y y r + = . Decimos que sta es la ecuacin cartesiana de la
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 0 z = , 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 0 z = .
Dado que la ecuacin de un cono es de la forma
2 2 2
0 ax by cz dxy exz fyz gx hy iz j + + + + + + + + + = , la seccin cnica en el plano
ser de la forma
2 2
0 ax by cxy dx ey f + + + + + = . (1)

51

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.
Es posible tambin brindar una definicin que contemple a todas las cnicas a la vez.
Una cnica es el lugar geomtrico de los puntos del plano tales que el cociente de
distancias a un punto fijo llamado foco y a una recta fija llamada directriz es una
constante dada. (*)
Si notamos con F al foco y con d a la directriz, una cnica es el conjunto de los puntos
P del plano que verifican
( )
( )
,
,
d P F
e
d P d
= , siendo e una constante positiva a la que
llamamos excentricidad de la cnica.
Si 1 e < decimos que la cnica es una elipse, si 1 e = decimos que es una parbola y si
1 e > decimos que es una hiprbola.

Para que todo esto tenga sentido deberamos probar que estas dos definiciones de las
cnicas como lugar geomtrico son equivalentes y que ambas son equivalentes a las
dadas como secciones de un cono recto con un plano.
Esbozaremos parte de este trabajo, dejando que el lector interesado profundice el tema
por su cuenta consultando bibliografa. Para ello pueden ser tiles los textos Curso de
geometra mtrica de Pedro Puig Adam tomo 2, leccin 27 y Geometry de David A.
Brannan, Matthew F. Esplen y J eremy J . Gray, captulo 1.

Comencemos por probar que si seccionamos un cono recto con un plano que no pase
por su vrtice obtenemos una cnica en el sentido de la definicin (*).
Este resultado se conoce como teorema de Dandelin. (1)

Observacin
Sea V el vrtice del cono y un plano que no pasa por V. Supongamos
adems que no es perpendicular al eje del cono, descartando por el momento el caso
en que la cnica es una circunferencia.




(1) Germinal Pierre Dandelin (1794-1847) fue profesor de mecnica en la universidad de Lige (Blgica).
Obtuvo este resultado en 1822.
52

52























Consideremos una esfera tangente al cono en una circunferencia C de centro O y
tangente a en un punto F. Sea E la curva en la que corta al cono y d la recta en
que corta al plano de la circunferencia C .
Tomemos un punto P de E y notemos con D al pie de la perpendicular a d por P, con
M al pie de la perpendicular por P al plano de C y con L al punto de corte de VP con
C . Si adems notamos con al ngulo PDM
.
y con al ngulo PLM
.
, trabajando
en los tringulos rectngulos PDM
A
y PLM
A
tenemos sen
PM
PD
= y sen
PM
PL
= .
Dividiendo miembro a miembro estas igualdades se obtiene
sen
sen
PL
PD

= .
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

= = . Es claro que y son constantes (es decir que


no dependen del punto P elegido) y notando
sen
sen
e

= , 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
+ =

. Esta es la ecuacin de una cnica C con centro en el


origen de coordenadas y con focos ( ) ,0 F ae y ( ) ,0 F ae ' .
Pues bien, si C es una elipse tenemos 0 1 e < < y por tanto
2
1 0 e > . Es ms
( )
2 2 2 2 2 2 2
1 a e a a e a c = = , por lo cual c a < y tomando
2 2
b a c = , la ecuacin
de la elipse queda expresada como
2 2
2 2
1
x y
a b
+ = , donde a es la abscisa de uno de sus
vrtices. Esta ecuacin tambin puede escribirse como
2 2 2 2 2 2
0 b x a y a b + = y como
era de esperar es de la forma (1).
Observemos adems que C corta al eje Oy en los puntos ( ) 0, B b y ( ) 0, B b ' .

Podemos interpretar geomtricamente a b como la
longitud del semieje menor de la elipse. De ms est
decir que a es la longitud del semieje mayor.


Por otra parte si C es una hiprbola tenemos 1 e >
y por tanto
2
1 0 e < . Reescribamos la ecuacin
como
( )
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.

Você também pode gostar