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
8