换底公式的两种证明方法