0
$\begingroup$

In general how to solve this equation:(with Hensel's lemma and without it) $$2x^3+7x-4\equiv0 \pmod{25} $$

  • 0
    The crude way without Hensel is to note that $1$ is the only solution mod $5$, and then try $1$, $6$, $11$, $16$, $21$ modulo $25$.2012-12-07

1 Answers 1

0

Without Hensel's lemma: First solve $2x^3+7x-4\equiv 0\pmod 5$, getting a solution $x_0$.

Then write $x=x_0+5k$ and substitute into the equation:

$$2(x_0+5k)^3+7(x_0+5k)-4\equiv 0\pmod {25}$$

solving for $k$. This turns out to be linear in $k$ because the high powers of $k$ have coefficients that are divisible by $25$.

With Hensel's lemma: Hensel's lemma is a shorter version of this, and can be written much like Newton's method:

$$p(x)=2x^3+7x-4$$

Let $x_0$ be a solution of $p(x)\equiv 0 \pmod 5$.

Then $$x_1=x_0 + \frac{p(x_0)}{p'(x_0)}$$

Where by the fraction, we really mean multiplication by an inverse of $p'(x_0)$ modulo $5$. Clearly, that's only going to be possible of $p'(x_0)\not\equiv 0\pmod 5$.

Then $x_1$ is a solution $\pmod {25}$.

  • 0
    $ x=5k+1 $ then $ 2(5k+1)^3$ + $7(5k+1)-4=0$ then $250k^3+150k^2+50k+4 \equiv 0 (mod25)$ =4 , k doesn't exist , how to continue?2012-12-07
  • 0
    @misi10 I think you need to rework your substitution. Definitely, the constant term should be $2+7-4=5$, for example. I think the $k$ term is also wrong, although the $k^3$ and $k^2$ terms look correct.2012-12-07
  • 0
    It looks to me like: $$2(5k+1)^3+7(5k+1)-4 = 250k^3 + 150k^2 + 65k + 5$$ That's also what Wolfram alpha gives me.2012-12-07
  • 0
    sorry, correct is $65k+5\equiv 0 (mod25)$. I found k=5 and x=26 , 26 is uniqe answer? . inspection for k=5,6,... is needed?2012-12-07
  • 0
    Definitely not $k=5$, since $65\cdot 5\equiv 0\pmod {25}$2012-12-07
  • 0
    Hint: $65k+5\equiv 0\pmod {25}$ if and only if $13k+1\equiv 0\pmod 5$.2012-12-07
  • 0
    very Thank you for help. k=3 and then x=16 is uniqe solution?2012-12-07
  • 0
    That was what I got. There is only one solution $\pmod 5$, and only one $k$, so yes, only one solution $\pmod {25}$.2012-12-07