Leaving certificate HL maths notes on the 3 prescribed proofs, derivations and other required proofs. Includes: derivation of trigonometric formulae, proof of theorem 11, 12 and 13, proof root 2 is irrational by contradiction, proof by induction of De Moivre's theorem, derivation of the amotisation formula, proof of two trigonometric entities using De Moivre's theorem and a one page summary of probability.