יש דרך פשוטה יותר להוכיח זאת.
כדי להוכיח ששורש של 2 הוא מספר אי רציונלי ניתן להשתמש בהוכחה המפורסמת של אוקלידס. נאמר ש c הוא השורש של 2 ולכן: c² = 2 אילו c היה מספר רציונלי, הרי שהיו מספרים שלמים m ו n כך ש: c = m/n. נצא מן ההנחה שהשבר m/n מצומצם לגמרי, כלומר ל m ו ל n אין שום מחלק משותף פרט ל 1. c² = m²/n² = 2 ולכן m² = 2n² . מהעובדה ש 2n² מתחלק ב 2 נובע כי m² מתחלק ב 2 ולכן גם m בהכרח מתחלק ב 2. לכן m² מתחלק ב 4 . זה גורר חזרה ש n² ולכן n מתחלק ב 2 . לכן קיבלנו ש m ו n מתחלקים ב 2 , כלומר יש להם מחלק משותף נוסף חוץ מ 1 והוא 2 , בסתירה לנתון. לכן c הוא מספר אי רציונלי. מ.ש.ל 5 5 5 5 5