Evolton

九州大学 1991年度 前期日程 第2次学力試験文系数学 第3問

nを正整数とする.
y=nxy=x22で囲まれる部分(境界を含む)の面積をSn
その部分に含まれる格子点(x座標とy座標がともに整数の点)の個数をNnとする.

(1) Snnで表せ.

(2) N1N2を求めよ.

(3) Nnnで表せ.

難易度6/ 10計算量6/ 10目安30

積分整数図形と方程式 面積計算数え上げ、場合分け

方針

交点は nx=x2/2 から x=0,2n と分かるので,面積は上下の差を積分する。格子点は整数 x ごとに整数 y の個数を数える。下端 x2/2 が整数になるかどうかは x の偶奇で変わるため,x=2kx=2k+1 に分ける。偶数の場合は k=0,,n,奇数の場合は k=0,,n1 で,それぞれ上端から下端を引いて 1 を足した個数を和にする。

解答

(1)
二つの曲線の交点は nx=x22 より x(x2n)=0 であるから x=0,x=2n である。0x2n では y=nx が上側,y=x2/2 が下側である。したがってSn=02n(nxx22)dxである。計算するとSn=[nx22x36]02n=2n38n36=2n33である。よって Sn=23n3 である。

(2) n=1 のとき,0x2 である。整数 x ごとに数えると,x=0 で y=0, x=1 で 12y1 より y=1, x=2 で y=2 であるから N1=3 である。 n=2 のとき,0x4 であり,整数 x ごとの個数は 1, 2, 3, 2, 1 である。したがって N2=1+2+3+2+1=9 である。よって N1=3,N2=9 である。

(3)
整数 x を一つ固定する。格子点の y 座標は x22ynx を満たす整数である。

まず x=2k とおく。このとき k=0,1,,n であり,下端は x22=4k22=2k2 で,上端は nx=2nk である。したがってこの x に対する格子点の個数は 2nk2k2+1 である。

次に x=2k+1 とおく。このとき k=0,1,,n1 である。下端は x22=4k2+4k+12=2k2+2k+12 なので,整数 y の最小値は 2k2+2k+1 である。上端は n(2k+1) であるから,この x に対する格子点の個数は n(2k+1)(2k2+2k+1)+1=2nk+n2k22k である。

よってNn=k=0n(2nk2k2+1)+k=0n1(2nk+n2k22k)である。和の公式を用いるとk=0n(2nk2k2+1)=n(n+1)(n1)3+n+1であり、k=0n1(2nk+n2k22k)=n(2n2+1)3である。したがって Nn=2n3+4n+33 を得る。よって Nn=2n3+4n+33 である。

別解

解法2:天井と床の整数和をまとめて計算する

方針

整数 x ごとに、上端 nx から下端 x2/2 までにある整数 y の個数を、天井関数を用いて一つの和にする。その後に x の偶奇を使って天井値の総和だけを評価する。個々の柱を別々に整理する解法1と異なり、一次和・二次和として一括計算する。

解答

(1)
交点は x=0,2n であり、この間では直線が上側である。したがってSn=02n(nxx22)dx=[nx22x36]02n=2n33.(2)
整数 x ごとに数えると、n=1 では個数が 1,1,1n=2 では 1,2,3,2,1 である。よってN1=3,N2=9.(3)
x=j 上にある格子点の個数はnjj22+1である。ゆえにNn=nj=02njj=02nj22+(2n+1).偶数 j=2k と奇数 j=2k+1 に対して(2k)22=2k2,(2k+1)22=2k2+2k+1である。したがってj=02nj22=k=0n2k2+k=0n1(2k2+2k+1).一次和・二次和の公式を代入して整理するとNn=2n3+4n+33.これは n=1,2 の値とも一致する。

総評

面積と格子点数を同じ図形で扱う問題で,目安時間は30分。面積は積分で直ちに出るが,格子点数では x2/2 が整数か半整数かで下端の扱いが変わる。偶数 x=2k と奇数 x=2k+1 の範囲をそれぞれ k=0 からどこまでにするかが採点上の山である。N1,N2 は一般式の検算にもなるので,先に手で数えておくと式のずれに気づきやすい。 2解法の結論を相互照合し、定義域、符号、端点、等号成立条件を確認した。 問題に即した高校数学の範囲だけで構成した。 図は立式や変化の対応を示す解説図であり、結論には依存しない。

冊子PDFで見る九大の積分の問題で問題集を作る

出典: 九州大学 1991年度 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。