换底公式可得log3=alog2,log7=blog3,
因此log7=ablog2.
对log42 56也运用换底公式可得
log42 56
=log56/log42
=log(2×2×2×7)/log(2×3×7)
=（3log2＋log7）/（log2＋log3＋log7）
=（3log2＋ablog2）/(log2+alog2+ablog2)
=(3+ab)/(1+a+ab)