Proofs of sine rule, cosine rule, area of a triangle