Capitulo 3 Geometria Analitica

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 21

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

. Si A xA , y A , z A , B xB , yB , zB y O 0,0,0 ,

existe un nico punto P tal que

AB OP y las coordenadas de P son


35

36

xB xA , yB yA , zB z A .

La medida del segmento AB es la misma que la del

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

La medida del segmento AB es la misma que la del 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

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 , u v w u v w .
ii) Existencia de neutro: existe V tal que v V , v v .
iii) Existencia de opuesto: v V , existe v V tal que v v .
iv) Conmutativa: u, v V , 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
36

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

y v V . 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 , 1.u u .
ii) , , v V , .v . .v .
iii) ,

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

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.

37

38

Ejercicio
Probar que si
coordenadas de v son

a d , b e, c f

, u, v V , las coordenadas de u son

d , e, f ,

a, b, c

entonces las coordenadas de

uv

y las
son

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 xA , y A , z A y B xB , yB , zB dos puntos de r y u AB . Si tomamos otro punto

P x, y, z de r, tenemos que existe un real tal que P H A, B y por lo tanto

AP . AB (decimos en estos casos que AP y AB son colineales).


Escribiendo esto en coordenadas tenemos:

x xA , y yA , z z A xB xA , yB yA , zB z A lo que se puede
x x A xB x A

reescribir como y y A yB y A . Notando a, b, c xB xA , yB y A , zB z A

z z A zB z A
x xA a

las coordenadas de u se tiene y y A b que es lo que llamamos las ecuaciones


z z c
A

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
x xA a
ecuaciones paramtricas de la recta de la forma
.
y yA b

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

sencillo ver que los puntos C


, 0, 0 , D 0, , 0 y E 0, 0,
verifican esta
3
7

39

40

ecuacin y sin embargo ninguno de ellos pertenecen a r. Es ms C, D y E no estn


5 x 3 y 17
alineados. Adems el sistema
no es equivalente a la ecuacin
2 x 3z 4

7 x 3 y 3z 13 sino a otro sistema obtenido sustituyendo alguna de sus ecuaciones


por esta ltima.
5 x 3 y 17
Nos conformaremos entonces con decir que
es un par de ecuaciones
2 x 3z 4
5 x 3 y 17
cartesianas para r. Naturalmente
es otro par de ecuaciones
7 x 3 y 3z 13
cartesianas para r.
Analizaremos a continuacin la posibilidad de representar mediante ecuaciones un
plano del espacio.
P
Para determinar un plano necesitamos tres
puntos no alineados.
C
v
Digamos que A xA , y A , z A , B xB , yB , zB y

C xC , yC , zC 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 ,

tales que AP u v . Nuevamente podemos

escribir esto en coordenadas obteniendo:


x xA , y yA , z z A xB xA , yB yA , zB z A xC xA , yC yA , zC z A .

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

) y y A b e . A esto le llamamos ecuaciones paramtricas del plano .


z z c f
A

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

Elegimos como vectores directores de a u AB y v AC . Entonces u 1, 2,1 y

x 1 2

v 2, 2,6 . Las ecuaciones buscadas son ) y 3 2 2 .


z 2 6

Podemos eliminar los parmetros y del siguiente modo.


Eliminemos entre las primeras dos ecuaciones obteniendo x y 2 3 .
Eliminemos entre la primera y la tercera ecuacin obteniendo 3x z 1 4 .
Por ltimo eliminemos entre estas dos ecuaciones. Llegamos a 5x 4 y 3z 11.
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.
5 x 3 y 17
Por ejemplo decamos que
es un par de ecuaciones cartesianas para la
2 x 3z 4
recta r que pasa por A 1, 4, 2 y tiene vector director u 3,5, 2 . Qu significa esto?
Sabemos ahora que 5x 3 y 17 y 2 x 3 z 4 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
B

teorema del coseno en el tringulo ABC .


Tenemos CB2 AB2 AC 2 2. AB.AC.cos .
Escribiendo esta igualdad con coordenadas
se tiene que:

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

a, b, c xB xA , yB yA , zB z A son las coordenadas de


d , e, f xC x A , yC y A , zC z A son las coordenadas de v, tenemos
coordenadas de u v son a d , b e, c f .
Si

que las

Entonces podemos escribir:

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

a 2 2ad d 2 b2 2be e2 c2 2cf f 2 a 2 b2 c 2 d 2 e2 f 2 2. a 2 b2 c 2 . d 2 e2 f 2 .cos

2ad 2be 2cf 2. a 2 b2 c 2 . d 2 e2 f 2 .cos ad be cf a 2 b2 c 2 . d 2 e2 f 2 .cos

Concluimos que cos

ad be cf

a b c 2 . d 2 e2 f 2
2

Es fcil ver que idntica cuenta en el plano nos lleva a la igualdad


cos

donde las coordenadas de u son a, b y las de v son c, d .

ac bd
a b . c d
2

El denominador de estas expresiones es fcil de interpretar geomtricamente,

a 2 b2 c 2

es la medida del segmento AB que representa al vector u y

d 2 e2 f 2

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

u al real

Dado un vector u del espacio de coordenadas a, b, c llamaremos norma de

a 2 b2 c 2 .

Dado un vector u del plano de coordenadas

a, b

llamaremos norma de u al real

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

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 u, v 0 .


iii) Para todo vector u se tiene u, u u .
2

iv) Para todo vector u se tiene u, 0 .


Veamos algunas propiedades del producto escalar. Todas ellas se verifican
inmediatamente a partir de la definicin.
Propiedades
i) u V , u, u 0 y u, u 0 sii u .
ii) u, v V , u, v v, u .
iii) , u, v V , u, v u, v u, v .
iv) u, v, w V , u v, w u, w v, w y u, v w u , v u , w .

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

se tiene que u es perpendicular a AP . Por lo tanto u, AP 0 . Sabemos que las


coordenadas de AP son x xA , y y A , z z A .

a, b, c las coordenadas de u podemos escribir


a x xA b y y A c z z A 0 o lo es lo mismo ax by cz axA by A cz A .

Si

notamos

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
x xA a
paramtricas de la forma
donde A xA , y A es un punto de la recta y
y yA b

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 a 0 .

b
Podemos entonces sustituir u por el vector v 1, que es colineal con l y las
a
x xA

ecuaciones paramtricas de la recta son ahora


b.
y y A a
Despejando de la primera ecuacin y sustituyendo en la segunda obtenemos para la
recta la ecuacin cartesiana y y A m x xA , donde hemos escrito m

b
a

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

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

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

a1 xP b1 yP c1 zP d1 a2 xP b2 yP c2 zP d2 0 . Dado que los coeficientes


de y en esta igualdad son datos y que al menos uno de ellos es no nulo (porque
P r ), podemos elegir y de modo que la igualdad se verifique.

Por ejemplo, supongamos que P . Entonces a1 xP b1 yP c1 zP d1 0 .


Basta tomar 1 y

a2 xP b2 y P c2 z P d 2
.
a1 xP b1 y P c1z P d 1

En resumen: el haz de planos que pasan por r (recta de interseccin de


) a1 x b1 y c1 z d1 y ) a2 x b2 y c2 z d 2 ) se puede representar por

a1 x b1 y c1 z a2 x b2 y c2 z d1 d2 con ,

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 xC , yC , zC . 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

x xC

y yC z zC r . Elevando ambos miembros al


2

46

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 x xC y yC z zC r 2 .
2

A esta ecuacin le llamaremos ecuacin de la esfera y tambin podemos escribirla como


x2 y 2 z 2 2 xC x 2 yC y 2 zC z xC 2 yC 2 zC 2 r 2 0 .
El lector podr convencerse sin dificultad que no toda ecuacin de la forma
x2 y 2 z 2 ax by cz d 0 representa una esfera y hallar una condicin
necesaria y suficiente para que esto suceda.
Ejemplo
Hallemos la ecuacin de la esfera de centro C 3, 1, 4 y radio 5.
De

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

paramtricas son p) y 1 2 . Para hallar su interseccin con sustituyamos las


z 4

expresiones de x, y, y z de estas ecuaciones en la ecuacin cartesiana de .

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

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


47

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 P0 x0 , y0 , z0 de C tal que P
pertenece a la recta VP0 . Tenemos entonces que P verifica las ecuaciones paramtricas
de la recta VP0 y que P0 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

P0 x0 , y0 , z0 y al parmetro de la recta VP0 . Eliminando estos cuatro parmetros entre


estas cinco ecuaciones obtendremos una ecuacin que llamaremos ecuacin cartesiana
del cono.
Ejemplo
Consideremos V 1, 2,0 y la circunferencia dada por las ecuaciones

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

Esto nos conduce al siguiente conjunto de cinco ecuaciones: x 1 x0 1


en el

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

De las ltimas tres ecuaciones podemos obtener

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

y yC r 2 . Decimos que sta es la ecuacin cartesiana de la


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

Si A E , d A, F2 d A, N por ser segmentos de tangente a una esfera trazadas


desde A y por el mismo motivo d A, F1 d A, M .
51

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

y F2 dos puntos del mismo y

C P : d P, F1 d P, F2 2a . Probemos que C es una elipse. En efecto, sean

A1 y A2 los puntos de la recta F1 F2 , simtricos respecto al punto medio del segmento

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

d A, F2 d A, F1 2a y por ende pertenecen a C . En resumen E C .


Probemos la otra inclusin. Si A es un punto interior a la elipse E consideremos A en E
tal

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

d A, F2 d A, F1 2a . Anlogamente se prueba que si A es un punto exterior a


la elipse E se tiene d A, F2 d A, F1 2a .
Concluimos que si A E , entonces A C o lo que es lo mismo si A C , entonces
A E , como queramos. Entonces C E y el teorema queda probado para el caso de la
elipse.
El caso de la hiprbola se prueba en forma similar y queda a cargo del lector.
Observaciones
1) Si llamamos C y C a las circunferencias de contacto de las esferas
anteriores con el cono, los planos que contienen a C y C cortan a en dos rectas d1 y

d 2 a las que llamamos directrices de la cnica. Para el caso de la parbola uno de


dichos planos es paralelo a y por ende hay una sola directriz. Obsrvese que en este
caso tambin hay un solo foco.

52

53

No es difcil probar que si A es un punto cualquiera de la cnica,


constante a la que llamamos excentricidad de la cnica que cumple

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

una constante positiva mayor que c y FP representa la medida del segmento FP .


Entonces

x c

segundo

miembro

x c

y2
de

y 2 4a 2 4a.

x c
la

y 2 2a . Si trasponemos el segundo radical al

igualdad

x c

-6

elevamos

al

cuadrado

x c

y 2 2cx . A efectos

de librarnos del radical, lo despejamos y elevamos nuevamente al cuadrado:

x c

obtiene

y 2 x c y 2 . Desarrollando los cuadrados de

los binomios y simplificando tenemos 2cx 4a 2 4a.

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

Finalmente ponemos b2 a 2 c2 y dividimos ambos miembros de la igualdad por

x2 y 2

1 a la que llamamos ecuacin de la elipse.


a 2 b2
Esta ecuacin tambin puede escribirse como b2 x2 a 2 y 2 a 2 b2 0 y como era de
esperar es de la forma (1).
Si notamos xV la abscisa de V tenemos que las coordenadas de V son xV , 0 .
a 2 b2 resultando

xV 2 0

1 xV 2 a 2 . Como xV y a son reales


a 2 b2
positivos tenemos que xV a . Es decir que la constante a de la ecuacin es la abscisa
Sustituyendo en la ecuacin obtenida

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

y sustituyendo en la ecuacin se tiene y A b , de modo que la constante b es la

medida del semieje menor.


Ejercicios

1) Mostrar que la ecuacin cartesiana


de una parbola con vrtice en el origen, foco en
el punto F 0, p y directriz y p , es

x 4 py 0 .
2

-10

-5

y =-p
-2

4
-4

2) Mostrar que la ecuacin cartesiana de una


hiprbola con focos en los puntos F c, 0

y F ' c,0 y vrtices en los puntos V a, 0


y V ' a, 0 es

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

También podría gustarte