Wenn es so ein x gäbe, dann gäbe es auch ein positives.
Also wäre x von der Form \( x=\frac{a}{b} \) mit a,b ∈ℕ.
==> \( x^n=\frac{a^n}{b^n} \) also würde x^n = p zu
\( \frac{a^n}{b^n} = p \) <=> p*a^n = b^n
a^n und b^n enthalten nicht beide den Primfaktor p;
denn dann könnte man \( \frac{a^n}{b^n} \) noch kürzen.
Aus p*a^n = b^n erkennt man, dass b^n den Primfaktor p enthält,
also a^n nicht. Da beim Potenzieren keine Primfaktoren
dazu kommen, enthält auch b den Primfaktor p.
Also enthält b^n ihn n-mal, und wegen n≥2 wäre in der Gleichung
p*a^n = b^n
links einmal der Primfaktor p und rechts mehr als 1 mal.
Widerspruch, also gibt es kein \( x=\frac{a}{b} \) mit a,b ∈ℕ.
q.e.d.