2013，中国台湾数学奥林匹克训练营——0

求正整数数对 $(x,y)$ ，满足 $x>y$ 且

$$(x-y{)}^{xy}=x^y{y}^x.$$

(2013，中国台湾数学奥林匹克训练营)

解法1：

设
$(x,y)=d,x=dv,y=dt,(v,t)=1.$
则:
$d^{xy-x-y}(v-t)=v^y{t}^x$
$\Rightarrow d^{(x-1)(y-1)-1}(v-t{)}^{xy}=v^y{t}^x$
若 $(x-1)(y-1)-1=-1$
$\Rightarrow x=1(舍去)或y=1$
$\Rightarrow (x-1{)}^x=x$
$\Rightarrow 无正整数解$

若 $(x-1)(y-1)-1\ge 0$ ,则由
$(v-t,v)=1,(v-t,t)=1$,
而 $(v-t{)}^{xy}|v^y{t}^x$ ， 知
$v-t=1$
故 $d^{d(t+1)t-(2t+1)}=(t+1{)}^t{t}^{t+1}$.

若 $t$ 由素因子，则对 $t$ 的任一素因子 $p$ ，设
$p^{\alpha }||t,p^{\beta }||d$ $(\alpha 、\beta \ge 1).$
则 $\beta [d(t+1)t-2t-1]=\alpha (t+1)\cdots ①$
$\Rightarrow (\beta dt-\alpha )(t+1)=(2t+1)\beta .$
而$(t+1,2t+1)=1,$ 故 $(t+1)|\beta .$
由式①知
$\beta |\alpha (t+1)$
$\Rightarrow \beta \le \alpha (t+1)$
$\Rightarrow (\beta dt-\alpha )(t+1)\le (2t+1)\alpha (t+1)$
$\Rightarrow \beta dt\le 2(t+1)\alpha \le 2\beta \alpha$
$\Rightarrow 2p^{\alpha }\le dt\le 2\alpha \Rightarrow p^{\alpha }\le \alpha$
$\Rightarrow 无正整数解$.
矛盾.

因此$t=1\Rightarrow d^{2d-3}=2\Rightarrow d=2$
故$(x,y)=(4,2).$

解法2：

若 $p|x$ , $p$ 为素数，则
$p|(x-y)\Rightarrow p|y.$
因为 $x\ge 2$ ，所以，这样 $p$ 不存在.
故$y\ge 2$.
类似地，若 $p|y$ ,则 $p|x$ .
不妨设 $x=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\cdots p_k^{{\alpha }_k}$ ，$y=p_1^{{\beta }_1}{p}_2^{{\beta }_2}\cdots p_k^{{\beta }_k}$ .
若存在正整数 $i$ ，使得${\alpha }_i<{\beta }_i$ ,则考虑 $p_i$ 在方程两边的幂次，得
${\alpha }_{i}xy={\alpha }_{i}y+{\beta }_{i}x<{\beta }_i(x+y)$
$<y(x+y)<2xy$
$\Rightarrow {\alpha }_i=1.$

故 $xy=y+{\beta }_{i}x<x+{\beta }_{i}x$
$\Rightarrow {\beta }_i+1>y\ge p_i^{{\beta }_i}\ge 2^{{\beta }_i}$
$\Rightarrow$ 无解.
于是，对于任意整数 $i(1\le i\le k)$ , 均有
${\alpha }_i\ge {\beta }_i\Rightarrow y|x$.

设 $x=ty$ $(t\ge 2)$.则
$(t-1{)}^{t{y}^2}{y}^{t{y}^2}=t^y{y}^{y+ty}$
$\Rightarrow (t-1{)}^{t{y}^2}{y}^{t{y}^2-y-ty}=t^y$.
若 $t\ge 3$ ，则
$(t-1{)}^{t{y}^2}=[(t-1{)}^y{]}^{ty}>t^{ty}>t^y$.
而 $y^{t{y}^2-y-ty}\ge 1$ ，矛盾.
故 $t=2\Rightarrow y^{2y^2-3y}=2^y$.
$\Rightarrow y^{2y-3}=2\Rightarrow y=2，x=4$.

综上，$(x,y)=(4,2)$.xq