Herr Senf hat geschrieben:Behauptung √p = irrational
Gegenbehauptung √p = rational, demzufolge wäre √p = a/b möglich
einfach quadrieren p = (a/b)*(a/b) und zerlegen in
Primfaktoren p = (a1*a2*...)²/(b1*b2*...)² oder
umgeschrieben (b1*b2*...)²*p = (a1*a2*...)²
wegen "=" sollte selbstverständlich B(b²,p)=A(a²) sein
aber ()² bedeutet, daß die Anzahl der Primfaktoren geradzahlig sein muß
nur zum Verständnis für Mitleser: zB (2*3*5)²=(2*3*5)*(2*3*5)=(2*3*5*2*3*5) hat gerade Anzahl von Faktoren
(oder müßte das extra als Lemma bewiesen werden? kann man ja als bekannt voraussetzen)
rechts stimmt's also: A hat eine gerade Anzahl von Primfaktoren
links ist der Widerspruch: B=b²*p ist eine ungerade Anzahl von Primfaktoren
Ergebnis: √p kann nicht rational sein
Hallo Herr Senf,
was ich noch irgendwie witzig finde: der Beweis funktioniert ja identisch gleich, wenn p das Produkt von einer ungeraden Anzahl Primzahlen ist.
Hingegen kriegt man ihn nicht hin, wenn p das Produkt von einer geraden Anzahl verschiedener Primzahlen ist.
Hinweis:
Gleicher Primzahlen geht im Falle der geraden Gesamtzahl natürlich nicht, denn hier kann es vorkommen, dass die Wurzel daraus rational ist: sqrt(p1p1p2p2) ist ja gleich p1p2.
Bei ungerader Anzahl indes dürfen auch beliebig viele gleiche Primzahlen vorkommen.
Freundliche Grüsse, Ralf