数学证明的“神仙打架”：反证法与构造法的巅峰艺术对决 数学证明不是枯燥的符号游戏，反证法像太极高手以退为进，构造法如创意工匠无中生有——它们联手揭开数学最精妙的大门，比武侠对决更过瘾。从√2的无理性到素数无穷，逻辑...
