Documente Academic
Documente Profesional
Documente Cultură
EL ESPACIO AFN
SUBESPACIO AFINES
SISTEMAS DE REFERENCIA
2
3
4
5
7
7
9
9
10
PRODUCTO ESCALAR
ORTOGONALIDAD
NGULO DE DOS VECTORES
11
14
16
16
17
21
19
23
23
23
24
26
REAS
VOLMENES
29
30
25
25
27
29
: ExE V 3 (R)
(A,B) (A,B) = AB
I) Relacin de ChaVles Si A, B, y C E
G
(A, B) + (B, C) + (C, A) = 0
o
tambin
G
AB + BC + CA = 0
G
G
II) A E, v V, existe un nico punto B E tal que (A, B) = v .
Entonces a la terna (E, V3(R), ) se le denomina espacio afn y se escribe A3.
Los elementos del espacio afn A3 son los puntos del espacio ordinario. En ocasiones, se suele
identificar el espacio afn A3 con el conjunto de puntos E, lo que no es correcto, pero si permisible,
para simplificar la notacin.
Definicin: La dimensin del espacio afn es la dimensin del espacio vectorial asociado V3(R).
Definicin: Diremos que los puntos A, B, C y D son linealmente independientes (o linealmente
G
1) AB = 0 A = B ;
G
2) AA = 0 ;
3) AB = BA ;
4) AB+ BC = AC
Demostracin:
G
1) De la segunda condicin de la definicin: II) A E, 0 V, existe un nico
G
punto B E tal que (A,B)= AB = 0 B = A .
2
2) De la relacin de Chasles
G
(A, A) + (A, A) + (A, A) = 0
G
G
o tambin AA + AA + AA = 0 AA = 0 .
G
G
3) Ahora (A, B) + (B, A) + (A, A) = 0 o tambin AB+ BA + AA = 0 y de aqu AB = BA .
G
4) Anlogamente, AB+ BC + CA = 0 ,
G
AB+ BC AC = 0 AB+ BC = AC , que
3)
SUBESPACIO AFINES
Definicin: Sea A3 = (E, V3(R), ) un espacio afn. Sea F un subconjunto no vaco de E, se dice que
JJJG
B=(F,V(F), ) es un subespacio afn de A3 si existe un punto A F tal que V(F)= AX / X F es un
En efecto:
JJJG JJJG JJJG
JJJG JJJG
PX = PQ + QX = QP + QX
JJJG JJJG JJJG
JJJG JJJG
QX = QP + PX = PQ + PX
} {
JJJG
{PX / X B}
JJJG
{QX / X B}
Definicin: La dimensin del subespacio afn es la dimensin del subespacio vectorial asociado.
Definicin: Sean A3 un espacio afn, A un punto de E y W un subespacio vectorial de V3(R). Entonces
JJJG
B=(F,W, ) es un subespacio afn de A3, siendo F= X E / AX W
afn
JJJJG G
OU 3 = u 3
U3
JJJJG G
OU 2 = u 2
U2
JJJJG G
OU1 = u1
G
G G
Si OU 1 = u1 , OU 2 = u 2 , OU 3 = u 3 entonces se
G G G
tiene = {O;u1,u2 ,u3 } un sistema de
U1
referencia.
G G G
Definicin: Sea = {O;u1,u2 ,u3 } un sistema de referencia afn, si A E al vector libre OA se le
G G G
OA respecto de la base B= {u1 , u 2 , u 3 }es biyectiva.
Demostracin:
G G G
Para cada punto A se obtiene el vector de posicin que respecto a la base B= {u1 , u 2 , u 3 } es
o
JJJG
G
G
G
E
V 3 (R) R 3
OA = xu1 + yu 2 + zu 3 = (x, y, z) , es decir,
, luego c = i D 0 que es biyectiva por ser
JJJG
A OA (x, y, z)
Corolario 1: Las coordenadas vectoriales de OA son las coordenadas afines del punto A.
4
AB = OB - OA .
G
G
G
O'O = a v1 + b v 2 + cv 3
G
u3
G
u2
respecto
de
G
v3
G
v2
x ' a a11 a 21 a 31 x
y ' = b + a12 a 22 a 32 y [x ]R ' = A.[x ]R
z' c a
13 a 23 a 33 z
que representan las ecuaciones del cambio de sistema
de referencia de R a R, que considerando la matriz
A por bloques ser:
G
v1
0
0 1
1
1 1 0
1
0
x ' a a 11 a 21 a 31 x
x , siendo P la matriz del cambio de la base {uG , uG , uG } a
=
=
1
2
3
y' b a
a 22 a 32 y O 'O P y
12
z
z ' c a 13 a 23 a 33 z
G G G
la base {v 1, v 2 , v 3 }. Para obtener el cambio de sistema de referencia de R a R, basta despejar en la
ecuacin anterior:
U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa
1
1
1
1
1
1
0 x'
1
0 x ' 1
0 x '
x
1
1
= P 1 OO
y = O' O P y' = P 1 O
y
'
'
O
P
'
P
y '
z'
z'
z'
z
Casos particulares:
G
G G
G G
G
Si la base no cambia, es decir, u1 = v 1 , u 2 = v 2 , u 3 = v 3 resulta:
I)
0 0 0 1
1 0 0 x
una traslacin
0 1 0 y
0 0 1 z
Si los orgenes coinciden(O=O), es decir a=b=c=0 resulta:
1 1
x' a
y' = b
z' c
II)
1 1 0
x ' 0 a 11
y' = 0 a
12
z ' 0 a 13
0
a 21
a 22
a 23
0 1
a 31 x
un cambio de base vectorial.
a 32 y
a 33 z
Proposicin: Todo cambio de referencia en el espacio afn es igual al producto de una traslacin por
un cambio de base.
Demostracin:
En efecto:
1 0
a a 11
b a
12
c a 13
0
a 21
a 22
a 23
a 31
=
a 32
a 33
a
b
0 0 0 1 0
1 0 0 0 a 11
0 1 0 0 a 12
0 0 1 0 a 13
0
a 21
a 22
a 23
0 1 0
a 31 0 a 11
=
a 32 0 a 12
a 33 0 a 13
0
a 21
a 22
a 23
0 1
a 31 a
a 32 b
a 33 c
0 0 0
1 0 0
0 1 0
0 0 1
LA RECTA EN EL ESPACIO
Una recta queda determinada por dos puntos P
y Q distintos. Si X es un punto cualquiera de la
G G G
recta y R = {O; u1 , u 2 , u 3 } un sistema de
X
r
P = ( p1 , p 2 , p 3 ) ,
para
Q = (q1 , q 2 , q 3 ) , y X = ( x 1 , x 2 , x 3 ) respecto de
x 1 = p1 + t (q1 p1 )
R, son: x 2 = p 2 + t (q 2 p 2 )
x = p + t (q p )
3
3
3
3
G
Sea v = ( v 1 , v 2 , v 3 ) un vector director de la recta, es decir, un vector de la direccin de la recta
x 1 = p1 + tv 1
G
entonces la ecuacin vectorial es X = P + tv y las ecuaciones paramtricas: x 2 = p 2 + tv 2 .
x = p + tv
3
3
3
x 1 p1 x 2 p 2 x 3 p 3
.
=
=
v1
v2
v3
EL PLANO EN EL ESPACIO
G G G
Sea el sistema de referencia R = {O; u1 , u 2 , u 3 }
Un plano queda determinado por tres puntos P,
Q y R no alineados, cualquier punto coplanario
x 1 = p1 + t (q 1 p1 ) + s( r1 p1 )
paramtricas: x 2 = p 2 + t (q 2 p 2 ) + s( r2 p 2 )
x = p + t ( q p ) + s( r p )
3
3
3
3
3
3
O
U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa
G
Si consideramos un punto P y dos vectores linealmente independientes v = ( v 1 , v 2 , v 3 ) y
G
G
G
w = ( w 1 , w 2 , w 3 ) el plano queda determinado de forma vectorial por X = P + tv + sw y por sus
x 1 = p1 + tv 1 + sw1
v1
w1
x 2 p2
x 3 p3
v2
v3
a
r ( A ) = r 1
b1
a2
b2
a3
b 3
a a2
r ( A*) = r 1
b1 b 2
a3 a0
b 3 b 0
recta: ( a1x1 + a 2 x 2 + a 3 x 3 a 0 ) +
( b1x1 + b 2 x 2 + b3 x 3 b 0 ) = 0 .
r ( A ) = r b1
c
1
a2
b2
c2
a3
b3
c 3
a1
r ( A*) = r b1
c
1
a2
b2
c2
a3 a0
b3 b0
c 3 c 0
Si r(A) = r(A*) = 3 el sistema es compatible determinado y los tres planos se cortan en un punto.
Si r(A) = 2; y r(A*) = 3 el sistema es incompatible y se presentan dos subcasos:
Si todas las submatrices de orden 2x3 son de rango dos. Los planos se cortan dos a dos.
I)
Si todas las submatrices de orden 2x3 son de rango dos, salvo una que es de rango uno. Dos
II)
planos son paralelos y el tercero les corta.
Si r(A) = r(A*) = 2 el sistema es compatible indeterminado y se presentan dos subcasos:
Si todas las submatrices de orden 2x4 son de rango dos. Los tres planos se cortan formando
III)
una recta. En este caso, dos planos constituyen lo que se denomina un haz de planos.
IV)
Si todas las submatrices de orden 2x4 son de rango dos, salvo una que es de rango uno. Dos
planos son coincidentes y el tercero les corta.
Si r(A) =1; r(A*) = 2 el sistema es incompatible y se presentan dos subcasos:
Si todas las submatrices de orden 2x4 son de rango dos. Los tres planos son paralelos.
V)
Si todas las submatrices de orden 2x4 son de rango dos, salvo una que es de rango uno. Dos
VI)
planos son coincidentes y el tercero paralelo.
Si r(A) = r(A*) = 1 el sistema es compatible indeterminado y los tres planos son coincidentes.
b1 b 2
r ( A) = r
c c2
1
d1 d 2
a3
b3
c3
d 3
a1 a 2 a 3 a 0
b1 b 2 b 3 b 0
r ( A*) = r c1 c 2 c 3 c 0
d1 d 2 d 3 d 0
r ( A ) = r b1
c
1
10
a2
b2
c2
a3
b3
c 3
a1
r ( A*) = r b1
c
1
a2
b2
c2
a3 a0
b3 b0
c 3 c 0
G
y
G
G
p r o y xG ( y ) = y c o s
G
x
Demostracin:
G G
G G
G
G
x.y = x y cos = x proy xG ( y)
Propiedades del producto escalar
G G G G G G
G G
1) Si x = 0 o y = 0 o x e y son perpendiculares, entonces x y = 0 .
Demostracin:
G G G G
G G
x y = x . y .cos = x . y .cos 90 = 0
G G G G
G G
G G
2) Si x 0 e y 0 , entonces x y = 0 si y slo si x e y son perpendiculares.
Demostracin:
G G
x = 0
G
G G G G
G
0 = x y = x . y .cos y = 0
cos = 0 = 90
11
G G
G G G G
3) Conmutativa: x y = y x , x, y V 3
Demostracin:
G G G G
G G
G G
G G
G G
G G
x y = x . y .cos = x . y .cos ( x, y ) = y . x .cos ( y, x ) = y x
G G G
G G
G
G G G
4) Distributiva respecto de la suma: x ( y + z) = x y + x z , x, y, z V 3
Demostracin:
G G G G
G
Mediante la proyeccin de los vectores y, z e y+z sobre el vector x :
G G G
G G G
G G G
G
G G
G
G
G
x ( y + z ) = x . y + z .cos ( x, y + z ) = x proy xG ( y + z ) = x ( proy xG ( y ) + proy xG ( z ) ) =
G
G
G
G G G G G
= x proy xG ( y ) + x proy xG ( z ) = x y + x z
G G
G G G
G
G G
G G
5) Pseudoasociativa: ( x y) = ( x) y = x (y) = ( x y) , x, y V 3 , R
Demostracin:
G G
G G
G G
G G
G G
G G
( x y ) = x . y .cos = . x . y .cos ( x, y ) = x . y ..cos ( x, y ) =
G G
G G
x . y ..cos ( x, y )
si >0
G G
G G
G G
= 0
si = 0 = x . y . .cos ( x, y ) = ( x ) y
G G
G G
x . y .. ( cos ( x, y ) ) si < 0
<0
G
x
>0
G
x
G
x
G G
G G
G G
G G
6) Si x 0 , entonces x x > 0 ; x x = 0 si y slo si x = 0 .
Demostracin:
G G G G
G G
G G
G G
G2
x x = x . x .cos = x . x .cos ( x, x ) = x . x .cos 0 = x 0
Antes de pasar a enunciar el resto de las propiedades del producto escalar necesitamos dar la
G
G G
G G
G2
G
siguiente definicin: Para cada x V 3 , llamamos norma de x : x = + x x = + x = x , es decir,
la norma de un vector coincide con su mdulo. Ms generalmente, se define norma en V3 como
V 3 (R) R
cualquier aplicacin:
G
G que verifiquen las siguientes condiciones:
x x
G
1) x 0 ;
G
G G
2) x = 0 x = 0 ;
G G
G
G
3) x + y x + y ;
G
G
4) x = . x
12
V3 R
3
En particular, la aplicacin: G
G , que asocia a cada vector su mdulo, es una norma sobre V .
x x
G G
G G
7) Desigualdad de Cauchy-Schwartz: x y < x . y
G G
x, y V 3 .
Demostracin:
G G
G G
G G
G G
x y = x . y .cos = x . y . cos x . y
N
1
G G G G
G G
8) Desigualdad de Minkowski: x + y x + y x, y V 3
Demostracin:
G G G G
G G
Aplicando la desigualdad anterior x y x y < x . y
G G2
G G G G
G G G G G G G G G2
G G G2 G2
G G G2
G G 2
x + y = ( x + y )( x + y ) = x x + x y + y x + y y = x + 2.x y + y x + 2. x y + y = ( x + y )
G G G G
G G
y de aqu: x + y x + y x, y V 3
13
Demostracin:
G G G
Supongamos que los tres vectores x , y , z son ortogonales dos a dos no nulos y adems linealmente
G
G
G G
dependientes, entonces 1x + 2 y + 3 z = 0, i 0 . Si multiplicamos escalarmente los dos miembros
G
G G
G G
G G G G
G G
G G
por x , obtenemos 1 ( x x ) + 2 ( x y ) + 3 ( x z ) = x 0 = 0 y como ( x y ) = 0 , ( x z ) = 0 , resulta
G G
G G
1 ( x x ) = 0 y como x 0 1 = 0 . Anlogamente se obtiene 2 = 0, 3 = 0 y los tres vectores son
x 2 x 3 ) 0 1 0 y 2 = ( x1 x 2 x 3 ) y 2 , y que: G G
u i u j = 0 si i j
0 0 1 y
y
3
3
Con la misma notacin anterior, si la base B es ortonormal la expresin analtica del producto escalar
G
G
G G
de x por y es: x y = x 1 y 1 + x 2 y 2 + x 3 y 3 .
G
Por tanto, el mdulo de un vector es x = x 12 + x 22 + x 23 cuando la base es ortonormal.
G G
x y = ( x1
Definicin: Sea V un espacio vectorial eucldeo y F y G dos subconjuntos de V, se dice que F y G son
ortogonales (escribimos FG) si y solo si todo vector de F es ortogonal a cualquier vector de G.
Teorema: F y G son ortogonales si y solo si los subespacios vectoriales que generan lo son. En
particular en V3 se verifica:
1) Dos rectas vectoriales son ortogonales si y solo si lo son sus vectores directores.
2) Una recta vectorial es ortogonal a un plano vectorial si y solo si el vector director de la recta es
ortogonal a una base del plano.
Demostracin:
G
G
G
G
Sean F = {u1 ,..., u p } y G = {v1 ,..., vq } dos subconjuntos de vectores de un espacio vectorial V. Se
cumple que F G < F >< G > . Veamos la demostracin:
Por ser < F >, < G > subespacios ortogonales todos su vectores son ortogonales entre s. F G .
G
G
G
G
Recprocamente, todo vector del subespacio < F > es de la forma 1u1 + ... + p u p y 1v1 + ... + q vq es
G
G
G
G
G G
G G
GG
G G
( 1u1 + ... + p u p )( 1v1 + ... + q vq )= 1u11v1 + ... + p u p q vq = 11 ( u1v1 ) + ... + p q ( u p vq ) = 0 , y por
tanto F G < F >< G >
G
Proposicin: La interseccin de dos subespacios ortogonales es 0 .
{}
Demostracin:
G
u F
G
G
G G G2
G G
Si u F G con F G < F >< G > , resulta que u F G G
uu = u = 0 u = 0
u G
Consecuencia: En V3 dos planos nunca son subespacios ortogonales.
GF GF
G
G
G
Puesto que: u ( v + w ) = u v
GF GF
+
u w = .0 + .0 = 0
G
G G
G
G
G G
G
Como F = {v V / v u = 0, u F } resulta ( F ) = {u V / v u = 0, v F
} y cualquier vector de
F lo es de F .
Veamos que F + F = V :
U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa
15
G
G
Sea una base ortonormal {e1 ,..., er } del subespacio vectorial F, se puede prolongar hasta conseguir una
G
G G
G
G
G
base ortonormal {e1 ,..., er , er +1 ,..., en } del espacio vectorial V; siendo {er +1 ,..., en } un sistema libre por
ser vectores de una base y adems sistema generador del subespacio vectorial F .En efecto.
G
G
G
G
G
G
G G
G
v F x1 ,..., x n R / v = x1e1 + ... + x r er + x r +1er +1 + ... + x n en con v u=0 u F , en particular con
G
e1 F , se cumple que:
G
G
G
G G
GG
GG
G G
G G
G G
0 = v e1 = ( x1e1 + ... + x r er + x r +1er +1 + ... + x n en ) e1 =x1e1e1 + ... + x r er e1 + x r +1er +1e1 + ... + x n en e1 =x1 .
G
G
e2 ,..., er
resulta
x 2 = ... = x n = 0
Anlogamente
multiplicando
escalarmente
por
G
G
G
G
G
v = x r +1er +1 + ... + x n en que prueba que {er +1 ,..., en } es un sistema generador de F y por lo tanto base,
G
siendo la dim F =n-r=dimV-dimF y adems como F F = 0 la suma F + F = V es suma directa y
{}
se tiene que F F = V .
Consecuencias:
1) El ortogonal de toda recta (subespacio vectorial de dimensin 1) es un hiperplano (subespacio de
dimensin n-1). Por tanto, en V3, el ortogonal de una recta es un plano y viceversa.
G
G G
G
2) Todo vector u V se puede descomponer de manera nica en la forma, u = u 1 + u 2 donde
G
G
u 1 F, u 2 F .
NGULO DE DOS VECTORES
G G
xy
G G G G
G G
G G
Por definicin x y = x . y .cos( x, y) , de aqu se obtiene: cos( x, y) = G G .
x. y
Si los vectores estn referidos a una base ortonormal, entonces:
x1y1 + x 2 y 2 + x 3 y 3
G G
cos( x, y) =
x 12 + x 22 + x 23 y 12 + y 22 + y 23
16
PRODUCTO VECTORIAL
Definicin: Se llama producto vectorial en V3 a una aplicacin:
G G G G
1) x y = x . y .sen .
G G
2) La direccin del vector x y es
G G
perpendicular al plano definido por x e y .
G
G
x y
V3 V3 V3
G G
G G tal que:
( x , y) x y
G
y
G
x
G G
3) El sentido del vector x y viene determinado por la ley del sacacorchos: es el sentido de
G
G
avance de un sacacorchos que gire intentando llevar el vector x a la posicin de vector y segn el
ngulo menor de 180.
G
G
G
G
que x = x 1 u 1 + x 2 u 2 + x 3 u 3 e
G
u2
x2
G
u3
x3
y2
y3
Demostracin:
G G
G G G
Buscamos un vector x y = w perpendicular a los vectores x e y , que respecto a la base ortonormal
G
G
G
G
ser: w = w1u1 + w 2 u 2 + w 3u 3 cuyas coordenadas deben verificar el siguiente sistema:
G G
G G
x w x w = x1 w 1 + x 2 w 2 + x 3 w 3 = 0
G G
G G
y w y w = y1w1 + y 2 w 2 + y3 w 3 = 0
G G2 G2 G2
G2 G2
G2 G2 G G 2
Y cuyo mdulo satisface la ecuacin x y = x . y .sen 2 = x . y . (1 co s 2 ) = x . y ( x y )
G G
G
u1 u 2 u 3
x 3 x1 G
x1 x 2 G
G G x2 x3 G
resolviendo el sistema se obtiene: x y =
u1 +
u2 +
u = x1 x 2 x 3
y2 y3
y 3 y1
y1 y 2 3
y1 y 2 y 3
Propiedades del producto vectorial
G G G G G G
G G G
1) Si x = 0 o y = 0 o x e y son paralelos (linealmente dependientes), entonces x y = 0 .
Demostracin:
G G G G
G G
G G G
Si son paralelos forman un ngulo de 0: x y = x . y .sen = x . y .sen0 = 0 x y = 0
G G
G G G G
2) Si x e y son perpendiculares, entonces x y = x . y
Demostracin:
G G G G
G G
G G
Si son perpendiculares forman un ngulo de 90: x y = x . y .sen = x . y .sen90 = x . y
U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa
17
G G
G G
G G
3) x y = y x , x, y V 3
G G
xy
G
y
Demostracin:
Aunque sus mdulos son iguales, sus sentidos
son opuestos.
G
x
G G
yx
G
u3
G G G G
x3 = x y + x z
z3
G
G G
G G
G G
G G G
5) Pseudoasociativa: ( x y) = ( x) y = x ( y) = ( x y) , x, y V 3 , R
Demostracin:
G
u1
G G
( x y ) = x1
G
u2
G
u3
x2
x 3 = x1 x 2
y1
y2
y3
G
u1
y1
G
u2
y2
G
u3
G G
x 3 = ( x ) y
y3
6) No es asociativo.
Demostracin:
G G G
G G G
Veamos un contraejemplo para demostrar que x ( y z ) ( x y ) z
G G G
G
G G G
Si x = y z tenemos que el vector x ( y z ) es distinto al vector cero y perpendicular al x y en
G G G G G G
cambio ( x y ) z = 0 z = 0
G G2 G2G2
G G
7) x y = x y ( x y) 2
Demostracin:
G G2 G2 G2
G2 G2
G2 G2
G2 G2
G2 G2
G G 2
x y = x . y .sen 2 = x . y . (1 co s 2 ) = x . y x . y .co s 2 = x . y ( x y )
18
G
G
x y
G
x
G G
G G
G
x y = x . y .sen = x .h = rea
PRODUCTO MIXTO
Definicin: Se llama producto mixto en V3 a una aplicacin:
V3 V3 V3 R
G G G
G G G G G G
( x , y, z) [ x, y, z ] = x ( y z)
z2
G
G
G
G
tales que x = x 1 u 1 + x 2 u 2 + x 3 u 3 ;
G
x1
u3
y3 = y 1
x2
x3
y2
y3
z1
z2
z3
z3
x2
y2
x3
y3
z2
z3
G G G
G G G
G G G
G G G
G G G
G G G
G G G
2) [ x, y, z] = [ y, z, x] = [ z, x, y] = [ y, x, z] = [ x, z, y] = [ z, y, x] x, y, z V 3
Demostracin:
Intercambiando las filas:
19
x1
y1
x2
y2
x3
y1
y3 = z1
y2
z2
y3
z1
z 3 = x1
z2
x2
z3
y1
x 3 = x1
y2
x2
y3
x1
x 3 = z1
x2
z2
x3
z1
z3 = y1
z2
y2
z3
y3
z1
z2
z3
x2
x3
y2
y3
z2
z3
y1
y2
y3
x2
x3
x '2
y2
x '3
G G G
G G G
y3 = [ x, y, z ] + [ x ', y, z ]
z2
z3
x1
y1
z1
x1
G G G G
G G G G
G G G
G G G
3) [ x + x' , y, z] = [ x, y, z] + [ x' , y, z] x, x', y, z V 3
Demostracin:
G G G G
[ x + x ', y, z ] =
x1 + x '1
y1
x 2 + x '2
y2
z1
z2
x1
x 3 + x '3
= y1
y3
x2
y2
x '1
y 3 + y1
z1
z2
z3
z3
x3
z1
G G G
G G G
G G G
G G G
G G G
4) [ x, y, z] = [x, y, z] = [ x, y, z] = [ x, y, z] x, y, z V 3 , R
Demostracin:
El escalar multiplica a una fila o una columna exclusivamente.
x1
G G G
[ x, y, z ] = y1
z1
x2
y2
x3
x1
y3 = y1
z2
z3
z1
x 2
y2
z2
x 3
G G G
y3 = [ x, y, z ] .
z3
G G G
G G G
G G G
5) [ x, y, z] = 0 x, y, z son linealmente dependientes x, y, z son coplanarios
Demostracin:
x1
G G G
[ x, y, z ] = y 1
z1
x2
y2
z2
x3
G G G
G G G
y 3 =0 x, y, z son linealmente dependientes x, y, z son coplanarios
z3
JJJG G G
G
6) Dos rectas X = P + tvG y X = Q + tw son coplanarias PQ,v,w = 0 .
Demostracin:
Por la propiedad anterior los tres vectores son coplanarios, en caso contrario las rectas se cruzan.
20
G G
yz
G
z
G
y
H
S
G
G
G
x
= x .S.cos = x .S.sen ( 90 ) = S.H = V volumen del paraleleppedo.
G G G
x ( y z) =
y2
z2
x1
G
u2
y3
y3
z3
z3
x2
G
u3
y1
y1
z1
z1
x3
y2
z2
G G G
G G G G G G G G G
Propiedad de expulsin x ( y z) = ( x z) y ( x y) z x, y, z V 3
Demostracin:
G
G
G
Utilizaremos la notacin vectorial x = ( x1 , x 2 , x 3 ) , y = ( y1 , y 2 , y3 ) , z = ( z1 , z 2 , z3 )
21
G G G
Veamos el primer miembro de la igualdad x ( y z) =
G
u1
G
u2
G
u3
x1
x2
x3
y2
y3
y3
y1
y1
y2
z2
z3
z3
z1
z1
z2
= ( x 2 y1 z 2 x 2 y 2 z1 x 3 y3 z1 + x 3 y1 z3 , x1 y 2 z1 x1 y1 z 2 x 3 y3 z 2 + x 3 y 2 z3 , x 2 y3 z 2 x 2 y 2 z3 + x1 y3 z1 x 3 y1 z3 )
El segundo miembro:
G G G G G G
(x z) y (x y) z = ( x1 z1 + x 2 z 2 + x 3 z 3 )( y1 , y 2 , y3 ) ( x1 y1 + x 2 y 2 + x 3 y3 )( z1 , z 2 , z3 ) =
= ( x1 z1 y1 + x 2 z 2 y1 + x 3 z 3 y1 x1 y1 z1 x 2 y 2 z1 x 3 y3 z1,
, x1 z1 y 2 + x 2 z 2 y 2 + x 3 z3 y 2 x1 y1 z 2 x 2 y 2 z 2 x 3 y3 z 2 ,
, x1 z1 y3 + x 2 z 2 y3 + x 3 z3 y3 x1 y1 z3 x 2 y 2 z3 x 3 y3 z3 ) ,
y ambas expresiones coinciden.
22
G G G
OA = u1 , OB = u 2 , OC = u 3 , las rectas OA=i, OB=j, y OC=k se llaman ejes de coordenadas
cartesianas rectangulares.
Definicin: Se llaman coordenadas cartesianas rectangulares de un punto a sus coordenadas
cartesianas cuando el sistema de referencia es mtrico u ortonormal.
DISTANCIA. ESPACIO METRICO
Definicin: Sea A un conjunto cualquiera, no vaco. Llamamos distancia en A a una aplicacin
d : A A R + {0}
que verifique las condiciones siguientes:
( x, y) d( x, y)
1) d( x, y) = 0 x = y, x, y A
2) d( x, y) = d( y, x ), x, y A
3) d( x, y) d( x, z ) + d( z, y), x, y, z A
Definicin: Llamamos espacio mtrico a un conjunto A en el que se ha definido una distancia.
DISTANCIA EN EL ESPACIO EUCLDEO
d : E 3 E 3 R + {0}
Proposicin: La aplicacin
( X, Y ) d( X, Y ) = XY
Demostracin:
En efecto, se cumplen las tres condiciones:
JJJG
1) d(X, Y) = XY = 0 X = Y, X, Y E 3
U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa
23
JJJG JG
2) d(X, Y) = XY = YX = d(Y, X), X, Y E 3
JJJG JJJG JJJG
3) d(X, Z) = XZ XY + YZ = d(X, Y) + d(Y, Z), X, Y, Z E 3
Podemos, entonces, dar la siguiente definicin.
Definicin: Dados dos puntos X e Y del espacio eucldeo, llamamos distancia entre dichos puntos al
(y1 x 1 )2 + (y 2 x 2 )2 + (y 3 x 3 )2 .
Nota: A partir de aqu, y hasta el final del tema, mientras no se diga lo contrario, trabajaremos en el
espacio eucldeo con la distancia anterior y supondremos que el sistema de referencia utilizado es
ortonormal.
VECTOR PERPENDICULAR A UN PLANO
G
Proposicin: Dado el plano ax 1 + bx 2 + cx 3 + d = 0 , el vector n = (a , b, c) es perpendicular a dicho
paramtricas,
eliminando
parmetros
w1
w 2 = 0 , la ecuacin general, cartesiana o implcita del plano ax 1 + bx 2 + cx 3 + d = 0 ,
w3
G
G
G
i
j
k
G
G G K
= v1 v 2 v3 = (a, b, c) . Por tanto n es un vector perpendicular a .
siendo n = v w
w1 w 2 w 3
24
v1
v2
v3
los
llamamos
ax 1 + bx 2 + cx 3 + d = 0
, y
r
a ' x 1 + b ' x 2 + c ' x 3 + d ' = 0
G
G
n = (a , b, c)
y n ' = ( a ' , b' , c ' ) ,
G
n ' = (a ', b ', c ')
G
n = (a , b, c)
G
v
NGULOS
ngulo entre dos planos.
Definicin: Se llama ngulo entre dos planos al menor de los ngulos diedros que dichos planos
forman al cortarse.
ax 1 + bx 2 + cx 3 + d = 0
. Se verifica, entonces, que:
Proposicin Sean los planos
' a ' x 1 + b' x 2 + c' x 3 + d ' = 0
aa '+ bb'+cc'
cos( , ' ) =
x 1 p1 x 2 p 2 x 3 p 3
x p'1 x 2 p' 2 x 3 p' 3
=
=
y r' 1
=
=
. Se
v1
v2
v3
v '1
v'2
v'3
cos( r, r ' ) =
v1 + v 2 + v 3
25
x 1 p1 x 2 p 2 x 3 p 3
=
=
y el plano ax 1 + bx 2 + cx 3 + d = 0 . Se
v1
v2
v3
sen( r, ) =
v 1a + v 2 b + v 3 c
2
v1 + v 2 + v 3
a 2 + b2 + c2
ax 1 + bx 2 + cx 3 + d = 0
. Se verifica, entonces, que:
Proposicin Sean los planos
' a ' x 1 + b' x 2 + c' x 3 + d' = 0
a b c
= =
a ' b' c'
2) ' aa '+ bb'+ cc' = 0
1) // '
v
v1
v
= 2 = 3
v1 ' v 2 ' v 3 '
26
x 1 p1 x 2 p 2 x 3 p 3
=
=
y el plano ax 1 + bx 2 + cx 3 + d = 0 Se
v1
v2
v3
v1 v 2 v 3
=
=
a
b
c
DISTANCIAS
Distancia de un punto a un plano
Proposicin: sea el plano ax 1 + bx 2 + cx 3 + d = 0 y el punto P = ( p 1 , p 2 , p 3 ) . La distancia de P a
viene dada por: d(P, ) =
ap1 + bp 2 + cp3 + d
a 2 + b2 + c2
Demostracin:
Se define: d ( P, ) = Inf {d ( P, X ) / X } .
Sea P ' la interseccin de la perpendicular a
trazada desde P.
Entonces
d ( P, ) = d ( P, P ' ) = d
definicin
de
producto
JJJG G JJJG G
G
XP n = XP . n cos = n d
de
G
n
la
escalar:
JJJG G
( p1 x1 , p 2 x 2 , p3 x 3 ) ( a, b, c ) ap1 + bp 2 + cp3 ax1 bx 2 cx 3 ap1 + bp 2 + cp3 + d
XP n
d= G =
=
=
n
a 2 + b 2 + c2
a 2 + b2 + c2
a 2 + b 2 + c2
d
a + b2 + c2
2
27
d ( P, r ) =
G
v
p2 y0
p3 z0
v2
v3
p3 z0
p2 y0
v3
v2
p1 x 0
p2 y0
v1
v2
v 12 + v 22 + v 23
Nota: En vez de aplicar la frmula anterior, si se traza por P un plano perpendicular a r, la distancia
buscada es d=d(P,Q), siendo Q el punto en el que el plano corta a r.
Demostracin:
Se define: d ( P, r ) = Inf {d ( P, X ) / X r} .
P
h
H
G
v
1. d ( r , r ') =
, siendo v y v' los vectores directores de r y r, respectivamente, P y Q sendos
G G
v v'
puntos de r y r.
28
Demostracin:
G
v
P
H
G G
PQ, v, v '
H = d(r, r ') =
G G
v v'
S
Q
G
v'
x+
y+
= 0,
a +b +c
a +b +c
a +b +c
a + b2 + c2
es decir, cos x + cos y + cos z + d (O, ) = 0 , siendo cos , cos y cos los cosenos directores del
2
z+
REAS
rea del paralelogramo.
El rea del paralelogramo cuyos vrtices son
A = (a 1 , a 2 , a 3 ) , B = ( b 1 , b 2 , b 3 ) ,
C = (c 1 , c 2 , c 3 ) y D = (d 1 , d 2 , d 3 ) , puede
calcularse mediante la frmula:
JJJG
AB
JJJG JJJG
AB AD
JJJG
AD
C
D
29
rea = AB AD =
b2 a 2
b3 a3
d2 a2
d3 a3
b3 a 3
b1 a 1
d3 a3
d1 a1
JJJG
AB
1
AB AD .
2
b1 a 1
b2 a 2
d1 a1
d2 a2
C
JJJG
AD
El volumen del paraleleppedo que tiene a los vectores AB , AD y AE como aristas, siendo
V=
frmula:
1 a1
a2
a3
1 b1
1 d1
b2
d2
b3
d3
1 e1
e2
e3
Demostracin:
Se consideran las tres aristas concurrentes,
JJJJGJJJG JJJG
JJJG JJJG JJJG
V = AB,AD, AE = AB AD AE =
1 a1 a 2 a 3
b1 a1 b 2 a 2 b3 a 3
1 b1 b 2 b3
d1 a1 d 2 a 2 d 3 a 3 =
1 d1 d 2 d 3
e1 a1 e 2 a 2 b3 a 3
1 e1 e 2 e3
D
S
30
V=
1 a1
1 1 b1
a2
b2
a3
b3
6 1 d1
1 e1
d2
e2
d3
e3
Demostracin:
El volumen del paraleleppedo es igual a dos
veces el volumen del prisma triangular
ABDEFG y este a su vez tres veces el volumen
del tetraedro ABDE, luego:
V=
1 a1
a2
a3
1 1 b1
6 1 d1
1 e1
b2
d2
e2
b3
d3
e3
F
D
Nota: El determinante puede ser un nmero positivo o negativo, por lo que el volumen
31