железная логика :)

[shrek_s]

А подвох заключается вот в чем:

корень из "а" в квадрате - это |а|, а не просто "а"
модуль знака не имеет, а вот "а" может быть как "+а" так и "-а", что мы и имеем.