Beruflich Dokumente
Kultur Dokumente
Srgio Alves
IME - USP
Figura 1
(site www.garmin.com )
O projeto foi iniciado em 1973 pelo Departamento de Defesa dos Estados
Unidos com o propsito de que aeronaves e navios militares pudessem
determinar, em qualquer circunstncia de tempo, sua posio exata. Ajuda
Figura 2
(site www.garmin.com)
d (O, P ) = x 2 + y 2 + z 2
Mais geralmente, a distncia entre os pontos P = (x, y, z) e C = (u, v, w)
dada pela frmula
d ( P, C ) = ( x u ) 2 + ( y v) 2 + ( z w) 2
P = (x, y, z)
x2 + y2 + z2
x2 + y2
x
Figura 3
(x - u) 2 + (y - v) 2 + (z - w) 2 = r 2
(1)
x 2 + y 2 + z 2 2 xu 2 yv 2 zw + u 2 + v 2 + w 2 r 2 = 0
(2)
x 2 + y 2 + z 2 + ax + by + cz + d = 0
(3)
x 2 + y 2 + z 2 + 2x 4 y + 1 = 0
S S ' vazio se e somente se d (O, O ' ) > r + r ' ou d (O, O ' ) < r r '
S S ' um ponto se e somente se d (O, O ' ) = r + r ' ou d (O, O ' ) = r r '
S S ' uma circunferncia se e somente se r r ' < d (O, O ' ) < r + r '
Uma prova desse fato pode ser encontrada em [1] e sugerimos ao leitor
que elabore desenhos ilustrando cada uma das possibilidades.
O resultado a seguir desempenha um papel importante na fundamentao
matemtica do funcionamento do GPS.
Teorema
Se quatro superfcies esfricas se intersectam e seus centros so no
coplanares, ento essa interseco consiste em um nico ponto.
Prova
Sejam S1, S2, S3 e S4 superfcies esfricas de centros C1, C2, C3 e C4,
respectivamente.
Mostraremos que, se existe um ponto P tal que
P S1 S 2 S 3 S 4
e C1 , C 2 , C 3 , C 4 no so coplanares, ento
S1 S 2 S 3 S 4 = {P}
Sendo
x2 + y2 + z2 + a j x + bj y + c j z + d j = 0
as equaes gerais de Sj, onde j = 1, 2, 3, 4, ao subtrairmos estas
equaes, duas a duas, obtermos equaes lineares em x, y e z, uma vez
que os termos x2, y2 e z2 so eliminados.
Uma tal equao linear determina um plano que contm a correspondente
interseco. Por exemplo, subtraindo as equaes de S1 e S2, obtm-se a
equao de um plano que contm S1 S 2 .
Considerando-se os planos que contm S1 S 2 , S1 S 3 e S1 S 4 temos que,
se P = (x, y, z) est em S1 S 2 S 3 S 4 , ento (x, y, z) soluo do
sistema linear abaixo, denominado como Sistema Linear 1.
a1 a 2
a1 a3
a1 a 4
b1 b2
b1 b3
b1 b4
c1 c 2
u 2 u1
c1 c3 = 8 * u 3 u1
c1 c 4
u 4 u1
v 2 v1
v3 v1
v 4 v1
w2 w1
w3 w1
w4 w1
S1 S 2 S 3 S 4
essencial para a validade do teorema.
interessante observar que, na situao real do GPS, essa hiptese
comprovada pela existncia do prprio usurio!
A eventual soluo do Sistema Linear 1 nos dar o procurado ponto P desde
que pertena simultaneamente s quatro superfcies esfricas S1, S2, S3 e
S4.
Considere, por exemplo, as superfcies esfricas:
S1: centro (0, 0, 1) e raio
2;
10 ;
(1,
0,
0)
pertence
S1 S 2 S 3 S 4 = {(1,0,0)}
z
(0, 0, z) = B
P = (x, y, z)
= m(<AOP)
= m(<COA)
(x, 0, 0) = C
A = (x, y, 0)
Figura 4
cos(90 ) =
OB
=
OP
sen =
z
x + y2 + z2
2
x2 + y2 + z2
sen =
AC
=
OA
y
x +y
2
e cos =
OC
=
OA
x
x + y2
2
P = (3 3 10 6 , 3 10 6 , 6 3 10 6 ).
Temos que
6 3 10 6
3
=
; Portanto = 60o.
6
2
12 10
Como sen =
3 10 6
1
3 3 10 6
3
=
e
cos
=
=
, obtemos = -30o.
6
6
2
2
6 10
6 10
x
Satlite
Satlite
Satlite
Satlite
1
2
3
4
1,877191188
1,098145713
2,459587359
3,855818937
x
x
x
x
106
107
107
106
-1,064608026 x 107
-1,308719098 x 107
-4,336916128 x 106
7,251740720 x 106
2,428036099
2,036005484
9,090267461
2,527733606
x
x
x
x
107
107
106
107
Satlite 1
Satlite 2
Satlite 3
Satlite 4
0,08251731391
0,07718558331
0,06890629029
0,07815826940
Referncias bibliogrficas
[1] ALVES, S. A geometria do globo terrestre, II Bienal da Sociedade
Brasileira de Matemtica, 2004 (disponvel pela Internet no site
www.bienasbm.ufba.br).
[2] AMES, P. Uma professora de olho nas aplicaes, em Aplicaes da
Matemtica Escolar, MAA e NCTM (traduo de Domingues H.), Atual
Editora, 1997.
[3] LIMA, E. L. Coordenadas no espao, Coleo do Professor de
Matemtica, SBM, 1993.
[4] NORD, G. D., Jabon, D and Nord, J. The mathematics of the Global
Positioning System, The Mathematics Teacher, vol. 90, n 6, September,
1997.
Site: www.garmin.com