oui, je plussoie sur ce qu'écrit NightMare
la fonction puissance est définie par produit

et aussi par récurrence :we:
Comme elle est bijective de R+ sur R+
sa bijection réciproque est notée

de manière à garder le calcul d'exposant habituel
^{\frac{1}{3}}=x=x^1)

est définie comme la composée des deux bijections de R+ sur lui-même

et

ce qui est sioux, c'est de montrer que la définition a un sens,
niveau fraction, numérateur et dénominateur p et q étant définis
à un facteur multiplicatif près.
ces bijections commutent pour la composition des applications.
enfin, question dérivation, on démontre , par les formules habituelles
si f et g sont bijections réciproques,
=\frac{1}{f'(x)})
avec
)
et
)
d'où
=\frac{1}{f'(g(y))})
si l'on souhaite démontrer que
')
vaut

la formule de dérivée de composée donne
^2}=\frac{2}{3} x^{- \frac{1}{3}})
si l'on composait le carré en dernier, on le dérive en premier.
si l'on suppose composer le carré en premier, on obtient la même fonction dérivée
