Bonjour à tous 
Je suis tombé sur une formule de trigo qui me bloque, j'arrive vraiment pas à savoir d'où elle sort ou comment la démontrer donc je vous demande ici.
La formule en question est : arctan(x) + arctan(y) = arctan((x+y)/(1-x*y)) + k*pi
Merci d'avance.