Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

$\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

1 Answer 1

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.