为何√2+√6<√15的证明不成立？请分析其错误之处

首先得澄清一个关键点：$\sqrt{2} + \sqrt{6} < \sqrt{15}$这个结论本身是成立的（实际计算：$\sqrt{2}+\sqrt{6}\approx3.863$，$\sqrt{15}\approx3.872$，确实满足小于关系）。但你贴出的这个证明过程存在逻辑漏洞，导致它不能算作一个严谨有效的数学证明，具体错误如下：

• 逻辑推导方向颠倒，未明确等价性
  这个证明是从待证的结论出发，一步步推导到一个已知为真的命题（$48 < 49$）。但数学证明的核心要求是从已知真命题出发，推导出待证结论；或者至少要明确每一步都是可逆的等价变形（即“当且仅当”的关系）。

  这里的每一步（两边平方、移项）在正数范围内确实是可逆的：因为对于非负实数$a,b$，$a < b$等价于$a^2 < b^2$（平方函数在非负域严格单调递增）。但原证明完全用单向推导的写法，只展示了“若结论成立，则$48<49$”，却没有说明反过来“若$48<49$，则结论成立”——这就导致逻辑链是断裂的，读者无法从已知真命题回溯到待证结论。

• 缺乏严谨的逻辑标注
  严谨的证明应该用等价符号$\iff$来连接每一步，或者明确写出反向推导的过程。比如正确的写法应该是：

  要证$\sqrt{2} + \sqrt{6} < \sqrt{15}$，
  因为两边都是正数，等价于证$(\sqrt{2} + \sqrt{6})^2 < 15$，
  展开得$2 + 6 + 2\sqrt{12} < 15$，即$8 + 4\sqrt{3} < 15$，
  移项得$4\sqrt{3} < 7$，
  两边都是正数，等价于证$(4\sqrt{3})^2 < 7^2$，
  计算得$48 < 49$，而这是显然成立的，故原命题得证。

如果只像原证明那样单向倒推，哪怕每一步实际上可逆，也会被认为是逻辑不严谨的无效证明——毕竟数学证明需要的是“从已知到未知”的正向逻辑链，而不是反过来。

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