换底公式：log12 5=lg5/lg12
lg5=lg(10/2)=lg10-lg2=1-a
lg12=lg(2²×3)=2lg2+lg3=2a+b
原式=(1-a)/（2a+b)