Tangent of Half Angle in Triangle/Proof