这个高中对数的等式是怎么推出来的?