已知方程X²+Y²-2X+4Y=0,证明X-2Y的最大值为10