>>683
左辺-右辺=a^2/3+ab+b^2-a/2-b
=(a/2+b)^2-(a/2+b)+a^2/12

a/2+b≧1なので…