如何证明方程$x^3+2x-1=0$不存在有理数解？

咱们用反证法来推导这个结论：

假设方程$x^3+2x-1=0$存在有理数解。我们可以把这个解表示为$x=\frac{a}{b}$，其中$a$和$b$是互质的整数（也就是它们的最大公约数是1），且$b≠0$。

把$x=\frac{a}{b}$代入原方程，两边同时乘以$b^3$消去分母，化简后得到：
a^3 + 2ab^2 - b^3 = 0

因为$a$和$b$互质，它们不可能同时是偶数，接下来分三种情况逐一分析：

• 情况1：$a$为偶数，$b$为奇数
  偶数的三次方还是偶数，所以$a^{3$是偶数；$2ab}2$带有因子2，显然也是偶数；奇数的三次方是奇数，所以$b^3$是奇数。把这三项代入等式左边：偶数 + 偶数 - 奇数 = 奇数，但等式右边是0（偶数），奇数不可能等于偶数，矛盾。

• 情况2：$a$为奇数，$b$为偶数
  奇数的三次方是奇数，所以$a^{3$是奇数；$2ab}2$是偶数；偶数的三次方是偶数，所以$b^3$是偶数。等式左边计算结果：奇数 + 偶数 - 偶数 = 奇数，同样和右边的0（偶数）矛盾。

• 情况3：$a$和$b$均为奇数
  $a^{3$是奇数，$2ab}2$是偶数，$b^3$是奇数。此时等式左边：奇数 + 偶数 - 奇数 = 偶数，看起来和右边的0（偶数）暂时不矛盾，但我们可以进一步推导：
  从化简后的等式$a^3 = b^3 - 2ab^2 = b(b^2 - 2ab)$，因为$a$和$b$互质，$b$必须整除$a^3$。而互质的两个数中，一个数能整除另一个数的三次方，说明这个数只能是±1。

  • 当$b=1$时，代入等式得$a^3 + 2a - 1 = 0$，尝试所有整数$a$：$a=0$时结果为-1，$a=1$时结果为2，$a=-1$时结果为-4，都不等于0，没有整数解；
  • 当$b=-1$时，代入等式得$a^3 + 2a*(-1)^2 - (-1)^3 = a^3 + 2a + 1 = 0$，尝试整数$a$：$a=-1$时结果为-2，$a=0$时结果为1，$a=1$时结果为4，也没有整数解。
    这说明这种情况下也不存在满足条件的整数$a$和$b$，矛盾。

综上，三种情况都导出了矛盾，所以原假设不成立，方程$x^3+2x-1=0$没有有理数解。

内容的提问来源于stack exchange，提问作者user450003