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