Bases AC4
Bases AC4
Bases AC4
Para acabar el curso vamos a dar un vistazo a la geometrı́a plana. Con ella buscamos formalizar la
intuición geométrica correspondiente a los dibujos sobre el plano (la hoja de papel, la pizarra, etc.).
hay dos formas de hacerlo totalmente distintas desde el principio (aunque equivalentes al final).
La forma sintética consiste en considerar básicos los conceptos geométricos elementales y, por
tanto, no definirlos sino axiomatizar sus relaciones. Es la forma más geométrica. Es la adoptada por
Euclides en sus Elementos, mejorada por Hilbert al final del s.XIX y se recomienda leerla alguna vez.
La forma analı́tica es algo más tardı́a (Descartes?), reduce la geometrı́a al Análisis mediante la
introducción de coordenadas. Es la que adoptaremos aquı́ por rapidez. Intentaremos dar una idea
intuitiva de la correspondencia con las construcciones analı́ticas.
Por tanto, para nosotros, el plano es
R2 = {P = (x, y) : x, y ∈ R}.
Recordemos un poco la visualización. En la figura adjunta del plano, hemos señalado una serie de
elementos importantes:
OY
II I
P = (x,y)
x
O = (0,0) OX
III IV
Figura 4.1
37
November 28, 2002 38
1. El origen. Respecto a él se miden las coordenadas de los puntos. Es O=(0, 0).
2. Los ejes. Son dos rectas perpendiculares que se cortan en el origen. Son OX= {(x, 0) : x ∈ R}
y OY= {(0, y) : y ∈ R}. En cada uno de ellos hay una parte positiva y una negativa.
3. Los cuadrantes Los ejes dividen el plano en cuatro regiones, según el signo de sus coordenadas.
Ası́, el primer cuadrante es I = {(x, y) : x ≥ 0, y ≥ 0}, etc.
Es conveniente recordar que la definición formal de estos elementos es la segunda, mientras que la
primera sólo sirve intuitivamente. El objeto formal es R2 , la intuición es el dibujo. Toda construcción
intuitiva tiene que ser comprobada analı́ticamente.
Antes de seguir, serı́a interesante para comprobar la correspondencia intuición-formalismo que
dibujarais regiones descritas formalmente y al revés.
En los primeros apartados repasamos conceptos que ya habréis visto anteriormente.
→
v = (v1 ,v2 )
Figura 4.2
→ → →
w v+w
O →
v
Figura 4.3
November 28, 2002 39
v = (v1 , v2 ), −
Definición 4.1.2 Dados dos vectores en el plano −
→ →
w = (w1 , w2 ) ∈ R2 , su suma se
define −
→
v +− →
w = (v1 + w1 , v2 + w2 ) ∈ R2 .
Demostración Hay que ver que la suma de vectores está bien definida, es asociativa, tiene elemento
−
→
neutro el 0 , inverso y que es conmutativa. Ninguna de ellas es difı́cil. ✷
λ →
v
→
O v
Figura 4.4
Demostración Además de la buena definición, hay que probar cuatro propiedades: linealidad en
los vectores (λ(− →
v +−→
w ) = λ−
→
v + λ−
→w ), linealidad en los escalares ((λ + µ)−
→
v = λ−
→
v + µ− →
v ), el 1
−→ −
→ −
→ −
→
como identidad (1 v = v ), asociatividad del producto λ(µ v ) = (λµ) v ). Como antes, ninguna de
ellas es difı́cil. ✷
Nótese que en todo este apartado el origen es un punto especial, ya que es el elemento neutro del
grupo abeliano.
Definición 4.1.6 Veamos ahora alguna aplicación que conserva esta estructura (las llamadas apli-
caciones lineales). Definimos giro de ángulo θ como Gθ : R2 → R2 definida por
Propiedad 4.1.7 Los giros conservan la suma de vectores y el producto por un escalar.
Nota 4.1.8 Ahora se puede hablar algo de matrices (la matriz de un giro) y de como los giros forman
un grupo.
November 28, 2002 40
P + →
v
→
v
P
Figura 4.5
Demostración La comprobación de todas ellas es directa. En particular para A3, si P = (x, y), Q =
−→
(x , y ) ∈ R2 , entonces P Q = (x − x, y − y). ✷
PQ
P
Figura 4.6
Nota 4.2.3 Hagamos hincapié en la dualidad punto-vector. Las coordenadas del punto P son las
−→
mismas que las del vector OP .
November 28, 2002 41
−→
Propiedad 4.2.4 El vector asociado P Q cumple las siguientes propiedades:
−→ −→ −→
1.-. Para toda terna de puntos P, Q y R, se cumple P Q + QR = P R.
2.-. Para todo punto P la aplicación R2 → R2 dada por −→
v → P + −
→v es una biyección. (Toma P
como origen)
T−→
v (x, y) = (x + v1 , y + v2 ).
Nota 4.2.6 Ahora se puede hablar algo de matrices en el caso afı́n, de como las traslaciones forman
un grupo y de la importancia de las aplicaciones afines (aplicación lineal compuesta con traslación).
Definición 4.3.1 Describamos una recta en forma implı́cita. Dados a, b, c ∈ R de forma que (a, b) =
(0, 0), la recta asociada a la ecuación ax + by + c = 0, se define como el subconjunto de R2 formado
por los puntos que satisfacen la ecuación. O sea,
r = {(x, y) : ax + by + c = 0}.
Se representa r ≡ ax + by + c = 0.
Propiedad 4.3.2 Nótese que a , b , c definen la misma recta sii existe λ = 0 con (a , b , c ) =
λ(a, b, c).
Corolario 4.3.3 Si r es una recta dada por a, b, c con b = 0, existen m, n ∈ R de manera que
(x, y) ∈ r sii y = mx + n.
Demostración Se despeja y. ✷
Nota 4.3.4 La forma obtenida en el corolario es la llamada forma explı́cita de la recta. Existe si
b = 0 y es única. En el caso que b = 0, despejando x, se obtiene x = −c/a que se llama la forma
explı́cita en este caso.
November 28, 2002 42
Definición 4.3.5 Dado una recta r ≡ ax + by + c = 0 y dos puntos P, Q ∈ r, decimos que el vector
−→
P Q es un vector director de r.
Nota 4.3.8 En general, tomaremos como vector director de la recta ax0 + by0 + c = 0 a (b, −a).
Nota 4.3.10 En el caso de la propiedad, la recta r cumple r = {(x0 + λv1 , y0 + λv2 ) : λ ∈ R} lo que
se conoce como forma paramétrica de la recta.
Definición 4.3.11 Dado un vector − →v = (v1 , v2 ) y un punto P = (x0 , y0 ), llamamos recta con vector
−
→
director v y que pasa por P a la recta en forma paramétrica
Veamos el problema contrario. Dado el vector director y un punto (o, equivalentemente, dada la
recta en forma paramétrica) como pasar a forma implı́cita.
Propiedad 4.3.12 Dada la recta r con vector director − →v = (v1 , v2 ) ∈ R2 y que pasa por el punto
P = (x0 , y0 ) ∈ R2 . Entonces r ≡ v2 x − v1 y − v2 x0 + v1 y0 = 0.
Nota 4.3.13 Dados dos puntos P = (x0 , y0 ) y Q = (x1 , y1 ), la recta que pasa por los dos es la que
tiene vector director (x1 − x0 , y1 − y0 ) y pasa por uno de ellos. En forma paramétrica es
Definición 4.3.14 Dos rectas r, r se llaman paralelas si tienen vectores directores proporcionales.
Nota 4.3.15 No es difı́cil probar como traduce el concepto al caso en que las rectas vienen dadas
por ecuaciones implı́citas. Ası́ r ≡ ax + by + c = 0 y r ≡ a x + b y + c = 0 son paralelas sii (a, b) y
(a , b ) son proporcionales.
Definición 4.3.16 Dada una aplicación f : R2 → R una curva en forma implı́cita se define como el
conjunto
C = {(x, y) : f (x, y) = 0}.
Ejemplo 4.3.17 Vamos a arrastrar como ejemplo de curva la más sencilla: la circunferencia de
centro (0, 0) y radio 1. Es el subconjunto
{(x, y) : x2 + y 2 = 1}.
Nota 4.3.18 Como antes, la función no tiene porque ser única. Siempre podemos cambiar la misma
multiplicándola por un escalar. Pero también está asociada a (x2 + y 2 )2 = 1, por ejemplo.
Si hay suerte, podemos “despejar” la y y ponerla como y = φ(x). Esta se llama forma explı́cita
de la curva. En general, no hay forma explı́cita global. Normalmente, si hay forma explı́cita local.
Definición 4.3.20 Veamos otra forma de presentación de curvas. Dadas dos aplicaciones f1 : A → R
y f2 : B → R, con A, B ⊆ R la curva en forma paramétrica asociada se define
Demostración Fácil. ✷
Demostración Fácil. ✷
(−
→ w )2 ≤ (−
v ·−
→ →
v ·−
→
v )(−
→
w ·−
→
w)
−
→
v +−
→
w ≤ −
→
v + −
→
w
Propiedad 4.4.10 El número ası́ definido puede ser un coseno. O sea −1 ≤ cos(−
→
v−
→
w ) ≤ 1.
Demostración Cauchy-Schwarz. ✷
Propiedad 4.4.12 Se conserva cambiando un vector por otro colineal en el mismo sentido. Cambia
de signo si se substituye por uno de sentido contrario.
Demostración Fácil. ✷
Nota 4.4.13 Esto permite definir el ángulo entre rectas. Hay que tener cuidado con escoger el
positivo.
Definición 4.4.16 Dados dos puntos P, Q ∈ R2 definimos la distancia entre ellos como el módulo
del vector que definen.
−→
d(P, Q) = P Q = ((x1 − x0 )2 + (y1 − y0 )2 .
r
P
R
Q
Figura 4.7
Propiedad 4.5.1 Sean P = (x0 , y0 ), Q = (x1 , y1 ) ∈ R2 dos puntos distintos. El lugar geométrico de
los puntos equidistantes de ellos es la recta de ecuación
(x − x0 )2 + (y − y0 )2 = (x − x1 )2 + (y − y1 )2 .
Corolario 4.5.2 Dados tres puntos cualesquiera no alineados, todo punto viene determinado por sus
distancias a ellos.
Demostración Si hubiera dos puntos Q, R con las mismas distancias, los tres puntos estarı́an en
la recta de puntos que equidistan de Q y de R. ✷
r
P
sr(P)
Figura 4.8
November 28, 2002 47
4.6 Isometrı́as.
Vamos a estudiar cuestiones geométricas elementales asociadas a distancias y ángulos. Por tanto, las
aplicaciones que nos interesan son las que conservan la distancia.
1. Traslación de vector −
→
v = (v1 , v2 ), T−→
v .
2. Rotación de ángulo θ, Gθ .
November 28, 2002 48
Propiedad 4.6.5 Toda isometrı́a está determinada por la imagen de tres puntos no alineados.
Demostración El primer punto es que si P0 , P1 y P2 no están alineados, sus imágenes por una
isometrı́a tampoco, ya que no estar alineados equivale a que la desigualdad triangular sea estricta.
En segundo lugar usamos que un punto está determinado por sus distancias a tres no alineados.
✷
Nota 4.6.8 1.- El producto de dos simetrı́as respecto a rectas que forman un ángulo α es un giro
de centro el punto común y ángulo 2α. Asimismo, el producto de dos reflexiones respecto a rectas
paralelas es una traslación de vector el doble del que lleva una recta sobre otra.
2.- También es el momento de hablar de F.Klein y el programa de Erlangen. Las geometrı́as vienen
dada por la acción de un grupo sobre un espacio. Los elementos geométricos son los invariantes de
esa acción.
3.- Visualizar el realizar una isometrı́a como “adaptar las coordenadas al problema”.
November 28, 2002 49
4.7 Cónicas.
Veamos las cónicas en el plano de varias maneras. Empecemos definiéndolas en función de un foco,
una directriz y la excentricidad.
Definición 4.7.1 La cónica C con foco el punto F , directriz la recta D (tal que F ∈ / D) y excen-
tricidad e > 0 es el lugar geométrico de los puntos tales que el cociente de distancia al foco por la
distancia a la directriz es la excentricidad. O sea
e=1
F e<1
Figura 4.9
Propiedad 4.7.2 Tomando como eje de ordenadas la directriz y como eje de abscisas la recta per-
pendicular a la directriz y que pasa por F = (f, 0), la cónica tiene ecuación
(1 − e2 )x2 + y 2 − 2f x + f 2 = 0.
Demostración Veamos la ecuación que debe cumplir un punto P = (x, y) para estar en la cónica.
Como D es el eje OY , está claro que d(P, D) = x. Igualando las distancias al cuadrado tenemos
(x − f )2 + y 2 = e2 x2
Nota 4.7.3 Esta ecuación aún NO es caracterı́stica de la cónica, en el sentido de que puede ser que
en un sistema de coordenadas la ecuación de la cónica sea de la forma ax2 + y 2 + cx + d = 0 sin que
sean a = 1 − e2 , c = −2f y d = f 2 . Hay que trabajar más.
Si consideramos la ecuación (1−e2 )x2 +y 2 −2f x+f 2 = 0, vemos que tiene distintas caracterı́sticas
según e = 1 ó e = 1. Ası́, en el primer caso sólo tiene un punto de intersección con el eje OX (de
coordenadas (f /2, 0)) y en el segundo dos (de coordenadas (f /1 − e, 0) y (f /1 + e, 0)). Conviene
distinguir casos.
Veamos la ecuación reducida de la parábola obtenida mediante una traslación. En este caso,
escogemos como nuevo origen la intersección con el eje OX, llamada vértice de la parábola. Luego
O = (f /2, 0), el punto medio entre el foco y la directriz (que en esta curva son únicos).
O O' F
Figura 4.10
Nota 4.7.6 Respecto al nuevo origen (el vértice), el foco tiene coordenadas F = (f /2, 0) y la
directriz tiene ecuación x = −f /2. Esta SI que es una ecuación caracterı́stica, en el sentido que si
respecto a algunas coordenadas la ecuación de una cónica es y 2 = 2px , la cónica es una parábola, el
origen de coordenadas es el vértice, el parámetro p es la distancia focal (del foco a la directriz), el
foco es el punto (p/2, 0) y la directriz es la recta x = −p/2.
November 28, 2002 51
Definición 4.7.7 Sea C una cónica con centro, o sea tal que e = 1. Si e < 1 decimos que la cónica
es una elipse y si e > 1 la llamamos hipérbola.
Veamos la ecuación reducida de una cónica con centro. También se obtiene mediante una
traslación. En este caso, el nuevo origen es el centro de la cónica, el punto medio de las inter-
secciones del eje OX con la cónica. Tiene coordenadas
1 f f f
C= + ,0 = ,0
2 1−e 1+e 1 − e2
Propiedad 4.7.8 Dada una cónica con centro (1 − e2 )x2 + y 2 − 2f x + f 2 = 0, trasladando el origen
al centro C, la ecuación se convierte en
(1 − e2 )2 2 (1 − e2 ) 2
x + y =1
e2 f 2 e2 f 2
que denominamos ecuación reducida de la cónica.
Nota 4.7.9 Respecto al nuevo origen (el centro), el foco y la directriz se expresan
2
e f
F =− f, 0 ; D ≡ x = − .
1−e 2 1 − e2
Nótese que el centro está a la derecha de ambos en la elipse y a la izquierda en la hipérbola.
Nota 4.7.10 Esta SI que es una ecuación caracterı́stica, en el sentido de que si respecto a algunas
coordenadas la ecuación es de este tipo, la cónica es una cónica con centro cuyos parámetros se
pueden recuperar.
Esta ecuación reducida corresponde a la que vosotros conocéis
x2 y 2
± 2 =1
a2 b
donde a y b son los semiejes mayor y menor. Es un buen ejercicio recuperar los parámetros excen-
tricidad e y distancia focal f a partir de a, b y el signo.
Nota 4.7.11 Una vez conocida la ecuación reducida, está claro que el centro es centro de simetrı́a de
la cónica. Por tanto, la cónica admite otro foco y otra directriz simétricos respecto al nuevo origen.
Las expresiones son 2
e f
F = f, 0 ; D ≡ x = .
1−e 2 1 − e2
November 28, 2002 52
Para terminar, vamos a relacionar la elipse y la hipérbola con los habituales lugares geométricos.
Empecemos con la elipse tal como aparece en la figura
F C F'
D D'
Figura 4.11
Propiedad 4.7.12 La elipse con focos F y F es el lugar geométrico de los puntos P cuya suma de
distancias a los focos (d(P, F ) + d(P, F ) ) es constante (El producto de la distancia entre directrices
por la excentricidad.).
Demostración Sean D ≡ x = −l y D ≡ x = l. Un punto P = (x, y) está en la elipse sii
d(P, F ) = ed(P, D) = e(x + l).
Igualmente, como hay otro foco y otra directriz, ha de cumplir
d(P, F ) = ed(P, D ) = e(l − x).
Sumando, sale la ecuación indicada.
✷
Se deja como ejercicio probar la propiedad equivalente para la hipérbola usando la figura
F' C F
D' D
Figura 4.12
Propiedad 4.7.13 La hipérbola con focos F y F es el lugar geométrico de los puntos P cuya dife-
rencia de distancias a los focos (d(P, F ) − d(P, F ) ) es constante en valor absoluto (El producto de
la distancia entre directrices por la excentricidad.)