連続する自然数の和【連続自然数の和で表せるための条件】【2015年度 横浜国立大学】

\(n\) から始まる連続自然数の和として

\(S=n+(n+1)+(n+2)+\cdots+(n+m)\)  ( \(m\) は自然数 )

と設定します。

等差数列の和として処理してもよいですし、シグマ計算してもよいです。

整理すれば、

\((m+1)(2n+m)=2S\)

という式を Get できると思います。

(1) は \(S=2020\) のときを考えますから、

\((m+1)(2n+m)=4040 \ (=2^3\cdot5\cdot101)\)

を満たす自然数 \(n , m\) を考えるという整数問題になります。

ここから先は整数問題の基本的な手法の１つである「積の形から約数の拾い上げ」という手法で倒していきます。

【「積の形から約数の拾い上げ」については以下の記事の中で簡単に説明しています】

ただし、このまましらみつぶしに全パターンを調べるのは大変です。

明らかにあり得ないものについては、最初から排除したいところです。

その際注目するポイントとしては

が主なところです。

整数問題として本問を捉えるのが筋ですが、直感的に連続自然数の和に分割することも可能です。

例えば、2020 は

\(2020=404+404+404+404+404\)

と奇数個に分割できます。

これを

というように見れば連続自然数の和で表せます。

しかし、\(2020=20+20+20+\cdots+20\)  ( 101 個の和 ) のように余りに細かく分割しすぎると

のように、スタートが負になってしまいます。

偶数個のときは

のように見ます。

さて、以上のように考えると、(2) において考える \(S=2^a\) というケースですが、\(2^{●} \times 2^{■}\)  というようにしか分割できません。

まず、これは奇数個の和に分割できないことを意味します。

偶数個には分けられますが、

と、\(2^{○}\) を \(N+(N+1)\) のように分割できません。

逆に (3) ですが、\(S=2^{a} (2b+1)\) のときは

\(S=2^a+2^a+\cdots+2^a\)  ( \(2b+1\) 個の和 )

と奇数個の和に分割できることになります。

ただし、先ほど述べたように、あまりに細かく分割しすぎると、スタートが負になってしまう問題があります。

このあたりはきちんと数式を用いて考える必要があるでしょう。

以上が直感的なお話です。

もちろん、解答としてはきちんと数式を用いて論じる必要がありますが、本問が主張する内容が「そりゃそうか」と思えれば、少しはこのテーマが身近に感じるかなと思います。

解答はコチラ