לדלג לתוכן

פורטל:מתמטיקה

מתוך המכלול, האנציקלופדיה היהודית

רענון הפורטל כיצד אוכל לעזור?    

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

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


‏‏
הדגמת הטענה "סכומם של n המספרים האי-זוגיים הראשונים הוא המספר הריבועי העומד במקום n".
הדגמת הטענה "סכומם של n המספרים האי-זוגיים הראשונים הוא המספר הריבועי העומד במקום n".

אינדוקציה מתמטית היא שיטה לוגית המאפשרת להוכיח שתכונה מסוימת משותפת לכל המספרים הטבעיים. האינדוקציה מורכבת משני טיעונים: ראשית, שהמספר 1 מקיים את התכונה, ושנית, שאם מספר טבעי n מקיים אותה, אז גם המספר n+1 מקיים אותה. עקרון האינדוקציה מחליף סדרה אינסופית של הוכחות סופיות (אחת לכל מספר טבעי), בהוכחה סופית אחת המספיקה לכל המקרים.

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

גמישותה של שיטת האינדוקציה הפכה אותה לאחד מכלי ההוכחה החזקים ביותר בארגז הכלים של כל מתמטיקאי.



גוטפריד וילהלם פון לייבניץ (1 ביולי 1646 בלייפציג14 בנובמבר 1716 בהנובר) היה איש אשכולות גרמני שכתב בעיקר בלטינית וצרפתית.

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

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

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

איור הממחיש את מושג האינטגרל הקווי.

כדור היחידה מממד N הוא אוסף כל הנקודות ב N שמרחקן מראשית הצירים קטן או שווה לאחת. כדור היחידה מממד 1 הוא האינטרוול  [1,1] ו"נפחו" שווה ל 2 (אורך הקטע). כדור היחידה מממד 2 הוא עיגול שמרכזו בראשית הצירים ורדיוסו 1. "נפחו" שווה ל π (שטח העיגול). בניגוד לאינטואיציה, כאשר הממד N שואף לאינסוף, נפח הכדור ה-N ממדי שואף ל-0.


מתמטיקאים הם בני אדם, אלא שהם מסתירים זאת היטב.


n=0Nqn=1qN+11q


תרנגולת וחצי מטילה ביצה וחצי ביום וחצי. כמה ביצים מטילה תרנגולת אחת ביום אחד?

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

אתר היום: The Geometry Junkyard (באנגלית)

אתר מקסים המרכז הפניות לנושאים הקשורים לשעשועי מתמטיקה גאומטריים ברשת.

בחלון זה מופיעה תצוגה מתחלפת של ספרי מתמטיקה שנועדו להנגשת המתמטיקה לציבור הרחב.

ספר היום: לנסלוט הוגבן (אנ'), מתמטיקה למיליון, הוצאת "ניצנים", שנות ה-50 של המאה ה-20.

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

משפטים מפורסמים
השערות מפורסמות

השערת ארדש-שטראוס נוסחה על ידי המתמטיקאים פול ארדש וארנסט ג. שטראוס בשנת 1948 אם כי ההופעה המוקדמת ביותר שלה בספרות היא במאמר של ארדש מ-1950.

ההשערה קובעת שעבור כל מספר טבעי n2, המספר הרציונלי 4n ניתן לביטוי כסכום של בדיוק שלושה שברים יסודיים. כלומר, קיימים שלושה מספרים טבעיים x, ‏y ו-z, כך שמתקיים: 4n=1x+1y+1z . אם נכפיל משווה זו ב-nxyz נקבל את הצורה השקולה  4xyz=n(xy+xz+yz), שהיא ניסוח של ההשערה כמשוואה דיופנטית.

אם n הוא מספר פריק, n=pq, אז ניתן למצוא פיתוח של ‎4/n בקלות באמצעות הפיתוחים של ‎4/p או ‎4/q. לכן, אם קיימת דוגמה נגדית להשערת ארדש-שטראוס, המספר, n, הקטן ביותר שיצור דוגמה נגדית יהיה ראשוני.

אנשים רבים נעזרו במחשבים כדי לחפש דוגמה נגדית להשערה באמצעות שימוש בכוח גס. נכון לאוקטובר 1999, חיפושים מסוג זה, של אלאן סווט (פרופסור למתמטיקה באוניברסיטה של אינדיאנפוליס), אימתו את ההשערה עבור כל n טבעי עד ל-1014.

מבט על משפטים והשערות נוספים
נושאים במתמטיקה
כמות אינסוף - מספרים (טבעיים, שלמים, רציונליים, אי-רציונליים, ממשיים, מרוכבים) - מספרים סודרים - עוצמה - תורת המידה - קבועים מתמטיים
שינוי אנליזה מתמטית - אנליזה וקטורית - אנליזה מרוכבת - אריתמטיקה - חשבון אינפיניטסימלי - תורת הכאוס - משוואות דיפרנציאליות - אנליזה פונקציונלית
מבנה אלגברה - אנליזה מתמטית - אריתמטיקה - טופולוגיה - תורת הגרפים - תורת החבורות - תורת המספרים
מרחב אלגברה ליניארית - גאומטריה - טופולוגיה - טריגונומטריה - אנליזה וקטורית - חשבון טנזורים - מרחב מחויג
מתמטיקה בדידה חישוביות - קומבינטוריקה - קריפטוגרפיה - תורת הגרפים - תורת המשחקים
יסודות ושיטות לוגיקה - פילוסופיה של המתמטיקה - תורת הקבוצות - סימון מתמטי - תורת הקטגוריות
מתמטיקה יישומית אופטימיזציה - אנליזה נומרית - הסתברות - סטטיסטיקה - מתמטיקה פיננסית
עולם המתמטיקה הוראת המתמטיקה - האיחוד המתמטי הבינלאומי - היסטוריה של המתמטיקה - מדליית פילדס - מתמטיקאים - 23 הבעיות של הילברט

ערכים המחפשים עורכים

דיונים, ייעוץ ועזרה