PC.FGR.3.4: Derive the fundamental trigonometric identities.