The biconditional statement will be proved in two parts.
logbx=logby⇒ x=y
Let
a be a real number such that
a=logbx. logbx=logby → a=logby
By using the definition of a logarithm, the logarithm equation can be written as an .
a=logby ⇔ ba=y
Finally,
logbx can be substituted for
a and the can be used.
x=y⇒ logbx=logby
The Inverse Property of Logarithms can be used to express
x as
blogbx.
x=y⇔blogbx=y
Now, let
c be a real number such that
c=logbx.
blogbx=y → bc=y
Next, the definition of a logarithm can be used to rewrite the obtained exponential equation as a logarithmic equation.
bc=y⇔c=logby
Finally, by its own defitnion,
c is equal to
logbx.
c=logby⇔logbx=logby ✓