משוואת פל

משוואת פל (באנגלית: Pell's equation) היא משוואה דיופנטית מן הצורה x 2 − D y 2 = 1 {\displaystyle x^{2}-Dy^{2}=1} , כאשר D {\displaystyle D} הוא שלם לא ריבועי, ו- x , y {\displaystyle x,y} נעלמים שצריכים לקבל ערכים שלמים. אם אין ל- D {\displaystyle D} מחלקים ריבועיים, אז למשוואה יש אינסוף פתרונות, שנובעים כולם מפתרון יסודי יחיד. את הפתרון היסודי אפשר לקבל על ידי פיתוח השורש הריבועי של D {\displaystyle D} לשבר משולב. משערים שבמקרה הטיפוסי, הפתרון היסודי הוא מסדר הגודל של e D {\displaystyle e^{\sqrt {D}}} . משוואת פל נחקרה כבר במאה ה-7 לספירה בהודו, על ידי המתמטיקאי והאסטרונום בראהמגופטה, שפיתח את שיטת Chakravala לפתרון משוואות ממעלה שנייה, ובהן גם משוואת פל. שיטתו זו מופיעה בספרו Brahma Sphuta SiddhaDta כבר בשנת 628, כאלף שנים בטרם זמנו של ג'ון פל. ספרו זה תורגם לערבית בשנת 773, וללטינית ב-1126. הן Bhaskara II במאה ה-12 והן DarayaDa במאה ה-14 גילו פתרונות כלליים למשוואת פל ומשוואות ריבועיות דומות. את "בעיית הבקר של ארכימדס", אפשר לתרגם למשוואת פל, שפתרונה הוא בן 206544 ספרות. שם המשוואה נקבע על ידי לאונרד אוילר, אשר ייחס את חקירתה למתמטיקאי האנגלי ג'ון פל. ישנם הטוענים שאוילר בלבל בין פל ללורד ברונקר, אשר היה המתמטיקאי האירופי הראשון שגילה פתרון כללי למשוואה. אולם, התייחסות למשוואת פל מופיעה בספר של יוהאן ראהן, אשר נטען שפל תרם לה רבות, וייתכן שאוילר במודע קרא למשוואה על שמו של פל. חקירה יסודית של המשוואה נעשתה על ידי ז'וזף לואי לגראנז'. הערך x 2 − D y 2 {\displaystyle x^{2}-Dy^{2}} הוא הנורמה של האיבר x + D y {\displaystyle x+{\sqrt {D}}y} בשדה המספרים Q [ D ] {\displaystyle \mathbb {Q} [{\sqrt {D}}]} . הפתרונות למשוואת פל, אם כן, הם מספרים כאלה, שהנורמה שלהם היא 1. לפי משפט 90 של הילברט, הפתרון הכללי למשוואה הוא x + D y = a + D b a − D b = a 2 + D b 2 a 2 − D b 2 + 2 a b a 2 − D b 2 D {\displaystyle x+{\sqrt {D}}y={\frac {a+{\sqrt {D}}b}{a-{\sqrt {D}}b}}={\frac {a^{2}+Db^{2}}{a^{2}-Db^{2}}}+{\frac {2ab}{a^{2}-Db^{2}}}{\sqrt {D}}} ובגלל ההומוגניות אפשר להניח כי a , b {\displaystyle a,b} שלמים. זהו, אם כן, הפתרון הכללי במספרים רציונליים. הדרישה שהמקדמים x , y {\displaystyle x,y} שלמים פירושה שמחפשים את האיבר דווקא בחוג Z [ D ] {\displaystyle \mathbb {Z} [{\sqrt {D}}]} , שבו איברים בעלי נורמה 1 הם איברים הפיכים. למעשה האיברים ההפיכים הם בעלי נורמה 1 או 1-, ולכן מעוניינים גם בפתרונות למשוואה x 2 − D y 2 = − 1 {\displaystyle x^{2}-Dy^{2}=-1} . לעיתים מחפשים פתרונות בחוג השלמים של השדה, השווה לחוג Z [ D ] {\displaystyle \mathbb {Z} [{\sqrt {D}}]} אם D ≡ 2 , 3 ( mod 4 ) {\displaystyle D\equiv 2,3\,(\!{\bmod {4}})} , ולחוג Z [ 1 + D 2 ] {\displaystyle \mathbb {Z} \left[{\frac {1+{\sqrt {D}}}{2}}\right]} אם D ≡ 1 ( mod 4 ) {\displaystyle D\equiv 1\,(\!{\bmod {4}})} . במקרה האחרון האיברים ההפיכים מתאימים לפתרונות של המשוואות x 2 − D y 2 = ± 1 , ± 4 {\displaystyle x^{2}-Dy^{2}=\pm 1,\pm 4} . משפט היחידות של דיריכלה מתאר את אוסף האיברים ההפיכים בחוגים כאלה, ולכן אפשר לראות בו הכללה של פתרון משוואת פל. היתרון בגישה זו הוא שהיא מציעה באופן טבעי פעולת כפל של פתרונות: הנורמה היא פונקציה כפלית, ולכן אם x 1 2 − D y 1 2 = 1 , x 2 2 − D y 2 2 = 1 {\displaystyle x_{1}^{2}-Dy_{1}^{2}=1,x_{2}^{2}-Dy_{2}^{2}=1} מתקבל פתרון נוסף מן המכפלה ( x 1 2 − D y 1 2 ) ( x 2 2 − D y 2 2 ) = ( x 1 x 2 + D y 1 y 2 ) 2 − D ( x 1 y 2 + x 2 y 1 ) 2 = 1 {\displaystyle (x_{1}^{2}-Dy_{1}^{2})(x_{2}^{2}-Dy_{2}^{2})=(x_{1}x_{2}+Dy_{1}y_{2})^{2}-D(x_{1}y_{2}+x_{2}y_{1})^{2}=1} באופן כזה אפשר ליצור מפתרון אחד סדרה אינסופית של פתרונות. למעשה, אפשר להוכיח שאוסף הפתרונות הוא בעל מבנה כזה בדיוק: כולם נוצרים מפתרון יסודי אחד. יתרה מזו, הפתרונות לכל משוואה מהצורה x 2 − D y 2 = k {\displaystyle x^{2}-Dy^{2}=k} מתקבלים מהכפלת מספר סופי של פתרונות יסודיים של המשוואה, בפתרונות השונים של המשוואה x 2 − D y 2 = 1 {\displaystyle x^{2}-Dy^{2}=1} . ידוע שהפתרון היסודי x , y {\displaystyle x,y} מקיים את החסם | y | < | x | < ( 4 e 2 D ) D {\displaystyle |y|<|x|<(4e^{2}D)^{\sqrt {D}}} , ומשערים שחסם זה הדוק, עד כדי סדר הגודל. לדוגמה, עבור D = 661 {\displaystyle D=661} הפתרון הקטן ביותר למשוואה הוא x = 16421658242965910275055840472270471049 {\displaystyle x=16421658242965910275055840472270471049} (38 ספרות) y = 638728478116949861246791167518480580 {\displaystyle y=638728478116949861246791167518480580} (36 ספרות) (זהו הפתרון היסודי הגדול ביותר עם D ≤ 1000 {\displaystyle D\leq 1000} ). סדרת פל שבר משולב Pell's equation, Math Tutor משוואת פל, באתר MathWorld (באנגלית) JohD Pell, Math Tutor ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.