判別式 $D$ の不定値2元2次形式 $ax^2+bxy+cy^2$ に同値な簡約2元2次形式 \[ Ax^2+Bxy+Cy^2 \] を求める.
変換行列は
同値な簡約形式をすべて
2次方程式 $ax^2+bx+c=0$ の第1根の連分数展開は
$Ax^2+Bxy+Cy^2$ の自己変換群の生成行列は
ペル方程式 $x^2-Dy^2=\pm 4$ の解は