הלמה של אייזנשטיין

הלמה של אייזנשטיין (על שם המתמטיקאי הגרמני פרדיננד אייזנשטיין) היא למה בתורת המספרים, המספקת תנאי למספר טבעי להיות שארית ריבועית.

בדומה ללמה של גאוס, על אף שהלמה אינה יעילה ככלי חישוב, יש לה חשיבות תאורטית, כטענת עזר בהוכחות רבות של משפט ההדדיות הריבועית.

למה

יהי $p$ מספר ראשוני אי-זוגי, ויהי $a$ מספר שלם אי-זוגי זר ל-$p$.תבנית:ש אזי מתקיים $\left(\frac{a}{p}\right)=(-1{)}^S,S=\sum _{k=1}^{(p-1)/2}\lfloor \frac{ka}{p}\rfloor$, כאשר אגף שמאל הוא סימן לז'נדר.

הוכחה

$a$ זר ל-$p$, ולכן כל המספרים בקבוצה $\{a,2a,\dots ,\frac{p-1}{2}a\}$ שונים זה מזה מודולו $p$.תבנית:ש נחלק את איברי הקבוצה ב-$p$ עם שארית, ונקבל:

$\begin{array}{cc}& ka=q_{k}p+t_k,:0\le t_k\le p-1\\ & \frac{ka}{p}=q_k+\frac{t_k}{p}\\ & \lfloor \frac{ka}{p}\rfloor =\lfloor q_k+\frac{t_k}{p}\rfloor =q_k+\lfloor \frac{t_k}{p}\rfloor =q_k\\ & ka=\lfloor \frac{ka}{p}\rfloor p+t_k\end{array}$

תהיינה $r_1,\dots ,r_m$ שאריות החילוק הקטנות מ-$\frac{p}{2}$, ותהיינה $s_1,\dots ,s_n$ שאריות החילוק הגדולות מ-$\frac{p}{2}$.תבנית:ש מן הלמה של גאוס נובע כי המספרים $r_1,\dots ,r_m,p-s_1,\dots ,p-s_n$ שווים לאיברים $1,2,\dots ,\frac{p-1}{2}$ בסדר כלשהו.

$\begin{array}{c}\sum _{k=1}^{(p-1)/2}ka=\sum _{k=1}^{(p-1)/2}(\lfloor \frac{ka}{p}\rfloor p+t_k)=\sum _{k=1}^{(p-1)/2}\lfloor \frac{ka}{p}\rfloor p+\sum _{k=1}^{(p-1)/2}{t}_k=p\cdot S+\sum _{k=1}^m{r}_k+\sum _{k=1}^n{s}_k\\ \sum _{k=1}^{(p-1)/2}k=\sum _{k=1}^m{r}_k+\sum _{k=1}^n(p-s_k)=\sum _{k=1}^m{r}_k+\sum _{k=1}^{n}p-\sum _{k=1}^n{s}_k=np+\sum _{k=1}^m{r}_k-\sum _{k=1}^n{s}_k\end{array}$

נחסר את שתי המשוואות זו מזו ונקבל:

$\begin{array}{c}\sum _{k=1}^{(p-1)/2}ka-\sum _{k=1}^{(p-1)/2}k=(a-1)\sum _{k=1}^{(p-1)/2}k=p(S-n)+2\sum _{k=1}^n{s}_k\\ 2(\frac{a-1}{2}\sum _{k=1}^{(p-1)/2}k-\sum _{k=1}^n{s}_k)=p(S-n)\end{array}$

המספרים $a,p$ אי-זוגיים ולכן $a-1$ זוגי. לכן

$\begin{array}{c}p(S-n)\equiv 0(\mathrm{mod}2)\\ S-n\equiv 0(\mathrm{mod}2)\\ S\equiv n(\mathrm{mod}2)\\ \left(\frac{a}{p}\right)=(-1{)}^n=(-1{)}^S\end{array}$

כאשר השורה האחרונה על-פי הלמה של גאוס.

ראו גם

• הלמה של גאוס
• משפט ההדדיות הריבועית