Show that the congruence 8x2−x+4≡0(mod9) has no solution by reducing to the form y2≡a(mod9)

Step 1 Given congruence is 8x2−x+4≡0(mod9) We have to show this congruence has no solution by reducing it to the form y2=a(mod9) Step 2 Consider the congruence 8x2−x+4≡0(mod9) ⇒−x2+8x+4≡0(mod9)∵−1≡8(mod9) ⇒−x2+8x−16+16+4≡0(mod9) by adding and substracting 15 ⇒−x2+8x−16+20≡0(mod9) ⇒−(x2−8x+15)+20≡0(mod9) ⇒−(x−4)2+20≡0(mod9) ⇒−(x−4)2≡20(mod9) ⇒(x−4)2≡20(mod9)∵gcd(−1,9)=1, so cancellation law holds ⇒(x−4)2≡2(mod9):0≡2(mod9) Take y = x-4, the we have the congruence y2≡2(mod9) and the congruence y2≡2(mod9) has no solution. ⇒The given congruence has no solution.

Resolved: "Show that the congruence 8x2−x+4≡0(mod9) has no solution..."

nicekikah

Answered question

2021-03-09

Show that the congruence

8 x^{2} - x + 4 \equiv 0 (mod 9)

has no solution by reducing to the form

y^{2} \equiv a (mod 9)

Answer & Explanation

Yusuf Keller

Skilled2021-03-10Added 90 answers

Step 1
Given congruence is

8 x^{2} - x + 4 \equiv 0 (mod 9)

We have to show this congruence has no solution by reducing it to the form

y^{2} = a (mod 9)

Step 2
Consider the congruence

8 x^{2} - x + 4 \equiv 0 (mod 9)

\Rightarrow - x^{2} + 8 x + 4 \equiv 0 (mod 9) ∵ - 1 \equiv 8 (mod 9)

\Rightarrow - x^{2} + 8 x - 16 + 16 + 4 \equiv 0 (mod 9)

by adding and substracting 15

\Rightarrow - x^{2} + 8 x - 16 + 20 \equiv 0 (mod 9)

\Rightarrow - (x^{2} - 8 x + 15) + 20 \equiv 0 (mod 9)

\Rightarrow - {(x - 4)}^{2} + 20 \equiv 0 (mod 9)

\Rightarrow - {(x - 4)}^{2} \equiv 20 (mod 9)

\Rightarrow {(x - 4)}^{2} \equiv 20 (mod 9) ∵ gcd (- 1, 9) = 1

, so cancellation law holds

\Rightarrow {(x - 4)}^{2} \equiv 2 (mod 9) : 0 \equiv 2 (mod 9)

Take y = x-4, the we have the congruence

y^{2} \equiv 2 (mod 9)

and the congruence

y^{2} \equiv 2 (mod 9)

has no solution.

\Rightarrow

The given congruence has no solution.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in High school geometry

Didn't find what you were looking for?