构造性证明入门：如何开启两有理数间中间有理数的构造证明？

嘿，这个问题其实从构造性证明的核心——直接给出可计算的对象入手就很容易破局，咱们一步步理清楚：

首先回忆有理数的定义：有理数可以表示为$\frac{p}{q}$，其中$p$、$q$是整数且$q≠0$。已知两个有理数$r_0 < r_1$，我们的目标是实打实造出一个有理数$u$，让它夹在两者之间，并且能通过有限步骤验证它符合要求。

最直观也最简单的构造就是取$r_0$和$r_1$的算术平均值：
$$u = \frac{r_0 + r_1}{2}$$

为什么$u$是有理数？ #

假设$r_0 = \frac{a}{b}$，$r_1 = \frac{c}{d}$（我们可以先把分母调整为正数，负号移到分子上，不影响结果），代入计算：
$$u = \frac{\frac{a}{b} + \frac{c}{d}}{2} = \frac{ad + bc}{2bd}$$
这里分子$ad+bc$是整数（整数加减乘都是整数），分母$2bd$是整数且不等于0（因为$b,d≠0$），完全符合有理数的定义。

为什么$r_0 < u < r_1$？ #

从已知$r_0 < r_1$出发，两边同时加$r_0$得：$2r_0 < r_0 + r_1$，两边除以2（正数，不等号方向不变）得$r_0 < \frac{r_0 + r_1}{2}$；
同理，两边加$r_1$得：$r_0 + r_1 < 2r_1$，除以2得$\frac{r_0 + r_1}{2} < r_1$。
合起来就是$r_0 < u < r_1$，完美满足条件。

构造性证明的关键是不依赖“反证”或“抽象存在性”，而是直接给出满足条件的对象，并且每一步都可通过有限操作实现：

• 我们没有说“存在这样的u”，而是直接用$r_0$和$r_1$算出了$u$；
• 计算过程只用到整数的加减乘，都是可执行的有限步骤；
• 验证$u$在两者之间的过程也是纯代数推导，没有模糊的逻辑跳跃。

把上面的构造过程拆成明确的步骤，就能得到一个算法：

• 输入：两个有理数$r_0 = \frac{p_1}{q_1}$、$r_1 = \frac{p_2}{q_2}$（先统一调整$q_1,q_2$为正整数，若原分母为负，将负号转移到分子）
• 步骤1：计算分子总和：$num = p_1 * q_2 + p_2 * q_1$
• 步骤2：计算分母：$den = 2 * q_1 * q_2$
• 步骤3：得到中间有理数$u = \frac{num}{den}$
• 验证（可选但推荐）：
  1. 计算$r_0 - u = \frac{p_1}{q_1} - \frac{num}{den}$，化简后分子为$p_1q_2 - p_2q_1$，因为$r_0 < r_1$，所以$p_1q_2 < p_2q_1$，分子为负，分母为正，故$r_0 < u$；
  2. 同理计算$u - r_1$，会得到同样的负分子，故$u < r_1$。

拓展：不止一种构造方法 #

其实只要是能通过有限步骤从$r_0$和$r_1$算出的中间数都可以，比如取$u = r_0 + \frac{r_1 - r_0}{3}$，结果也是有理数，并且在两者之间——算术平均只是最简洁的一种。

一开始卡壳很正常，核心是别先想“怎么证明存在”，而是想“我能不能直接造一个出来”。构造性证明的思路就是“实例优先”，先找一个具体的例子，再验证它符合要求，最后把这个过程一般化。而提炼算法就是把“造例子”的过程拆成机器或人能一步步执行的操作。

内容的提问来源于stack exchange，提问作者user3701380