12<9+√13<13
故9+√13的小数部分为
a=(9+√13)-12=√13-3
同理
9-√13的小数部分为
b=(9-√13)-5=4-√13
于是
ab-3a+4b+8
=(a+4)(b-3)+20
=(1+√13)(1-√13)+20
=8