✨ ベストアンサー ✨
log_a(x)-log_a(y) = log_b(x)-log_b(y)より
log_a(x/y) = log_b(x/y). ...(i)
a≠bかつx≠yの時, (i)が成立すると仮定すると,
p = log_a(x/y)として
a^p = b^p = x/y
従ってa=bが導けて矛盾するので背理法から
a≠bかつx≠y ⇒ log_a(x/y) ≠ log_b(x/y)
になる。
これの対偶を取れば
log_a(x)-log_a(y) = log_b(x)-log_b(y) ⇒ a = b または x = y.
ありがとうございます! 助かりました!