משוואה דיופנטית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 18:
=== פתרון המשוואה ===
ראשית עלינו לבדוק האם ה[[מחלק משותף מקסימלי|מחלק המשותף המקסימלי]] של a ו-b מחלק את c. אם כן , נסמן אותו בd.
ע"פ [[מחלק המשותףמשותף מקסימלי|אלגוריתם אוקלידס המורחב]] נציג את d כך : d=aw+bz. ע"י [[כפל|הכפלה]] בc/d נקבל פתרון אחד ל[[משוואה]] - ax<sub>1</sub>+by<sub>1</sub>=c. נקבל את שאר הפתרונות ע"י ה[[נוסחה|נוסחאות]] : x = x<sub>1</sub> + ta/d ו y = y<sub>1</sub> - tb/d לכל t [[שלם]].
 
=== משוואות דיופנטיות ממעלות גבוהות ===
על-פי [[עקרון הסה]], למשוואה דיופנטית ריבועית (הומוגנית, בכל מספר של משתנים) יש פתרון במספרים שלמים אם ורק אם יש לה פתרון [[שדה המספרים הממשיים|ממשי]] ובכל [[שדה p-אדי]], כלומר מודולו כל חזקה של ראשוני. עקרון הסה חל במקרה זה, מכיוון שמדובר ב[[עקום אלגברי|עקום]] מגנוס 0. עקרון הסה אינו חל על משוואות מגנוס גבוה יותר, ואפילו על [[עקום אליפטי|עקומים אליפטיים]]; את הכישלון של עקרון הסה במקרה האחרון מודדת [[חבורת שפרביץ']], שמשערים כי היא סופית.