Somme de fonctions trigonométriques inverses

arcsin y + arccos y = π / 2

arctan y + arccotan y = π / 2