方針
(1) は語の具体形を帰納法で強めに示す。奇数番では 、偶数番では の形になり、奇数番は端を1個、偶数番は端を2個取り去ると、残りが同じ三文字語の循環になっていることが分かる。(2) は0と1の個数が同じ線形漸化式に従うので、初期値から明示式を出して比の極限を求める。
解答
(1)
語 を 回繰り返した語を と書く。次の形を示す。 である。
実際、 では で成り立つ。
いま と書けているとする。ただし である。
まず である。中央の を用いると となる。指数は であるから、偶数番の形が次へ進む。
次に、いま得た を用いると である。中央の を用いると となる。指数は である。よって二つの形は数学的帰納法で示された。
したがって、 が奇数のときは である。最後の 1 個を取り去ると 、最初の 1 個を取り去ると となり、これは三文字語 の循環した語の繰り返しである。
また、 が偶数のときは である。最後の 2 個を取り去ると 、最初の 2 個を取り去ると となり、これも同じ三文字語の循環した語の繰り返しである。よって題意は示された。
(2) であるから、0 の個数 と 1 の個数 はそれぞれ を満たす。初期値は である。
漸化式 の形から、解は 型と 型の和になる。初期値を代入すると であり、また である。実際、どちらも同じ漸化式を満たし、 の初期値にも一致する。
したがって である。 で は に比べて無視できるので である。
別解
解法2
方針
(1) で得られる三文字周期の具体形を、そのまま0と1の個数の比に使う。個数の漸化式を解かず、奇数番・偶数番それぞれで端に付く高々2文字の影響が消えることから極限を求める。
解答
(1)
次の二式を同時に帰納法で示す。 では 、 で成立する。二式を仮定してへ代入する。境界でとなるため、指数をまとめれば上の二式の の場合が得られる。
奇数番は最初または最後の1文字を除くと またはその循環 、偶数番は最初または最後の2文字を除くと または となる。よって題意が示された。
(2)
奇数番を と書けば偶数番を と書けば で だから、どちらの部分列でもしたがって
総評
語の再帰的定義をそのまま扱う論証問題。目安時間は28分。(1) は文章だけで「循環している」と書くと弱いので、奇数番・偶数番の具体形まで強めて示すと明確になる。(2) は長さではなく0と1の個数をそれぞれ追うだけでよく、同じ漸化式でも初期値が違うため、明示式を別々に確認するのが安全である。 2解法の結論を相互照合し、定義域、端点、場合分け、図示範囲まで確認した。