Bevis

Vi skal vise at når og er rødder i . Vi ser at:

Vi vil se på og i det sidste udtryk. Hvis og er rødder i , er og . Da fås:

Endvidere ses ved brug af kvadratsætningen at :

Indsættes udtrykkene for og i fås:

Da ser vi at regneforskriften for kan omskrives til når og er rødder i .

Bevis slut