Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$\def\legendre{\genfrac(){.4pt}{}}$Part of Dirichlet's proof of the quartic character of 2 is confusing me.

Suppose $p\equiv 1\mod 4$, so $p$ is the sum of two squares $p=a^2+b^2$. The claim is that $\legendre{a+b}p=\legendre2{a+b}$.

Using the Jacobi symbol, I can fill in that $\legendre{a+b}p=\legendre p{a+b}=\legendre{(a+b)^2-2ab}{a+b}=\legendre{-2ab}{a+b}=\legendre2{a+b}$, although I can't explain the last equality.

How does the last equality work? I can't figure out why $\legendre{-ab}{a+b}=1$. Can somebody please elucidate?

share|cite|improve this question
up vote 3 down vote accepted

Since $a \equiv -b$ (mod $a+b$), we have ($\frac{-ab}{a+b}$) $=$ ($\frac{b^2}{a+b}$) $= 1$.

share|cite|improve this answer
Thanks a lot =) – Qui Qui Jan 8 '13 at 6:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.