４．数列の活用
★格子点を群点列としてみよう。
このページは電子ブック「探求 数学B・C」の一部です。
１．格子点の個数
＜格子点＞
第１象限でy座標が-1/3x2+3n2以下である領域Dnに含まれる格子点の個数を調べてみよう。
＜予想＞
x2乗の係数が-1/3だから、ｘが３の倍数ならｙ座標は整数になる。
ｘが３の倍数でないときはｙ座標は整数にならない。
ｘが3の倍数になるときの格子点を手がかりにしてみよう。
＜実験＞
0=-1/3x2+3n2の解はx>0ではx切片はｘ=3n。ｘ＝０のときｙ切片はｙ＝3n2。
・n=1 のとき、
x={0,1,2,3}に対するy={3,3-1/3,3-4/3,3-3}から、Dn内の最大整数はymax={3,2,1,0}
ｘ軸上の格子点数はLx=max(x)+1=3+1=4
ymaxはｘ軸より上にある格子点の個数を表しているので、
格子点の合計個数はSum(ymax)+Lx=2･3+4=10。
・n=2のとき、
x={0,1,2,3,4,5,6}に対するy={12,12-1/3,12-4/3,12-3,12-16/3,12-25/3,12-12}から、
Dn内の最大整数はymax={12,11,10,9,6,3,0}
ｘ軸上の格子点数はLx=max(x)+1=6+1=7
３項が等差数列となる群数列になる。公差は{1,3}の奇数列。
３項群の先頭は{12,9,0}と12から３の1倍,4倍と平方数倍へっている。
格子点数はSum(ymax)+Lx=(11+6)･3+7=58
・n=3のとき、
x={0,1,2,3,4,5,6,7,8,9}に対するy={27,27-1/3,27-4/3,27-3,27-16/3,27-25/3,27-12,27-49/3,27-64/3,27-27}から、
Dn内の最大整数はymax={27,26,25,24,21,18,15,10,5,0}
３項が等差数列となる群数列になる。公差は{1,3,5}の奇数列。
３項群の先頭は{27,24,15,0}と27から３の1倍,4倍,9倍と平方数倍へっている。
３項群の中央の３倍でsum(ymax)が出せるので、
格子点数はsum(ymax)+Lx=(26+21+10)･3+(9+1)=181
３項群の中央は、３で割って２余る番号
＜一般化＞
p=3n2とすると、
x={0,1,2,3,4,5,6,7,8,9,10,11,12,....,3k-2,3k-1,3k}に対する
y={p,p-1/3,p-4/3,p-3,p-16/3,p-25/3,p-12,p-49/3,p-64/3,p-27,........,p-(3k-2)2/3,p-(3k-)2/3,0}
ymax={p,p-1,p-2,p-3,p-6,p-9,p-12,p-17,p-22,p-27,........,6n-3, 4n-2, 2n-1,0}
Lx=max(x)+1=3n+1。あとはsum(ymax)をたす。
x軸での３の倍数はn+1個、3の倍数-1はn個、３の倍数-2もn個
３項群の先頭の和を出す式は、pをn+1個集めて、3の平方数倍の和を引けばよい。
sum(ymax(3k))=sum{p,p-3,p-12,p-27,.....6n-3,0} =∑p-3∑k2
３項群の中央数は、先頭よりさらに公差だけへる。
和はpをn個集めて、n-1個の平方数の和の３倍とn個の奇数の和を引けばよい。
sum(ymax(3k-1))=sum{p-(0+1),p-(3+3),p-(12+5),.....4n-2}
=n∑p-3∑(1+4+...)- ∑(1+3+5)=
3項群の中央の和の３倍でsum(ymax)が出る。
格子点数はsum(ymax)+Lx＝
（例）
「ｙ>=x2 とｙ<=x+n(n+1)の表す領域Dの格子点で、xが正の個数Mとｘが負の個数Nの差が1000以上となるn」は？
係数が分数ではないから、ｘが整数のとき、どちらの境界線のy座標も整数になる。
＝にしたときの交点はx2-x-n(n+1)=(x+n)(x-(n+1))=0から、x=-nからx=n+1までの範囲で調べる。
この範囲では放物線が下にある。
２つのグラフのｙ座標の差が０のときに格子点は１個だから、
ｙ座標の差に１をたすと、ｘ座標ごとの格子点の個数はf(x)=-x2+x+n2+n+1となる。
Mはf(k)をk=1からnまでの∑で求められる。
このように、MとNをそれぞれｎの式の差を求める（数式計算）のもよい。
しかし、MとNの∑が表す範囲と式の共通点を図形的にイメージする（∑自体の単純化））のもよいね。
Nはk=-nから-1のかわりにk=1からnに変更する。
MとNは∑k以外はk=1からnまでは共通だから、MとNの差はf(n+1)と∑kの2倍になる。
n(n+1)>=999となるのは、31×32=992, 32×33=1056から、n=32。
２．数学的帰納法
＜数学的帰納法の原理＞
自然数 n に関する命題 P がすべての自然数 n（ｎがｑ以上） について成り立つことを証明したいときに
① n=q のとき P が成り立つ。
② n=k のとき P が成り立つと仮定すると，n=k+1 のときにも P が成り立つ。
この①、②を示せばよいという原理を
数学的帰納法という。
（例）
命題P(n)「すべての自然数nで、12+22+32+⋯+n2 =n(n+1)(2n+1)/6」を数学的帰納法で証明すると？
① P(1)は、左辺=1。右辺=1･2･3/6=1から、成り立つ。
② P(k)が成り立つとき、P(k+1)の左辺
=P(k+1)の右辺となり、p(k+1)が成り立つ。
（例）
命題P(n)「すべての自然数ｎで、7n–2n–1 が4の倍数である」の証明は？
① P(1)は7-2-1=4は４の倍数だから、成り立つ。
② P(k)が成り立つとき、7k–2k–1 =4mとおける。7k=(2k+4m+1)となる。
P(k+1)の式＝7k+1–2(k+1)–1= (2k+1+4m)・7 -(2k+1)-2=2k・(7-1)+1・(7-1)-2+4m・7
=12k+4+4m・7=4・(3k+1+7m)から４の倍数である。だから、P(k+1)が成り立つ。
（例）
命題P(n)「ｎが5以上の自然数で、n2<2nである」の証明なら？
①P(5)は52=25<25=32で成り立つ。
②kが５以上でP(k)が成り立つなら、2k>k2となる。P(k+1）の右辺ー左辺＝2k+1-(k+1)2
=2k2-k2-(2k+1)>2k2-k2-(2k+1)=k2-2k-1=(k-1)2-2>=(5-1)2-2=14>0だから、P(k+1)が成り立つ。
（例）
数列 {an} をa1=1，an+1=an/(1+3an)（n=1,2,3,⋯）とするとき一般項」の推測と証明は？
a1=1,a2=1/(1+3)=1/4, a3=(1/4)/(1+3/4)=1/7,a4=(1/7)/(1+3/7)=1/10から、
P(n) 「an=1/(3n-2)」と推測できる。
①p(1) a1=1で成り立つ。②P(k)が成り立つなら、ak=1/(3k-2)。
P(k+1)の左辺は漸化式から、ak+1=ak/(1+3ak)=(1/(3k-2))/(1+3/(3k-2))=1/(3k-2+3)=1/(3(k+1)-2)。
P(k+1)の右辺と等しいので、P(k+1)が成り立つ。