LCHL Trigonometric formulae and proofs