经典证明：几乎所有有理数都是无理数的无理数次方
这篇经典证明用了一个非常巧妙的非构造性思路，来回答“无理数的无理数次方是否可能为有理数”这个看似简单却困扰过许多数学爱好者的问题。文章从根号2的根号2次方（记作√2^√2）入手展开讨论。 核心证明的关键在于分情况讨论：如果√2^√2本身恰好是有理数，那么问题直接得到肯定答案；如果它是无理数，那么再以它作为指数进行一次运算——考虑 (√2^√2)^√2。通过指数运算法则，这等于√2^(√2×√2)，也就是√2的平方，其结果恰好等于有理数2。这样一来，无论√2^√2是哪种情况，我们都能从无理数的无理数次方中得到一个有理数。 这个证明的精妙之处在于它并不需要具体算出√2^√2到底是有理还是无理（事实上，它已经被证明是无理数），而是通过逻辑上的“无论如何，结论都成立”来完成论证。这种非构造性的存在性证明，体现了数学思维中的一道优美弧线，也让“几乎所有的有理数都可以表示为无理数的无理数次方”这一更强的结论有了想象空间。