Sehr schön, Beweis durch Widerspruch!
Kleine Ergänzung zur Veranschaulichung, √x sei irrational:
√√x = a/b (a/b als Darstellung der rationalen Zahl)
Äquivalenzumformung, also Quadrieren:
√√x = a/b | ()2
√x = a2/b2
Wir sehen, √x wäre jetzt rational, da die Zahl als a2/b2 darstellbar ist.
Wir sagten jedoch, √x ist irrational!