משפט גאוס-לוקאס

באנליזה מרוכבת, משפט גאוס-לוקאס, חוסם את שורשי הנגזרת  של פולינום P במונחי השורשים של P עצמו. קבוצת השורשים של פולינום ממשי או מרוכב היא קבוצת נקודות במישור המרוכב. המשפט קובע כי כל השורשים של  נמצאים בתוך הקמור של השורשים של P, כלומר בתוך המצולע הקמור הקטן ביותר המכיל את השורשים של P. המשפט, הקרוי על שמם של קרל פרידריך גאוס ופליקס לוקאס, דומה ברוחו למשפט רול. 

 היסטוריה 

בין המסמכים שהותיר מאחוריו קרל פרידריך גאוס (1777 - 1855) נמצאה מחברת אשר הוא החל לכתוב בספטמבר 1813. בעמוד 76 במחברת הוא כתב את הטענה שנודעה כמשפט גאוס-לוקאס. מספר מכתבים שלו שנשלחו לשומאכר מעידים שהוא חשב על המשפט לראשונה ביוני 1836 ושהוא הכיר היטב את ההשלכות הנובעות ממנו. מאוחר יותר, פליקס לוקאס ניסח משפט דומה, אם כי בגרסה מעט חלשה יותר, במאמר מ-1868. המשפט נתגלה מחדש באופן בלתי תלוי על ידי Legebeke ב-1882, בעזרת שיקולים גאומטריים.

 ניסוח  
אם P הוא פולינום בעל מקדמים מרוכבים, כל האפסים של  נמצאים בתוך המצולע הקמור הקטן ביותר המכיל את האפסים של P (במישור המרוכב).

 מקרים פרטיים 
קל לראות שאם  הוא פולינום ממעלה שנייה, השורש של  הוא הממוצע החשבוני של השורשים של P. במקרה זה, הקמור הוא הקטע הישר ששני השורשים של P הם קצותיו, וברור שהממוצע של שני השורשים הוא אמצעו של הקטע הזה.

במקרה של פולינום ממעלה שלישית P (פולינום מעוקב) עם שלושה שורשים שונים, משפט מרדן  קובע שהשורשים של 'P הם נקודות המוקד של אליפסת שטיינר , שהיא האליפסה היחידה המשיקה לצלעות המשולש ששורשי P הם קודקודיו, בנקודות האמצע שלהן.

אם לפולינום ממעלה n עם מקדמים ממשיים יש n שורשים ממשיים שונים  אז ניתן לראות, דרך משפט רול, ששורשיו של פולינום הנגזרת מצויים כולם באינטרוול , שהוא הקמור של שורשי הפולינום המקורי. 

 הוכחה  
מן המשפט היסודי של האלגברה, נובע כי ל-P קיים פירוק יחיד מעל שדה המספרים המרוכבים: , כאשר המספרים  הם השורשים של P.

יהי Z מספר מרוכב עבורו . נבצע בפולינום נגזרת לוגריתמית ונקבל:
. באופן ספציפי, אם Z הוא שורש של  ועדיין , אז:  או: . הביטוי האחרון יכול להיכתב גם כ-:  .
ניתן לראות כי Z הוא סכום משקלים בעל מקדמים חיוביים, או מרכז כובד של המספרים המרוכבים  ולכן הוא נמצא בתוך המצולע הקמור הקטן ביותר המכיל את האפסים של P, מש"ל.

 מקורות 
 עמודים 91-92 ,Analytic Theory of Polynomials 

קישורים חיצוניים



גאוס-לוקאס
קטגוריה:משוואות פולינומיות
קטגוריה:קרל פרידריך גאוס