Puissance i

[alavacommejetepousse]

Les irrationnels peut être, mais pour les rationnels, ce que tu veux démontrer peut aussi être une définition.

bien sûr mais alors il faut vérifier que pour rationnel ta définition coïncide avec l'expression définie pour les irrationnels (ça serait mieux quand même)

[Ben314]

Allez, va, pour faire encore plus le "pédant" que d'habitude,
déjà pour définir pour , il y a une preuve à fournir vu que l'écriture n'est pas unique...

P.S. Je suis aussi en train de me dire que le topic tourne autour du fait de savoir si l'on peut essayer de définir x^a avec quasi que de l'algèbre et pas d'analyse (i.e. pas d'exp ni de log), sauf qu'en réfléchissant un peu, l'existence des racines (carrées ou q-ièmes) avec "que de l'algèbre", il me semble que c'est déjà mal barré...