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