Indirekter Beweis:
Nimm an, für eine Primzahl p existierten natürliche Zahlen r und s, sodass
√p=\( \frac{r}{s} \), wobei \( \frac{r}{s} \) vollsiändig gekürzt sei. Dann gilt (*) p=\( \frac{r^2}{s^2} \) und daher r2=p·s2.
Dann ist r durch p teilbar, also gibt es ein n∈ℕ, sodass r=n·p. Dies in (*) eingesetzt:
p=\( \frac{n^2p^2}{s^2} \) ud vereinfacht: s2=n2·p.
Dann ist auch s durch p teillbar.
Dies widerspricht der Forderung, dass \( \frac{r}{s} \) vollständig gekürzt sein soll.