問題.
自作問題の26番 (有名な問題かもしれませんが) です.
かつ を満たす有理数 の組を の値の小さい順に並べたとき, 番目の組 (:自然数)は
\begin{align*}
(a, b) = \left(\left(1+\frac{1}{n}\right)^n, \left(1+\frac{1}{n}\right)^{n+1}\right)
\end{align*}
であることを示せ. 但し, が を満たす (単調増加列である) ことを用いてよい.
を満たす自然数 の組が
\begin{align*}
(a, b) = (2, 4)
\end{align*}
の 1 組しかないことはよく知られています.
(たしかどこかの大学入試でもこれを示す問題があったような気がします.)
ここでは, を有理数にまで拡張した場合を考える問題になっています.
問題の解答の前に
\begin{align*}
(a, b) = \left(\left(1+\frac{1}{n}\right)^n, \left(1+\frac{1}{n}\right)^{n+1}\right)
\end{align*}
が を満たしているのかを確認してみましょう,
\begin{align*}
a^b &= \left\{\left(1+\frac{1}{n}\right)^n\right\}^{\left(1+\frac{1}{n}\right)^{n+1}}\\
&= \left(1+\frac{1}{n}\right)^{n\cdot\left(1+\frac{1}{n}\right)^{n+1}}\\
&= \left(1+\frac{1}{n}\right)^{(n+1)\cdot\left(1+\frac{1}{n}\right)^n}\\
&= \left\{\left(1+\frac{1}{n}\right)^{n+1}\right\}^{\left(1+\frac{1}{n}\right)^n}\\
&= b^a
\end{align*}
となり, 確かに となっています.
では, 以下が証明(問題の解答) です.
解答.
まず, とおくと,\begin{align*}
a:b &= \frac{a}{b-a}:\frac{b}{b-a}\\
&= t : (t+1)
\end{align*}
となります. (特殊なおき方なので簡単には思いつかない気がしますが...)
すると, 上の式から
\begin{align*}
b &= \frac{t+1}{t} a\\
&= \left(1+\frac{1}{t}\right) a\\
&= (1+t^{-1})a
\end{align*}
と書けます.
ここで, に代入していきます.
\begin{align*}
a^{(1+t^{-1})a} = \left\{(1+t^{-1})a\right\}^a
\end{align*}
少し整理すると,
\begin{align*}
a^a\cdot a^{t^{-1}a} = \left(1+t^{-1}\right)^a\cdot a^a
\end{align*}
なので, 両辺 で割って,
\begin{align*}
a^{t^{-1}a} = \left(1+t^{-1}\right)^a
\end{align*}
さらに, 両辺を 乗すれば,
\begin{align*}
a = \left(1+t^{-1}\right)^t
\end{align*}
また, .
ここで, は 有理数であることに注意してください.
ここから, が有理数のなかでも, 自然数に限られることを示す必要があります.
は有理数なので, ( は互いに素な自然数) とおきます.
すると,
\begin{align*}
a &= (1+t^{-1})^t\\
&= (1+m/n)^{n/m}\\
&= \left(\frac{m+n}{n}\right)^{n/m}
\end{align*}
が互いに素なので, もちろん も互いに素で, 上式で表される が有理数になるためには,
\begin{align*}
m+n &= r^m\\
n &= s^m
\end{align*}
となる互いに素な自然数 , () が存在します.
差をとって, .
ここで, となることを示すのに, 背理法を使います.
と仮定すると,
と因数分解できます.
この右辺について考えると, まず, .
また, なので
以上より,
となるので, 矛盾.
したがって, は誤りで, となる.
よって, (自然数) となるので,
\begin{align*}
(a, b) = \left(\left(1+\frac{1}{n}\right)^n, \left(1+\frac{1}{n}\right)^{n+1}\right)
\end{align*}
が小さい方が は小さいので, 上の式は の小さい順に並べたときの 番目の組となります.
追記. (自然数 の組について)
この記事のはじめにも少し触れた,を満たす自然数の組が のみであることについて,
上で示した式において が自然数になるのは のときだけだと分かりますが, これを示す方法としてよく知られているのは次のようなやり方です.
まず, を対数をとって変形します.
\begin{align*}
a^b = b^a \Leftrightarrow \frac{\log{a}}{a} = \frac{\log{b}}{b}
\end{align*}
つまり, 関数 を考えたときに, の値が一致するような 2 つの の値をとってくるとよいことになります.
を微分してグラフの概形を書いてみると分かるのですが, グラフは で最大値をとり, であることが分かります.
これを満たす自然数 は だけです.