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

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