# Proof of Double Power Law of Logarithms

## Formula

$\log_{b^y}{m^x}$ $\,=\,$ $\Big(\dfrac{x}{y}\Big)\log_{b}{m}$

The double power rule of logarithms is a mathematical identity which is used to find the value of logarithm of a quantity by expressing quantity and base quantity of logarithmic term in exponential notation.

### Proof

$p$ and $q$ are two quantities and assume they are expressed in exponential form as $m^x$ and $n^y$ respectively.

$p \,=\, m^x$ and $q \,=\, n^y$

The value of logarithm of $p$ to $q$ is written as $\log_{q}{p}$ in mathematics. Actually, $p \,=\, m^x$ and $q \,=\, n^y$.

Therefore, $\log_{q}{p}$ $\,=\,$ $\log_{n^y}{m^x}$

#### Find Log of quantity in exponential form

Take $t \,=\, b^y$ and the logarithmic function can be written as follows.

$\implies \log_{b^y}{m^x}$ $\,=\,$ $\log_{t}{m^x}$

According to Power law of Logarithms, the log of a quantity in exponential form to a base is equal to the product of exponent and log of the base of exponential term to same base.

$\implies \log_{b^y}{m^x}$ $\,=\,$ $x\log_{t}{m}$

Now, replace the actual value of the base $t$.

$\,\,\, \therefore \,\,\,\,\,\, \log_{b^y}{m^x}$ $\,=\,$ $x\log_{b^y}{m}$

#### Find Log of quantity to base in exponential form

It is time to find the value of log of $m$ to a base which is expressed in exponential form as $b^{y}$. It can be done by the base power rule of logarithm.

$\,\,\, \therefore \,\,\,\,\,\, \log_{b^y}{m}$ $\,=\,$ $\Big(\dfrac{1}{y}\Big)\log_{b}{m}$

#### Combine results of both steps

Now, recollect the results of above two steps once.

$(1) \,\,\,\,\,\,$ $\log_{b^y}{m^x}$ $\,=\,$ $x\log_{b^y}{m}$

$(2) \,\,\,\,\,\,$ $\log_{b^y}{m}$ $\,=\,$ $\Big(\dfrac{1}{y}\Big)\log_{b}{m}$

Now, combine both results to a log property to find the value of log of a quantity in exponential form to base in exponential form.

$\implies \log_{b^y}{m^x}$ $\,=\,$ $x \times \log_{b^y}{m}$

$\implies \log_{b^y}{m^x}$ $\,=\,$ $x \times \Big(\dfrac{1}{y}\Big)\log_{b}{m}$

$\,\,\, \therefore \,\,\,\,\,\, \log_{b^y}{m^x}$ $\,=\,$ $\Big(\dfrac{x}{y}\Big)\log_{b}{m}$

Thus, the double power rule of logarithms is derived in algebraic form and it can be used as an identity in mathematics.

A best free mathematics education website for students, teachers and researchers.

###### Maths Topics

Learn each topic of the mathematics easily with understandable proofs and visual animation graphics.

###### Maths Problems

Learn how to solve the maths problems in different methods with understandable steps.

Learn solutions

###### Subscribe us

You can get the latest updates from us by following to our official page of Math Doubts in one of your favourite social media sites.