Defining Basic Trigonometric Identities