Степені
Вступ до степенів
Степені — це математичні операції, які показують, скільки разів число має бути помножене саме на себе. Стандартний спосіб запису степеня — \(a^{\large{n}}\), де \(a\) — основа, а \(n\) — показник степеня: \[a^n = \underbrace{a \cdot a \cdot a \cdots a}_{n \text{ разів}} \quad \text{при} \quad a \in \mathbb{R}, \quad n \in \mathbb{Z}^+ \tag{1}\]
З геометричної точки зору, якщо розглянемо додатне число \( a \), можна помітити, що вирази \( a^2 \) та \( a^3 \) відповідно позначають площу квадрата зі стороною \( a \) та об'єм куба з ребром \( a \).
Значення показника \( n \) може бути додатним, від'ємним або дорівнювати нулю. Коли показник є від'ємним, це вказує на обернену залежність між степенями, що виражається наступним чином: \[a^{-n} = \frac{1}{a^{n}}\] Це означає, що піднесення числа до від'ємного степеня еквівалентне взяттю оберненого значення того самого числа, піднесеного до відповідного додатного степеня. Якщо показник є дробовим, наприклад \( n = \frac{1}{m} \), степінь можна переписати у вигляді ірраціонального виразу (кореня) наступним чином: \[a^{\frac{1}{m}} = \sqrt[m]{a}\] Цей вираз представляє \(m\)-й корінь з \( a \). Поєднуючи обидва поняття, від'ємний дробовий показник можна інтерпретувати як обернений корінь: \[a^{-\frac{1}{m}} = \frac{1}{\sqrt[m]{a}}\] Таке уніфіковане позначення дозволяє показникам представляти як степені, так і корені, що спрощує багато алгебраїчних виразів і робить правила степенів узгодженими для різних випадків.
У таблиці нижче наведено вибрані значення \(a^n\). Кожен рядок відповідає фіксованій основі \(a\), а кожен стовпець — фіксованому показнику \(n\).
| \( a^{-2} \) | \( a^{-1} \) | \( a^{0} \) | \( a^{1} \) | \( a^{2} \) | … | |
|---|---|---|---|---|---|---|
| \(-2\) | \( \dfrac{1}{4} \) | \( -\dfrac{1}{2} \) | \( 1 \) | \( -2 \) | \( 4 \) | … |
| \(-1\) | \( 1 \) | \( -1 \) | \( 1 \) | \( -1 \) | \( 1 \) | … |
| \(0\) | — | — | — | \( 0 \) | \( 0 \) | … |
| \(1\) | \( 1 \) | \( 1 \) | \( 1 \) | \( 1 \) | \( 1 \) | … |
| \(2\) | \( \dfrac{1}{4} \) | \( \dfrac{1}{2} \) | \( 1 \) | \( 2 \) | \( 4 \) | … |
| … | … | … | … | … | … | … |
Символ — вказує на те, що вираз не визначений: від'ємні степені нуля передбачають ділення на нуль, а \(0^0\) є невизначеністю.
Якщо основа \( a \) є від'ємною, знак \( a^n \) змінюється залежно від парності \( n \). Наприклад, \( (-1)^n = 1 \), коли \( n \) парне, і \( (-1)^n = -1 \), коли \( n \) непарне. Така поведінка зі зміною знака є особливо важливою при аналізі послідовностей та granic. Крім того, з від'ємними основами та дробовими показниками слід поводитися обережно, оскільки такі вирази, як \( (-1)^{1/2} \), не визначені в \( \mathbb{R} \).
Степені з дійсними показниками
Означення \( a^n \) у \(1\) є дійсним лише для додатних цілих чисел \( n \), але ідея повторюваного множення не працює, коли показник не є цілим числом. Розширення цієї концепції на дійсні показники потребує іншого підходу, що ґрунтується на показниковій функції та натуральному логарифмі. Для будь-якої додатної основи \( a > 0 \) та дійсного показника \( x \in \mathbb{R} \), степінь \( a^x \) визначається наступним чином: \[a^x = e^{x \ln a}\] Коли \( x \) є додатним цілим числом, це дає повторюване множення. Для раціональних \( x \) це узгоджується з інтерпретацією через корінь. Щоб перевірити це, нехай \( x = \frac{p}{q} \), де \( p, q \in \mathbb{Z} \) та \( q \neq 0 \). Застосування означення дає наступне:
\[e^{\frac{p}{q} \ln a} = \left(e^{\ln a}\right)^{\frac{p}{q}} = a^{\frac{p}{q}}\]
Це підтверджує, що показникове означення зводиться до звичайної інтерпретації через корінь, коли показник є раціональним, і ці два позначення повністю узгоджені. Необхідність такого розширення можна проілюструвати, розглянувши \( 2^{\sqrt{2}} \). Оскільки \( \sqrt{2} \) є ірраціональним і не може бути записаним у вигляді дробу \( \frac{m}{n} \), означення через корінь незастосовне. Застосування означення для дійсного показника дає наступне: \[2^{\sqrt{2}} = e^{\sqrt{2} \ln 2} \approx e^{0.9803} \approx 2.665\] Це значення є добре визначеним і може бути наближене з будь-якою заданою точністю. Це означення також пояснює, чому основа має задовольняти умову \( a > 0 \). Якщо \( a \leq 0 \), вираз \( \ln a \) не визначений у \( \mathbb{R} \), і розширення неможливе. Це узгоджується з попереднім зауваженням про те, що від'ємні основи з дробовими показниками не дають дійсних чисел. Як результат, функція \( f(x) = a^x \) є неперервною та диференційовною для всіх дійсних чисел, коли \( a > 0 \).
Основні правила степенів
Наступні правила регулюють маніпуляції з виразами, що містять степені. Вони виконуються для дійсних основ і показників за умов, зазначених у кожному випадку.
Піднесення будь-якої основи, що не дорівнює нулю, до степеня нуль завжди дає \(1\). Значення \(a\) обмежене, оскільки операція \(0^0\) не має сенсу і вважається невизначеною формою. \[a^0 = 1 \quad \text{якщо} \quad a \neq 0\]
Будь-який степінь нуля завжди дорівнює нулю, оскільки він відповідає добутку \( n \) нулів, де \( n \) — це показник степеня: \[0^n = 0 \quad \text{для } n > 0\] Умова \( n > 0 \) є необхідною, оскільки \( 0^0 \) є невизначеною формою. Залежно від контексту, до неї можна підійти як до границі двома способами: \[\lim_{x \to 0^+} 0^x = 0\] \[\lim_{x \to 0} x^0 = 1\] Таким чином, форма \( 0^0 \) залишається невизначеною в контексті granic. Загалом, наступні вирази є невизначеними формами, що означає, що їхнє значення не може бути визначене без подальшого аналізу конкретної границі: \( 0^0 \), \( 1^{\infty} \), та \( \infty^0 \).
Однак у комбінаториці та алгебрі їй зазвичай приписують значення \( 1 \), оскільки вона природно виникає у таких виразах, як біноміальна теорема.
Добуток двох або більше степенів з однаковою основою \(a\) є степенем з тією ж основою та показником, що дорівнює сумі показників: \[a^n \cdot a^m = a^{n+m}\] Щоб зрозуміти, чому це так, зауважимо, що \( a^n \) представляє добуток \( n \) множників, що дорівнюють \( a \), а \( a^m \) представляє добуток \( m \) таких множників. Поєднання цих двох добутків дає всього \( n+m \) множників, що є саме \( a^{n+m} \). Формально аргумент виглядає так: \[a^n \cdot a^m = \underbrace{a \cdot a \cdots a}_{n \text{ разів}} \cdot \underbrace{a \cdot a \cdots a}_{m \text{ разів}} = \underbrace{a \cdot a \cdots a}_{n+m \text{ разів}} = a^{n+m}\] Це міркування безпосередньо застосовується до додатних цілих показників, оскільки воно ґрунтується на підрахунку множників. Для цілих, раціональних або дійсних показників той самий результат випливає з означення \( a^x = e^{x \ln a} \). Оскільки покажчикова функція задовольняє рівності \( e^u \cdot e^v = e^{u+v} \), ми маємо наступне: \[a^n \cdot a^m = e^{n \ln a} \cdot e^{m \ln a} = e^{(n+m) \ln a} = a^{n+m}\]
Добуток степенів з різними основами \(a\) та \(b\), але з однаковим показником \(n\), є степенем, основою якого є добуток початкових основ. \[a^{n} \cdot b^n = (ab)^n\]
Розглянемо вираз \(2^3 \cdot 5^3\). Оскільки обидва множники мають однаковий показник, їх можна об'єднати в один степінь добутку основ, що дає \(2^3 \cdot 5^3 = (2 \cdot 5)^3 = 10^3\).
Частка двох степенів з однаковою основою \(a\) є степенем з тією ж основою та показником, що дорівнює різниці показників. \[\frac{a^n}{a^m} = a^{n-m}\] Це безпосередньо випливає з уже встановленого правила добутку. Ділення на \(a^m\) еквівалентне множенню на \(a^{-m}\), тому частку можна переписати наступним чином: \[\frac{a^n}{a^m} = a^n \cdot a^{-m} = a^{n+(-m)} = a^{n-m}\] Умова \(a \neq 0\) необхідна для того, щоб \(a^{-m}\) було визначеним.
Частка степенів з різними основами \(a\) та \(b\), але з однаковим показником \(n\), є степенем, основою якого є частка початкових основ. \[\frac{a^n}{b^n} = \left(\frac{a}{b}\right)^n\]
Розглянемо вираз \(\dfrac{6^3}{2^3}\). Оскільки обидва члени мають однаковий показник, частку можна переписати як один степінь відношення основ, що дає \(\dfrac{6^3}{2^3} = \left(\dfrac{6}{2}\right)^3 = 3^3 = 27\).
Степінь степеня — це степінь з тією ж основою та показником, що дорівнює добутку двох показників. \[(a^m)^n = a^{m \cdot n}\]
Розглянемо вираз \((2^3)^4\). Застосовуючи правило степеня степеня, два показники перемножуються, що дає \((2^3)^4 = 2^{3 \cdot 4} = 2^{12}\).
Коли основа \(a\) підноситься до від'ємного показника, результатом є обернена величина тієї самої основи, піднесеної до відповідного додатного показника. \[a^{-n} = \frac{1}{a^n} \quad \text{за умови} \quad a \neq 0 \quad \text{та} \quad n > 0\]
Коли показник є раціональним числом вигляду \( \frac{m}{n} \), степінь можна виразити як корінь. \[a^{\frac{m}{n}} = \sqrt[n]{a^m} \quad \text{де} \quad m, n \in \mathbb{N} \quad \text{та} \quad n \neq 0\]
Властивості степенів перетворюють множення та ділення чисел, піднесених до степеня, на простіші операції, що робить обчислення швидшими та зручнішими, особливо в алгебраїчних виразах.
Підсумок
| Нульовий показник | \[ a^0 = 1 \] | \[ a \neq 0 \] |
| Степінь нуля | \[ 0^n = 0 \] | \[ n > 0 \] |
| Добуток (однакова основа) | \[ a^n \cdot a^m = a^{n+m} \] | \[ a \in \mathbb{R} \] |
| Добуток (однаковий показник) | \[ a^n \cdot b^n = (ab)^n \] | \[ a, b \in \mathbb{R} \] |
| Частка (однакова основа) | \[ \dfrac{a^n}{a^m} = a^{n-m} \] | \[ a \neq 0 \] |
| Частка (однаковий показник) | \[ \dfrac{a^n}{b^n} = \left(\dfrac{a}{b}\right)^n \] | \[ b \neq 0 \] |
| Степінь степеня | \[ (a^m)^n = a^{mn} \] | \[ a \in \mathbb{R} \] |
| Від'ємний показник | \[ a^{-n} = \dfrac{1}{a^n} \] | \[ a \neq 0,\ n > 0 \] |
| Раціональний показник | \[ a^{\frac{m}{n}} = \sqrt[n]{a^m} \] | \[ a > 0,\ n \neq 0 \] |
| Дійсний показник | \[ a^x = e^{x \ln a} \] | \[ a > 0,\ x \in \mathbb{R} \] |
Чому \( a^0 = 1 \)?
Серед властивостей степенів результат \(a^0 = 1\) спочатку може здатися контрінтуїтивним, але цей результат прямо випливає з правила ділення, згідно з яким ділення будь-якого степеня на самого себе дає \(1\). \[\frac{a^n}{a^n} = 1\] Застосування правила ділення до лівої частини дає наступне: \[\frac{a^n}{a^n} = a^{n-n} = a^0\] Це міркування встановлює, що \( a^0 = 1 \). Умова \( a \neq 0 \) є прямим наслідком аргументу, оскільки вираз \( \frac{a^n}{a^n} \) визначений лише тоді, коли \( a \neq 0 \).
Іноді люди помилково плутають поняття степеня та показникової функції. Степінь — це арифметична операція, при якій основа \(a\) множиться на саму себе \(n\) разів, де \(n\) називається показником. Показникова функція, навпаки, є функцією, в якій змінна з'являється в показнику, а не в основі, і має вигляд: \[f(x) = e^x \quad \text{або} \quad f(x) = a^x\] де \(a > 0\) та \(a \neq 1\).
Степені з комплексними показниками
Означення \( a^x = e^{x \ln a} \) природним чином поширюється на випадки, коли показник є комплексним. Коли показник є чисто уявним, тобто коли \( x = i\theta \) при \( \theta \in \mathbb{R} \), вираз \( e^{i\theta} \) є визначеним, якщо інтерпретувати експоненту через її розклад у ряд Тейлора. Нагадаємо, що: \[e^z = \sum_{n=0}^{\infty} \frac{z^n}{n!}\] і підставивши \( z = i\theta \), ряд розпадається на дійсну та уявну частини завдяки періодичності степенів \( i \), що дає формулу Ейлера. \[e^{i\theta} = \cos\theta + i\sin\theta\] Цей результат встановлює глибокий зв'язок між експоненціальною функцією та тригонометрією, показуючи, що ці дві є, фактично, різними виразами однієї й тієї ж базової структури над комплексними числами. Це дозволяє представити будь-яке комплексне число в експоненціальній формі як \( z = re^{i\theta} \), де \( r \) позначає модуль, а \( \theta \) — аргумент. Помітним наслідком є одна з найвідоміших тотожностей у математиці, отримана при \( \theta = \pi \). \[e^{i\pi} + 1 = 0\] Це рівняння, відоме як тотожність Ейлера, об'єднує п'ять фундаментальних математичних сталих в одному виразі. Вичерпне обговорення комплексних показників, включаючи методи обчислення степенів і коренів комплексних чисел, наведено на сторінці комплексні числа в експоненціальній формі.