Es ist
mit ganz Zahlen
und
Da α {\displaystyle {}\alpha } und β {\displaystyle {}\beta } Nullstellen des quadratischen Polynoms sind, gilt nach Fakt ist
Wir setzen