Hätte die Gleichung eine nicht triviale Lösung, müsste es a,b,c,d € Q geben mit
a + b*√p = c*√q + d*√(p*q)
Dabei gilt
a + b*√p != 0, denn √p ist eine irrationale Zahl.
Jetzt werden beide Seiten quadriert
a^2 + b^2*p + 2*a*b*√p = c^2*q + d^2*p*q + 2*c*d*q√p
a^2 + b^2*p - c^2*q - d^2*p*q = 2*c*d*q√p - 2*a*b*√p
a^2 + b^2*p - c^2*q - d^2*p*q = (2*c*d*q - 2*a*b ) *√p
Es müsste also gelten
rationale Zahl = rationale Zahl * irrationale Zahl (Widerspruch)