עקום פרמה

במתמטיקה, ובעיקר בגאומטריה אלגברית ובגאומטריה אריתמטית, עקום פרמה הוא העקום האלגברי המרוכב, המוגדר בקואורדינטות ההומוגניות ${\displaystyle X:Y:Z}$ של המישור הפרויקטיבי, לפי משוואת פרמה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle X^n+Y^n=Z^n} . במונחי המישור האפיני, מתקבל העקום ${\displaystyle x^{n}+y^{n}=1}$ .

את משפט פרמה, הקובע שלמשוואה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a^n+b^n=c^n} אין פתרון במספרים שלמים לכל ${\displaystyle n>2}$ (למעט כאשר אחד המשתנים שווה לאפס), אפשר לנסח גם כטענה שלעקום פרמה אין נקודה רציונלית מעל המספרים הרציונליים, למעט הנקודות הטריוויאליות.

עקום פרמה הוא עקום חלק. מכיוון שעל פי משפט הנורמליזציה, הנקודות של כל עקום אלגברי פרויקטיבי חלק מהוות משטח רימן קומפקטי, הרי שאם מוגדר מעל שדה המספרים המרוכבים, הנקודות של עקום פרמה אף הן מהוות משטח רימן קומפקטי. ניתן להוכיח כי הגנוס של עקום אלגברי פרויקטיבי חלק ממעלה ${\displaystyle n}$ הוא עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{(n-1)(n-2)}{2}} , ולפיכך זהו הגנוס של עקום פרמה. במקרה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle n=2} הגנוס הוא 0, והעקום ניתן לפרמטריזציה מלאה סביב כל אחת מן הנקודות הרציונליות שלו. במקרה ${\displaystyle n=3}$ הגנוס הוא 1. עקום אלגברי פרויקטיבי חלק עם גנוס 1 נקרא עקום אליפטי.

מקורות