It turns out that this differential equation can be used not only to define the sine and cosine functions but also to prove the trigonometric identities for the sine and cosine functions.
Esta ecuación diferencial pode ser usada non só para definir seno e coseno, senón tamén para probar as identidades trigonométricas de ditas funcións.