Sine of Half Angle in Triangle/Proof