都是夜归人好听吗:已知实数a和b满足a^+ab+b^=1,求证:-1≤ab≤(1/3)