㏒以25为底12的对数
=lg12/lg25
=lg12/(2lg5)
=(lg3+lg4)/(2lg5)
=lg3/(2lg5)+lg4/(2lg5)
=1/2 log5 3 +1/2 log5 4
=a/2+b/2