Sum of Logarithms/Natural Logarithm/Proof 1

Proof
Let $y \in \R_{>0}$ be fixed.

Consider the function:
 * $f \left({x}\right) = \ln xy - \ln x$.

From the definition of the natural logarithm, the Fundamental Theorem of Calculus and the Chain Rule:


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

Thus from Zero Derivative implies Constant Function, $f$ is constant:
 * $\forall x > 0: \ln xy - \ln x = c$

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

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

Thus:
 * $c = \ln y - \ln 1 = \ln y$

and hence the result.