大学数学基礎解説

数学オリンピックの問題を解いてみた

数学オリンピック,数列,整数問題

764

はじめに

タイトルの通り、数学オリンピックの問題について書きたいと思います。今回扱う問題はSLPの整数分野の問題で、2016年の春合宿第11問でもあります。すごく面白い問題で、学びもあったので自分用にまとめてみたいと思います。

考察の章は解くときの思考回路を出来るだけ詳細に書き上げてみたつもりですが、蛇足になってしまった部分もあるので読みにくいと感じられた方は解答の章からお読みください。

正の整数 $x, y$ に対し、 $g c d (x, y), l c m (x, y)$ でそれぞれ $x$ と $y$ の最大公約数と最小公倍数を表し、 $x | y$ で $x$ が $y$ を割り切ることを表すこととします。

問題

a_{0}, a_{1}, \dots

と

b_{0}, b_{1}, \dots

は正の整数からなる数列であって、

a_{0}, b_{0} \geq 2

および、任意の非負整数nに対して

a_{n + 1} = g c d (a_{n}, b_{n}) + 1, b_{n + 1} = l c m (a_{n}, b_{n}) - 1

を満たすものとする。このとき、ある非負整数

N

と正の整数

t

が存在して、

N

以上の任意の整数

n

に対して　

a_{n + t} = a_{n}

が成り立つことを示せ。

どえ～～、見た目えぐ～～、gcdやlcmに1足したり引いたりってみたことない...それに数列が周期的になってることってどう示すの...けど何かしら綺麗な仕組みが隠されてるんだろうなあ、見た目は怖いけど面白そう！ってな感じで考え始めてみます。

考察

実験がしやすそうなのでやってみます。 $(a_{0}, b_{0}) = (105, 45)$ とかにしてみると
$(a_{n}, b_{n}) = (105, 45), (16, 314), (3, 2511), (4, 2510), (3, 5019), (4, 5018), \dots$
こんな感じで確かに繰り返しになりそう。 $a_{n}$ は徐々に小さくなる感じで、 $b_{n}$ の方は普通にどんどん大きくなっていくのかな。けどこの場合でも理由はよくわかんない...
$a_{n + 1} = g c d (a_{n}, b_{n}) + 1$ って、よく考えてみると $g c d (a_{n}, b_{n}) \leq a_{n}$ だから $a_{n + 1} \leq a_{n} + 1$ なのか。しかも $a_{n + 1} > a_{n}$ となるのって $a_{n} | b_{n}$ のときだからまあまあレアなのね。だったら、
$a_{1} = a_{0} + 1, a_{2} = a_{1} + 1, a_{3} = a_{2} + 1, a_{4} = a_{3} + 1$
というようにずっと増加していく場合がどんな場合なのかを考えてみたい。この場合だと、 $a_{0} = a, b_{0} = b$ とかと置くと
$a | b, a + 1 | b - 1, a + 2 | b - 2, a + 3 | b - 3$
となる。 $x | y ⟺ x | x + y$ なので、これって
** $a | a + b, a + 1 | a + b, a + 2 | a + b, a + 3 | a + b$ **
と同値。つまり $a + b$ が $a, a + 1, a + 2, a + 3$ で割り切れればいいのか。 $b$ の値で調節できるから、 $a_{n}$ をいくらでも連続して増加させることはできるのか...けどいつかは減少するわけか
一度 $(a_{0}, b_{0}) = (2, 58)$ ( $a_{0} + b_{0} = 60$ が $2, 3, 4, 5$ で割り切れる)で実験してみると
$a_{n} = 2, 3, 4, 5, 6, 7, 2, 3, 4, 5, 2, 3, 4, 5, \dots$
という感じでちゃんとループしそう...なんだこれ

$a_{n}$ が無限に大きくなってしまってはループしなくなって困るし、とりあえず上から抑えられないかなあ。
とりあえず $a_{n + 1} < a_{n}$ となる $n$ を取ってきて、
$(a_{n}, b_{n}) = (a g, b g) (g = g c d (a_{n}, b_{n}), a > 2)$
と置いてみると
$(a_{n + 1}, b_{n + 1}) = (g + 1, a b g - 1)$
このまま $a_{n + m}$ まで単調増加したとすると
$a_{n + 2} = g + 2, a_{n + 3} = g + 3, \dots, a_{n + m} = g + m$
ここで** $g + 1, \dots, g + m - 1$ はすべて $(g + 1) + (a b g - 1) = g (a b + 1)$ を割り切る。
ここで詰まってだいぶ右往左往して気付く。 $a g$ は $g (a b + 1)$ を割り切らないから、 $g + 1, \dots g + m - 1$ の中に $a g$ は存在しない！！つまり $g + m \leq a g$ **！！これかなり使えそう！！

数学的に書き直す。 $a_{i + 1} < a_{i}$ となる $i$ を小さい順に $i_{1}, i_{2}, \dots$ とする。これは無限数列となる。上の内容からすべての $n$ について $a_{i_{n}} \geq a_{i_{n + 1}}$ 。よって $a_{i_{1}}, a_{i_{2}}, a_{i_{3}}, \dots$ は** 広義単調減少な正整数列となり、十分大きい所で一定！ **(要証明)
さらにこの一定となったところで元の数列は周期的になりそう。

いかがだったでしょうか。これでだいたい流れは掴めたのでちゃんとした解答に移ってみたいと思います。

解答

まず次の補題を用意する。

　 $a_{n} < a_{n + 1}$ ならば $a_{n + 1} = a_{n} + 1, a_{n} | b_{n}$

$g c d (a_{n}, b_{n}) \leq a_{n} (\dots A)$ であるから $a_{n + 1} = g c d (a_{n}, b_{n}) + 1 \leq a_{n} + 1$
$a_{n} < a_{n + 1}$ より $a_{n} + 1 \leq a_{n + 1}$ なので、 $a_{n + 1} = a_{n} + 1$ が成立する。
またこのとき $A$ の等号が成立するので $a_{n} | b_{n}$

Step1

$a_{i} \leq a_{i + 1}$ となるような非負整数 $i$ を小さい順に $i_{1}, i_{2}, \dots$ とする。このとき数列{ $i_{n}$ }は無限数列になることを示す。

有限数列だとすると、ある $N$ が存在して
$a_{N} < a_{N + 1} < a_{N + 2} < \dots$
ここで補題１により、すべての $n \leq N$ について
$a_{n + 1} = a_{n} + 1, a_{n} | b_{n}$
が成立する。さらにこのとき $l c m (a_{n}, b_{n}) = b_{n}$ であるので、 $b_{n + 1} = b_{n} - 1$ が成立する。以上より、任意の非負整数 $m$ について、
$a_{N + m} = a_{N} + m, b_{N + m} = b_{N} - m$
が成立するが、 $m = b_{N} - 1$ とすると $a_{N + m}$ が $b_{N + m}$ を割り切らず矛盾。

Step2

Step1で取った数列{ $i_{n}$ }によって正整数からなる無限数列 $a_{i_{1}}, a_{i_{2}}, \dots$ を定めると、これは広義単調減少になることを示す。

正整数 $n$ について $a_{i_{n}} \geq a_{i_{n + 1}}$ を示せばよい。以下 $i_{n} = i, i_{n + 1} = i + m$ とする。
$m = 1$ のときは $i_{n}$ の定義から明らか。 $m \geq 2$ とする。
$i_{n}$ の定義より、
$a_{i} \geq a_{i + 1}, a_{i + 1} < a_{i + 2} < \dots < a_{i + m}$
が成り立つ。 $g c d (a_{i}, b_{i}) = g$ と置き、 $a_{i} = a g, b_{i} = b g$ とすると
$a_{i + 1} = g + 1, b_{i + 1} = a b g - 1$
であり、 $a_{i} \leq a_{i + 1}$ より $a \geq 2$ 。さらに補題１により、 $1 \leq j \leq m - 1$ について
$a_{i + j} = g + j, b_{i + j} = a b g - j, a_{i + j} | b_{i + j}$
が成立する。これより、 $1 \leq j \leq m - 1$ について　
$g + j | a_{i + j} + b_{i + j} = g (a b + 1)$
を得る。
ここで、 $a \geq 2$ より $a$ は $a b + 1$ を割り切らないので、 $a g$ は $g (a b + 1)$ を割り切らない。よって $a g$ は $g + 1, g + 2, \dots g + m - 1$ のどれとも等しくないので、 $a g \geq g + m$ 。すなわち、** $a_{i} \geq a_{i + m}$ **が成立する。以上で示された。

Step3

Step2で取った無限数列{ $a_{i_{n}}$ }は十分先で一定となる。つまり正の整数 $N$ が存在して $n > N$ ならば $a_{i_{n}} = a_{i_{N}}$ が成立する。さらにこの $N$ について数列 $i_{N}, i_{N + 1}, i_{N + 2}, \dots$ は等差数列となり、その公差を $t$ とすると $i_{N}$ 以上の任意の整数 $n$ について $a_{n + t} = a_{n}$ が成立する。

まず一定になることを示す。
広義単調減少な正整数列なので数列が取りうる値は正整数からなる有限集合であり、最小値が存在する。最小値を取る項を一つ $a_{i_{N}}$ とすると、 $n \geq N$ について $a_{i_{N}} \leq a_{i_{n}} \leq a_{i_{N}}$ より $a_{i_{n}} = a_{i_{N}}$ が成立する。
次に{ $a_{n}$ }が $i_{N}$ 以上のところで周期的になることを示す。
まず $g c d (a_{i_{N}}, b_{i_{N}}) = g, a_{i_{N}} = a g, b_{i_{N}} = b g$ とおくと、 $1 \leq j \leq i_{N + 1} - i_{N}$ について
$a_{i_{N} + j} = g + j, b_{i_{N} + j} = a b g - j$ である。
$j = i_{N + 1} - i_{N}$ とすると $a_{i_{N + 1}} = g + i_{N + 1} - i_{N}$ であるが、 $a_{i_{N + 1}} = a_{i_{N}} = a g$ により $i_{N + 1} - i_{N} = a g - g$ 。
さらに $b_{i_{N + 1}} = a b g - a g + g$ なので $g c d (a_{i_{N + 1}}, b_{i_{N + 1}}) = g$ 。
以上を繰り返すことにより、数列 $a_{n}$ は $n \geq i_{N}$ のところで
$a g, g + 1, \dots, a g - 1$
を繰り返すことが分かる。

最後に

この問題のポイントは、** 広義単調減少な正整数の無限数列は十分先で一定という事実だと思います。実際、上の証明では数列がループする本質的な理由は掴めていません。一定となるところを見てみたらたまたま繰り返しが起きていた、という感じです。
しかし、gcdやlcmが混ざったよくわからない数列の挙動を、数列の中の特別な部分に着目するすることで綺麗に解明することが出来るという点で非常に面白い問題だと思います。問題の設定が厳しく全体的な構造が見えない場合に実験して構造をつかみ、問題で聞かれている事より強い命題を示して解きほぐすこと **は数学オリンピックで有効となることが多々あります。

最後に、今回のポイントとなった性質と似たものを使う問題を二問紹介したいと思います。

a_{1}, a_{2}, \dots

を正の整数列とする。ある

2

以上の整数

N

が存在し、任意の

n \geq N

に対し

\frac{a_{1}}{a_{2}} + \frac{a_{2}}{a_{3}} + \dots + \frac{a_{n - 1}}{a_{n}} + \frac{a_{n}}{a_{1}}

は整数である。このとき、正の整数

M

が存在し、任意の

m \geq M

に対し

a_{m} = a_{m + 1}

が成立することを示せ。(IMO 2018-5)

k, l

を正の奇数とする。数列{

a_{n}

}を以下のように定める。

a_{1} = k, a_{2} = l

a_{n + 2}

は

a_{n + 1} + a_{n}

の最も大きい奇数の約数と等しい。
このとき、ある正の整数

N

と

C

が存在して、

N

以上の任意の整数

n

に対して

a_{n} = C

が成り立つことを示せ。また、そのような

C

の値を

k, l

を用いて表せ。(2018年の第４回通信添削問題 5番より)

これにて今回の記事を締めたいと思います。つたない文章でしたが、お読みいただきありがとうございました。感想、指摘、ご意見などありましたら送っていただけるとすごく喜びます。

投稿日：2020年11月12日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Iso

1897

主に数学オリンピックの勉強をしています。数学オリンピックでは整数分野が好きです。よろしくお願いします

他の人のコメント

コメントはありません。

読み込み中

Iso

数学オリンピックの問題を解いてみた

問題
考察
解答
最後に