Rational Linear Combinations of Pure Geodetic Angles, Part 2
Rational Linear Combinations of Pure Geodetic Angles, Part 2
A "pure geodetic" angle is an angle such that any of the six squared trigonometric functions of is rational or infinite. This Demonstration shows how an angle whose tangent is of the form /+/+/+/ can be expressed as a rational linear combination of pure geodetic angles and an integral multiple of , that is, it finds rational , ,, and , such that +++ is a sum of a rational linear combination of (), , , and plus an integer multiple of .
α
α
b
0
a
0
b
1
a
1
d
1
b
2
a
2
d
2
b
3
a
3
d
1
d
2
π/4
q
0
q
1
q
2
q
3
-1
tan
b
0
a
0
b
1
a
1
d
1
b
2
a
2
d
2
b
3
a
3
d
1
d
2
-1
tan
q
0
-1
tan
q
1
d
1
-1
tan
q
2
d
2
-1
tan
q
3
d
1
d
2
π/4