技术头条 - 一个快速在微博传播文章的方式     搜索本站
您现在的位置首页 --> 算法 --> 经典证明:几乎所有有理数都是无理数的无理数次方

经典证明:几乎所有有理数都是无理数的无理数次方

浏览:1398次  出处信息

     一个无理数的无理数次方是否有可能是一个有理数?这是一个非常经典的老问题了。答案是肯定的,证明方法非常巧妙:考虑根号 2 的根号 2 次方。如果这个数是有理数,问题就已经解决了。如果这个数是无理数,那么就有:

    

     我们同样会得到一个无理数的无理数次方是有理数的例子。

     这是一个典型的非构造性证明的例子:我们证明了无理数的无理数次方有可能等于有理数,但却并没有给出一个确凿的例子。毕竟我们也不知道,真实情况究竟是上述推理中的哪一种。那么,真实情况究竟是上述推理中的哪一种呢? Gelfond-Schneider 定理告诉我们,假设 α 和 β 都是代数数,如果 α 不等于 0 和 1 ,并且 β 不是有理数,那么 α 的 β 次方一定是超越数。根据这一定理我们可以立即看出,根号 2 的根号 2 次方真的是一个无理数,实际情况应该是上述推理中的后者。

     那么,是否存在一个无理数 a ,使得 a 的 a 次方是有理数呢?最近, Stan Dolan 证明了这样一个结论:事实上,几乎所有 (1, ∞) 里的有理数都是某个无理数 a 的 a 次方。

         注意到当 x 大于 1 时,函数 f(x) = xx 是连续单调递增的,因而对于所有 (1, ∞) 里的有理数 r ,一定存在唯一的 a ,使得 aa = r 。不妨假设 a 是一个有理数,它的最简分数形式是 n / m 。如果 m = 1 ,那么我们会有平凡解 nn = r 。下面我们证明, m 是不可能大于 1 的,否则会产生矛盾。

     假设有理数 r 的最简分数形式是 c / b ,于是我们有:

    (n / m)n / m = c / b

     或者说:

    nn · bm = mn · cm

     注意到, mn 是 nn · bm 的约数。然而, m 和 n 是互质的, mn 与 nn 没有公共因子,因而 mn 一定是 bm 的约数。同理, bm 是 mn · cm 的约数,但由于 b 和 c 是互质的,因此 bm 一定是 mn 的约数。 mn 和 bm 怎么可能互为对方的约数呢?只有一种可能,就是 mn 等于 bm 。

     既然 mn = bm ,说明 m 和 b 肯定有大于 1 的公因数。假设 p 是 m 和 b 的某个公共质因数。我们把 m 和 b 中的所有质因数 p 都提出来,将它们写成 m = pi · k 和 b = pj · l ,其中 k 和 l 都不再含有质因数 p 。于是, mn = bm 就可以重新写为:

    pi·n · kn = pj·m · lm

     既然 mn 是等于 bm 的,它们一定含有相同数量的质因数 p ,因而 i·n = j·m ,可知 m 是 i·n 的约数。但是 m 和 n 是互质的,因此 m 一定是 i 的约数。最后,注意到 pi 是 m 的约数,从而也就是 i 的约数。于是矛盾产生了:由于 p ≥ 2 ,因此 pi 一定严格地大于 i ,不可能是它的约数。

     因此,对于所有大于 1 的有理数,除非它恰好等于某个整数 n 的 n 次方,否则它都将是某个无理数 a 的 a 次方。

QQ技术交流群:445447336,欢迎加入!
扫一扫订阅我的微信号:IT技术博客大学习
© 2009 - 2024 by blogread.cn 微博:@IT技术博客大学习

京ICP备15002552号-1