a乘以b大于0的一个充要条件