Proof of the sum and difference formulas for sine, cosine and tangent