Proving Trig Identities using Unit Circle Variables – Nathan Annenberg