反证法
假设a+3=b则
右边=(a*a+a)-(b*b-5b+6)
=a(a+1)-(b-3)(b-2)
=a(a+1)-a(b-2) (a=b-3)
=a(a-b+3)
因为a=b-3,所以右边=0
故假设不成立,
故a+3≠