El teorema de Picard-Lindelöf de existencia y unicidad de las ecuaciones diferenciales lleva a que existen las funciones anteriores que se llaman respectivamente seno y coseno, es decir: