הוכחה בדרך השלילה
הוכחה בדרך השלילה היא דרך להראות שטענה נכונה על ידי הוכחת ההפך שגוי. כלומר, מניחים שהטענה לא נכונה. אם זה גורם לסתירה, הטענה המקורית נחשבת נכונה. שמה הלטיני הוא Reductio ad absurdum. זה אומר: להראות שהנחה מובילה למצב מצחיק או לא הגיוני. במתמטיקה משתמשים בשיטה הזאת הרבה. במקום לבנות הוכחה ישירה, מנ...