代数的整数論の問題
を素数とし、 を 進数体とする。 における級数
は収束し、その和 は有理数である。 を求めよ。
この問題で使うもの
- p 進付値と p 進収束(説明と入口の問題)
この問題を解けるようになるまで(18 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
一般項が で に収束することから収束はわかる。和を求めるには を差の形 に書けないか考えよう。
ヒント 2
である。 とおいて係数を比較しよう。
ヒント 3
とすると となる。部分和を求めて の 進極限をとろう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
収束. ルジャンドルの公式 と、 より 。 は非アルキメデス的で完備なので、一般項が に収束する級数は収束する。
望遠鏡和への書き換え. 多項式 に対し
である。 とおくと
これが に一致するには , , 、すなわち , であればよい(3 式は両立する)。よって として
和の計算. の項は なので、
のとき なので、
であり、これは によらない。
別解
は で 進的に に収束する()ので級数は収束する。望遠鏡和を作る。、 とおくと
展開すると 。これが に等しくなるよう、 を解くと (4 つの式はすべて整合)。
よって 、。 で ( 進)なので
検算: のとき和は 、 ✓。: 、 ✓。