ThmDex – An index of mathematical definitions, results, and conjectures.
P3323
Using R4826: Logarithm of a ratio, we have \begin{equation} \log_a \frac{x}{y} = \log_a x - \log_a y = - (\log_a y - \log_a x) = - \log_a \frac{y}{x} \end{equation} $\square$