היומן של גאוס

היומן של גאוס הוא תיעוד של תגליות מתמטיות של קרל פרידריך גאוס בשנים 1796 עד 1814. הוא נתגלה מחדש ב-1897 ופורסם על ידי פליקס קליין ב-1903, והודפס מחדש בכרך העשירי של אוסף העבודות שלו. היומן מכיל 146 תוצאות, ומתעד תגליות מגוונות בתחומי מתמטיקה שונים: מרביתם עוסקים בתורת המספרים, אלגברה ואנליזה; בחוקי הדדיות, שברים משולבים, שיטות סכימה ואינטגרציה שונות, הממוצע האריתמטי גאומטרי ועוד, ואילו מקצתם עוסקים באסטרונומיה וביסודות הגאומטריה. מן היומן עולה בבירור כי גאוס הקדים את זמנו ברבע מאה ופיתח את תורת הפונקציות האליפטיות, כמו גם החל לחקור את חוקי ההדדיות מסדר גבוה יותר (מסדר שלישי ורביעי).

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

הערות לדוגמה

רוב ההערות הן תיאור מקוצר ולעיתים קביעה מוצפנת של תוצאות בלטינית.

הערה 1, מתאריך 30 במרץ 1796, קובעת "Principia quibus innititur sectio circuli, ac divisibilitus eiusdem geometrica in septemdecim partes etc.", ומתעדת את תגליתו של גאוס על הניתנות לבנייה של המצולע המשוכלל בן ה-17 צלעות.

הערה 10, מתאריך 10 ביולי 1796, קובעת "ΕΥΡΗΚΑ! num = Δ + Δ + Δ" ומתעדת את הגילוי וההוכחה לכך שכל מספר ניתן להצגה כסכום של 3 מספרים משולשים, מקרה פרטי של משפט המספרים המצולעים של פרמה.

הערה 43, מתאריך 21 באוקטובר 1796, קובעת "Vicimus GEGAN". משמעותה אינה ברורה.

הערה 93, משנת 1798, חריגה מאד בתוכנה, וקובעת "פתרון של בעיה בבליסטיקה". זוהי ההתייחסות היחידה של גאוס לבליסטיקה, וככל הנראה לבעיה בבליסטיקה שנפתרה יש התייחסות במכתב לאסטרונום Encke מה-15 באוגוסט 1842, שם פתרון הבעיה מופיע לשימושים צבאיים.

הערה 107, מתאריך 16 במאי 1800, היא על מציאת כלל לחישוב מועד חג הפסחא. גאוס פיתח אלגוריתם יעיל למטרה זו. באמצעות הכלל שפיתח גאוס פתר את תעלומת תאריך הולדתו.

הערה 113, מתאריך 25 באוקטובר 1800, מתעדת תגלית עמוקה על שכיחותם של מספרים טבעיים מסוימים בפיתוח לשבר משולב של משתנה מקרי המתפלג באופן אחיד בקטע (0,1), אותה הוא מנסח בצורה של חוק התפלגות אסימפטוטי. ההערה הזו והתוצאות המתוארות בה מרשימות במיוחד לאור העובדה שהן נכתבו יותר ממאה שנה לפני שתורות מודרניות כמו תורת המידה והתורה הארגודית נוצרו. המחקר המתמטי על הבעיה שתיאר גאוס הוביל לאינטראקציה פורייה בין מחקר שברים משולבים לאנליזה פונקציונלית.

הערה 145, נוגעת לאסטרונומיה, וגאוס מכריז בה על גילוי שיטות חדשות לחישוב מסלולי שביטים.

הערה 146, מתאריך 9 ביולי 1814, היא ההערה האחרונה, ומתעדת תצפית על שאריות דו - ריבועיות ופונקציות הלמניסקטה, שמאוחר יותר הוכחה בידי גאוס עצמו ובידי cowla ב-1940. ביותר פירוט, גאוס הבחין שאם $a+bi$ הוא ראשוני (גאוסיאני) ו-$a-1+bi$ מתחלק ב- $2+2i$, אז מספר הפתרונות לקונגרואנציה $x^{2}+y^{2}+x^{2}y^{2}\equiv 1\mod {(a+bi)}$ הוא בדיוק $(a-1)^{2}+b^{2}$. בשפה מתמטית מודרנית, גאוס מנה את מספר הנקודות בעלות תכונה מסוימת על עקום אליפטי מסוים. אנדרה וייל כתב כי הייתה זו ההערה הזו במיוחד ושני מאמריו של גאוס על שאריות דו - ריבועיות שהובילו אותו לנסח את השערות וייל.