关于非零实数不等式推导证明的有效性及简化可行性问询

我的证明 #

Suppose $a < \frac{1}{a} < b < \frac{1}{b}$.

Suppose $a \ge -1$.Then it follows that $-1 \le a < \frac{1}{a} < b < \frac{1}{b}$.
Suppose $a = -1$. Then it follows immediately from $a < \frac{1}{a}$ that $-1 < -1$ which is false. Thus $a \ne -1$.
Suppose $-1 < a < 0$.Then it follows from $a < \frac{1}{a}$ that $a^{2} > 1$. One can infer from $a^{2} > 1$ that $a < -1$. But this contradicts with the fact that $a \ge -1$.
Hence $a \le -1$ or $a \ge 0$.
Finally, suppose $a > 0$. It follows from $a < \frac{1}{a}$ that $a^{2} < 1$ and consequently $0 < a < 1$. Since $0 < a < 1$, one can infer that $b > 1$ from $\frac{1}{a} < b$. But this contradicts with the fact that $b < 1$ which can be inferred from $b^{2} < 1$ which followed from $b < \frac{1}{b}$.
Hence $a \le 0$. Since all possible cases for $a \ge -1$ have been exhausted, it is impossible for $a \ge -1$.Thus $a < -1$.

In case $a < -1$, it follows immediately that $a < \frac{1}{a}$. Since $a < -1$, one can infer from $\frac{1}{a} < b$ that $b > -1$. Suppose $-1 < b < 0$. It follows from $b < \frac{1}{b}$ that $b^{2} > 1$ and consequently $b < -1$. But this contradicts with the assumption that $-1 < b < 0$. Hence $b \le -1$ or $b \ge 0$. Suppose $b > 0$. It follows from $b < \frac{1}{b}$ that $b^{2} < 1$. Only $b$ in the interval $0 < b < 1$ satisfies $b^{2} < 1$. It follows that the only intervals of $a$ and $b$ which satisfies $a < \frac{1}{a} < b < \frac{1}{b}$ is $a < -1$ and $0 < b < 1$ respectively. Therefore if $a < \frac{1}{a} < b < \frac{1}{b}$ then $a < -1$. QED

我的疑问 #

• 第一，上面的推导能否被视为一个合法的数学证明？
• 第二，如果它是有效的证明，我是否可以在穷尽$a \ge -1$的所有情况并导出矛盾后，就直接得出$a < -1$的结论，不需要再进行后面关于$a < -1$的验证步骤？

专业解答 #

1. 证明的有效性判断 #

你的推导完全是一个严谨合格的数学证明。整个过程逻辑链条清晰：从原不等式出发，通过分情况穷举$a$的所有可能取值范围，每一步推导都严格遵循不等式的基本运算规则（尤其是负数乘不等式时符号的反转，你都准确做到了），所有矛盾点都被明确指出并合理推导，最终得出的结论$a < -1$完全成立。没有逻辑漏洞，符合数学证明的严谨性要求。

2. 关于是否可以提前结束证明 #

这要结合你证明的核心目标来判断：

• 如果你的定理仅要求证明“若$a < \frac{1}{a} < b < \frac{1}{b}$，则$a < -1$”，那么在你穷尽$a \ge -1$的所有情况并导出矛盾后，完全可以直接结束证明。因为实数的取值范围要么是$a \ge -1$要么是$a < -1$，既然前者所有情况都不成立，那么后者必然是唯一可能，这符合排中律的逻辑。
• 但如果你额外需要证明这个不等式链存在解（也就是不仅要知道$a < -1$，还要确认存在对应的$b$满足条件），那后面验证$a < -1$时$b$的取值范围的步骤就是必要的。不过从你最后写的结论来看，核心目标只是推导$a$的范围，所以提前结束完全没问题。

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