הוכחה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ביטול גרסה 13316808 - די בהתייחסות שבהמשך לשני סוגים של הוכחות |
|||
שורה 11:
* [[הוכחה ישירה]], שבה המסקנה נובעת ישירות מההגדרות, [[אקסיומה|מהאקסיומות]] וממשפטים קודמים. דוגמה להוכחה כזו היא ההוכחה שסכומם של שני [[מספר זוגי|מספרים זוגיים]] יהיה גם זוגי.
* הוכחה ב[[אינדוקציה מתמטית|אינדוקציה]]: תחילה בודקים את נכונות הטענה למקרה מסוים, ומכאן ממשיכים להוכחתה לקבוצה אינסופית של מקרים. דוגמה להוכחה כזו היא הוכחת הנוסחה למציאת סכום של [[סדרה חשבונית]].
* [[הוכחה בדרך השלילה]]: מניחים שהטענה שיש להוכיח אינה נכונה, ומראים שהנחה זו מובילה לסתירה. דוגמה להוכחה כזו היא [[מספר ראשוני#כמה ראשוניים יש|הוכחתו]] של [[אוקלידס]] בדבר קיום מספר אינסופי של [[מספר ראשוני|מספרים ראשוניים]]
* [[הוכחה בדרך טרנספוזיציה]].
* [[הוכחה על ידי בניה]], היא הוכחה על ידי בניית דוגמה ספציפית, בדרך כלל זו תהיה [[הוכחת קיום]], לדוגמה, כך הוכח קיומם של [[מספר טרנסצנדנטי|מספרים טרנסצנדנטיים]].
| |||