Beruflich Dokumente
Kultur Dokumente
I.
MEDIDAS DE DISTANC
IA E ANGULOS NO ESPAC
O
Uma das exigencias humanas pela qual a ciencia e a matematica foram desenvolvidas e a necessidade de medir
distancias entre pontos e angulos no espaco. Medidas de quantidades fisicas sao numeros reais (ate agora), referidas
a uma particular amostra de referencia ou unidade de medida: por exemplo o metro que e a unidade de medida
1
internacionalmente aceitada dos comprimentos no espaco e definido como a distancia percorrida pela luz em 299792458
de segundo (sabem porque?). Para nos, a unidade de medida das distancias no espaco sera o modulo dos vetores da
base canonica e quando dizermos que o modulo de um vetor ~v e o numero real |~v | = m, a ideia sera que o comprimento
deste vetor seja m vezes o comprimento dos vetores da base canonica. No estudo das propriedades chamadas metricas
do espaco a base canonica possui uma relevanca particular: os vetores ~e1 , ~e2 e ~e3 serao os nossos metros. Note que
em principio seria possivel medir distancias diferentemente nas tres direcoes do espaco e alguma vez e necess
ario mas
n
ao o faremos neste curso (talvez em um curso de relatividade especial...). Com estas motivacoes, a partir de agora
escolheremos somente a base canonica para escrever combinacoes lineares de vetores no espaco ou no plano e para a
representac
ao em coordenadas deles. Antes de comecar, lembramos brevemente que (veja a Fig. 1)
A base canonica no plano {~e1 , ~e2 } e um conjunto de dois vetores ortogonais com comprimento um.
A base canonica no espaco {~e1 , ~e2 , ~e3 } e um conjunto de tres vetores mutuamente ortogonais com comprimento
um.
~e3
~e2
~e1 O
Figura 1. Os vetores da base canonica no espaco ~e1 , ~e2 e ~e3 que ser
ao utilizados como unidades de medida de distancias nas
tres direco
es do espaco, usualmente chamadas x, y e z.
Observa
c
ao I.1. As retas obtidas prolongando os vetores da base canonica se chamam eixos cartesianos: normalmente
a reta obtida prolongando ~e1 se chama eixo x, aquela obtida prolongando ~e2 e o eixo y e prolongando ~e3 , eixo z.
Tambem vimos que as coordenadas c.r. a base canonica de um vetor sao chamadas coordenadas cartesianas e que
~ = xP ~e1 + yP ~e2 + zP ~e3 , o ponto P tem coordenadas cartesianas P (xP , yP , zP ).
se o vetor posic
ao OP
II.
~ = x~e1 + y~e2 no plano. Sindo os vetores ~e1 e ~e2 ortogonais para calcular o modulo
Consideramos um vetor OP
(ou comprimento) deste vetor podemos aplicar o celebre teorema de Pitagora ao triangulo retangulo OP Q na Fig. 2
2
obtindo
~ |2 = x2 + y 2 |OP
~ |=
|OP
p
x2 + y 2 .
(1)
P
2
p x2
~ = x~e1 + y~e2 e o seu modulo calculado por meio do teorema de Pitagora como |OP
~ |2 = x2 + y 2 .
Figura 2. O vetor OP
Na verdade, mais formalmente (1) poderia tambem ser interpretada como a definicao de modulo de um vetor em
qualquer base no plano. Todavia e somente quando x e y sao as coordenadas com respeito a base canonica que (1)
tem o sentido familiar de distancia entre o ponto P e a origem O do sistema de referencia, (medida em unidade dos
vetores da base canonica).
O teorema de Pitagora
Vamos presentar uma dimostrac
ao muito simples do teorema de Pitagora que utiliza somente a
igualdade algebrica (a + b)2 = a2 + b2 + 2ab. Ate agora s
ao conhecidas mais que cem provas do
teorema de Pitagora, talvez voce possa encontrar uma nova. Consideramos um quadrado e
desenhamos o triangulo ret
angulo com lados a, b e c como na figura em baixo
ab
a2 + b2 = c2 ,
2
(2)
A primeira observac
ao da aula de hoje e entao que: o modulo de um vetor e a raiz quadrada dos quadrados das
suas coordenadas com respeito a base canonica.
Exemplo II.1. Calcular a distancia entre dois pontos P (xP , yP ) e Q (xQ , yQ ) no plano.
3
Soluc
ao. A representac
ao em coordenadas do vetor P~Q e
xQ xP
~
R[P Q] =
,
yQ yP
(3)
ent
ao o modulo deste vetor (e de todos os vetores equivalentes) e
q
|P~Q| = (xQ xP )2 + (yQ yP )2 .
(4)
C (0, 0, l)
M
H ~e3
~e1
~e2
O
B (0, l, 0)
N
A (l, 0, 0)
Para resolver o exercicio precisamos encontrar as coordendas dos pontos meios dos lados do triangulo. Vimos na Aula
3 e nos exercicios varias vezes que as coordenadas dos pontos medios sao as medias das coordenadas dos extremos dos
lados, ent
ao N (l/2, l/2, 0) M (0, l/2, l/2) e H (l/2, 0, l/2). Podemos calcular a representacao em coordenadas
~ , utilizando os resultados da Aula 3; obtemos portanto (vamos
dos vetores equivalentes aos vetores N~M , M~H e HN
escrever um simbolo de igualdade entre o vetor e a sua rep. em coordenadas)
l/2
0
l/2
~ = l/2 .
(6)
N~M = 0 , M~H = l/2 , HN
0
l/2
l/2
O modulo
e a raiz quadrada da soma da suas coordenadas ao quadrado, portanto |N~M | = |M~H| =
q de um vetor
2
2
l
l
~ |=
|HN
e equiladero. Verifique que o lado do triangulo dos pontos medios e a
4 + 4 = l/ 2 e o triangulo N M H
medade do lado do triangulo ABC, porque?
~ + N~M = ~0.
Em fim podemos observar que consistentemente M~H + HN
4
III.
w
~
(7)
A formula (7) define o produto escalar entre dois vetores por meio do angulo ~v,w~ que eles formam. Porque o produto
escalar possa ser de qualquer utilidade para medir angulos precisera portanto reescreve-lo em uma forma equivalente,
por exemplo na qual aparecem somente as coordendas dos vetores ~v e w.
~ Para obter uma rescritura equivalente a (7),
mostramos as seguintes propriedades
Teorema III.1. O produto escalar possui as seguintes propriedades
1. e simetrico: h~v , wi
~ = hw,
~ ~v i
2. h~v , wi
~ = h~v , wi
~
3. h~v + ~u, wi
~ = h~v , wi
~ + h~u, wi
~
Demonstrac
ao. A primeira propriedade e clara da definicao (7) trocando ~v e w.
~ A segunda e tambem simples porque
o angulo formado pelos vetores ~v e w
~ e igual ao angulo formado pelos vetores ~v e w.
~ O modulo de ~v = |~v |
ent
ao a segunda propriedade segue. A terceira e um pouco mais dificil. Comecamos com observar que h~v , wi
~ pode ser
geometricamente interpretado como o produto do modulo do vetor w
~ com a projecao do vetor ~v sobre a reta obtida
prolongando w.
~
Vamos denotar esta projec
ao (que e um numero real) com vw , entao, veja a Fig. 4 podemos sempre escrever a
decomposic
ao (decomposic
ao ortogonal)
~v = vw
w
~
+ v~0 ,
|w|
~
(8)
}|
{
w
~
~u + ~v = (uw + vw )
+
|w|
~
ortogonal a w
~
z }| {
v~0 + u~0
(9)
~v
O
v~0
vw
w
~
|w
~|
w
~
~
, paralelo ao vetor w
~ e com modulo
Figura 4. Um vetor qualquer ~v pode ser escrito como a soma de dois vetores: um vetor vw |w
w|
~
vw , a projeca
o do vetor ~v sobre o prolongamento do vetor w,
~ e um outro vetor v~0 ortogonal ao vetor w.
~ O produto escalar dos
vetores ~v e w
~ e vw |w|.
~
(10)
w
~ = x0~e1 + y 0~e2 + z 0~e3 .
(11)
(12)
= xh~e1 , wi
~ + yh~e2 , wi
~ + zh~e3 , wi
~
(13)
= xx0 + yy 0 + zz 0 ,
(14)
onde utilizamos a ortogonalidade dos vetores da base canonica h~ei , ~ej i = 0, i 6= j com i, j = 1, 2, 3. Ent
ao o
produto escalar entre dois vetores e a soma dos produtos das coordenadas deles com respeito a base canonica . Nota
que h~v , ~v i = |~v |2 , como e evidente da express
ao geometrica em (7).
Exemplo III.1. Calculamos o produto escalar entre os vetores N~M e N~H do exemplo II.2 da secao precedente.
Vimos que estes dois vetores s
ao representandos em coordenadas como
l/2
0
~ = l/2 .
(15)
N~M = 0 ,
N~H = HN
l/2
l/2
Ent
ao o produto escalar e hN~M , N~Hi = l2 /4. Dividindo o produto escalar para o produto dos modulos destes dois
vetores |N~M ||N~H| = l2 /2, encontramos o coseno do angulo que eles formam, veja a (7). Neste caso
cos =
=
ou seja o angulo entre N~M e N~H e
hN~M , N~Hi
|N~M ||M~H|
(16)
l2 /4
1
= ,
l2 /2
2
(17)