TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS19/Beispiel 25

From VoWi
Jump to navigation Jump to search

Zeigen Sie, dass  \sqrt{3} irrational ist!

Hilfreiches

Indirekter Beweis

Baustein:Primzahl teilt Quadrat

Lösungsvorschlag von samuelp

Angenommen:  \sqrt{3} ist eine rationale Zahl. Dann ist es möglich \sqrt{3} als Bruch darzustellen: \sqrt{3}={a\over b} mit natürlichen Zahlen a und b. Weil es für jede rationale Zahl einen Burch gibt, der soweit wie möglich gekürzt ist, muss das auch für \sqrt{3} gelten. Wir nehmen an {a\over b} ist dieser Bruch und somit maximal gekürzt ist.

Wir versuchen einen auf einen Widerspruch zu stoßen. Dazu formen wir um:


\begin{align}
\sqrt{3} &=& {a\over b} \\
3 &=& {a^2 \over b^2} \\
3 b^2 &=& a^2
\end{align}

Aus der letzten Gleichung geht hervor, dass a^2 durch 3 teilbar ist. Weil 3 eine Primzahl ist, muss auch a durch 3 teilbar sein (siehe Erlärung oben), setzen wir r sodass a=3r.

Weitere Umformung:


\begin{align}
3 b^2 &=& a^2 \\
3 b^2 &=& 9 r^2 \\
b^2 &=& 3 r^2
\end{align}

Ähnlich wie oben erkennen wir, dass b^2 durch 3 teilbar ist und damit auch b.

Jetzt erkennen wir einen Widerspruch zu unserer Annahme, dass der Bruch {a\over b} soweit wie möglich gekürzt ist, da sowohl a als auch b durch 3 teilbar sind.