令x=log(a)(b),y=log(c)(b),z=log(c)(a),则
b=a^x=c^y,a=c^z
把a带入b,有c^(xz)=c^y,则
xz=y,即x=y/z
证毕