f'(x) = 4 - 2tan x * ( 1 + tan ^2 x )
f'(x) = 4 - 2t - 2 t ^3
f'(x) = 2 ( 2 - t - t^3 )
1 est une racine évidente donc on peut factoriser par t - 1
f'(x) = 2 ( t - 1 ) ( a t^2 + bt + c )
f'(x) = 2 ( a t^3 + bt^2 +ct - a t^2 - bt - c )
par identification :
a = - 1
b - a = 0
c - b = - 1
- c = 2
donc on a
a = -1
b = - 1
c = - 2
f'(x) = 2 ( t - 1 ) ( - t ^2 - t - 2 )
f'(x ) = - 2 (t - 1 ) ( t ^2 +t + 2 )
f'(x) = 2 ( 1 - t ) ( t^2 + t + 2 )
