Ещё дополнение.
В любом случае, вот у нас для однозначного вещественного корня есть два варианта: брать неотрицательный (как сейчас) или брать неположительный. (UPD: Хотя нет, не два, можно ещё страшнее что-то придумать, выбирая разные знаки для разных аргументов. Такие отметём сразу.) Неотрицательный явно лучше, чем неположительный. Почему? Потому что положительные числа выделеннее отрицательных. А это почему? А потому что единица положительна (это можно считать частью определения положительного числа). Ну и, наконец, чем это единица лучше минус единицы? А тем, что она нейтральный элемент по умножению, а вторая нет.
Это не выводит нас за пределы разговора об удобстве, но всяко удовлетворительнее(?)
Ответ "потому что так удобно", меня не совсем устраивает, хотелось бы более четкого понимания.
Тут стоит напомнить, что любые понятия, которые мы выделяем (особенно хорошие полезные понятия) выбираются из невообразимого хаоса всевозможных гипотетических ровно из соображений удобства. Да, бывают случаи, когда в какой-то области нездоровая атмосфера, и там придумывается куча слов или избыточных, или никак не связанных с достаточным числом других вещей — скажем, классификация ради классификации. Но скелет, скажем так, математики к этому не относится, тут всё пропущено через толпы людей.
Другое дело, что основания полезности понятия могут быть не сразу доступны и требовать изучить много чего другого, а не только то, что минимально требуется, чтобы определить его. С этим надо смириться, хотя арифметический корень как раз и не этот случай.