Wiki: Identität sin(α) = cos(α + 90°)
KI