>>197 の補足。

(αβ' + βα')^2 - 4αα'ββ' = (αβ' - βα')^2
だから f(x, y) の判別式は (αβ' - βα')^2/N(I)^2 である。
>>174 よりこれは R の判別式に等しい(過去スレ４の584も参照)。