Strahlensätze (2011/12)

Kommensurabilität

Definition II.06

Zwei Strecken $a$ und $b$ heißen genau dann kommensurabel, wenn es eine Strecke $m$ und ganze Zahlen $p$ und $q$ derart gibt, dass $p|m|=|a|$ und $q|m|=|b|$ gilt.

Satz II.03: Inkommensurabilität von Quadratseite und Quadratdiagonale

Die Seite $a$ und die Diagonale $d$ ein und desselben Quadrates sind nicht kommensurabel zueinander.

Beweis der Inkommensurabilität von Quadratseite und -diagonale