derivee de arccot(sqrt(2x))
⚠ arccot(sqrt(2x)) est lu comme (pi/2-atan(sqrt(2x))) : pour la branche réelle de arccot à valeurs dans ]0, π[, utilisez pi/2-atan(expression)‖2x est lu comme le produit 2*x : pour une puissance, écrivez 2^x
Effectuons la dérivation : ddx(π2 -atan(2x))
ddx(π2) + ddx(-atan(2x))
On applique la formule de dérivation : ddx(arctan(f)) = ddx(f)·1f2 + 1 avec f = 2x
0 -ddx(2x)(2x)2 + 1
On applique la formule de dérivation : ddx(f) = ddx(f)·12f avec f = 2x
-ddx(2x)·12·2x(2x)(12·2) + 1
ℹddx(2x)·12·2x = ddx(2x)2·2x‖ddx(2x) = 2‖12·2 = 22‖22 = 1
-22·2x(2x)1 + 1
-12x2x + 1
-12x·12x + 1
▶Dérivée :   -12x·(2x + 1)