Documente Academic
Documente Profesional
Documente Cultură
Introduccin
Geometra y lgebra
La Geometra Analtica naci a comienzos del siglo XVI.
En su forma ms general, consiste en la traduccin de los problemas geomtricos a
versiones algebraicas o analticas (es decir, de Clculo Infinitesimal) ms
manejables.
La nocin fundamental consiste en representar objetos geomtricos en el llamado
plano cartesiano.
Tal idea es utilizada para evidenciar y analizar informacin en las ms diversas
actividades, tanto fsicas como biolgicas, econmicas como sociolgicas. No es
aventurado decir que la inmensa mayora de las aplicaciones de la Matemtica a
otras disciplinas pasa por esta representacin. Es interesante, entonces, constatar que
la geometra analtica haya sido el invento de dos personas que hoy se llamara poco
prcticas: un filsofo preocupado de los fundamentos ltimos del conocimiento
(Ren Descartes, de ah el apelativo cartesiano) y Pierre de Fermat, jurisconsulto
que ocupaba sus ratos de ocio en diversos temas matemticos.
Se habr observado que cuando estudiamos trigonometra hablamos tambin de la
traduccin de propiedades geomtricas a una cierta lgebra. Ello no es casual: lo
que ha ocurrido es que usamos, en realidad, el plano cartesiano para hacer un
tratamiento ms acabado.
Por supuesto, en Matemticas, la idea no consiste slo en representar informacin
en un dibujo; el plan es mucho ms ambicioso: las representaciones muestran en
realidad, relaciones entre diversos objetos, y son esas relaciones las que se estudia y
ocasionalmente se dibuja.
As, por ejemplo, si un crculo es el lugar geomtrico de todos los puntos que
equidistan de un punto dado, tal propiedad se puede dibujar, digamos, en un papel;
sin embargo, cuando se la representa en un plano cartesiano, se obtiene adems es
(en este caso) una ecuacin tal como x 2 y 2 1, donde x e y son nmeros reales;
es esta ecuacin la que se estudia, porque contiene mucha ms informacin de la
que podra llegar a incorporarse en un dibujo.
Ms an, hay muchas figuras que, en rigor, no pueden dibujarse (por ejemplo, una
recta es siempre infinita) y el estudio progresa a travs de las ecuaciones y
expresiones de ese tenor.
(Incidentalmente, lo que antes se llamaba lugar geomtrico hoy se llama
conjunto).
Advertencia
Vamos a examinar, desde el punto de vista sealado, varios tipos de objetos
geomtricos, entre ellos las llamadas secciones cnicas. El estudio de las cnicas fue muy
importante en tiempos pasados, particularmente, en el llamado Renacimiento, y sigue
sindolo, por supuesto, en ciertas reas. La generalidad de los estudiantes no necesita, sin
embargo, hacerse experta, por ejemplo, en identificar elementos en elipses, y obtendr
mayor provecho analizando posteriormente estas figuras geomtricas tanto con las
herramientas del Clculo Infinitesimal como con ayuda de servidores electrnicos,
particularmente grficos.
Insistimos, entonces, en que siga cuidadosamente las instrucciones del profesor,
particularmente respecto de la importancia que debe dar a ciertos conceptos relacionados
con las secciones cnicas (lado recto, excentricidad y similares), y tambin respecto de
Cuantificadores
algunos de los ejercicios que sugerimos para esa materia, para los cuales es posible que la
recomendacin de su profesor sea la de no hacerlos (los hemos incluido, sin embargo, para
aquellos alumnos que los necesitarn).
La cuestin es que el estudio de las cnicas puede ser atractivo, pero puede tambin
distraer al alumno de materias, (ideas, resultados y tcnicas) ms generales, ms
importantes, de mayor aplicacin prctica y ms relevantes para su desarrollo en la
Matemtica.
Relaciones en el plano
El plano cartesiano.
Supongamos, en primer lugar, que queremos representar el conjunto (o sistema) R de
los nmeros reales. Sera natural tomar una recta , ubicar el nmero 0 en un punto que
llamamos origen y anotamos O, y luego escoger una unidad de medida para graduar la
recta, de modo que hacia la derecha se marque unidades positivas, hacia la izquierda,
negativa.
Si lo que deseamos es representar R R, debemos trabajar un poco ms. Una manera
tambin natural sera tomar un plano ; elegir un origen O para representar el par 0, 0;
agregar dos rectas perpendiculares, 1 horizontal y 2 vertical, que se cortan precisamente
en O, y graduar ambas rectas de modo que hacia la derecha y hacia arriba se tomen
unidades positivas. 1 se llama eje OX, o bien eje de las x o eje de las abscisas; 2 se llama
eje OY, o bien eje de las y o bien eje de las ordenadas.Vea la figura siguiente
4
2
-4
-2
-2
-4
Cuantificadores
Note la cantidad de elecciones que se hizo: el punto O pudo ser otro, las rectas
perpendiculares estar en otra posicin, la unidad de medida es arbitraria - y podra ser
distinta en cada recta (a veces, para obtener una buena representacin de una figura,
usaremos este recurso).
Relaciones en el plano R R.
Im R.
Ilustramos estos conceptos en la figura siguiente
.
DomR 5, 0 1, 4; RecR 4, 2 1, 3
Por ejemplo, x y es una relacin, x, x : x R es su grfico, y su representacin
grfica es la recta diagonal que dibujamos con una inclinacin de 45 grados en la siguiente
figura
Representacin grfica de y x
Remark No toda relacin posee necesariamente una frmula, pero aqu no
ocuparemos slo de las que pueden ser representadas por una frmula o
ecuacin del tipo fx, y 0. Por ejemplo, en el caso de arriba px, y : x y,
podemos escribir fx, y x y 0.
En realidad, nos ocuparemos principalmente de ecuaciones de primer y
segundo grados; hay, por supuesto, ecuaciones de grado mayor (estas
ecuaciones se llaman algebraicas, las trigonomtricas, por ejemplo, no tienen
grado del mismo modo que stas).
Remark (Para una lectura posterior, y slo si lo cree necesario). En realidad,
Cuantificadores
dP2, 1, Q2, 4 |4 1| 3
Podemos ahora abordar el caso en que x 1 x 2 , y 1 y 2
Utilizamos el teorema de Pitgoras en el tringulo de la figura, y obtenemos
dPx 1 , y 2 , Qx 1 , y 2 ; x 1 x 2 , y 1 y 2
Cuantificadores
es decir,
dP, Q 2 x 2 x 1 2 y 2 y 1 2
Podramos, entonces, haber hecho desde el comienzo la siguiente
Definition Si Px 1 , y 1 , Qx 2 , y 2 son puntos del plano, entonces la distancia de P a Q
es dP, Q x 2 x 1 2 y 2 y 1 2
Example Si P1, 4, Q2, 3, entonces
dP, Q
4 1 2 3 2 2
34 5. 83
x 2 x 1 2 |x 2 x 1 |,
0 (d es no-negativa)
0 P 1 P 2 (d es definida)
dP 2 , P 1 (simetra
dP 1 , P 2 dP 2 , P 3 (desigualdad triangular)
Lo nico que no es inmediato es la desigualdad triangular:
Sean P 1 x 1 , y 1 , P 2 x 2 , y 2 , P 3 x 3 , y 3 . Razonamos por el absurdo, que
aqu es ms cmodo: Suponemos que dP 1 , P 3 dP 1 , P 2 dP 2 , P 3 .
Es decir, x 3 x 1 2 y 3 y 1 2
dP 1 , P 2
dP 1 , P 2
dP 1 , P 2
dP 1 , P 3
Proof
x 2 x 1 2 y 2 y 1 2 x 3 x 2 2 y 3 y 2 2
Elevando al cuadrado para eliminar races y reuniendo cuidadosamente
trminos semejantes, sigue que
x 3 x 1 2 y 3 y 1 2
x 2 x 1 2 y 2 y 1 2 x 3 x 2 2 y 3 y 2 2
2 x 2 x 1 2 y 2 y 1 2 x 3 x 2 2 y 3 y 2 2 , es decir,
x 2 x 1 x 3 x 2 y 2 y 1 y 3 y 2
x 2 x 1 2 y 2 y 1 2 x 3 x 2 2 y 3 y 2 2 ;
repitiendo un proceso anlogo, se tiene
x 2 x 1 y 3 y 2 x 3 x 2 y 2 y 1 2 0, lo que es evidentemente
imposible.
Remark Estas propiedades son las que se esperara de una distancia: no debe ser
negativa; entre un punto y l mismo debe dar 0; medirla entre un punto y otro
no debe depender de cul sea el primero que se toma.
Respecto de la desigualdad triangular, (recuerde que) en todo tringulo,
un lado es menor o igual que la suma de los otros dos. Segn se ver ms
adelante, la igualdad se cumple cuando los tres puntos estn en una misma
lnea. (Se tiene entonces un tringulo degenerado, con dos ngulos de 0 grado
y uno de 180.
Cuantificadores
La Recta
Rectas no verticales
Consideremos, ingenuamente, la figura siguiente, fig. donde P 0 x 0 , y 0 , P 1 x 1 , y 1 son
puntos fijos de , y x 1 x 0 , de modo que no es una recta vertical. Px, y es un punto
arbitrario de .
Pude comprobarse que la argumentacin que sigue en esta seccin no depende de la
posicin relativa de los puntos P, Q, (excepto que no est uno sobre el otro) ni de los
cuadrantes en que se sitan.
Ecuacin punto-punto
Dado que los tringulos que se forman en la figura son semejantes, se tiene de
inmediato la siguiente proporcionalidad entre los lados correspondientes:
P 0 x 0 , y 0 ; P 1 x 1 , y 1 ; P 2 x 2 , y 2
y1 y0
y y0
x1 x0 x x0
La ecuacin anterior se llama ecuacin punto-punto de ; se anota
y y
yy
: x 11 x 00 x x 00
Example La ecuacin de la recta que pasa por P 0 2, 3 y P 1 1, 5 es
:
53
12
y3
x2
, es decir, 8
y3
x2
Cuantificadores
y 1 y 0
x 1 x 0
yy 0
xx 0
se convierte en
y y
: y y 0 x 11 x 00 x x 0 ,
de donde se tiene de inmediato que
y y
y x 11 x 00 x x 0 y 0 ,
y y
y por tanto b x 11 x 00 x 0 y 0
x 0 y 1 y 0 x 1
x 1 x 0
Cuantificadores
x
a
y
b
y 1 y 0
x 1 x 0
35
12
yy 0
xx 0
es
y5
x2
, es decir,
: 8x 11 y,
o sea, :
x
11
8
y
11
1.
11
8
Remark El lector debe familiarizarse con las frmulas vistas en esta seccin:
determinar la ecuacin de una recta en cualquiera de los casos sealados y ser
capaz transformar cada uno de los casos en cualquiera de los otros, en forma
expedita.
Rectas verticales
Cuantificadores
:x3
Cuantificadores
Ilustraciones
Nos detenemos un instante para dar un par de ilustraciones.
Example Sean 1 : 2x y 4 , 2 la recta que pasa por P3, 9 y Q3, 5. Se pide
determinar la ecuacin de la recta cuya pendiente es m 1, y que pasa por
el punto R de interseccin de 1 y 2 .
Es claro que 2 es vertical, por lo tanto se tiene 2 : x 3.
Sea ahora R 1 2 , (en realidad, R 1 2 ), y supongamos que
Rx 0 , y 0 entonces, sus coordenadas deben satisfacer ambas ecuaciones
simultneamente,
es decir, x 0 , y 0 es la solucin del sistema
x3
2x y 4
Luego, R3, 2
Entonces, se tiene que : y 2 1x 3, es decir, : y x 1
1 ; 2 ; R 1 2
Puntos colineales.
Estamos ahora en condiciones de examinar cundo, en la desigualdad triangular
(teorema 6.4), se tiene la igualdad.
Es decir, dados P 1 x 1 , y 1 , P 2 x 2 , y 2 , P 3 x 3 , y 3 en el plano,
queremos saber cundo se cumple
dP 1 , P 3 dP 1 , P 2 dP 2 , P 3 .
Segn lo ya visto, se tiene dP 1 , P 3 dP 1 , P 2 dP 2 , P 3 ,
y, si los puntos forman un tringulo comn, naturalmente
dP 1 , P 3 dP 1 , P 2 dP 2 , P 3 .
Afirmamos que la igualdad se tiene si y slo si los tres puntos estn en una misma lnea,
Cuantificadores
x 2 x 1 2 y 2 y 1 2 x 3 x 2 2 y 3 y 2 2
Para facilitar el clculo, escribimos
x 2 x 1 a, y 2 y 1 b, x 3 x 2 c, y 3 y 2 d.
Entonces, la expresin anterior equivale a
a c 2 b d 2 a 2 b 2 c 2 d 2 ,
que es verdadera si y slo si a b c d, etc.
Note que cada paso del proceso anterior es reversible.
En la figura siguiente se muestra la diferencia.
P, Q, R no colineales;
P, Q, R colineales;
Rectas paralelas
Vamos a hacer una definicin de rectas paralelas, apoyndonos en la idea intuitiva que
se tiene de paralelismo.
Ms adelante tendremos una nocin de ngulo entre dos rectas; evidentemente, dos
rectas son paralelas si y slo si el ngulo que forman es de 0 grados (0 radianes), o bien 180
grados ( radianes), de manera que podramos obviar esta definicin por ahora. Sin
embargo, vale la pena examinar la situacin con una pocas herramientas.
Definition Dos rectas distintas son paralelas si ambas tienen la misma pendiente, o
bien si ambas son verticales (i.e., no tienen pendiente).
Anotamos, como de costumbre, 1 2 .
Cuantificadores
Rectas paralelas: y 2x 3; y 2x 7
Remark Suponga que 1 : A 1 x B 1 y C 1 y 2 : A 2 x B 2 y C 2 son rectas
paralelas, y suponga adems que se tiene B 1 0 y B 2 0.
Entonces, podemos escribir
1 :. y AB 11 x
C1
B1
, 2 : y AB 22 x
C2
B2
A1
B1
A2
B2
, bien A 2 B 2 A 1 B 1
Esta ltima ecuacin resulta ser ms cmoda pues tiene sentido cuando
B 1 B 2 0, es decir, para paralelas verticales. A su vez se puede verificar
que todo par de rectas que cumplen tal condicin son paralelas - incluyendo,
como decimos, el caso vertical.
Rectas perpendiculares.
Haremos ahora una definicin de rectas perpendiculares. Tambin aqu podramos
comenzar, como en el caso del paralelismo, desde una nocin intuitiva de una de rectas
perpendiculares. Sin embargo, el tratamiento es ms elaborado que antes, y preferimos
justificar directamente la siguiente definicin, posteriormente, a partir del ngulo que se
forma, es decir, 90 grados ( 2 radianes).
Definition Sean 1 , 2 rectas en el plano. Entonces, 1 y 2 son perpendiculares si y
slo si se tiene uno de los siguientes casos:
1. Si m 1 y m 2 son las pendientes respectivas, se tiene m 1 m 2 1
2. Una de ellas es vertical (sin pendiente) y la otra es horizontal (pendiente cero).
Notation Si 1 y 2 son perpendiculares, anotamos 1 2
Cuantificadores
AB 22
1, i.e.,
A1
B1
A2
B2
1, es decir,
A1A2 B1 B2 0
Example Supongamos que tenemos la recta : 2x 3y 4 y un punto P2, 1. La
pendiente de es m 23
1. Determinemos la ecuacin de la recta 1 que es paralela a y pasa por P.
Si la pendiente de 1 es m 1 , debe tenerse m m 1 23 , y la ecuacin es
1 : y 1 23 x 2, es decir, 1 : y 23 x 13
2. Determinemos ahora la ecuacin de la recta 2 que es perpendicular a y pasa por P.
Aqu, si la pendiente de 2 es m 2 , debe tenerse m 1 m 2 1, es decir, m 2 32 ; la
ecuacin de la recta es entonces 2 : y 1 32 x 2, es decir, 2 : y 32 x 4
Cuantificadores
Rectas paralelas y x k, k 0, 1, 2, 3, 4, 1, 2, 3
Las rectas obtenidas son paralelas.
La interseccin con el eje OY se desplaza:
si b 0, ocurre bajo el eje OX;
si b 0, se produce en el origen O, y
si b 0, ocurre sobre el eje OX
Variacin de m : rectas crecientes y decrecientes
Consideremos nuevamente la ecuacin : y mx b, fijemos b y variemos m. Las
rectas que se obtiene aparecen como en la fig.
Es conveniente mirar esta situacin con ms detalle.
Rectas crecientes.
Supongamos que m 0, y sean P 1 x 1 , y 1 , P 2 x 2 , y 2 . Entonces, se tiene que
y y
m x 22 x 11 0
x 2 x 1 0 y 2 y 1 0 x 2 x 1 0 y 2 y 1 0,
x 2 x 1 y 2 y 1 x 1 x 2 y 1 y 2
Cualquiera de las dos ltimas implicaciones expresa que la recta es estrictamente
creciente. Vea la figura.
Cuantificadores
Rectas crecientes
Rectas decrecientes
Supongamos ahora que m 0,
y sean P 1 x 1 , y 1 , P 2 x 2 , y 2 . Entonces, se tiene que
y y
m x 22 x 11 0
x 2 x 1 0 y 2 y 1 0 x 2 x 1 0 y 2 y 1 0,
x 2 x 1 y 2 y 1 x 1 x 2 y 1 y 2
Cualquiera de las dos ltimas implicaciones expresa que la recta es estrictamente
decreciente. Vea figura.
Rectas decrecientes
Rectas horizontales
Por supuesto, si m 0, la recta queda y b, que es una recta horizontal.
Note que, si se define recta creciente como aqulla en que se tiene
x 2 x 1 y 2 y 1 o, equivalentemente, x 1 x 2 y 1 y 2 ,
y recta creciente de modo anlogo, una recta horizontal es, a la vez, creciente y
decreciente (pero no estrictamente creciente ni estrictamente decreciente).
Cuantificadores
Rectas horizontales: y 0x b
Insistencia.
Podemos refinar un poco las afirmaciones de arriba:
Llamemos diagonal a la recta d : y x, y sea todava : y mx b
Entonces,
si 0 m 1, entonces crece pero ms lentamente que d.
si m 1, entonces es paralela a d.
si 1 m, entonces crece ms rpidamente que d.
(Pendientes) m 1; m 1; 0 m 1
Aplicaciones.
Ms adelante, las consideraciones recin hechas nos servirn de utilidad para estudiar el
crecimiento o decrecimiento de curvas segn las rectas tangentes, si las hay, segn se
sugiere en la siguiente figura.
Cuantificadores
Cuantificadores
tan tan
Remark Paralelismo y perpendicularidad son, naturalmente, casos especiales de lo
anterior:
m 2 m 1
arctan 0, e inversamente;
1m 2 m 1
m 2 m 1
expresin 1m
no est definida y por tanto
2m1
2. Si 1 2 , entonces m 1 m 2 1, luego, la
m 2 m 1
no est definida y el ngulo es (salvo mltiplos del perodo, que nos
tan 1m
2m1
interesa aqu).
Cuantificadores
dP, dP, Q
Vamos a proceder por etapas:
1. Determinemos primero la ecuacin de 1 :
Sea x, y 1 . Como tambin Px 0 , y 0 1 ,
yy
la pendiente de 1 es m 1 xx 00
yy
Adems como 1 , debe tenerse m 1 m xx 00 m 1
As, la ecuacin de 1 es y m1 x xm0 y 0
2. Determinemos ahora el punto Q:
y mx b
y m1 x
m1 x xm0
my 0 x 0 mb
,
1m 2
x0
m
y0;
Luego, se tiene Q
y0
0 mx 0 b
1m 2
m 2 y 0 mx 0 b
1m 2
m2y
x 1 x 0 2 y 1 y 0 2
my 0 x 0 mb
1m 2
my 0 m 2 x 0 mb
1m 2
m2
2
1m 2
m 2 1
2
1m 2
x0
2
m 2 y 0 mx 0 b
1m 2
y 0 mx 0 b
1m 2
y 0 mx 0 b 2
y0
y 0 mx 0 b 2
1m 2
y 0 mx 0 b 2
|y 0 mx 0 b|
1m 2
En definitiva,
dP, Q
|y 0 mx 0 b|
1 m2
(Por supuesto, resultara instructivo repetir el proceso para casos concretos, con puntos
y rectas particulares).
Ahora estamos en condiciones de definir la distancia entre P y . (Es decir: el ejemplo
anterior muestra que la definicin que sigue es razonable: podemos aceptar la definicin
Cuantificadores
|y 0 mx 0 b|
1m 2
y0
A
B
dP,
x 0 CB
A
B
, es decir,
|Ax 0 By 0 C|
A2 B2
Segmento AB
En la figura se representa un trazo AB, y un punto P en su interior. Hagamos
Aa 1 , a 2 , Bb 1 , b 2 , Px, y.
Cuantificadores
Dado que las distancias dA, B, dA, P son nmeros reales no nulos, existe R tal
que
dA,B
, o, equivalentemente,
dA,P
dA,P
, o bien
dA,B
dA, P dA, B
Es claro que se tiene 0 1.
Adems, si miramos la ltima expresin, vemos que se tiene:
si 0, entonces dA, P dA, B 0, y por tanto P A
si 1, entonces dA, P dA, B, y como P, B estn sobre la misma recta y en el
mismo sentido, se tiene que P B.
Supongamos ahora que A P; B P, A B, y apliquemos el teorema de Tales, en
fig.,. Entonces,
AD
PD
AP
,
BE
AE
AB
ya
xa 1
es decir, b 1 a 1 b 2 a22 , de donde
x 1 a 1 b 1 ,
y 1 a 2 b 2
Ya estamos en condiciones de definir de manera precisa:
Definition Sean Aa 1 , a 2 , Bb 1 , b 2 R 2. .
1. El segmento o trazo AB es el conjunto AB
Px, y R 2 : x 1 a 1 b 1 ; y 1 a 2 b 2 , 0 1
2. Si Px, y R 2 , con
x 1 a 1 b 1 ; y 1 a 2 b 2 , 0 1, se dice que P divide al trazo AB
en la razn .
Remark Fijemos el segmento AB
Px, y R 2 : x 1 a 1 b 1 ; y 1 a 2 b 2 , 0 1.
1. Es importante comprobar que si Qx, y R 2 ,
con x 1 a 1 b 1 ; y 1 a 2 b 2 ,
y no se tiene 0 1, entonces
Q est an sobre la recta A,B , pero fuera del segmento AB :
si 0, Q est antes que A,
si 0, Q est despus de B
Cuantificadores
AP
AB
, distinta de
BP
AB
10
3
1. Si se quiere saber la razn en la que P divide al segmento AB, hay que proceder por
etapas:
a. Verificar primero que P est en la recta A,B determinada por A y B.
Efectivamente : y 23 x 43 , y se tiene que 103 23 3 43 .
Una alternativa ms directa es considerar lo que se dijo a propsito de
colinealidad. En efecto,
4 2 4 23 4
4 1 10
3
b. Verificar adems que P no quede fuera del segmento (aunque en la recta).
En este caso, como ya se ha verificado que P , basta observar que se tiene
1 3 4, o bien, alternativamente, que 2 103 4
c. Ahora hacemos el clculo, usando cualquiera de entre las dos frmulas indicadas.
En este caso, la frmula de arriba x 1 a 1 b 1 se transforma en
3 1 1 4, de donde 23 . (Dado que P A,B , 1 a 2 b 2 no
puede ser otro nmero).
2. Suponga ahora que queremos encontrar el punto Px, y que divide al trazo AB en la
razn 34 .
Tomamos ahora tomar las ecuaciones
x 1 a 1 b 1
y 1 a 2 b 2
y reemplazamos por
3
4
: se tiene
; y 1 34 2 34 4 72 ;
x 1 34 1 34 4 13
4
por consiguiente, el punto pedido es entonces P 134 , 72
3. Puede ahora calcular dA, P, dA, B y verificar que se tiene
dA, P 34 dA, B, segn lo previsto.
Cuantificadores
modo que cada punto P sigue siendo el mismo, pero, en el sistema original, es Px, y y, en
el otro, digamos Px , y ; diremos que pasamos del marco de referencia M al marco de
referencia M .
Px, y; Px , y ; x x h; y y k
La correspondencia x, y x h, y k se llama una traslacin (paralela) del plano;
se trata obviamente de una correspondencia biunvoca; su inversa lleva un punto cualquiera
x , y en x h, y k
Es decir, se tiene dos funciones de R 2 en R 2
x, y x h, y k
y su inversa
x , y x h, y k.
Ahora bien, si se tiene una relacin R definida en R 2 , entonces mediante la frmula
fx, y 0, entonces f x h , y k 0 es la relacin cuyo grfico se obtiene del grfico
de f x, y 0 trasladando cada punto x, y hacia el punto x h, y k.
Ciertamente, todo punto x h, y k, tal que f x, y 0, satisface la ecuacin
f x h , y k 0.
Example Supongamos que el centro de coordenadas de M se traslada al punto
2, 3, entonces:
las coordenadas de un punto Px, y en M en se convierten en
x , y x 2, y 3;
ahora bien, si en M se tiene, por ejemplo, f x, y 4x 5y, de modo que
Cuantificadores
f x, y 0 significa 4x 5y 0, en M se tendr
f x , y fx 2, y 3 4x 2 5y 3 4x 23 5y fig.
Rotacin de ngulo ;
Entonces, se tiene
x cos
y sin
x cos
y sin
Por lo tanto,
x cos cos cos cos sin sin x cos y sin
y sin sin sin cos cos sin x sin y cos
es decir,
x x cos y sin
y x sin y cos
Haciendo el clculo inverso o bien usando directamente , obtenemos adems
x x cos y sin
y x sin y cos
Traslacin y rotacin
Ahora vamos a realizar primero una traslacin de un marco M a uno M y luego una
rotacin de M a un marco M ; es decir, hacemos
x , y ,
x, y x , y
Cuantificadores
donde
x x h
y y k
x x cos y sin
y x sin y cos
Se tiene entonces,
x x h x cos y sin h
y y k x sin y cos k
es decir,
x x cos y sin h
y x sin y cos k
3
2
3
2
y 12 3
x
2
x
y 3
2
y
2
Simetra.
En esta seccin damos una versin ms precisa (y operativa) de nuestras nociones de
simetra respecto de una recta y respecto de un punto, para algunos casos que nos interesa
ahora.
Encontrar ejemplos de las simetras que aqu definimos a propsito del estudio de las
cnicas (Por ejemplo, una circunferencia es bastante simtrica y sirve para ilustrar cada
concepto de esta seccin).
Cuantificadores
Cuantificadores
c. xRy xRy
Remark (Hemos omitido los cuantificadores, arriba)
Remark Insistimos en que, si xRy : fx, y 0, las condiciones de simetra que no
hablan de dominios o recorridos son:
respecto de OX : fx, y 0 fx, y 0
respecto de OY : fx, y 0 fx, y 0
respecto de O : fx, y 0 fx, y 0
Ms adelante retomaremos las siguientes ilustraciones, que incluimos aqu slo para ver
las condiciones que no tienen que ver con dominios y recorridos. (El clculo de dominios y
recorridos es fundamental, por supuesto, y demasiados errores se deben a ignorarlos; aqu
slo queremos aclarar las otras condiciones).
Example Note los exponentes pares e impares en las siguientes situaciones, por lo
dems, evidentes:
1. Si xRy : 2x 2 5y 7 0, entonces
xRy : 2x 2 5y 7 0
2. Si xRy : 2x 3 5y 4 7 0, entonces
xRy : 2x 3 5y 4 7 0
3. Si xRy : 2x 2 5y 6 7 0, entonces
xRy : 2x 2 5y 6 7 0
Remark Es claro que si R es simtrica respecto de ambos ejes, entonces hay
simetra respecto al origen.
Sin embargo, la afirmacin recproca es falsa. Por ejemplo,
si xRy : xy 1 0, se tiene:
Si xy 1 0, entonces xy 1 0; pero no se tiene necesariamente
xy 1 0, ni xy 1 0, vea figura siguiente.
1
x
Otras simetras
(En esta seccin, vamos a obviar la cuestin de los dominios y los recorridos, que
retomaremos a propsito de las cnicas).
Supongamos ahora que la relacin R es simtrica respecto de la recta
Cuantificadores
: x h.
Bastara trasladar el origen del marco de referencia al punto h, 0 y considerar la
simetra respecto del nuevo marco; entonces, debe tenerse que
xRy x 2hRy;
es decir,
fx, y 0 fx 2h, y 0.
Anlogamente, la simetra respecto de la recta : y k es la simetra respecto del eje
OY del marco que resulta al trasladar el origen al punto 0, k, debe entonces tenerse
xRy xRy 2k;
es decir,
fx, y 0 fx, y 2k 0.
Interludio
Nos disponemos a estudiar varias figuras geomtricas cuyas frmulas son ecuaciones de
segundo grado; los clculos respectivos nos obligarn, a veces, ya sea a elevar al cuadrado
o a extraer raz cuadrada. Para mantener el control sobre la situacin, es indispensable tener
clara la siguiente situacin, de la que hablamos en el captulo 4 del volumen1:
Sean x, y nmeros reales; entonces:
1. se tiene que x y x 2 y 2 , pero
2. no se tiene que x 2 y 2 x y, sino x 2 y 2 |x| |y|;
3. por supuesto, si x 0, y 0, entonces x |x|, |y| y
y entonces s que se tiene x 2 y 2 |x| |y|.
La Circunferencia
Si un jardinero quiere dibujar una circunferencia en el suelo, seguramente proceder
del modo siguiente: primero, fija un punto en el suelo mediante una estaca, luego atar una
cuerda (no un elstico) a la estaca y un clavo al otro extremo de la cuerda; el clavo se usa
para marcar la lnea curva que resulta en el suelo si se mantiene la cuerda estirada, es decir,
sin alejarse ni acercarse a la estaca. Un estudiante usa de manera anloga un comps para
dibujar una circunferencia.
Cuantificadores
Queremos ahora convertir esa idea ingenua en una precisa y operativa, una que
contenga toda la informacin.
Empezamos con una idea todava informal:
Se llama circunferencia al conjunto de puntos que equidistan de un punto fijo C. Con
mayor precisin:
Definition Sean C un punto del plano, r 0 un nmero. La circunferencia CC, r de
centro C y radio r es
CC, r Px, y R 2 : dP, C r
.
Circunferencia trasladada
Si el centro de la circunferencia es Ch, k y el radio es an r, entonces, trasladando
paralelamente los ejes de modo que el nuevo origen sea Ch, k, obtenemos
CC, r : x h 2 y k 2 r 2 ,
lo que se puede escribir, naturalmente y dado que r 0,
CC, r :
x h 2 y k 2 r
Cuantificadores
Dom R h r, h r
Rec R k r, k r
Simetras
Consideramos xRy : x 2 y 2 r 2 .
Es inmediato que se tiene:
1. x Dom R x Dom R, y tambin xRy xRy;
luego, R es simtrica respecto del eje OX
2. y Rec R y Rec R, y tambin xRy xR y;
luego, R es simtrica respecto del eje OY
3. R es simtrica respecto del origen O.
Dejamos al lector la determinacin de anlogas simetras de la circunferencia CC, r.
Remark Seguramente el lector se dar cuenta de que una circunferencia tiene
(literalmente) innumerables simetras, y que es difcil encontrar un objeto ms
simtrico en R 2 .
Ecuacin general
Tal como hicimos en el caso de la recta, escribiremos ahora la ecuacin general de la
circunferencia. El teorema siguiente es toma un caso del ltimo teorema de este captulo,
bastante ms general.
Theorem Consideremos la ecuacin de segundo grado
E : Ax 2 Ay 2 Bx Cy D 0,
y supongamos que A 0 y B 2 C 2 4AD.
Entonces, E es la ecuacin de una circunferencia.
En este caso se tiene
C
B
C 2A
, 2A
y r
B 2 C 2 4AD
1
2A
C
B
1
x 2A
B 2 C 2 4AD
y 2A
2A
Se trata entonces de una circunferencia de centro y radio ya anunciados.
Example La ecuacin de la circunferencia de centro C1, 2 y radio 3 es
C : x 1 2 y 2 2 9
5 y
La Elipse
Procedamos nuevamente como un hipottico jardinero: clavemos ahora dos estacas en
el suelo, y anudemos en los extremos una cuerda de longitud tal que se la pueda hacer pasar
simultneamente por las dos estacas. En tal posicin, estiremos la cuerda a ras de suelo (sin
enredarla, claro) y pongamos un clavo (sin anudar) en un extremo; se formar as un
tringulo de vrtices los puntos de apoyo de las estacas y del clavo. Si nos movemos ahora
en cualquier direccin, el clavo se desliza por el borde interior de la cuerda; al volver al
punto de partida de la operacin, se habr formado una elipse.
Una elipse es por tanto el conjunto de puntos tales que la suma de las distancias a cada
uno de dos puntos fijos es constante.
Con mayor alguna precisin mayor decimos que una elipse E es el conjunto de los
puntos del plano tales que la suma de sus distancias a dos puntos fijos F 1 , F 2 R 2 es
constante.
Aunque es poco probable que su profesor le exija reproducir el proceso que sigue a
continuacin, examinarlo con detencin es bastante ms provechoso que hacer unas
cuantos ejercicios sin mayor destino, y contiene tambin la posibilidad de comprender en
qu estamos, de qu trata todo esto.
Definition Sean F 1 , F 2 dos puntos del plano y sea k dF 1 , F 2 una constante. Se
llama elipse de focos F 1 , F 2 al conjunto
E : Px, y : dP, F 1 dP, F 2 k.
Para establecer la ecuacin de una elipse, hacemos algunas elecciones astutas y
tradicionales:ref: elipc
Cuantificadores
x c 2 y 2 2a x c 2 y 2
x c 2 y 2 4a 2 4a x c 2 y 2 x c 2 y 2
a x c y 2 a 2 cx
4
2 2
2
2 2
2 2
a x 2a cx a c a y a 4 2a 2 cx c 2 x 2
a 2 c 2 x 2 a 2 y 2 a 2 a 2 c 2
6
a x c 2 y 2 |a 2 cx|
Luego, para obtener 4, basta probar que a 2 cx 0.
Ahora bien, de las hiptesis iniciales se tiene que x 2 a 2 y que c a. Luego, |x| a y
por lo tanto |cx| a 2 , de modo que a 2 cx 0.
Por otra parte,
3 x c 2 y 2 4a 2 4a x c 2 y 2 x c 2 y 2
x c 2 y 2 2a x c 2 y 2
x c 2 y 2 2a x c 2 y 2
Como antes, para obtener 2, estudiamos el signo de la expresin dentro del valor
absoluto. Se tiene:
x c 2 y 2 x 2 2cx c 2 y 2 .
Como indicamos arriba, |cx| a 2 , luego, |2cx| 2a 2 ; adems,
y 2 b 2 , es decir, y 2 a 2 c 2 , o sea, c 2 y 2 a 2
luego, x 2 2cx c 2 y 2 4a 2 ,
de donde x 2 2cx c 2 y 2 x c 2 y 2 2a
y entonces 2a x c 2 y 2 0.
Ahora s estamos en condiciones de decir que la expresin
2
y2
E : x2 2 1
a
b
es la ecuacin de la elipse. Por lo dems, se la llama ecuacin cannica de E.
Remark Al comienzo, tomamos una elipse de centro 0, 0 y mostramos que su
2
y2
ecuacin era del tipo ax 2 b 2 1; eso nos garantiza que si tomamos
(enfatizamos), una elipse de centro 0, 0, su ecuacin es de ese tipo; sin
embargo, lo anterior no garantiza que si tomamos una ecuacin del tipo
y2
x2
x2
a2
a2 c2 .
y2
b2
a2 c2
y2
Cuantificadores
E x, y R 2 :
x2
a2
y2
b2
1 .
y2
b2
, se tiene
x2
a2
1, luego
Rec E b, b.
Simetras
Anchura y altura
Remark Observe que si a b, entonces los focos estn sobre el eje OY. (En este
caso, habra que retocar el desarrollo de la ecuacin de la elipse, pero ello no
es importante para nosotros).
x2
a2
y2
b2
1; a b
Elipse trasladada.
Si se traslada la elipse de modo que el punto 0, 0 quede en h, k, de acuerdo a lo
estudiado para traslaciones, se deber sustituir x por x h e y por y k en la ecuacin,
Cuantificadores
quedando:
x h 2
y k 2
1
a2
b2
En este caso, se tiene, naturalmente:
el centro es h, k;
los focos son c, 0 h, k h c, k y c, 0 h, k h c, k;
los vrtices son a, 0 h, k h a, k y a, 0 h, k h a, k;
2
2
las directrices son x h ac y x h ac .
Adems e ac , y tambin se verifica que c 2 a 2 b 2 .
x 1 2
y 2 2
1
42
22
La Parbola
La elipse en general y, por supuesto, el caso especial de elipse que es la circunferencia,
son lo que se llama curvas cerradas, concepto que no necesitamos definir aqu. Pero la
parbola es una curva abierta, y nuestro jardinero debera darse una vuelta demasiado larga
si va a tratar de dibujarla de manera tan simple. As es que vamos a abandonarlo, con o sin
pena, y dedicarnos directamente a las propiedades geomtricas y su correspondiente
versin algebraica.
Una parbola P es el conjunto de puntos que equidistan de un punto fijo F llamado foco
y de una recta fija d llamada directriz. Con mayor precisin:
Definition Sean F R 2 , d una recta en R 2 . Una parbola P de foco F y directriz d es
el conjunto P Px, y R 2 : dP, F dP, d
Para derivar la frmula de una elipse, ubicamos los puntos interesantes con la misma
astucia que usamos para la elipse:
Ponemos inicialmente el foco sobre el extremo positivo del eje OX; digamos,
F c, 0, c 0, y la directriz d al otro lado del origen, perpendicular al eje OX y pasando
por c, 0; entonces, d : x c. Se tiene que c 0.
Cuantificadores
Parbola
Entonces, si Px, y es un punto cualquiera de P, se tiene sucesivamente:
dX, F dX, d
x c 2 y 2 x c 2
x 2 2cx c 2 y 2 x 2 2cx c 2
y 2 4cx
Remark Es obvio que el clculo nos result ms corto que el que hicimos para la
elipse; pero es ms importante notar que, adems, todos los pasos eran
reversibles, es decir, equivalencias, y no hubo que desandar camino, como
hicimos para la elipse: el primer paso es por definicin, el segundo es una
equivalencia porque las cantidades sub-radicales son positivas, el tercero es
una mera cancelacin (todo lo cual fue explicado en el captulo 4).
De manera que estamos ya en condiciones de afirmar el
Theorem Una parbola P de foco Fc, 0 y directriz d : x c tiene siempre
ecuacin y 2 4cx.
Inversamente, toda ecuacin del tipo y 2 4cx es la ecuacin de una
parbola P de foco Fc, 0 y directriz d : x c
Es claro que la ecuacin y 2 4cx es una relacin binaria, digamos xRy : y 2 4cx,
cuyo grfico es la parbola
P Px, y R 2 : y 2 4cx
Dom R , 0, y Rec R R
Simetras
Se comprueba tambin fcilmente que P es simtrica respecto del eje OX; la recta
OX : y 0 se llama el eje de la parbola.
Es fcil ver que si hubiramos puesto el foco en el eje OY y hubiramos procedido
como antes, la parbola habra tenido ecuacin x 2 4cy corresponde a una parbola cuyo
eje es vertical. En tal caso,
si c 0, entonces la parbola est en el primer y segundo cuadrantes (pues
entonces y 0
si c 0, entonces la parbola est en el tercer y cuarto cuadrantes (pues entonces
x 0.
Parbola no centrada
Por el hecho de que las parbolas descritas hasta ahora tienen su centro en el origen
O de coordenadas, se dice que ellas son centradas.
Para una parbola de vrtice h, k 0, 0, es decir, no centrada la ecuacin es, ya sea
P : y k 2 4cx h
o bien
P : 4cy k x h 2
segn si su eje es horizontal o vertical.
Para una parbola de eje horizontal, el foco es h c, k y la directriz es d : x h c;
para una de eje vertical, el foco es h, k c y la directriz es d : y k c
La Hiprbola
La hiprbola es tambin una curva abierta, y se define de manera parecida a la elipse:
Una hiprbola es el conjunto de puntos tales que el valor absoluto de la diferencia de
sus distancias a dos puntos fijos F 1 y F 2 , llamados focos, es constante. (Interesa la
diferencia en valor absoluto, esto es, uno no se preocupa, en cada caso, cul es la distancia
mayor, si la hay).
Cuantificadores
Hiprbola
Remark Ms adelante mejoraremos la referencia a la constante 2a" .
Para determinar la ecuacin de una hiprbola H, usamos una vez ms el viejo truco de
situar convenientemente los ingredientes en el plano:
Ubicamos los focos: F 1 c, 0 y F 2 c, 0, con c 0
Note que se tiene a c ( el tringulo en la figura : la diferencia entre dos lados es
menor que el tercero, luego 2a 2c
Ahora bien, si Px, y es un punto cualquiera de H, entonces:
|dF 1 , X dF 2 , X| 2a
x c 2 y 2 x c 2 y 2
2a
Imitando el desarrollo que se hizo para la elipse, (cosa que se recomienda enfticamente
al lector), llegamos a
2
y2
ax 2 a 2 c 2 1,
ecuacin que se parece a, pero no es, la de una elipse.
En efecto, como a c, entonces a 2 c 2 0, luego, c 2 a 2 0 y podemos ahora
hacer b c 2 a 2 , de modo que la expresin anterior es equivalente a
2
x2 y 1
a2
b2
x2
a2
1
2
a
b2
2
y 2 b 2 ax 2 1
yb
x2
a2
1 y b
Adems,
x2
1 0
a2
Cuantificadores
x 2 a 2
a2
x2
a2
y2
b2
x2
a2
y2
b2
1 .
0 x 2 a 2 0 x a x a
Se tiene, entonces,
2
2
y
Por otra parte, ax 2 b 2
y2
x 2 a 2 1 b2
y2
x a 1 b2 x a 1
Dom H , a a,
1
y2
b2
de modo que
Rec H R.
y2
Para una hiprbola de ecuacin b 2 1,
se tiene, naturalmente,
Dom H R,
Rec H , b b,
x2
a2
Simetras
Se comprueba, de modo casi indntico al de la elipse, que
2
y2
una hiprbola H : bx 2 a 2 1 es simtrica respecto del eje OX, del eje OY y del
centro de coordenadas.
Se llama vrtices de H a los puntos V 1 a, 0, V 2 a, 0.
Al despejar y en la ecuacin
y
b
a
x2
b2
b
a
x 1
x2
b
a
y2
a2
x 1
x; ba x 1
a2
x2
a2
x2
1 se tiene
a2
x2
y ba x 1
a2
x2
Las rectas
se llaman asntotas de H.
b
y b
a x, y a x
y2
Asntotas de H : bx 2 a 2 1
Segn lo anterior, la hiprbola se aproxima indefinidamente a las asntotas (sin
rebasarlas) a medida que x crece en valor absoluto.
La ecuacin
2
y2
x2 1
2
a
b
Cuantificadores
Hiprbola no centrada
Si se desplaza la hiprbola una distancia h, k, se tiene una hiprbola no centrada, y su
ecuacin es:
x h 2
y k 2
H:
1
a2
b2
o bien
x h 2
y k 2
1
H:
a2
b2
segn si est con su eje focal horizontal o vertical.
Example Encuentre la ecuacin de la hiprbola centrada, con vrtices en
4, 0, 4, 0 y asntotas y 56 x, y 56 x
Como los vrtices son a, 0, a, 0, se tiene a 4
Dado que las asntotas son y
se tiene que
b
a
x
42
As, H :
es decir, H :
, i.e., b 4
5
6
y
10
3
1
16
b
a
x, y ba x,
5
6
10
3
1,
9
100
y 1
Hiprbola equiltera
C:
a2
y2
a2
y2
b2
1, es decir, C : x 2 y 2 a 2 ,
en cuanto a la hiprbola H :
H:
x2
a2
x2
a2
y2
x2
1, es decir, H :
2
a
a2
y2
x2
a 2 a 2 1, es decir, H
y2
b2
x y 2 a 2 , o bien
2
H:
: x 2 y 2 a 2 .
En este caso, es inmediato que las asntotas son perpendiculares.
Remark Si se rota H : x 2 y 2 1, se obtiene H : xy 1, que, en cierto modo, es
un anlogo de la circunferencia unitaria( de radio uno)
Cuantificadores
Visin unificada
Las secciones cnicas
Nos situamos en el espacio tridimensional habitual y observamos, informalmente,
algunas situaciones.
Imaginamos un cono doble infinito C, como el de la figura fig.; el punto en que se
separan las dos secciones es el vrtice V del cono, la recta que pasa por el centro se llama el
eje del cono; es el ngulo que forma el cono C con su eje.
Vamos a hacer algunos cortes en el cono, es decir, vamos a hacer secciones cnicas, o,
simplemente, cnicas.
El mtodo que usamos es intersectar el cono con un plano que va tomando distintas
posiciones (el aspecto algebraico ser examinado en el captulo de geometra vectorial
tridimensional).
El siguiente dibujo contiene alguna de las situaciones posibles, las que detallamos a
continuacin (con ligeras variaciones, esta vez, para facilitar el dibujo).
Cuantificadores
Cuantificadores
1,
2
a
b2
Cuantificadores
x2
4
y2
9
x2 2
4
y1 2
9
1,
Cuantificadores
o bien 9x 2 4y 2 36x 8y 4 0,
de donde A 9, B 0, C 4, D 36, E 8, F 4
El proceso que queremos intentar es el inverso del inocente ejemplo anterior:
Example Dada la ecuacin 9x 2 4y 2 36x 8y 4 0,
determine qu tipo de cnica es (note que no sabemos, en principio,, si
degenera).
En general, queremos pasar de un marco de referencia M : O, X, Y a otro M :
O , X , Y y eventualmente a un tercero M : O , X , Y , en donde la ecuacin inicial se
ha transformado en otra identificable.
Primero examinaremos algunas situaciones interesantes que involucran traslaciones y/o
rotaciones
Luego enunciaremos sin demostracin un teorema sobre la ecuacin general de segundo
grado, anlogo al que se vio para la de primer grado. Este teorema nos contiene criterios
que indican qu se puede esperar cuando se intenta los procedimientos que ilustramos en la
siguiente seccin.
Ejemplos de rotaciones y traslaciones.
Queremos tomar una ecuacin cualquiera de segundo grado y manipularla hasta que
quede en buena posicin (centrada en el origen de un nuevo marco de referencia, si cabe,
y/o convenientemente rotada) de modo que podamos reconocerla con facilidad.
Cambiaremos, como dijimos, el marco M en unoM y a veces incluso en otro M . A
primera vista, puede haber alguna confusin respecto de las notaciones (por ejemplo, cul
es x, cul x ), pero lo que nos interesa realmente es obtener una ecuacin reconocible y
tener claridad acerca del camino recorrido: se traslad al punto tanto, se rot en tantos
grados.
Example Traslacin:
1. Tenemos el marco M : O, X, Y y consideramos la ecuacin
16x 2 y 2 32x 6y 57
i.e., 16x 2 2x y 2 6y 57
a. completamos los cuadrados:
16x 2 2x 1 y 2 6y 9 57 16 9,
i.e., se tiene 16x 1 2 y 3 2 64
16x1 2
y3 2
64
64
x1 2
y3 2
64 1,
4
x1 2
y3 2
8 2 1;
22
es decir,
o bien
o aun
y
82
x x h
y y k
entonces, tenemos
Cuantificadores
4x h 2 16x h 9y k 2 18y k 11 0
es decir,
4x 2 8xh 4h 2 16x 16h 9y 2 18yk 9k 2 18y 18k 11 0
i.e., 4x 2 9y 2 8h 16x 18k 18y 4h 2 16h 9k 2 18k 11 0.
b. Queremos que no aparezcan los trminos en x ni en y (si bien no es obvio que ello
sea posible), para lo cual debe tenerse
8h 16 0
18k 18 0
es decir, h 2, k 1
en otras palabras, la cnica tiene centro en 2, 1
c. Ahora bien, reemplazando en la ltima ecuacin, tenemos
4x 2 9y 2 0x 0y 42 2 162 91 2 181 11 0
es decir,
4x 2 9y 2 36 0, o bien 4x 2 9y 2 36
2
y2
o aun x9 4 1, una elipse con centro en 2, 1
d. Es decir, en el marco M : O , X , Y , que se obtuvo trasladando en centro de
coordenadas al punto 2, 1, la ecuacin de la cnica es
y 2
x 2
1;
9
4
en el marco M : O, X, Y la ecuacin era
x2 2
9
y1 2
4
Remark Puede que el sistema de ecuaciones del ejemplo anterior no tenga solucin,
y no haya entonces centro para la cnica (que, en principio, sera una
parbola). Se ver un ejemplo de tal situacin ms adelante.
Example Rotacin.
Tomamos, en M : O, X, Y, la ecuacin xy 1.
1. Para pasar a M : O , X , Y , hacemos
x x cos y sin
y x sin y cos
Se tiene entonces
x cos y sin x sin y cos 1
cos sin x 2 cos 2 sin 2 x y sin cos y 2 1
2. Ahora queremos que desaparezca la rotacin, es decir, el trmino en x y ;
hacemos entonces
cos 2 sin 2 0,
cuya solucin es (nos interesa slo la primera vuelta)
4 , 4 ;
elegimos el ngulo positivo:
cos 4 sin 4 x 2 cos 2 4 sin 2 4 x y sin 4 cos 4 y 2 1
i.e.,
2
2
2
2
Cuantificadores
x 2
2
2
2
2
y 2 1
es decir,
x 2
2
y 2
2
1, una hiprbola
x x h
y y k
entonces, se tiene
8x h 2 12x hy k 17y k 2
28x h 46y h 17 0
es decir,
8x 2 16xh 8h 2 12xy 12xk 12hy
12hk 17y 2 34yk 17k 2 28x 74h 46y 17 0
equivalentemente, 8x 2 12xy 17y 2 16h 12k 28x
12h 34k 46y 8h 2 12hk 17k 2 74h 17 0
b. Si queremos que desaparezcan los trminos de primer grado, debemos tener
16h 12k 28 0
12h 34k 46 0
x x cos y sin
y x sin y cos
1
1tan 2
tan
1tan 2
2
5
2 5
5
1
5
5
5
y 2 1,
ecuacin que, segn nuestro convenio, corresponde a la expresin en el marco
M : O , X , Y .
3. Respecto de M : O, X, Y, se trata de una elipse centrada en 1, 1 y rotada en 0.
463 65 radianes, es decir, unos 26.57 grados
Example Rotacin y traslacin
En el sistema M : O, X, Y, tomamos
4x 2 4xy y 2 2x 14y 7 0
1. Intentamos primero una traslacin:
4x 0 2y 0 1 0
2x 0 y 0 7 0
x x cos y sin
y x sin y cos
Se tiene
4x cos y sin 2 4x cos y sin x sin y cos
x sin y cos 2 2x cos y sin
14x sin y cos 7 0
es decir,
4x 2 cos 2 6x cos y sin 4y 2 sin 2
4x 2 cos sin 4x cos 2 y 4y sin 2 x
4y 2 sin cos x 2 sin 2 y 2 cos 2 2x cos
Cuantificadores
5
5
1
1tan 2
tan
; sin
1tan 2
2 5
5
2
5
2 5
5
2 5
5
2 5
5
2 5
5
14
2 5
5
2 5
5
4
5
5
2 5
5
5
5
5
5
5
5
x 2
5
5
5
5
5
5
x 2
2 5
5
14
xy
y 2
5
5
y 7 0
es decir, 5y 2 6 5 x 2 5 y 7 0
d. De modo que, en M : O , X , Y , la ecuacin es
5y 2 6 5 x 2 5 y 7 0
3. Intentamos ahora una traslacin:
tenemos, en M : O , X , Y ,
5y 2 6 5 x 2 5 y 7 0
2 5
5
es decir, 5 y 2
y 6 5 x 7 0;
completamos el cuadrado:
2 5
5
2
5
5
2
5
5 y 2
5 y
6 5 x 6 0
6
5
1
5
6 5 x 7 1 0
5 x
5
5
y y
5
5
5
5
5
5
5
5
Cuantificadores
x 0 Cy 0 E2
BAx 0 4AC 12 y 0 B D2
2A B2 x 0 2ACy 0 2A E2
equivalentemente,
BAx 0 2ACy 0 B D2
ABx 0 2ACy 0 AE
y nos damos cuenta que el sistema no tiene solucin nica (no hay centro de la curva).
Estamos entonces listos para enunciar el
Theorem Sea xRy : Ax 2 Bxy Cy 2 Dx Ey F 0,
donde A, B, C, D, E, F R, A, B, C 0, 0, 0
Sea B 2 4AC. Entonces:
1. Si 0, entonces R es una parbola.
2. Si 0 entonces R es una elipse.
3. Si 0, entonces R es una hiprbola.
borde.
e. Ahora bien, 1 x 2 y 2 3 es un anillo.
2. Ahora considere la recta diagonal : y x.
a. los puntos Px, y tales que x y estn por debajo de (se avanza ms hacia
la derecha que hacia arriba), y que
b. los puntos Px, y tales que x y estn por encima de (se avanza ms hacia
arriba que hacia la derecha);
c. se puede agregar los bordes, como antes.
d. Se define as sendos semiplanos, con o sin bordes.
3. Es importante para las aplicaciones considerar sistemas de ecuaciones e inecuaciones,
que definen distintas regiones del plano.
a. Un caso sencillo es,
x0
y0
xy
b. El sistema
y0
x2 y2 4
Por ahora, trate slo de convencerse de las posibilidades que esta situacin ofrece.
Comentario final.
Segn hemos indicado, las cnicas son, histricamente, muy importantes.
Hay todava aplicaciones importantes de esta teora, varias de ellas relacionadas con el
reflejo de ondas de luz y de sonido en emisores o receptores construidos en forma de
cnicas que rotan alrededor de un eje.
A manera de ilustracin:
Elipses.
Segn las leyes de Kepler, los planetas giran en rbitas elpticas. Algunos cometas
tienen tambin rbitas en forma de elipse (por ejemplo, el de Halley, que vuelve cada cierto
tiempo). Se puede decir, aproximadamente, que un electrn se movera en rbita elptica
alrededor del ncleo. Los jardineros siguen usando elipses, cada vez con menor frecuencia.
Si va Ud. a una galera de susurros (en donde una conversacin en voz muy baja se oye en
otro extremo), probablemente pueda observar que se est usando el rebote del sonido
proveniente de un foco hacia el otro.
Hiprbolas
Los cometas que nos visitan una vez y no vuelven jams tienen rbitas hiperblicas. Se
usa hiprbolas para localizar el sonido que viene se tres diferentes fuentes.
Parbola
Un objeto que cae como fruto de la fuerza de gravedad, si no sigue una trayectoria
vertical, sigue una parablica. (En pelculas antiguas se observa un calculista en cada
bombardero, afinando la trayectoria del proyectil. Curiosamente, en el siglo XVI los
artilleros pensaban que las balas avanzaban en lnea recta y caan luego verticalmente).
Los espejos de los automviles se fabrican en la forma que resulta al rotar (en el
espacio) una parbola alrededor de su eje; as, la trayectoria de los rayos de luz es paralela a
ese eje y no se dispersa. Se construye de manera similar los telescopios de reflexin; la luz,
cuyos rayos se puede asumir como paralelos, se concentra en un punto; se fabrica de
anloga manera los radio telescopios.
Catenaria.
Se suele pensar, errneamente, que una cuerda que cuelga de dos extremos toma la
Cuantificadores
forma de (parte de) una cnica. Ello no es efectivo y su discusin matemtica se realiz en
el siglo XVII: el resultado es una catenaria, precisamente la forma que toma una cadena
que cuelga de dos extremos. Ello no obstante, en los puentes colgantes los cables tienden a
tomar la forma de una parbola; ello ocurre siempre que el peso de una cuerda es
despreciable respecto del peso que soporta.
Los nombres.
El lector habr comprobado que los nombres de las cnicas se parecen a otros usados
por el idioma comn: una hiprbole consiste en aumentar excesivamente aquello de que se
habla (hyper significa grande, mucho), una parbola es un discurso que transcurre contiguo
(paralelo) a lo que se quiere significar, en una elipsis a la oracin le falta algo para ser una
construccin gramatical correcta (Buenos das!, por ejemplo, carece de verbo). Tales
acepciones son similares a las que originaron los nombres de las correspondientes cnicas:
desde una perspectiva geomtrica especfica, a una hiprbola le sobra algo, a una elipse le
falta, etc. Todo ello era objeto de estudio detallado desde los griegos, fue muy importante al
comienzo del Modernismo, y sigui siendo estudiado en detalle hasta fecha reciente. Hoy
en da los intereses son otros, y los requerimientos de las profesiones circulan por otras
vas.
Nos detenemos, por tanto, aqu.
Apndice
Hemos evitado hacer el estudio tradicional acerca de otros elementos que se puede
identificar y estudiar en el caso de las cnicas, en beneficio de otras materias (por ejemplo,
es mucho ms relevante aprender bien a resolver inecuaciones, o manejar bien los
conceptos y la prctica de la teora de funciones).
De todas maneras, es posible que algn alumno necesite de alguna informacin
adicional sobre las cnicas, para fines especficos, y la hemos agregado aqu, con la
recomendacin expresa para Ud. de que vea este apndice slo si su profesor as se lo
indica.
Elipse.
1. El segmento de las rectas que hacen de ejes de simetra se llaman eje focal, el que
contiene los focos, y eje normal, el perpendicular al anterior. Note que, en el caso
presente, si a b los focos estn sobre el eje de coordenadas OY y el eje focal es
entonces vertical.
2. La mayor entre las distancias a y b se llama radio mayor, y la otra, radio menor.
3. El lado recto (latus rectum) de la elipse E es el trazo vertical que une dos puntos de la
2
elipse, pasando por un foco. Se puede probar que su longitud es igual a 2ba .
2
2
4. Las rectas verticales d 1 : x ac , d 2 : x ac se llaman directrices de la elipse.
dP,F
dP,F
5. Se puede probar que, para cada P E, el cociente dP,d 11 dP,d 22 es una constante
1, que se llama la excentricidad de la elipse E. Se puede probar adems, que es
la razn de la distancia entre sus focos a la longitud de su eje mayor,
a 2 b 2
2c
2a
ac
a
dP,F
dP,F
Cuantificadores
b
a
1 ba
c2
a2
a 2 b 2
a2
1 ba ,
1 2 .
Parbola
Como en el caso de la elipse, el trazo vertical al eje que une dos puntos de al parbola, y
pasa por el foco, se denomina lado recto. Los extremos estn dados por y 2 4c y son
c, 2c y c, 2c. La longitud del lado recto, entonces, es 4c.
Si P es un punto cualquiera de P, se tiene obviamente que
excentricidad de la parbola.
dP,F
dP,d
1, cual es la
Hiprbola
Sea H :
x2
a2
y2
b2
1.
Si y 0, se tiene x a x a.
La recta y 0 se llama eje focal de la hiprbola.
El trazo vertical al eje focal que pasa por un foco y une dos puntos de la hiprbola se
2
llama lado recto, y mide 2ba , como puede verificar el lector.
El punto O se llama centro de H.
2
constante,
dP, d 1
dP, d 2
se llama la excentricidad de H.
Se tiene adems que ac , y como b 2 a 2 c 2 , 1
La excentricidad
Para cada una de las cnicas, hemos definido uno o dos focos F y una o dos directrices
d.
dX,F
Cuantificadores
1. Una seccin cnica no degenerada hay una recta d, un punto P d tal que
es constante, 0
2. Inversamente, si una recta d, un punto P d , un nmero positivo, entonces
dX,F
R : Px, y R 2 : dX,d es una cnica.
dX,F
dX,d
En tal caso,
1. si 0 1, entonces R es una elipse
2. si 1, entonces R es una parbola
3. si 1, entonces R es una hiprbola
La excentricidad de una circunferencia igual a cero: el foco es (los focos son) el
centro de la circunferencia y podemos pensar la directriz como una recta a una distancia
dX,F
infinita de la circunferencia - de modo que dX,d 0.
Ilustraciones.
Damos, finalmente, un par de ilustraciones del modo de trabajar con estos datos, para
quien lo necesite:
Example Cmo puede utilizarse los diferentes datos para construir y dibujar elipses
determinadas. Haga el clculo slo si su profesor se lo indica.
Queremos encontrar la ecuacin de una elipse con un foco en F1, 2,
3
directriz d : x 0 y excentricidad 2
h c, k 1, 2
2
h ac 0
3
ac
2
c2 a2 b2
h c 1
Es decir, se tiene
k2
2
h ac 0 , cuya solucin es:
3 a 2c
c2 a2 b2
k 2; b
3
3
3
3
; a 2 3 ; c 3; h 4
x4 2
12
3y2 2
1
x4 2
12
1,
Cuantificadores
y2 2
1
3
h, k a, 0 4 2 3 , 2 y 2 2 , 1 .
2
La longitud del lado recto es 2b
a
3
9
Example Cmo se usa los diferentes datos para analizar una parbola. Hgalo slo
si su profesor se lo indica.
Se pide encontrar la (ecuacin de la) parbola P cuyo eje es paralelo al eje
de las x,y pasa por los puntos P2, 1, Q5, 3, R5, 7, y determinar sus
elementos.
Sea y k 2 4cx h la ecuacin de la parbola. Dado que los puntos
P, Q, R estn en P, debe tenerse el sistema
1 k 2 4c2 h
3 k 2 4c5 h ,
7 k 2 4c5 h
restamos las dos primeras ecuaciones y obtenemos
8 8k 12c
Restamos ahora la primera menos la tercera ecuaciones, y queda
40 20k 0
8 8k 12c
40 20k 0
, i..e.,
2 2k 3c
k 2
15
8
su directriz es x h c
su vrtice es h, k
15
8
2, 2
15
8
, 2 ; i.e., V
Ejercicios
Cuantificadores
31
8
1
8
, 2 ; i.e., F
; i.e., d : x 18
15
8
, 2
31
8
, 2
15
8