Zahlentheorie/Quadratischer Zahlbereich/Diskriminante/Fakt/Beweis

Beweis

Im Fall ist nach Fakt und daher bilden und eine Ganzheitsbasis. Die möglichen Produkte zu dieser Basis sind in Matrixschreibweise

Wendet man darauf komponentenweise die Spur an so erhält man

und die Determinante davon ist .

Im Fall ist hingegen

und eine Ganzheitsbasis ist und . Die Matrix der Basisprodukte ist dann

Wendet man darauf die Spur an (die Spur von ist ), so erhält man

und die Determinante davon ist