关于高中对数函数的换底公式在一道应用题中换底公式是可以当作公式直接开用还是需要先证明后再用啊?