[b]Proposition: [/b][i]To determine the angles of a triangle from the sides without the use of tables.[/i]
This is problem #17 in Heinrich Dorrie's [i]100 Great Problems of Elementary Mathematics[/i]
___________
Initial subproblem: ratio comparison of two arc tangents on the unit circle.
From this construction, we can derive a series expansion of the function arc tan x.
