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

