假设π是有理数，就像用尺子去量圆周的尽头——反证法证无理数，揭示理性数背后的巨大矛盾。
✦ 反证法 · 无理数深度解析想硬说π是个有理数，就像试图用尺子去量圆周的长度，结局一辈子是对着虚空指手画脚。我们要证明π是个无理数，实际上就是证错一个荒谬的结论。
假设π = p/q，且p、q互质。那么π² = π - p/q + p/q，这个式子把等号两边的π消掉了，剩下的全是常量和p,q，仿佛把变量删光了——这在逻辑上明显怪异。
巴比伦人计算1/π时，利用sin(x)≈x，得到1/π ≈ (1/2)·sin(π/2)/(π/2)。若π/2是有理数a/b，则sin(a/b)≈a/(2b)，导致1/π被算成a/(2b²)。但sin(π/2)=1/2与近似值矛盾，说明有理数假设不成立。
构造f(x)=sin(x)(x - sin(x))。若π是有理数p/q，则f(π)应是有理数。但π本身无理，f(π)必然无理——矛盾出现。这就像定义两个数A(无理)和B(有理)，乘积为C(有理)，则A/C仍为无理，但C有理，逻辑说不通。
sin(π)=0是有理数，但若π是有理数，sin(π)应是无理数？实际上sin(无理数)可能为有理数，但假设π=p/q，则sin(p/q)必须同时为有理数和无理数，双重矛盾。具体而言，sin(A)·B中A无理、B有理，乘积若为有理数r，则sin(A)必无理，但sin(π)=0却有理。
若π是有理数，则cos(π)=-1有理，cos(π/2)=0有理。但π无理 ⇒ π/2无理 ⇒ cos(π/2)应为无理数，然而0是有理数。这揭示了反证法证明无理数的典型路径：有理假设导致cos值身份混乱。
/π若为有理数，则π有理。但sin(π/2)=1/2，而π/2无理时sin值应为无理？1/2却是有理数。无理数强行塞进有理数盒子，必然装不进去。反证法在此粉碎了所有幻想。
√2看起来像1/1，但实际不是。反证法证明无理数经典案例：假设√2=p/q(既约)，则2q²=p²，p为偶数，进而q也为偶数，与互质矛盾。无理数才是宇宙的真正主宰，有理数世界看似干净，实则无理数无处不在。
假设π是有理数会引发sin、cos函数值矛盾；而反证法证明无理数的本质是逻辑一致性检验。无理数藏在每一个看似简单的计算背后，比如√3、黄金比例φ等。
反证法证明无理数的思想贯穿数学史。若π是有理数，则圆周长与直径可公度，但兰伯特通过tan函数连分数展开导出矛盾。如今我们利用反证法证无理数训练逻辑思维。