Bonjour !
Redman : comment définis-tu ?
Regardons dans un cas un peu plus général, pour définir
où est un entier naturel .
Je passe l'étude des fonctions
Pour pair, on peut définir comme l'unique antécédent de sur .
Pour impair, c'est un peu mieux, on peut définir comme l'unique antécédent de sur .
Pour notre cas qui nous intéresse, donc est pair . On ne peut considérer alors que le cas où est un réel positif ou nul.
Alors, supposons que notre brave soit positif ou nul, et regardons :
On peut écrire :
.
On sait ce que c'est notre , c'est tout simplement la racine carrée de .
Ainsi :
.
Par contre, pour , c'est impossible; écrire
revient à considérer qui n'a pas de sens (avec la définition considérée).