問題一覧 > 教育的問題

No.2973 シュニレルマン積分入門

レベル : / 実行時間制限 : 1ケース 2.000秒 / メモリ制限 : 512 MB / スペシャルジャッジ問題 (複数の解が存在する可能性があります)
タグ : / 解いたユーザー数 10
作問者 : 👑 p-adic / テスター : 遭難者
0 ProblemId : 8691 / 出題時の順位表 / 自分の提出
問題文最終更新日: 2024-12-02 20:10:41

問題文

入力に整数 NN が与えられます。

 

極限

limm1m!k=0m!1e2kNπi/(m!)e4kπi/(m!)+e2kπi/(m!)+10\displaystyle \lim_{m \to \infty} \frac{1}{m!} \sum_{k = 0}^{m! - 1} \frac{e^{2 kN \pi i / (m!)}}{e^{4 k \pi i / (m!)} + e^{2 k \pi i / (m!)} + 10}

を求めてください。ただし ee は自然対数の底で、π\pi は円周率で、ii は虚数単位です。

背景

この極限は pp 進解析で用いられるシュニレルマン積分という積分[1] p. 488, [2] p. 2522を複素解析に翻訳したものですが、計算には pp 進解析の知識が不要です。

元々の pp 進解析における文脈では、素数 pp を固定し、複素数体 C\mathbb{C} の代わりに pp 進複素数体 Cp\mathbb{C}_p を考え、ee の冪乗の代わりに Cp\mathbb{C}_p における 11 の冪根を考え、m!m! の代わりに mm を考え、mm \to \infty の代わりに mmpp と互いに素な正整数全体を渡らせて約数関係に関する有向極限というものを考えます。

有向極限の理解には位相の知識が必要なので詳しくは説明しませんが、これは素数 pp を固定し、複素数体 C\mathbb{C} の代わりに pp 進複素数体 Cp\mathbb{C}_p を考え、ee の冪乗の代わりに Cp\mathbb{C}_p における 11 の冪根を考え、m!m! の代わりに mm 以下の pp と互いに素な正整数の総乗を考えて mm \to \infty とした極限と等価です。

入力

入力は次の形式で標準入力から与えられます:
NN

制約

入力は以下の制約を満たします:

  • NN20N20-20 \leq N \leq 20 を満たす整数

出力

答えは分母が 1010 冪であるような分数表示で表せることが証明可能です。

つまり整数 nn1010 の冪乗で表せる整数 dd を用いて n/dn/d と表せるので、そのような n,dn,d の組を/区切りで 11 行に出力してください。

nn/dd

最後に改行してください。

 

この問題はスペシャルジャッジ問題です。正解となる組は一意ではありませんが、どれを出力しても構いません。

ただし出力は上述した形式に厳格に従ってください。例えば余計な空白がある場合のジャッジの挙動は保証されません。

またジャッジの都合上、出力は 100100 文字以下にしてください。

サンプル

サンプル1
入力
0
出力
1/10

limm1m!k=0m!1e2kNπi/(m!)e4kπi/(m!)+e2kπi/(m!)+10=limm1m!k=0m!11e4kπi/(m!)+e2kπi/(m!)+10=110\displaystyle \lim_{m \to \infty} \frac{1}{m!} \sum_{k = 0}^{m! - 1} \frac{e^{2 kN \pi i / (m!)}}{e^{4 k \pi i / (m!)} + e^{2 k \pi i / (m!)} + 10} = \lim_{m \to \infty} \frac{1}{m!} \sum_{k = 0}^{m! - 1} \frac{1}{e^{4 k \pi i / (m!)} + e^{2 k \pi i / (m!)} + 10} = \frac{1}{10}

です。この他にも10/100と出力しても正解となります。

サンプル2
入力
1
出力
0/1

limm1m!k=0m!1e2kNπi/(m!)e4kπi/(m!)+e2kπi/(m!)+10=limm1m!k=0m!1e2kπi/(m!)e4kπi/(m!)+e2kπi/(m!)+10=0\displaystyle \lim_{m \to \infty} \frac{1}{m!} \sum_{k = 0}^{m! - 1} \frac{e^{2 kN \pi i / (m!)}}{e^{4 k \pi i / (m!)} + e^{2 k \pi i / (m!)} + 10} = \lim_{m \to \infty} \frac{1}{m!} \sum_{k = 0}^{m! - 1} \frac{e^{2 k \pi i / (m!)}}{e^{4 k \pi i / (m!)} + e^{2 k \pi i / (m!)} + 10} = 0

です。この他にも0/10と出力しても正解となります。

サンプル3
入力
-20
出力
-9939764889/1000000000000000000000

このように分母が非常に大きくなることがあります。

limm1m!k=0m!1e2kNπi/(m!)e4kπi/(m!)+e2kπi/(m!)+10=limm1m!k=0m!1e40kπi/(m!)e4kπi/(m!)+e2kπi/(m!)+10=99397648891021\displaystyle \lim_{m \to \infty} \frac{1}{m!} \sum_{k = 0}^{m! - 1} \frac{e^{2 kN \pi i / (m!)}}{e^{4 k \pi i / (m!)} + e^{2 k \pi i / (m!)} + 10} = \lim_{m \to \infty} \frac{1}{m!} \sum_{k = 0}^{m! - 1} \frac{e^{-40 k \pi i / (m!)}}{e^{4 k \pi i / (m!)} + e^{2 k \pi i / (m!)} + 10} = - \frac{9939764889}{10^{21}}

です。この他にも-99397648890/10000000000000000000000と出力しても正解となります。

出典

  1. Л. Г. Шнирельман (L. G. Schnirelmann), О функциях в нормированных алгебраически замкнутых телах (French official title: Sur les fonctions dans les corps normés et algébriquement fermés, English title referered to from [2]: On functions in normed, algebraically closed fields), Izvestiya Rossiiskoi Akademii Nauk SSSR Seriya Matematicheskaya, 2:5-6, pp. 487--498 (1938). (French summary)
  2. M. M. Vishik, Nonarchimedean Spectral Theory, Journal of Soviet Mathematics volume 30, pp. 2513--2555 (1985).

提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。