עקום אליפטי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Yonidebot (שיחה | תרומות)
מ בוט החלפות: על ידי;
Yonidebot (שיחה | תרומות)
מ בוט החלפות: בהינתן;
שורה 24:
אנו מתייחסים לנקודת האינסוף כאפס, כלומר כאיבר הזהות של הקבוצה; אם קו ישר חוצה את העקום ב3 נקודות ''P'', ''Q'' ו''R'', אנו נדרוש כי יתקיים ''P'' + ''Q'' + ''R'' = 0. ניתן לבדוק כי הגדרה זו הופכת את העקום ל[[חבורה אבלית]], ובכך גם ל[[יריעה אבלית]]. כמו כן, ניתן להראות שקבוצת הנקודות ה''K''-רציונליות, כולל נקודת האינסוף, יוצרים [[חבורה|תת חבורה]] של חבורה זו. אם נסמן את העקום ב-''E'', הרי שנוהגים לרשום את העקום כ <math>E\left( K \right)</math>.
 
את החבורה הזו ניתן לתאר הן בצורה אלגברית והן בצורה גאומטרית. בהנתןבהינתן העקום <math>y^2_{} = x^3 - p\cdot x - q</math> מעל השדה ''K'' (אשר המאפיין שלו שונה מ2 ו3), ונקודות <math>P=\left(x_P, y_P\right)</math> ו-<math>Q=\left(x_Q, y_Q\right)</math> על העקום, נניח תחילה כי <math> x_{P} \neq x_{Q} </math>. יהי <math>s = \frac{y_{Q}-y_{P}}{x_{Q}-x_{P}}</math>. כיוון ש''K'' שדה, ''s'' מוגדר היטב. לכן נוכל להגדיר <math> R = P + Q = \left( x_R , y_R \right)</math> על ידי:
 
:<math>x_R^{} = s^2 - x_P - x_Q</math>