Está en la página 1de 57

Geometra Analtica Plana.

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

La presentacin puede variar:

Representaciones del plano cartesiano:


La construccin garantiza que a todo par de nmeros x, y R R corresponde un
nico punto P del plano, e inversamente; es decir, tenemos una biyeccin entre R R y el
plano.
Anotamos Px, y y decimos que x es la abscisa de P y que y es la ordenada de P;
decimos tambin que x e y son las coordenadas de P; a veces se escribe tambin
P x, y. Hablamos, sin mayor escrpulo, de, el plano R R, o el plano R 2 , o
simplemente, el plano.

Cuantificadores

En forma natural, el plano queda dividido en cuatro cuadrantes, que se ordena en


sentido contrario al de las agujas del reloj anlogo, como sigue

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

Dos sistemas de coordenadas


Aun ms, las rectas podran intersectarse en otro ngulo, las lneas pudieron ser curvas
(no cualesquiera, si bien se piensa), el plano pudo ser otro tipo de superficie.
Queremos usar esta representacin para estudiar subconjuntos del plano, es decir,
figuras geomtricas; pero antes vamos precisar nuestro concepto de plano cartesiano.

Relaciones en el plano R R.

Una relacin (binaria) en R 2 es simplemente una funcin proposicional de dos


variables px, y que toma valores en R 2 .
As, por ejemplo, px, y : x y; qx, y : x 2y 4; rx, y : 3x 5 2x 8;
sx, y : x y 9, son todas relaciones en R 2 .
Note que tambin puede tenerse, por ejemplo, tx, y : 3x 5 8.
Si px, y es una relacin en R 2 , preferimos la notacin ms sugerente xRy y leemos x
se relaciona con y
Por supuesto, una relacin R define el conjunto GR x, y R 2 : xRy, que se
llama el grfico de R. Se acostumbra a llamar tambin grfico de R al dibujo de R en el
plano cartesiano.
El conjunto x R : y RxRy se llama el dominio de R y se anota Dom R.
El conjunto y R : x RxRy se llama el recorrido de R y se anota Rec R,
Cuantificadores

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

tenemos tres tipos de objetos, simultneamente: la relacin R que es un objeto


de la lgica; su grfico GR que es un conjunto, y la representacin grfica
de GR, que es simplemente un dibujo. En la prctica, se suele hablar con
bastante libertad, y llamar relacin al grfico, y grfico al dibujo. Tal
identificacin tiene algunos inconvenientes, pero no hay para qu preocuparse,
por ahora; slo la declaramos para evitar que el lector que consulte otra
literatura se confunda intilmente con la terminologa.

Distancia entre dos puntos


Queremos definir la distancia entre dos puntos cualesquiera P, Q del plano; dicha
distancia ser denotada dP, Q o bien |PQ|.
Sean Px 1 , y 1 , Qx 2 , y 2 R 2 .
Si acaso x 1 x 2 , entonces, uno de los puntos est directamente sobre el otro y
entonces, naturalmente, dP, Q |y 2 y 1 | .
Similarmente, si y 1 y 2 , entonces dP, Q |x 2 x 1 |.

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

Remark Note que si Px 1 , 0, Qx 2 , 0, entonces


dP, Q

x 2 x 1 2 |x 2 x 1 |,

que corresponde a la distancia entre x 1 y x 2 en R.


Similarmente, si P0, y, Q0, y 2 |y 2 y 1 |
Las propiedades ms importantes de la distancia en el plano son las siguientes:
Theorem Sean P 1 , P 2 , P 3 R 2 . Entonces:
1.
2.
3.
4.

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

Queremos encontrar la ecuacin de una recta en el plano.


Recuerde que una recta est completamente determinada si se conoce dos de sus puntos.

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

lo que puede a su vez escribirse : y 8x 13.


Remark Compruebe el lector que puede intercambiar los roles de P 0 y P 1 y obtener
idntico resultado.
Ecuacin punto-pendiente
Es fcil comprobar que el nmero
y y
m x 11 x 00
que usamos arriba depende slo de la recta y no de los puntos elegidos en ella (argumente
nuevamente usando semejanza de tringulos); m se llama la pendiente de la recta y se
anota tambin, si hay peligro de confusin, m ( bien m 1 , etc.). Este nmero indica con

Cuantificadores

claridad precisamente la inclinacin o pendiente de la recta .


Note que la ecuacin anterior puede entonces escribirse
yy
: m xx 00 ,
o bien
: y y 0 mx x 0
que se llama ecuacin punto-pendiente de la recta .
Example La ecuacin de una recta de pendiente m 3 y que pasa por el punto
P2, 5 es : y 3x 1.
Ecuacin pendiente-interseccin
Ahora bien, suponga que la recta intersecta al eje OY en el punto P0, y 0 (la abscisa,
claro est, debe ser 0). Entonces, la ecuacin anterior se reduce a : y y 0 mx , que se
escribe tradicionalmente
: y mx b
Michael Jordan, entre otras gracias, sola interceptar pases del equipo contrario
(intercipere significa en latn quitar, interrumpir). No se conoce (ni se conocer) recta que
tenga esa habilidad: las rectas se intersectan, si acaso, y cada una, digamos, sigue su
camino. La ecuacin : y mx b se llama ecuacin pendiente-interseccin, y,
(estrictamente hablando) llamarle pendiente-intercepto es una barbaridad.
Remark Observe que si partimos con dos puntos P 0 x 0 , y 0 , P 1 x 1 , y 1
y despejamos apropiadamente, la ecuacin punto-punto
:

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

Por supuesto, no vale la pena retener este clculo en la memoria, sino


observar la facilidad con la que se puede pasar de una ecuacin de la recta a
otra, como puede comprobar con sus propios ejemplos.
Ecuacin interseccin-interseccin
Hay todava otra manera de escribir la ecuacin de nuestra recta no-vertical , que
proviene de saber los dos puntos de interseccin con los ejes, y que se llama precisamente
ecuacin interseccin-interseccin de :
Supongamos que la recta pasa por P 0 0, b y por P 1 a, 0. Entonces
yb
: b
a x puede escribirse
y
: ax
1
b
Esta forma es cmoda pues, as escrita indica de inmediato (inversamente) los puntos de
interseccin con los ejes.

Cuantificadores

x
a

y
b

Example Si pasa por los puntos P 0 2, 5, P 1 1, 3, entonces


:

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.

As, haciendo x 0 se obtiene y 11, y haciendo y 0 se obtiene x


P1

11
8

De manera que intersecta al eje OY en P 0 0, 11, y al eje OX en


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

Consideremos ahora una recta vertical que pasa por P 0 x 0 , y 0 , P 1 x 1 , y 1 .


Obviamente, aqu se tiene x 1 x 0 y no podemos definir la pendiente del modo anterior,
y y
m x 11 x 00 , pues se nos anula el denominador. En cualquier caso, ya sabemos cul es la
inclinacin de la recta.
Por otra parte, cualquier punto adicional Px, y de la recta debe tener x x 0 , pero y
puede tomar cualquier valor (y debe tomarlos, en definitiva, todos). De manera que la
ecuacin de en este caso es simplemente
: x x0
Example La recta vertical que pasa por el punto 3, 7 tiene ecuacin
: x 3.

Cuantificadores

:x3

Ecuacin general de primer grado en el plano


Consideremos la ecuacin general de primer grado
E : Ax By C 0,
donde A, B 0, 0 (es decir, A y B no son simultneamente nulos, de modo que
podamos hablar de que la ecuacin sea de primer grado).
Recuerde que E es entonces una relacin binaria que determina un conjunto (grfico, o
aqu, solucin) S x, y R 2 : Ax By C 0
Se tiene varios casos:
1. Si A 0, B 0, la ecuacin es
E : Ax C 0, es decir, E : x CA
y corresponde a una recta vertical
2. Si A 0, B 0, la ecuacin es
E : By C 0, es decir, E : y CB
y corresponde a una recta horizontal (la pendiente es igual a 0).
3. Si A 0, B 0, la ecuacin se puede escribir
E : y A
x C
,
B
A
y es, por tanto una recta que no es horizontal ni vertical (diramos, oblicua).
Por otra parte, es fcil ver que cualquiera de las ecuaciones de recta presentadas arriba
puede ser llevada a la forma E : Ax By C 0.
En conclusin, tenemos el siguiente
Theorem Si A, B 0, 0, entonces
la ecuacin Ax By C 0 corresponde siempre a una recta.
Inversamente,
una recta tiene siempre una ecuacin de la forma
E : Ax By C 0, donde A, B 0, 0
Proof La primera parte ya est hecha. Para la segunda, compruebe efectivamente
que cada ecuacin de recta puede ser llevada a la forma general
Ax By C 0
Remark Observe que si, en la ecuacin
E : Ax By C 0
se tiene A, B 0, 0,

Cuantificadores

la ecuacin es, en realidad E : C 0,


que no es de primer grado, y se tiene uno entre dos casos extremos:
1. Si efectivamente C 0, tenemos 0 0, es decir, no estamos poniendo una condicin
y entonces la ecuacin representa el plano cartesiano completo
2. Si C 0, la condicin es contradictoria, imposible de satisfacer, y el conjunto
determinado es .

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

o, como se dice, son colineales.


En efecto:
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
(elevando al cuadrado y reuniendo trminos semejantes
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
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
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

de manera que las respectivas pendientes son


m 1 AB 11 y m 2 AB 22 .
Como las rectas son paralelas, debe tenerse
m 1 m 2 , es decir,

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

Rectas perpendiculares y 3x, y 1 x


3
Remark Si dos rectas no verticales estn escritas en forma general,
1 : A1x B1y C1; 2 : A2x B2y C2,
se tiene B 1 0 y B 2 0, y sus pendientes respectivas
son m 1 AB 11 , m 2 AB 22 ;
entonces, la relacin de perpendicularidad se escribe
AB 11

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

Variacin de los parmetros


Consideramos ahora una ecuacin
: y mx b,
y examinamos cmo varan las rectas correspondientes cuando hacemos variar los
parmetros m y b.
Recuerde que el punto P0, b es el punto de interseccin de y el eje OY
Variacin de b : rectas paralelas
Si fijamos m y variamos b, las rectas varan, naturalmente, segn el tenor de lo
indicado en la figura

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

Crecimiento y decrecimiento de una figura

ngulo entre dos rectas


Esta seccin contiene algunos conceptos que requieren un adarme ms de
trigonometra, y la hemos postergado un tanto para permitir la lectura de las secciones
anteriores a quien no haya estudiado esa materia con anterioridad.
Sea 1 una recta que pasa por P 1 x 1 , y 1 , P 2 x 2 , y 2 ;
y y
su pendiente es m 1 x 22 x 11 .
sea el ngulo que forma 1 con el eje OX.
y y
Entonces, es claro que tan x 22 x 11 m, es decir,
y y
a arctan m arctan x 22 x 11 .
Sea ahora 2 una recta de pendiente m 2 y cuyo ngulo con el eje OX es ;
sea el ngulo formado por 2 y 1 .
Entonces,
tan tan
tan tan
m2 m1 ,
1 tan tan
1 m2m1
es decir,
arctan m 2 m 1
1 m2m1

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

1. Si 1 2 , entonces m 2 m 1 , luego, arctan

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

Distancia de un punto a una recta

Dados un punto P y una recta , la distancia de P a es, hablando ingenuamente, la


menor distancia en el conjunto dP, Q : Q .
Anotamos provisoriamente dP, .
(Tal definicin tiene el inconveniente de que nada garantiza que esa menor distancia
exista. De todas maneras, usamos esta nocin ingenua para construir una definicin precisa
y operativa).
Para aproximarnos al clculo de la distancia de un P a una recta , procedemos como
sigue:
Sean : y mx b, P x 0 , y 0
fig.
Consideremos la figura fig. Sea 1 la recta perpendicular a que pasa por P, y sea
Qx 1 , y 1 el punto de interseccin de y 1 .
El punto Q se llama proyeccin de P sobre . Podemos aceptar que se tiene en realidad
dP, dP, Q.

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

Q debe satisfacer el sistema


Igualando, se tiene mx b
despejando x, se tiene x 1

y m1 x
m1 x xm0
my 0 x 0 mb
,
1m 2

x0
m

y0;

y reemplazando en la primera ecuacin, y 1


my 0 x 0 mb
1m 2

Luego, se tiene Q

y0

0 mx 0 b
1m 2

m 2 y 0 mx 0 b
1m 2

m2y

3. Calculemos ahora dP, Q.


Se tiene
dP, Q

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

siguiente sin mayor remordimiento).


Definition Sean P x 0 , y 0 un punto y una recta. La distancia dP, entre P y
est definida como sigue:
1. Si : y mx b, entonces dP,

|y 0 mx 0 b|
1m 2

2. Si : x x 1 es una recta vertical, entonces dP, |x 1 x 0 |


Remark Note que si no es vertical y su ecuacin est dada en forma general,
digamos : Ax By C, se tiene que B 0, y la pendiente es m A
; el
B
C
punto de interseccin de con el eje OY es b B . As, reemplazando en la
definicin, se tiene dP,

y0

A
B

dP,

x 0 CB

A
B

, es decir,

|Ax 0 By 0 C|
A2 B2

Divisin de un segmento en una razn dada


Informalmente, un trazo o segmento es la parte de una recta comprendida entre dos de
sus puntos, incluyendo esos extremos.
Con (alguna) mayor precisin, dados una recta y dos puntos A, B , el segmento o
trazo entre A y B, denotado AB es el conjunto de puntos de que estn entre A y B,
incluyendo A y B, que se llaman los extremos del trazo AB.
(En rigor, se habla de segmento segmento dirigido AB, suponiendo que se ha elegido la
orientacin de A a B, pero por ahora no necesitamos tanta precisin).
La longitud |AB|del trazo AB es por supuesto dA, B.

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

2. Note que es la razn

AP
AB

, distinta de

BP
AB

3. Por otra parte, el punto medio Px, y de AB se obtiene haciendo 12 ; as,


1
,
x 1 12 a 1 12 b 1 a 1 b
2
a 2 b 2
1
1
y 1 2 a 2 2 b 2 2 .
(Hacemos estas dos ltimas aclaraciones porque algunos textos llaman a la razn
AP
; en tal caso, se tiene 1 cuando P es el punto medio del trazo AB.
PB
Example Sean A1, 2, B4, 4, P 3,

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.

Traslacin y rotacin de los ejes


Como dijimos, al elegir un sistema de coordenadas, o, como tambin se dice, un marco
de referencia M, hay varias decisiones que tomar: cul es el punto origen, cules las rectas,
etc.
En esta seccin, nos ocuparemos del cambio que se produce ya sea cuando, sin cambiar
las orientaciones ni la unidad de medida de los ejes, stos:
se trasladan, i.e., se reemplazan por otros respectivamente paralelos;
o se rotan manteniendo el origen;
o bien se trasladan y se rotan en sucesin.
Daremos ejemplos bastante elementales; los ms interesantes aparecern luego, cuando
estudiemos las secciones cnicas.
Asumimos siempre que el plano est fijo y que movemos el marco de referencia, de

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 .

Traslacin del marco de referencia


Tenemos el plano R 2 , en el que se ha elegido un marco de referencia M : O, X, Y es
decir, se ha fijado un origen 0 y dos ejes perpendiculares OX, OY.
Queremos cambiar a otro marco, digamos M : O , X , Y . Eventualmente y segn se
ver ms adelante, se puede necesitar cambiar nuevamente aun tercer marco M :
O , X , Y .
Supongamos que queremos trasladar el origen de coordenadas al punto O h, k, sin
modificar las direcciones ni orientaciones de los ejes.
Es claro que un punto cualquiera que tena coordenadas x, y tiene ahora coordenadas
x , y x h, y k

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 del marco de referencia.


Esta seccin requiere de un poco de trigonometra y puede ser postergada hasta que su
profesor le indique.
Suponemos que tenemos un marco de referencia M y queremos rotar simultneamente
los ejes en un ngulo .
Sea P un punto del plano, y supongamos que se tiene
Px, y en M, Px , y en M .
Sean |OP|; el ngulo formado por el eje OX y OP; el ngulo formado por el eje

OX y OP; de modo que .

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

e, inversamente, despejando x , y en esta ltima expresin, obtenemos


x x h cos y k sin
.
y x k sin y k cos
Example Si se traslada el origen al punto Q2, 3 y luego se rota en un ngulo
3
3 , se tiene sin 3 2 , cos 3 12 , de modo que
x x 12 y
yx

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

Simetras respecto del marco de referencia


Si queremos ver si una relacin R es simtrica respecto del eje OY, debemos estudiar si
se tiene que:
si xRy, entonces xRy,
Si la relacin xRy se expresa mediante una ecuacin, digamos xRy : f x, y 0,
entonces la simetra respecto del eje OY significara
si fx, y 0, entonces fx, y 0

Cuantificadores

Simetra respecto del eje OY


La situacin es parecida si tratamos de la simetra respecto del eje OX, como veremos
luego.
En cuanto a la simetra respecto del origen, se trata de saber si se tiene que
si xRy, entonces xRy,
y, en la otra versin,
si fx, y 0, entonces fx, y 0.

Simetra respecto del origen


Es importante precisar que, para que se tenga, por ejemplo, xRy, entonces xRy, hay
una condicin previa natural que consiste en que, si x se relaciona con algn y, es decir, si x
tiene una imagen, entonces x tambin tenga una imagen que podamos comparar con la
anterior (y recin entonces tiene sentido ver si son iguales).
Ahora estamos listos para hacer nuestra
Definition Sea R una relacin en R 2 . Se dice que R es:
1. simtrica respecto del eje OY si y slo si
a. x Dom R x Dom R
b. xRy xRy
2. simtrica respecto del eje OX si y slo si
a. y Rec R y Rec R
b. xRy xRy
3. simtrica respecto del origen O si y slo si
a. x Dom R x Dom R
b. y Rec R y Rec R

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

; x 0. Simetra puntual, no respecto ejes

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.

Por supuesto, si R es simtrica respecto de las recta 1 : x h y 2 : y k, entonces R


es simtrica respecto del punto Ph, k.
Example Supongamos que xRy : x h 2 y k 2 r 2 . Entonces se tiene:
1. x 2hRy : x 2h h 2 y k 2 r 2
es equivalente a
x h 2 y k 2 r 2 ,
de modo que xRy x 2hRy;
2. xRy 2k : x h 2 y 2k k 2 r 2
es equivalente a
x h 2 y k 2 r 2 ,
de modo que xRy xRy 2k;
3. sigue de inmediato que xRy x 2hRy 2k
Remark Es importante tambin considerar simetras respecto de otras rectas,
cuestin que se estudiar en otra ocasin.
De momento, interesa destacar que la simetra respecto de la recta
diagonal : y x requiere que xRy yRx. (En el contexto de las relaciones
y sus inversas, esto significa que R es equivalente a R 1 .

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 centrada en el origen


A pesar de que, (como puede Ud. comprobar), podemos encontrar directamente la
ecuacin de CC, r, preferiremos usar aqu un mtodo que emplearemos en lo sucesivo:
determinamos, en primer lugar, la ecuacin de la circunferencia centrada en el origen de
radio r y luego trasladamos paralelamente los ejes hasta C.
Sea entonces C el punto O0, 0, y consideremos CO, r. Se tiene:
CO, r Px, y R 2 : dP, 0 r Px, y R 2 : x 2 y 2 r , de modo
que la ecuacin buscada es CO, r : x 2 y 2 r, y, dado que r 0, ello es equivalente
a
CO, r : x 2 y 2 r 2 .

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

La circunferencia como relacin binaria

Consideremos la relacin xRy : x 2 y 2 r 2 , que determina la circunferencia CO, r.


Se tiene:
Dom R x R : y RxRy; ahora bien,
x2 y2 r2
y2 r2 x2
|y| r 2 x 2
y r2 x2 y r2 x2
de modo que debe tenerse r 2 x 2 0, es decir, r x r;
as,
Dom R r, r
Similarmente se encuentra que
Rec R y R : x RxRy es
Rec R r, r
Es fcil comprobar que, en el caso de CC, r,
para la relacin que la define R : x h 2 y k 2 r 2 , se tiene

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

Proof Dado que A 0, la ecuacin Ax 2 Ay 2 Bx Cy D 0 es equivalente a


x 2 y 2 BA y CA y DA 0. Tenemos entonces:
0 x 2 y 2 BA x CA y DA
C
C2
C2
B
B2
B2
D
x 2 2 2A
y 4A
y 2 2 2A
y 4A
4A
2
2
2 4A 2 A
2

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

Example Determinemos ahora la ecuacin de la circunferencia C de radio r


es tangente a : x 2y 1 0 en el punto P3, 1.

5 y

1. Es claro que P , pues se tiene 3 21 1 0 figura 11


2. Como se sabe, una recta tangente a una circunferencia es perpendicular al
radio(tomado como segmento de recta) en el punto de contacto.
As, para determinar el centro C de C, buscamos primero la ecuacin de la recta 1
que pasa por P y es perpendicular a .
a. Sabemos que si 1 : Ax By C 0, entonces debe tenerse A 2B 0, o
B A2 ; es decir, toda recta del tipo Ax A2 y C 0 es perpendicular a .
Cuantificadores

b. Pero sabemos adems que P3, 1 1 ; de modo que se tiene


A3 B1 C 0, es decir, A3 A2 1 C 0, de donde 72 A C 0.
Tomamos, por ejemplo, A 27 y se tiene que C 1.
c. As, hemos obtenido que 1 : 27 x 17 y 1 0, que escribimos
1 : 2x y 7 0
3. Ahora bien,el centro Ch, k de la circunferencia est sobre 1 y a la distancia 5 de
3, 1. Por lo tanto, debe tenerse, simultneamente
2h k 7 0
3 h 2 1 k 2 5
Despejando k 7 2h en la primera ecuacin y reemplazando en la segunda,
obtenemos las soluciones del sistema, que son
h 1 , k 1 2, 3, y h 2 , k 2 4, 1
4. Luego, hemos encontrado dos soluciones a nuestro problema inicial (como
corresponde), que son las que se obtienen de reemplazar h 1 , k 1 y h 2 , k 2 en
x h 2 y k 2 5, vale decir
x 2 2 y 3 2 5 y x 4 2 y 1 2 5

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.

Elipse centrada en el origen


A continuacin vamos a encontrar la ecuacin E de una elipse E. Con precisin, esto
significa que una elipse E tiene una ecuacin del tipo E y que una ecuacin del tipo E
corresponde a una elipse E. Se trata por tanto de un proceso de ida y vuelta.

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

Elipse centrada en el origen


Ponemos los focos sobre el eje OX y equidistantes del origen:
F 1 c, 0, F 1 c, 0.
Llamamos centro de la elipse al punto 0, 0.
Escribimos k 2a.
La distancia entre los focos es 2c, los segmentos (no orientados) PF 1 , PF 2 se llaman
radios focales.
Se tiene 2c 2a, es decir, c a.
Ahora bien, se tiene
dP, F 1 dP, F 2 k
x c 2 y 2 x c 2 y 2 2a

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

Ahora bien, como a c, entonces a 2 c 2 es un nmero positivo y podemos escribir


b a2 c2 , y b2 a2 c2.
As, tenemos aun
b2x2 a2y2 a2b2
7
y2
x2
a2 b2 1
8
Hemos marcado expresamente las equivalencias, cuando las hay, y las meras
implicaciones. Nuestro argumento ha probado que una elipse tiene una ecuacin como 8.
Si queremos ahora comprobar que 8 siempre corresponde a una elipse, debemos desandar
el camino, para lo cual basta poder revertir cada implicacin. Los pasos conflictivos son 2
a 3 y 4 a 5, en los que se ha elevado al cuadrado, y para la implicacin recproca en
cada caso basta, como se indic, probar que se trata de cantidades positivas
Tenemos que
5 a 2 x 2 2a 2 cx a 2 c 2 a 2 y 2 a 4 2a 2 cx c 2 x 2
a 2 x c 2 y 2 a 2 cx 2
Cuantificadores

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

1 tengamos necesariamente una elipse. Es por ello que hemos


2
a
b2
desandado el camino inicial. (Si bien se mira, estamos haciendo uso de la
definicin de igualdad de conjuntos, como algo ms exigente que la inclusin
de conjuntos, es decir, una inclusin y la inclusin inversa).
Hemos probado, entonces, el siguiente
Theorem Una elipse de centro 0, 0 y focos F 1 c, 0 y F 2 c, 0 tiene siempre una
2
y2
ecuacin ax 2 b 2 1, donde 2a es la suma de las distancias (de cualquier
punto de la elipse) a los focos, y b
Inversamente, la ecuacin

x2
a2

a2 c2 .

y2
b2

1es siempre la ecuacin de una

elipse de centro 0, 0 y focos F 1 c, 0 y F 2 c, 0, donde b

a2 c2

Remark Por supuesto, una circunferencia de ecuacin x 2 y 2 r 2 es tambin una


2
y2
elipse, cuya ecuacin podemos anotar xr 2 r 2 1, es decir, a b r.

La elipse como relacin binaria


2

y2

La frmula Ex, y : ax 2 b 2 1 es, segn hemos demostrado, una relacin binaria


que determina con el conjunto de puntos de una elipse

Cuantificadores

E x, y R 2 :

x2
a2

y2
b2

1 .

El dominio de E se obtiene como sigue: como ax 2 1


|x| a, es decir, a x a. De manera que
Dom E a, a.
Similarmente, se obtiene

y2
b2

, se tiene

x2
a2

1, luego

Rec E b, b.

Ahora bien, si hacemos b 0, entonces x 2 a 2 ;


luego, los puntos a, 0, a, 0 estn en E.
Asimismo, si hacemos a 0, entonces y 2 b 2 ;
luego, los puntos b, 0, b, 0 estn en E.
De entre ellos, los ms alejados se llaman los vrtices de la elipse.

Simetras

Es claro que si x DomE, entonces x DomE; adems,


Ex, y Ex, y. Luego, la elipse E es simtrica respecto del eje OY.
Similarmente, si y RecE, entonces y RecE; y,
Ex, y Ex, y. Luego, la elipse E es simtrica respecto del eje OX.
Ms an, se tiene
x DomE x DomE, e
y RecE y RecE, y Ex, y Ex, y.
Luego, la elipse E es simtrica respecto del origen de coordenadas O.
Es por esta ltima propiedad se hemos dicho que O0, 0 es el centro de la elipse E.

Anchura y altura

La siguiente propiedad es completamente evidente:


2
y2
Sea Ex, y : ax 2 b 2 1 la ecuacin de una elipse. Entonces:
1. si a b, entonces E es ms ancha que alta;
2. si a b, entonces E es ms alta que ancha, y
3. si a b, entonces E es una circunferencia de centro O y radio a (i.e., b.

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

Parbola centrada en el origen

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

La parbola como relacin binaria

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

Observe que O0, 0 es un punto de la parbola; es el punto de P ms cercano al foco, y


se denomina vrtice de la parbola.
Ahora bien, como se indic, se tiene c 0. Note que, si c 0, la relacin y 2 4cx es
equivalente a y 2 0, es decir, y 0, que es la ecuacin del eje OX y no la de una
parbola.
Por consiguiente:
si c 0, entonces y 2 4cx implica que x 0, de modo que
Dom R 0, , y Rec R R, y,
si c 0, entonces y 2 4cx implica que x 0, de modo que
Cuantificadores

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

Hiprbola centrada en el origen


Para definir la hiprbola, vamos a llamar (por motivos de claridad en el resultado, 2a a
la constante, que debe ser positiva, claro, y se tiene entonces a 0.
Hacemos ahora la
Definition Sea a 0, y sean F 1 , F 2 R 2 . Entonces, se llama hiprbola H de focos
F 1 , F 2 y constante 2a al conjunto
H Px, y R 2 : |dP, F 1 dP, F 2 | 2a

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

La hiprbola como relacin


La relacin
xRy :

x2
a2

tiene como grfico la hiprbola


H x, y R 2 :
Ahora bien,
y2
x2

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

Es claro que si |x| es grande,


a2

x; ba x 1

a2
x2
a2
x2

1 se tiene

a2
x2

y ba x 1

a2
x2

es despreciable (sic), de manera que


ba x

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

Corresponde a una hiprbola con su eje focal vertical.


En este caso y a y a ,
los vrtices son 0, a, 0, a

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:

As como, en cuanto a la elipse E :


x2

a2

y2
a2

y2
b2

1, un caso especial es la circunferencia

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

1, un caso especial es la hiprbola equiltera

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

Secciones cnicas: elipse; hiprbola; parbola


Damos las ecuaciones a modo de ilustracin.
1. La primera situacin es la siguiente:
a. Si est inclinado de modo que C, es mayor que , (pero no de modo tal
que sea paralelo a la superficie del cono), la interseccin es una elipse. Su
tamao depende de la posicin del plano, y su excentricidad de la inclinacin. En
2
y2
un marco de referencia apropiado, ax 2 b 2 1

Cuantificadores

Seccin de un cono: elipse


2
y2
b. si el plano es perpendicular al eje, obtenemos una circunferencia; ax 2 a 2 1,
i.e., x 2 y 2 a 2
c. en el caso lmite de la situacin anterior, se tiene una circunferencia degenerada:
el vrtice V; x 2 y 2 0

Seccin de un cono: punto


2. Si es paralelo a la superficie del cono, obtenemos una parbola, cuya forma depende
de la posicin de ; y 2 4px.

Cuantificadores

Seccin de un cono: parbola


3. Por otra parte,,
a. Si C, es an mayor, el plano corta a las dos ramas del cono y se forma una
hiprbola, cuya forma depende de la posicin y de la inclinacin del plano;
y2
x2

1,
2
a
b2

Seccin de un cono: hiprbola


b. salvo que, en el caso anterior, el plano pase por el vrtice V, y la hiprbola se
2
y2
degenera en un par de rectas que se cortan: ax 2 b 2 0, i.e., b 2 x 2 a 2 y 2 0; es
Cuantificadores

decir, bx aybx ay 0; en otras palabras, bx ay 0 bien, bx ay 0.

Seccin de un cono: dos rectas


4. Hay todava el caso de una recta:

Cuantificadores

Seccin de un cono: recta


Remark Hay tambin otros casos degenerados, que se obtienen mirando
directamente las ecuaciones de segundo grado (ecuaciones que examinaremos
ms adelante).
Por ejemplo, la ecuacin

x2
4

y2
9

representa el conjunto vaco, y se dice a veces que la ecuacin es la de una


elipse imaginaria.

Ecuacin general de segundo grado.


Cambio de marco de referencia.
Por ecuacin de segundo grado entendemos la relacin
xRy : Ax 2 Bxy Cy 2 Dx Ey F 0
donde A, B, C, D, E R, y A, B, C 0, 0, 0 (es decir, A, B y C no son
simultneamente nulos, de modo que tenemos una ecuacin de segundo grado y no una
recta, ni una ecuacin F 0).
Es claro que las ecuaciones que hemos dado para las cnicas pueden ser llevadas a una
ecuacin de este tipo.
Example Si E :

x2 2
4

y1 2
9

1,

multiplicamos por 36 y tenemos


9x 2 2 4y 1 2 36
es decir, 9x 2 36x 36 4y 2 8y 4 36 0

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

se trata por tanto de una hiprbola con centro en 1, 3.


b. En el marco M : O , X , Y , la ecuacin es
x
22

y
82

2. En el marco M : O, X, Y consideremos la ecuacin


4x 2 16x 9y 2 18y 11 0
a. Hacemos

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

Example Traslacin seguida de rotacin.


Consideremos, en M : O, X, Y, la ecuacin
8x 2 12xy 17y 2 28x 46y 17 0
1. Cambiamos a M : O , X , Y :
a. Hacemos

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

cuya solucin es : h 1, k 1, de manera que hay un centro en 1, 1


Ahora bien, el trmino libre es
8h 2 12hk 17k 2 74h 17
81 2 1211 171 2 741 17 20
c. De manera que la ecuacin queda
8x 2 12xy 17y 2 0x 0y 20 0
Por tanto, en M : O , X , Y , la ecuacin es
8x 2 12x y 17y 2 20 0
Se advierte que la cnica es simtrica respecto de los nuevos ejes, y tambin
respecto del nuevo origen).
2. Tenemos nuestra cnica en el marco M : O , X , Y ,
y queremos ahora cambiarla a otro M : O , X , Y en el que no aparezca el
trmino en x y .
Para simplificar las notaciones, hacemos usamos superndices y mantenemos claridad
en el proceso:
a. hacemos

x x cos y sin
y x sin y cos

y entonces la ecuacin se transforma en


8x cos y sin 2 12x cos y sin x sin y cos
17x sin y cos 2 20 0,
es decir,
8 cos 2 12 cos sin 17 sin 2 x 2
Cuantificadores

12 cos 2 18 cos 12 sin 2 x y


8 sin 2 12 sin cos 17 cos 2 y 2 20
b. queremos que
12 cos 2 18 cos 12 sin 2 0
i.e., 6 cos 2 9 cos 6 sin 2 0,
dividiendo por cos 2 (no nos interesa hacer rotaciones de
6 tan 2 9 tan 6 0
de modo que
tan 12 o bien tan 2 :
c. tomamos el ngulo agudo, y entonces
cos
sin

1
1tan 2
tan
1tan 2

2
5

2 5
5

1
5

5
5

grados, etc.), queda

d. De all que la ecuacin en el nuevo marco sea


5x 2 20y 2 20 0
es decir, dividiendo por 20
x
4

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

sistema que no tiene solucin


es decir, no hay un centro para la cnica, que podra ser una parbola
2. Intentamos pasar a un sistema M : O , X , Y mediante rotacin.
a.

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

2y sin 14x sin 14y cos 7 0


i.e.,
sin 2 4 sin cos 4 cos 2 x 2 4 sin 2 6 sin cos 4 cos 2 x y
4 sin 2 4 sin cos cos 2 y 2 14 sin 2 cos x
2 sin 14 cos y 7 0.
b. Resolvemos 4 sin 2 6 sin cos 4 cos 2 0,
es decir, 2 sin 2 3 sin cos 2 cos 2 0,
dividiendo por cos 2 :
2 tan 2 3 tan 2 0
de donde tan 2 o bien tan 12
c. Tomamos el ngulo agudo:
cos

5
5

1
1tan 2

tan

; sin

1tan 2

2 5
5

2
5

reemplazamos en la ecuacin de arriba:


2

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

de manera que si hacemos


x x

y y

5
5
5
5

es decir, trasladamos el centro de M al punto

5
5

5
5

obtenemos un marco M : O , X , Y , en donde la ecuacin es


y 2 65 5 x , una parbola conocida.
La ecuacin de segundo grado
Vamos a enunciar ahora el teorema que anunciamos.

Cuantificadores

Dicho teorema incluye los casos degenerados.


El teorema se apoya en el discriminante, concepto que proviene de la siguiente
consideracin, que ha aparecido en nuestros ejemplos:
Si una curva tiene centro x 0 , y 0 , entonces el sistema que determina ese centro es
Ax 0 B2 y 0 D2
B
2

x 0 Cy 0 E2

(Daremos un rodeo para evitar determinantes)


Si B 2 4AC, al intentar eliminar una variable, multiplicando, por ejemplo, la primera
ecuacin por B y la segunda por A, obtenemos
BAx 0 B B2 y 0 B D2
A B2 x 0 ACy 0 A E2
es decir,

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.

Otras relaciones en el plano.


Observe que no toda relacin en el plano R 2 est definida por una ecuacin de grado
menor o igual que dos, incluso, no toda relacin est definida por una ecuacin (ms an,
puede ser que ni siquiera tenga una frmula).
Ecuaciones (algebraicas) de mayor grado y otras ecuaciones (trascendentes) sern
estudiadas en un curso de Clculo, (algunas ecuaciones trascendentes fueron estudiadas en
el captulo de trigonometra).
Con lo ya adquirido, podemos examinar algunas situaciones de inters. Trate de dibujar
los ejemplos siguientes.
Example Damos un par de ilustraciones, para motivar la bsqueda:
1. Circunferencia y compaa
a. la ecuacin x 2 y 2 1 define una circunferencia;
b. la inecuacin x 2 y 2 1 determina el exterior de la circunferencia;
c. la inecuacin x 2 y 2 1 determina su interior;
d. la inecuacin x 2 y 2 1 determina el exterior de la circunferencia, incluyendo el
Cuantificadores

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

, que define el primer cuadrante.

xy
b. El sistema

y0

define un sector de circunferencia.

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

La propiedad dP,d 11 dP,d 22 1 caracteriza a la elipse, en el sentido de que


podramos haber la definido la elipse a partir de la excentricidad y la directriz esta
propiedad (ello requerira probar el siguiente teorema, que no usaremos en lo que
viene).
Theorem Una elipse es el conjunto de todos los puntos P del plano que se mueven de
modo que la razn entre la distancia a un punto fijo F del plano (llamado foco)
y la distancia a una lnea recta fija d (llamada directriz) es una constante 1

Cuantificadores

Remark Es obvio que la circunferencia es totalmente centrada. Si hemos usado bien


la palabra excentricidad, deberamos esperar, tal vez, que ella reflejara lo
que se aprecia en un dibujo: que la circunferencia no tiene excentricidad, y que
la excentricidad nos diera una medida de cun excntrica es la elipse (lo que,
por su parte, debera ser, precisamente, un cociente: no se trata slo de la
distancia entre los focos sino de esa distancia en relacin con la elipse).
Al respecto, observe que se tiene c 2 a 2 b 2 ,
por consiguiente, 2
de donde
y luego

b
a

1 ba

c2
a2

a 2 b 2
a2

1 ba ,

1 2 .

Por lo tanto, la razn entre los ejes se determina de la siguiente manera:


mientras ms se acerca a 1, ms pequea la razn ba y ms alargada la
elipse. Si se trata de una circunferencia, entonces b a y 0.

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

Las rectas d 1 : x ac y d 2 : x ac son las directrices de H.


Como en las curvas anteriores, tienen la propiedad de que, si P H, P arbitrario,
entonces
dP, F 1
dP, F 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

En cada caso, el cociente dX,d era constante y se llam la excentricidad de la


cnica. Es oportuno recoger aqu una clasificacin de las cnicas segn su excentricidad,
aunque sea slo para el registro:
Theorem (Clasificacin de cnicas).

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

De acuerdo a lo anterior, tenemos el sistema

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

Reemplazando en la ecuacin queda


es decir,

x4 2
12

3y2 2
1

x4 2
12

1,

x 2 8x 160 36y 2 144y 12


El centro es h, k 4, 2.
El otro foco es h c, k 7, 2.
2
La otra directriz es x h ac 8.

Cuantificadores

y2 2
1
3

Los vrtices son h, k a, 0 4 2 3 , 2

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

Ahora bien, el sistema

40 20k 0

, i..e.,

2 2k 3c
k 2

tiene solucin k 2, c 2, y, por lo tanto, reemplazando en la primera


ecuacin, se tiene 1 2 2 422 h, de donde h 158 .
Por lo tanto, la ecuacin de la parbola es P : y 2 2 42 x
es decir
y 2 4y 19 8x 0
Su foco es h c, k

15
8

su directriz es x h c
su vrtice es h, k

15
8

2, 2
15
8

, 2 ; i.e., V

la longitud de su lado recto es 4c 4

Ejercicios

Cuantificadores

31
8
1
8

, 2 ; i.e., F

; i.e., d : x 18

15
8

, 2

31
8

, 2

15
8