已知0小于x小于a小于b小于y 且x+y=a+b 证明ab与xy 大小关系