Logarithm of Power/Natural Logarithm/Proof 1

Proof
Consider the function $f \left({x}\right) = \ln \left({x^r}\right) - r \ln x$.

Then from:
 * The definition of the natural logarithm
 * The Fundamental Theorem of Calculus
 * The Power Rule for Derivatives
 * The Chain Rule:


 * $\displaystyle \forall x > 0: f^{\prime} \left({x}\right) = \frac 1 {x^r} r x^{r-1} - \frac r x = 0$

Thus from Zero Derivative implies Constant Function, $f$ is constant:
 * $\forall x > 0: \ln \left({x^r}\right) - r \ln x = c$

To determine the value of $c$, put $x = 1$.

From Logarithm of 1 is 0:
 * $\ln 1 = 0$

Thus:
 * $c = \ln 1 - r \ln 1 = 0$