Au dépar, tout part de la notation

(n fois) qui n'a évidement du sens que pour n entier supérieur ou égal à 1 (et x réel ou complexe ou... quelconque).
Il est facile de montrer que, pour n et m entiers supérieurs ou égaux à 1, on a :

et
^n=x^{nm})
On veut ensuite étendre cette notation à n=0, puis n<0, puis n rationel, mais
on aimerais que les formules ci dessus restent vrais.
Dans la première formule, si on prend m=0, on constate que, pour que la formule soit valable, il faut
définir 
: c'est donc bien une définition (i.e. cela ne se démontre pas) MAIS cette définition n'est absolument pas tirée au hasard !!!
Ensuite, toujours la même formule où l'on prend m=-n montre que, si l'on veut que la formule reste vrai, on doit
définir 
.
On utilise ensuite la deuxième formule avec

et

pour voir que, si l'on veut
définir 
, on doit choisir un

tel que

, c'est à dire définir
