# Laws of Logarithms

## Theorem

Let $x, y, b \in \R_{>0}$ be (strictly) positive real numbers.

Let $a \in \R$ be any real number such that $a > 0$ and $a \ne 1$.

Let $\log_a$ denote the logarithm to base $a$.

Then:

### Change of Base of Logarithm

$\log_b x = \dfrac {\log_a x} {\log_a b}$

### Sum of Logarithms

Let $x, y, b \in \R$ be strictly positive real numbers such that $b > 1$.

Then:

$\log_b x + \log_b y = \map {\log_b} {x y}$

where $\log_b$ denotes the logarithm to base $b$.

### Logarithm of Power/Natural Logarithm

Let $x \in \R$ be a strictly positive real number.

Let $a \in \R$ be a real number such that $a > 1$.

Let $r \in \R$ be any real number.

Let $\ln x$ be the natural logarithm of $x$.

Then:

$\map \ln {x^r} = r \ln x$

### Logarithm of Power/General Logarithm

Let $x \in \R$ be a strictly positive real number.

Let $a \in \R$ be a real number such that $a > 1$.

Let $r \in \R$ be any real number.

Let $\log_a x$ be the logarithm to the base $a$ of $x$.

Then:

$\map {\log_a} {x^r} = r \log_a x$

### Difference of Logarithms

$\log_b x - \log_b y = \map {\log_b} {\dfrac x y}$

### Logarithm of Reciprocal

$\map {\log_b} {\dfrac 1 x} = -\log_b x$
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}