Construct proofs involving trigonometry