Sei sulla pagina 1di 31

RESUMEN: GEOMETRÍA ANALÍTICA I

ERNESTO MAYORGA SAUCEDO

P “ pxP , yP , zP q, AB, ΠXY , ΠY Z , ΠXZ , ΠP0,XY ,

Agosto de 2019, ernestoms@ciencias.unam.mx

1
Notas de Geometría, Ernesto Mayorga Saucedo
2 ERNESTO MAYORGA SAUCEDO

1. D ISTANCIA EN R3
Sean P, Q P R3 , con P ‰ Q y suponemos además que todas las coordenadas de estos dos
puntos son distintas; si P y Q comparten dos de sus coordenadas, entonces el segmento
P Q tiene alguna de las direcciones de los ejes coordenados y en tal caso, la longitud de
este segmento es el valor absoluto de la diferencia de las coordenadas en que difieren P y
Q, véase la figura 1.

Z `
Q “ xQ , y, z
˘

P “ pxP , y, zq

QX

PX Y

F IGURA 1. P Q “ PX QX “ |xP ´ xQ |

Si todas las coordenadas de P y Q son distintas, entonces el punto


S :“ pxQ , yQ , zP q P R3
es distinto de P y Q y así tenemos un triángulo 4P SQ.
Por otra parte, como la tercer coordenada de P y S coinciden, entonces P y S están en
el plano ΠP ,XY determinado por la ecuación
z “ zP ;
además como las dos primeras coordenadas de S y Q coinciden, el segmento SQ tiene la
dirección del eje Z y por consiguiente, la elección del sistema coordenado, garantiza que
P S y SQ son perpendiculares y así 4P SQ es rectángulo, cuyo ángulo recto es P SQ e
hipotenusa P Q.

Z
Q
Agosto de 2019, ernestoms@ciencias.unam.mx

S
P

Y
X

F IGURA 2. Triángulo rectángulo 4P SQ

Notas de Geometría, Ernesto Mayorga Saucedo


PRELIMINARES 3

Por el teorema de pitágoras


pP Qq2 “ pP Sq2 ` pSQq2 ,
y así b
PQ “ pP Sq2 ` pSQq2 .
Determinaremos ahora las magnitudes P S y SQ.
Para determinar P S, consideramos los punto P 1 y S 1 que son los pie de perpendicular
de P y S en el plano XY . Por la elección de P 1 y S 1 , sun terceras coordenadas deben ser
0; por otra parte, como P 1 está en la recta `P ,Z , sus coordenadas satisfacen el sistema de
ecuaciones lineales "
x “ xP
y “ yP
y por consiguiente P “ pxP , yP , 0q; análogamente S 1 “ pxQ , yQ , 0q. Suponiendo que
1

los punto P, P 1 , S 1 y S están en un plano, entonces esto puntos son los vértices de un
paralelogramo y por consiguiente P S “ P 1 S 1 , luego haciendo uso de la fórmula de la
distancia en el plano,

P S “ P 1S1
b
(1.1) “ pxP ´ xQ q2 ` pyP ´ yQ q2
Por otra parte, si S 2 y Q2 son los pie de perpendicular de S y Q en el eje Z, entonces las
dos primeras coordenadas de esto puntos son 0; además como SS 2 es perpendicular al eje
Z, entonces la tercer coordenada de S 2 es precisamente la tercer coordenada de S, esto es,
S 2 P ΠS ,XY , y por consiguiente
S 2 “ p0, 0, zP q ;
análogamente Q2 “ p0, 0, zQ q. Nuevamente, si suponemos que Q, Q2 , S 2 y S están en un
plano, estos puntos son los vértices de un paralelogramo y por consiguiente SQ “ S 2 Q2 ,
luego

SQ “ S 2 Q2
(1.2) “ |zP ´ zQ |

Z
Q
Q2
Agosto de 2019, ernestoms@ciencias.unam.mx

S2 S
P

S1
P1
Y
X

F IGURA 3. Longitud de catetos del triángulo 4P SQ

Notas de Geometría, Ernesto Mayorga Saucedo


4 ERNESTO MAYORGA SAUCEDO

Por lo tanto, de (1.1) y (1.2) se obtiene que


b
PQ “ pP Sq2 ` pSQq2
b
“ pxP ´ xQ q2 ` pyP ´ yQ q2 ` pzP ´ zQ q2
Resumimos la discusión anterior en la siguiente proposición.

Teorema 1.1. Si P, Q P R3 , entonces la distancia de P a Q, que denotamos por d pP, Qq,


está dada por:
b
d pP, Qq “ pxP ´ xQ q2 ` pyP ´ yQ q2 ` pzP ´ zQ q2 .

A continuación presentamos las principales propiedades de la distancia.

Proposición 1.1. Si P, Q, R P R3 , entonces


1) d pP, Qq ě 0 y
d pP, Qq “ 0 si y sólo si P “ Q.
2) d pP, Qq “ d pQ, P q.
3) d pP, Qq ď d pP, Rq ` d pR, Qq.
La demostración de las propiedades (1) y (2) no son complicadas y se dejan como
ejercicio al lector. Por otra parte, la demostración de (3) se deja pendiente y será una
consecuencia de otro concepto que revisaremos más adelante.

2. P RODUCTO PUNTO
Para la sección 2.2 haremos uso de los siguientes conceptos básicos que presentamos a
manera de resumen.
2.1. Coseno de una diferencia de ángulos y el Producto Punto. El producto punto (o
producto escalar o producto interior) en Rn (con n “ 2, 3, para nuestros fines), es una
especie de operación con un alto contenido geométrico y a manera de motivación, haremos
algunas observaciones sobre la función coseno.
Comenzamos recordando algunas de sus propiedades.
La función cos : R ÝÑ R tiene las siguientes propiedades:
(1) es acotada, esto es, Im pcosq “ r´1, 1s.
(2) es periódica de periodo 2π.
(3) es una función par, esto es, para cada α P R, cos p´αq “ cos pαq y por consiguiente,
Agosto de 2019, ernestoms@ciencias.unam.mx

la gráfica de cos es simétrica respecto al eje Y .


(4) Para cada α, β P R se cumple:
(2.1) cos pα ´ βq “ cos pαq cos pβq ` sen pαq sen pαq .
(5) A partir de la función cos, podemos construir una función biyectiva
c : r0, πs ÝÑ r´1, 1s dada por c pαq “ cos pαq, para cada α P r0, πs cuya inversa
es la función arc cos : r´1, 1s ÝÑ r0, πs.
(
2.2. Motivación. Consideremos u, v P S1 :“ P P R2 | d pP, Oq “ 1 . Sabemos que S1 “
tpcos pθq , sen pθqq | θ P r0, 2πqu y por consiguiente existen α, β P r0, 2πq, únicos, tales que
u “ pcos pαq , sen pαqq y v “ pcos pβq , sen pβqq.
Suponiendo, sin perdida de generalidad, que β ď α, se tiene que α ´ β P r0, 2πq. Si
α ´ β P r0, πs diremos que α ´ β es el ángulo entre u y v y si α ´ β P pπ, 2πq, diremos
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 5

que 2π ´ α ` β “ 2π ´ pα ´ βq es el ángulo entre u y v, véase la figura 4. Denotaremos


por ang pu, vq, al ángulo entre u y v; así por definición
ang pu, vq P r0, πs.

Y Y
v
v

α´β
α α β
β

O U X
O U X 2π ´ pα ´ βq

S1
S1
u

(A) 0 ď α ´ β ď π ( B ) π ă α ´ β ă 2π

F IGURA 4. Ángulo entre u y v

Bajo estas convenciones, la idea de la definición del producto punto radica en obtener
un algoritmo que arroje el ángulo entre dos elemento u, v P S1 , aún si no conocemos los
argumentos de u y v,I y a partir de aquí generalizar esto a cualquier par de elementos de
Rn ´ tOu.
Considerando las propiedades (2) y (3), sin importar cómo esté dado el ángulo entre u
y v, en incluso si tomamos su diferencia de forma inadecuada, se tiene que su coseno es
¨
constante y a esta constante la denotamos por u v, de esta manera
¨
u v :“ cos pang pu, vqq
“ cos pα ´ βq psuponiendo conocidos los argumentosq
“ cos pαq cos pβq ` sen pαq sen pβq ppor (4)q
“ xu xv ` yu yv putilizando las coordenadas de u y vq

¨
De esta manera, el número u v “ xu xv ` yu yv ya no depende de los argumentos de u y
v y además en nuestro caso particular se cumple que
Agosto de 2019, ernestoms@ciencias.unam.mx

(2.2) ang pu, vq “ arc cos pu vq .¨


Nota 2.1. La fórmula (2.2) se puede definir para cualquier par de elementos de R2 , más aún,
para cualquier par de elementos de Rn , con n ě 3.
Lo que resulta ser realmente sorprendente es que en todos estos casos, dicho número permite
definir el ángulo entre dos elementos de Rn ´ tOu, n ě 3.
Para llevar a cabo eso será necesario comprobar algunas propiedades de dicho número.

I
Aquí el argumento se refiere a la primer coordenada de la representación polar canónica de los puntos u
y v.
Notas de Geometría, Ernesto Mayorga Saucedo
6 ERNESTO MAYORGA SAUCEDO

Definición 2.1. Sean u, v P Rn (n “ 2, 3). Si u “ px1 , . . . , xn q y v “ px1 , . . . , xn q, el


¨
producto punto de u con v, que denotamos u v, es el número real
¨
u v “ x1 y1 ` x2 y2 ` ¨ ¨ ¨ ` xn yn .
Las principales propiedades aritméticas que posee el producto punto se resumen en la
siguiente proposición.

Proposición 2.1. Sean u, v, w P Rn y λ P R.


¨
1) u v “ v u. ¨
¨ ¨
2) u pv ` wq “ u v ` u w. ¨
¨
3) u pλ ¨ vq “ λ ¨ pu vq. ¨
4) El producto punto es positivo definido:
¨
4.1) u u ě 0.
¨
4.2) u u ě 0 si y sólo si u “ O.
La demostración no representa ningún problema y se deja como ejercicio al lector. Como
primer consecuencia de la proposición 2.1, tenemos que las propiedades (2) y (3), ahí
descritas, son válidas cuando cambiamos el orden, más precisamente.

Corolario 2.1. Sean u, v, w P Rn y λ P R.


¨ ¨
1) pu ` vq w “ u w ` v w. ¨
¨
2) pλ ¨ uq v “ λ ¨ pu vq. ¨
Demostración. Sean u, v, w P Rn y λ P R.
1)

¨ ¨
pu ` vq w “ w pu ` vq pproposición 2.1 (1)q
“w¨u`w¨v pproposición 2.1 (2)q
“u¨w`v¨w pproposición 2.1 (1)q

2)

¨ ¨
pλ ¨ uq v “ v pλ ¨ uq pproposición 2.1 (1)q
¨
“ λ ¨ pv uq pproposición 2.1 (3)q
“ λ ¨ pu ¨ vq pproposición 2.1 (1)q
Agosto de 2019, ernestoms@ciencias.unam.mx

Vale la pena hacer notar que en la demostración del corolario 2.1 ya no es necesario
recurrir a las coordenadas de los elementos de Rn ; esto es sólo un ejemplo de otras
propiedades que se pueden demostrar haciendo uso sólo de las propiedades del producto
punto enunciadas en la proposición 2.1 y no de la naturaleza de los elementos de Rn .
A manera de “test” de lo afirmado en la nota 2.1, observamos que, si u P R2 ´ tOu,
entonces uK :“ p´yu , xu q P R2 ´ tOu, por construcción, se obtiene
` ˘ a partir de hacer girar u
en torno al origen por el ángulo π2 , y por consiguiente ang u, uK “ π2 .
¨
Por otra parte, un cálculo inmediato muestra que u uK “ 0 y en este caso, se cumple:
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 7

¨
` ˘
arc cos u uK “ arc cos p0q
π

2 ` ˘
“ ang u, uK .

2.3. Norma. Dado u P Rn , si u “ px1 , . . . , xn q, entonces

u u “ x21 ` x22 ` ¨ ¨ ¨ ` x2n “ d pu, Oq2 ,


¨
¨
esto es, u u es el cuadrado de la distancia del origen a u. Si interpretamos a los elementos
de u P Rn , n “ 2, 3, como flechas que inicia en el origen O y terminan u entonces u u es ¨
el cuadrado de la magnitud de u.

Y
? kkkk
j u
¨
u ukkkkkkk
kk
kkki
kkkk
kkkk arg puq
hkk
O
X

F IGURA 5. Magnitud del vector u

Definición 2.2. Dado u P Rn , la norma de u, que denotamos }u}, es el número real


?
}u} :“ u u. ¨
Las principales propiedades de la norma se listan en la siguiente proposición.

Proposición 2.2. Si u, v P Rn y λ P R, entonces


(1) }u} ě 0 y
}u} “ 0 si y sólo si u “ O.
(2) }λ ¨ u} “ |λ| }u}.
(3) (Desigualdad de Cauchy-Schwarz)
¨
Agosto de 2019, ernestoms@ciencias.unam.mx

|u v| ď }u} }v} .
(4) (Desigualdad del triángulo)
}u ` v} ď }u} ` }v} .

Demostración. Las propiedades (1) y (2) son consecuencia directa de la propiedad (4) de
la proposición 2.1 y los dejamos como un ejercicio.
(3) Dados u, v P Rn ´ tOu consideraremos los vectores de la forma

u ´ λ ¨ v P `u,v Ă Rn

Luego
Notas de Geometría, Ernesto Mayorga Saucedo
8 ERNESTO MAYORGA SAUCEDO

Y
u

O
´v X

F IGURA 6. Vectores de la forma u ´ λ ¨ v

0 ď }u ´ λ ¨ v}2 ppropiedad en Rq
¨
“ pu ´ λ ¨ vq pu ´ λ ¨ vq pdefiniciónq
“ pu ´ λ ¨ vq ¨ u ´ λ ¨ ppu ´ λ ¨ vq ¨ vq pproposición 2.1 (2) y (3)q
“ u ¨ u ´ λ ¨ v ¨ u ´ λ ¨ pu ¨ v ´ λ ¨ v ¨ vq pcorolario 2.1q
“ }u}2 ´ 2λ ¨ u ¨ v ` λ2 ¨ }v}2 pproposición 2.1 (1)q
´ ¯
“ }u}2 ´ λ ¨ 2 ¨ u ¨ v ´ λ ¨ }v}2 pproposición 2.1 (1)q
u¨v
si elegimos λ “ }v} , la desigualdad anterior implica que
2

pu¨vq
2
0 ď }u}2 ´ u¨v pu ¨ vq “ }u}2 ´
´ ¯
}v}2
, }v}2

de donde
pu vq2
¨ ď }u}2 ,
}v}2
y por consiguiente
pu vq2 ď }u}2 }v}2
¨
y por lo tanto se obtiene
¨
|u v| ď }u} }v} .
(4) Ya que
Agosto de 2019, ernestoms@ciencias.unam.mx

}u ` v}2 “ pu ` vq pu ` vq¨ pdefiniciónq


¨
“u u`u v`v u`v v ¨ ¨ ¨ ppropiedad del producto puntoq
2 2
¨
“ }u} ` 2 pu vq ` }v}
2
ď }u} ` 2 |u ¨ v| ` }v}2 ppropiedad del valor absolutoq
ď }u}2 ` 2 }u} }v} ` }v}2 pdesigualdad de Cauchy-Schwarzq
2
“ p}u} ` }v}q
se sigue, a partir de lo anterior y de (1) de esta proposición, que
}u ` v} ď }u} ` }v} .

Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 9

2.4. Ángulo entre vectores. A partir de la desigualdad de Cauchy-Schwarz, dados u, v P


Rn ´ tOu, se tiene que

¨
ˇ
ˇ u v ˇ
|u v| ď }u} }v} implica ˇ }u}}v}
ˇ
ˇ ď 1, ¨
y por consiguiente, para cada u, v P Rn ´ tOu, u v¨
}u}}v} P r´1, 1s “ Dom parc cosq.
Introducimos la siguiente definición.

Definición 2.3. Dados u, v P Rn ´ tOu, definimos el ángulo entre u y v, que denotamos


ang pu, vq, como ´
u v
¯
ang pu, vq “ arc cos }u}}v} . ¨
Cabe hacer notar que para cada u, v P Rn ´ tOu, ang pu, vq P r0, πs y así, recuperamos la
noción desarrollada al inicio de estas notas.
La definición 2.3 permite extender la idea de perpendicularidad en el plano al espacio, y
en general a Rn con n ą 3.
Si u, v P Rn ´ tOu satisfacen que ang pu, vq “ π2 , entonces

`π˘
0 “ cos 2
“ cos parg vq


u v ¨ ,
}u} }v}
¨
lo cual implica u v “ 0.
¨
Recíprocamente, si u y v satisfacen que u v “ 0, entonces
ang pu, vq “ arc cos p0q “ π2 ,
y así presentamos la siguiente definición.

Definición 2.4. Sean u, v P Rn ´ tOu. Diremos que u es ortogonal a v, y lo denotamos


¨
uKv, si u v “ 0.

Nota 2.2. En algunos textos se acepta que la definición de vectores ortogonales se quite la
condición de ser diferente de O; en tal caso, se obtiene que O es el único vector con la propiedad
de ser ortogonal a todos los elementos de Rn .
2.5. Distancia como la norma de un vector. Ahora presentaremos el concepto de
distancia entre dos puntos, en Rn , en términos de los conceptos de R-espacio vectorial y
Agosto de 2019, ernestoms@ciencias.unam.mx

norma.
Dados los puntos P, Q P R2 , la distancia de P a Q es precisamente la longitud del
segmento P Q; por otra parte, si consideramos el punto P ´ Q, como pP ´ Qq ` Q “ P ,
véase la figura 7, la interpretación geométrica de la suma de dos vectores en el plano,
asegura que el segmento P Q es paralelo y congruente al segmento pP ´ QqO, y así,
d pP, Qq “ d pQ, P q
“ d pO, P ´ Qq
“ }P ´ Q}
Esta interpretación geométrica puede extrapolarse al espacio cartesiano para obtener el
mismo resultado. Basados en lo anterior, en general si P, Q P Rn , comparando directamente
las fórmulas, se obtiene que
Notas de Geometría, Ernesto Mayorga Saucedo
10 ERNESTO MAYORGA SAUCEDO

Y
P
P ´Q

O
X
´Q

F IGURA 7. Interpretación de P ´ Q

d pP, Qq “ }P ´ Q} .

3. R ECTAS Y PLANOS
3.1. Forma vectorial de rectas en R2 . No es difícil demostrar que, si una recta ` en el
plano está determinada por la ecuación y “ mx ` b, y si B “ p0, bq y u “ p1, mq entonces
` “ tB ` λ ¨ u | λ P Ru, considerando este caso como modelo, presentamos la siguiente
definición.

Definición 3.1. Sean P0 , u P R2 , con u ‰ O. La recta que pasa por P con dirección u,
que denotamos `P0 ,u , está dada por
`P0 ,u “ tP0 ` λ ¨ u | λ P Ru .

P0

u
`P0 ,u
O X Agosto de 2019, ernestoms@ciencias.unam.mx

F IGURA 8. `P0 ,u

Como consecuencia de la definición, se tiene que, para cada P0 , u P R2 , con u ‰ O, se


tiene que
(3.1) `P0 ,u “ tP0 u ` `O,u ;
esto es, la recta `P0 ,u es el trasladado de `O,u , la recta por el origen con dirección u, por P0 .
Si ` es la recta del plano determinada por la ecuación y “ mx `b, B “ p0, bq y u “ p1, mq,
entonces ` “ `B,u , esto es, para las rectas cuya ecuación es de la forma y “ mx ` b, tenemos
un método para dar su representación vectorial. A continuación veremos que el proceso
inverso también es posible.
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 11

P0

u
`P0 ,u
O X

`O,u

F IGURA 9. `P0 ,u “ tP0 u ` `O,u

Consideramos una recta `P0 ,u , donde suponemos que u “ pB, ´Aq. Si P P `P0,u , debe
existir un número real λ tal que P “ P0 ` λ ¨ u, lo cual implica
"
xP “ xP0 ` λB
xP “ yP0 ´ λA

lo cual da lugar a las siguientes identidades


"
AxP “ AxP0 ` λAB
BxP “ ByP0 ´ λAB

y por consiguiente
AxP ` ByP “ AxP0 ` ByP0 .

Si C :“ ´ pAxP0 ` ByP0 q P R, lo anterior asegura que, para cada P P `P0 ,u , las coordenadas
de P satisfacen la ecuación lineal, en las indeterminadas x y y,

Ax ` B y ` C “ 0;

y por lo tanto se ha demostrado que

`P0 ,u Ď px, yq P R2 | Ax ` By ` C “ 0 .
(
(3.2)
Agosto de 2019, ernestoms@ciencias.unam.mx

Para ver que en efecto se da la contención recíproca, consideremos Q P R2 tal que


AxQ ` ByQ ` C “ 0, de donde

(3.3) AxQ ` ByQ “ AxP0 ` ByP0 .

Para el siguiente análisis tenemos dos casos, uno si A ‰ 0 y otro si B ‰ 0.


Si A ‰ 0, la identidad (3.3) implica que
B
(3.4) xQ “ xP0 ` A pyP0 ´ yQ q ,

luego
Notas de Geometría, Ernesto Mayorga Saucedo
12 ERNESTO MAYORGA SAUCEDO

Q “ pxQ , yQ q
` ˘
“ x P0 ` B A pyP 0 ´ y Q q , yQ (por (3.4))
` ˘
“ x P0 ` B A pyP0 ´ yQ q , yP0 ` pyQ ´ yP0 q
` ˘
“ pxP0 , yP0 q ` B A pyP0 ´ yQ q , pyQ ´ yP0 q
pyP0 ´yQ q
“ P0 ` A ¨ pB, ´Aq
pyP0 ´yQ q
“ P0 ` A ¨ u,
py ´y q
lo cual implica que Q P `P0 ,u , ya que P0A Q P R. Si B ‰ 0, procediendo de manera
completamente análoga al caso anterior, a partir de (3.3) se obtiene que
A
yQ “ yP0 ` B pxP0 ´ xQ q ,
y a partir de aquí obtenemos nuevamente que Q P `P0 ,u y por consiguiente

px, yq P R2 | Ax ` By ` C “ 0 Ď `P0 ,u ,
(

luego, por (3.2), podemos concluir que


`P0 ,u “ px, yq P R2 | Ax ` By ` C “ 0 .
(

Resumimos esta discusión en la siguiente proposición.

Proposición 3.1. Sean P0 , u P R2 , donde u ‰ O. Si u “ pB, ´Aq y definimos C “


´ pAxP0 ` ByP0 q P R, entonces
(
`P0 ,u “ px, yq P R2 | Ax ` By ` C “ 0 .

De esta manera, la proposición 3.1 nos proporciona una manera de pasar de la represen-
tación vectorial de una recta dada a su descripción a partir de su ecuación lineal.
3.2. Extensión de los conceptos a R3 . Todos los conceptos de las secciones anteriores
se pueden extender al espacio cartesiano, a continuación sólo mencionaremos cómo es que
se extiende y dejamos los detalles como ejercicio al lector.
3.2.1. El R-espacio vectorial R3 . La suma y el producto por escalares en R3 se definen de
la siguiente manera: Dados P, Q P R3 y λ P R
(3.5) P ` Q :“ pxP ` xQ , yP ` yQ , zP ` zQ q ,
(3.6) λ ¨ P :“ pλxP , λyP , λzP q .
Agosto de 2019, ernestoms@ciencias.unam.mx

Las principales propiedades de estas operaciones son:

Proposición 3.2. Si P, Q, R P R3 y λ, µ P R, entonces


pS1 q P ` pQ ` Rq “ pP ` Qq ` R.
pS2 q P ` Q “ Q ` P .
pS3 q P ` O “ P .
pS4 q Si P 1 “ p´xP , ´yP , ´zP q, entonces P ` P 1 “ O.
pP1 q λ ¨ pµ ¨ P q “ pλµq ¨ P .
pP2 q λ ¨ pP ` Qq “ λ ¨ P ` λ ¨ Q.
pP3 q pλ ` µq ¨ P “ λ ¨ P ` µ ¨ P .
pP4 q 1 ¨ P “ P .

Notas de Geometría, Ernesto Mayorga Saucedo


PRELIMINARES 13
` ˘
De esta manera, la terna R3 , `, ¨ es un ejemplo más de un R-espacio vectorial y por
consiguiente, los elemento de R3 reciben el nombre de vectores. Al igual que en el plano
cartesiano, de forma tradicional, los vectores se ilustran como flechas con la condición de
que el punto inicial de dicha flecha está en el origen O y el punto final es el elemento dado
en R3 .

P “ pxP , yP , zP q

F IGURA 10. Flecha que inicia en O y termina en P

Las interpretaciones geométricas de la suma y el producto por escalares son exactamente


las mismas que para el plano cartesiano.

Suma (vectorial) en R3
Producto por escalares en R3

Definición 3.2. Sean P0 , u P R3 , con u ‰ O. La recta que pasa por P0 con dirección u,
está dada por
`P0 ,u “ P0 ` λ ¨ u P R3 | λ P R .
(
Agosto de 2019, ernestoms@ciencias.unam.mx

A partir de la definición vectorial de una recta ` “ `P0 ,u en el espacio, es posible dar la


representación “paramétrica” de dicha recta. Si u “ pa, b, cq, la forma paramétrica de ` está
dada por

$
& x ptq“ xP0 ` ta,
y ptq“ yP0 ` tb,
z ptq“ zP0 ` tc, t P R,
%

donde en este caso x, y y z son las funciones coordenadas de `.


Notas de Geometría, Ernesto Mayorga Saucedo
14 ERNESTO MAYORGA SAUCEDO

A continuación, daremos una lista de propiedades respecto a las rectas dadas en forma
vectorial, y que bajo el punto de vista práctico, resultan muy útiles.
Ya que las propiedades que revisaremos son válidas tanto en el plano como en el espacio,
las enunciaremos en Rn , para n “ 2 ó n “ 3.
Ejercicio 1. Demuestre que, si u P Rn , entonces para cada P, Q P Rn y cada λ P R,
pSE1 q O P `O,u .
pSE2 q Si P, Q P `O,u , entonces P ` Q P `O,u .
pSE3 q SI P P `O,u , entonces λ ¨ P P `O,u .
Nota 3.1. El conjunto R2 junto con la suma y el producto por escalares forman un R-espacio
vectorial y por la proposición 3.2, R3 junto con la suma y su producto por escalares también
forma un R-espacio vectorial.
Por otra parte, un subconjunto V Ď Rn que satisface las correspondientes propiedades
pSE1 q ´ pSE3 q, es llamado subespacio vectorial, o simplemente subespacio, de Rn , y por
consiguiente, el ejercicio 1 establece que cualquier recta por el origen en el plano ó el espacio
cartesiano es un subespacio vectorial de Rn . Si V Ď Rn es un subespacio de Rn , denotamos
este hecho como V ď Rn .

Proposición 3.3. Sean P, Q, u, v P Rn , con u, v ‰ O.


1) Si Q P `P ,u , entonces `Q,u Ď `P ,u .
2) Si v P `O,u , entonces `O,v Ď `O,u .
3) Si Q P `P ,u , entonces pQ ´ P q P `O,u .

Demostración. 1) Si Q P `P ,u , entonces existe λ P R tal que

(3.7) Q “ P ` λ ¨ u.
Veamos ahora que `Q,u Ď `P ,u . Si R P `Q,u , existe µ P R tal que R “ Q ` µ ¨ u, luego
R“Q`µ¨u
“ pP ` λ ¨ uq ` µ ¨ u (por (3.7))
“ P ` pλ ¨ u ` µ ¨ uq
“ P ` pλ ` µq ¨ u (por (P3 ))
y como pλ ` µq P R la igualdad anterior implica que R P `P ,u .
2) Si v P `O,u , entonces existe λ P R tal que
Agosto de 2019, ernestoms@ciencias.unam.mx

(3.8) v “ λ ¨ u.
Veamos ahora que `O,v Ď `O,u . Si R P `O,v , existe µ P R tal que R “ µ ¨ v, luego
R“µ¨v
“ µ ¨ pλ ¨ uq (por (3.8))
“ pµλq ¨ u (por (P1 ))
y como pµλq P R la igualdad anterior implica que R P `O,u .
3) Si Q P `P ,u , entonces existe λ P R tal que Q “ P ` λ ¨ u; sumando ´P a la identidad
anterior obtenemos que Q ´ P “ λ ¨ u P `O,u .

Para el siguiente corolario, necesitaremos la siguiente propiedad.
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 15

Ejercicio 2. Si λ P R y u P Rn ´ tOu, entonces

´ pλ ¨ uq “ p´λq ¨ u “ λ ¨ p´uq.

Corolario 3.1. Sean P, Q, u, v P Rn , con u, v ‰ O.


1) Q P `P ,u si y sólo si `Q,u “ `P ,u .
2) v P `O,u ´ tOu si y sólo si `O,v “ `O,u .
3) Q P `P ,u ´ tP u si y sólo si `O,pQ´P q “ `O,u .
4) Si P ‰ Q, entonces P, Q P `P ,pQ´P q .

Demostración. Demostraremos (1) y dejamos las restantes como ejercicio al lector.


ùñq Si Q P `P ,u , por (1) de la proposición 3.3 se tiene que

(3.9) `Q,u Ď `P ,u .

Por otra parte, también sabemos que Q “ P `λ¨u, para algún λ P R y por consiguiente,
sumando ´ pλ ¨ uq a la identidad anterior, obtenemos que

P “ Q ´ pλ ¨ uq
“ Q ` p´λq ¨ u (por el ejercicio 2)

y como p´λq P R, la igualdad anterior implica que P P `Q,u y por lo tanto, por (1) de la
proposición 3.3 se tiene que `P ,u Ď `Q,u y por (3.9) concluimos que

`Q,u “ `P ,u .

3.3. Rectas paralelas en R2 . Terminamos esta sección revisando el significado de rectas


paralelas en el plano y a partir de esto presentamos la definición en el espacio.
Sean ` y `1 rectas paralelas en el plano cartesiano. Po la proposición 3.1 podemos suponer
que ` “ `P0 ,u y `1 “ `Q0 ,v donde
` ˘
u “ pB, ´Aq y v “ B 1 , ´A1 ,

Para los dos casos posibles sobre ` y `1 tenemos que:


Si ` y `1 son verticales, entonces B “ B 1 “ 0 y por consiguiente u “ pB, ´Aq “ p0, ´Aq “
Agosto de 2019, ernestoms@ciencias.unam.mx

p´Aq ¨ p0, 1q; y de manera completamente análoga se tiene que v “ p´A1 q ¨ p0, 1q.
Ya que A ‰ 0 y A1 ‰ 0 se tiene que

u “ p´Aq ¨ p0, 1q
´´ ¯ ¯
1
“ p´Aq ¨ ´A1 ¨ v
`A˘
“ A1 ¨ v.
´ ¯
A1
Observe que también v “ A ¨ u.
Por otra parte, si ` y `1 son oblicuas, entonces B ‰ 0 y B 1 ‰ 0 y las pendientes de ` y `1
´A1 ´A1
son ´A ´A
B y B 1 , respectivamente. Si las rectas son paralelas, necesariamente B “ B 1 y
1
por consiguiente B “ A B A1 ; luego
Notas de Geometría, Ernesto Mayorga Saucedo
16 ERNESTO MAYORGA SAUCEDO

u “ pB, ´Aq
´ 1 ¯
“ AB A 1 , ´A
`A˘
“ A1 ¨ pB 1 , ´A1 q
` ˘
“ AA1 ¨ v.
`A˘
De esta manera, en cualquier caso, si las rectas ` y `1 son paralelas, entonces u “ A1 ¨ v.
Resumimos esta análisis como parte de la siguiente proposición.

Proposición 3.4. Sean P0 , Q0 , u, v P R2 , con u, v ‰ O. Las rectas `P0 ,u y `Q0 ,v son


paralelas si y sólo si existe λ P R ´ tOu tal que u “ λ ¨ v.

Demostración. Como mencionamos antes, la condición suficiente ya fue analizada previa-


mente obteniendo que λ “ AA1 P R satisface que u “ λ ¨ v.
Veamos ahora la condición necesaria y supongamos que u “ λ ¨ v, para algún λ P R.
Si v “ pB 1 , ´A1 q, entonces u “ pλB, ´λAq. Por la proposición 3.1, las ecuaciones que
determinan a `P0 ,u y `Q0 ,v son:
λA1 x ` λB 1 y ` C “ 0 y A1 x ` B 1 y ` C 1 “ 0,
donde
` ˘ ` ˘
C “ ´ λA1 xP0 ` λB 1 yP0 y C 1 “ ´ A1 x Q 0 ` B 1 y Q 0 .
` ˘
“ ´λ A1 xP0 ` B 1 yP0 ,
Luego, la ecuación de la recta `P0 ,u se puede escribir como
` ` ˘˘
λ A1 x ` B 1 y ´ A1 xP0 ` B 1 yP0 “ 0
y como λ ‰ 0, esta es equivalente a
` ˘
A1 x ` B 1 y ´ A1 xP0 ` B 1 yP0 “ 0.
Ya que las ecuaciones de las rectas `P0 ,u y `Q0 ,v sólo difieren en el término constante, dichas
rectas son paralelas. 

Extrapolando la propiedad anterior a los elementos de Rn ´tOu, introducimos la siguiente


Agosto de 2019, ernestoms@ciencias.unam.mx

definición.

Definición 3.3. Sean u, v P Rn ´ tOu. Decimos que u es paralelo a v, y lo denotamos


como u k v, si existe λ P R ´ t0u tal que u “ λ ¨ v.

La propiedad de ser paralelos en Rn ´ tOu determina una relación de equivalencia en


Rn ´ tOu, y dejamos al lector comprobar esta afirmación en el siguiente ejercicio.
Ejercicio 3. Sean u, v, w P Rn ´ tOu. Demuestre que
1) u k u.
2) si u k v, entonces v k u.
3) si u k v y v k w, entonces u k w.
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 17

Nota 3.2. Ya que la relación “k” es de equivalencia en Rn ´ tOu, esta induce una partición de
Rn ´ tOu en clases de equivalencia, donde para cada u P Rn ´ tOu, la clase de equivalencia a
la que pertenece u es `O,u ´ tOu.
El conjunto de clases de equivalencia, que se denota P pRn q, genéricamente es llamado
espacio proyectivo real; pero en los casos particulares n “ 2 y n “ 3, son llamados recta
proyectiva y plano proyectivo, respectivamente.
Ahora extrapolamos la definición 3.3 para la siguiente definición.

Definición 3.4. Diremos que las rectas `P0 ,u , `Q0 ,v Ă R3 son paralelas si sus correspon-
dientes vectores de dirección son paralelos, esto es, si u k v. El tal caso escribiremos
`P0 ,u k `Q0 ,v .

Corolario 3.2. Si P0 , Q0 , u, v P R2 , con u, v ‰ O, entonces las siguiente afirmaciones son


equivalentes.
1) `P0 ,u k `Q0 ,v .
2) u k v.
3) `P0 ,u “ `P0 ,v .

Corolario 3.3. Si `P0 ,u , `Q0 ,v Ă R2 son rectas paralelas, entonces las siguiente afirmacio-
nes son equivalentes.
1) `P0 ,u “ `Q0 ,v .
2) `P0 ,u X `Q0 ,v ‰ ∅.

Corolario 3.4. (Axioma de Playfair o Quinto postulado de Euclides) Si P P R2 y ` Ă R3


es una recta que no contiene a P , entonces existe una única recta `1 que pasa por P y es
paralela a `.

3.4. Proyección ortogonal. Hasta el momento, dados P P R2 y una recta ` Ă R2 ; si `


está determinada por la ecuación y “ mx ` b, entonces la distancia de P a ` esta dada por
la fórmula
|mxP ´ yP ` b|
Agosto de 2019, ernestoms@ciencias.unam.mx

(3.10) d pP, `q “ ? .
1 ` m2
Una forma de obtener la fórmula 3.10 es obteniendo las coordenadas del pie de perpen-
dicular de P en `, el cual denotamos por F`pP q. No es difícil comprobar que,

xP ` m pyP ´ bq mxP ` m2 yP ` b
ˆ ˙
F`pP q “ , ,
m2 ` 1 m2 ` 1
y así comprobar que d pP, F`pP qq “ |mx?P1`m
´yP `b|
2 .
Para obtener un algoritmo que permita calcular la distancia de un punto P P Rn a una
recta ` Ă Rn , tenemos que poder calcular el pie de perpendicular de P en ` y para que
esto funcione en el caso n “ 3, necesariamente debemos considerar la descripción de ` en
forma vectorial.
Notas de Geometría, Ernesto Mayorga Saucedo
18 ERNESTO MAYORGA SAUCEDO

Comenzaremos con el caso particular en el que ` “ `O,v . En este caso, como el pie de
perpendicular debe estar en `O,v , necesariamente este es de la forma λ ¨ v, para algún
λ P R.

Y
vK
P

λ¨v

O
X

F IGURA 11. Pie de perpendicular de P en `O,v

Observamos que de tener tal número λ, podemos construir w P R2 de manera que


λ ¨ v ` w “ P , ya que por la aritmética de R2 , despejando obtenemos que w “ P ´ λ ¨ v;
además, por la interpretación de la resta en R2 hecha en la sección anterior, sabemos
que los segmentos pλ ¨ vqP y Ow son paralelos, y en consecuencia ang pv, wq “ π2 , lo cual
¨
implica que v w “ 0, de esta manera,

¨
0“v w
“ v ¨ pP ´ λ ¨ vq
“ v ¨ P ´ λ pv ¨ vq
“ v ¨ P ´ λ }v}2
y como v ‰ O, necesariamente }v}2 ‰ 0 y así obtenemos que

λ“
¨
v P
.
}v}2
Por consiguiente, en este caso, F`O,v pP q “
´
v P¨
}v}2
¯
¨ v.
Esta construcción se puede extrapolar el espacio R3 , sólo que una ilustración de esto
corre el riesgo de ser poco clara; sin embargo, notamos que en todo el análisis anterior, en
Agosto de 2019, ernestoms@ciencias.unam.mx

realidad, no son necesarias las coordenadas, sólo las propiedades aritméticas y el producto
punto, las cuales son válidas en Rn ; y así introducimos la siguiente definición.

Definición 3.5. Sean v P Rn ´ tOu y P P R3 . La proyección ortogonal de P en v, que


denotaremos como Proyv pP q, es el elemento de Rn dado por
´ ¯
Proyv pP q “ v}v}P2 ¨ v. ¨
3.5. Distancia de un punto a una recta. A partir de la definición 3.1, para cada v P
Rn ´ tOu y cada P P Rn , se tiene que
F`O,v pP q “ Proyv pP q ,
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 19

y por consiguiente

(3.11) d pP, `O,v q “ }P ´ Proyv pP q} .


Para el caso n “ 2, del plano cartesiano, en la discusión previa, el vector P ´ Proyv pP q
es precisamente el pie de perpendicular de P en `O,vK , y así
ProyvK pP q “ P ´ Proyv pP q ,
lo cual implica que la fórmula de la distancia dada en (3.11) se puede reescribir como:

d pP, `O,v q “ }ProyvK pP q}


ˇ K ˇ

ˇv ¨

}v K }

vK Y
P

ProyvK pP q

v
Proyv pP q
O
X

F IGURA 12. Distancia de P a `O,v como la norma de ProyvK pP q

Para el caso general del cálculo de la distancia de un punto P a una recta `Q,v Ă Rn ,
debemos determinar en `Q,v el pie de perpendicular de P y la idea intuitiva es reducir este
problema al caso de una recta por el origen.
Si consideramos la traslación por ´Q, esto es, la función τ´Q : R2 ÝÑ R2 dada por
τ´Q pP q “ P ´ Q, para cada P P R2 , entonces
`O,v “ τ´Q r`Q,v s .
Lo que debemos hacer es comprobar que este tipo de “transformaciones” preserva la
propiedad de perpendicularidad; y lo que haremos es comprobar que este tipo de funciones
preserva triángulos.
Comenzamos con las siguientes proposiciones.
Agosto de 2019, ernestoms@ciencias.unam.mx

Proposición 3.5. Sean R P Rn y τR : Rn ÝÑ Rn dada por τR pP q “ R ` P , para cada


P P Rn . Si P, Q P Rn , entonces
d pτR pP q, τR pQqq “ d pP, Qq .

Demostración. Si P, Q P Rn , entonces
d pτR pP q, τR pQqq “ }τR pP q ´ τR pQq}
“ }pR ` P q ´ pR ` Qq}
“ }P ´ Q}
“ d pP, Qq .


Notas de Geometría, Ernesto Mayorga Saucedo


20 ERNESTO MAYORGA SAUCEDO

Proposición 3.6. Para cada R P Rn , la función τR : Rn ÝÑ Rn es biyectiva.

Demostración. Basta considerar la función τ´R : Rn ÝÑ Rn y comprobar que τ´R “ τR´1 .



Como consecuencia de las proposiciones 3.5 y 3.6 tenemos el siguiente corolario.

Corolario 3.5. Sean P, Q, R, C P Rn , donde P, Q y R son todos distintos entre si. Si


P 1 “ τC pP q , Q1 “ τC pQq y R1 “ τC pRq entonces 4P QR ” 4P 1 Q1 R1 .

Demostración. Sean P, Q, R, C P Rn , donde P, Q y R son todos distintos; P 1 “ τC pP q , Q1 “


τC pQq y R1 “ τC pRq. Por la proposición 3.6, P 1 , Q1 y R1 son todos distintos entre sí y por
la proposición 3.5
` ˘
d P 1 , Q1 “ d pP, Qq
` ˘
d Q1 , R1 “ d pQ, Rq
` ˘
d R1 , P 1 “ d pR, Rq
luego por el criterio LLL, de congruencia de triángulos, se tiene que
4P QR ” 4P 1 Q1 R1 .

Nota 3.3. La congruencia de triángulos enunciada en el corolario 3.5 es “directa” en el sentido
de preservar la orientación de los triángulos ya que si P y Q su puntos distintos en Rn , entonces
la recta que pasa por estos puntos tiene dirección P ´ Q, de esta manera, si P 1 y Q1 son los
puntos definidos en la demostración de 3.5, entonces la dirección de la recta que pasa por estos
puntos es
P 1 ´ Q1 “ pC ` P q ´ pC ` Qq
“ pP ´ Qq ,
lo cual implica que P 1 Q1 k P Q.
En particular
=P QR “ =P 1 Q1 R1
=QRP “ =Q1 R1 P 1
=RP Q “ =R1 P 1 Q1
Consideremos la recta `Q,v y sea P P R2 . Si F “ F`Q,v pP q ‰ Q, es el pie de perpendicular
Agosto de 2019, ernestoms@ciencias.unam.mx

de P en `Q,v , entonces el triángulo 4P QF es rectángulo con ángulo recto QF P , véase


la figura 13.
Por el corolario 3.5, el triángulo con vértices P ´ Q, O y F ´ Q es rectángulo, cuyo
ángulo recto tiene vértice F ´ Q, y por consiguiente se tiene que F ´ Q “ Proyv pP ´ Qq,
lo cual implica que F`Q,v pP q “ Q ` Proyv pP ´ Qq; luego
` ˘
d pP, `Q,v q “ d P, F`Q,v pP q
› ›
“ ›P ´ F`Q,v pP q›
“ }P ´ pQ ` Proyv pP ´ Qqq}
“ }pP ´ Qq ´ Proyv pP ´ Qq}

Notas de Geometría, Ernesto Mayorga Saucedo


PRELIMINARES 21

P
Y

F`Q,vpP q

P ´Q

Proyv pP ´ Qq
v
O
X

F IGURA 13. Pie de perpendicular de P en `Q,v

El análisis anterior se basa en el plano cartesiano, pero las propiedades utilizadas son
válidas también en el espacio cartesiano y así hemos demostrado la siguiente proposición.

Proposición 3.7. Sea `Q,v una recta en Rn . Si P P Rn , entonces


d pP, `Q,v q “ }pP ´ Qq ´ Proyv pP ´ Qq} .

Corolario 3.6. Sea `Q,v una recta en R2 . Si P P R2 , entonces


d pP, `Q,v q “ }ProyvK pP ´ Qq} .
¨
Además, si v “ pB, ´Aq y C :“ ´v K Q P R, entonces
|AxP ` ByP ` C|
d pP, `Q,v q “ ? .
A2 ` B 2

3.6. La forma algebraica de R2 y los planos en R3 . La descripción normal de una


recta en el plano no se puede extender al espacio cartesiano, pero veremos que el lugar
geométrico de la forma
tQu ` tnuK ,
donde Q, n P R3 , con n ‰ O, es algo ya conocido.
Comenzaremos estudiando la forma de representar los elementos del plano R2 de
Agosto de 2019, ernestoms@ciencias.unam.mx

manera algebraica y esto nos permitirá definir de manera precisa el concepto de plano en
el espacio R3 .
En la sección 3.4 (página 19) obtuvimos que, si v ‰ O, entonces para cualquier punto
P P R2 se cumple que ProyvK pP q “ P ´ Proyv pP q y por lo tanto
P “ Proyv pP q ` ProyvK pP q .
Esta última igualdad asegura que todos los elementos del plano R2 puedes describirse con
los vectores v y v K ; en realidad esto es sólo un ejemplo de una propiedad más general que
veremos a continuación, y en donde el producto punto nuevamente nos será de mucha
ayuda.
Antes de comenzar, hagamos un nueva interpretación de un par de igualdades que ya
tenemos.
Notas de Geometría, Ernesto Mayorga Saucedo
22 ERNESTO MAYORGA SAUCEDO

Observación 3.4. 1) Recordamos que, si u, v P Rn ´ tOu, entonces u k v si y sólo si existe


λ P R, necesariamente distinto de cero, tal que u “ λ ¨ v y por consiguiente, la recta `O,v
resulta ser el conjunto de todos los vectores en Rn que son paralelos a v, esto es,
(3.12) u P `O,v si y sólo si u k v.
K K
(
2) Como `O,v “ v , la equivalencia (3.12) da lugar a la equivalencia
(K
u P v K si y sólo si u k v.
Con estas observaciones ya podemos hacer una descripción del plano cartesiano R2 .

Proposición 3.8. Sean u, v P R2 ´ tOu. Si u ∦ v, entonces


R2 “ λ ¨ u ` µ ¨ v P R2 | λ, µ P R .
(

Demostración. Claramente se cumple la contención “Ě”, así que veamos que se cumple
“Ď”.
Sea P P R2 ; debemos exhibir dos números reales λ y µ de manera que
P “ λ ¨ u ` µ ¨ v.
Suponiendo que tenemos la identidad anterior, esta implica que

¨ ¨
" ` ˘
v K P “ λ `v K u˘ ,
(3.13)
¨
uK P “ µ uK v . ¨
(K
Ahora bien, como u ∦ v, necesariamente u R v K , véase la observación 3.4 inciso 2), y
(K
análogamente, v ∦ u implica v R uK , y por consiguiente
¨ ¨
v K u ‰ 0 y uK v ‰ 0.
Luego, a partir de (3.13) obtenemos que
$
& λ“ vK¨Pu ,
¨¨Pv .
vK
(3.14) uK
% µ“
uK ¨
De esta manera, dado P P R3 , se tiene que

(3.15) P “
ˆ K
v ¨
P
˙ ˆ K
u P
¨ u ` uK v ¨ v,
˙
¨
¨ ¨
Agosto de 2019, ernestoms@ciencias.unam.mx

vK u
(
y por lo tanto R2 Ď λ ¨ u ` µ ¨ v P R2 | λ, µ P R . 
(
En general, el conjunto λ ¨ u ` µ ¨ v P R2 | λ, µ P R es denotado por el símbolo hu, vi,
y se llama “subespacio generado” por u y v; más adelante se aclarará dicha terminología.
En general no tiene porqué ser hu, vi “ R2 , por ejemplo si u k v se tiene que hu, vi “ `O,v ,
pero como vimos si u ∦ v entonces R2 “ hu, vi. Además las identidades (3.14) dan un
algoritmo para encontrar los escalares adecuados.
Ejemplo 3.5. Sean u “ p´1, 2q y v “ p2, 3q. De esta manera
uK “ p´2, ´1q ,
v K “ p´3, 2q .
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 23

Si P P R2 , entonces
´ ¯ ´ ¯ ´ ¯ ´ ¯
´3xP `2yP ´2xP ´yP ´3xP `2yP 2xP `yP
3`4 ¨ u ` ´4´3 ¨ v “ 7 ¨ p´1, 2q ` 7 ¨ p2, 3q
´ ¯ ´ ¯
“ 3xP ´2y
7
P ´6xP `4yP
, 7 ` 4xP `2yP 6xP `3yP
7 , 7
´ ¯
“ 7x7P , 7y7P
“P

Extrapolando la descripción del plano cartesiano dada en la proposición 3.8 e inspirados


en la descripción vectorial de las rectas, introducimos la siguiente definición.

Definición 3.6. Sean u, v P R3 ´tOu, donde u ∦ v, y Q P R3 . El plano que pasa por Q,


con vectores de dirección u y v, que denotamos ΠQ,u,v , está dado por
ΠQ,u,v “ Q ` λ ¨ u ` µ ¨ v P R3 | λ, µ P R .
(

Observación 3.6. A partir de la definición de ΠQ,u,v , se tiene que `Q,u , `Q,v Ă ΠQ,u,v ; además
como
ΠO,u,v “ λ ¨ u ` µ ¨ v P R3 | λ, µ P R .
(

se sigue que
(3.16) ΠQ,u,v “ tQu ` ΠO,u,v ,
esto es, el plano ΠQ,u,v se obtiene trasladando, por Q, el plano por el origen ΠO,u,v .
3.7. Forma normal de un plano y distancia de un punto a un plano. No es extraño
pensar a partir de la similitud en las descripciones vectoriales de las rectas, en R2 , y los
planos en R3 , que se debería tener una forma normal de un plano. En efecto esto sucede ya
que si pensamos en el problema inverso, esto es, dado n P R3 ´tOu qué lugar geométrico
describe el conjunto tnuK . Si n ‰ O y definimos los vectores
np1q :“ p´yn , xn , 0q ,
np2q :“ p´zn , 0, xn q ,
np3q :“ p0, ´zn , yn q ,
no es difícil comprobar que por lo menos dos de estos vectores son diferentes de O y un
cálculo directo muestra que estos pertenecen a tnuK ; además si estos son distintos de O,
Agosto de 2019, ernestoms@ciencias.unam.mx

ninguno de estos son paralelos entre si.


Suponiendo que npiq y npjq son distintos de cero, entonces para cada λ, µ P R el vector
λ ¨ npiq ` µ ¨ npjq también pertenece a tnuK y por consiguiente

ΠO,npiq ,npjq Ď tnuK .

Veremos más adelante que en realidad los conjuntos anteriores son iguales.

3.8. Producto cruz. Por la identidad (3.16), es suficiente describir los planos que pasan
por el origen en su forma normal y es así que nos preguntamos si existe, para u, v P R3´tOu
no paralelos, un vector n P R3 ´tOu, tal que

ΠO,u,v “ tnuK .
Notas de Geometría, Ernesto Mayorga Saucedo
24 ERNESTO MAYORGA SAUCEDO

Supongamos resuelto el problema y sea n P R3 ´tOu, entonces tenemos el siguiente


sistema de ecuaciones lineales
"
xu xn ` yu yn ` zu zn “ 0
(3.17)
x v x n ` yv yn ` z v zn “ 0
del cual obtenemos "
xu xv xn ` xv yu yn ` xv zu zn “ 0
xu xv xn ` xu yv yn ` xu zv zn “ 0
Restando la segunda ecuación a la primera, y factorizando, se tiene
(3.18) pxv yu ´ xu yv q yn ` pxv zu ´ xu zv q zn “ 0
Una solución para la ecuación (3.18), en las indeterminadas yn y zn , es elegir
yn “ x v zu ´ x u zv ,
zn “ xu yv ´ xv yu .
Sustituyendo estas en la primer ecuación del sistema (3.17) se tiene
0 “ xu xn ` yu pxv zu ´ xu zv q ` zu pxu yv ´ xv yu q
“ xu xn ` yu xv zu ´ yu xu zv ` zu xu yv ´ zu xv yu
“ xu pxn ´ yu zv ` zu yv q
“ xu pxn ´ pyu zv ´ yv zu qq
de donde, si elegimos
xn “ yu zv ´ yv zu ,
la ecuación anterior se cumple.
De análisis anterior presentamos la siguiente definición.

Definición 3.7. Para u, v P R3 , el producto cruz de u con v, que denotamos por u ˆ v,


el vector dado por
(3.19) u ˆ v “ pyu zv ´ yv zu , xv zu ´ xu zv , xu yv ´ xv yu q .

¨ ¨
Por construcción, pu ˆ vq u “ 0 y pu ˆ vq v “ 0, hecho que dejamos al lector comprobar;
pero además de esta propiedad el producto cruz tiene otras, entre las que se encuentra la
siguiente:

u ˆ v “ O si y sólo si u k v.
Agosto de 2019, ernestoms@ciencias.unam.mx

De esta manera, si u ∦ v, entonces u ˆ v ‰ O.


La lista de las principales propiedades del producto cruz se listan en el siguiente ejercicio.
Ejercicio 4. Sean u, v, w P R3 ´tOu, demuestre que:
¨
1) pu ˆ vq u “ pu ˆ vq v “ 0; ¨
2) u ˆ v “ ´ pv ˆ uq;
3) u ˆ pv ` wq “ pu ˆ vq ` pu ˆ wq;
4) u ˆ pλ ¨ vq “ λ ¨ pu ˆ vq;
¨ ¨
5) pu ˆ vq w “ u pv ˆ wq;
¨
6) pu ˆ vq ˆ w “ pu wq ¨ v ´ pv wq ¨ u; ¨
7) u ˆ v “ O si y sólo si u k v;
8) }u ˆ v} “ }u} }v} |sen pang pu, vqq|.
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 25

Se tiene una regla nemotécnica para obtener el producto cruz de dos vectores u, v P R3 ;
y esta utiliza el algoritmo para calcular el determinante de una matriz de 3 ˆ 3 a través de
la expansión de Laplace, de la cual, una de las afirmaciones dice que, si A “ paij q es una
matriz cuadrada de n ˆ n, entonces
n
ÿ
(3.20) det pAq “ p´1qi`k aik αik ,
k“1

donde αik , llamado menor complementario de aik , es el determinante de la submatriz de A,


de pn ´ 1q ˆ pn ´ 1q, que se obtiene al suprimir el i-ésimo renglón y la k-ésima columna de
A.
Para el caso concreto de una matriz A de 3 ˆ 3 este luce de la siguiente manera:
Considerando i “ 1
¨ ˛
a11 a12 a13 ˆ ˙ ˆ ˙ ˆ ˙
a22 a23 a21 a23 a21 a22
det ˝ a21 a22 a23 ‚“ a11 det ´ a12 det ` a11 det
a32 a33 a31 a33 a31 a32
a31 a32 a33
“ a11 pa22 a33 ´ a23 a32 q ´ a12 pa21 a33 ´ a23 a31 q ` a13 pa21 a32 ´ a22 a31 q

Por otra parte, observando las entradas de u ˆ v en la fórmula (3.19), vemos que estas
tiene la forma de menores complementarios asociados a las entradas del primer renglón de
una matriz de 3 ˆ 3 cuyos renglones 2 y 3 son las entradas de u y v, respectivamente.
De esta manera, si e1 “ p1, 0, 0q , e2 “ p0, 1, 0q y e3 “ p0, 0, 1q, convenimos en la siguiente
representaciónII ˇ ˇ
ˇ e1 e2 e3 ˇ
ˇ ˇ
u ˆ v :“ ˇˇ xu yu zu ˇˇ ,
ˇ x v yv zv ˇ
donde dicho “determinante” se desarrolla por el primer renglón y
ej α1j :“ α1j ¨ ej pproducto por escalaresq.
Con esta convención, observe que para cada u, v, w P R3
¨ ˛
x u yu zu
u ¨ pv ˆ wq “ det ˝ xv yv zv ‚.
x w yw zw

Ejemplo 3.7. Sean e1 , e2 , e3 P R3 ´tOu los vectores definidos anteriormente, entonces


ˇ ˇ
ˇ e1 e2 e3 ˇ
ˇ ˇ
e1 ˆ e2 “ ˇˇ 1 0 0 ˇˇ
Agosto de 2019, ernestoms@ciencias.unam.mx

ˇ 0 1 0 ˇ
“ 0 ¨ e1 ´ 0 ¨ e2 ` 1 ¨ e3
“ e3

ˇ ˇ
ˇ e1 e2 e3 ˇ
ˇ ˇ
e2 ˆ e3 “ ˇˇ 0 1 0 ˇˇ
ˇ 0 0 1 ˇ
“ 1 ¨ e1 ´ 0 ¨ e2 ` 0 ¨ e3
“ e1

II
Para evitar confusión, utilizamos el símbolo de barras verticales, | |, en lugar de det.
Notas de Geometría, Ernesto Mayorga Saucedo
26 ERNESTO MAYORGA SAUCEDO

ˇ ˇ
ˇ e1 e2 e3 ˇ
ˇ ˇ
e3 ˆ e1 “ ˇˇ 0 0 1 ˇˇ
ˇ 1 0 0 ˇ
“ 0 ¨ e1 ´ p´1q ¨ e2 ` 0 ¨ e3
“ e2

3.9. Representación normal de un plano. Considerando lo expuesto en la subsección


anterior, dados u, v P R3 ´tOu, con u ∦ v, se tiene que u ˆ v P R3 ´tOu es ortogonal a u y v
y por consiguiente, si P “ λ ¨ u ` µ ¨ v P ΠO,u,v , entonces

¨ ¨
pu ˆ vq P “ pu ˆ vq pλ ¨ u ` µ ¨ vq
¨
“ λ ¨ pu ˆ vq u ` µ ¨ pu ˆ vq v ¨
“ λ0 ` µ0 “ 0,
de donde se obtiene que
ΠO,u,v Ď tu ˆ vuK ;
la contención recíproca también se cumple pero esta no es tan simple como la que acabamos
de comprobar; en [M1] se da una demostración de esta afirmación y en ella se hace uso
del concepto de subespacio vectorial, el cual es introducido y revisado en sus propiedades
más básicas en dichas notas, sin embargo para este curso lo reservamos para más adelante.
Aceptando la igualdad

(3.21) ΠO,u,v “ tu ˆ vuK ,


podemos describir el caso general de un plano de la forma ΠQ,u,v , con Q P R3 y para llevar
a cabo es trabajo, consideramos las siguientes equivalencias

P P ΠQ,u,v ðñ P “ Q ` λ ¨ u ` µ ¨ v ppara algunos λ, µ P Rq


ðñ P ´ Q “ λ ¨ u ` µ ¨ v ppara algunos λ, µ P Rq
ðñ P ´ Q P ΠO,u,v
ðñ P ´ Q P tu ˆ vuK ppor (3.21)q
¨
ðñ pu ˆ vq pP ´ Qq “ 0
¨
ðñ P P R P R3 | pu ˆ vq pR ´ Qq “ 0
(

De esta manera se tiene que


Agosto de 2019, ernestoms@ciencias.unam.mx

Proposición 3.9. Si Q P R3 y u, v P R3 ´ tOu entonces


¨
ΠQ,u,v “ P P R3 | pu ˆ vq pP ´ Qq “ 0 .
(
(3.22)

Llamaremos a (3.22) la representación normal del plano ΠQ,u,v . Además, si u ˆ v “


¨
pA, B, Cq y D :“ ´pu ˆ vq Q P R, entonces (3.22) queda como
ΠQ,u,v “ px, y, zq P R3 | Ax ` By ` Cz ` D “ 0 .
(
(3.23)

Ejemplo 3.8. Sea Q “ pα, β, γq P R3 y e1 , e2 , e3 P R3 ´ tOu los vectores del ejemplo 3.7,
entonces
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 27

¨
ΠQ,e1 ,e2 “ P P R3 | e3 pP ´ Qq “ 0
(

¨
“ px, y, zq P R3 | p0, 0, 1q px ´ α, y ´ β, z ´ γq
(

“ px, y, zq P R3 | z ´ γ “ 0
(

“ px, y, zq P R3 | z “ γ
(

De manera análoga,

ΠQ,e2 ,e3 “ px, y, zq P R3 | x “ α


(

ΠQ,e3 ,e1 “ px, y, zq P R3 | y “ β


(

Observe que si consideramos los puntos R “ p˚, ˚, γq , S “ p˚, β, ˚q y T “ p˚, ˚, γq, entonces

ΠR,e1 ,e2 “ ΠQ,e1 ,e2 ,


ΠS,e2 ,e3 “ ΠQ,e2 ,e3 ,
ΠT ,e3 ,e1 “ ΠQ,e3 ,e1 ,

por esta razón, introducimos la siguiente notación

ΠXY pγq “ ΠR,e1 ,e2


ΠXZ pβq “ ΠS,e1 ,e3
ΠY Z pαq “ ΠT ,e2 ,e3

Para finalizar esta sección presentamos la siguiente definición motivada por la proposi-
ción 3.9.

Definición 3.8. Sean Q, n P R3 con n ‰ O. El plano que pasa por Q con vector normal
n, que denotamos ΠQ, n
p está dado por

¨
ΠQ, np “ P P R3 | n pP ´ Qq “ 0 .
(

Ejercicio 5. Sean Q, n P R3 , con n ‰ O. Demuestre que si xn ‰ 0 y np1q “ p´yn , xn , 0q , np2q “


p´zn , 0, xn q P R3 , entonces
Agosto de 2019, ernestoms@ciencias.unam.mx

ΠQ, np “ ΠQ,np1q ,np2q .

3.10. Distancia de un punto a un plano. Con la descripción normal de un plano,


podemos definir la distancia de un punto a un plano haciendo una analogía de la versión
de la distancia de un punto a una recta en R2 , dicha fórmula garantiza que si P P R2 y
`Q,v Ă R2 es una recta, entonces

d pP, `Q,v q “ }ProyvK pP ´ Qq} .

Lo que hay que observar es que en esta definición es que v K es un elemento en R2 ´tOu
que es ortogonal a todos los elementos de `O,v . Para el caso de un plano ΠQ,u,v Ă R3 , el
elemento u ˆ v P R3 ´tOu tiene la propiedad de ser ortogonal a todos los elementos de
ΠO,u,v Ă R3 .
Notas de Geometría, Ernesto Mayorga Saucedo
28 ERNESTO MAYORGA SAUCEDO

Basados en esta observación, presentamos la siguiente definición.

Definición 3.9. Sea ΠQ,u,v Ă R3 un plano y P P R3 . La distancia de P al plano ΠQ,u,v


es el número real › ›
d pP, ΠQ,u,v q “ ›Proyuˆv pP ´ Qq› .

De esta manera
›´
d pP, ΠQ,u,v q “ › puˆvq
› ¨
pP ´Qq
}uˆv}2
¯
¨ pu ˆ vq



¨
|pu ˆ vq pP ´ Qq|
}u ˆ v}
}u ˆ v}2


¨
|pu ˆ vq pP ´ Qq|
,
}u ˆ v}
¨
y si u ˆ v “ pA, B, Cq y D “ ´pu ˆ vq Q P R, entonces

|AxP ` ByP ` CzP ` D|


(3.24) d pP, ΠQ,u,v q “ ? .
A2 ` B 2 ` C 2
Observe que, con la identidad (3.23) y la fórmula (3.24), para cada P P R3 se cumple
que
P P ΠQ,u,v si y sólo si d pP, ΠQ,u,v q “ 0.
Ejemplo 3.9. Sea P P R3 , entonces

d pP, ΠXY pγqq “ |zP ´ γ| ,


d pP, ΠXZ pβqq “ |yP ´ β| ,
d pP, ΠY Z pαqq “ |xP ´ α| ,
en particular

d pP, ΠXY q “ |zP | ,


d pP, ΠXZ q “ |yP | ,
d pP, ΠY Z q “ |xP | .
Agosto de 2019, ernestoms@ciencias.unam.mx

Notas de Geometría, Ernesto Mayorga Saucedo


PRELIMINARES 29

L ISTA DE SÍMBOLOS
ang pu, vq: Ángulo entre u y v en Rn
P “ pxP , yP , zP q: Coordenadas del punto P P R3
u ˆ v: Producto cruz de u con v
hu, vi: Subespacio generado por u y v
}u}: Norma de u
uKv: u es ortogonal a v
u k v: u es paralelo a v
F`pP q: Pie de perpendicular del punto P en la recta `
ΠQ,u,v : Plano que pasa por Q con vectores de dirección u y v
ΠP0,XY : Plano por P0 paralelo al plano ΠXY
ΠQ, n p : Plano que pasa por Q con vector normal n
ΠXY : Plano coordenado XY
ΠXZ : Plano coordenado XZ
ΠY Z : Plano coordenado Y Z
¨
u v: Producto punto de u con v
Proyv pP q: Proyección ortogonal de P en v
`P0 ,u : Recta por P0 con dirección u
AB: Segmento de recta determinado por los puntos A y B
V ď Rn : Suespacio vecorial de Rn

Agosto de 2019, ernestoms@ciencias.unam.mx

Notas de Geometría, Ernesto Mayorga Saucedo


30 ERNESTO MAYORGA SAUCEDO

R EFERENCIAS
[E1] Euclid; The Thirteen Books of the Elements, Vol. 1, Segunda Edición; Dover; USA; 2012.
[E2] The First Six Books of the Elements by John Casey and Euclid scanned by Project Gutenberg.
[F] Fitzpatrick R.; Euclid’s Elements of Geometry; versión otorgada por el autor aquí.
[M1] Mayorga E., Notas de geometría, demostración: ΠO,u,v “ tu ˆ vuK , Curso 2017-2, Cd. México 2017.
[P-L] Preston G, Lovaglia A.; Modern analytic geometry; Harper & Row, Publishers; New York; 1971.III
[R] Ramirez-Galarza, A. I.; Geometría Analítica: Una introducción a la geometría; México: Las Prensas de
Ciencias; 2011.
[Sp] Spivak M.; Calculus, Fourth Edition; Publish or Perish Inc. Housuton Texas, 2008.
[Su] Sullivan M.; Trigonometry A Unit Circle Approach; Ninth Edition; Prentice Hall; 2012.
[W-S] Wentworth J., Smith D. E.; Geometría Plana y del Espacio; Ginn & Company; Boston USA, 1915.

Agosto de 2019, ernestoms@ciencias.unam.mx

III
Vínculos Matemáticos No. 55 2006, servicios editoriales de la Facultad de Ciencias UNAM.
Notas de Geometría, Ernesto Mayorga Saucedo
PRELIMINARES 31

D EPARTAMENTO DE M ATEMÁTICAS , FACULTAD DE C IENCIAS UNAM, A GOSTO 2019


Email address: ernestoms@ciencias.unam.mx

Agosto de 2019, ernestoms@ciencias.unam.mx

Notas de Geometría, Ernesto Mayorga Saucedo

Potrebbero piacerti anche