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

אגתוניסי, אגתוקלס (בן ליסימכוס), אגתרכידס, אד, אד (סדרת טלוויזיה), אד אד ואדי, אד אדד ואדי, אד או'בריאן, אד או'ניל, אד אוניל