【１】同値な２元２次形式

　整数係数の２元２次形式

　　ｆ（ｘ，ｙ）＝ａｘ^2＋ｂｘｙ＋ｃｙ^2

の判別式はｄ＝ｂ^2−４ａｃで与えられる．与えられた判別式ｄをもつ２次形式では主形式と呼ばれる２次形式が存在する．たとえば，

　　ｂが偶数→ｄ＝０　（ｍｏｄ４）→ｘ^2−ｄ／４ｙ^2

　　ｂが奇数→ｄ＝１　（ｍｏｄ４）→ｘ^2＋ｘｙ＋（１−ｄ）／４ｙ^2

が判別式ｄの主形式である．

　　４ａｆ（ｘ，ｙ）＝（２ａｘ＋ｂｙ）^2−ｄｙ^2

であるから，ｄ＜０ならばｆは同じ符号をとり，正定値または負定値２次形式となる．

　　ｘ＝［ｘ］　　ｈ＝［ａ，ｈ／２］

　　　　［ｙ］　　　　［ｈ／２，ｂ］

とおいて行列・ベクトル表現すると，ｆ＝ｘ’ｈｘとなる．整数係数ユニモジュラー変換とは，ｐｓ−ｑｒ＝１を満たす整数により

　　ｘ＝［ｘ］＝［ｐ，ｑ］［Ｘ］＝ｕＸ

　　　　［ｙ］　［ｒ，ｓ］［Ｙ］

ｆはＸ’ｕ’ｈｕＸ＝Ｘ’ＨＸに変換されるが，その際，ｘ’ｈｘがとる値の集合とＸ’ＨＸがとる値の集合は一致する．

　また，判別式は

　　ｂ’^2−４ａ’ｃ’＝ｄ（ｐｓ−ｑｒ）^2

となり，同値な２次形式は同じ判別式をもつことがわかる．たとえば，ａ＝ａ’，ｂ＝±ｂ’，ｃ＝ｃ’は同値な２次形式となる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝