Свойства логарифмов: откуда берутся правила · Mathmaxing

Свойства логарифмов: откуда берутся правила

Выводим свойства логарифмов из степеней и разбираем произведение, частное и степень на одном примере.

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

При a>0a>0, a1a\ne1, x>0x>0 и y>0y>0 действуют три основных равенства:

loga(xy)=logax+logay,\log_a(xy)=\log_a x+\log_a y, logaxy=logaxlogay,loga(xr)=rlogax.\log_a\frac{x}{y}=\log_a x-\log_a y, \qquad \log_a(x^r)=r\log_a x.

Почему произведение превращается в сумму

Пусть logax=p\log_a x=p и logay=q\log_a y=q. По определению логарифма это означает x=apx=a^p и y=aqy=a^q. Перемножим числа:

xy=apaq=ap+q.xy=a^p\cdot a^q=a^{p+q}.

Показатель степени у произведения равен p+qp+q. Значит, loga(xy)=p+q=logax+logay\log_a(xy)=p+q=\log_a x+\log_a y.

flowchart LR
  accTitle: Происхождение свойства логарифма произведения
  accDescr: Произведение степеней складывает показатели, поэтому логарифм произведения равен сумме логарифмов.
  A["x = aᵖ, y = aᑫ"] --> B["xy = aᵖ · aᑫ"]
  B --> C["xy = aᵖ⁺ᑫ"]
  C --> D["logₐ(xy) = p + q"]

Полностью разобранный пример

Упростим выражение

log240log25.\log_2 40-\log_2 5.

Разность логарифмов собирается в логарифм частного:

log240log25=log2405=log28=3.\log_2 40-\log_2 5=\log_2\frac{40}{5}=\log_2 8=3.

Последний переход следует из 23=82^3=8. Мы использовали правило в направлении, которое сделало аргумент удобным для вычисления.

Другой пример раскрывает степень:

log3(9x2)=log39+log3(x2)=2+2log3x,\log_3(9x^2)=\log_3 9+\log_3(x^2)=2+2\log_3 x,

где обязательно x>0x>0, если выражение записано именно как log3x\log_3 x.

Правила для суммы нет

Равенство loga(x+y)=logax+logay\log_a(x+y)=\log_a x+\log_a y неверно. Возьмём x=y=1x=y=1:

loga(1+1)=loga2,loga1+loga1=0.\log_a(1+1)=\log_a2, \qquad \log_a1+\log_a1=0.

Левая и правая части различаются. Причина в том, что свойства степеней связывают сложение показателей с умножением степеней. Сложение самих степеней такого правила не создаёт.

Область допустимых значений

Каждый аргумент логарифма должен быть положительным. В записи log2(x1)+log2(x+3)\log_2(x-1)+\log_2(x+3) одновременно нужны условия x>1x>1 и x>3x>-3. Вместе они дают x>1x>1.

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

Формула перехода к новому основанию

Если нужного основания нет на калькуляторе, используйте

logax=logbxlogba.\log_a x=\frac{\log_b x}{\log_b a}.

Здесь bb — любое допустимое основание. Обычно берут 1010 или ee, потому что кнопки lg\lg и ln\ln есть почти на любом инженерном калькуляторе. Например,

log27=ln7ln22,807.\log_2 7=\frac{\ln 7}{\ln 2}\approx2{,}807.

Формула следует из определения. Если ap=xa^p=x, то после логарифмирования по основанию bb получаем plogba=logbxp\log_ba=\log_bx, откуда и выражаем pp.

Частный полезный случай:

logab=1logba.\log_a b=\frac1{\log_b a}.

Как раскрывать логарифм без потери условий

Рассмотрим log2 ⁣(8x3y)\log_2\!\left(\dfrac{8x^3}{y}\right). Сначала фиксируем условия исходной записи: 8x3/y>08x^3/y>0 и y0y\ne0. Если дополнительно известно, что x>0x>0 и y>0y>0, можно написать

log2 ⁣(8x3y)=log28+log2(x3)log2y=3+3log2xlog2y.\log_2\!\left(\frac{8x^3}{y}\right) =\log_2 8+\log_2(x^3)-\log_2y =3+3\log_2x-\log_2y.

Без условий x>0x>0 переход к 3log2x3\log_2x незаконен: логарифм xx может не существовать, хотя исходное отношение положительно. Для вещественного x0x\ne0 корректная универсальная запись loga(x2)=2logax\log_a(x^2)=2\log_a|x|, а не 2logax2\log_ax.

Как сворачивать сумму логарифмов

Обратное направление правил часто помогает решать уравнения:

2log3xlog3(x1)=log3(x2)log3(x1)=log3x2x1.2\log_3x-\log_3(x-1) =\log_3(x^2)-\log_3(x-1) =\log_3\frac{x^2}{x-1}.

Но до сворачивания нужно записать x>0x>0 и x1>0x-1>0, то есть x>1x>1. Новое единое выражение не отменяет ограничения каждого исходного логарифма.

Памятка: какое правило выбрать

flowchart TD
  accTitle: Выбор свойства логарифма по операции внутри аргумента
  accDescr: Произведение раскрывается в сумму, частное в разность, степень выносится множителем, а для суммы отдельного правила нет.
  A["Что внутри логарифма?"] --> B["Произведение xy"]
  A --> C["Частное x/y"]
  A --> D["Степень xʳ"]
  A --> E["Сумма x+y"]
  B --> F["log x + log y"]
  C --> G["log x − log y"]
  D --> H["r · log x"]
  E --> I["Не раскрывать"]

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

Читайте дальше