قانون تقابل مربعی

• ${\displaystyle \;3}$ به پیمانه ${\displaystyle \;13}$ مانده‌است زیرا ${\displaystyle 4^{2}\equiv 3{\pmod {13}}{\mbox{ }}}$
• همه اعداد مربع کامل به پیمانه هر عددی مانده اند.

• مانده‌های به پیمانه عدد اول ${\displaystyle \;p}$ دقیقاً اعداد زیر اند

${\displaystyle 1^{2},2^{2},3^{2},\cdots ,({\frac {p-1}{2}})^{2}}$

• برای هر ${\displaystyle \;p}$ اول، دقیقاً ${\displaystyle {\frac {p-1}{2}}}$ مانده متمایز به هنگ ${\displaystyle \;p}$ و به همین تعداد نامانده وجود دارد.

در همان مثال قبل می‌توان نوشت ${\displaystyle {\Biggl (}{\frac {3}{13}}{\Biggr )}=1}$

اگر ${\displaystyle \;p}$ عددی اول و فرد و ${\displaystyle \;a}$ عددی صحیح و نسبت به آن اول باشد، آنگاه داریم ${\displaystyle {\Biggl (}{\frac {a}{p}}{\Biggr )}\equiv a^{\frac {p-1}{2}}{\pmod {p}}}$

طبق قضیه کوچک فرما می‌دانیم برای هر${\displaystyle \;x}$ داریم ${\displaystyle x^{p-1}\equiv 1{\pmod {p}}}$. پس ${\displaystyle 0\equiv a^{p-1}-1=(a^{\frac {p-1}{2}}+1)(a^{\frac {p-1}{2}}-1)\Rightarrow a^{\frac {p-1}{2}}-1\equiv 0{\mbox{ or }}a^{\frac {p-1}{2}}+1\equiv 0{\pmod {p}}}$

اگر ${\displaystyle \;a}$ مانده باشد، برای یک ${\displaystyle \;x}$ ایی داریم ${\displaystyle a\equiv x^{2}{\pmod {p}}}$ و این نتیجه می‌دهد ${\displaystyle a^{\frac {p-1}{2}}\equiv x^{p-1}\equiv 1{\pmod {p}}}$

حال فرض کنید ${\displaystyle \;g}$ ریشه اولیه ${\displaystyle \;p}$ باشد، پس ${\displaystyle \;i}$ای هست که داشته باشیم ${\displaystyle a\equiv g^{i}{\pmod {p}}}$. پس ${\displaystyle a^{\frac {p-1}{2}}\equiv g^{\frac {i\times (p-1)}{2}}}$. اگر ${\displaystyle \;a}$ نامانده باشد، آنگاه حتماً ${\displaystyle \;i}$ فرد است و در نتیجه ${\displaystyle {\frac {i\times (p-1)}{2}}}$ بر ${\displaystyle p-1\;}$ بخش پذیر نیست و این به دلیل ریشه اول بودن ${\displaystyle \;g}$ نتیجه می‌دهد ${\displaystyle g^{\frac {i\times (p-1)}{2}}\not \equiv 1{\pmod {p}}}$ یعنی ${\displaystyle a^{\frac {p-1}{2}}\equiv -1{\pmod {p}}}$