Dass √2 (1.41421356237...) irrational sein soll wird folgenderweise versucht zu beweisen
Es soll durch die Teilerfremdheit bewiesen werden dass√2 nicht durch einen Bruch dargestellt werden kann sodass es irrational ist.
Dieser Beweis schliesst aber in der Formel von vornherein p=1 aus und setzt p>1
Also ist das Axiom dass p mindestens 2 ist.
Weiterhin wird mit dieser Annahme bewiesen dass q gerade (also durch 2 teilbar) ist.
Es wird von Beginn des Beweises 1 als Zähler ausgeschlossen wie zb 1/387253825203524894...
Es stimmt zwar dass der Zähler p und der Nenner q beide größer als 1 sein müssen aber bei Beweisen sollen eigentlich keine Annahmen innerhalb der Formel selbst gemacht werden, mit der man etwas beweisen will.
Also ist der Versuch zu beweisen gescheitert.
Oder überseh ich da was?