If we look at it the right way, we don't need fancy formulas.
Let: . .
The problem becomes: .
From , we have: .
And we have this right triangle:Code:* * β| * | * | p * | * α | * - - - - - - - - * 1
The two angles are from the same right triangle!
. . That is,