Текст учебника. Урок 1. Корень n-й степени и его свойства.

Для арифметических корней (т.е. для неотрицательных подкоренных выражений и четных/нечетных степеней с учетом ОДЗ) справедливы следующие свойства. Докажем их, опираясь на определение и свойства степени.

Пусть $a\ge 0,b\ge 0$, а $n,m,k$ — натуральные числа, большие 1.

1. Корень из произведения: $\sqrt[n]{ab}=\sqrt[n]{a}\cdot \sqrt[n]{b}$
   Доказательство:
   Пусть $\sqrt[n]{a}=x$, тогда $x^n=a$.
   Пусть $\sqrt[n]{b}=y$, тогда $y^n=b$.
   Рассмотрим произведение $(x\cdot y{)}^n=x^n\cdot y^n=a\cdot b$.
   По определению, $\sqrt[n]{ab}$ — это такое неотрицательное число, $n$-я степень которого равна $ab$. Число $x\cdot y$ является таким числом. Следовательно, $\sqrt[n]{ab}=x\cdot y=\sqrt[n]{a}\cdot \sqrt[n]{b}$.
   Пример: $\sqrt[3]{8\cdot 27}=\sqrt[3]{216}=6$ и $\sqrt[3]{8}\cdot \sqrt[3]{27}=2\cdot 3=6$.

2. Корень из дроби: $\sqrt[n]{\frac{a}{b}}=\frac{\sqrt[n]{a}}{\sqrt[n]{b}}$, где $b>0$.
   Доказательство:
   Пусть $\sqrt[n]{a}=x$, $\sqrt[n]{b}=y$. Тогда $x^n=a,y^n=b$.
   Рассмотрим ${\left(\frac{x}{y}\right)}^n=\frac{x^n}{y^n}=\frac{a}{b}$.
   Число $\frac{x}{y}$ — неотрицательное и его $n$-я степень равна $\frac{a}{b}$. Значит, оно является арифметическим корнем. Следовательно, $\sqrt[n]{\frac{a}{b}}=\frac{x}{y}=\frac{\sqrt[n]{a}}{\sqrt[n]{b}}$.
   Пример: $\sqrt[4]{\frac{81}{16}}=\frac{\sqrt[4]{81}}{\sqrt[4]{16}}=\frac{3}{2}$.

3. Возведение корня в степень: $(\sqrt[n]{a}{)}^k=\sqrt[n]{a^k}$, где $k\in \mathbb{N}$.
   Доказательство:
   Пусть $\sqrt[n]{a}=x$, тогда $x^n=a$.
   Рассмотрим $(\sqrt[n]{a}{)}^k=x^k$.
   Найдем $(x^k{)}^n=x^{kn}=(x^n{)}^k=a^k$.
   Так как $x^k\ge 0$, то по определению корня n-й степени из $a^k$ получаем: $x^k=\sqrt[n]{a^k}$. Значит, $(\sqrt[n]{a}{)}^k=\sqrt[n]{a^k}$.
   Пример: $(\sqrt[3]{4}{)}^2=\sqrt[3]{4^2}=\sqrt[3]{16}$.

4. Извлечение корня из корня: $\sqrt[m]{\sqrt[n]{a}}=\sqrt[mn]{a}$.
   Доказательство:
   Пусть $\sqrt[n]{a}=x$, тогда $x^n=a$.
   Пусть $\sqrt[m]{x}=y$, тогда $y^m=x$.
   Тогда $y^{mn}=(y^m{)}^n=x^n=a$.
   Так как $y\ge 0$, то по определению корня $mn$-й степени из $a$ получаем: $y=\sqrt[mn]{a}$.
   Но $y=\sqrt[m]{x}=\sqrt[m]{\sqrt[n]{a}}$. Следовательно, $\sqrt[m]{\sqrt[n]{a}}=\sqrt[mn]{a}$.
   Пример: $\sqrt[3]{\sqrt[4]{4096}}=\sqrt[12]{4096}$. (Так как $2^{12}=4096$, ответ: 2).