צריך לדייק יותר...
אי אפשר להסתפק בהוכחה שקובעים בה שביטוי "נראה לא רציונלי"... הדרך היא להוכיח בדרך השלילה, כלומר להניח שסכום השורשים הוא רציונלי, ולכן שווה ליחס של שני שלמים m/n. אז מעלים בריבוע, מסדרים אגפים, ומקבלים ששורש 6 אף הוא מספר רציונלי, וכידוע, הוא לא. מכאן שההנחה שגויה וסכום השורשים אף הוא אירציונלי.