There are at least 6 well-known formulas for the tangent of
half an angle. Since 315° is a special angle, (a QIV angle
with a reference angle of 45°), we can use any of these:
The last one is the simplest as it has no denominator. The others
will require more complicated simplification, but will all end
up with the same expression:
Edwin
