Por definición de la función trigonométrica seno, se tiene