הצגת המקור של הדף "היסטוריה של המתמטיקה"

{{ממוזער|{{Photomontage
|photo1a=Countingrod.png
|photo1b=BabbageDifferenceEngine.jpg
|photo2a=Portal Mathematiklinks.png
|photo2b=Pickett slide rule.jpg
|photo3a=Arts et Metiers Pascaline dsc03869.jpg
|photo3b=Calculator.kodabar.jpg
|size=350
|color=#FFFFFF
}}|תיאור=עזרים לחישובים אריתמטיים לאורך ההיסטוריה (ימין, מלמעלה למטה): תרשים של [[מוטות מנייה]] סיניים ששימשו עוד ב[[תקופת המדינות הלוחמות]], [[חשבונייה]] מ[[רומא העתיקה]], [[המחשב של פסקל|פסקלין]] מ-[[1652]] (שמאל, מלמעלה למטה): [[מנוע הפרשים]] מ-[[1879]], [[סרגל חישוב]] ו[[מחשבון]] מודרני|רוחב=350px}}
[[קובץ:Os d'Ishango IRSNB.JPG|שמאל|ממוזער|250px|[[עצם אישנגו]] – ממצא מהתקופה הפרהיסטורית המראה על תפישה ברורה של [[ארבע פעולות החשבון|פעולות החשבון]].]]

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

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

קיימות עדויות לשימוש במתמטיקה לצורך מנייה כבר אצל [[אבולוציה של האדם|האדם הקדמון]]. אחד הממצאים הקדומים שמעידים על כך הוא [[עצם אישנגו|עצם אישינגו]], שהיא עצם [[בבון]] שחרוטות עליה שתי שורות קווים. על פי [[תיארוך|התיארוכים]] היא נוצרה לפני 20,000 שנה, ומעריכים שהיא שימשה ל[[מנייה]] של דבר מה.

ממצאים [[ארכאולוגיה|ארכאולוגיים]] לחישובים מתמטיים הם מאוחרים הרבה יותר, החל מהאלף השלישי והשני לפני הספירה ב[[מצרים העתיקה]] וב[[מסופוטמיה]]. על לוח החרס [[פלימפטון 322]] מ[[בבל]] הקדומה, המתוארך ל-1822–1784 לפנה"ס, כתובות שורות של מה שנקרא מאוחר יותר [[שלשה פיתגורית|שלשות פיתגוריות]]. [[שיטת ספירה|שיטת הספירה]] הבבלית הייתה על [[בסיס סקסגסימלי|בסיס 60]], ששריד ממנה נשאר במדידת זמן וזוויות. על [[פפירוס רינד]] ממצרים המתוארך ל-1550 לפנה"ס כתובות עשרות דוגמאות לחישוב שברים. שיטת הספירה המצרית הייתה על [[השיטה העשרונית|בסיס 10]] שנשארה עד ההווה. קפיצה בהתפתחות המתמטיקה חלה ב[[יוון העתיקה]], החל מ[[המאה ה-6 לפנה"ס]] עם [[האסכולה הפיתגוראית]].

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

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

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

במאות שלאחר מכן המשיכה המתמטיקה בהתפתחותה המהירה, ענפיה השונים הלכו והתרבו וכך גם קשריה עם [[מדעי הטבע]]. סוף [[המאה ה-19]] ותחילת [[המאה ה-20]] היו בסימן של "חזרה אל היסודות", וחקר יסודותיה ה[[לוגיקה|לוגיים]] וה[[פילוסופיה|פילוסופיים]] של המתמטיקה התרחב, תוך קיום יחסי גומלין הדוקים בין תוצאות מתמטיות נקודתיות (כמו: [[גאומטריה לא-אוקלידית|הגאומטריה הלא-אוקלידית]], [[משפטי האי-שלמות של גדל]], [[הפרדוקס של ראסל]]) לרעיונות כלליים. במהלך המאה ה־20 הוליד המחקר המתמטי, בין היתר, ענפים חדשים לחלוטין, כדוגמת [[מדעי המחשב]] ו[[תורת המשחקים]]. גם בימינו נמשכת התפתחותה המהירה של המתמטיקה, ונמצאים פתרונות לבעיות מתמטיות שהיו [[בעיה פתוחה במתמטיקה|פתוחות]] זה מאות שנים. עם הזמן חקר היסטוריה של מתמטיקה קיבל הכרה כתחום נפרד; החל משנת [[1971]] מתפרסם [[ירחון]] מדעי המוקדש לתחום '''''Historia Mathematica: International Journal of History of Mathematics'''''.<ref>{{קישור כללי|כתובת=https://www.sciencedirect.com/journal/historia-mathematica|כותרת=Historia Mathematica {{!}} Journal {{!}} ScienceDirect.com by Elsevier|אתר=www.sciencedirect.com|שפה=en-us|תאריך_וידוא=2024-08-11}}</ref> באותה שנה הוקמה גם האגודה הבריטית להיסטוריה של המתמטיקה.<ref>{{קישור כללי|כתובת=https://www.bshm.ac.uk/|כותרת=The British Society for the History of Mathematics {{!}}|אתר=www.bshm.ac.uk|תאריך_וידוא=2024-08-11}}</ref>

== התקופה הפרהיסטורית ==
ניתן להניח שפעולת הכימות של עצמים מוחשיים קדמה בהרבה להתפתחות תפיסתה של המתמטיקה כרעיון מופשט, ויכולת בסיסית להבחין בין כמויות נמצאה אפילו אצל בעלי חיים.{{הערה|שמעון דגון, תולדות המתמטיקה הקדומה, [[דביר (הוצאת ספרים)|הוצאת דביר]], [[תשס"ז]], עמ' 1-2.}}

ב־[[1937]] גילה ה[[ארכאולוג]] {{קישור שפה||Karel_Absolon|קארל אבסולון}} [[ממצא ארכאולוגי]] שתוארך לכ-30,000 [[לפני הספירה]] - עצם שועל שעליה חמישים וחמישה חריצים מסודרים בחמישיות, בה עשרים וחמישה חריצים מופרדים מהשלושים הנותרים על ידי חריץ שאורכו כפול. ייתכן שהחריצים מסמלים איברי קבוצה, ונועדו לשמש כעזר למנייה של האדם. בדיעבד, ניתן לקשר בין עצם השועל למושגים המודרניים [[התאמה חד חד ערכית]] ו[[בסיס (אריתמטיקה)|בסיס ספירה]] (5). ממצא נוסף, שתוארך ל-25,000 לפני הספירה פחות או יותר, היו מערות ב[[צרפת]] וב[[ספרד]] שעליהן צורות [[גאומטריה|גאומטריות]].{{הערה|בנו ארבל, קיצור תולדות המתמטיקה, מכון מופ"ת, [[2005]], עמ' 50–51.}}

ישנו מספר מוגבל של ממצאים מהתקופה הפרהיסטורית שמראים תפישה ברורה של [[ארבע פעולות החשבון|פעולות החשבון]], אך הממצא הברור ביותר מהתקופה הוא [[עצם אישנגו|עצם האישנגו]] מאפריקה, שמתוארך לבין השנים 20,000-18,000 [[לפנה"ס]], שעל פי אחת הפרשנויות מראה על היכרות עם פעולות החשבון, הבחנה בין [[מספר זוגי|מספרים זוגיים]] לאי-זוגיים ואף על הבנה בסיסית של מושג [[מספר ראשוני|המספרים הראשוניים]].

== תקופת העת העתיקה ==
===מצרים העתיקה===
{{ערך מורחב|מתמטיקה במצרים העתיקה}}
{|class="wikitable floatleft"
|+
! colspan="10" |<div style="text-align: center;">'''הסמלים בהם השתמשו המצרים כמספרים'''
|-valign="top"
! style="width: 30px;| המספר:
|align="center" style="width: 30px;| '''9'''
|align="center" style="width: 30px;| '''8'''
|align="center" style="width: 30px;| '''7'''
|align="center" style="width: 30px;| '''6'''
|align="center" style="width: 30px;| '''5'''
|align="center" style="width: 30px;| '''4'''
|align="center" style="width: 30px;| '''3'''
|align="center" style="width: 30px;| '''2'''
|align="center" style="width: 30px;| '''1'''
|-valign="top"
!ה[[סמל]]:
|align="center"|<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>{{ש}}<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>{{ש}}<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>
|align="center"|<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>{{ש}}<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>{{ש}}<hiero>Z1</hiero><hiero>Z1</hiero>
|align="center"|<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>{{ש}}<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>{{ש}}<hiero>Z1</hiero>
|align="center"|<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>{{ש}}<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>
|align="center"|<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>{{ש}}<hiero>Z1</hiero><hiero>Z1</hiero>
|align="center"|<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>{{ש}}<hiero>Z1</hiero>
|align="center"|<hiero>Z1</hiero><hiero>Z1</hiero><hiero>Z1</hiero>
|align="center"|<hiero>Z1</hiero><hiero>Z1</hiero>
|align="center"|<hiero>Z1</hiero>
|-valign="top"
!משמעות הסמל:
| colspan="9" |<div style="text-align: center;">
המספר הכתוב הוא כמספר הקווים הרשומים (קו אחד – 1, שני קווים – 2, וכן הלאה)
</div>
|-valign="top"
!ה[[מספר]]:
|align="center" colspan="2"|'''1,000,000'''
|align="center" colspan="2"|'''100,000'''
|align="center" colspan="2"|'''10,000'''
|align="center" |'''1,000'''
|align="center" |'''100'''
|align="center" |'''10'''
|-valign="top"
!ה[[סמל]]:
|colspan="2" align="center"|<hiero>C11</hiero>
|colspan="2" align="center"|<hiero>I8</hiero>או<hiero>I7</hiero>
|colspan="2" align="center"|<hiero>D50</hiero>
|align="center"|<hiero>M12</hiero>
|align="center"|<hiero>V1</hiero>
|align="center"|<hiero>V20</hiero>
|-valign="top"
!משמעות הסמל:
| colspan="2" |<div style="text-align: center;">
אדם ושתי [[יד]]יו מורמות
</div>
| colspan="2" |<div style="text-align: center;">
[[ראשן]] או [[צפרדע]]
</div>
| colspan="2" |<div style="text-align: center;">
[[אצבע]]
</div>
|<div style="text-align: center;">
[[שושנת מים]]
</div>
|<div style="text-align: center;">
סליל [[חבל]]
</div>
|<div style="text-align: center;">
[[עול]] של בקר
</div>
|}
ב[[מצרים העתיקה]] חלה התפתחות משמעותית במתמטיקה. אמנם גם אז המתמטיקה נועדה לצרכים מעשיים בלבד, אך היא הייתה מורכבת יותר מבכל תקופה עד אז. עם זאת, היא לא התפתחה בצורה משמעותית במשך כל השנים שבהן התקיימה התרבות המצרית.{{הערה|[[האנציקלופדיה העברית]], כרך כד', עמ' 750, ערך "מתמטיקה"}} לא נראה שהייתה קיימת במצרים מתמטיקה [[דדוקציה|דדוקטיבית]]{{ביאור|דֵּדוּקְצְיָה - היא הסקת מסקנות מן הכלל אל הפרט, זאת בניגוד לאינדוקציה בה המסקנות מתקבלות מן הפרט אל הכלל.|שם=|כיוון=}} של ממש, אלא רק [[ניסוי וטעייה]], שבעזרתם מגיעים לתוצאות קרובות לאמת עד כמה שאפשר.

ב-3,000 לפנה"ס לערך, פיתחו המצרים גרסה ראשונית של [[השיטה העשרונית]], כשהיא מעורבבת עם [[בסיס אונרי|השיטה האונרית]]. דרכם הייחודית להצגת המספרים הייתה חיבורית, כלומר: כל [[ספרה]] ביטאה גודל מסוים, כשהגודל הכולל של המספר הוא סכום הגדלים של כל אחת מהן בנפרד, בלא תלות במיקום הספרה (בניגוד לשיטה העשרונית - בה כל ספרה מתארת גודל כלשהו כך שמיקום הספרה קובע את סדר הגודל).{{הערה| המצרים לא השתמשו במונח המדויק [[0 (מספר)|אפס]] כדי לבטא אותו לבדו, אלא רק כחלק ממספר גדול.}}

[[קובץ:Egyptian A'h-mosè or Rhind Papyrus (1065x1330).png|250px|ממוזער|חלק מ[[פפירוס רינד]]|ימין]]
בתקופה מאוחרת יותר, בעקבות המצאת ה[[פפירוס]], עברו המצרים לשיטת-סימון שונה, שקבעה לכל מספר מ-1 עד 9 סמל מיוחד, כמו גם סימון מיוחד לעשרות השונות, למאות וכולי. כתוצאה מכך, שיטה זו קיצרה את מספר הסימנים בהם הוצגו המספרים. למשל, כדי לכתוב את המספר 5,679 בכתב המצרי עלינו להשתמש רק בארבעה סימנים, במקום ב-27 סימנים. אך גם לשיטה זו היו חסרונות; היא הייתה קשה לזכירה, משום שהיו בה 36 סימנים שונים, לעומת 7 סימנים בסיסיים בכתב הקודם.

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

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

הגאומטריה המצרית, שאותה כינו "הרפדונפטה" ({{אנ|harpedonaptai|harpedonaptai}}, מילולית: מותחי חבל), הגיעה גם היא להישגים. המצרים השתמשו בגאומטריה למטרות מעשיות, כמו חפירת תעלות, חלוקת אדמות ועוד. הם הכירו שיטות לחישוב [[שטח]]יהם של [[מלבן|מלבנים]], [[טרפז]]ים ו[[משולש]]ים [[משולש ישר-זווית|ישרי-זווית]] או [[משולש שווה-שוקיים|שווי-שוקיים]], ואת נפחיהן של [[תיבה (גאומטריה)|תיבות]], אם כי לעיתים הם שגו. כמו כן, הם הכירו קירוב ל[[פאי]]: <math>\ 4 \times {{(8/9)}}^2</math> ששווה ל-3.16 לערך (לעומת הערך האמיתי שקרוב יותר ל-3.14), קירוב שנמצא בעקבות [[מדידה|מדידות]] גאומטריות של היחס בין [[היקף]] ה[[מעגל]] ל[[קוטר]]ו, וכן שה[[יחס (בין מספרים)|יחס]] בין שטח [[עיגול]] להיקפו שווה ליחס בין שטח [[ריבוע]] החוסם אותו להיקפו. במאה ה-19 לפנה"ס הצליחו המצרים ליצור דוגמה לחישוב [[נפח]] [[פירמידה (גאומטריה)|פירמידה]] בעלת בסיס ריבועי.{{הערה|[[האנציקלופדיה העברית]], כרך י', עמ' 106, ערך "גאומטריה"}} לא התקיימה הפרדה בין [[אריתמטיקה]] לגאומטריה במקורות המצריים.{{הערה|שבתאי אונוגורו, מבוא לתולדות המתמטיקה, חלק א: הזמן העתיק וימי הביניים, [[משרד הביטחון – ההוצאה לאור]], סדרת "אוניברסיטה משודרת", 1989, עמ' 34 }}

אפילו ביוון העתיקה, ערש המתמטיקה הדדוקטיבית, מצרים נחשבה למולדתה של המתמטיקה ובמיוחד של הגאומטריה. עדויות לכך ניתן למצוא בכתביהם של [[אריסטו]], [[אפלטון]] ו[[הרודוטוס]].{{הערה|תולדות המתמטיקה הקדומה, עמ' 59–60}}

===בבל===
[[קובץ:Babylonian numerals.svg|ממוזער|500px|[[ספרות בבליות|הספרות הבבליות]] – ניתן להבחין בנקל בשיטת הקיבוץ המשנית בה השתמשו הבבלים.]]
בסביבות שנת 3,500 לפנה"ס שלטו באזור [[מסופוטמיה]] ה[[אשור]]ים, שעשו שימוש ב[[כתב יתדות]] וערכו את חישוביהם ב[[בסיס סקסגסימלי|בסיס 60]]. בין השנים 2,300 ל-2,100 לפנה"ס שלטו באזור זה ה[[אכד]]ים, שהשפיעו על התרבות האשורית. הם הביאו עמם, בין היתר, את הגרסה שלהם ל[[חשבונייה]]. בשנת 1,900 לפנה"ס, אחרי שפלשו למסופוטמיה, קבעו ה[[בבל]]ים את [[עיר בירה|בירתם]] בבבל. סביר להניח כי הבבלים ירשו את שיטת הספירה שלהם מן האשורים והאכדים משום נוחות השימוש בה (להשערות בדבר בחירת המספר 60 כבסיס ראו: בסיס סקסגסימלי).

[[ספרות בבליות|שיטת הספירה הבבלית]] הביאה עמה חידוש משמעותי ביחס לשיטות הקודמות לה: בדומה ל[[השיטה העשרונית|שיטה העשרונית]] בימינו, הבבלים קישרו בין מיקומה של הספרה לבין הגודל שהיא מייצגת (שיטה פוזיציונלית), אם כי בסיס הספירה שלהם היה, כאמור, 60. כדי למנוע את הצורך ביצירת 60 סימנים מוסכמים שונים, השתמשו הבבלים בספירת משנה קיבוצית (ראו תמונה). למספר [[0 (מספר)|0]] לא יוחד סימן משלו עד לתקופה מאוחרת יחסית (300 לפנה"ס לערך), ופעמים רבות ניתן היה להבדיל בין <math>7</math> לבין <math>70</math>, למשל, רק בעזרת ההקשר.

בטבלאות אשר נמצאו על ה[[פרת]] ומתוארכות לשנת 2,000 לפנה"ס נמצאו [[ריבוע (חזקה)|ריבועי]] המספרים עד 59 ו[[חזקה (מתמטיקה)|חזקותיהם]] השלישיות של המספרים עד 32. הבבלים עשו שימוש ב[[זהות (מתמטיקה)|זהויות]]: <math>\ ab=\frac{[(a+b)^2-b^2-a^2]}{2}</math> או <math>\ ab=\frac{(a+b)^2-(a-b)^2}{4}</math> ובטבלאות המתוארות לעיל, כדי לפשט את [[חישוב]]יהם. לבבלים לא היה [[אלגוריתם]] ל[[חילוק]] מספר גדול, לכן השתמשו בעובדה שמתקיים <math>\frac{a}{b}=a \times \frac{1}{b}</math> ובטבלה של [[מספר הופכי|מספרים הופכיים]] לחילוק.

[[פלימפטון 322]] הוא לוח [[חרסית]] שמקורו ב[[בבל]], והוא מתוארך לשנים [[1900 לפנה"ס|1,900 לפנה"ס]] עד [[1600 לפנה"ס|1,600 לפנה"ס]]. הפרשנויות באשר ללוח זה חלוקות. על פי חלק מהפרשנויות, הלוח שימש לייצור [[שלשה פיתגורית|שלשות פיתגוריות]] או לחישוב ערכה של [[פונקציה טריגונומטרית]], ובכך הוא מעיד על רמה מתמטית גבוהה של התרבות הבבלית, ומתבלט ביחס לשאר הממצאים מסוגו. על פי פרשנות אחרת, הלוח שימש ככלי עזר בהוראת חשבון, ואין בו ייחוד רב ביחס לממצאים הדומים לו. בכל אופן, סביר להניח כי העדויות על פתרון בעיות מתמטיות מורכבות יחסית אינם מעידים על קיומם של [[אלגוריתם|אלגוריתמים]] אלגבריים מגובשים, וכי פתרונם של אלה נעשה על ידי התבוננות בטבלאות.

ובכל זאת, יש הרואים בבבל את ראשית ה[[אלגברה]]. אכן, הבבלים הציגו חישובים שדומים לאלגברה המודרנית בחלק מעקרונותיה, וחלק מהבעיות יכלו להיפתר בעזרת [[משוואה ממעלה שנייה]]. התגלתה, לדוגמה, טבלה המציגה את ערכי <math>n^3+n^2</math> בעבור כל <math>n</math> [[מספר טבעי|טבעי]] עד 30. כמו כן נמצאה על אחת מלוחיות החימר מהתקופה הבבלית בעיה שניסוחה הוא: "החסרתי את ה[[צלע (גאומטריה)|צלע]] של הריבוע מהשטח, וזה <math>870</math>", ופתרונה הוא שצלע הריבוע היא <math>30</math> (פתרון נוסף הוא <math>-29</math>). את המשוואה אפשר לתרגם בכתיב מודרני ל-<math>x^2 - x =870 </math>. יש ויכוח בקרב החוקרים אם אכן הבבלים חשבו על המספרים בצורה מתמטית מופשטת, או שה"אלגברה" שלהם הייתה מבוססת על הסתכלות בטבלאות ותו לא, ושראייתה כאלגברה היא [[אנכרוניזם|אנכרוניסטית]].{{הערה|מבוא לתולדות המתמטיקה, חלק א', עמ' 46}}

לבבלים היו גם מספר הישגים בגאומטריה. הקירוב ל[[פאי]] שהוזכר לרוב בכתביהם היה אמנם <math>3</math>, פחות מדויק מהקירוב המצרי, אך הם מצאו קירוב טוב ביותר ל[[השורש הריבועי של 2|שורש ריבועי של 2]], שהוא היחס בין [[צלע (גאומטריה)|צלע]] של ריבוע ל[[אלכסון]] שלו:
<math>.1 + \frac{24}{60} + \frac{51}{60^2} + \frac{10}{60^3} = 1.41421\overline{296}</math>
קירוב בדיוק של ארבע ספרות [[בסיס סקסגסימלי|סקסגסימליות]], שהן כשש ספרות עשרוניות. מכיוון שהשורש הריבועי של 2 מקבל את משמעותו הגאומטרית על פי [[משפט פיתגורס]], ובשל ממצאי לוח פלימפטון - ייתכן שהבבלים הכירו את המשפט, אך לא סביר שהם ידעו להוכיחו (או להוכיח כל משפט אחר). הגאומטריה הבבלית הייתה יישומית ולא מופשטת, וודאי שלא דדוקטיבית. בכל אופן, יש ראיות לכך שהם ידעו לחשב את שטחיהם של [[מצולע משוכלל|מצולעים משוכללים]] בני שלוש עד שבע צלעות, וכן להשוות בין שטחם לשטח של מרובעים הבנויים על צלעותיהם.

===יוון העתיקה===
{{הפניה לערך מורחב|ערכים=[[מתמטיקה ביוון העתיקה]], [[מושג המספר ביוון העתיקה]], [[תולדות הגאומטריה היוונית]]}}
{| class="wikitable floatleft" border="1" width="400px"
|+ האותיות בהם השתמשו היוונים כמספרים בשיטה האטית:
|-
! המספר: !! 50,000 !! 10,000 !! 5,000 !! 1,000 !! 500 !! 100 !! 50 !! 10 !! 5 !! 1
|-
! הסימן:
|<div style="text-align: center;">
&pi;&mu;
</div>
|<div style="text-align: center;">
&mu;
</div>
|<div style="text-align: center;">
&pi;&chi;
</div>
| <div style="text-align: center;">
&chi;
</div>
</div>
|<div style="text-align: center;">
&pi;&eta;
</div>
| <div style="text-align: center;">
&eta;
</div>
| <div style="text-align: center;">
&pi;&delta;
</div>
|<div style="text-align: center;">
&delta;
</div>
|<div style="text-align: center;">
&pi;
</div>
|<div style="text-align: center;">
&iota;
</div>
|-
! שמו היווני:
|πεντάκις μύριοι
|μύριοι
|πεντάκις χίλιοι
|χίλιοι
|πενταόσιοι
|έκαου
|πέντήκοντα
|δέκα
|πέντε
|εϊξ
|}

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

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

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

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

[[שיטת ספירה|שיטת הספירה]] הראשונה שבה השתמשו היוונים מבוססת על [[השיטה העשרונית|בסיס עשרוני]]. ה[[סמל]] של כל [[מספר]] היה ה[[אות]] הראשונה של אותו מספר ב[[יוונית]], אלא אם כן המספר היה מורכב מיותר מיחידת בסיס אחת (יחידות הבסיס היו המספרים בין 1 ל-9). כך למשל, המספר 5 (ביוונית: Πέντε) סומן באות [[פאי (אות)|פאי]]. שיטה זו נקראה [[השיטה האטית]], על שם האזור ממנו השיטה התפתחה - [[אטיקה]].
{| class="wikitable floatleft" border="1 align="left"
|+ האותיות בהן השתמשו היוונים כמספרים בשיטת ה"גרשים":
|-
! ה[[מספר]]: !! 9 !! 8 !! 7 !! 6 !! 5 !! 4 !! 3 !! 2 !! 1
|-
! הסימן:
|θʹ&lrm;
|ηʹ&lrm;
|ζʹ&lrm;
|στʹ&lrm;
|εʹ&lrm;
|δʹ&lrm;
|γʹ&lrm;
|βʹ&lrm;
|αʹ&lrm;
|-
! המספר: !! 90 !! 80 !! 70 !! 60 !! 50 !! 40 !! 30 !! 20 !! 10
|-
! הסימן:
|ϟʹ&lrm;
|πʹ&lrm;
|οʹ&lrm;
|ξʹ&lrm;
|νʹ&lrm;
|μʹ&lrm;
|λʹ&lrm;
|κʹ&lrm;
|ιʹ&lrm;
|-
! המספר: !! 900 !! 800 !! 700 !! 600 !! 500 !! 400 !! 300 !! 200 !! 100
|-
!הסימן:
|ϡʹ&lrm;
|ωʹ&lrm;
|ψʹ&lrm;
|χʹ&lrm;
|φʹ&lrm;
|υʹ&lrm;
|τʹ&lrm;
|σʹ&lrm;
|ρʹ&lrm;
|}
בתקופה מאוחרת יותר, השתמשו היוונים בשיטת סימון מתקדמת יותר, שבה הוצגו המספרים לפי 22 אותיות ה[[אלפבית יווני|אלפבית היווני]]. לסימון המספרים בין 1 ל-9 נקבעו תשע האותיות הראשונות, בתוספת [[גרש]] (') בצד ימין של האות, למעלה; תשע האותיות הבאות ייצגו את העשרות מ-10 עד 90, והאותיות שלאחריהן ייצגו את המאות. לסימון הספרות בין 1000 ל-900,000, השתמשו היוונים באותן אותיות, אך הוסיפו לאותיות את הגרש דווקא מצד שמאל של האותיות, למטה. ממיליון ומעלה, כנראה השתמשו היוונים בשני תגים במקום אחד.

ה[[מתמטיקאי]] הבולט הראשון ביוון העתיקה, ויש האומרים בתולדות האנושות, הוא [[תאלס]] (624 לפנה"ס – 546 לפנה"ס בקירוב).{{הערה|מבוא לתולדות המתמטיקה, חלק א', עמ' 59–60}} לא יהיה זה משולל יסוד להניח שהוא האדם הראשון ש'''הוכיח''' משפט מתמטי, ולא רק '''גילה''' אותו. תאלס הוכיח בין השאר (אם כי ההוכחות שלו אינן פורמליות כמו אלו המודרניות), שהקוטר מחלק את המעגל לשני חלקים שווים, שזוויות הבסיס ב[[משולש שווה-שוקיים]] שוות זו לזו וששני משולשים השווים זה לזה באורכים של שתי צלעות בהתאמה ובזווית שביניהן, הם [[חפיפת משולשים|חופפים]].{{הערה|[http://web.archive.org/20021123175042/web.macam.ac.il/~kobie/math/tales%20site.htm תאלס בן אכסמיאס], באתר [[מכון מופ"ת]]}} שני משפטים שהוכיח קיבלו את השם "[[משפט תאלס]]": "[[ישרים מקבילים]] חותכים מצד אחד של שוקי [[זווית]] [[קטע (גאומטריה)|קטע]]ים בעלי יחסים שווים" הוא [[משפט תאלס#המשפט הראשון|משפט תאלס הראשון]] ו"הזווית המונחת על [[קוטר]] ב[[מעגל]] היא [[זווית ישרה]]" הוא [[משפט תאלס#המשפט השני|משפט תאלס השני]]. מיוחסות לו גם שיטות למדידת גובהן של ה[[פירמידות במצרים|פירמידות]] בעזרת מדידת ה[[צל]] שלהן; ולקביעת מיקומה של [[ספינה]] הנראית מן החוף (בגלל כדוריות פני הים).

[[קובץ:TriSquare36.svg|שמאל|250px|ממוזער|מספר מצולע הוא מספר שניתן לייצגו באמצעות [[מצולע משוכלל]]. ניתן לייצג את המספר 36 הן כמשולש משוכלל והן כמרובע משוכלל ([[ריבוע]]), ולכן הוא [[מספר משולשי ריבועי]]]]

בשנים 582 לפנה"ס עד 496 לפנה"ס, בקירוב, חי מתמטיקאי חשוב במיוחד - [[פיתגורס]]. המקורות הראשוניים עליו מועטים, וההיסטוריונים מתקשים להפריד את העובדות משכבת המסתורין והאגדות שנקשרו בו. ידוע שסביבו התקבצה [[האסכולה הפיתגוראית]], מעין כת פסבדו-מתמטית שהאמינה ש"הכל מספר", או ליתר דיוק הכל ניתן לכימות, וייחסה למספרים משמעויות [[מיסטיקה|מיסטיות]]. ככל הנראה הפיתגוראים ידעו לבנות את [[פאון משוכלל|הגופים האפלטוניים]], הכירו את ה[[ממוצע אריתמטי|ממוצע האריתמטי]], ה[[ממוצע גאומטרי|ממוצע הגאומטרי]] וה[[ממוצע הרמוני|ממוצע ההרמוני]] והגיעו להישגים חשובים נוספים. בין סוגי המספרים שהתעניינו בהם הם [[מספר מצולע|מספרים מצולע]]ים ([[מספר משולשי|משולשיים]], [[מספר ריבועי|ריבועיים]] וכולי) ו[[מספר משוכלל|מספרים משוכללים]], שני סוגי מספרים שככל הידוע הפיתגוראים היו הראשונים לעסוק בהם באופן מדעי.{{הערה|י. דוזורצב, ג. ויניצקי וא. קופר, "תכנים היסטוריים לשילוב בהוראת המתמטיקה", הוצאת [[הטכניון]], הדפסה ראשונה [[1990]], עמ' 11–12}} ניתן לומר שה[[פיתגוראים]] גילו את היותו של [[השורש הריבועי של 2]], שהוא גם ה[[אלכסון]] ב[[ריבוע]] שאורך צלעותיו 1, [[מספר אי רציונלי|אי רציונלי]], אך תגליתם הייתה למעשה רק שהקטעים הם "חסרי מידה משותפת", ומושג המספר האי רציונלי נוצר מאוחר יותר.{{הערה|מבוא לתולדות המתמטיקה, חלק א', עמ' 66}}{{הערה|[[ארנון אברון]], משפטי גדל ובעיית היסודות של המתמטיקה, [[משרד הביטחון – ההוצאה לאור]], סדרת [[אוניברסיטה משודרת]], עמ' 15–16}} [[משפט פיתגורס]], שהיה ידוע להם, קיבל את שמו מפיתגורס, אף על פי שכמעט ודאי שהוא היה ידוע עוד קודם, ואין ראיות לכך שהפיתגוראאקסים ידעו להוכיח אותו.

השפעתם של הפיתגוראים ניכרה גם בכתבי ה[[פילוסוף]] החשוב [[אפלטון]] (427-8 לפנה"ס – 347 לפנה"ס), שהוקסם מההרמוניה שמצא במתמטיקה, וסבר שיש ללמדה הן למען פיתוח החשיבה והבנה מעמיקה יותר של העולם, והן לצרכים מעשיים.{{הערה|תולדות המתמטיקה הקדומה, 97–98}} על שער [[האקדמיה האפלטונית]] רשם: "הא-גאומטרי [חסר הידע בגאומטריה] בל ייכנס לכאן". בדיאלוג "[[המדינה (דיאלוג אפלטוני)|המדינה]]" כתב:

{{ציטוט|תוכן=כי לאיש מלחמה הכרחי הוא לימוד זה [של אריתמטיקה] לשם עריכת המערכות, וכן לפילוסופים לשם השגת הישות, לאחר שהוא מתעלה מעל לתחום ההתהוות..."}}

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

בתקופה שלאחר פיתגורס פעל [[היפוקרטס מכיוס]] (בקירוב 470 לפנה"ס עד 410 לפנה"ס), שתרם תרומות חשובות לגאומטריה היוונית, במיוחד בנושאי הצורות החסומות. בתקופתו, פחות או יותר, נהגו [[הבעיות הגאומטריות של ימי קדם]]: בניית [[קובייה]] שנפחה בדיוק כפול מזה של קובייה נתונה, [[שילוש זווית]] (חלוקת זווית נתונה לשלושה חלקים שווים), [[תרבוע העיגול]] (בניית [[ריבוע]] השווה בשטחו לעיגול נתון) ובניית [[מצולע משוכלל]] בן שבע צלעות - כל אלו באמצעות [[בנייה בסרגל ומחוגה|סרגל ומחוגה]] בלבד. רק ב[[המאה התשע עשרה|מאה התשע עשרה]] הוכח בעזרת [[תורת גלואה]] שהבעיות הללו בלתי פתירות, אך הניסיונות לפתרן תרמו תרומה עצומה להתפתחות המתמטיקה בכלל והמתמטיקה היוונית בפרט. להיפוקרטס מ[[כיוס]] היו מספר תובנות חשובות על הבעיות האלו. מעט אחרי היפוקרטס חי [[אאודוקסוס מקנידוס]] (ככל הנראה 408 או 410 – 347 או 355 לפנה"ס), שחקר יחסים בין מספרים ופיתח שיטה למציאת שטחו של [[עקום]].
[[קובץ:Euclid-proof.jpg|שמאל|ממוזער|הוכחה ''[[יסודות (ספר)|מהיסודות]]'' של [[אוקלידס]] ( c. 300 לפני הספירה ), נחשב באופן נרחב לספר הלימוד המשפיע ביותר בכל הזמנים.<ref name="Boyer 1991 loc=Euclid of Alexandria p. 119">{{Harv|Boyer|1991|loc="Euclid of Alexandria" p. 119}}</ref>]]
{{חלונית
| רוחב = 22em
| תוכן = '''הוכחתו של אוקלידס לקיום אינסוף מספרים ראשוניים:'''

"נניח שיש רק מספר סופי של מספרים ראשוניים. ניקח את כל הראשוניים הללו, נכפיל אותם זה בזה ונוסיף 1. התוצאה שקיבלנו נותנת שארית 1 בחלוקה לכל אחד מהמספרים הראשוניים. לכן תוצאה זו אינה מתחלקת באף אחד מהראשוניים – היא חייבת להיות מספר ראשוני נוסף, או להתחלק במספר ראשוני שאינו ברשימת המספרים הראשוניים שלנו. בכל מקרה קיבלנו שההנחה שיש מספר סופי של ראשוניים מובילה לסתירה, ולכן הנחה זו אינה נכונה, כלומר יש מספר אינסופי של ראשוניים." ([[אוקלידס]], [[יסודות (ספר)|יסודות]], ספר תשיעי, משפט 20)}}

תרומה יוצאת דופן להתפתחות המתמטיקה תרם [[אוקלידס]] מ[[אלכסנדריה]], שחי, לפי המשוער, בין 365 ל-275 לפני הספירה. הוא כתב מספר חיבורים, אך החשוב שבהם הוא ללא ספק הספר "[[יסודות (ספר)|יסודות]]", מהספרים המתמטיים המשפיעים ביותר בכל הזמנים. הספר, בן שלושה עשר הכרכים, עוסק בגאומטריה וב[[אריתמטיקה]], ותורם תרומות חשובות בשניהם. למעשה הוא בנוי במתכונת של ספר לימוד, וקשה להפריד מה בו מקורי ומה תוצר עבודתם של מתמטיקאים קודמים. המתמטיקה בו היא [[ריגורוזיות|ריגורוזית]] יותר מאי פעם - ההוכחות לא רק מדוקדקות באופן חסר תקדים לזמנו, אלא גם מבוססות על [[הגדרה|הגדרות]] יסודיות למושגים בסיסיים כמו [[נקודה (גאומטריה)|נקודה]] ו[[קו ישר]], ועל הנחות יסוד שאין צורך להוכיחן. למעשה, בניגוד לזמננו, הנחות היסוד מחולקות ל[[פוסטולאט]]ים, שהן טענות הישימות רק לתחום ידע מסוים, במקרה זה מתמטיקה (לדוגמה: "דרך כל שתי נקודות אפשר להעביר קו ישר, ורק אחד") ול[[אקסיומה|אקסיומות]] שנכונות לכל תחומי הידע (לדוגמה: "שני גדלים השווים לגודל שלישי, שווים ביניהם").

בין הגילויים המופיעים בספר לראשונה: ההוכחה המפורסמת ל[[קיומם של אינסוף מספרים ראשוניים]], שהתבססה על הוכחה חשובה אחרת ל[[המשפט היסודי של האריתמטיקה|משפט היסודי של האריתמטיקה]]; ההוכחה לכך שכל מספר מהתבנית <math>2^{n-1}\left(2^n-1\right)</math>, (שבה <math>\left(2^n-1\right)</math> הוא [[מספר ראשוני]]) - הוא [[מספר משוכלל|משוכלל]]; ההוכחה לכך שחמשת [[פאון משוכלל|הגופים האפלטוניים]] הם הפאונים המשוכללים היחידים שניתן לבנות; ועוד משפטים חשובים רבים. זהו ספר היסוד של ה[[גאומטריה]]. למעשה הגאומטריה של אוקלידס, שהייתה הגאומטריה היחידה בנמצא במשך אלפי שנים, נקראת "[[גאומטריה אוקלידית]]", כיוון שב[[המאה ה-19|מאה ה-19]] פותחו [[גאומטריה לא אוקלידית|גאומטריות לא אוקלידיות]], ששוללות את [[אקסיומת המקבילים|הפוסטולאט החמישי]]: "אם שני ישרים ייחתכו על ידי ישר שלישי, באופן שסכום הזוויות הפנימיות שייווצרו באחד הצדדים קטן מסכום שתי [[זווית ישרה|זוויות ישרות]], אזי אם יוארכו הישרים מספיק באותו צד - הם ייפגשו."

שתי [[סיפור עם|אגדות]] על אוקלידס מתמצתות את השינוי המחשבתי האדיר שחל במתמטיקה היוונית לעומת קודמותיה. על פי האחת, אוקלידס הסביר הוכחה קשה למלך מצרים [[תלמי הראשון]], ולאחר שסיים להסביר, שאל אותו המלך: "האם אין דרך קצרה ומהירה יותר ללמוד גאומטריה?" על כך, על פי האגדה, ענה אוקלידס: "הוד מלכותך, אין 'דרך המלך [דרך קצרה]' לגאומטריה". אגדה אחרת מספרת על מתלמד ששאל אותו מהם היתרונות המעשיים בלימוד המתמטיקה. בתגובה לכך ביקש אוקלידס ממשרתו לתת לנער מטבע כסף, באומרו שהוא "חייב להרוויח מכל דבר אותו הוא לומד", ושילחו לדרכו. אגדות אלו נותנות יחס של כבוד למתמטיקה, אף שקשה להבינה בלי קשר ליישומיה המעשיים.

[[קובץ:Archimedes pi.svg|ממוזער|שמאל|300px|הדגמה לשיטת המיצוי של ארכימדס]]
בין השנים 287 – 212 לפנה"ס חי [[ארכימדס]], שנחשב לאחד מגדולי המדענים של העת העתיקה, אם לא הגדול שבהם. מלבד הישגים רבים ב[[פיזיקה]], כגון גילוי [[חוק ארכימדס]] וההצגה הראשונה של רעיון [[מרכז כובד|מרכז הכובד]], ארכימדס תרם רבות גם למתמטיקה. הוא הגה את [[שיטת המיצוי]], שיטה דמוית-[[אינטגרל|אינטגראציה]] שבעזרתה ניתן לחשב [[שטח]]ים ו[[נפח]]ים שונים. בעזרת השיטה ניתן לחשב, בהינתן ה[[קוטר]] או ה[[רדיוס]], את ה[[היקף]] של מעגל (ובעקבותיו את [[פאי]], השווה ליחס בין היקף המעגל לקוטרו) באופן הבא: נחשב את היקפם של [[מצולע]] חוסם ומצולע חסום במעגל, ומכיוון שהיקף המעגל קטן מהיקף המצולע החוסם וגדול מהיקף המצולע החסום - אפשר לחשב את היקף המעגל בכל רמת דיוק שנרצה, בעזרת הגדלת מספר צלעות המצולע. בשיטות המבוססות על העיקרון של שיטת המיצוי הוא חישב שטחים ונפחים של מצולעים ושל [[פאון|פאונים]]. הוא גם גילה ששטח ה[[עיגול]] שווה לפאי כפול [[ריבוע (חזקה)|ריבוע]] הרדיוס. הוא הוכיח שהשטח הכלוא על ידי [[פרבולה]] ו[[קו ישר]] שווה ל-4/3 כפול שטחו של ה[[משולש]] בעל גובה ובסיס שווים, ובמהלך הפתרון סיכם לראשונה את ה[[טור גאומטרי]] האינסופי בעל מנה 1/4:

<math> \sum_{n=0}^\infty 4^{-n} = 1 + 4^{-1} + 4^{-2} + 4^{-3} + \cdots = {4\over 3} </math>. בכך, כמו בשיטת המיצוי, הוא הקדים בכמה אלפי שנים את ה[[חשבון דיפרנציאלי ואינטגרלי|חשבון הדיפרנציאלי והאינטגרלי]] ואת ה[[אנליזה מתמטית|אנליזה המתמטית]] שמושג ה[[גבול (מתמטיקה)|גבול]] ובפרט [[גבול של סדרה]] הוא בסיסי מאוד בהן. הישגים מתמטיים נוספים אליהם הגיע ארכימדס: אומדן מדויק למדי ל[[שורש ריבועי|שורש הריבועי]] של 3, הוכחה שהיחס בין [[נפח]]ו לבין [[שטח פנים|שטח פניו]] של [[כדור (גאומטריה)|כדור]] שווה לשני שלישים מהיחס המקביל ב[[גליל (גאומטריה)|גליל]] החוסם את הכדור, [[תרבוע העיגול]] (בשימוש באמצעי שאינו [[בנייה בסרגל ובמחוגה|סרגל ומחוגה]]), ועוד. ההיסטוריון של המתמטיקה [[אריק טמפל בל]] מנה אותו כאחד משלושת המתמטיקאים הגדולים בכל הזמנים, ובוודאי הוא שייך לשורה הראשונה של המתמטיקאים בעת העתיקה בפרט ובתולדות המתמטיקה בכלל.

אחד החיבורים המתמטיים החשובים ביותר שנכתבו ביוון העתיקה הוא "קוניקות" של [[אפולוניוס מפרגה]] (כמשוער, בין 262 ל-190 לפנה"ס), שהוא חיבור מדורג ודדוקטיבי בסגנון "יסודות" של אוקלידס העוסק ב[[חתכי חרוט]], שהם: ה[[מעגל]], ה[[פרבולה]], ה[[היפרבולה]] וה[[אליפסה]]. הוא מכיל שמונה ספרים, מהם שבעה נשתמרו עד ימינו (ארבעה במקור היווני ושלושה בתרגום). בחיבור זה מראה לראשונה אפולוניוס שחתכי חרוט מתקבלים לא רק מחיתוך בין מישור אנכי לבין [[חרוט]] חד-זווית, ישר-זווית או קהה-זווית - אלא כולם יכולים להתקבל מחרוט אחד אם נשנה את זווית החיתוך. כנראה בשל איכותו ותרומתו, לא נותר עוד זכר כמעט לחיבורים אחרים על חתכי חרוט מהתקופה שלפני ה"קוניקות".

לאחר אפולוניוס חלה האטה מסוימת בפוריות המתמטיקאים היוונים. [[היפרכוס]] (מוערך 120 – 190 לפנה"ס), [[מנלאוס מאלכסנדריה]] (מוערך 70–140) ו[[תלמי (אסטרונום)|תלמי]] (85–165 לערך) היו ממפתחי ה[[טריגונומטריה ספירית|טריגונומטריה הספירית]]. [[הרון מאלכסנדריה]] (10–70 לספירה) הציג והוכיח את [[נוסחת הרון]]. [[פאפוס מאלכסנדריה]], מתמטיקאי שפעל בתחילת [[המאה ה-4 לספירה]], כתב את ה"סינגוגה" (מילולית: אוסף), חיבור אנציקלופדי העוסק בגאומטריה, שבין השאר הוא מקור הידיעה הכמעט בלעדי שלנו על האנליזה היוונית,{{הערה|שיטה בעזרתה מניחים את פתרון הבעיה המבוקשת, מסיקים מכך מסקנות עד שמגיעים למשפט שידוע כנכון, וממשפט זה מגיעים לפתרון הבעיה. ראו ב"מבוא לתולדות המתמטיקה', חלק א', עמ' 98}} וגם מכיל הוכחה לכך שה[[מצולע משוכלל|מצולע המשוכלל]] הוא הגדול ביותר בשטחו מבין ה[[מצולע]]ים בעלי אותו היקף ואותו מספר צלעות. ה[[פילוסוף]] ה[[נאופלאטוניזם|נאופלאטוני]] [[פרוקלוס]] (411–485) כתב פירוש מפורסם מאוד ל"יסודות" של אוקלידס, שמספק ידע רב מאוד על ההיסטוריה של המתמטיקה ביוון. מעל כולם ישנו [[דיופנטוס]] (200–284), וספרו רב ההשפעה "[[אריתמטיקה (ספר)|אריתמטיקה]]", שהיו שהקבילו אותו ל"יסודות" מבחינת המבנה וההשפעה ("יסודות" בגאומטריה ו"אריתמטיקה" באריתמטיקה). ב"אריתמטיקה" דן דיופנטוס במשוואות מהמעלה [[משוואה ליניארית|הראשונה]] ו[[משוואה ממעלה שנייה|השנייה]], ומפתח [[סימון מתמטי|שיטת סימון]] הקרובה יחסית לזו של ה[[אלגברה]] המודרנית.

===רומא העתיקה===
[[קובץ:BadSalzdetfurthBadenburgerStr060529.jpg|שמאל|ממוזער|250px|[[שעון]] רחוב ב[[גרמניה]] עם ספרות רומיות]]
התרבות ה[[רומא העתיקה|רומית]] לקחה השראה רבה מתרבות יוון העתיקה בתחומים כמו אמנות ופילוסופיה, ופיתחה את הרעיונות שנלקחו משם, אולם במתמטיקה הם לא חוללו התקדמות משמעותית. גם המתמטיקה הלא מפותחת שהייתה בידי הרומים נלקחה בעיקר מה[[אטרוסקים]] וממקורות אחרים, קדומים ליוון העתיקה. באופן כללי, לא נרשם ברומא עניין רב בנושאים מדעיים שאינם קשורים לחיי היום יום באופן ישיר, וכך המתמטיקה שלהם הייתה לא מפותחת ובעיקרה מעשית. הבעיות המתמטיות המעטות התייחסו למקרים ספציפיים ולוו בסיפור רקע, ו[[ריגורוזי]]ות ודאי שלא הייתה.

בהקשר המתמטי, רומא זכורה בעיקר בשל [[ספרות רומיות|הספרות הרומיות]]. שיטת הספירה ברומא מכילה 7 אותיות [[לטינית|לטיניות]], שבעזרתן בוטא כל מספר:
* I = אחת
* V = חמש
* X = עשר
* L = חמישים
* C = מאה
* D = חמש מאות
* M = אלף

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

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

== תרבויות העמים הילידים באמריקה ==
===המאיה===
[[קובץ:maya.svg|ממוזער|320x320px|המספרים מ-0 ועד 19, בספרות המאיה]]
ה[[מאיה]] היא תרבות [[אינדיאנים|אינדיאנית]] שפרחה ב[[אמריקה המרכזית]] במאות [[המאה ה-3|ה-3]] עד [[המאה ה-16|ה-16]] לספירה, ובמיוחד במאות ה-8 וה-9. תרבותם המפותחת ועניינם הרב ב[[אסטרונומיה]] היוו כר פורה לפיתוח שיטת ספירה מתקדמת ביותר לתקופתה.

תרבות המאיה פיתחה, כשש מאות שנה לפני השיטה העשרונית ההודית, [[ספרות מאיה|שיטה פוזיציונלית משלה]]. בסיס השיטה הוא 20, ויש רק 3 סימני ספרות: 0, 1 ו-5, בעזרתן ניתן לבטא כל מספר. בכתבי המאיה התגלו מספרים בסדר גודל של מיליונים הכתובים בשיטה זו.{{הערה|תולדות המתמטיקה הקדומה, עמ' 178}}

רוב הספרות ייצגו כמות גדולה פי 20 מהספרה שקדמה להן, ואילו הספרה השלישית ייצגה כמות גדולה פי 18 מהשנייה. כך, הספרה הראשונה מודדת אחדות, השנייה מודדת "עשרימיות", השלישית "שלוש מאות ושישימיות" (20*18), הרביעית "שבעת אלפים מאתימיות" (20*18*20), וכך הלאה. תכונה זו נגזרה, כמעט בוודאות, מ[[לוח שנה|לוח השנה]] "[[לוח השנה של המאיה|האב]]", שבו יש 18 חודשים בני 20 יום כל אחד, ועוד חודש אחד בן חמישה ימים שנחשב למביא מזל רע.{{הערה|[http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Mayan_mathematics.html מתמטיקה של המאיה], באתר MacTutor }}

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

===האינקה===
[[קובץ:Quipu.png|ממוזער|375x375px|קיפו- החבלים המשתלשלים מכילים מידע מספרי]]
החל מ-[[1200]] לערך עד [[1532]], עת נכבשה בידי [[האימפריה הספרדית]], התקיימה באמריקה הדרומית [[אימפריה]] בשם "[[אינקה]]", שמו של ה[[עם]] שעמד בבסיס האימפריה, אך התקיים עוד לפניה. ב[[המאה ה-15|מאה ה-15]] הרחיבו הקיסר "[[פאצ'אקוטי|פַּאצַ'אקוּטִי]]" ולאחריו בנו ויורשו [[טופאק אינקה יופאנקי]] את תחומי האימפריה, והפכו אותה לגדולה שבאימפריות ב[[אמריקה]] ב[[התקופה הפרה-קולומביאנית|תקופה הפרה-קולומביאנית]], או במילים אחרות לפני הגעת ה[[אירופה|אירופאים]] ליבשת. מאות [[שבט]]ים, על מנהיגיהם ושפותיהם השונות, התאחדו ויצרו תרבות ענפה שאליה השתייכו כעשרה מיליון בני אדם. תרבות זו כללה [[ממשל]] ציבורי, [[צבא]], [[אדריכלות]], [[דת]] ([[המיתולוגיה של האינקה]]) ועוד.

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

הכובשים הספרדים השאירו אחריהם שלל תיאורים ואיורים של הקיפו. [[אינקה גרסילאסו דה לה וגה]], בנם של אב ספרדי ואם בת האינקה, כתב:

{{ציטוט|תוכן=בהתאם למיקומם, הקשרים סימנו יחידות, עשרות, מאות, אלפים, עשרות אלפים, ובאופן יוצא דופן מאות אלפים, וכולם ערוכים היטב על חבליהם השונים כספרות אותן מעלה [[רואה חשבון]] על הכתב, עמודה לאחר עמודה, ב[[ספר חשבונות]]יו.{{הערה|מצוטט אצל "[http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Inca_mathematics.html מתמטיקה של האינקה], באתר MacTutor }}
}}

ההנחה לפיה הקיפו שימש רק לתיעוד כמויות התערערה עם מחקרם של החוקרים רוברט ומרשיה אשר, ארכאולוג ומתמטיקאית, אשר שיערו שכ-20% מהקיפו שבידינו הם "בבירור לא מספריים". כיום יש מחלוקת בנושא זה.{{הערה|{{הארץ|ג'ון נובל, ילפורד ניו יורק טיימס|לתרבויות אחרות היו סימנים גרפיים, בני האינקה "כתבו" בעזרת חוטים וקשרים|0000017f-f1bd-da6f-a77f-f9bf65ff0000|2 בספטמבר 2003}}}}

הפרואני [[פליפה גואמן פומה דה איילה]] כתב [[כרוניקה]] רחבת היקף, בה ניסה לסכם את ההיסטוריה של [[תרבויות האנדים]], מהאנשים הראשונים עד לאינקה (שמוצאם מהאנדים) ול[[הכיבוש הספרדי של אימפריית האינקה|כיבוש הספרדי של אימפריית האינקה]], ושלח ל[[פליפה השלישי, מלך ספרד]]. בכרוניקה נכללים איורים רבים, כולל כמה של קיפו, וכן של "לוח ספירה" שנקרא "יופאנה", מעין חשבונייה. היסטוריונים חלוקים בדעתם אכן האם מדובר במכשיר של האינקה, או שמא ייתכן כי הוא הגיע עם הכובשים הספרדים. כומר ספרדי שחי בקרב בני האינקה בשנים [[1571]]–[[1586]] כתב כי הם ביצעו חישובים מורכבים, ש"למחשב (אדם העוסק בחישוב) מוכשר יידרשו נייר ועט כדי לחשבם", בעזרת גרעינים.

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

== תרבויות המזרח הרחוק ==
===הודו===
{{עריכה|ניסוחים מעט מרושלים|נושא=מדעי הטבע|נושא2=מדעי הרוח}}
[[קובץ:2064 aryabhata-crp.jpg|ממוזער|358x358px|פסלו של אריאבהטה ב[[פונה]]]]
להודו הייתה השפעה משמעותית על התפתחות המתמטיקה, כשהתרומה הידועה והחשובה ביותר היא פיתוח [[השיטה העשרונית]] הפוזיציונלית (מיקומית) והגדרת מושג ה־[[0 (מספר)|0]]. עם זאת, בהשוואה למתמטיקה היוונית, שהייתה מאופיינת ב[[ריגורוזיות]] לוגית ובערך פילוסופי, המתמטיקה ההודית התמקדה יותר בפתרונות מעשיים ולעיתים הייתה פורמלית פחות מבחינה לוגית. המתמטיקה ההודית נכתבה ברובה ב[[חריזה|חרוזים]] ובסגנון מיסטי.

בין השנים 3300 לפנה"ס עד 1300 לפנה"ס התקיימה, בחלק משטחי הודו של ימינו, [[תרבות עמק האינדוס]]. אנשי תרבות זו אימצו מערכת של מידות ומשקולות המבוססת על חלוקה עשרונית של "מידות טבעיות". בחפירות ארכאולוגיות נמצאו שרידים המראים שימוש ביחידת מידה של 3.35 ס"מ אשר מהווה באורכה עשירית מיחידת הרגל, וכן ביחידת מידה אחרת שאורכה 0.932 ס"מ ומהווה מאית מיחידת הפסע.

כשירדה קרנם של תושבי עמק האינדוס, תפסו את מקומם ההינדו-אריאנים. ספרי הקודש שלהם, ה[[ודה|וודה]], כללו בין השאר את ה"שולבה סוטרא" - ספר קודש העוסק בבניית [[מזבח]]ות לשם הקרבת קורבנות. ספר זה הוא דתי בעיקרו, אך מציג מתמטיקה מתקדמת. בין השאר נמצאים בו נוסח של משפט פיתגורס ("ה[[אלכסון]] ב[[מלבן]] יוצר שטח השווה לסכום השטחים ששתי צלעות המלבן יוצרות בנפרד"),{{הערה|תולדות המתמטיקה הקדומה, עמ' 161}} בעיית בניית מזבח מרובע ששטחו שווה למעגל נתון (בעיה מקבילה לבעיית "תרבוע העיגול" של היוונים), וקירוב מדויק ל[[השורש הריבועי של 2|שורש הריבועי של 2]]: <math>\sqrt{2} \approx 1 + \frac{1}{3}(1+ \frac{1}{4}(1 - \frac{1}{34})) = \frac{577}{408} \approx 1.4142156</math>, מדויק עד הספרה החמישית אחרי הנקודה. אין זכר להוכחות בטקסט זה.

בסביבות [[המאה ה-3 לפנה"ס]] הופיעו [[ספרות ברהאמיניות|הספרות הברהאמיניות]]. במובן מסוים הן המקור לשיטה העשרונית המודרנית, אך הן אינן מפותחות כמו שיטת הספירה ההודית המאוחרת יותר.

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

במאות ה-5 עד ה-7 לספירה חיו שני מתמטיקאים חשובים במיוחד: אריאבהטה ובראהמגופטה.

[[אריאבהטה]] ([[476]]–[[550]] לספירה) הוא אחד מגדולי המתמטיקאים ההודים. הוא נחשב לאבי [[השיטה העשרונית]]. עבודתו ה"אריאבהטיה" שפרסם בגיל 23 השפיעה רבות על המתמטיקה ההודית. בין השאר נמצאים בחיבור: [[אלגוריתם]] ל[[הוצאת שורש ריבועי]] ושלישי, הנוסחה לאורך צלע [[משושה משוכלל]], רעיון ה[[רדיאן]], הוכחה בעזרת [[דמיון משולשים]], [[משפט פיתגורס]], והנוסחאות לחישוב סכום האיברים ב[[סדרה חשבונית]], או לחלופין מספר האיברים, אם ידועים סכום הסדרה והאיבר הראשון.{{הערה|קיצור תולדות המתמטיקה, עמ' 172–176}} ה[[קירוב]] המוצג ל-π הוא "חבר ארבע למאה אחת, הכפל בשמונה, והוסף שוב ששים ושניים אלף, התוצאה היא ערכו בקירוב של π כאשר הקוטר הוא עשרים אלף", כלומר בדיוק 3.1416, שהוא קירוב בדיוק של אלפית. תוצאות אלו מראות על הבנה מתמטית מרשימה לתקופתו. עם זאת, במדידת הנפחים נפלו כמה טעויות. נראה שהוא הושפע מהמתמטיקה יוונית. פרשן בולט שלו הוא [[בהסקרה הראשון]] ([[600]]–[[660]] בקירוב).

בשנים [[598]]–[[668]] חי המתמטיקאי וה[[אסטרונום]] החשוב [[בראהמגופטה]].{{הערה|[[עבודה אקדמית]] מקיפה עליו ניתן למצוא [http://www.ma.huji.ac.il/~ehud/MH/b.pdf כאן].}} הוא עבד כאסטרונום הראשי של [[מצפה כוכבים|מצפה הכוכבים]] בעיר אואז'ין. עבודתו החשובה, "המערכת המתוקנת של ברהמה" (Brahmasphutasiddhanta), עוסקת בעיקרה באסטרונומיה ובחישובים אסטרונומיים (ככל הידוע לנו הוא החוקר ההודי הראשון שהשתמש באלגברה לצרכים אסטרונומיים), אך כוללת ארבעה פרקים (מתוך עשרים ושלושה) של [[מתמטיקה עיונית]], שהם הפרקים המשפיעים ביותר בספר. הוא הושפע רבות ממתמטיקאים ואסטרונומים הודים קודמים, כמו וורהמירה ואריאבהטה, ולרוב הגיע להישגים טובים משלהם. הוא עסק ב[[משוואה|משוואות]] (לדוגמה [[משוואת פל|משוואות פל]]), בכדוריות, במדידת נפחים (בנושא זה היו לו טעויות לא זניחות) ועוד. למרות הגיוון בנושאיו, החידוש הגדול בספר הוא שבו הופיע לראשונה האפס כמספר בפני עצמו, ולא רק כמציין מקום חסר, ואף הגדיר אותו כתוצאת חיסור מספר מעצמו. הוא ניסח את כללי הפעולות עם אפס: "אם מוסיפים או מורידים ממספר אפס הוא נשאר ללא שינוי, אם מכפילים מספר באפס התוצאה היא אפס".{{הערה|[http://www-history.mcs.st-andrews.ac.uk/Biographies/Brahmagupta.html ביוגרפיה של בראהמגופטה], באתר MacTutor. חלק מכלליו לא תאמו את אלו המודרניים: הוא הגדיר מספר לחלק באפס כשבר שמכנהו אפס, ואפס לחלק לאפס כאפס}} כמו כן, בספרו התקיימו ה[[מספר שלילי|מספרים השליליים]] ("חוב") וההפרדה בינם לבין החיוביים ("הון"), נרשמו כללים לפעולות במספרים חיוביים, שליליים ובאפס המזכירים את אלו המודרניים, והוא אף הכליל פתרונות שליליים כפתרונות קבילים למשוואותיו. עבודתו של בראהמגופטה היוותה הבסיס לשני תחומים מרכזיים, אם לא שני התחומים המרכזיים, במתמטיקה ההודית, "מתמטיקה של אלגוריתמים" המקבילה בקירוב לאריתמטיקה, ו"מתמטיקה של משוואות" המקבילה בקירוב לאלגברה.{{הערה|הערך [http://www.britannica.com/EBchecked/topic/77073/Brahmagupta בראהמגופטה] ב[[אנציקלופדיה בריטניקה]]}}

בראהמגופטה השפיע רבות על המתמטיקה ההודית. מהווירה, בן המאה התשיעית, פיתח את רעיונותיו. במאות ה-9 עד ה-11, בכל אופן, לא היו תרומות מתמטיות רבות מלבד פרשנויות לספרים מוקדמים יותר וחישובים אסטרונומיים למיניהם. במאה ה-12 הייתה התקדמות מה במתמטיקה ההודית, ובעיקר השפיע ספרו של [[בהסקרה השני]] "כתר השיטה האסטרונומית", שבו נכללו גם כללי כפל וחילוק למספרים חיוביים ושליליים.{{הערה|תכנים היסטוריים לשילוב בהוראת המתמטיקה, עמ' 30}} ספר זה נחשב לשיא הרמה אליה הגיעה המתמטיקה ההודית.{{הערה|[http://www-history.mcs.st-and.ac.uk/history/HistTopics/Indian_mathematics.html סקירה על המתמטיקה ההודית], באתר MacTutor}}
בכל אופן, תרומה משמעותית כזו של אריאבהטה ובראהמגופטה לא חזרה על עצמה מעולם בספר בודד.

===סין===
{{עריכה|ניסוחים לא מדויקים, ביסוס על אתר יחיד ללא מקורות; לא אנציקלופדי|נושא=מדעי הטבע|נושא2=מדעי הרוח}}
[[קובץ:Boulier1.JPG|שמאל|ממוזער|250px|[[חשבונייה]] סינית.]]
מסיבות גאוגרפיות (ההרים והים שגרמו לבידוד יחסי) והיסטוריות (כובשי סין העדיפו להתמזג לתרבות המקומית ולא לשנות אותה) התרבות הסינית התפתחה במשך שנים רבות כמעט בלי קשר לתרבויות אחרות. לפיכך, גם המתמטיקה הסינית שונה מהאחרות, ובמיוחד מהמתמטיקה היוונית. בניגוד אליה, המתמטיקה הסינית לא בוססה על [[אקסיומה|אקסיומות]] ולא עמדה בדרישת הריגורוזיות היוונית. אלא, התבססה רבות על [[חידה מתמטית|חידות מתמטיות]] ופתרונן,{{הערה|הכוונה במונח "חידות" היא לבעיות מתמטיות המנוסחות במונחים מוחשיים, תוך הצגת מקרה מספרי פרטי במקום נוסחה כללית, ולא לחידות שמטרתן שעשוע}} ולא על משוואות כלליות. יתר על כן, היא הייתה בעיקרה מתמטיקה מעשית, שהונעה בשל נושאים כ[[לוח שנה|לוח השנה]] וגביית [[מס]]ים. אף על פי כן, היו בה פיתוחים חשובים ורעיונות מתמטיים מתקדמים.

{{חלונית
| רוחב = 22em
| תוכן = בזמן הקצר בה שלטה בסין, בסוף המאה השישית ותחילת השביעית, הצליחה [[שושלת סווי]] לאחד, במידת מה, אומה שהייתה מפולגת זה שנים רבות. ה[[חינוך]] ה[[אקדמיה|אקדמי]] החל לצבור תאוצה, ובין השאר האקדמיה כללה לימודי מתמטיקה. ה[[שושלת]] שבאה אחריה, [[שושלת טאנג]], המשיכה בדרך זו ואף החלה להפוך את לימודי המתמטיקה לפורמליים. לפיכך, המתמטיקאי לי צ'ונפנג אסף 12 ספרי מתמטיקה סיניים קלאסיים שיש ללמדם, אוסף שמשום מה הודבק לו השם "עשר הקלאסיקות" על ידי כותב מאוחר יותר. הרשימה מספקת לנו מידע לגבי הספרים שנחשבו לחשובים בתקופה הזו. נכללו בה הספרים הבאים:
# מחבר לא ידוע, "גּ'וֹּבִּי סְוַּאנְגִּ'ינְגּ" ("המדריך של ג'ואו למדידת צללים")
# מספר מחברים, "גְּ'יוגַּ'אנְגּ סְוַּאנְשוּ" ("תשעת הפרקים של אמנות המתמטיקה")
# לִי חְוֵי, "הַאידַּוּ סְוַּאנְגִּ'ינְגּ" ("המדריך המתמטי של איי הים")
# סוּן דְזְה, "סוּן דְּזְה סְוַּאנְגִּ'ינְגּ" ("המדריך המתמטי של [[סון דזה]]")
# מחבר לא ידוע, "ווּצַוּ סְוַּאנְגִּ'ינְגּ" ("המדריך המתמטי של חמש מחלקות מנהליות")
# שְׂיַאהוֹאו יַאנְגּ, "שְׂיַה-הוֹאו יַאנְגּ סְוַּאנְגִּ'ינְגּ" ("המדריך המתמטי של שְׂיַאהוֹאו יַאנְגּ")
# גַּ'אנְגּ צְ'יוֹגְּ'יֵן, "גַּ'אנְגּ צְ'יוֹגְּ'יֵן סְוַּאנְגִּ'ינְגּ" ("המדריך המתמטי של גַּ'אנְגּ צְ'יוֹגְּ'יֵן")
# מחבר לא ידוע, "ווּגִּ'ינְגּ סְוַּאנְשוּ", ("שיטות אריתמטיות בחמש הקלאסיקות")
# וַּאנְגּ שְׂיַה טונְגּ, "גִּ'יגּוּ סְוַּאנְגִּ'ינְגּ" ("האריתמטיקה על בסיס הכללים העתיקים")
# שׂוּ' יְוֵּ'ה, "שׁוּשׁוּ גִּ'י-יִי" ("הערות על מסורות של שיטות אריתמטיות")
# דְּזוּ צ'וּנְגַּ'ה, "גְּ'וֵּי שוּ" ("שיטה ל[[אינטרפולציה]]")
# דּונְגּ צְ'וֵ'אן, "סַאנְדֶּנְגּ שוּ" ("אמנות המעלה השלישית; סימון מספרים גדולים")
}}

הידע שלנו על המתמטיקה הסינית שלפני המאה ה-1 לספירה מוגבל, בין השאר בשל [[שריפת ספרים|שריפות הספרים]] העתיקים והוצאתם להורג של מלומדים בתקופתו של [[צ'ין שה-חואנג]]. בשנת 1100 לפנה"ס בקירוב נכתב "צ'ו פאי", חיבור שממנו אפשר ללמוד רבות על הידע המתמטי בזמן זה, למשל מהדיאלוג הבא:
{{ציטוט|תוכן=שבור את הקו ועשה את הרוחב 3 ואת האורך 4; המרחק בין שתי הפאות יהא אז 5 [כנראה הכוונה ל[[משולש ישר זווית]] שצלעותיו, על פי [[משפט פיתגורס]], 3, 4 ו-5]. מה רב כוחו של מדע המספר! צורות הן עגולות או חדות; מספרים הם זוגיים או אי זוגיים.}}

חיבור מתמטי אחר שידוע לנו הוא ה"גּ'וֹּבִּי סְוַּאנְגִּ'ינְגּ", או "המדריך של ג'ואו למדידת צללים", המתוארך לתקופה בין 100 לפנה"ס ל-100 לספירה. הוא מכיל ידע מתמטי מורכב לתקופתו, למשל גרסה ל[[משפט פיתגורס]].

הסינים החלו להשתמש בשיטה עשרונית בערך ב[[המאה ה-1|מאה הראשונה לספירה]]. הם השתמשו בקני [[במבוק]] אדומים כדי לסמן מספרים חיוביים ובקני במבוק שחורים כדי לסמן מספרים שליליים ("[[מוטות מנייה]]"). ספרות היחידות והמאות הונחו לרוחב, בעוד ספרות המאות והאלפים הונחו לאורך. מאות שנים לאחר מכן השיטה התנתקה מהמוטות והפכה לשיטה כתובה המבוססת בעיקרה על קווים אופקיים ואנכיים.

הספר החשוב ביותר בהיסטוריה של המתמטיקה הסינית הוא [[תשעת הפרקים של אמנות המתמטיקה]] ([[סינית מסורתית]]: 九章算術). ספר זה מכיל 216 בעיות מעשיות שדרכן מוצגים הרעיונות המתמטיים. הוא תוצאת התפתחות מתמטית בת מאות שנים, וחיברוהו מלומדים רבים. השפעתו על המתמטיקה של זמנו עצומה, בדומה לזו של "יסודות" במתמטיקה היוונית. בין השאר ניתן למצוא בספר: שיטות למדידת שטחים (בין השאר ה[[משולש]], ה[[טרפז]] וה[[עיגול]], פעולות החשבון בשברים, [[משפט פיתגורס]], אלגוריתם למציאת [[מחלק משותף מקסימלי]], פתרון [[משוואה ליניארית|משוואות ליניאריות]], רעיונות המקדימים את ה[[חשבון אינפיניטסימלי|חשבון האינפיניטסימלי]], [[אחוז]]ים ועוד נושאים רבים.

השפעה גדולה מאוד יש גם לפרשנותו של [[לִי חְוֵי]], שחי כנראה במאה השלישית לספירה, ל"תשעת הפרקים". הוא העיד על עצמו שקרא את היצירה בעודו ילד, והתעמק בה בבגרותו. הוא התאמץ יותר מקודמיו להצדיק באופן עקרוני את חישוביו, ובכך התקרב באופן יחסי לתקופתו למתמטיקה הריגורוזית והמופשטת המודרנית. בחיבור מאוחר יותר, "המדריך המתמטי של איי הים", שבמקור היה תוספת לפרשנות הנ"ל אך הפך לטקסט נפרד ורב השפעה, הוא בין השאר השתמש ב[[משפט פיתגורס]] כדי לחשב את גובהו ומרחקו מנקודת המבט של עצם שלא ניתן לחשב נתונים אלו עליו ישירות.

התקדמותו של חְוֵי הייתה כה משמעותית, עד שבמשך דורות לאחר מכן, מעטים היו הגילויים החדשים. בספרו של [[סוּן דְזְה]] מהמאה השלישית עד החמישית לספירה, "המדריך המתמטי של סוּן דְזְה", לא נמצאים גילויים רבים שלא נמצאו בספרים קודמים, אך בכל זאת יש לו חשיבות לא מבוטלת. נכלל בו חומר בנושאי [[ארבע פעולות החשבון]] ו[[הוצאת שורש ריבועי]], ואף ניתן למצוא בו מעט [[אלגברה]] (על אף שהיא שונה מהאלגברה המודרנית). בו הופיע לראשונה [[משפט השאריות הסיני]] החשוב. בספרו של [[שְׂיַה-הוֹאו יַאנְגּ]], שבו בעיות מסחר וממשל מלוות בפתרונן, בלי כללים ועם הסברים חלקיים, נמצאת שיטת ספירה עשרונית.

[[דְזוּ צ'וּנגָ'ה]] ([[429]]–[[501]]) הוכיח, בספרו "שיטה ל[[אינטרפולציה]]", שפאי נמצא בין 3.1415926 ל-3.1415927, ומצא את קירוב פאי 355/113, שנכון עד שש ספרות לאחר הנקודה העשרונית. הוא ובנו, דְּזוּ גֶּנְגּ, ניסחו יחד את הנוסחה לחישוב נפח [[ספירה (גאומטריה)]], בהתבסס על רעיון מקביל ל[[עקרון קאוואליירי]].

[[וַּאנְגּ שְׂיַה טונְגּ]] ([[580]]–[[640]] בקירוב) כתב את "האריתמטיקה על בסיס הכללים העתיקים", עבודה בת 20 בעיות בלבד שכולן בעיות מדידה. בעבודה כלולה מתמטיקה מתקדמת למדי ביחס לתקופתה, כולל [[משוואה ממעלה שלישית|משוואות ממעלה שלישית]],{{הערה|קיצור תולדות המתמטיקה, עמ' 179}} וניתן לראות בה את ראשית האלגברה הסינית.{{הערה|[http://turnbull.mcs.st-and.ac.uk/~history/HistTopics/Chinese_overview.html סקירה של המתמטיקה הסינית], באתר MacTutor .}}

לאחר שְׂיַה טונְגּ המתמטיקה הסינית לא התקדמה רבות לאורך זמן רב. אף על פי שהיו עוד שיפורים קטנים, במשך מאות שנים, עד סוף [[המאה ה-12]], לא היו חיבורים ראויים לציון. השינוי העיקרי שהתרחש בתקופה זו היה תרבותי: המתמטיקה הפכה ללימוד חובה עבור פקידים, שהיו נבחנים על מתמטיקה מתוך 12 ספרים נבחרים מההיסטוריה של המתמטיקה הסינית, שכונו, למרות מספרם, "10 הקלאסיקות". אמנם במאה ה-12 היו מתמטיקאים בעלי הישגים נכבדים, כגון [[גְּ'יַה שְׂיֵן]] ו[[שֶׁן קְוַּה]], אך הם היו זניחים למדי ביחס להתקדמויות העבר. ובכל זאת, יש להזכיר שהסינים פתרו [[משוואה ממעלה שנייה|משוואות ממעלה שנייה]] ואף ממעלות גבוהות יותר, וכן ייחדו סימן לאפס (שכנראה הגיע מן המתמטיקה ההודית).{{הערה|תולדות המתמטיקה הקדומה, עמ' 176}}

קפיצת מדרגה נעשתה במאה ה-13, שהייתה תקופת שגשוג למתמטיקה הסינית. [[צִ'ין גְּ'יושַוּ]] ([[1202]]–[[1261]]) היה הראשון בשורה של מתמטיקאים רבי השפעה. בין השאר פרסם מחדש את משפט השאריות הסיני, גילה מחדש אל [[נוסחת הרון]] היוונית לחישוב שטח משולש על פי צלעותיו ועבד עם משוואות בעלות מקדם משתנה. [[לִי גְּ'ה]] כתב ב-[[1248]] את ספרו "מראת הים של מידות המעגל" שכלל שיטה לטיפול ב[[משוואה פולינומית|משוואות פולינומיות]] וב-[[1259]] את ספרו "צעדים חדשים בתורת החישובים" שהכיל פתרון לבעיות גאומטריות בעזרת אלגברה. [[יַאנְגּ חְוֵי]] ([[1191]]–[[1279]]) העלה רעיונות חשובים על נושאים ככפל וחילוק, הוצאת שורשים, חישובי שטחי צורות ומשוואות מסוגים אלו ואחרים. גְּווֹ שוֹוּגִּ'ינְגּ ([[1231]]–[[1316]]) עסק בין השאר בפתירת משוואות וב[[טריגונומטריה ספירית]]. [[גּ'וּ שְׁה-גְּיֵה]] ([[1260]]–[[1320]]) פתר [[פולינום|פולינומים]] עם ארבעה איברים, כמו גם [[מערכת ליניארית|מערכות ליניאריות]] בנות ארבע עשרה משוואות,{{הערה|[[האנציקלופדיה העברית]], "מתמטיקה", עמ' 751}} וחישב [[סכום|סכומים]] של סדרות, הישג מרשים לכל הדעות. שה-גיה הוא, ניתן לומר, אחרון המתמטיקאים מ"תור הזהב" של המתמטיקה הסינית במאה ה-13, תקופה שלאחריה המתמטיקה הסינית הפסיקה להיות מהמתקדמות בעולם.{{ש}}
<big>{{הערה|פרק זה מבוסס בעיקרו על [http://turnbull.mcs.st-and.ac.uk/~history/HistTopics/Chinese_overview.html סקירת המתמטיקה הסינית] המופיעה באתר MacTutor, ורובן המוחלט של העובדות המופיעות בפרק זה ואינן מגובות במקורות אחרים מתבססות על הסקירה הנ"ל. אין בכך משום הפרת זכויות יוצרים שכן הניסוח שונה}}</big>

== ימי הביניים ==
===העולם המוסלמי ===
[[קובץ:Image-Al-Kitāb_al-muḫtaṣar_fī_ḥisāb_al-ğabr_wa-l-muqābala.jpg|380px|ממוזער|"הספר התמציתי לחישוב על ידי השלמה ואיזון", ספרו של [[אבו ג'עפר מחמד אל ח'ואריזמי]] הנחשב לאבן דרך בהתפתחות ה[[אלגברה]].]]
ה[[אסלאם]] נולד ב[[המאה ה-7|מאה השביעית]] ועד [[732]] כבר [[האימפריה המוסלמית|שלטו המוסלמים]] על שטח רחב ממדים שכלל בין השאר את [[מסופוטמיה]], [[מצרים]], [[ממלכת פרס|פרס]], [[ספרד]] ו[[צפון אפריקה]]. ב[[ימי הביניים]] כוחה הרב של [[הכנסייה הקתולית]] פגע בפעילות המדעית אך בארצות האסלאם המדע והתרבות התפתחו והגיעו להישגים רבים ומרשימים. המוסלמים ספגו רבות מהתגליות של יוון העתיקה וקידמו רעיונות אלה. בין [[המאה ה-8]] ל[[המאה ה-15|מאה ה-15]] גדלה במיוחד השפעתה של המתמטיקה המוסלמית.

המתמטיקה המוסלמית זכורה גם כזו שדרכה עברה [[השיטה ההודית-ערבית]], כולל הרעיונות החדשים שהתלוו לה: השיטה הפוזיציונלית והאפס כמסמן מקום וכמספר, מהודו לאירופה (את רעיון האפס הם אף פיתחו). לימים טען המלומד וה[[פילוסוף]] המוסלמי [[אל-בירוני]] ([[973]]–[[1048]]), שביקר למשך מספר שנים בהודו, שבני עמו הכירו מספר שיטות ספירה הודיות, ובחרו את זו שנראתה להם היעילה ביותר. למעשה, ההיסטוריה של שיטת הספירה המוסלמית סבוכה ביותר, ואינה מסתכמת רק בהחלטה מושכלת קולקטיבית שכזו. לפני מוחמד, ה[[ערבים]] סימנו מספרים במילים בלבד. הניהול הכספי של הארצות הכבושות עודדו שימוש בספרות. תחילה היה שימוש בכל ארץ כבושה בספרותיהם של הנכבשים, ואולם בהמשך במשך תקופות ארוכות התקיימו באימפריה המוסלמית, במקביל, לפחות 3 בסיסי ספירה: [[בסיס אונרי]], שכלל סימון עבור כל יחידה והיה נפוץ בשימוש עסקי; [[בסיס סקסגסימלי]], שהיה נפוץ ב[[אסטרונומיה|חישובים אסטרונומיים]], ו[[השיטה העשרונית]] שמכונה השיטה ההודית-ערבית. הגיוון בשיטות שרד זמן רב גם לאחר שהשיטה העשרונית הייתה ידועה. איש העסקים [[אבו אל-וואפה]] כתב כי "לא מצאתי לה שימוש בקרב חוגי אנשי העסקים והאוכלוסייה של הח'ליפות המזרחית במשך זמן רב". סימני הספרות עצמם השתנו משמעותית מאז, אך העיקרון נשאר זהה.{{הערה|[http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Arabic_numerals.html שיטת הספירה הערבית], באתר MacTutor }} רעיון אחר שהעבירו ההודים למוסלמים הוא רעיון ה[[שבר (מתמטיקה)|שבר]], והם ממציאיו של קו השבר.

בתקופת [[בית אומיה]] ([[661]]–[[750]]) לא התפתחה המתמטיקה, סביר להניח שבשל הזמן הקצר מאז הפך האסלאם מקבוצת תומכים במוחמד לתרבות מגובשת של ממש.{{הערה|מבוא לתולדות המתמטיקה, חלק א', עמ' 100}} מרבית ההתפתחות המתמטית נעשתה בתקופת [[בית עבאס]], שעודד את המדעים ובראשם האסטרונומיה, הרפואה וגם המתמטיקה, והזמין לחצר המלך מומחים ממקומות שונים. ה[[ח'ליפה]] השני לבית עבאס, [[אל-מנסור]] (שלט [[754]]–[[775]]), נחשב למייסד [[תור הזהב של האסלאם]]. מלומדים ממקומות רחוקות הגיעו אל חצרו של אל-מנסור. בחיבור שנכתב סביב סוף המאה ה-12, אך נשען על מקורות עתיקים יותר, מתואר מלומד הודי שהפגין יכולת מרשימה מול אל-מנסור, והאחרון הורה [[תרגום|לתרגם]] לערבית את הספר עליו התבסס. בהתאם לתיאור, סביר להניח שמדובר בספר [[בראהמספהוטסידהאנטה]] של [[בראהמגופטה]]. כלומר, הדבר מבטיח שבידי הערבים היה עוד אז ספר שבו ספרות הודיות. ב-[[763]], עלה לשלטון [[הארון א-רשיד]]. כמו אצל אל-מנסור, גם בתקופתו הייתה פריחה תרבותית ומדעית, ובפרט במתמטיקה.

ב[[המאה ה-9|מאה התשיעית]] הח'ליפה [[אל-מאמון]] הקים את "[[בית החוכמה]]" ב[[בגדאד]]. היה זה מכון לתרגום ולמחקר ובו [[ספרייה]]. כתבי יד מדעיים רבים נלקחו מרחבי האימפריה ותורגמו ל[[ערבית]]. במוסלמים שלטו על מעצמות מתמטיות, בהן [[יוון העתיקה]] ו[[הודו]], וחיבוריהן החשובים תורגמו בבית החוכמה. לדוגמה, חמש מעבודותיו של [[אוקלידס]] (כולל "[[יסודות (ספר)|יסודות]]"), שתיים של [[ארכימדס]], כל כתבי [[אפולוניוס מפרגה]] ו"האריתמטיקה" מאת [[דיופנטוס]]. התרגומים לא הוגבלו למתמטיקה עיונית; כך תורגם, למשל, הטקסט האסטרונומי "[[אלמגסט]]" שכתב [[תלמי (אסטרונום)|תלמי]]. "בית החוכמה" היה גם מקור של מחקר מקורי. ייתכן מאוד שמלומדים הודיים ששכנו שם העבירו למוסלמים את רעיון האפס.

גדול החוקרים שהניב המוסד הוא [[אבו ג'עפר מוחמד אל-ח'ואריזמי]] שחי בסביבות השנים [[780]]–[[845]]. הוא כתב מספר חיבורים שמהם ידועים שניים. האחד הוא "Algoritmi de numero Indorum" ("אלגוריתמי על אמנות החישוב ההודית"). בתרגום ל[[לטינית]] מן המאה ה-12, שהוא המהדורה היחידה ששרדה (אפילו השם המקורי בערבית לא שרד), שובש שמו של אל-ח'ואריזמי לאלגוריתמי, מה שיצר את המונח [[אלגוריתם]]. תרומתו העיקרית של הספר הייתה הצגה מתקדמת במיוחד של שיטת הספירה ההודית, כולל האפס, וכללים אריתמטיים שונים. יצירתו הבולטת השנייה, "חיסאב אל-ג'אבר ואל-מוקאבלה" ("חשבון {{מונחון|ההשלמה|הכוונה להעברת ביטוי שלילי לצדה השני של משוואה כך שיהפוך לחיובי}} ו{{מונחון|ההקבלה|צמצום איברים שווים משני צידי משוואה}}"), חשובה אף יותר ונתנה לו מוניטין של מייסד האלגברה. "חיסאב אל-ג'אבר ואל-מוקאבלה" נחשב לספר מכונן בתולדות האלגברה (ממנו נגזר שמה) והייתה לו השפעה מאות שנים לאחר כתיבתו. הספר מחולק לשני חלקים, שרק את הראשון אפשר לכנות "אלגברי" במובנה המודרני של האלגברה, והשני כולל הצדקות גאומטריות לחישובים מהחלק הראשון. הוא כולו כולל תיאורים רטוריים ללא [[סימון מתמטי]], וניכר כי כותבו מעדיף את שיטות ההסקה ההודיות הגמישות מאשר ההוכחות ה[[ריגורוזיות|קפדניות]] של היוונים, אף כי ברור שהוא מושפע מהישגי שתי התרבויות. בתחילתו נכלל הסבר כיצד לכתוב מספרים בבסיס 10. ניתנים כללים לביצוע פעולות החשבון - הן בשלמים והן בשברים. לעומת זאת, המספרים השליליים לא אומצו לא כביטויים ולא כפתרונות ל[[משוואה|משוואות]]. מפני שנמנע השימוש במספרים שליליים, נאלץ הכותב לחלק את המשוואה שידועה היום כמשוואה ריבועית ל-6 קטגוריות שונות, בשעה שלמעשה מדובר בייצוגים שונים של אותה משוואה. הדוגמאות המובאות לכך הן אלגוריתמיות, כלומר "מתכוניות", מכילות סדרת צעדים מספריים המובילים לתוצאה, בלי התייחסות ל[[הכללה (מתמטיקה)|מקרה הכללי]]. אותן דוגמאות בדיוק הוא מראה גם בייצוג גאומטרי.

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

[[אבו כאמל]] (בערך [[850]]-בערך [[930]]) הרחיב את הישגי אל-ח'ואריזמי. הוא השפיע על מתמטיקאים חשובים שבאו אחריו, כמו: [[לאונרדו מפיזה]] (פיבונאצ'י) האירופאי, ו[[אל-קאראג'י]] המוסלמי.

אל-קאראג'י ([[953]]- בערך [[1024]]) התרחק אף יותר מאל-ח'ואריזמי מהמסורת הגאומטרית. הוא הגדיר את הביטויים <math>\ x, x^2, x^3, ...</math>, ואף את <math>\ \frac{1}{x}, \frac{1}{x^2}, \frac{1}{x^3}, ...</math>, ונתן כללים להכפלתם זה בזה. בכלליו אלו כמעט וניסח גרסה שקולה לנוסחה המודרנית <math>x^m \cdot x^n = x^{m+n}</math>, אך לא הגדיר את <math>\ x^0</math> כ-1. כל זאת עשה ללא שימוש בכללים גאומטריים. בנוסף, הוא ייסד מוסד לימודי שהתקיים מאות שנים לאחר מותו. אל-ח'ואריזמי ואל-קאראג'י הביאו את האלגברה לשלב התפתחות מתקדם במיוחד, וניכר כי הם היו קרובים יותר מכל קודמיהם לאלגברה המודרנית.

[[איבן אל-היית'ם]] ([[955]]–[[1040]]) נחשב לאחד ההוגים המשפיעים ביותר בהיסטוריה של המחשבה האנושית, ובפרט במדעי הטבע - גם בהישגיו הרבים וגם בגישתו המדעית המדוקדקת המקדימה את זמנה. נודע בעיקר כ[[פיזיקאי]] ובייחוד כ[[אופטיקה|אופטיקן]], אך תרומתו השתרעה על פני מגוון רחב של נושאים, בהם: [[פסיכולוגיה]], [[פילוסופיה]], [[אדריכלות]], [[אסטרונומיה]] וגם מתמטיקה. הוא התעניין הן ב[[גאומטריה]] והן ב[[תורת המספרים]], ובמיוחד בשילוב בין שני התחומים. הוא פיתח מעין [[גאומטריה אנליטית]] מוקדמת, והשפיע, אולי, על יסודות הגאומטריה האנליטית המודרנית של [[רנה דקארט]] ועל ה[[חשבון דיפרנציאלי ואינטגרלי|חשבון הדיפרנציאלי והאינטגרלי]] של [[אייזק ניוטון]] שבאו לאחריו. בגאומטריה הוא ניסה להוכיח את [[אקסיומת המקבילים]] בעזרת [[הוכחה בדרך השלילה]], ובעבודותיו נמצאו רעיונות שעתידים היו להפוך לחלק מה[[גאומטריה לא אוקלידית|גאומטריה הלא אוקלידית]]. בתורת המספרים, הוא הבין כי למשפט שהוכיח אוקלידס, לפי כל מספר מהצורה <math>2^{n-1}\left(2^n-1\right)</math>, כאשר <math>\left(2^n-1\right)</math> הוא [[מספר ראשוני|ראשוני]] הוא [[מספר משוכלל]], יש גם [[משפט הפוך]] תקף: כל מספר משוכלל זוגי (לא ידוע אם קיימים אי זוגיים) הוא מצורה זו - משפט שהוכח רק על ידי [[לאונרד אוילר]].

[[עומר ח'יאם]] ([[1048]]–[[1131]]) מ[[ממלכת פרס|פרס]] נודע בעיקר כמשורר, במיוחד בגלל יצירתו [[המרובעים של עומר ח'יאם]]. יצירה זו היא אחת מהדוגמאות הידועות ביותר בכל הזמנים לכתיבה בסגנון "[[מרובע (שירה)|מרובעים]]", סגנון שמקורו ככל הנראה מפרס ובו נכתבים שירים בני ארבע שורות, שוות פחות או יותר, ובהן מסר פילוסופי קצר או רעיון הומוריסטי המתמצים לרוב בשורה האחרונה. הצלחת "המרובעים של עומר ח'יאם", שתורגם לשפות רבות שוב ושוב, עוררה שימוש בסגנון שירי זה הן בארצות ערב והן במערב (בתקופות שונות). תרומות ידועות פחות שלו, אך חשובות גם הן, נכללות בתחומי ה[[פילוסופיה]], ה[[אסטרונומיה]] ובעיקר המתמטיקה. ח'יאם כתב ספר אלגברה שהושפע מאל-ח'ואריזמי, ובאופן מובהק לא פחות מהמסורת הגאומטרית היוונית. בספר זה הוא חידד את ההבחנה בין אריתמטיקה לאלגברה. הוא הוסיף לששת סוגי המשוואות שציין אל-ח'ואריזמי עוד 19 סוגים, מהן 14 סוגי [[משוואה ממעלה שלישית|משוואות ממעלה שלישית]]. הישגו הגדול הוא יצירת שיטה לסיווג ולפתירת משוואות ממעלה שלישית בעזרת חיתוכי [[חתכי חרוט]] שונים ([[מעגל]], [[אליפסה]], [[פרבולה]], [[היפרבולה]]), הישג מרשים לאור העובדה שבאירופה הגיעו לאותו הישג בעזרת אלגברה "טהורה" (ללא גאומטריה) - רק במאה ה-16. הוא גם הכיר ב[[מספר אי-רציונלי|מספרים אי רציונליים]] כמספרים לכל דבר, על אף שהיו אלו פתרונות "גאומטריים", כהגדרתו, למשוואותיו (לעומת פתרונות "אריתמטיים", שהם חיוביים ורציונליים). אף על פי שהושפע מהמסורת האוקלידית, הוא לא חשש להצביע על בעיות שמצא ב"יסודות" של אוקלידס: כך החליף את תאוריית הפרופורציות של אוקלידס ו[[אאודוקסוס מקנידוס]] בתאוריה מספרית ולא גאומטרית, וכך לא השתמש ב[[אקסיומת המקבילים]], אלא בפוסטולאטים אחרים, והגיע, כמו איבן אל-היית'ם, לתובנות שהקדימו את זמנה של הגאומטריה הלא אוקלידית.{{הערה|מבוא לתולדות המתמטיקה, חלק א', עמ' 103}}

אל-סמוואל (נולד ב-[[1130]]), מתמטיקאי חשוב למדי ממוסד הלימוד של אל-קאראג'י, הגדיר את האלגברה כך: "... ביצוע פעולות על הלא ידוע תוך שימוש בכל הכלים האריתמטיים, באותה צורה בה מבוצעות פעולות על הידוע". זוהי ההגדרה המדויקת הראשונה לאלגברה במובנה המודרני.{{הערה|[http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Arabic_mathematics.html המתמטיקה הערבית- זהר נשכח?] באתר MacTutor }} מתמטיקאי אחר בן אותו דור, [[שארף אל-דין אל-טוסי]] ([[1135]] לערך – [[1213]]), המשיך בדרכו של אל-ח'ואריזמי בנושא הקשר בין אלגברה לגאומטריה, וכתב חיבור בנושא משוואות ממעלה שלישית, שהחוקר המודרני ר. ראשד מייחס לתחילת ה[[גאומטריה אלגברית|גאומטריה האלגברית]].

באופן כללי, האסטרונומיה קיבלה דגש בארצות האסלאם מסיבות מגוונות, בהן מצוות האסלאם שדרשו שימוש יומיומי באסטרונומיה (קביעת הצד הפונה לכיוון [[מכה]] כדי להתפלל אליו בכל רחבי הממלכה, חישוב זמני ה[[תפילה]] וה[[וודוא|טבילה]] בדיוק רב וכולי); אמונה בקשר בין ההתרחשויות בשמיים לאלו שעל האדמה; והדגש הכללי שניתן למדעים. חלק גדול מהמתמטיקאים החשובים ביותר בארצות האסלאם נודעו גם כאסטרונומים. תוך ניסיונותיהם לשפר את צפייתם בגרמי השמיים ויכולת הניבוי שלהם הם פיתחו את יכולתם החישובית, והמציאו כלים מתמטיים לטיפול בכך. ת'אבת אבן קורה ([[826]]–[[901]]) ו[[אל-בטאני]] ([[868]]–[[929]]) התחילו במגמה זו. הכלי החשוב ביותר לצורך חישובי אסטרונומיה היא ה[[טריגונומטריה]], ורק מחקרים שנעשו לאחר יצירתו הראשונית הפכו אותו לענף נפרד מהאסטרונומיה, אך עדיין קשור אליה בקשר הדוק. [[אולוג בג]] ([[1393]]–[[1449]]), נכדו של [[טימור לנג]], שליט "טרנסוקסיאנה" (הנמצאת באזור [[אוזבקיסטן]] של היום) מ-[[1447]] עד מותו ושליט העיר [[סמרקנד]] עוד לפני כן, היה גם אסטרונום מחונן. מלבד הפיכת סמרקנד למרכז אסטרונומי, הוא כתב את "קטלוג הכוכבים של הסולטאן" ([[1437]]), המכיל תצפיות מדויקות עד להדהים וגם טבלה טריגונומטרית של [[סינוס (טריגונומטריה)|סינוסים]] ו[[טנגנס]]ים בהפרשים של מעלה ובדיוק שמונה ספרות לאחר הנקודה - טבלאות שככל הנראה נעשו על בסיס עבודותיו של [[אל-קאשי]] ([[1380]]–[[1429]]). אל-קאשי היה אסטרונום ומתמטיקאי חשוב אף יותר, שהגיע להישגיו הטובים ביותר בסמרקנד והוערך מאוד בידי בג, שלאחר מותו אמר שהוא היה: "מדען יוצא מן הכלל, אחד המפורסמים בעולם, שהייתה לו שליטה מושלמת במדע הקדמונים, שתרם לפיתוחם ושיכול היה לפתור את הבעיות הקשות ביותר".

===מדינות אירופה ===
{{להשלים|נושא=מדעי הטבע|נושא2=מדעי הרוח}}
עם שקיעתה של [[רומא העתיקה]] נכנסה אירופה לתקופת [[ימי הביניים]], היא התקופה שבין [[העת העתיקה]] לבין ה[[רנסאנס]]. בתקופה זו, המתוארכת בצורות שונות אך לרוב בין המאות ה-5 או ה-6 לספירה עד המאות ה-15 או ה-16 לספירה, שלטה באירופה הנצרות בצורתה הקיצונית. בעולם הנוצרי הימי ביניימי לא היה מקום רב למדע, שקפא על שמריו ואף חזר לאחור, ואיתו המתמטיקה. הערכתה כתחום ידע מופשט בעל חשיבות עצמאית חלפה, כמו גם שימושה המדעי, והיא נדרשה עתה רק לצרכים יומיומיים.

דמות חשובה בהגות ימי הביניים הייתה דמותו של הפילוסוף [[בואתיוס]] ([[480]]–[[524]] או [[525]]). הוא חיבר ספרים בתחומים מתמטיים: על אריתמטיקה, גאומטריה, מוזיקה (שקושרה אז עם מתמטיקה) וחישובים אסטרונומיים. ספריו אינם מפותחים מהבחינה המתמטיקה כחיבוריהם של גדולי המתמטיקאים היוונים, והוא התעניין בעיקר בקשרה של המתמטיקה לפילוסופיה מצד אחד ולחיי היום יום מצד שני. לאחר מותו מעטים היו האינטלקטואלים במשך מאות בשנים; בין הבודדים ניתן למצוא את [[בדה ונרביליס]] ואת [[אלקווין]], שלשניהם לא היו תרומות מתמטיות. אף שהכנסייה לא עודדה במיוחד את המחקר, דווקא [[מנזר]]ים ו[[כנסייה|כנסיות]] היו המוסדות היחידים בהם מעט לימודי רוח.{{הערה|"מבוא לתולדות המתמטיקה, חלק א'", עמ' 106, פירוט על בואתיוס בעמ' 105}}

ה[[אפיפיור]] [[סילבסטר השני]] ([[950]] לערך-[[1003]], כיהן מ-[[999]] עד מותו) היה יוצא דופן מבין האפיפיורים שכן נודע כאדם משכיל. שנים לפני מינויו לאפיפיור היא לימד נושאים כמתמטיקה ואסטרונומיה וכתב מספר חיבורים בנושאי ה[[קואדריוויום]] (אריתמטיקה, גאומטריה, מוזיקה, אסטרונומיה) וה[[טריוויום]] ([[דקדוק]], [[רטוריקה]], [[לוגיקה]]). למעשה הוא המדען והמתמטיקאי היחיד אי פעם, עד היום, שהתמנה לתפקיד.{{הערה|[[אלי אשד]], [http://www.notes.co.il/eshed/27129.asp "סילבסטר הגדול-האפיפיור המכשף"], באתר "העולם של אלי אשד". שם מתאר אשד גם את האגדות הרבות שנקשרו סביבו לגבי היותו מכשף שמכר את נפשו לשטן.}} בהתאם לכך התאפיינה כהונתו בדגש על המתמטיקה והאסטרונומיה, ובפרט הכרת הידע הערבי בנושאים אלו לאירופאים (הוא למד בעברו בספרד המוסלמית וידע [[ערבית]] בעקבות זאת). הוא חידש את השימוש ב[[חשבונייה]] וה[[הספירה הארמילרית|ספירה הארמילרית]] (מודל של [[כיפת השמיים]]), שנזנחו מאז ימי יוון ורומא. הוא הציג בכתביו את השיטה ההודית ערבית, אולם היא לא חדרה, והמשיכו להשתמש בשיטה הרומית המסורבלת.

ב[[המאה ה-12|מאה ה-12]] חיו באירופה שני מתרגמים חשובים ל[[לטינית]].{{הערה|פירוט ב"קיצור תולדות המתמטיקה", עמ' 194–195}} האחד הוא [[ג'רארדו דה קרמונה]] ([[1114]]–[[1187]]) שתרגם מערבית ללטינית עשרות חיבורים. משפה זו הוא תרגם בין היתר, בתחומי המתמטיקה והאסטרונומיה, את ה[[אלמגסט]] של [[תלמי (אסטרונום)|תלמי]], את חיבורו של [[אפולוניוס מפרגה]] על [[חתכי חרוט]] וכן תרגום שאבד של [[יסודות (ספר)|יסודות]] של אוקלידס (ב-[[1901]] נמצאו כרכים 5–8 ב[[ספריית הוותיקן]]). דרך תרגום עבודותיו של אריאבהט, ונתן כללים להכפלתם זה בזה. בכלליו אלו כמעט וניסח גרסה שקולה לנוסחה המודרנית המערבית ללטינית הגיעה לאירופה המילה [[סינוס (טריגונומטריה)|סינוס]]. השני הוא [[אדלארד מבאת']], שתרגם גם הוא מערבית חיבורים רבים, כולל תרגום חשובים של "יסודות", שהיה בשימוש למשך כ-150 שנים.

בשנים [[1170]]–[[1250]] בקירוב חי מתמטיקאי שנודע כאחד מגדולי המתמטיקאים של ימי הביניים. שמו [[לאונרדו מפיזה|לאונרדו פיזנו]], או לאונרדו מפיזה, אך לאחר מותו ניתן לו הכינוי פיבונאצ'י, שמשמעותו בנו של בונאצ'י (כינויו של אביו). הוא הביא לאירופה חלק מהידע שהצטבר בארצות האסלאם, דרך כתבים יהודיים או ממקורות מוסלמיים. החשוב שבספריו הוא "ספר החשבונייה" ([[1209]]). הוא הכיל ידע עצום באלגברה, אך חשיבותו ופרסומו נעוצים בשני גורמים. האחד הוא בהפצת שיטת הספירה ההודית ערבית באירופה- קדם לו רק "ספר המספר" של רבי [[אברהם אבן עזרא]], יהודי שנודע גם כ[[משורר]], [[בלשן]] ואדם שנון במיוחד, אך כתביו של אבן עזרא היו שוליים לעין שיעור מאלו של פיבונאצ'י מבחינת השפעתם. פיבונאצ'י תיאר בו גם את האפס, אף שלא התייחס אליו כאחד המספרים. הגורם השני, שהביא לכך ששמו נחקק בזיכרון דורות של מתמטיקאים, הייתה בעיה מתמטית אחת מהספר:
{{ציטוט|תוכן=אדם אחד שם שני ארנבים במקום המוקף חומה מכל צדדיו. כמה זוגות ארנבים יכול להוליד זוג זה בשנה אם נניח כי בכל חודש זוג מוליד זוג חדש שמסוגל להוליד בחודש השני?}}

פתרון החידה היא הסדרה 1, 1, 2, 3, 5, 8, 13, 21, 34 וכן הלאה. בסימון מודרני מוגדרת הסדרה על ידי הנוסחאות: <math>\ F_1 = F_2 = 1</math> ,<math>\ F_{n+1} = F_n+F_{n-1}</math>. כלומר, שני איברי הסדרה הראשונים הם 1, והאיברים שלאחריהם מהווים את סכום שני קודמיהם. סדרה זו נקראה על שמו בשם [[סדרת פיבונאצ'י]], והיא אחת מן המפורסמות והחשובות שב[[סדרה (מתמטיקה)|סדרות המתמטיות]]. לסדרה זו תכונות רבות ומעניינות, בהן העובדה שה[[יחס (בין מספרים)|יחס]] בין איבריה שואף ל[[יחס הזהב]] והתחלקותם של מספרים מהסדרה במספרים ראשוניים בצורה קבועה (כל מספר שלישי ב-2, רביעי ב-3, חמישי ב-5, שביעי ב-13 ועוד).

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

=== המאות ה־12 וה־13 ===
ישנם כמה מתמטיקאים מפורסמים כגון: [[פיבונאצ'י|לאונרדו פיבונאצ'י]], [[תומאס ברדוורדין]].

===המאות ה־14 וה־15===
מתמטיקאים בודדים מוכרים ממאות אלו ולכל אחד תרומות בודדות בלבד למתמטיקה, וביניהם: המתמטיקאי היהודי ה[[רלב"ג]], [[אולוג בג]], [[ניקול אורסמה]], [[יוהנס מולר פון קניגסברג]].

== הרנסאנס והעת החדשה ==
===המאה ה־16===
{{להשלים|נושא=מדעי הטבע|נושא2=מדעי הרוח}}
לאחר הקיפאון הארוך של המתמטיקה האירופאית בימי הביניים, המתמטיקה פרחה מחדש על רקע [[הרנסאנס האיטלקי|תקופת הרנסאנס של איטליה]]. ב-[[1494]] פרסם [[לוקה פאצ'ולי]] את החיבור "''Summa de arithmetica, geometrica, proportioni et proportionalita''" שהקיף את כל תחומי המתמטיקה של זמנו, ונחשב בין השאר לערש ה[[חשבונאות]] המודרנית. ב-[[1509]] פרסם את ספרו המפורסם "[[על הפרופורציה האלוהית]]".

אמנם פתרון כללי ל[[משוואה ממעלה שנייה]] היה ידוע עוד מימי ה[[בבל]]ים, אך לא היה פתרון כללי למשוואות ממעלה גבוהה יותר. במהלך המאה ה-16 התחרו ביניהם מתמטיקאים איטלקים בפתרון משוואות. [[שיפיונה דל פרו]] היה הראשון לגלות שיטה לפתרון [[משוואה ממעלה שלישית|משוואות ממעלה שלישית]] ב-[[1515]], אך שמר על פתרונו בסוד. [[ניקולו טרטליה]] גילה בנפרד שיטה משלו בשנת [[1535]], ו[[ג'ירולמו קרדאנו]] ו[[לודוביקו פרארי]] הרחיבו את פתרונו למקרים שלא טופלו על ידה. במהלך עבודתו על הפתרון של טרטליה גילה פרארי את הפתרון הכללי ל[[משוואה ממעלה רביעית]]. השיטות לפתרון המשוואות פורסמו בספר "[[האומנות הגדולה]]" של קרדאנו, שהתפרסם ב-[[1545]] (ראו [[היסטוריה של פתרון משוואות פולינומיות]]). בספר גם הוצגו לראשונה בהיסטוריה [[מספר מדומה|מספרים מדומים]], משום שהם מופיעים במהלך פתרון משוואות ממעלה שלישית, גם במקרים בהם הפתרונות הסופיים [[מספר ממשי|ממשיים]].

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

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

===המאה ה־17===
{{להשלים|נושא=מדעי הטבע|נושא2=מדעי הרוח}}
בראשית המאה ה-17 הגה [[ג'ון נפייר]] את ה'''[[לוגריתם|לוגריתמים]]'''. במהרה השימוש בהם חדר למתמטיקה ולתחומי המדע ועל בסיסם הומצאו עזרי ה[[חישוב]], [[סרגל חישוב|סרגל החישוב]] ו[[לוח לוגריתמים]]. ב-[[1637]] הגה [[רנה דקארט]] את '''[[מערכת צירים קרטזית|מערכת הצירים הקרטזית]]''', והעלה את הרעיון של המחשת [[פונקציה ממשית|פונקציות]] באמצעות '''[[גרף של פונקציה|גרף]]''' על מערכת הצירים, צעד שנחשב לראשית ה'''[[גאומטריה אנליטית|גאומטריה האנליטית]]'''.

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

חלק ניכר מההתקדמות המתמטית במאה ה-17 התאפשר בזכות ה[[נזיר (נצרות)|נזיר]] הצרפתי '''[[מרן מרסן]]'''. מרסן ניהל חלופות מכתבים עם מתמטיקאים ומדענים מרכזיים בכל רחבי אירופה, קישר ביניהם, הפיץ את תורותיהם ואירח מפגשים מדעיים ומתמטיים במנזרו. מרסן תרם למתמטיקה את הנושא של [[מספר מרסן|מספרי מרסן]] הקרויים על שמו. מרסן היה נחוש להילחם בסודיות שאפיינה את המחקר עד לתקופתו ולעודד מדענים לסייע ולהסתייע במחקרים של מדענים אחרים. לפני תקופתו מתמטיקאים רבים העדיפו לשמור על שיטות הפעולה שלהם בסוד בדומה לסוד מסחרי. כאשר חוקר סירב להתייצב במפגשי הקבוצה שלו, מרסן נהג להעביר לחברי הקבוצה את כל החומרים שאדם זה שלח עליו עד אז, כולל מכתבים ומאמרים שנשלחו אליו באופן פרטי. התנהגות זו נחשבה לא מוסרית אבל מרסן טען להגנתו כי חילופי המידע יועילו למתמטיקה ולמדע, ולמין האנושי בכלל. הפרת הסודיות גרמה למריבות קשות בינו לבין חוקרים שונים.{{הערה|שם=סינג|[[סיימון סינג]], [[המשפט האחרון של פרמה (ספר)|המשפט האחרון של פרמה]], 1997, עמ' 64–66}}

במחצית השנייה של המאה ה-17, פותח מאוד ה'''[[חשבון אינפיניטסימלי|חשבון האינפיניטסימלי]]'''. תחום זה התפתח במקביל על ידי זוג היריבים, '''[[אייזק ניוטון]]''' ו'''[[גוטפריד וילהלם לייבניץ]]'''. ניוטון פיתח את ה[[תאוריה]] שלו בין חורף 1664 לאוקטובר 1666, והפקיד סיכום של עבודתו בידי ג'ון קולינס, יועצו של מזכיר [[החברה המלכותית]] הבריטית. לייבניץ החל לעבוד בנושא ב-1673. ניוטון פרסם מעט מאוד משיטותיו בתחום זה עד [[1693]], ולא סיפק הסבר מלא עד [[1704]]. מאוחר יותר טען ניוטון כי התעכב בפרסום רשימותיו מחשש שילעגו לו. לייבניץ, לעומת זאת, פרסם הסבר מלא של השיטות שלו כבר ב-[[1684]]. הרשימות של לייבניץ היו מפורטות ביותר לגבי הפיתוחים שלו לעומת רשימותיו של ניוטון שהציגו פיתוחים סופיים בלבד.

ב-[[1699]] החלו ניוטון ולייבניץ בעימות ארוך שנים ומכוער לגבי זכות הראשונים על המצאת החדו"א. כל אחד מן השניים טען שהוא זה שגילה את החדו"א והאחר העתיק ממנו, ומכיוון שהאנגלים תמכו בניוטון ואילו המתמטיקאים בשאר מדינות אירופה תמכו בלייבניץ. ניוטון אף גייס את [[החברה המלכותית]], שהוא היה מזכירה, למאבק וניסה לזייף מסמך שיתמוך בגרסתו. העימות וההפרדה שנוצרה השפיעו לרעה על התפתחות המתמטיקה באירופה במשך מאה שלמה. חלפו למעלה מ-200 שנה עד שהמצב התברר לאשורו וכיום ניתן הקרדיט על המצאת החדו"א הן לניוטון והן ללייבניץ, ו[[המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי]] נקרא גם '''משפט ניוטון-לייבניץ'''. הסימונים המקובלים כיום ל[[נגזרת]] ו[[אינטגרל]] הגיעו בעיקר מהסימונים של לייביניץ.

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

בתקופה זו החלה לבלוט '''[[משפחת ברנולי]]''', משפחת [[סוחר]]ים [[שווייץ|שווייצרית]], שהוציאה מקרבה [[מתמטיקאי]]ם ידועים במשך שלושה דורות. המתמטיקאים המפורסמים [[יאקוב ברנולי]] ו[[יוהאן ברנולי]] (1667–1748), שהצטרפו אל [[אייזק ניוטון|ניוטון]] ו[[לייבניץ]] בחקירת הרעיונות החדשים של ה[[חשבון אינפיניטסימלי|חשבון האינפיניטסימלי]]. שלושת בניו של יוהאן, יוהאן השני (1710–1790), [[דניאל ברנולי|דניאל]] ו[[ניקולאוס ברנולי ה-II|ניקולאוס]] (1695–1726) היו מתמטיקאים; דניאל הוא מחלוצי ה[[הידרודינמיקה]]. גם אחד משלושת בנו של יוהאן השני, יוהאן השלישי (1744–1807), עסק ב[[מתמטיקה]]. יוהאן ברנולי ידוע גם בזכות היותו מורהו של לאונרד אוילר והתכתבויותיו הרבות.

===המאה ה־18===
{{להשלים|נושא=מדעי הטבע|נושא2=מדעי הרוח}}
'''[[לאונרד אוילר]]''' שנולד ב[[שווייץ]] ופעל בגרמניה וברוסיה נחשב למתמטיקאי המוביל של [[המאה ה-18]] ולאחד מהבולטים ביותר בכל הזמנים. הוא פרסם 886 ספרים ומאמרים בימי חייו, ונחשב ליותר פורה מאשר כל מתמטיקאי אחר בהיסטוריה. עבודתו של אוילר הקיפה כמעט כל תחום אפשרי במתמטיקה: [[גאומטריה]], [[אנליזה מתמטית]], [[תורת הגרפים]], [[אלגברה]], [[תורת המספרים]] ועוד. עבודתו של אוילר נגעה בתחומים רבים כל כך, שבמקרים רבים עבודתו היא החומר הכתוב הראשון שנמצא בנושא מסוים והוא אחראי להוכחות הראשונות בנושא זה, ולכן בניסיון למנוע מכך שכמעט כל דבר יקרא על שמו של אוילר, חלק מתגליותיו וממצאיו משויכים לאדם הראשון בהיסטוריה שעסק או הוכיח בהם משהו לאחר מותו של אוילר.

אוילר המציא סימנים מתמטיים שהפכו לנחלת הכלל, למשל: <math> \ i</math> - [[מספר מרוכב|היחידה המדומה]], [[E (קבוע מתמטי)|<math> \ e</math>]] - בסיס הלוגריתם הטבעי, אשר אוילר הוכיח שהוא [[מספר אי-רציונלי]], <math> \ f(x)</math> כצורת סימון ל[[פונקציה]] של ה[[משתנה]] x (במקום לרשום את הפונקציה בצורה ישירה), הסימן [[פאי|<math>\ \pi</math>]] כיחס בין היקף ה[[מעגל]] ל[[קוטר]]ו,{{הערה|לראשונה השתמש בסימון זה המתמטיקאי הוולשי [[ויליאם ג'ונס (מתמטיקאי)|ויליאם ג'ונס]] בחיבורו "תצפית הישגי המתמטיקה" ("Synopsis Palmariorum Matheseos" או "a New Introduction to the Mathematics", אך השימוש לא השתרש עד אוילר) שכתב בשנת 1706.}} [[סיגמא|<math>\Sigma</math>]] כ[[סכום]], הסימונים המודרניים ל[[פונקציה טריגונומטרית|פונקציות הטריגונומטריות]], ועוד. הוא גם הגדיר את הקבוע המסומן באות [[גמא]] <math>\,\gamma</math> הקרוי [[קבוע אוילר]].

פיתוח ה[[חשבון אינפיניטסימלי|חשבון האינפיניטסימלי]] וה[[אנליזה מתמטית|אנליזה]] היה משאת נפשם של מתמטיקאים בני [[המאה ה-18]]. בתחום זה אולי השפיע אוילר יותר מכול, ורעיונותיו הובילו להתקדמויות אדירות. אוילר הביא לעולם את רעיון ההצגה של [[טור חזקות]] אינסופי ופיתוחו, כמו התגלית:
<math>e^x = \sum_{n=0}^\infty {x^n \over n!} = \lim_{n \to \infty}\left(\frac{1}{0!} + \frac{x}{1!} + \frac{x^2}{2!} + \cdots + \frac{x^n}{n!}\right) </math>. ב-[[1735]] פתר אוילר את [[בעיית בזל]] דבר שזיכה אותו בתהילה אדירה, מאחר שבעיה זו ניצבה ללא פתרון במשך זמן רב, חרף ניסיונותיהם של המתמטיקאים הדגולים שקדמו לאוילר, בהם בני [[משפחת ברנולי]] ו[[גוטפריד וילהלם לייבניץ]]. במסגרת מחקרו על [[פונקציית זטא של רימן|פונקציית זטא]] הכליל אוילר את הבעיה והצליח למצוא ביטוי המתאר את הערכים של פונקציית זטא לכל מספר טבעי זוגי.

ב-[[1735]] פתר אוילר בעיה הידועה כבעיית '''[[הגשרים של קניגסברג]]'''. פתרונו זה של אוילר הניח את היסודות ל'''[[תורת הגרפים]]''', והיה המשפט הראשון שנוסח בתחום זה. אוילר פתר את [[חידת מסע הפרש]] והראה כי היא [[מקרה פרטי]] של בעיה חשובה בתורת הגרפים - מציאת [[מסלול המילטוני]] בגרף. אוילר גם גילה את [[נוסחת אוילר (תורת הגרפים)|הנוסחה V − E + F = 2]], שמקשרת בין מספר הקודקודים, הצלעות, והפאות של [[פאון]] [[קמור]], ולחלופין של [[גרף מישורי]]. אוילר נעזר בנוסחה הזו כדי להוכיח מחדש את התוצאה העתיקה שישנם רק 5 [[גופים אפלטוניים|פאונים אפלטוניים]], ובכך הדגים הוכחה מנקודת מבט שונה לחלוטין מאילו שנראו עד אז. המחקר המתמטי שנערך במאה ה-19 על הנוסחה הזו, במיוחד על ידי [[אוגוסטן לואי קושי|קושי]] ואחרים, הוא מקורו של ענף המתמטיקה הקרוי '''[[טופולוגיה]]'''.

===המאה ה־19===
{{להשלים|נושא=מדעי הטבע|נושא2=מדעי הרוח}}
בשנת 1812 פרסם [[פייר-סימון לפלס]] את ספרו "תאוריה אנליטית של ההסתברות", שהיווה ביסוס שיטתי ראשון של [[תורת ההסתברות]]. בשנת 1867 הוכיח [[צ'בישב]] את '''[[חוק המספרים הגדולים]]''', ולאחר מכן הוכיח תלמידו ליאפונוב את '''[[משפט הגבול המרכזי]]''' - אלה שני משפטים חשובים של תורת ההסתברות. ביסוס [[אקסיומה|אקסיומטי]] לתורה זו נעשה רק בשנת 1933, באמצעות [[אקסיומות ההסתברות|האקסיומות של קולמוגורוב]].

בחצי הראשון של המאה ה-19 הצליח ה[[מתמטיקאי]] ה[[צרפת]]י [[אוגוסטן לואי קושי]] לבסס את מושג ה[[גבול (מתמטיקה)|גבול]] באמצעות גדלים ממשיים וסופיים בלבד. ההגדרות של קושי החליפו את השימוש במושג האינפיניטיסמל בשימוש במספרים ממשיים שיכולים להיות "קטנים כרצוננו" או "גדולים כרצוננו". הגדרת הגבול של קושי נהפכה לאבן היסוד של התחום בצורתו המודרנית. את ביסוס תורת הגבולות וה[[טופולוגיה]] של [[הישר הממשי]] ביצעו בנוסף לקושי גם [[קארל ויירשטראס]] (שבין השאר הנהיג את ההגדרות המודרניות של מושגים יסודיים כמו [[גבול]] ו[[נגזרת]], במונחי <math>\ \varepsilon</math> ו- <math>\ \delta</math>) ו[[ברנרד בולצאנו|בולצאנו]]. תרמו גם [[ז'וזף לואי לגראנז'|לגראנז']], [[ז'אן גסטון דארבו|דארבו]] ו[[ברנהרד רימן|רימן]].

ברבע השני של המאה ה-19 נוצרה [[גאומטריה לא-אוקלידית|הגאומטריה הלא-אוקלידית]] כפתרון לבעיה שהעסיקה את ה[[מתמטיקאי]]ם במשך מאות שנים: הניסיון להוכיח את [[אקסיומת המקבילים]]. לאקסיומה זו, שהיא החמישית בין [[גאומטריה אוקלידית|אקסיומות הגאומטריה]] שבספרו של [[אוקלידס]], "[[יסודות (ספר)|יסודות]]", מבנה מורכב באופן חריג לעומת שאר האקסיומות. לפיכך נעשו מאמצים רבים להוכיח שאקסיומה זו נובעת מהאקסיומות האחרות, כלומר – אינה אקסיומה אלא [[משפט (מתמטיקה)|משפט]]. מאמצים אלה עלו בתוהו במשך מאות שנים, עד שבראשית המאה ה-19 נעשתה פריצת דרך בנושא, כאשר מתמטיקאים אחדים הבינו שנדרש כיוון שונה.

[[קובץ:Noneuclid-he.svg|שמאל|ממוזער|250px|התנהגותם של קווים בעלי [[אנך]] משותף בגאומטריות שונות]]
לרעיון שניתן להחליף את אקסיומת המקבילים באקסיומה אחרת, ובכך לקבל [[גאומטריה]] שונה מהגאומטריה האוקלידית אך תקפה באותה מידה, הגיע לראשונה [[קרל פרידריך גאוס|גאוס]], שחשש לפרסם רעיון כה חדשני. אחריו הגיעו לרעיון, באופן בלתי תלוי, המתמטיקאי הרוסי [[ניקולאי לובצ'בסקי|ניקולאי איוונוביץ' לובצ'בסקי]] וקצין הצבא ההונגרי [[יאנוש בויאי]]. אחת הגרסאות הלא־אוקלידיות, ה'''[[גאומטריה היפרבולית|גאומטריה ההיפרבולית]]''', אומרת שדרך [[נקודה (גאומטריה)|נקודה]] מחוץ ל[[ישר]] עוברים [[אינסוף]] [[ישרים מקבילים]] לישר זה (ולא אחד בלבד כבגאומטריה האוקלידית). בגרסה אחרת של גאומטריה לא־אוקלידית, ה'''[[גאומטריה פרויקטיבית|גאומטריה הפרויקטיבית]]''' ו'''[[גאומטריה כדורית|הגאומטריה הכדורית]]''', שאותה פיתח [[ברנהרד רימן]], תלמידו של גאוס, אומרת האקסיומה שכל שני קווים ישרים - נפגשים. בגאומטריה זו לא קיימים ישרים מקבילים.

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

ב-[[1870]] החל [[גאורג קנטור]] לפתח את [[תורת הקבוצות]], בעקבות קשיים שהתעוררו בתורת [[פונקציה ממשית|הפונקציות הממשיות]]. קנטור חקר קבוצות של [[נקודת אי-רציפות|נקודות אי-רציפות]], ואחר-כך קבוצות כלליות יותר. את מחקריו סיכם בשני מאמרים שפורסמו ב-1895 וב-1897 תחת הכותרת "תרומה ליסודות התאוריה של [[מספר טרנספיניטי|מספרים טרנספיניטים]]" (במקור - בגרמנית), בכתב-העת [[Mathematische Annalen]]. בתחילת [[המאה ה-20]] התגלו בתורת הקבוצות [[פרדוקס]]ים שנבעו מהיותה מתירנית מדי וחסרת ביסוס [[אקסיומה|אקסיומטי]] נאות. לשם פתרון בעיות אלה פותחה '''[[תורת הקבוצות האקסיומטית]]'''.

===המאה ה־20 ===
{{להשלים|נושא=מדעי הטבע|נושא2=מדעי הרוח}}
מראשית ימי ה[[מתמטיקה]] ועד ל{{ה|מאה ה-20}}, פעלו ה[[מתמטיקאי]]ם מתוך הנחה שבטיפול בכל טענה מתמטית ייתכנו רק שני כיוונים: ניתן ל[[הוכחה|הוכיח]] או ל[[הפרכה|הפריך]]. [[דויד הילברט]], גדול המתמטיקאים בתחילת המאה ה-20, תיאר הנחה זו באומרו: "ההכרה ביכולת לפתור כל בעיה מתמטית היא תמריץ עז לכל מי שטורח על הפתרון. אנו שומעים בתוכנו את הקריאה המתמדת: היא הבעיה, מצא את פתרונה, אתה יכול לעשות זאת בכוח המחשבה בלבד, כי במתמטיקה לא ניתקל בחוסר יכולת לדעת". בשנת 1931 הוכיח הלוגיקן [[קורט גדל]] (Gödel), במאמרו "על טענות שאינן ניתנות להוכחה ב[[פרינקיפיה מתמטיקה (ראסל)|פרינקיפיה מתמטיקה]] ובמערכות דומות", שהנחה זו שגויה. '''[[משפטי האי-שלמות של גדל|משפט האי-שלמות הראשון של גדל]]''', שהפך לאבן פינה ב[[לוגיקה מתמטית|לוגיקה המתמטית]], הוסיף אפשרות שלישית לגורל הצפוי לטענה מתמטית. המשפט קובע כי בכל מערכת לוגית מקיפה, ניתן לבנות באמצעות [[אלגוריתם]] טענות שמחד אינן ניתנות להוכחה ומאידך אינן ניתנות להפרכה מתוך אותה קבוצת אקסיומות. ב'''משפט האי-שלמות השני''' הוכיח גדל כי תורה שהיא מספיק חזקה לקיים את [[מערכת פאנו]] (שהאריתמטיקה הרגילה מכילה אותה) ובפרט כזאת שמקיימת את ה[[תורת הקבוצות האקסיומטית|אקסיומות של תורת הקבוצות (ZF)]] לא יכולה להוכיח את העקביות של עצמה. משמעות הדבר היא שאין אפשרות להוכיח בתוך המערכת כי האקסיומות הן עקביות.

===המאה ה־21 ===
בתחילת המאה, בשנת 2000, פרסם [[מכון קליי למתמטיקה]] את רשימת "[[בעיות המילניום של מכון קליי]]" והבטיח פרס בסך מיליון דולר למי שיפתור אחת מהבעיות. הרשימה מכילה שבע בעיות פתוחות מתחום המתמטיקה (ומעט גם מדעי המחשב והפיזיקה). [[השערת פואנקרה]], שנכללה בבעיות אלה, נפתרה על ידי [[גרגורי פרלמן]].

==ראו גם==
* [[היסטוריה של האריתמטיקה]]
* [[היסטוריה של פתרון משוואות פולינומיות]]
* [[היסטוריה של החשבון האינפיניטסימלי]]
* [[יופי מתמטי]]

==לקריאה נוספת==
* {{אוניברסיטה משודרת|שבתאי אונגורו|מבוא לתולדות המתמטיקה|1989}}
* שבתאי אונגורו, "היסטוריה, מתמטיקה, והיסטוריה של המתמטיקה", '''[[זמנים]]: רבעון להיסטוריה''' 20, חורף 1986 {{זמין ב-JSTOR|זיהוי=23434849}}
* [[בנו ארבל]], '''קיצור תולדות המתמטיקה''', [[מכון מופ"ת]], 2005. [https://store.macam.ac.il/store/books/1610/ לקריאה מקוונת] באתר של מכון מופ"ת
* בנו ארבל, '''מתמטיקאים ואירועים גדולים בתולדות המתמטיקה''', מכון מופ"ת, 2009. [https://store.macam.ac.il/store/books/66197/ לקריאה מקוונת] באתר של מכון מופ"ת
* שמעון דגון, '''תולדות המתמטיקה הקדומה''', [[הוצאת דביר]], תשס"ז
* [[סיימון סינג]], '''[[המשפט האחרון של פרמה (ספר)|המשפט האחרון של פרמה]]''', [[הוצאת ידיעות אחרונות]], 2003
*{{צ-ספר|מחבר=[[איאן סטיוארט (מתמטיקאי)|איאן סטיוארט]]|שם= לאַלף את האינסוף - סיפורה של המתמטיקה|מו"ל=[[ספרי עליית הגג]] ו[[ידיעות ספרים]]|שנת הוצאה=2012}}
* C. B. Boyer, A History of Mathematics, 2nd ed. rev. by Uta C. Merzbach, 1989
* Corry, Leo. '''''A Brief History of Numbers'''''. First edition, Oxford University Press, 2015

==קישורים חיצוניים==
{{מיזמים|ויקיספר=תולדות המתמטיקה}}
* [https://www.leocorry.com/_files/ugd/e6fef7_95c52da5b449478ebc603e723530b126.pdf הספר השני של האלמנטים של אוקלידס גרסה עברית מלאה, בתוספת הערות והסברים]
* [http://turnbull.mcs.st-and.ac.uk/~history/ ארכיון ההיסטוריה של המתמטיקה של MacTutor], מקור מידע מקיף על ההיסטוריה של המתמטיקה {{אנגלית}}
* {{ספר פרויקט גוטנברג|כותב=[[פלוריאן קג'ורי]]|שם הספר=A History of Mathematics|מספר=31061}}
* {{ספר פרויקט גוטנברג|כותב=[[ו. ו. ראוז בול]]|שם הספר=A Short Account of the History of Mathematics|מספר=31246}}
* [https://web.archive.org/web/20140815170437/http://math.huji.ac.il/~ehud/MH/ עבודות בקורס "היסטוריה של המתמטיקה"], מתוך אתרו של [[אהוד הרושובסקי]]
* {{הארץ|עופר אדרת|יותר מעוד מספר|1.1569147|18 בנובמבר 2011}}
* {{הקלטה}} [https://ilanabc.co.il/?page_id=507 פרק 22 – על אסטרונומיה מקראית ומתמטיקה בבלית] ב[[פודקאסט]] דברי הימים בהגשת אילן אבקסיס
{{-}}

==ביאורים==
{{ביאורים}}

== הערות שוליים ==
{{הערות שוליים}}

{{בקרת זהויות}}

[[קטגוריה:היסטוריה של המתמטיקה|היסטוריה של המתמטיקה]]
[[קטגוריה:מתמטיקה]]
[[קטגוריה:היסטוריה של המדע]]

[[as:গণিত#গণিতৰ ইতিহাস]]