代数的整数論の問題
整数係数の 2 元 2 次形式 を と表し、その判別式を とする。 のとき は原始的であるという。 かつ のとき、 が簡約であるとは
をみたし、さらに または のときは であることとする。
負の整数 に対し、判別式 の原始的かつ簡約な正定値 2 元 2 次形式 ()の個数を とおく。このとき
の値を求めよ。
この問題で使うもの
- 簡約 2 次形式による類数の計算(説明と入口の問題)
この問題を解けるようになるまで(48 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 剰余の定理・因数定理と高次方程式
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 根号の乗除と加減
- 分母の有理化
- 乗法公式・分配法則を使う根号の式の展開
- 根号を含む式の計算と分母の有理化
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 1 次方程式の解き方
- 比例・反比例の式とグラフ
- 関数 の式と変域
- 平方完成と 2 次関数のグラフ
- 複素数と 2 次方程式の虚数解
- 最小多項式と既約性の判定
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 三平方の定理
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 順列・円順列・重複順列
- 行列式
- 2 次体の整数環と判別式
- 簡約 2 次形式による類数の計算
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
のとき は偶数になる。 とおき、簡約条件から の上限を求めて、各 ごとに有限個の候補を調べよう。
ヒント 2
簡約形式では なので 。さらに 、 であり、 を忘れずに確認する。
ヒント 3
では は順に となる(例えば では )。残りの を同様に調べよ。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
方針. 各 について判別式 の原始的簡約形式を直接数え上げる。
(1) 係数の制約. より は偶数なので とおくと
簡約条件 から 、すなわち であるから
また または のときは のものだけを数え、 のものだけを数える。
(2) 数え上げ. 各 について、 ごとに を 、 で分解する(非原始的なものは除く)。
- (): 。
- (): 。
- (): 。 では から が出るが非原始的。
- (): 。 は非原始的、 では で は不可。
- (): 、: から 。
- (): 。: は不可。
- (): 。: から は非原始的。
- (): ( は非原始的)。: から で より 。
- (): ( は非原始的)。: から 。
- (): 。: は不可。
- (): 。: から は非原始的、 の 個。
- (): ( は非原始的)。: は不可。: から は非原始的。
- (): 。: から 。: で は不可。
- (): 。: から の 個。: で は不可。
- (): 。: から はいずれも非原始的(しかも は より除外)。: は不可。
(3) 和.
よって求める値は である。
別解
判別式 の原始的な正定値形式の簡約形の個数は、判別式 の(原始形式の)類数 に等しい。各 について、基本判別式の類数と order の類数公式、または簡約形の直接列挙で値を求める。
非基本判別式の類数公式は
である。
- : 1
- : 1
- : , 。 なので 1
- : , 。 なので 1
- : 2
- : 2
- : , 。 なので 1
- : , 。 なので 2
- : , 。 なので 2
- : 2
- : , 。 なので 3
- : , 。 なので 2
- : 2
- : 4
- : , , 。 なので 2
合計は 。