הלמה של גאוס (תורת המספרים) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שדדשכ (שיחה | תרומות)
מאין תקציר עריכה
שורה 5:
'''הלמה של גאוס'''.
יהי p מספר ראשוני אי זוגי, ונניח ש- a [[מספרים זרים|זר]] ל- p. אם n הוא מספר המספרים בקבוצה
<math>\ S = \{a,2a,3a,\dots,\frac{p-1}{2} a\}</math> המשאירים שארית גדולה מ- p/2 כשמחלקים אותם ב-p, אז: <math>\ \left(\frac{a}{p}\right) = (-1)^n</math>, כאשר <math>(\tfrac {\cdot}{\cdot})</math> הוא [[סימן לז'נדר]].
 
'''הוכחה'''. מכיוון ש- a זר ל- p, כל <math>\ (p-1)/2</math> המספרים בקבוצה S שונים זה מזה מודולו p. נסמן ב-