你知道吗？2和10的整数次幂永不相等

序言

《编码》这本书曾经在个人豆瓣“想读”列表中躺了好久，大概在今年年初才开始看。但读着读着发现书中的电路图愈来愈多，而个人阅读热情也随之被慢慢浇灭。五月初的时候，终究仍是把它合上，并在豆瓣上羞愧难当地将其标注为“读过”。

抛开晦涩的电路图不谈，书中有一句话吸引了个人注意力

第一次读到这里时，我想做者应当会在下一段给出具体的证实过程——结果竟然没有。难道做者以为两侧的空白过小了，不足以写下他所发现的美妙证法？

受好奇心的驱使，我便试着证实书中的这个结论。

不过正式开始前，还得明确一下命题：对于任意的正整数a和b（a不等于b），10的a次幂和2的b次幂不相等。

先证实一条引理

为了证实上面的命题，须要先证实一条引理：对于任意的正整数a，5的a次幂是一个奇数。能够用数学概括法来证实。

首先验证a为1时命题成立。因为5的1次幂为5，而且5是一个奇数，因此命题成立；

接着，假设a为k时命题成立，将5的k次幂写成2n+1的形式，当a为k+1时，

所以，5的k次幂也是一个奇数。所以，该命题对于任意的正整数a都是成立的。

同理可证：对于任意的正整数a，2的a次幂是偶数。

反证法证实原命题

假设存在正整数a和b（b大于a），使得10的a次幂与2的b次幂相等

将10分解为2和5的积，再两边同时除以2的a次幂

等式的左边和右边分别是5的正整数次幂与2的正整数次幂。由前一节的引理可知，左边是奇数，右边是偶数，二者不可能相等，与上述等式产生矛盾。所以，原假设不成立，命题得证。

后记

我最开始的想法很复杂。虽然也是采用反证法，但我将等式作了以下变换

而后试图证实以2为底的10的对数不是有理数，和等式右边不相等。不过这个方法于我而言太难了，便没有继续尝试下去。

阅读原文