Deriving trigonometric identities, no unit circles