如何求解任意丢番图方程的通解？以方程$$1/x+1/y=1/z$$为例

嘿，这个问题问得太到位了！我当初第一次看到丢番图方程用u、v这类变量表示通解时，也一头雾水——这些变量到底是怎么凭空冒出来的？其实核心逻辑很简单：把复杂的分式/整式方程通过代数变形，转化成能利用整数整除性、互质性的形式，再用变量去表示那些因数关系。咱们就拿你举的$$1/x + 1/y = 1/z$$来一步步拆解，你就能明白其中的门道了。

第一步：把分式方程转成整式方程 #

首先假设x、y、z都是正整数（这类问题通常先讨论正整数解，负整数解可以后续调整），给方程两边同时乘以xyz（保证不为0），消去分母：
$$yz + xz = xy$$
接着把所有项移到左边，整理成：
$$xy - xz - yz = 0$$

第二步：用因式分解技巧简化方程 #

这里要用到一个超实用的因式分解小技巧——给方程两边加上z²，左边就能凑成乘积形式：
$$xy - xz - yz + z² = z²$$
左边因式分解后变成：
$$(x - z)(y - z) = z²$$
看到没？现在原方程变成了两个整数的乘积等于z的平方，这就好处理多了！

第三步：用变量表示因数关系 #

因为z²的所有正因数都可以成对出现：如果d是z²的一个正因数，那z²/d就是对应的另一个因数。不过为了让通解更简洁、不重复，我们通常用互质的整数u、v来表示（互质就是它们的最大公约数是1）。

咱们可以设：

• 令z = k·u·v，其中k是任意正整数，u、v是互质的正整数
• 那么z² = k²·u²·v²，我们取其中一个因数d = k·u²，对应的另一个因数就是z²/d = k·v²

把这两个因数代入之前的因式分解式：

• x - z = d = k·u² → x = z + k·u² = k·u·v + k·u² = k·u(u + v)
• y - z = z²/d = k·v² → y = z + k·v² = k·u·v + k·v² = k·v(u + v)

这样就得到了这个方程的正整数通解：
$$\begin{cases}
x = k \cdot u(u + v) \
y = k \cdot v(u + v) \
z = k \cdot u v
\end{cases}$$
其中k是任意正整数，u、v是任意互质的正整数。

为什么要用u、v这类互质变量？ #

主要是为了避免重复的解。比如如果u和v不互质，假设它们有公因数g，那我们可以把g放到k里，让u' = u/g，v' = v/g，这样u'和v'就互质了，通解的形式更简洁，不会出现冗余的解。

拓展：负整数解的情况 #

如果考虑负整数解，只需要调整变量的符号就行。比如x为负、y为正的情况，只需要让u或v取负整数（保持互质），再验证一下即可，核心思路和正整数解是一样的。

总结找通解的通用思路 #

1. 先通过代数变形，把原方程转化为容易因式分解的整式形式；
2. 利用整数的因数分解性质，用变量表示方程两边的因数关系；
3. 引入互质变量来简化通解，避免重复解；
4. 根据方程的实际要求（正整数/负整数/整数），调整变量的取值范围。

备注：内容来源于stack exchange，提问作者Somebody