好きな定理(1)

598

この記事ではレイリーの定理について扱います。

レイリーの定理

$2$ つの無理数 $α, β > 0$ が $\frac{1}{α} + \frac{1}{β} = 1$ を満たすとき、
数列[ $n α$ ] $(n = 1, 2, 3 \dots)$ に出てくる数の集合を $A$ 、
数列 $[n β] (n = 1, 2, 3 \dots)$ に出てくる数の集合を $B$ とすると
$A \cup B = N A \cap B = \emptyset$

これだけだとわかりにくいので例を見てみましょう。

例

例えば $α$ を $\sqrt{2}$ とすると、 $β$ は $\frac{1}{1 - \frac{1}{\sqrt{2}}} = 2 + \sqrt{2} となる。$

今お手元に紙がある方は下を見る前に $[\sqrt{2} n], [(2 + \sqrt{2}) n]$ を是非手でそれぞれ求めてみてください！

結果

$\begin{array}{cccc} n & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 \\ [\sqrt{2} n] & 1 & 2 & 4 & 5 & 7 & 8 & 9 & 11 & 12 & 14 & 15 & 16 \\ [(2 + \sqrt{2}) n] & 3 & 6 & 10 & 13 & 17 & 20 & 23 & 27 & 30 & 34 & 37 & 40 \end{array}$
確かに二つの数列にかぶりはないです！
また、二つの数列を合わせると $1, 2, 3, 4, 5, 6, 7, 8. . .$ となり出てこない自然数はないです！
僕は初めてこれを見た時はとても感動して驚きました！
たまたまだと思う人もいるかもしれないのでもう一つ例を挙げてみます。

例2

$α$ を $\sqrt{3}$ とすると、 $β$ は $\frac{1}{1 - \frac{1}{\sqrt{3}}} = \frac{3 + \sqrt{3}}{2}$ となる。
$\begin{array}{cccc} n & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 \\ [\sqrt{3} n] & 1 & 3 & 5 & 6 & 8 & 10 & 12 & 13 & 15 & 17 & 19 & 20 \\ [\frac{3 + \sqrt{3}}{2} n] & 2 & 4 & 7 & 9 & 11 & 14 & 16 & 18 & 21 & 23 & 26 & 28 \end{array}$ これもだぶりやもれがありません！！
うまく避けているようにまで見えますね
感動です！