Beweis

Wir machen die Annahme, dass es eine rationale Zahl gibt, deren Quadrat gleich ist, und führen das zu einem Widerspruch. Es sei also angenommen, dass

die Eigenschaft besitzt, dass

ist. Eine rationale Zahl hat die Beschreibung als ein Bruch, wobei Zähler und Nenner ganze Zahlen sind. Die rationale Zahl können wir somit als

ansetzen. Ferner können wir annehmen (dieses Annehmen ist eine Vereinfachung der Situation und hat nichts mit der zum Widerspruch zu führenden Annahme zu tun), dass dieser Bruch gekürzt ist, dass also und keinen echten gemeinsamen Teiler haben. In der Tat brauchen wir lediglich, dass wir annehmen dürfen, dass zumindest eine Zahl, oder ungerade ist (wenn beide gerade sind, so können wir mit kürzen, u.s.w.) Die Eigenschaft

bedeutet ausgeschrieben

Multiplikation mit ergibt die Gleichung

(dies ist eine Gleichung in bzw. sogar in ). Diese Gleichung besagt, dass gerade ist, da ja ein Vielfaches der ist. Daraus ergibt sich aber auch, dass selbst gerade ist, da ja das Quadrat einer ungeraden Zahl wieder ungerade ist. Deshalb können wir den Ansatz

mit einer ganzen Zahl machen. Dies setzen wir in die obige Gleichung ein und erhalten

Wir können mit kürzen und erhalten

Also ist auch und damit selbst gerade. Dies ist ein Widerspruch dazu, dass nicht sowohl als auch gerade sind.