Как избавиться от цифры перед корнем

Именно для этого математики и придумали корни $n$-й степени. Именно для этого ввели значок радикала $\sqrt<*>$. Чтобы обозначить то самое число $b$, которое в указанной степени даст нам заранее известную величину

Не спорю: зачастую эти корни легко считаются — мы видели несколько таких примеров выше. Но всё-таки в большинстве случаев, если вы загадаете произвольное число, а затем попробуете извлечь из него корень произвольной степени, вас ждёт жестокий облом.

Да что там! Даже самый простой и всем знакомый $\sqrt<2>$ нельзя представить в привычном нам виде — как целое число или дробушка. А если вы вобьёте это число в калькулятор, то увидите вот это:

Как видите, после запятой идёт бесконечная последовательность цифр, которые не подчиняются никакой логике. Можно, конечно, округлить это число, чтобы быстро сравнить с другими числами. Например:

\[\sqrt<2>=1,4142. \approx 1,4 \lt 1,5\]

Или вот ещё пример:

\[\sqrt<3>=1,73205. \approx 1,7 \gt 1,5\]

Но все эти округления, во-первых, довольно грубые; а во-вторых, работать с примерными значениями тоже надо уметь, иначе можно словить кучу неочевидных ошибок (кстати, навык сравнения и округления в обязательном порядке проверяют на профильном ЕГЭ).

Поэтому в серьёзной математике без корней не обойтись — они являются такими же равноправными представителями множества всех действительных чисел $\mathbb$, как и давно знакомые нам дроби и целые числа.

Невозможность представить корень в виде дроби вида $\frac

$ означает, что данный корень не является рациональным числом. Такие числа называются иррациональными, и их нельзя точно представить иначе как с помощью радикала, либо других специально предназначенных для этого конструкций (логарифмов, степеней, пределов и т.д.). Но об этом — в другой раз.

Рассмотрим несколько примеров, где после всех вычислений иррациональные числа всё же останутся в ответе.

Естественно, по внешнему виду корня практически невозможно догадаться о том, какие числа будут идти после запятой. Впрочем, можно, посчитать на калькуляторе, но даже самый совершенный калькулятор дат нам лишь несколько первых цифр иррационального числа. Поэтому гораздо правильнее записать ответы в виде $\sqrt<5>$ и $\sqrt[3]<-2>$.

Именно для этого их и придумали. Чтобы удобно записывать ответы.

Почему нужны два определения?

Внимательный читатель уже наверняка заметил, что все квадратные корни, приведённые в примерах, извлекаются из положительных чисел. Ну, в крайнем случае из нуля. А вот кубические корни невозмутимо извлекаются абсолютно из любого числа — хоть положительного, хоть отрицательного.

Почему так происходит? Взгляните на график функции $y=<^<2>>$:

График квадратичной функции даёт два корня: положительный и отрицательный

Попробуем с помощью этого графика посчитать $\sqrt<4>$. Для этого на графике проведена горизонтальная линия $y=4$ (отмечена красным цветом), которая пересекается с параболой в двух точках:$<_<1>>=2$ и $<_<2>>=-2$. Это вполне логично, поскольку

С первым числом всё понятно — оно положительное, поэтому оно и есть корень:

Но что тогда делать со второй точкой? Типа у четвёрки сразу два корня? Ведь если возвести в квадрат число −2, мы тоже получим 4. Почему бы тогда не записать$\sqrt<4>=-2$? И почему учителя смотрят на подобные записи так, как будто хотят вас сожрать?:)

В том-то и беда, что если не накладывать никаких дополнительных условий, то квадратных корней у четвёрки будет два — положительный и отрицательный. И у любого положительного числа их тоже будет два. А вот у отрицательных чисел корней вообще не будет — это видно всё по тому же графику, поскольку парабола нигде не опускается ниже оси y, т.е. не принимает отрицательных значений.

Подобная проблема возникает у всех корней с чётным показателем:

1. Строго говоря, корней с чётным показателем $n$ у каждого положительного числа будет сразу две штуки;
2. Из отрицательных чисел корень с чётным $n$ вообще не извлекается.

Именно поэтому в определении корня чётной степени $n$ специально оговаривается, что ответ должен быть неотрицательным числом. Так мы избавляемся от неоднозначности.

Зато для нечётных $n$ такой проблемы нет. Чтобы убедиться в этом, давайте взглянем на график функции $y=<^<3>>$:

Кубическая парабола принимает любые значения, поэтому кубический корень извлекается из любого числа

Из этого графика можно сделать два вывода:

1. Ветви кубической параболы, в отличие от обычной, уходят на бесконечность в обе стороны — и вверх, и вниз. Поэтому на какой бы высоте мы ни проводили горизонтальную прямую, эта прямая обязательно пересечётся с нашим графиком. Следовательно, кубический корень можно извлечь всегда, абсолютно из любого числа;
2. Кроме того, такое пересечение всегда будет единственным, поэтому не нужно думать, какое число считать «правильным» корнем, а на какое — забить. Именно поэтому определение корней для нечётной степени проще, чем для чётной (отсутствует требование неотрицательности).

Жаль, что эти простые вещи не объясняют в большинстве учебников. Вместо этого нам начинают парить мозг всякими арифметическими корнями и их свойствами.

Да, я не спорю: что такое арифметический корень — тоже надо знать. И я подробно расскажу об этом в отдельном уроке. Сегодня мы тоже поговорим о нём, поскольку без него все размышления о корнях $n$-й кратности были бы неполными.

Но сначала надо чётко усвоить то определение, которое я дал выше. Иначе из-за обилия терминов в голове начнётся такая каша, что в итоге вообще ничего не поймёте.

А всего-то и нужно понять разницу между чётными и нечётными показателями. Поэтому ещё раз соберём всё, что действительно нужно знать о корнях:

1. Корень чётной степени существует лишь из неотрицательного числа и сам всегда является неотрицательным числом. Для отрицательных чисел такой корень неопределён.
2. А вот корень нечётной степени существует из любого числа и сам может быть любым числом: для положительных чисел он положителен, а для отрицательных — как намекает кэп, отрицательный.

Разве это сложно? Нет, не сложно. Понятно? Да вообще очевидно! Поэтому сейчас мы немного потренируемся с вычислениями.

Основные свойства и ограничения

У корней много странных свойств и ограничений — об этом будет отдельный урок. Поэтому сейчас мы рассмотрим лишь самую важную «фишку», которая относится лишь к корням с чётным показателем. Запишем это свойство в виде формулы:

Другими словами, если возвести число в чётную степень, а затем из этого извлечь корень той же степени, мы получим не исходное число, а его модуль. Это простая теорема, которая легко доказывается (достаточно отдельно рассмотреть неотрицательные $x$, а затем отдельно — отрицательные). О ней постоянно талдычат учителя, её дают в каждом школьном учебнике. Но как только дело доходит до решения иррациональных уравнений (т.е. уравнений, содержащих знак радикала), ученики дружно забывают эту формулу.

Чтобы детально разобраться в вопросе, давайте на минуту забудем все формулы и попробуем посчитать два числа напролом:

Это очень простые примеры. Первый пример решит большинство людишек, а вот на втором многие залипают. Чтобы без проблем решить любую подобную хрень, всегда учитывайте порядок действий:

1. Сначала число возводится в четвёртую степень. Ну, это как бы несложно. Получится новое число, которое даже в таблице умножения можно найти;
2. И вот уже из этого нового числа необходимо извлечь корень четвёртой степени. Т.е. никакого «сокращения» корней и степеней не происходит — это последовательные действия.

Раберёмся с первым выражением: $\sqrt[4]<<<3>^<4>>>$. Очевидно, что сначала надо посчитать выражение, стоящее под корнем:

Затем извлекаем корень четвёртой степени из числа 81:

Теперь сделаем то же самое со вторым выражением. Сначала возводим число −3 в четвёртую степени, для чего потребуется умножить его само на себя 4 раза:

\[<<\left( -3 \right)>^<4>>=\left( -3 \right)\cdot \left( -3 \right)\cdot \left( -3 \right)\cdot \left( -3 \right)=81\]

Получили положительное число, поскольку общее количество минусов в произведении — 4 штуки, и они все взаимно уничтожится (ведь минус на минус даёт плюс). Дальше вновь извлекаем корень:

В принципе, эту строчку можно было не писать, поскольку и ежу понятно, что ответ получится один и тот же. Т.е. чётный корень из той же чётной степени «сжигает» минусы, и в этом смысле результат неотличим от обычного модуля:

Эти вычисления хорошо согласуются с определением корня чётной степени: результат всегда неотрицателен, да и под знаком радикала тоже всегда стоит неотрицательное число. В противном случае корень не определён.

Замечание по поводу порядка действий

Таким образом, ни в коем случае нельзя бездумно сокращать корни и степени, тем самым якобы «упрощая» исходное выражение. Потому что если под корнем стоит отрицательное число, а его показатель является чётным, мы получим кучу проблем.

Впрочем, все эти проблемы актуальны лишь для чётных показателей.

Вынесение минуса из-под знака корня

Естественно, у корней с нечётными показателями тоже есть своя фишка, которой в принципе не бывает у чётных. А именно:

Короче говоря, можно выносить минус из-под знака корней нечётной степени. Это очень полезное свойство, которое позволяет «вышвырнуть» все минусы наружу:

Это простое свойство значительно упрощает многие вычисления. Теперь не нужно переживать: вдруг под корнем затесалось отрицательное выражение, а степень у корня оказалась чётной? Достаточно лишь «вышвырнуть» все минусы за пределы корней, после чего их можно будет умножать друг на друга, делить и вообще делать многие подозрительные вещи, которые в случае с «классическими» корнями гарантированно приведут нас к ошибке.

И вот тут на сцену выходит ещё одно определение — то самое, с которого в большинстве школ и начинают изучение иррациональных выражений. И без которого наши рассуждения были бы неполными. Встречайте!

Арифметический корень

Давайте предположим на минутку, что под знаком корня могут находиться лишь положительные числа или в крайнем случае ноль. Забьём на чётные/нечётные показатели, забьём на все определения, приведённые выше — будем работать только с неотрицательными числами. Что тогда?

А тогда мы получим арифметический корень — он частично пересекается с нашими «стандартными» определениями, но всё же отличается от них.

Определение. из неотрицательного числа $a$ называется такое неотрицательное число $b$, что $<^>=a$.