1/log(a)(b)=log(b)(a)属于什么公式(是换底公式吗?怎样证明?