Bonsoir,
Explications:
Soient n un entier naturel non nul et p un élément de ]0,1[ .
Considérons la fonction f définie sur [n,n+1] par f(x)=x^p .
f est continue sur [n,n+1] et f est dérivable sur ]n,n+1[ ( f'(x)=p.x^(p-1) = p/x^(1-p) ) . D'après le T.A.F , il existe c dans ]n,n+1[ tel que
f(n+1) - f(n) =( (n+1) - n ).f'(c) ; soit (n+1)^p - n^p = p/c^(1-p) .
Or n < c < n+1 , donc n^(1-p) < c^(1-p) < (n+1)^(1-p) .
Donc 1/(n+1)^(1-p) < 1/c^(1-p) < 1/n^(1-p) . Donc p/(n+1)^(1-p) < p/c^(1-p) < p/n^(1-p) .
Par suite p/(n+1)^(1-p) < (n+1)^p - n^p < p/n^(1-p) .