Cosine of Half Angle in Triangle/Proof