本文へ進む
メニュー
医学部数学 過去問DB問題を探す

東北大学/2015年度

東北大学 2015年 数学 第6問解答・解説

このページには広告が含まれます。

1問題

東北大学2015年度第6問

k≧2k \geq 2 と n を自然数とする。n が k 個の連続する自然数の和であるとき、すなわち、

n=m+(m+1)+⋯+(m+k−1)n = m + (m + 1) + \dots + (m + k - 1)

が成り立つような自然数 m が存在するとき、n を k-連続和とよぶことにする。ただし、自然数とは 1 以上の整数のことである。

(1) n が k-連続和であることは、次の条件 (A), (B) の両方が成り立つことと同値であることを示せ。

(A) nk−k2+12\displaystyle \frac{n}{k}-\frac{k}{2}+\frac{1}{2} は整数である。

(B) 2n>k22n > k^{2} が成り立つ。

(2) f を自然数とする。 n=2fn = 2^{f} のとき、n が k-連続和となるような自然数 k≧2k \geq 2 は存在しないことを示せ。

(3) f を自然数とし、p を 2 でない素数とする。 n=pfn = p^{f} のとき、n が k-連続和となるような自然数 k≧2k \geq 2 の個数を求めよ。

まずは自分で解いてみましょう。詰まったら「考え方」、解けたら「答え」で確かめられます。

2答え

答えを見る自分の答えと照らし合わせる
  • (1) nがk-連続和であることと(A),(B)が同時に成り立つことは同値。(2) 該当するkは存在しない。(3) 該当するkの個数はf。具体的には pj(1≦j≦⌊f2⌋)\displaystyle p^j\quad(1\le j\le\left\lfloor\frac f2\right\rfloor) と 2pj(0≦j<f2)\displaystyle 2p^j\quad(0\le j<\frac f2) である。

3解答

解答を見る途中式つきの解答

PDF p6上部に医学科を含む対象を明記、同頁印刷問6の自然数は1以上、k≧2と全条件を確認。

k 個の連続する自然数の和は n=m+(m+1)+⋯+(m+k−1)=km+k(k−1)2\displaystyle n=m+(m+1)+\cdots +(m+k-1) =km+\frac{k(k-1)}2 である。したがって m=nk−k−12=nk−k2+12.\displaystyle m=\frac nk-\frac{k-1}{2} =\frac nk-\frac k2+\frac12. n が k-連続和なら m は自然数なので (A) が成り立ち、また 2n=2km+k(k−1)=k2+k(2m−1)>k22n=2km+k(k-1)=k^2+k(2m-1)>k^2 より (B) も成り立つ。

逆に (A) が成り立つとし、上式で定めた m は整数である。(B) より nk>k2よりm=nk−k−12>12.\displaystyle \frac nk>\frac k2 \quad\text{より}\quad m=\frac nk-\frac{k-1}{2}>\frac12. m は整数なので m≧1m\ge1。よって n=km+k(k−1)2=m+(m+1)+⋯+(m+k−1)\displaystyle n=km+\frac{k(k-1)}2=m+(m+1)+\cdots +(m+k-1) となり、n は k-連続和である。

(2) n=2fn=2^f が k-連続和だと仮定し、始めの自然数を m≧1m\ge1 とする。和の式を 2 倍すると 2f+1=k(2m+k−1).2^{f+1}=k(2m+k-1). 右辺の二因子は正の整数で、積が 2 のべきだから各因子も 2 のべきである。k が奇数なら k=1 となり k≧2k\ge2 に反する。k が偶数なら 2m+k-1 は 1 より大きい奇数であるが、2 のべきである奇数は 1 しかない。これも矛盾する。したがって該当する k は存在しない。

(3) (A) が成り立つなら 2nk=2(nk−k−12)+(k−1)\displaystyle \frac{2n}{k}=2\left(\frac nk-\frac{k-1}{2}\right)+(k-1) は整数だから k∣2pfk\mid 2p^f。p は奇素数なので、この約数は k=pjk=p^j または k=2pjk=2p^j (0≦j≦f)\ (0\le j\le f) に限られる。逆に、k=pjk=p^j なら n/k=pf−jn/k=p^{f-j} と (k−1)/2(k-1)/2 はともに整数であり、k=2pjk=2p^j なら n/k=pf−j/2n/k=p^{f-j}/2 と (k−1)/2(k-1)/2 はともに半整数である。したがってこの約数の形の k はすべて (A) を満たす。k≧2k\ge2 より候補は pj (1≦j≦f),2pj (0≦j≦f).p^j\ (1\le j\le f),\qquad 2p^j\ (0\le j\le f).

条件 (B) を課す。奇数候補 k=pjk=p^j では p2j<2pfp^{2j}<2p^f であり、p≧3p\ge3 よりこれは 2j≦f2j\le f と同値である。したがって該当する指数は 1≦j≦⌊f/2⌋1\le j\le\lfloor f/2\rfloor で、個数は ⌊f/2⌋\lfloor f/2\rfloor。偶数候補 k=2pjk=2p^j では 4p2j<2pfすなわち2p2j<pf4p^{2j}<2p^f\quad\text{すなわち}\quad 2p^{2j}<p^f であり、これは 2j<f2j<f と同値である。指数 0≦j<f/20\le j<f/2 の個数は ⌈f/2⌉\lceil f/2\rceil。以上より総数は ⌊f2⌋+⌈f2⌉=f.\displaystyle \left\lfloor\frac f2\right\rfloor+ \left\lceil\frac f2\right\rceil=f.

この問題で使う考え方

  • 約数分類
  • 偶奇
  • 必要十分条件

PR

数学を1対1で教わるオンライン塾「数強塾」

数強塾は、中学生・高校生のための数学専門のオンライン個別指導塾です。プロ講師がマンツーマンで教え、大学受験の数学にも対応しています。入塾の前に、今の学習状況と目標を確かめる診断授業(体験・3,000円、税込)を受けられます。

「数強塾」オンライン数学克服塾〈プロ講師〉

東大生と1対1で学べるオンライン個別指導「トウコベ」

トウコベは、東大生を中心に難関大学の学生が講師を務める、完全マンツーマンのオンライン個別指導です。はじめに、オンラインの説明会・勉強相談(無料)をWebで予約でき、その後にお試し授業を受けられます。

トウコベ公式サイト

似た問題を、ほかの大学で

答えや解説の誤りに気づいたら、お問い合わせから教えてください。