Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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 |
Z
Q
Agosto de 2019, ernestoms@ciencias.unam.mx
S
P
Y
X
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
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
Y Y
v
v
α´β
α α β
β
O U X
O U X 2π ´ pα ´ βq
S1
S1
u
(A) 0 ď α ´ β ď π ( B ) π ă α ´ β ă 2π
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
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
¨ ¨
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 .
Y
? kkkk
j u
¨
u ukkkkkkk
kk
kkki
kkkk
kkkk arg puq
hkk
O
X
|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
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 ˇ
|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.
`π˘
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.
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
P0
u
`P0 ,u
O X
`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
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;
`P0 ,u Ď px, yq P R2 | Ax ` By ` C “ 0 .
(
(3.2)
Agosto de 2019, ernestoms@ciencias.unam.mx
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 ,
(
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
P “ pxP , yP , zP q
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
$
& x ptq“ xP0 ` ta,
y ptq“ yP0 ` tb,
z ptq“ zP0 ` tc, t P R,
%
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 .
(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
´ pλ ¨ uq “ p´λq ¨ u “ λ ¨ p´uq.
(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 .
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.
definición.
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.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 ‰ ∅.
(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
¨
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.
y por consiguiente
vK Y
P
ProyvK pP q
v
Proyv pP q
O
X
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
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 .
P
Y
F`Q,vpP q
P ´Q
Proyv pP ´ Qq
v
O
X
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.
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
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
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
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
¨ ¨
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
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
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
ˇ 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
¨ ¨
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
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,
Observe que si consideramos los puntos R “ p˚, ˚, γq , S “ p˚, β, ˚q y T “ p˚, ˚, γq, entonces
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 .
(
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
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
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
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.
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