Возведение в степень

Возведе́ние в сте́пень — арифметическая операция, первоначально определяемая как результат многократного умножения числа на себя. Степень с основанием $a$$a$ и натуральным показателем $b$$b$ обозначается как

Графики четырёх функций вида $y=a^x$$y=a^{x}$, $a$$a$ указано рядом с графиком функции

$a^b=\underset{b}{\underset{⏟<!--\; ⏟\; -->}{a\cdot <!--\; \cdot \; -->a\cdot <!--\; \cdot \; -->\dots <!--\; \dots \; -->\cdot <!--\; \cdot \; -->a}},$$a^{b}=\underbrace {a\cdot a\cdot \ldots \cdot a} _{b},$

где $b$$b$ — количество множителей (умножаемых чисел).

Например, $3^2=3\cdot <!--\; \cdot \; -->3=9;2^4=2\cdot <!--\; \cdot \; -->2\cdot <!--\; \cdot \; -->2\cdot <!--\; \cdot \; -->2=16$$3^{2}=3\cdot 3=9;\quad 2^{4}=2\cdot 2\cdot 2\cdot 2=16$

В языках программирования, где написание $a^b$$a^{b}$ невозможно, применяются альтернативные обозначения^[⇨].

Возведение в степень может быть определено также для отрицательных^[⇨], рациональных^[⇨], вещественных^[⇨] и комплексных^[⇨] степеней.

Извлечение корня — одна из операций, обратных возведению в степень, она по известным значениям степени $c=a^b$$c=a^{b}$ и показателя $b$$b$ находит неизвестное основание $a=\sqrt[b]{c}$$a={\sqrt[{b}]{c}}$. Вторая обратная операция — логарифмирование, она по известным значениям степени $c=a^b$$c=a^{b}$ и основания $a$$a$ находит неизвестный показатель $b={\log }_a<!--\; \; -->c$$b=\log _{a}c$. Задача нахождения числа по известному его логарифму (потенцирование, антилогарифм) решается с помощью операции возведения в степень.

Существует алгоритм быстрого возведения в степень, выполняющий возведение в степень за меньшее, чем в определении, число умножений.

Употребление в устной речиПравить

Запись $a^n$$a^{n}$  обычно читается как «a в $n$$n$ -й степени» или «a в степени n». Например, ${10}^4$$10^{4}$  читается как «десять в четвёртой степени», ${10}^{3/2}$$10^{3/2}$  читается как «десять в степени три вторых (или: полтора)».

Для второй и третьей степени существуют специальные названия: возведение в квадрат и в куб соответственно. Так, например, ${10}^2$$10^{2}$  читается как «десять в квадрате», ${10}^3$$10^{3}$  читается как «десять в кубе». Такая терминология возникла из древнегреческой математики. Древние греки формулировали алгебраические конструкции на языке геометрической алгебры. В частности, вместо употребления слова «умножение» они говорили о площади прямоугольника или об объёме параллелепипеда: вместо $a^2$$a^2$ , $a^3$$a^{3}$  древние греки говорили «квадрат на отрезке a», «куб на a». По этой причине четвёртую степень и выше древние греки избегали.

Число, являющееся результатом возведения натурального числа в $n$$n$ -ую степень, называется точной $n$$n$ -ой степенью. В частности, число, являющееся результатом возведения натурального числа в квадрат (куб), называется точным квадратом (кубом). Точный квадрат также называется полным квадратом.

СвойстваПравить

Основные свойстваПравить

Все приведенные ниже основные свойства возведения в степень выполняются для натуральных, целых, рациональных и вещественных чисел. Для комплексных чисел, в силу многозначности комплексной операции, они выполняются только в случае натурального показателя степени^[⇨].

• $a^1=a$$a^{1}=a$ 
• ${\left(ab\right)}^n=a^n{b}^n$$\left(ab\right)^{n}=a^{n}b^{n}$ 
• ${\left(\frac{a}{b}\right)}^n=\frac{a^n}{b^n}$$\left({a \over b}\right)^{n}={{a^{n}} \over {b^{n}}}$ 
• $a^n{a}^m=a^{n+m}$$a^{n}a^{m}=a^{n+m}$ 
• $\frac{a^n}{a^m}=a^{n-<!--\; -\; -->m}$$\left.{a^{n} \over {a^{m}}}\right.=a^{n-m}$ 
• ${\left(a^n\right)}^m=a^{nm}$$\left(a^{n}\right)^{m}=a^{nm}$ .

Запись $a^{n^m}$$a^{n^{m}}$  не обладает свойством ассоциативности (сочетательности), то есть, в общем случае,$(a^n{)}^m\ne <!--\; \ne \; -->a^{\left(n^m\right)}$$(a^{n})^{m}\neq a^{\left({n^{m}}\right)}$  Например, $(2^2{)}^3=4^3=64$$(2^{2})^{3}=4^{3}=64$ , а $2^{\left(2^3\right)}=2^8=256$$2^{\left({2^{3}}\right)}=2^{8}=256$ . В математике принято считать запись $a^{n^m}$$a^{n^{m}}$  равнозначной $a^{\left(n^m\right)}$$a^{\left({n^{m}}\right)}$ , а вместо $(a^n{)}^m$$(a^{n})^{m}$  можно писать просто $a^{nm}$$a^{nm}$ , пользуясь предыдущим свойством. Впрочем, некоторые языки программирования не придерживаются этого соглашения.

Возведение в степень не обладает свойством коммутативности (переместительности): вообще говоря, $a^b\ne <!--\; \ne \; -->b^a$$a^{b}\neq b^{a}$ , например, $2^5=32$$2^{5}=32$ , но $5^2=25.$$5^{2}=25.$ 

Таблица натуральных степеней небольших чиселПравить

n	n2	n3	n4	n5	n6	n7	n8	n9	n10
2	4	8	16	32	64	128	256	512	1024
3	9	27	81	243	729	2,187	6,561	19,683	59,049
4	16	64	256	1024	4,096	16,384	65,536	262,144	1,048,576
5	25	125	625	3125	15,625	78,125	390,625	1,953,125	9,765,625
6	36	216	1296	7,776	46,656	279,936	1,679,616	10,077,696	60,466,176
7	49	343	2401	16,807	117,649	823,543	5,764,801	40,353,607	282,475,249
8	64	512	4096	32,768	262,144	2,097,152	16,777,216	134,217,728	1,073,741,824
9	81	729	6561	59,049	531,441	4,782,969	43,046,721	387,420,489	3,486,784,401
10	100	1000	10,000	100,000	1,000,000	10,000,000	100,000,000	1,000,000,000	10,000,000,000

РасширенияПравить

Целая степеньПравить

Операция обобщается на произвольные целые числа, включая отрицательные и ноль::

$a^{z}={\begin{cases}a^{z},&z>0\\1,&z=0,a\neq \;0\\{\frac {1}{a^{|z|}}},&z<0,a\neq \;0\end{cases}}$ 

Результат не определён при $a=0$$a=0$  и $z⩽<!--\; ⩽\; -->0$$z\leqslant 0$ .

Рациональная степеньПравить

Возведение в рациональную степень $m/n,$$m/n,$  где $m$$m$  — целое число, а $n$$n$  — натуральное, положительного числа определяется следующим образом:

$a^{\frac{m}{n}}=(\sqrt[n]{a}{)}^m;\mathrm{\forall <!--\; \forall \; -->}a>0,a\in <!--\; \in \; -->\mathbb{R},m\in <!--\; \in \; -->\mathbb{Z},n\in <!--\; \in \; -->\mathbb{N}.$$a^{m \over n}=({\sqrt[{n}]{a}})^{m};\quad \forall a>0,a\in \mathbb {R} ,m\in \mathbb {Z} ,n\in \mathbb {N} .$ .

Степень с основанием, равным нулю, определяют только для положительного рационального показателя.

$0^{\frac{m}{n}}=0;m\in <!--\; \in \; -->\mathbb{N},n\in <!--\; \in \; -->\mathbb{N}.$$0^{m \over n}=0;\quad m\in \mathbb {N} ,n\in \mathbb {N} .$ 

Для отрицательных $a$$a$  степень с дробным показателем не рассматривается.

Следствие: $\sqrt[n]{a}=a^{1/n};a>0,a\in <!--\; \in \; -->\mathbb{R}.$${\sqrt[{n}]{a}}=a^{1/n};\quad a>0,a\in \mathbb {R} .$  Таким образом, понятие рациональной степени объединяет возведение в целочисленную степень и извлечение корня в единую операцию.

Вещественная степеньПравить

Множество вещественных чисел — непрерывное упорядоченное поле, обозначается $\mathbb{R}$$\mathbb {R}$ . Множество вещественных чисел не является счётным, его мощность называется мощностью континуума. Арифметические операции над вещественными числами представимых бесконечными десятичными дробями определяются как непрерывное продолжение соответствующих операций над рациональными числами.

Если даны два вещественных числа, представимые бесконечными десятичными дробями (где $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  - положительное):

$\mathrm{\alpha <!--\; \alpha \; -->}=a_0,a_1{a}_2\dots <!--\; \dots \; -->a_n\dots <!--\; \dots \; -->=\{a_n\},\mathrm{\alpha <!--\; \alpha \; -->}>0,$$\alpha =a_{0},a_{1}a_{2}\ldots a_{n}\ldots =\{a_{n}\},~~\alpha >0,$ 

$\mathrm{\beta <!--\; \beta \; -->}=\pm <!--\; \pm \; -->b_0,b_1{b}_2\dots <!--\; \dots \; -->b_n\dots <!--\; \dots \; -->=\{b_n\},$$\beta =\pm b_{0},b_{1}b_{2}\ldots b_{n}\ldots =\{b_{n}\},$ 

определённые соответственно фундаментальными последовательностями рациональных чисел (удовлетворяющие условию Коши), обозначенные как: $\mathrm{\alpha <!--\; \alpha \; -->}=[a_n]$$\alpha =[a_{n}]$  и $\mathrm{\beta <!--\; \beta \; -->}=[b_n]$$\beta =[b_{n}]$ , то их степенью называют число $\mathrm{\gamma <!--\; \gamma \; -->}=[c_n]$$\gamma =[c_{n}]$ , определённое степенью последовательностей $\{a_n\}$$\{a_{n}\}$  и $\{b_n\}$$\{b_{n}\}$ :

$\mathrm{\gamma <!--\; \gamma \; -->}={\mathrm{\alpha <!--\; \alpha \; -->}}^{\mathrm{\beta <!--\; \beta \; -->}}=[a_n{]}^{[b_n]}=[a_n\stackrel{^<!--\; ^\; -->}{}{b}_n]$$\gamma =\alpha ^{\beta }{=}[a_{n}]^{[b_{n}]}=[a_{n}{\widehat {}}b_{n}]$ ,

вещественное число $\mathrm{\gamma <!--\; \gamma \; -->}={\mathrm{\alpha <!--\; \alpha \; -->}}^{\mathrm{\beta <!--\; \beta \; -->}}$$\gamma =\alpha ^{\beta }$ , удовлетворяет следующему условию:

$(a^{\prime }⩽<!--\; ⩽\; -->\mathrm{\alpha <!--\; \alpha \; -->}⩽<!--\; ⩽\; -->a^{″})\wedge <!--\; \wedge \; -->(b^{\prime }⩽<!--\; ⩽\; -->\mathrm{\beta <!--\; \beta \; -->}⩽<!--\; ⩽\; -->b^{″})\Rightarrow <!--\; \Rightarrow \; -->({(a^{\prime })}^{b^{\prime }}⩽<!--\; ⩽\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}^{\mathrm{\beta <!--\; \beta \; -->}}⩽<!--\; ⩽\; -->{(a^{″})}^{b^{″}})\Rightarrow <!--\; \Rightarrow \; -->({(a^{\prime })}^{b^{\prime }}⩽<!--\; ⩽\; -->\mathrm{\gamma <!--\; \gamma \; -->}⩽<!--\; ⩽\; -->{(a^{″})}^{b^{″}}),\mathrm{\forall <!--\; \forall \; -->}{a}^{\prime },a^{″},b^{\prime },b^{″}\in <!--\; \in \; -->\mathbb{Q},\mathrm{\forall <!--\; \forall \; -->}\mathrm{\alpha <!--\; \alpha \; -->}>0,\mathrm{\alpha <!--\; \alpha \; -->},\mathrm{\beta <!--\; \beta \; -->},\mathrm{\gamma <!--\; \gamma \; -->}\in <!--\; \in \; -->\mathbb{R}.$$(a'\leqslant \alpha \leqslant a'')\land (b'\leqslant \beta \leqslant b'')\Rightarrow ({(a')}^{b'}\leqslant \alpha ^{\beta }\leqslant {(a'')}^{b''})\Rightarrow ({(a')}^{b'}\leqslant \gamma \leqslant {(a'')}^{b''}),~~~\forall ~a',a'',b',b''\in \mathbb {Q} ,~\forall \alpha >0,~\alpha ,\beta ,\gamma \in \mathbb {R} .$ 

Таким образом степенью вещественного числа  ${\mathrm{\alpha <!--\; \alpha \; -->}}^{\mathrm{\beta <!--\; \beta \; -->}}$$\alpha ^{\beta }$  является такое вещественное число $\mathrm{\gamma <!--\; \gamma \; -->}$$\gamma$  которое содержится между всеми степенями вида ${(a^{\prime })}^{b^{\prime }}$${(a')}^{b'}$  с одной стороны и всеми степенями вида ${(a^{″})}^{b^{″}}$${(a'')}^{b''}$ с другой стороны.

Степень с основанием, равным нулю, определяют только для положительного вещественного показателя.

$0^{\mathrm{\beta <!--\; \beta \; -->}}=0;\mathrm{\beta <!--\; \beta \; -->}\in <!--\; \in \; -->\mathbb{R},\mathrm{\beta <!--\; \beta \; -->}>0.$$0^{\beta }=0;\quad \beta \in \mathbb {R} ,\beta >0.$ 

Для отрицательных  $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  степень с вещественным показателем не рассматривается.

На практике для того, чтобы возвести число $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  в степень $\mathrm{\beta <!--\; \beta \; -->}$$\beta$ , необходимо заменить их с требуемой точностью приближёнными рациональными числами $a$$a$  и $b$$b$ . За приближенное значение степени ${\mathrm{\alpha <!--\; \alpha \; -->}}^{\mathrm{\beta <!--\; \beta \; -->}}$$\alpha ^{\beta }$  берут степень указанных рациональных чисел $a^b$$a^{b}$ . При этом не важно, с какой стороны (по недостатку или по избытку) взятые рациональные числа приближают $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  и $\mathrm{\beta <!--\; \beta \; -->}$$\beta$ .

Пример возведения в степень $\mathrm{\gamma <!--\; \gamma \; -->}={\mathrm{\pi <!--\; \pi \; -->}}^e$$\gamma =\pi ^{e}$ , с точностью до 3-го знака после запятой:

• Округляем данные числа до 4-го знака после запятой (для повышения точности вычислений);
• Получаем: $\mathrm{\pi <!--\; \pi \; -->}\approx <!--\; \approx \; -->3.1416,e\approx <!--\; \approx \; -->2.7183$$\pi \approx 3.1416,\ e\approx 2.7183$ ;
• возводим в степень: $\mathrm{\gamma <!--\; \gamma \; -->}={\mathrm{\pi <!--\; \pi \; -->}}^e\approx <!--\; \approx \; -->{3.1416}^{2.7183}\approx <!--\; \approx \; -->22.4592$$\gamma =\pi ^{e}\approx 3.1416^{2.7183}\approx 22.4592$ ;
• Округляем до 3-го знака после запятой: $\mathrm{\gamma <!--\; \gamma \; -->}\approx <!--\; \approx \; -->22.459$$\gamma \approx 22.459$ .

Полезные формулы:

$x^y=a^{y{\log }_a<!--\; \; -->x}$$x^{y}=a^{y\log _{a}x}$ 

$x^y=e^{y\ln <!--\; \; -->x}$$x^{y}=e^{y\ln x}$ 

$x^y={10}^{y\lg <!--\; \; -->x}$$x^{y}=10^{y\lg x}$ 

Последние две формулы используют для возведения положительных чисел в произвольную степень на электронных калькуляторах (включая компьютерные программы), не имеющих встроенной функции $x^y$$x^{y}$ , и для приближённого возведения в нецелую степень или для целочисленного возведения в степень, когда числа слишком велики для того, чтобы записать результат полностью.

Комплексная степеньПравить

Возведение комплексного числа в натуральную степень выполняется обычным умножением в тригонометрической форме. Результат однозначен:

$z^n=r^n(\cos <!--\; \; -->\mathrm{\phi <!--\; \phi \; -->}+i\sin <!--\; \; -->\mathrm{\phi <!--\; \phi \; -->}{)}^n=r^n(\cos <!--\; \; -->n\mathrm{\phi <!--\; \phi \; -->}+i\sin <!--\; \; -->n\mathrm{\phi <!--\; \phi \; -->});\mathrm{\forall <!--\; \forall \; -->}n\in <!--\; \in \; -->\mathbb{N},z\in <!--\; \in \; -->\mathbb{C},r\in <!--\; \in \; -->\mathbb{R}$$z^{n}=r^{n}(\cos \varphi +i\sin \varphi )^{n}=r^{n}(\cos n\varphi +i\sin n\varphi );\quad \forall n\in \mathbb {N} ,z\in \mathbb {C} ,r\in \mathbb {R}$  , (формула Муавра).

Для нахождения степени произвольного комплексного числа в алгебраической форме $a+bi$$a + bi$  можно воспользоваться формулой бинома Ньютона (справедливой и для комплексных чисел):

$(a+bi{)}^n=a^n+C_n^1{a}^{n-<!--\; -\; -->1}bi+C_2^n{a}^{n-<!--\; -\; -->2}{b}^2{i}^2+...+C_n^{n-<!--\; -\; -->1}a{b}^{n-<!--\; -\; -->1}{i}^{n-<!--\; -\; -->1}+b^n{i}^n,\mathrm{\forall <!--\; \forall \; -->}n\in <!--\; \in \; -->\mathbb{N}$$(a+bi)^{n}=a^{n}+C_{n}^{1}a^{n-1}bi+C_{2}^{n}a^{n-2}b^{2}i^{2}+...+C_{n}^{n-1}ab^{n-1}i^{n-1}+b^{n}i^{n},\quad \forall n\in \mathbb {N}$  .

Заменяя степени $i^k$$i^{k}$  в правой части формулы их значениями в соответствии с равенствами: $i^{4k}=1,i^{4k+1}=i,i^{4k+2}=-<!--\; -\; -->1,i^{4k+3}=-<!--\; -\; -->i,k\in <!--\; \in \; -->\mathbb{N}$$i^{4k}=1,i^{4k+1}=i,i^{4k+2}=-1,i^{4k+3}=-i,k\in \mathbb {N}$ , получим:

$(a+bi{)}^n=\underset{k=0}{\overset{[n/2]}{\sum <!--\; \sum \; -->}}(-<!--\; -\; -->1{)}^k{C}_n^{2k}{a}^{n-<!--\; -\; -->2k}{b}^{2k}+i\underset{k=0}{\overset{[(n-<!--\; -\; -->1)/2]}{\sum <!--\; \sum \; -->}}(-<!--\; -\; -->1{)}^k{C}_n^{2k+1}{a}^{n-<!--\; -\; -->2k-<!--\; -\; -->1}{b}^{2k+1}.$$(a+bi)^{n}=\sum _{k=0}^{[n/2]}(-1)^{k}C_{n}^{2k}a^{n-2k}b^{2k}+i\sum _{k=0}^{[(n-1)/2]}(-1)^{k}C_{n}^{2k+1}a^{n-2k-1}b^{2k+1}.$ 

Основой для более общего определения комплексной степени служит экспонента $e^z$$e^{z}$ , где $e$$e$  — число Эйлера, $z=x+iy$$z=x+iy$  — произвольное комплексное число.

Определим комплексную экспоненту с помощью такого же ряда, как и вещественную:

$e^z=1+z+\frac{z^2}{2!}+\frac{z^3}{3!}+\frac{z^4}{4!}+\cdots <!--\; \cdots \; -->.$$e^{z}=1+z+{\frac {z^{2}}{2!}}+{\frac {z^{3}}{3!}}+{\frac {z^{4}}{4!}}+\cdots .$ 

Этот ряд абсолютно сходится для любого комплексного $z,$$z,$  поэтому его члены можно как угодно перегруппировывать. В частности, отделим от него часть для $e^{iy}$$e^{iy}$ :

$e^{iy}=1+iy+\frac{(iy{)}^2}{2!}+\frac{(iy{)}^3}{3!}+\frac{(iy{)}^4}{4!}+\cdots <!--\; \cdots \; -->=\left(1-<!--\; -\; -->\frac{y^2}{2!}+\frac{y^4}{4!}-<!--\; -\; -->\frac{y^6}{6!}+\cdots <!--\; \cdots \; -->\right)+i\left(y-<!--\; -\; -->\frac{y^3}{3!}+\frac{y^5}{5!}-<!--\; -\; -->\cdots <!--\; \cdots \; -->\right).$$e^{iy}=1+iy+{\frac {(iy)^{2}}{2!}}+{\frac {(iy)^{3}}{3!}}+{\frac {(iy)^{4}}{4!}}+\cdots =\left(1-{\frac {y^{2}}{2!}}+{\frac {y^{4}}{4!}}-{\frac {y^{6}}{6!}}+\cdots \right)+i\left(y-{\frac {y^{3}}{3!}}+{\frac {y^{5}}{5!}}-\cdots \right).$ 

В скобках получились известные из вещественного анализа ряды для косинуса и синуса, и мы получили формулу Эйлера:

$e^z=e^x{e}^{yi}=e^x(\cos <!--\; \; -->y+i\sin <!--\; \; -->y)$$e^{z}=e^{x}e^{yi}=e^{x}(\cos y+i\sin y)$ 

Общий случай $a^b$$a^{b}$ , где $a,b$$a,b$  — комплексные числа, определяется через представление $a$$a$  в показательной форме: $a=r{e}^{i(\mathrm{\theta <!--\; \theta \; -->}+2\mathrm{\pi <!--\; \pi \; -->}k)}$$a=re^{i(\theta +2\pi k)}$  согласно определяющей формуле:

$a^b=(e^{\mathrm{Ln}<!--\; \; -->(a)}{)}^b=(e^{\ln <!--\; \; -->(r)+i(\mathrm{\theta <!--\; \theta \; -->}+2\mathrm{\pi <!--\; \pi \; -->}k)}{)}^b=e^{b(\ln <!--\; \; -->(r)+i(\mathrm{\theta <!--\; \theta \; -->}+2\mathrm{\pi <!--\; \pi \; -->}k))}.$$a^{b}=(e^{\operatorname {Ln} (a)})^{b}=(e^{\operatorname {ln} (r)+i(\theta +2\pi k)})^{b}=e^{b(\operatorname {ln} (r)+i(\theta +2\pi k))}.$ 

Здесь $\mathrm{Ln}$$\operatorname {Ln}$  — комплексный логарифм, $\ln$$\ln$  — его главное значение.

При этом комплексный логарифм — многозначная функция, так что, вообще говоря, комплексная степень определена неоднозначно. Неучёт этого обстоятельства может привести к ошибкам. Пример: возведём известное тождество $e^{2\mathrm{\pi <!--\; \pi \; -->}i}=1$$e^{2\pi i}=1$  в степень $i.$$i.$  Слева получится $e^{-<!--\; -\; -->2\mathrm{\pi <!--\; \pi \; -->}},$$e^{-2\pi },$  справа, очевидно, 1. В итоге: $e^{-<!--\; -\; -->2\mathrm{\pi <!--\; \pi \; -->}}=1,$$e^{-2\pi }=1,$  что, как легко проверить, неверно. Причина ошибки: возведение в степень $i$$i$  даёт и слева, и справа бесконечное множество значений (при разных $k$$k$ ), поэтому правило ${\left(a^b\right)}^c=a^{bc}$$\left(a^{b}\right)^{c}=a^{bc}$  здесь неприменимо. Аккуратное применение формул определения комплексной степени даёт слева и справа $e^{-<!--\; -\; -->2\mathrm{\pi <!--\; \pi \; -->}k};$$e^{-2\pi k};$  отсюда видно, что корень ошибки — путаница значений этого выражения при $k=0$$k=0$  и при $k=1.$$k=1.$ 

Степень как функцияПравить

РазновидностиПравить

Поскольку в выражении $x^y$$x^{y}$  используются два символа ($x$$x$  и $y$$y$ ), то его можно рассматривать как одну из трёх функций.

• Функция переменной $x$$x$  (при этом $y$$y$  — постоянная-параметр). Такая функция называется степенной. Обратная функция — извлечение корня.
• Функция переменной $y$$y$  (при этом $x$$x$  — постоянная-параметр). Такая функция называется показательной (частный случай — экспонента). Обратная функция — логарифм.
• Функция двух переменных $f(x,y)=x^y.$$f(x,y)=x^{y}.$  Отметим, что в точке $(0,0)$$(0, 0)$  эта функция имеет неустранимый разрыв. В самом деле, вдоль положительного направления оси $X,$$X,$  где $y=0,$$y=0,$  она равна единице, а вдоль положительного направления оси $Y,$$Y,$  где $x=0,$$x=0,$  она равна нулю.

Ноль в степени нольПравить

Основная статья: Ноль в нулевой степени

Выражение $0^0$$0^{0}$  (ноль в нулевой степени) многие учебники считают неопределённым и лишённым смысла, поскольку, как указано выше, функция $f(x,y)=x^y$$f(x,y)=x^{y}$  в точке (0, 0) разрывна. Некоторые авторы предлагают принять соглашение о том, что это выражение равно 1. В частности, тогда разложение в ряд экспоненты:

$e^x=1+\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{x^n}{n!}$$e^{x}=1+\sum _{n=1}^{\infty }{x^{n} \over n!}$ 

можно записать короче:

$e^x=\underset{n=0}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{x^n}{n!}.$$e^{x}=\sum _{n=0}^{\infty }{x^{n} \over n!}.$ 

Следует предостеречь, что соглашение $0^0=1$$0^0=1$  чисто символическое, и оно не может использоваться ни в алгебраических, ни в аналитических преобразованиях из-за разрывности функции в этой точке.

ИсторияПравить

ОбозначениеПравить

В Европе сначала степень величины записывали словесными сокращениями (q или Q обозначало квадрат, c или C — куб, bq или qq — биквадрат, то есть 4-я степень и т. д.) или как произведение — например, $x^4$$x^{4}$  изображалось как $xxxx.$$xxxx.$  Отред записывал $x^5-<!--\; -\; -->15x^4$$x^{5}-15x^{4}$  следующим образом: $1qc-<!--\; -\; -->15qq$$1qc-15qq$  (если неизвестная всего одна, ей часто не присваивался буквенный значок). Немецкая школа коссистов для каждой степени неизвестной предлагала особый готический значок.

В XVII веке постепенно стала преобладать идея явно указывать показатель степени. Жирар (1629 год) для возведения в степень числа ставил показатель в круглых скобках перед этим числом, а если числа правее показателя не было, то это значило, что подразумевается наличие неизвестного в указанной степени; например, $(2)2+1(2)$$(2)2+1(2)$  у него означало $2^2+x^2$$2^{2}+x^{2}$ . Варианты размещения показателя степени предлагали Пьер Эригон и шотландский математик Джеймс Юм, они записывали $x^4$$x^{4}$  в виде $x4$$x4$  и $x^{IV}$$x^{IV}$  соответственно.

Современная запись показателя степени — правее и выше основания — введена Декартом в его «Геометрии» (1637), правда, только для натуральных степеней, больших 2 (возведение в квадрат ещё долгое время обозначалось по-старому, произведением). Позднее Валлис и Ньютон (1676) распространили декартову форму записи степени на отрицательные и дробные показатели, трактовка которых к этому времени уже была известна из трудов Орема, Шюке, Стевина, Жирара и самого Валлиса. К началу XVIII столетия альтернативы для записи степеней «по Декарту», как выразился Ньютон в «Универсальной арифметике», «вышли из моды» (out of fashion). Показательная функция, то есть возведение в переменную степень, появилась сначала в письмах, а потом и в трудах Лейбница (1679). Возведение в мнимую степень обосновал Эйлер (1743).

Запись возведения в степень в языках программированияПравить

С появлением компьютеров и компьютерных программ возникла проблема, состоящая в том, что в тексте компьютерных программ невозможно записать степень в «двухэтажном» виде. В связи с этим изобрели особые значки для обозначения операции возведения в степень. Первым таким значком были две звёздочки: «**», используемые в языке Фортран. В появившемся несколько позже языке Алгол использовался значок стрелки: «↑» (стрелки Кну́та). В языке Бейсик предложен символ «^» («циркумфлекс», он же «карет»), который приобрёл наибольшую популярность; его часто используют при написании формул и математических выражений не только в языках программирования и компьютерных системах, но и в простом тексте. Примеры:

3^2 = 9; 5^2 = 25; 2^3 = 8; 5^3 = 125.

Иногда в компьютерных системах и языках программирования значок возведения в степень имеет левую ассоциативность, в отличие от принятого в математике соглашения о правой ассоциативности возведения в степень. То есть некоторые языки программирования (например, программа Excel) могут воспринимать запись a^b^c, как (a^b)^c, тогда как другие системы и языки (например, Haskell, Perl, Wolfram|Alpha и многие другие) обработают эту запись справа налево: a^(b^c), как это принято в математике: $a^{b^c}=a^{\left(b^c\right)}$$a^{b^{c}}=a^{\left(b^{c}\right)}$ .

Некоторые знаки возведения в степень в языках программирования и компьютерных системах:

• x ↑ y: Алгол, некоторые диалекты Бейсика;
• x ^ y: Бейсик, J, MATLAB, R, Microsoft Excel, TeX, bc, Haskell, Lua, MathML и большинство систем компьютерной алгебры;
• x ^^ y: Haskell, D;
• x ** y: Ада, Bash, Кобол, Фортран, FoxPro, Gnuplot, OCaml, Perl, PL/I, PHP, Python, REXX, Ruby, SAS, Seed7, Tcl, ABAP, Haskell, Turing^[en], VHDL, ECMAScript, AutoHotkey, JavaScript;
• x⋆y: APL.

Во многих языках программирования (например, в Java, Си и Паскале) отсутствует операция возведения в степень, и для этой цели используют стандартные функции.

Вариации и обобщенияПравить

Возведение в степень с натуральным показателем можно определить не только для чисел, но и для нечисловых объектов, для которых определено умножение — например, к матрицам, линейным операторам, множествам (относительно декартова произведения, см. декартова степень).

Обычно эта операция рассматривается в некотором мультипликативном моноиде $M$$M$  (полугруппе с единицей) и определяется индуктивно для любого $x\in <!--\; \in \; -->M$$x\in M$ :

• $x^0=e$$x^{0}=e$  (где $e$$e$  — единица моноида).
• $x^{n+1}=x^{n}x$$x^{n+1}=x^{n}x$ , где $n⩾<!--\; ⩾\; -->0$$n\geqslant 0$ 
• Если $n<0,$  то $x^n$$x^n$  определён только для обратимых элементов $x.$$x.$ 

Особенную ценность представляет применение возведения в степень к группам и полям, где возникает прямой аналог отрицательных степеней.

Гипероператор возведения в степень — тетрация.

ПримечанияПравить

Комментарии

ЛитератураПравить

• Александрова Н. В. История математических терминов, понятий, обозначений: Словарь-справочник. — 3-е изд. — СПб.: ЛКИ, 2008. — 248 с. — ISBN 978-5-382-00839-4.
• Выгодский М. Я. Справочник по элементарной математике. — М.: Наука, 1978. — 509 с.
  • Переиздание: М.: АСТ, 2006, ISBN 5-17-009554-6, 509 стр.
• Зайцев В. В., Рыжков В. В., Сканави М. И. Элементарная математика. Повторительный курс. — Издание третье, стереотипное. — М.: Наука, 1976. — 591 с.
• Степенная функция // Большая советская энциклопедия. — М.: Советская энциклопедия, 1969—1978.
• Cajori F. A History of Mathematical Notations. Vol. 1 (1929 reprint). — NY: Cosimo, Inc., 2007. — xvi + 456 p. — ISBN 978-1-60206-684-7.

СсылкиПравить

• Возведение в степень: правила, примеры  (неопр.). Дата обращения: 2 февраля 2020.