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