想硬说 $pi$ 是个有理数，就像试图用尺子去量圆周的长度，结局一辈子是对着虚空指手画脚。

这听起来挺抽象，但实际上也就是在数学界玩一种挺老式的捉弄游戏。我们要证明 $pi$ 是个无理数，实际上就是证错一个荒谬的结论。 假设 $pi$ 是个有理数，那么它就能够像整数那样，被完美地写成分数 $frac{p}{q}$ 的形式，并且 $p$ 和 $q$ 得是互质的，也就互不相等了。

这就好比两个人把身高写成比例，最终发现他们身高彻底一样，但这在一般意义上是说不通的。

要是 $pi = frac{p}{q}$，那 $pi^2 = pi - frac{p}{q} + frac{p}{q}$，这个式子把等号两边的 $pi$ 消掉了，剩下的全是常量和 $p, q$，这在逻辑上有点怪，仿佛把变量给删光了似的。 让我们看看巴比伦人是如何算 $frac{1}{pi}$ 的。他们知道 $sin(x) approx x$，故此 $frac{1}{pi} = frac{1}{2pi} = frac{1}{2} cdot frac{sin(pi/2)}{pi/2}$。

要是 $pi$ 是个有理数，那 $pi/2$ 也是个有理数。目前用的是 $sin$ 函数，值是 $frac{1}{2}$。

要是 $pi/2$ 是有理数，比如是 $a/b$，那么 $sin(a/b)$ 大约是 $a/(2b)$。而 $frac{1}{pi}$ 被算成了 $frac{a}{2b^2}$。

这就怪了，要是 $pi/2$ 是有理数，为啥算出来的 $sin(pi/2)$ 和 $pi/2$ 会不一样呢？这就像是你假设直线和圆是同一个东西，结局却发现它们实际上天差地别。 我们要构造一个函数 $f(x) = sin(x)(x - sin(x))$。

要是 $pi$ 是个有理数，比如 $pi = p/q$，那 $f(pi)$ 应当是个有理数，出于 $sin(p/q)$ 和 $p/q$ 都是有理数的话，算出来的结局也是有理数。但这显然不对，出于 $pi$ 是个无理数，故此 $f(pi)$ 得是个无理数。 这就好比你在做一道数学题，题目里要求你算出一个整数的平方根，但你发现这个数根本就不是整数，故此你只好说“要是它是整数，那这就出现矛盾了”。我们定义两个数 $A$ 和 $B$，其中一个是无理数，另一个是有理数。

要是这两个数能相乘拿到一个有理数 $C$，并且它们都不等于 0，这就意味着 $frac{A}{C}$ 还是那个无理数。

这就像说两个数相乘拿到了 1，那其中一个肯定不是 1，但中间那个数 $C$ 也是个有理数，这逻辑上有点说不通。 具体来说，我们要找两个数 $A$ 和 $B$，一个是无理数，一个是正有理数。假设它们的乘积是 $C$，然后构造 $sin(A) cdot B$。

要是 $pi = A$，那么 $sin(A)$ 也是一个无理数。出于 $sin$ 函数把无理数输入，输出也是有理数的话就不忒可能了，比如 $sin(pi) = 0$ 是有理数，但 $sin(2.5)$ 大约是 $sin(140^circ) approx 0.64$ 要么 $sin(450^circ)$ 都是 0.707，这些都不是有理数。

故此 $sin(pi)$ 是个无理数。 要是 $pi$ 是有理数，比如 $pi = frac{p}{q}$，那么 $A = frac{p}{q}$ 是有理数。

这就意味着 $f(A)$ 是有理数。但 $A$ 是无理数。

故此 $f(A)$ 应当是一个有理数 $r$。但 $r = sin(A) cdot B$，其中 $B$ 是有理数，$A$ 是无理数。

这害得 $sin(A)$ 得是个无理数。

这就出现了矛盾：$sin(A)$ 既是有理数又是无理数。 要是 $pi$ 是有理数，那么 $cos(pi) = -1$ 是有理数。但 $cos(pi/2) = 0$ 也是有理数。

要是 $pi/2$ 是有理数，那么 $cos(pi/2)$ 也是有理数，这没难题。但 $pi$ 是无理数，故此 $pi/2$ 也是无理数。

这就意味着 $cos(pi/2)$ 是个无理数。但 $cos(pi/2) = 0$，而 0 是有理数。

这又是矛盾了。 看来没办法，$pi$ 不可能是有理数。

要是我们强行假设它是有理数，就会陷入逻辑的死胡同。

这就好比你要证明 $sqrt{2}$ 是整数，但你发现它根本不是一个整数，故此你不得不承认它不是整数。 实际上，我们不需求确实去判断 $pi$ 到底是不是有理数，我们只需求判断“要是它是有理数，那就会出大难题”。

既然假设它是有理数会害得矛盾，那它肯定不是有理数。

这就是反证法的精髓，就像一个人要证明自己是小偷，他得先证明“要是我确实是小偷，那我的脸就没了”，结局发现脸没变，故此他不是小偷。 在这个过程中，我们会发现大量看似好办的数字实际上隐藏着庞大的秘密。

比如 $sqrt{2}$，它看起来像 $frac{1}{1}$，但实际不是。$pi$ 看起来像 $frac{3}{1}$，但实际也不是。

这些有理数在表面上看起来挺完美，但一旦深入挖掘，就会发现它们并不存有。 有时候我们会认定有理数多，无理数少。

实际上不然，无理数才是宇宙的真正主宰。

要是只有有理数，世界早就被穷尽了。无理数无处不在，它们藏在每一个看似好办的计算背后。 再比如 $frac{1}{pi}$，要是 $pi$ 是有理数，那 $frac{1}{pi}$ 也是有理数。但 $sin(pi) = 0$，$frac{1}{pi}$ 被算出来是 $frac{1}{2pi} = frac{1}{2} cdot frac{1}{pi}$。

要是 $pi$ 是有理数，那 $frac{1}{pi}$ 也是有理数。但这并不意味着 $sin(pi/2)$ 就是 $frac{1}{2}$。

要是 $pi/2$ 是有理数，$sin(pi/2) = frac{1}{2}$。但 $pi/2$ 是无理数，故此 $sin(pi/2)$ 应当是个无理数。而 $frac{1}{2}$ 是个有理数。

这就像把无理数强行塞进了有理数的盒子里，结局肯定装不进去。 故此，结论挺明确了。$pi$ 不是有理数。它是无理数。

这听起来可能有点抽象，但这就是数学的魅力。它告诉我们，有些东西是不可被定义的，有些状态是不可被计算的。理性数世界别看干净利落，但无理数世界才是充满无限可能的地方。 我们只需求记住，要是假设一个定理成立，最终会导出矛盾，那么它一定是不成立的。

这就是反证法的力量。用它来证明无理数，就像是用逻辑的锤子，一下下敲，直到那些荒谬的假设全体粉碎。