(1) logax=logbx=β\log_a x = \log_b x = \betalogax=logbx=β とおくと aβ=bβ=xa^{\beta} = b^{\beta} = xaβ=bβ=x とならなければならない この等号が成り立つには a=ba = ba=b 又は β=0(x=1)\beta = 0 (x = 1)β=0(x=1) であるので a=ba = ba=b x=1x = 1x=1 (2) logax+logby=logay+logbx\log_a x + \log_b y = \log_a y + \log_b xlogax+logby=logay+logbx logaxy=logbxy=β\log_a \dfrac{x}{y} = \log_b \dfrac{x}{y} = \betalogayx=logbyx=β とおくと(1)と同様に考えて この等号が成り立つには a=ba = ba=b 又は β=0(xy=1)\beta = 0 \left(\dfrac{x}{y} = 1\right)β=0(yx=1) であるので a=ba = ba=b x=yx = yx=y