Sin Half Angle Formula Derivation, Use sum and difference formulas for cofunctions.