En fait, le résultat se démontre très facilement :
On peut donc retenir que :
Etudions maintenant la fonction f(x) = x^i sur R privé de zéro:
PS : normalement, ln(x) n'est défini que sur ]0;+infini[, mais ici, on utilise les nombres complexes, donc on ne va pas faire attention à celà.
Sa dérivée vaut donc : (on considère i comme une constate quand on dérive car i est UN NOMBRE)
La fonction change de sens de variations lorsque :
D'après le calcul formel, les solutions de x qui vérifient cette égalité sont :
Ce qui donne au final :
Tracés obtenus grâce à WolframAlpha.com
Il vous reste à faire :
Il vous reste également à faire la partie suivante si vous ne l'avez pas encore faite :