soit F(x)=(f(x))² est positif de classe de classe C1, F(a)=0,
alors F'(x)=2f'(x)f(x) =<2|f'(x)||f(x)|=< 2kf(x)²
d'où F'(x) =<2kF(x)
on considére g(x)=F(x).exp(-2kx) (tjr l'exp est un est un trés bon assistant)
alors g'(x)=exp(-2kx)(F'(x)-2kF(x))=< 0
g est positif décroissante et continue avec g(a)=0=> g = 0 =>F=0
par suite f=0 .