הוכחה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט מוסיף: ur:ریاضیاتی ثبوت |
ינון גלעדי (שיחה | תרומות) ←מאפיינים של הוכחות: על פי ויקי האנגלית |
||
שורה 13:
* [[הוכחה בדרך השלילה]]: מניחים שהטענה שיש להוכיח אינה נכונה, ומראים שהנחה זו מובילה לסתירה. דוגמה להוכחה כזו היא [[מספר ראשוני#כמה ראשוניים יש|הוכחתו]] של [[אוקלידס]] בדבר קיום מספר אינסופי של [[מספר ראשוני|מספרים ראשוניים]].
* [[הוכחה בדרך טרנספוזיציה]].
* [[הוכחה על ידי בניה]], היא הוכחה על ידי בניית דוגמה ספציפית, בדרך כלל זו תהיה [[הוכחת קיום]], לדוגמה, כך הוכח קיומם של [[מספר טרנסצנדנטי|מספרים טרנסצנדנטיים]].
* הוכחה ב[[כוח גס]].
* [[הוכחה ע"י מיצוי]], היא שיטה שמפרקת את הטענה למקרים רבים (יותר מ1000 במקרה של [[משפט ארבעת הצבעים]]), ומוכיחה כל אחד בנפרד, ועל ידי כך מוכחת הטענה כולה.
ניתן להבדיל בין שני סוגים של הוכחות:
| |||