Le problème dans ta notation c'est que tu utilises une fonction qui est logiquement définie sur .
En l'occurence la racine carrée d'un réel positif est le réel positif qui lui est égal une fois élevé au carré.
La fonction racine carrée est un morphisme et en définissant une racine négative, on perd cette propriété.