Теорема: корень из дроби, числитель которой неотрицателен, а знаменатель положителен, равен корню из числителя, деленному на корень из знаменателя.
Если a ≥ 0 и b > 0, то
.
Проверим выполнение требования допустимых значений для частного
, следовательно:
, следовательно:
.
Таким образом, требование выполняется.
Теперь проверим, что