تقابل تربيعي

في نظرية الأعداد، قانون التقابل التربيعي (بالإنجليزية: Quadratic reciprocity)‏ هي مبرهنة تتعلق بالحسابيات النمطية تعطي الشروط التي ينبغي تحقيقها من أجل أن تكون معادلة تربيعية ما بتردد عدد أولي ما قابلة للحلحلة. يعبر عن هذا القانون بصيغ مختلفة، ولكن أكثرها انتشارا هي كما يلي:

$(\frac{p}{q})(\frac{q}{p})=(-1{)}^{\frac{p-1}{2}\frac{q-1}{2}}$

حيث p وq عددان أوليان فرديان مختلفان وحيث $(\frac{p}{q})$ يعني رمز لوجاندر، المعرف كما يلي:

$(\frac{q}{p})=\{\begin{array}{cc}1& n^2\equiv qmodp\text{ for some integer }n\\ -1& \end{array}$

التاريخ وأشكال مختلفة من المبرهنة

فيرما

$\begin{array}{rr}p=x^2+y^2& ⟺p=2\text{ or }p\equiv 1mod4\\ p=x^2+2y^2& ⟺p=2\text{ or }p\equiv 1,3mod8\\ p=x^2+3y^2& ⟺p=3\text{ or }p\equiv 1mod3\\ \end{array}$

تسمى المبرهنة الأولى مبرهنة فيرما حول مجموع مربعين.

انظر أيضا

• معيار أويلر