Indirekter Beweis: Annahme √35=p/q mit natürlichen Zahlen p und q und p/q vollständig gekürzt.
Dann ist 35=p2/q2 und p2=35q2. Die Quadratzahl p2 enthält also die Faktoren 5 und 7. Und weil p2 eine Quadratzahl ist, enthält sie die Quadrate von 5 und 7. (p selbst enthält die Faktoren 5 und 7.)
Also hat p2 die Darstellung p2=52·72·n2 für eine natürliche Zahl n. Dann aber gilt
52·72·n2=35q2 und nach Division durch 35 muss gelten 35n2=q2. Also enthält auch q die Faktoren 5 und 7 (Argumentation wie oben).
Dann ist aber p/q nicht vollständig gekürzt, was ein Widerspruch zur Annahme ist. Damit ist die Annahme falsch und √35 ist keine rationale Zahl.