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