Le package source étudie
f(x)=x−25sur ]2,+∞[.
Pour faire apparaître u′/u, pose u(x)=x−2. Comme u′(x)=1,
x−25=5u(x)u′(x).
Les primitives sont donc
F(x)=5ln(x−2)+C,C∈R.
Vérification :
F′(x)=5x−21=x−25.
Pour v(x)=3x2−5x, sa dérivée logarithmique est
v(x)v′(x)=3x2−5x6x−5
sur tout intervalle où v(x)=0.