Evolton

九州大学 1996年度 前期日程 第2次学力試験理系数学 第5問

0と1を有限個並べたものを語ということにする.
語の例としては0,010,00101,100110などがある.
いま2つの語A=1B=10をもとにして
C1=AC2=BCn=Cn2Cn1Cn2(n3)のように定める.
例えば,C3=1101である.
次の問いに答えよ.

(1) n3のとき,語Cnに対して,最初,または最後の数字を1個か2個取りさると,
残りは同じ語が循環して現れている.
このことを数学的帰納法により示せ.

(2)Cnに現れる0の個数をanとし,1の個数をbnとする.
limnanbnを求めよ.

難易度6/ 10計算量5/ 10目安28

数列論証・証明 数学的帰納法漸化式の変形極限計算

方針

(1) は語の具体形を帰納法で強めに示す。奇数番では Cn=(110)r1、偶数番では Cn=(101)r10 の形になり、奇数番は端を1個、偶数番は端を2個取り去ると、残りが同じ三文字語の循環になっていることが分かる。(2) は0と1の個数が同じ線形漸化式に従うので、初期値から明示式を出して比の極限を求める。

解答

(1)
Wr 回繰り返した語を Wr と書く。次の形を示す。 C2m+1=(110)(4m1)/31(m1) C2m=(101)2(4m11)/310(m1) である。

実際、m=1 では C2=10=(101)010,C3=1101=(110)11 で成り立つ。

いま C2m=(101)s10,C2m+1=(110)r1 と書けているとする。ただし s=2(4m11)3,r=4m13 である。

まず C2m+2=C2mC2m+1C2m=(101)s10(110)r1(101)s10 である。中央の 10(110)r1=(101)r+1 を用いると C2m+2=(101)2s+r+110 となる。指数は 2s+r+1=4(4m11)+(4m1)+33=2(4m1)3 であるから、偶数番の形が次へ進む。

次に、いま得た C2m+2=(101)s10,s=2(4m1)3 を用いると C2m+3=C2m+1C2m+2C2m+1=(110)r1(101)s10(110)r1 である。中央の 1(101)s10=(110)s+1 を用いると C2m+3=(110)2r+s+11 となる。指数は 2r+s+1=2(4m1)+2(4m1)+33=4m+113 である。よって二つの形は数学的帰納法で示された。

したがって、n が奇数のときは Cn=(110)r1 である。最後の 1 個を取り去ると (110)r、最初の 1 個を取り去ると (101)r となり、これは三文字語 110 の循環した語の繰り返しである。

また、n が偶数のときは Cn=(101)r10 である。最後の 2 個を取り去ると (101)r、最初の 2 個を取り去ると (110)r となり、これも同じ三文字語の循環した語の繰り返しである。よって題意は示された。

(2) Cn=Cn2Cn1Cn2 であるから、0 の個数 an と 1 の個数 bn はそれぞれ an=an1+2an2,bn=bn1+2bn2 を満たす。初期値は a1=0,a2=1,b1=1,b2=1 である。

漸化式 xn=xn1+2xn2 の形から、解は 2n 型と (1)n 型の和になる。初期値を代入すると an=13{2n1(1)n1} であり、また bn=13{2n+(1)n1} である。実際、どちらも同じ漸化式を満たし、n=1,2 の初期値にも一致する。

したがって anbn=2n1(1)n12n+(1)n1 である。n(1)n12n に比べて無視できるので limnanbn=12 である。

別解

解法2

方針

(1) で得られる三文字周期の具体形を、そのまま0と1の個数の比に使う。個数の漸化式を解かず、奇数番・偶数番それぞれで端に付く高々2文字の影響が消えることから極限を求める。

解答

(1)
次の二式を同時に帰納法で示す。C2m+1=(110)(4m1)/31,C2m=(101)2(4m11)/310.m=1 では C2=10C3=1101 で成立する。二式を仮定してC2m+2=C2mC2m+1C2m,C2m+3=C2m+1C2m+2C2m+1へ代入する。境界で10(110)r1=(101)r+1,1(101)s10=(110)s+1となるため、指数をまとめれば上の二式の m+1 の場合が得られる。

奇数番は最初または最後の1文字を除くと (110)r またはその循環 (101)r、偶数番は最初または最後の2文字を除くと (110)r または (101)r となる。よって題意が示された。

(2)
奇数番を C2m+1=(110)r1 と書けばa2m+1=r,b2m+1=2r+1.偶数番を C2m=(101)s10 と書けばa2m=s+1,b2m=2s+1.mr,s だから、どちらの部分列でもanbn12.したがってlimnanbn=12.

総評

語の再帰的定義をそのまま扱う論証問題。目安時間は28分。(1) は文章だけで「循環している」と書くと弱いので、奇数番・偶数番の具体形まで強めて示すと明確になる。(2) は長さではなく0と1の個数をそれぞれ追うだけでよく、同じ漸化式でも初期値が違うため、明示式を別々に確認するのが安全である。 2解法の結論を相互照合し、定義域、端点、場合分け、図示範囲まで確認した。

冊子PDFで見る九大の数列の問題で問題集を作る

出典: 九州大学 1996年度 前期 理系 第5問。問題文はHTML表示のために再入力・数式組版しています。