448 20 Geodetic mapping
Proof (Soldner, l := L − L 0 ).
Λ 1 = 1 +
cos
2 B
2
1 − E
2 sin
2 B
1 − E 2
l
2 + O S (l
4 ) , Λ 2 = 1 ,
(20.158)
I AS =
1
2S E 2
A 1 ,A 2
dS E 2
A 1 ,A 2
(Λ 1 − 1)
2 =
A
2
1 (1 − E
2 )
2S E 2
A 1 ,A 2
+l E
−l E
dl
B N
B S
dB
cos B(Λ 1 − 1)
2
(1 − E 2 sin
2 B) 2 , (20.159)
Λ 1 − 1 =
cos
2 B
2
1 − E
2 sin
2 B
1 − E 2
l
2 + O S (l
4 ) ,
(Λ 1 − 1)
2 =
1
4
cos
4 B
(1 − E
2 sin
2 B)
2
(1 − E 2 ) 2
l
4 + O S (l
6 ) ,
(20.160)
dS E 2
A 1 ,A 2
(Λ 1 − 1)
2 =
1
4
A
2
1
1 − E 2
+l E
−l E
dl
⎡
⎣ l
4
B N
B S
dB cos
5 B + O S (l
6 )
⎤
⎦ =
=
1
10
A
2
1
1 − E 2 l
5
E
sin B N − sin B S −
2
3
(sin
3 B N − sin
3 B S ) +
1
5
(sin
5 B N − sin
5 B S )
+
+O S (l
7
E ) ,
(20.161)
1
2S E 2
A 1 ,A 2
=
1
4A 2
1 (1 − E 2 )
l
−1
E (sin B N − sin B S )
−1
×
×
1 −
2
3
E
2 sin
3 B N − sin
3 B S
sin B N − sin B S
+ O 2 (E
4 )
,
(20.162)
I AS =
1
40
l
4
E
(1 − E 2 ) 2 ×
×
1 −
2
3
sin
3 B N − sin
3 B S
sin B N − sin B S
+
1
5
sin
5 B N − sin
5 B S
sin B N − sin B S
×
×
1 −
2
3
E
2 sin
3 B N − sin
3 B S
sin B N − sin B S
+ O 2 (E
4 )
+
+O S (l
6
E ) ,
(20.163)
I AS (B N = −B S ) =
1
40
l
4
E
(1 − E 2 ) 2 ×
×
1 −
2
3
sin
2 B N (1 + E
2 ) + sin
4 B N
4
9
E
2 +
1
5
−
2
15
E
2 sin
6 B N + O 2 (E
4 )
+
+O S (l
6
E ) .
(20.164)
End of Proof.