Список на логаритамски идентитети

Во математиката постојат многу логаритамски идентитети. Во продолжение е дадена компилација на позначајните од нив, од кои многу се користат за пресметковни цели.
1 Тривијални идентитети
<math>\log_b(1) = 0 </math>, бидејќи, <math> b^ под претпоставка дека ''b'' не е еднакво на 0
<math>\log_b(b) = 1 </math>, бидејќи, <math> b^
=== Објаснувања ===
По дефиниција, знаеме дека: <math>\color{black} \log \color{blue}_b \color{black} (\color{green}y\color{black}) = \color{red}x\color{black} \iff \color{blue}b\color{black} \color{red}^x\color{black} = \color{green}y\color{black}</math>, каде <math>\color{blue}b\color{black} \neq 0 </math> .
Ако се земе <math>\color{red}x\color{black} = 0</math>, може да се види дека: <math>
\color{blue}b\color{black} \color{red}^x\color{black} = \color{green}y\color{black}
\iff \color{blue}b\color{black} \color{red}^{(0)}\color{black} = \color{green}y\color{black}
\iff \color{blue}1\color{black} = \color{green}y\color{black}
\iff \color{green}y\color{black} = \color{blue}1\color{black}
</math> . Значи, заменувајќи ги овие вредности во формулата, гледаме дека: <math>
\color{black} \log \color{blue}_b \color{black} (\color{green}y\color{black}) = \color{red}x\color{black}
\iff \color{black} \log \color{blue}_b \color{black} (\color{blue}1\color{black}) = \color{red}0\color{black}
</math>, што ни го дава првото својство.
Ставајќи <math>\color{red}x\color{black} = 1</math>, може да се види дека: <math>
\color{blue}b\color{black} \color{red}^x\color{black} = \color{green}y\color{black}
\iff \color{blue}b\color{black} \color{red}^{(1)}\color{black} = \color{green}y\color{black}
\iff \color{blue}b\color{black} = \color{green}y\color{black}
\iff \color{green}y\color{black} = \color{blue}b\color{black}
</math> . Значи, заменувајќи ги овие вредности во формулата, се гледа дека: <math>
\color{black} \log \color{blue}_b \color{black} (\color{green}y\color{black}) = \color{red}x\color{black}
\iff \color{black} \log \color{blue}_b \color{black} (\color{blue}b\color{black}) = \color{red}1\color{black}
</math>, што ни го дава второто својство.
Многу математички идентитети се нарекуваат ''тривијални'', само затоа што се релативно едноставни (обично од перспектива на искусен математичар). Ова не значи дека нарекувањето идентитет или формула ''тривијални'' значи дека тие не се важни.
2 Поништување на степени
Логаритмите и експонентите со иста основа се поништуваат едни со други. Ова е точно бидејќи логаритмите и степените се инверзни операции - слично како што множењето и делењето се инверзни операции, а собирањето и одземањето се инверзни операции.
:<math>b^{\log_b(x)} = x\text{ because }\mbox{antilog}_b(\log_b(x)) = x</math>:<math>\log_b(b^x) = x\text{ because }\log_b(\mbox{antilog}_b(x)) = x</math>
И двете горенаведени идентитети се изведени од следните две равенки кои дефинираат логаритам: (треба да се напомене дека во ова објаснување, променливите на <math> \color{red}x\color{black}</math> и <math>x</math> можеби не се однесуваат на истиот број)
<math>\color{black} \log \color{blue}_b \color{black} (\color{green}y\color{black}) = \color{red}x\color{black} \iff \color{blue}b\color{black} \color{red}^x\color{black} = \color{green}y\color{black}</math>
Гледајќи ја равенката <math> \color{blue}b\color{black} \color{red}^x\color{black} = \color{green}y\color{black} </math>, и заменувајќи ја вредноста за <math>\color{red}x\color{black}</math> на <math> \color{black} \log \color{blue}_b \color{black} (\color{green}y\color{black}) = \color{red}x\color{black} </math>, се добива следната равенка: <math>
\color{blue}b\color{black} \color{red}^x\color{black} = \color{green}y\color{black}
\iff \color{blue}b\color{black} \color{red}^{ \log _b (y)}\color{black} = \color{green}y\color{black}
\iff \color{blue}b\color{black} \color{red}^{\color{black} \log \color{blue}_b \color{black} (\color{green}y\color{black})}\color{black} = \color{green}y\color{black}
</math>, што ни ја дава првата равенка. Друг погруб начин да се размислува за тоа е <math> \color{blue}b\color{black} \color{red}^{\text{something\color{black} = \color{green}y\color{black}</math>, и дека "<math>\color{red}{\text{something</math>“ е <math> \color{black} \log \color{blue}_b \color{black} (\color{green}y\color{black}) </math> .
Гледајќи ја равенката <math> \color{black} \log \color{blue}_b \color{black} (\color{green}y\color{black}) = \color{red}x\color{black}</math>, и заменувајќи ја вредноста за <math> \color{green}y\color{black} </math> на <math>\color{blue}b\color{black} \color{red}^x\color{black} = \color{green}y\color{black}</math>, се добива следната равенка: <math>
\color{black} \log \color{blue}_b \color{black} (\color{green}y\color{black}) = \color{red}x\color{black}
\iff \color{black} \log \color{blue}_b \color{black} (\color{green} b^x\color{black}) = \color{red}x\color{black}
\iff \color{black} \log \color{blue}_b \color{black} ({\color{blue}b\color{black} \color{red}^x\color{black\color{black}) = \color{red}x\color{black}
</math>, што ни ја дава втората равенка. Друг погруб начин да се размислува за тоа е <math> \color{black} \log \color{blue}_b \color{black} (\color{green}\text{something}\color{black}) = \color{red}x\color{black}</math> и дека тоа нешто “<math>\color{green}\text{something}</math>“ е <math> \color{blue}b\color{black} \color{red}^x\color{black}</math>.
3 Користење на поедноставни операции
<math>\log_b(xy)=\log_b(x)+\log_b(y)</math>, бидејќи, <math>b^c b^
<math>\log_b(\tfrac{x}{y})=\log_b(x)-\log_b(y)</math>, бидејќи, <math>\tfrac{b^c}{b^d}=b^{c-d}</math><math>\log_b(x^d)=d\log_b(x)</math>, бидејќи, <math>(b^c)^
<math>\log_b\left(\sqrt[y]{x}\right)=\frac{\log_b(x)}{y}</math>, бидејќи, <math>\sqrt[y]{x}=x^{1/y}</math><math>x^{\log_b(y)}=y^{\log_b(x)}</math>, бидејќи, <math>x^{\log_b(y)}=b^{\log_b(x)\log_b(y)}=(b^{\log_b(y)})^{\log_b(x)}=y^{\log_b(x)}</math><math>c\log_b(x)+d\log_b(y)=\log_b(x^c y^d)</math>, бидејќи, <math>\log_b(x^c y^d)=\log_b(x^c)+\log_b(y^d)</math>
Каде <math>b</math>, <math>x</math>, и <math>y</math> се позитивни реални броеви и <math>b \ne 1</math>, и <math>c</math> и <math>d</math> се реални броеви.
Законите произлегуваат од поништување на степените и соодветниот закон на степени. Почнувајќи од првиот закон:
<math>xy = b^{\log_b(x)} b^{\log_b(y)} = b^{\log_b(x) + \log_b(y)} \Rightarrow \log_b(xy) = \log_b(b^{\log_b(x) + \log_b(y)}) = \log_b(x) + \log_b(y)</math>
Законот за степенување користи уште еден од законите на степени:
<math>x^y = (b^{\log_b(x)})^y = b^{y \log_b(x)} \Rightarrow \log_b(x^y) = y \log_b(x)</math>
Потоа следува законот кој се однесува на количниците:
<math>\log_b \bigg(\frac{x}{y}\bigg) = \log_b(x y^{-1}) = \log_b(x) + \log_b(y^{-1}) = \log_b(x) - \log_b(y)</math><math>\log_b \bigg(\frac{1}{y}\bigg) = \log_b(y^{-1}) = - \log_b(y)</math>
Слично на тоа, законот за коренување е изведен со пишување на коренот како реципрочна вредност на степен:
<math>\log_b(\sqrt[y]x) = \log_b(x^{\frac{1}{y) = \frac{1}{y}\log_b(x)</math>
3.1 Изведувања на правила за производ, количник и степен
Ова се трите главни логаритамски закони/правила/принципи, од кои може да се докажат другите својства наведени погоре. Секое од овие логаритамски својства одговара на нивниот соодветен закон за експоненти, а нивните изведувања/докази ќе зависат од тие факти. Постојат повеќе начини да се изведе/докаже секој логаритамски закон—ова е само еден можен метод.
3.1.1 Логаритам на производ
Формално запишување на законот на ''логаритам на производ'':
<math>
\forall b \in \mathbb{R}_+, b \neq 1, \forall x, y, \in \mathbb{R}_+,
\log_b(xy) = \log_b(x) + \log_b(y)
</math>
Така, изведбата за законот за производ на логаритми е завршена!
Нека <math>b \in \mathbb{R}_+</math>, каде <math>b \neq 1</math>, и нека <math>x, y \in \mathbb{R}_+</math> .
Целта е некако да се поврзат изразите <math>\log_b(x)</math> и <math>\log_b(y)</math>. Нема многу алатки за работа со логаритми, па ако ги преработиме како експоненти, веројатно ќе биде полесно да се справи со нив. Дополнително, бидејќи ќе се осврнеме на <math>\log_b(x)</math> и <math>\log_b(y)</math> доста често, ќе им дадеме некои имиња на променливи за да ја олесниме работата со нив.
Нека <math>m = \log_b(x)</math>, и нека <math>n = \log_b(y)</math> .
Препишувајќи ги овие како експоненти, се гледа дека:
<math>m = \log_b(x) \iff b^m = x</math> и <math>n = \log_b(y) \iff b^n = y</math>
Оттука, може да се види дека може да се поврзат <math>b^m</math> (т.е. <math>x</math>) и <math>b^n</math> (т.е. <math>y</math>) користејќи ги законите за експоненти, како <math>xy = (b^m)(b^n) = b^m \cdot b^n = b^{m + n}</math> . Значи, може да се поедностави на следниов начин:
<math>
\begin{align}
& & xy &= xy \\
&\iff &
xy &= (b^m)(b^n) \\
&\iff &
xy &= b^m \cdot b^n \\
&\iff &
xy &= b^{m + n} \\
\end{align}
</math>
Сега, бидејќи сакаме да ги дознаеме својствата на логаритмите, треба да ја имаме функцијата логаритам некаде во нашата равенка. Значи, ќе ја аплицираме <math>\log_b</math> на двете страни на еднаквоста.
<math>
\begin{align}
&\iff &
\log_b(xy) &= \log_b(b^{m + n})
\end{align}
</math>
Оттука, всушност можеме да го поедноставиме изразот на десната страна! Користејќи едно од логаритамските својства од претходно, знаеме дека <math>\log_b(b^{m + n}) = m + n</math> .
<math>
\begin{align}
&\iff &
\log_b(xy) &= m + n
\end{align}
</math>
Откако ќе дојдеме до оваа фаза, ќе ги замениме вредностите за <math>m</math> и <math>n</math> во нашата равенка, така што нашиот конечен израз е само во однос на <math>x</math>, <math>y</math>, и <math>b</math> .
<math>
\begin{align}
&\iff &
\log_b(xy) &= \log_b(x) + \log_b(y) \\
&\iff &
\log_b(x) + \log_b(y) &= \log_b(xy)
\end{align}
</math>
Изведување:
3.1.2 Логаритам на количник
Формално запишување на законот за ''логаритам на количник'':
<math>
\forall b \in \mathbb{R}_+, b \neq 1, \forall x, y, \in \mathbb{R}_+,
\log_b \left( \frac{x}{y} \right) = \log_b(x) - \log_b(y)
</math>
Така, изводувањето на законот за количник за логаритми е завршено!
Нека <math>b \in \mathbb{R}_+</math>, каде <math>b \neq 1</math>, и нека <math>x, y \in \mathbb{R}_+</math> .
Целта е некако да се поврзат изразите <math>\log_b(x)</math> и <math>\log_b(y)</math>. Нема многу алатки за работа со логаритми, па ако ги преработиме како експоненти, веројатно ќе биде полесно да се справи со нив. Дополнително, бидејќи ќе се осврнеме на <math>\log_b(x)</math> и <math>\log_b(y)</math> доста често, ќе им дадеме некои имиња на променливи за да ја олесниме работата со нив.
Нека <math>m = \log_b(x)</math>, и нека <math>n = \log_b(y)</math> .
Препишувајќи ги овие како степени, се гледа дека:
<math>m = \log_b(x) \iff b^m = x</math> и <math>n = \log_b(y) \iff b^n = y</math>
Оттука, може да се види дека може да се поврзат <math>b^m</math> (т.е. <math>x</math>) и <math>b^n</math> (т.е. <math>y</math>) користејќи ги законите за степени, како <math>\frac{x}{y} = \frac{(b^m)}{(b^n)} = \frac{b^m}{b^n} = b^{m - n}</math> . Значи, можеме да се поедностави на следниов начин:
<math>
\begin{align}
& & \frac{x}{y} &= \frac{x}{y} \\
&\iff &
\frac{x}{y} &= \frac{(b^m)}{(b^n)} \\
&\iff &
\frac{x}{y} &= \frac{b^m}{b^n} \\
&\iff &
\frac{x}{y} &= b^{m - n} \\
\end{align}
</math>
Сега, бидејќи сакаме да ги дознаеме својствата на логаритмите, треба да ја имаме функцијата логаритам некаде во нашата равенка. Значи, ќе ја аплицираме <math>\log_b</math> на двете страни на еднаквоста.
<math>
\begin{align}
&\iff &
\log_b \left( \frac{x}{y} \right) &= \log_b \left( b^{m - n} \right)
\end{align}
</math>
Оттука, всушност можеме да го поедноставиме изразот на десната страна! Користејќи едно од логаритамските својства од претходно, знаеме дека <math>\log_b(b^{m - n}) = m - n</math> .
<math>
\begin{align}
&\iff &
\log_b \left( \frac{x}{y} \right) &= m - n
\end{align}
</math>
Откако ќе дојдеме до оваа фаза, ќе ги замениме вредностите за <math>m</math> и <math>n</math> во нашата равенка, така што нашиот конечен израз е само во однос на <math>x</math>, <math>y</math>, и <math>b</math> .
<math>
\begin{align}
&\iff &
\log_b \left( \frac{x}{y} \right) &= \log_b(x) - \log_b(y) \\
&\iff &
\log_b(x) - \log_b(y) &= \log_b \left( \frac{x}{y} \right)
\end{align}
</math>
Така, изводувањето на законот за количник за логаритми е завршено!
3.1.3 Логаритам на степен
Формално запишување на законот за ''логаритам на степен'',
<math>
\forall b \in \mathbb{R}_+, b \neq 1, \forall x \in \mathbb{R}_+, \forall r \in \mathbb{R},
\log_b(x^r) = r\log_b(x)
</math>
Изведување:
Нека <math>b \in \mathbb{R}_+</math>, каде <math>b \neq 1</math>, нека <math>x\in \mathbb{R}_+</math>, и нека <math>r \in \mathbb{R}</math> .
За ова изведување, сакаме да го поедноставиме изразот <math>\log_b(x^r)</math>. За да се направи ова, прво ќе се обидеме да започнеме со нешто поедноставно, <math>\log_b(x)</math>, и да видиме дали можеме да се обидеме и да го изведеме оттаму. Бидејќи ќе го користиме <math>\log_b(x)</math> често, ќе го дефинираме како нова променлива.
Нека <math>m = \log_b(x)</math> .
Бидејќи навистина не можеме да манипулираме со овој израз толку многу, ќе биде корисно да го преработиме како експонент.
<math>m = \log_b(x) \iff b^m = x</math>
Оттука, да видиме каде можеме да одиме.
<math>
\begin{align}
& &
b^m &= x \\
\end{align}
</math>
Сега, навистина не изгледа дека имаме многу да работиме во моментот, сепак, слично како што ги користиме законите за експоненти во наша корист во претходните изведувања за логаритам на производ и логаритам на количник, можеме да направиме нешто слично и овде со искористување на друг експонентен закон.
Сега, сакаме да го имаме <math>x^r</math> некаде во нашиот последен израз. Забележете дека ако ги подигнеме двете страни на равенството на степен <math>r</math>, ќе добиеме <math>x^r</math> на левата страна од равенката. Значи, она што ќе го направиме е да ги подигнеме двете страни на степен <math>r</math> .
<math>
\begin{align}
&\iff &
(b^m)^r &= (x)^r \\
&\iff &
b^{mr} &= x^r
\end{align}
</math>
Како референца, го искористивме законот за степенување за степен за да ја поедноставиме левата страна на равенката. Овој експонентен закон го покажува тоа <math>(b^m)^r = b^{mr}</math> .
Сега, оттука, изгледа како да сме заглавени. Сепак, ние сме всушност многу блиску до завршување на изведувањето. Бидејќи ни се потребни логаритми во последниот израз, ние применуваме <math>\log_b</math> на двете страни на еднаквоста, и видете какви поедноставувања се добиваат со тоа.
<math>
\begin{align}
&\iff &
\log_b(b^{mr}) &= \log_b(x^r)\\
\end{align}
</math>
Овде, можеме да ја поедноставиме левата страна на еднаквоста користејќи го логаритамскиот закон. Овој логаритамски закон ни кажува дека <math>\log_b(b^{mr}) = mr</math> . Па, со замена се добива:
<math>
\begin{align}
&\iff &
mr &= \log_b(x^r)\\
\end{align}
</math>
Оттука, можеме да ја замениме во нашата почетна вредност <math>m</math>, и да се преуреди и поедностави.
<math>
\begin{align}
&\iff &
\left( log_b(x) \right)r &= \log_b(x^r) \\
&\iff &
rlog_b(x) &= \log_b(x^r) \\
&\iff &
log_b(x^r) &= r\log_b(x)
\end{align}
</math>
Така, стигнавме до последниот чекор, кој го комплетира изведувањето на логаритамскиот закон за ''логаритам на степен''.
4 Менување на основата
Формално запишување на логаритамската формула за промена на основата:
<math>
\forall a, b \in \mathbb{R}_+, a, b \neq \forall x \in \mathbb{R}_+,
\log_b(x) = \frac{\log_a(x)}{\log_a(b)}
</math>
Овој идентитет е корисен за пресметување на логаритми на калкулаторите. На пример, повеќето калкулатори имаат копчиња за ln и за , но не сите калкулатори имаат копчиња за логаритам на произволна основа.
4.1 Доказ/Изведување
Нека <math>a, b \in \mathbb{R}_+</math>, каде <math>a, b \neq 1</math> нека <math>x \in \mathbb{R}_+</math> .
<math>a</math> и <math>b</math> се двете основи кои ќе ги користиме за логаритмите. Не може да бидат 1, бидејќи логаритамската функција не е добро дефинирана за основа 1.
Бројот <math>x</math> ќе биде ведноста на логаритамот што се бара, па затоа мора да биде позитивен број.
Бидејќи ќе се користиме со изразот <math>\log_b(x)</math> доста често, ќе го дефинираме како нова променлива.
Нека <math>m = \log_b(x)</math> .
Сега, да видиме какви манипулации можеме да направиме со оваа еднаквост, што би нè довело до посакуваниот резултат. Во моментов, не може многу да се стори со оваа еднаквост, па ќе ја преработиме како експоненцијална.
<math>
\begin{align}
& & m &= \log_b(x) \\
&\iff& b^m &= x \\
\end{align}
</math>
На крајот ќе треба некаде во равенката да имаме <math>\log_a</math>, па ќе се обидеме да примениме <math>\log_a</math> на двете страни на еднаквоста.
<math>
\begin{align}
&\iff& \log_a(b^m) &= \log_a(x) \\
\end{align}
</math>
Сега, користејќи го својството логаритам на степен, можеме да го поедноставиме, бидејќи <math>\log_a(b^m) = m\log_a(b)</math><math>
\begin{align}
&\iff& m\log_a(b) &= \log_a(x) \\
\end{align}
</math>
Решвајќи по <math>m</math> (што е еднакво на <math>\log_b(x)</math>), го добиваме следново:
<math>
\begin{align}
&\iff& m &= \frac{\log_a(x)}{\log_a(b)} \\
\end{align}
</math>
Сега, можеме да ја замениме вредноста на <math>m</math> назад во равенката (<math>m = \log_b(x)</math>).
<math>
\begin{align}
&\iff& \log_b(x) &= \frac{\log_a(x)}{\log_a(b)} \\
\end{align}
</math>
Така, дојдовме до нашиот конечен заклучок дека <math>\log_b(x) = \frac{\log_a(x)}{\log_a(b)}</math>
Оваа формула има неколку последици:
:<math> \log_b a = \frac 1 {\log_a b} </math>:<math> \log_{b^n} a = {\log_b a \over n} </math>:<math> b^{\log_a d} = d^{\log_a b} </math>:<math> -\log_b a = \log_b \left({1 \over a}\right) = \log_{1/b} a</math>:<math> \log_{b_1}a_1 \,\cdots\, \log_{b_n}a_n
= \log_{b_{\pi(1)a_1\, \cdots\, \log_{b_{\pi(n)a_n, </math>
каде <math>\pi</math> е која било пермутација на 1, ..., ''n'' . На пример
:<math> \log_b w\cdot \log_a x\cdot \log_d c\cdot \log_d z
= \log_d w\cdot \log_b x\cdot \log_a c\cdot \log_d z. </math>
4.2 Собирање/одземање
Следното правило за собирање/одземање е особено корисно во теоријата на веројатност кога се работи со збир на логаритамски веројатности:
<math>\log_b (a+c) = \log_b a + \log_b \left(1 + \frac{c}{a}\right)</math>, бидејќи, <math>\left(a + c \right) = a \times \left(1 + \frac{c}{a} \right)</math><math>\log_b (a-c) = \log_b a + \log_b \left(1 - \frac{c}{a}\right)</math>, бидејќи, <math>\left(a - c \right) = a \times \left(1 - \frac{c}{a} \right)</math>
Треба да се забележи дека идентитетот на одземање не е дефиниран ако <math>a=c</math>, бидејќи логаритамот од нула не е дефиниран. Исто така, треба да се има предвид дека кога се програмира, <math>a</math> и <math>c</math> можеби ќе треба да се префрлат на десната страна на равенките ако <math>c>>a</math> за да се избегне губење на „1 +“ поради грешки во заокружувањето. Многу програмски јазици имаат специфична функција <code>log1p(x)</code> која пресметува <math>\log_e (1+x)</math> без грешка на поттекување/заокрушување (кога <math>x</math> е мал).
Поопшто:
:<math>\log _b \sum\limits_{i=0}^N a_i = \log_b a_0 + \log_b \left( 1+\sum\limits_{i=1}^N \frac{a_i}{a_0} \right) = \log _b a_0 + \log_b \left( 1+\sum\limits_{i=1}^N b^{\left( \log_b a_i - \log _b a_0 \right)} \right)</math>
8.4 Степени
Корисен идентитет кој вклучува степени:
:<math> x^{\frac{\log(\log(x))}{\log(x) = \log(x)</math>
или поуниверзално:
:<math> x^{\frac{\log(a)}{\log(x) = a</math>
4.4 Други/резултатни идентитети
:<math> \frac{1}{\frac{1}{\log_x(a)}+\frac{1}{\log_y(a) = \log_{xy}(a)</math>:<math> \frac{1}{\frac{1}{\log_x(a)\frac{1}{\log_y(a) = \log_{\frac{x}{y(a)</math>
5 Нееднаквости
Врз основа на, и
:<math>\frac{x}{1+x} \leq \ln(1+x)
\leq \frac{x(6+x)}{6+4x}
\leq x \mbox{ for all } {-1} < x</math>:<math>\begin{align}
\frac{2x}{2+x}&\leq3-\sqrt{\frac{27}{3+2x\leq\frac{x}{\sqrt{1+x+x^2/12 \\[4pt]
&\leq \ln(1+x)\leq \frac{x}{\sqrt{1+x\leq \frac{x}{2}\frac{2+x}{1+x} \\[4pt]
&\text{ for } 0 \le x \text{, reverse for } {-1} < x \le 0
\end{align}</math>
Сите се точни околу <math>x=0</math>, но не за големи броеви.
6 Калкулусни идентитети
6.1 Гранични вредности
:<math>\lim_{x\to 0^+}\log_a(x)=-\infty\quad \mbox{if } a > 1</math>:<math>\lim_{x\to 0^+}\log_a(x)=\infty\quad \mbox{if } 0 < a < 1</math>:<math>\lim_{x\to\infty}\log_a(x)=\infty\quad \mbox{if } a > 1</math>:<math>\lim_{x\to\infty}\log_a(x)=-\infty\quad \mbox{if } 0 < a < 1</math>:<math>\lim_{x\to 0^+}x^b\log_a(x)=0\quad \mbox{if } b > 0</math>:<math>\lim_{x\to\infty}\frac{\log_a(x)}{x^b}=0\quad \mbox{if } b > 0</math>
Последната граница често се сумира како „логаритмите растат побавно од кој било степен или корен од ''x'' “.
6.2 Изводи на логаритамски функции
:<math>{d \over dx} \ln x = {1 \over x },</math>:<math>{d \over dx} \log_b x = {1 \over x \ln b},</math>
Каде <math>x > 0</math>, <math>b > 0</math>, и <math>b \ne 1</math> .
6.3 Интегрална дефиниција
:<math>\ln x = \int_1^x \frac {1}{t} dt </math>
6.4 Интеграли на логаритамски функции
:<math>\int \log_a x \, dx = x(\log_a x - \log_a e) + C</math>
За да запомнат повисоки интеграли, погодно е да се дефинираат
:<math>x^{\left [n \right]} = x^{n}(\log(x) - H_n)</math>
каде <math>H_n</math> е ''n''<sup>-тиот</sup> хармониски број :
:<math>x^{\left [ 0 \right ]} = \log x</math>:<math>x^{\left [ 1 \right ]} = x \log(x) - x</math>:<math>x^{\left [ 2 \right ]} = x^2 \log(x) - \begin{matrix} \frac{3}{2} \end{matrix}x^2</math>:<math>x^{\left [ 3 \right ]} = x^3 \log(x) - \begin{matrix} \frac{11}{6} \end{matrix}x^3</math>
Потоа
:<math>\frac{d}{dx}\, x^{\left[ n \right]} = nx^{\left[ n-1 \right]}</math>:<math>\int x^{\left[ n \right]}\,dx = \frac{x^{\left [ n+1 \right ]{n+1} + C</math>
7 Апроксимирање на големи броеви
Идентитетите на логаритмите може да се користат за апроксимирање на големи броеви. Забележуваме дека , каде ''a'', ''b'' и ''c'' се произволни константи. Да претпоставиме дека некој сака да го апроксимира 44-от Мерсенов прост број, . За да го добиеме логаритамот со база - 10, би помножиле 32,582,657 со , добивајќи . Потоа можеме да добиеме .
Слично на тоа, факториелите може да се апроксимираат со собирање на логаритмите на членовите.
8 Комплексни логаритамски идентитети
Комплексниот логаритам е комплексен број аналоген на логаритамската функција. Ниту една функција на комплексната рамнина не може да ги задоволи нормалните правила за логаритми. Сепак, може да се дефинира повеќезначна функција која ги задоволува повеќето идентитети. Вообичаено е ова да се смета како функција дефинирана на Риманова површина. Може да се дефинира единечна вреднувана верзија, наречена главна вредност на логаритамот, која е дисконтинуирана на негативната оска x и е еднаква на повеќезначната верзија на една точка на гранање.
8.1 Дефиниции
Во продолжение, големата прва буква се користи за главната вредност на функциите, а малата верзија се користи за функцијата со повеќе вредности. Прво секогаш се дава единствената вреднувана верзија на дефиниции и идентитети, а потоа следи посебен дел за повеќекратните вреднувани верзии.
: is the standard natural logarithm of the real number ''r''.
: is the principal value of the arg function; its value is restricted to . It can be computed using .
: is the principal value of the complex logarithm function and has imaginary part in the range .
:<math>\operatorname{Log}(z) = \ln(|z|) + i \operatorname{Arg}(z)</math>:<math>e^{\operatorname{Log}(z)} = z</math>
Каде ''k'' е кој било цел број:
:<math>\log(z) = \ln(|z|) + i \arg(z)</math>:<math>\log(z) = \operatorname{Log}(z) + 2 \pi i k</math>:<math>e^{\log(z)} = z</math>
8.2 Константи
Облици на главна вредност:
:<math>\operatorname{Log}(1) = 0</math>:<math>\operatorname{Log}(e) = 1</math>
Облици со повеќе вредности, за кој било ''k'' цел број:
:<math>\log(1) = 0 + 2 \pi i k</math>:<math>\log(e) = 1 + 2 \pi i k</math>
8.3 Сумирање
Облици на главна вредност:
:<math>\operatorname{Log}(z_1) + \operatorname{Log}(z_2) = \operatorname{Log}(z_1 z_2) \pmod {2 \pi i}</math>:<math>\operatorname{Log}(z_1) + \operatorname{Log}(z_2) = \operatorname{Log}(z_1 z_2)\quad
(-\pi <\operatorname{Arg}(z_1)+\operatorname{Arg}(z_2)\leq \pi;
\text{ e.g., } \operatorname{Re}z_1\geq 0 \text{ and } \operatorname{Re}z_2 > 0)</math>:<math>\operatorname{Log}(z_1) - \operatorname{Log}(z_2) = \operatorname{Log}(z_1 / z_2) \pmod {2 \pi i}</math>:<math>\operatorname{Log}(z_1) - \operatorname{Log}(z_2) = \operatorname{Log}(z_1 / z_2)
\quad
(-\pi <\operatorname{Arg}(z_1)-\operatorname{Arg}(z_2)\leq \pi;
\text{ e.g., } \operatorname{Re}z_1\geq 0 \text{ and } \operatorname{Re}z_2 > 0)</math>
Облици со повеќе вредности:
:<math>\log(z_1) + \log(z_2) = \log(z_1 z_2)</math>:<math>\log(z_1) - \log(z_2) = \log(z_1 / z_2)</math>
8.4 Степени
Комплексен степен на комплексен број може да има многу можни вредности.
Облик за главна вредност:
:<math>{z_1}^{z_2} = e^{z_2 \operatorname{Log}(z_1)} </math>:<math>\operatorname{Log}{\left({z_1}^{z_2}\right)} = z_2 \operatorname{Log}(z_1) \pmod {2 \pi i}</math>
Облици со повеќе вредности:
:<math>{z_1}^{z_2} = e^{z_2 \log(z_1)}</math>
Каде , се кои било цели броеви:
:<math>\log{\left({z_1}^{z_2}\right)} = z_2 \log(z_1) + 2 \pi i k_2</math>:<math>\log{\left({z_1}^{z_2}\right)} = z_2 \operatorname{Log}(z_1) + z_2 2 \pi i k_1 + 2 \pi i k_2</math>
9 Поврзано
* Список на формули кои го содржат π
* Список на интеграли на логаритамски функции
* Список на математички идентитети
* Список на математички теми
* Список на тригонометриски идентитети