XY 属于R 且X+Y大于2,证明XY中至少有一个大于1