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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Возведение в степень — бинарная операция, первоначально происходящая из многократного умножения натурального числа на самого себя. Обозначение: a^b называется степенью с основанием a и показателем b.

Натуральная степень[править | править вики-текст]

Число c называется n-й степенью числа a, если

c =\underbrace{a \cdot a\cdot ... \cdot a }_{n}.

Свойства:

  1. \left(ab\right)^n = a^nb^n
  2. \left({a\over b}\right)^n = {{a^n}\over{b^n}}
  3. a^na^m = a^{n+m}\!
  4. \left. {a^n\over {a^m}} \right. = a^{n-m}
  5. \left(a^n\right)^m = a^{nm}
  6. запись a^{n^m} не обладает свойством ассоциативности (сочетательности), то есть в общем случае левая ассоциативность не равна правой ассоциативности (a^n)^m \ne a^\left({n^m}\right), результат будет зависеть от последовательности действий, например, (2^2)^3=4^3=64\!, а 2^\left({2^3}\right)=2^8=256. Принято считать запись a^{n^m} равнозначной a^\left({n^m}\right), а вместо (a^n)^m можно писать просто a^{nm}, пользуясь предыдущим свойством.
  7. возведение в степень не обладает свойством коммутативности (переместительности): вообще говоря, a^b\ne b^a, например, 2^5=32, но 5^2=25.

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

Целая степень[править | править вики-текст]

	a^z = \begin{cases} 
              a^{z}, & \mbox{if }z>0
           \\ 1, & \mbox{if }z=0, a \ne \; 0
           \\ \frac{1}{a^{|z|}}, & \mbox{if }z<0, a \ne \; 0
              \end{cases}
0^n,n \leqslant 0 не определён

Рациональная степень[править | править вики-текст]

По определению, a^{p\over q} = (\sqrt[q]{a})^p, \quad p \in \mathbb{Z}, q \in \mathbb{N}

Результат не определен при a=0 и p/q \leqslant 0.

Для отрицательных a в результате вычисления степени получаются комплексные числа. См. подробнее Корень (математика)

Вещественная степень[править | править вики-текст]

Пусть a\geqslant 0, r  — вещественные числа, причём r — иррациональное число. Определим значение a^r следующим образом.

Как известно, любое вещественное число можно приблизить, сверху и снизу, двумя рациональными числами, то есть можно подобрать для r рациональный интервал ~[p,q] с любой степенью точности. Тогда общая часть всех соответствующих интервалов [a^p, a^q] состоит из одной точки, которая и принимается за a^r.

Другой подход основан на теории рядов и логарифмов. (см. определение комплексной степени)

Потенцирование[править | править вики-текст]

Потенцирование (от нем. potenzieren, возведение в степень) — это нахождение числа по известному значению его логарифма, то есть решение уравнения:

\log_a~x = b

Из определения логарифма вытекает, что x = a^b. Таким образом, потенцирование означает возведение основания логарифма в степень, равную значению логарифма. Например, если десятичный логарифм числа равен L, то искомое число равно 10^L.

Термин «потенцирование» впервые встречается у швейцарского математика Иоганна Рана (1659).

Комплексная степень[править | править вики-текст]

Сначала покажем, как вычисляется экспонента e^z, где e — число Эйлера, z — произвольное комплексное число, z=x+yi.

\,e^z = e^xe^{yi} = e^x(\cos y + i \sin y) = e^x\cos y + ie^x\sin y.

Теперь рассмотрим общий случай a^b, где a,b оба являются комплексными числами. Проще всего это сделать, представив a в экспоненциальной форме и используя тождество a^b=e^{b\ \operatorname{Ln}(a)}, где Ln — комплексный логарифм:

\,a^b = (re^{{\theta}i})^b = (e^{\operatorname{Ln}(r) + {\theta}i})^b = e^{(\operatorname{Ln}(r) + {\theta}i)b}.

Следует иметь в виду, что комплексный логарифм — многозначная функция, так что, вообще говоря, комплексная степень определена неоднозначно.

Степень как функция[править | править вики-текст]

Поскольку в выражении x^y принимают участие две переменные, то его можно рассматривать как:

Значок степени[править | править вики-текст]

Исторически степень, начиная с Декарта, обозначали «двухэтажной» записью вида a^b.

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

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

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

В компьютерных системах и языках программирования в случае нескольких степеней подряд «многоэтажная» запись степени и запись её с помощью значка степени (значков потребуется несколько) имеют разную ассоциативность: в записи a^b^c^d^f (с помощью значка степени) в различных системах может быть как левая, так и правая ассоциативность; например, программа Excel обрабатывает запись слева направо: ((((a^b)^c)^d)^f), некоторые другие системы и языки обработают запись справа налево: (a^(b^(c^(d^f)))). В математической нотации:

a^{b^{c^{d^f\!}\!}\!}\! (многоэтажный способ)

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

\bigg(a^{\Big(b^{\big(c^{(d^f)}\,\big)}\!\Big)}\bigg).

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

Языки Си и Паскаль не имеют специального значка и используют для возведения в степень функции.

См. также[править | править вики-текст]

Ссылки[править | править вики-текст]

Литература[править | править вики-текст]

Примечания[править | править вики-текст]

Комментарии[править | править вики-текст]

  1. Для целой степени
  2. Для неотрицательной целой степени
  3. Поддерживает отрицательные степени, в отличие от ^, реализованной только как последовательное умножение
  4. Начиная с версии 5.6 [1]
  5. Для степени, представленной числом с плавающей запятой — реализовано через логарифм
  6. Для рациональных степеней