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