- 414 名前：Kummer ◆g2BU0D6YN2 [2006/12/30(土) 23:32:44 ]
- D = -180 のとき h(D) を計算しよう。
>>413 より h(D) は判別式 D の簡約２次形式 (>>407) の個数と
一致する。
>>408 より (a, b. c) が簡約２次形式 (>>407) であるためには、
gcd(a, b, c) = 1 かつ、
|b| ≦ a ≦ c であり、 |b| = a または a = c のときは b ≧ 0 と
なることが必要十分である。
>>341 と同様にして a ≦ √(|D|/3) である。
√(|D|/3) = √60 だから a ≦ 7 となる。
a ＞ 0 だから 1 ≦ a ≦ 7 である。
4ac = b^2 + |D| = b^2 + 180
したがって、b は偶数でなければならない。
