¿Seno de 90?

La funciones, reales de variable real, llamadas seno y coseno son las siguientes:

.

Se tiene que

.

Y ocurre que la función derivada de sin(x) es la función cos(x).

En consecuencia sin(90)≠1.
El seno de 90 es aproximadamente 0.894.

Ojo; aquí no se ha dicho en ningún momento que el "seno de un ángulo" cuya "amplitud" sea 90 "grados exagesimales" no es 1.
Además, estas funciones seno y coseno son las funciones aludidas en la entrada Giro de la presente bitácora; la amplitud de ángulos ξ, en tal entrada, corresponde a la variable x de estas funciones y se le llama amplitud radián. Así, el "seno de un ángulo" cuya "amplitud" sea π/2 radián es 1. Nótese que en la entrada Giro doy la definición de ángulo.