OK, schauen wir nochmals. Der Wert des Ausdrucks 11 √(11) + 12 √(12) + 13 wird natürlich genau dann rational, wenn auch der Wert von r:= 11 √(11) + 12 √(12) = 11 √(11) + 24 √(3) rational ist, denn der zusätzliche Summand 13 ist für diese Entscheidung unerheblich. Natürlich ist zu vermuten, dass r irrational sein muss. Um zu einem Beweis durch Kontraposition zu kommen, nehmen wir einmal an, r sei (doch) rational. Dann müsste auch das Quadrat r2 = (11 √(11) + 24 √(3))2 = 3059 + 528 √(33) rational sein und dann, wie man leicht sehen kann, auch die Quadratwurzel √(33).
Nach dem Satz, der besagt, dass die Quadratwurzel aus einer natürlichen Zahl entweder ganzzahlig oder aber irrational ist - und 33 offensichtlich keine Quadratzahl ist, folgt, dass √(33) , und damit auch r, tatsächlich irrational sein muss. Daraus folgt die Behauptung, dass der Wert des vorgegebenen Terms irrational sein muss.