Beweis: Irrationalität von 2

Es fehlen die irrationalen Zahlen den [image] ist in Q nicht lösbar, anders gesagt [image]ist auf dem Zahlenstrahl zwischen zwei rationalen Zahlen:

  1. x sei eine gekürzte rationale Zahl, also [image] mit [image]

  2. [image] daraus folgt [image]

  3. formt man den Term nach p2 um erhält man [image] was bedeutet p2 ist gerade

  4. ist p2 gerade ist auch p gerade

  5. daraus folgt, es gibt eine Zahl, [image]mit p=2m rechnen wir zurück gibt das für p2=4m2

  6. setzen wir nun die beiden Gleichungen [image] und p2=4m2 gleich erhalten wir für q2=2m2 womit q2 und somit auch q eine gerade Zahl sein muss

  7. somit sind p und q beide durch 2 teilbar, dies steht aber in Wiederspruch zu Punkt 1, denn p und q müssten mit ggT(p,q) ja eigentlich teilerfremd sein.