嘿，这个问题问得特别好！你提到的两种思路其实都能用来证明√7 - √2是无理数，我来给你一步步拆解清楚：

这应该是你最熟悉的路径，核心还是通过逆否命题/矛盾推导来验证：

• 先假设√7 - √2是有理数，把它记作r，也就是 √7 - √2 = r，这里r肯定不是0（毕竟√7明显不等于√2）。
• 两边平方展开：(√7 - √2)² = r²，计算后得到 7 + 2 - 2√14 = r²，也就是 9 - 2√14 = r²。
• 整理一下式子：2√14 = 9 - r²，进一步得到 √14 = (9 - r²)/2。
• 现在看等式右边：9是整数，r是有理数，所以r²也是有理数，9减r²还是有理数，除以2之后依然是有理数。但左边的√14是无理数（你可以用证明√7、√2的反证法再推一遍：假设√14=p/q是最简分数，那么14q²=p²，这会推出p和q都能被14整除，和最简分数矛盾）。
• 无理数等于有理数，这显然是矛盾的，所以我们最开始的假设不成立，√7 - √2必然是无理数。

这种方法也完全可行，本质是把问题转化为代数方程的根的性质判断：

• 设 x = √7 - √2，我们来构造x满足的有理系数方程：
  1. 先移项得到 x + √2 = √7，两边平方：x² + 2x√2 + 2 = 7，整理后是 x² - 5 = -2x√2。
  2. 为了消掉根号，再把两边平方：(x² - 5)² = (-2x√2)²，展开计算后得到 x⁴ - 10x² + 25 = 8x²，最终化简为 x⁴ - 18x² + 25 = 0。
• 根据有理根定理，这个四次方程的任何有理根p/q（最简分数形式），必须满足p整除常数项25，q整除首项系数1，所以可能的有理根只有±1、±5、±25。
• 把这些可能的根代入方程验证：
  • x=1：1 - 18 + 25 = 8 ≠ 0
  • x=-1：1 - 18 + 25 = 8 ≠ 0
  • x=5：625 - 18×25 + 25 = 200 ≠ 0
  • x=-5：结果和x=5一样，也是200≠0
  • ±25代入后结果显然远大于0，不可能等于0
• 既然这个方程没有有理根，但x=√7 - √2是它的一个根，那x肯定不是有理数，只能是无理数。

简单总结一下：两种方法都完全有效，反证法更贴近你熟悉的单个无理数证明逻辑，而构造方程的方法则是从代数角度利用有理根定理来锁定根的性质，看你更习惯哪种思路就用哪种~

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