Fonctions trigonom

[r0se_123]

Qu'est-ce qu'une fct trigono ?

[Ericovitchi]

effectivement Arccotan x = Arc tan (1/x)

ou aussi Arctan(x) + Arccotan(x) = pi/2

Pour démontrer ça. Essayes de dériver et montrer que les dérivées sont égales, puis que les deux fonctions aussi (en prenant un x particulier et en montrant que la constante est nulle)

(la dérivée de Arcotan x c'est -1/(1+x²) )

[r0se_123]

merci beaucoup !