ובכן...
יש כל מיני דרכים. בדרך כלל מניחים שהוא רציונלי, ואז מגיעים לסתירה. למשל, מצורפת הוכחה לכך ששורש 2 הוא מספר אי רציונלי. ההוכחה מתבססת על כך שלכל מספר רציונלי חיובי יש הצגה יחידה כמנה של שני מספרים שלמים זרים זה לזה (ההצגה המצומצמת ביותר). ההוכחה, בקווים כלליים: מציגים את שורש 2 כמנה מצומצמת ביותר. מכך שריבוע המכנה מתחלק ב-2, נובע שהמכנה מתחלק ב-2. מכך מקבלים שריבוע המכנה מתחלק ב-2. כלומר, גם המונה וגם המכנה מתחלקים ב-2, ולכן הם לא זרים וסתירה. ההנחה ששורש 2 הוא מספר רציונלי גרמה לסתירה, ולכן היא לא נכונה, ושורש 2 הוא מספר אי רציונלי. מקווה שעזרתי, אהד.