已知ab都是正数