Квадрат имеет площадь 25 квадратных единиц. Какова длина его стороны? Нужно найти неотрицательное число, квадрат которого равен 25: это 5. Обратный вопрос к возведению в квадрат вводит арифметический корень; полезны также модуль и действительные числа.
Почему знак корня выбирает одно число
Арифметический квадратный корень из неотрицательного числа — неотрицательное число, квадрат которого равен . Его обозначают .
Из определения следует , а не . Число тоже имеет квадрат 25, но оно отрицательно и не является арифметическим корнем. Если отдельно требуется найти все числа , для которых , ответов два: 5 и . Значение выражения и решение такого уравнения — разные задачи.
Для корень равен 0. При действительного квадратного корня нет: квадрат действительного числа неотрицателен. Существование корня для каждого используем как свойство действительных чисел; строгое построение действительного числа выходит за рамки этой статьи. Единственность объяснить можно: если , то , поэтому разные неотрицательные числа не имеют одинаковых квадратов.
Корень из квадрата и модуль
Числа 4 и при возведении в квадрат дают 16, а . Извлечение арифметического корня не восстанавливает потерянный знак. Верная формула для любого действительного имеет вид
Доказательство следует из определения: и . Значит, именно является единственным неотрицательным корнем из . При получаем , а не .
Произведение и частное под корнем
Для произведение неотрицательно, а его квадрат равен . По единственности корня получаем первую формулу. Для частного дополнительно требуется , чтобы не делить на нуль:
У первой формулы условия , у второй — . Если , левая запись определена, а отдельные корни справа в действительных числах не существуют. Неотрицательность произведения сама по себе не разрешает разделять его на любые множители.
Для суммы похожего правила нет: , а . При вычитании ошибка тоже возможна. Свойства произведения и частного доказывались через квадраты именно этих операций; подменять их сложением нельзя.
Упрощаем выражение с корнями
Из и следует . Мы вынесли полный квадрат, затем привели одинаковые слагаемые с . Корни и таким способом не складываются в .
Для переменной при любом действительном . Если известно , модуль можно заменить на ; если , он равен . Условие о знаке нельзя молча предполагать.
Иногда удобно убрать корень из знаменателя, умножая числитель и знаменатель на одно ненулевое выражение: . Если знаменатель содержит разность, используем разность квадратов: . Здесь исходный знаменатель и дополнительный множитель ненулевые.
Точное значение и приближение
Запись обозначает точное число. Поскольку , имеем . Калькулятор даёт более точное десятичное приближение, например , но конечная десятичная запись не становится точным равенством.
Каков знак при ? Значение равно . Ответ нарушил бы главный признак арифметического корня — неотрицательность.