בלוגיקה ובמתמטיקה הוכחה בדרך השלילה או הוכחה עקיפה היא שיטת הוכחה לפיה אם הפרכת טיעון מסוים מובילה לסתירה לוגית — הטיעון נכון. במילים אחרות: אם הנחת טיעון מסוים מובילה לסתירה לוגית, אזי ניגודה של הנחה זו בהכרח נכון. בלטינית מכונה ''Reductio ad absurdum'' – רדוקציו אד אבסורדום - רדוקציה לאבסורד ("צמצום לאבסורד"), כלומר טענה שמובילה למצב לא⁻הגיוני. מתוך ויקיפדיה

על הדרך, על הדרך עומד עץ, על הדרך עץ עומד

הוכחה (לוגיקה מתמטית), הוכחה (סיפור קצר), הוכחה (סרט), הוכחה באפס ידיעה, הוכחה באפס ידע, הוכחה בנסיגה אינסופית, הוכחה בנפנוף ידיים, הוכחה בנפנופי ידיים, הוכחה בשלילה, הוכחה לא קונסטרוקטיבית