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