已知实数a,b满足ab