Основное логарифмическое тождество¶

Основное логарифмическое тождество — математическое равенство вида \(a^{\log_a b} = b\), связывающее операцию возведения в степень и логарифм. Оно справедливо при \(a > 0\), \(a \neq 1\) и \(b > 0\) и является прямым следствием определения логарифма. Тождество лежит в основе преобразований логарифмических выражений и широко применяется в алгебре, анализе и прикладных расчётах.

¶Определение и формулировка

Логарифмом числа \(b\) по основанию \(a\) называют показатель степени, в которую нужно возвести \(a\), чтобы получить \(b\). Это записывается так:

\[ \log_a b = c \iff a^c = b \]

Подставив в правую часть вместо \(c\) его выражение через логарифм, получают основное логарифмическое тождество:

\[ a^{\log_a b} = b \]

Условия применимости:

• основание \(a > 0\) и \(a \neq 1\);
• аргумент \(b > 0\).

Ограничения связаны с областью определения логарифма: при неположительном \(b\) логарифм не существует, а при \(a = 1\) выражение теряет смысл, поскольку \(1^c = 1\) при любом \(c\).

¶Связь с определением логарифма

Тождество не является самостоятельным утверждением — оно прямо вытекает из определения. Если \(\log_a b = c\), то по определению \(a^c = b\). Подстановка даёт исходное равенство. Именно поэтому тождество называют «основным»: оно кратко выражает взаимно обратный характер двух операций — возведения в степень и логарифмирования.

Аналогично можно записать обратное соотношение:

\[ \log_a a^c = c \]

Оно также следует из определения и часто используется вместе с основным тождеством.

¶Примеры применения

Тождество позволяет упрощать выражения и вычислять значения:

Отдельно выделяют случай \(b = a\): тогда \(\log_a a = 1\), и тождество даёт \(a^1 = a\). При \(b = 1\) получают \(\log_a 1 = 0\), то есть \(a^0 = 1\).

¶Доказательство

Доказательство опирается на определение логарифма и свойства степеней.

1. Пусть \(\log_a b = c\). По определению логарифма это равносильно равенству \(a^c = b\).
2. Подставим выражение для \(c\) в показатель степени: \(a^{\log_a b} = a^c\).
3. Поскольку \(a^c = b\), получаем \(a^{\log_a b} = b\).

Доказательство не требует дополнительных теорем и следует непосредственно из определения, что подтверждает фундаментальный характер тождества.

¶Применение в преобразованиях

Основное логарифмическое тождество используется при решении и упрощении уравнений и неравенств.

• Упрощение выражений. Степени с логарифмом в показателе заменяют исходным числом, что убирает логарифм из записи.
• Решение уравнений. Уравнения вида \(a^{f(x)} = b\) сводят к \(f(x) = \log_a b\), что является обратным применением тождества.
• Переход к новому основанию. Формула \(\log_a b = \frac{\log_c b}{\log_c a}\) выводится с использованием тождества и свойств степеней.
• Показательные уравнения. Выражения вида \(a^{\log_a b \cdot x}\) преобразуют к \(b^x\), что упрощает решение.

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

¶Частные случаи

Для наиболее употребительных оснований тождество принимает конкретный вид:

• Десятичные логарифмы: \(10^{\lg b} = b\), где \(\lg b = \log_{10} b\).
• Натуральные логарифмы: \(e^{\ln b} = b\), где \(\ln b = \log_e b\), а \(e \approx 2{,}71828\).
• Двоичные логарифмы: \(2^{\log_2 b} = b\), применяются в информатике.

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

¶Значение и обобщения

Тождество служит связующим звеном между показательной и логарифмической функциями, которые являются взаимно обратными. Графики \(y = a^x\) и \(y = \log_a x\) симметричны относительно прямой \(y = x\), а основное тождество выражает это свойство в алгебраической форме.

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

Тождество также обобщается на случай логарифмов по произвольному допустимому основанию и лежит в основе тождеств вида \(a^{\log_c b} = b^{\log_c a}\), которое получают логарифмированием обеих частей.

¶Типичные ошибки

При работе с тождеством встречаются ошибки, связанные с нарушением условий:

• применение при \(b \leq 0\), когда логарифм не определён;
• использование основания \(a = 1\) или \(a < 0\);
• путаница между \(a^{\log_a b}\) и \(\log_a a^b\) — это разные выражения, хотя оба связаны с определением;
• неверный перенос тождества на комплексные числа без учёта многозначности.

Соблюдение ограничений \(a > 0\), \(a \neq 1\), \(b > 0\) гарантирует корректность преобразований.

Источники: учебники по алгебре и началам анализа для средней школы, справочники по элементарной математике, курсы математического анализа.