This is prompted by another Catriona Shearer puzzle. Would you say it’s at all obvious that
Me neither. True, though. Look at this triangle:
By the law of cosines, so . But if you slice that triangle in half, you find its height is and so .
More generally, the half angle formula for the tangent is
Then if ,
and with , you get .