Trig identities from Pythagoras Theorem