Quadratic reciprocity question

  • Thread starter Thread starter math_grl
  • Start date Start date
  • Tags Tags
    Quadratic
Click For Summary
SUMMARY

The discussion centers on proving that the equation x² + (p+1)/4 ≡ 0 (mod p) is not solvable for prime p where p ≡ 3 (mod 4). Participants analyze the implications of the Legendre and Jacobi symbols in determining the solvability of the equation. They conclude that for p = 3, the equation simplifies to x² + 1 ≡ 0 (mod 3), which has no solutions, thus supporting the claim that the original equation is not solvable under the given conditions.

PREREQUISITES
  • Understanding of modular arithmetic and congruences
  • Familiarity with Legendre and Jacobi symbols
  • Knowledge of quadratic residues and non-residues
  • Basic concepts of prime numbers and their properties
NEXT STEPS
  • Study the properties of quadratic residues in modular arithmetic
  • Learn about the application of the Legendre symbol in number theory
  • Explore the implications of the Jacobi symbol in solving congruences
  • Investigate other forms of quadratic equations modulo prime numbers
USEFUL FOR

Mathematicians, students studying number theory, and anyone interested in modular arithmetic and quadratic equations.

math_grl
Messages
46
Reaction score
0

Homework Statement


Show [tex]x^2 + (p+1)/4 \equiv 0 (\mod p)[/tex] where [tex]p \equiv 3 (\mod 4)[/tex] and p is prime is not solvable.

Homework Equations


Legendre's and Jacobi symbol, congruences

The Attempt at a Solution


Noticing that [tex]x^2 \equiv -(k+1) (\mod p)[/tex] when [tex]p = 4k + 3[/tex] ?
Now (-1/p)(k+1/p) should tell use whether this has a solution.
But (-1/p)=-1. How do you get (k+1/p)? Am I even on the right track?

Does (k+1/p) = (-1) (p/k+1)= (-1) (-1/k+1)? plus who's to say that k+1 is not factorable?
 
Last edited:
Physics news on Phys.org
math_grl said:

Homework Statement


Show [tex]x^2 + (p+1)/4 \equiv 0 (\mod p)[/tex] where [tex]p \equiv 3 (\mod 4)[/tex].


Homework Equations


Legendre's and Jacobi symbol, congruences


The Attempt at a Solution


Noticing that [tex]x^2 \equiv -(k+1) (\mod p)[/tex] when [tex]p = 4k + 3[/tex] ?
Now (-1/p)(k+1/p) should tell use whether this has a solution.
But (-1/p)=-1. How do you get (k+1/p)? Am I even on the right track?

Does (k+1/p) = (-1) (p/k+1)= (-1) (-1/k+1)? plus who's to say that k+1 is not factorable?
I believe that your problem statement is incorrect, as it's not identically true for arbitrary value of x and p. Instead, I think it should instead ask for solutions of the equation.

Here's an example. Let p = 3.
Then the statement is
x2 + (3 + 1)/4 [itex]\equiv[/itex] 0 (mod 3).

Simplifying a bit gives
x2 + 1 [itex]\equiv[/itex] 0 (mod 3).

If x = 0, the above says that 1 [itex]\equiv[/itex] 0 (mod 3) - not true.
If x = 1, we have 2 [itex]\equiv[/itex] 0 (mod 3) - again not true.
If x = 2, we have 5 [itex]\equiv[/itex] 0 (mod 3) - also not true.

Please clarify what it is that you need to do.
 
I have edited the first post...i left out p is prime and we want to see show that the congruence is not solvable.
 

Similar threads

Replies
6
Views
4K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
30
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
7
Views
2K
Replies
15
Views
4K
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K