By using the laws of indices, we arrive at the laws of logarithms.
Let (\loga{x} = m \implies a^m = x )
Let (\loga{y} = n \implies a^n = y )
[b]uThe addition law[/u]/b
(am × a^n = xy \implies a^{m + n} = xy )
(\implies m + n = \loga{xy} )
(\implies \boxed{\loga{x} + \log_a{y} = \log_a{xy}} )
This law works for three or more terms:
(\loga{x} + \log_a{y} + \log_a{z} + ... = \log_a{(xyz...)})
[b]uThe subtraction law[/u]/b
(\dfrac{am}{an} = \dfrac{x}{y} \implies a^{m - n} = \dfrac{x}{y} )
(\implies m - n = \loga{\dfrac{x}{y}} )
(\implies \boxed{\loga{x} - \log_a{y} = \log_a{\dfrac{x}{y}}} )
[b]uThe power law[/u]/b
Let (\loga{xn} = m \implies a^m = x^n )
Let (\loga{x} = y \implies a^y = x )
(am = x^n = (a^y)^n = a^{ny} )
(m = ny \implies \boxed{\loga{xn} = n\log_a{x}} )
[b]uChange of base[/u]/b
This was more useful in the days before calculators had a (\log\square{\square}) button. Used rarely nowadays.
(\boxed{\loga{b} = \dfrac{\log_n{b}}{\log_n{a}}} )
[b]uUseful facts to remember[/u]/b
(a1 = a \iff \boxed{\log_a{a} = 1} )
(a0 = 1 \iff \boxed{\log_a{1} = 0} )
[b]uLaws of logarithms[/u]/b
(\loga{x} + \log_a{y} = \log_a{xy} )
(\loga{x} - \log_a{y} = \log_a{\dfrac{x}{y}} )
(\loga{xn} = n\log_a{x} )
(\loga{b} = \dfrac{\log_n{b}}{\log_n{a}} )
[b]uUseful log facts[/u]/b
(\loga{a} = 1 )
(\loga{1} = 0 )