反证法

反证法是一种常用的数学证明方法，也是一种常用的逻辑推理方法。它通过假设所要证明的结论为假，然后推导出与已知事实相矛盾的结论，从而得出所要证明的结论为真的结论。反证法的经典例子是欧几里得的无理数开方问题，即证明根号2是无理数。欧几里得的无理数开方问题是一个古老而经...