При извлечении квадратного корня из отрицательного числа используется модуль, потому что результат квадратного корня должен быть неотрицательным по определению. 1

Модуль гарантирует эту неотрицательность, так как у отрицательных чисел он «съедает» минус, а положительные числа и число 0 оставляет без изменений. 2