לדלג לתוכן

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

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

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

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

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


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

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

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

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



רנה דקארטצרפתית: René Descartes), מוכר גם בצורה הלטינית של שמו רנאטוס קרטזיוס (Renatus Cartesius)‏ (31 במרץ 1596 - 11 בפברואר 1650) הוא פילוסוף ומתמטיקאי צרפתי. נחשב לאבי הפילוסופיה והמתמטיקה המודרנית, ולאחד ההוגים החשובים והמשפיעים בהיסטוריה המערבית.

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

מסלולה של נקודה על שפתו של מעגל המתגלגל על שפתו מעגל אחר בעל רדיוס גדול פי ארבעה נקראת "אסטרואידה". משוואתה של אסטרואידה היא x23+y23=1 .

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

ב־14 במרץ מציינים במחלקות למתמטיקה באוניברסיטאות ברחבי העולם את יום פאי, זאת כתוצאה מהקירוב בן שלוש הספרות לערך פאי - 3.14. מהדרי ה"חג" חוגגים אותו בדרך כלל בשעה 1:59 אחר הצהריים (3.14159). ביום פאי של שנת 2004 קבע הגאון-האוטיסט דניאל טאמט שיא אירופי בדקלום המספר, כאשר דקלם אותו עד הספרה ה-22,514 שלו. השיא העולמי בדקלום פאי שייך ללו צ'או מסין שב-20 בנובמבר 2005 דקלם ללא שגיאה 67,890 ספרות.


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


n=1Nn2=N(N+1)(2N+1)6


מה צבע הדוב?

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

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

אתר היום: Project Euler (באנגלית)

פרויקט אוילר הוא אתר חידות מתמטיות-אלגוריתמיות, הקרוי על שמו של המתמטיקאי השווייצרי בן המאה ה-18, לאונרד אוילר.

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

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

ספר היום:

מריו ליביו, שפת הסימטריה: המשוואה שלא נמצא לה פתרון, אריה ניר הוצאה לאור, 2006

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

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

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

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

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

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

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