4

アンサイクロペディア曰く“手抜き問題”

461
1
$$\newcommand{bekutoru}[1]{\displaystyle\overrightarrow{\mbox{#1}\phantom{A}\hspace{-1em}}} \newcommand{bm}[1]{\boldsymbol{#1}} \newcommand{bunsuu}[2]{\dfrac{\,#1\,}{\,#2\,}} \newcommand{Deg}[0]{^{\circ}} \newcommand{dsqrt}[1]{\displaystyle\sqrt{\,#1\,}} \newcommand{foo}[1]{\ifnum#12\text{それは2だよ!}\else\text{それは2じゃないよ!}\fi} \newcommand{gauss}[1]{\left[\mkern1mu {#1}\mkern1mu\right]} \newcommand{kaku}[1]{\angle\mbox{#1}} \newcommand{kumiawase}[2]{\mathord{{}_{#1}\kern-.12em{}\text{C}_{#2}}} \newcommand{mdot}[0]{\!\cdot\!} \newcommand{sankaku}[1]{\triangle \mbox{#1}} \newcommand{suuretu}[1]{\left\{#1\right\}} \newcommand{tsqrt}[1]{\textstyle\sqrt{\,#1\,}} \newcommand{zyunretu}[2]{\mathord{{}_{#1}\kern-.12em{}\text{P}_{#2}}} $$

この記事の目標

〈東京工業大学ーアンサイクロペディア〉 には,次のような記述があります。

『東工大入試の数学の難しさは全国で見てもトップレベルで、東大をも超えている』…と言われることもあるが、そのような問題を出題することは稀である。年によっては、毎年どこかの大学が出題するような典型問題の出題がほとんどを占める年もあり、駿台からは『新作の労を惜しむ東工大』と酷評されている。あえて褒めて言うならば『悪問や奇問ではなく正確に成績を判断できる良問』なのだが、実際は手抜きなだけである。
また、東工大の数学の特徴として、問題文が1行ないし2・3行の超短文問題が出題されることがしばしばある。これについてもあえて褒めて言うならば『シンプルな良問』なのだが、実際は手抜きなだけである。

そこで手抜きの具体例として挙げられている問題は,1988年度数学入試の問題で,以下の問いです。

$\displaystyle \lim_{n\to\infty}\left(\bunsuu{\kumiawase{3n}{n}}{\kumiawase{2n}{n}}\right)^{\frac1n}$を求めよ.

日本語がたったの4文字しか書かれていない問題文で,確かに手抜きと言われても仕方がないかもしれません。今回はこの問題を少し一般化して,以下の問題を作ってみました。

$n$を正の整数,$k$$2$以上の整数とするとき,極限$\displaystyle \lim_{n\to\infty}\left(\bunsuu{\kumiawase{(k+1)n}{n}}{\kumiawase{kn}{n}}\right)^{\frac1n}$を求めよ.

この問いに解答を与えることが,この記事の目標です。

次節で解答を与えますので,少し考えてから下にスクロールしてみてください。

解答

$$ \left(\bunsuu{\kumiawase{(k+1)n}{n}}{\kumiawase{kn}{n}}\right)^{\frac1n}=\left(\bunsuu{\bunsuu{(kn+n)!}{n!(kn)!}}{\bunsuu{(kn)!}{n!(kn-n)!}}\right)^{\frac1n}=\left(\bunsuu{(kn+n)!(kn-n)!}{(kn)!(kn)!}\right)^{\frac1n} $$
と変形できる。ここで,$\displaystyle \left(\bunsuu{\kumiawase{(k+1)n}{n}}{\kumiawase{kn}{n}}\right)^{\frac1n}$の自然対数をとったものについて,
$$ \begin{align} \log\left(\bunsuu{(kn+n)!(kn-n)!}{(kn)!(kn)!}\right)^{\frac1n}&=\bunsuu1n\log\left(\bunsuu{kn+1}{(kn-n)+1}\cdot\bunsuu{kn+2}{(kn-n)+2}\cdot\cdots\cdot\bunsuu{kn+n}{(kn-n)+n}\right)\\ &=\bunsuu1n\sum_{i=1}^{n}\log\left(\bunsuu{kn+i}{kn-n+i}\right)\\ &=\bunsuu1n\sum_{i=1}^{n}\log\left(\bunsuu{k+\frac in}{k-1+\frac in}\right)\\ \end{align} $$
とでき,$n\to\infty$とすることで,
$$\displaystyle \lim_{n\to\infty}\log\left(\bunsuu{\kumiawase{(k+1)n}{n}}{\kumiawase{kn}{n}}\right)^{\frac1n}=\int_0^1 \log\bunsuu{k+x}{k-1+x}\,dx $$
である。すなわち(計算過程は省略),
$$ \displaystyle \lim_{n\to\infty}\log\left(\bunsuu{\kumiawase{(k+1)n}{n}}{\kumiawase{kn}{n}}\right)^{\frac1n}=\log\bunsuu{(k+1)^{k+1}(k-1)^{k-1}}{k^{2k}} $$
となる。$\log X$$X>0$で連続な関数なので,
$$\displaystyle \lim_{n\to\infty}\left(\bunsuu{\kumiawase{(k+1)n}{n}}{\kumiawase{kn}{n}}\right)^{\frac1n}={\left(1+\bunsuu1k\right)^{k+1}\left(1-\bunsuu1k\right)^{k-1}} $$

感想

特に$k=2$の場合は,$\bunsuu{27}{16}$になりますね。かなりきれいな一般化になったのではないかと思います。

なお,$k=1$のときに同様の計算をしてしまうと,途中で$\displaystyle \int_0^1 \log x\,dx$という広義積分を求めなければならいので,今回は考えないこととしました。ですが,$\displaystyle \int_0^1 \log x\,dx=-1$であることを認めれば$$ \lim_{n\to\infty}\left(\kumiawase{2n}{n}\right)^{\frac1n}=4 $$
を得るため,かなりきれいです。区分求積法を回避して,この極限を求めさせることは出来ないかと模索していますが,頭の悪い僕にはわかりません。
(11月16日追記:コメントにて @zyogamaya 様から,初等的な評価が出来る旨を教えていただきました。ありがとうございます。)

また,追記している最中に思ったのですが,これらの結果から,例えば,$$ \lim_{n\to\infty}\left(\kumiawase{3n}{n}\right)^{\frac1n}=4\times\bunsuu{27}{16}=\bunsuu{27}{4} $$とか,$$ \lim_{n\to\infty}\left(\kumiawase{7n}{n}\right) ^{\frac1n}=4\prod_{k=2}^6{\left(1+\bunsuu1k\right)^{k+1}\left(1-\bunsuu1k\right)^{k-1}}=\bunsuu{823543}{46656}$$
を得ますね。1つの発見としてメモメモ。
このメモを着想に,こんな問題も作れるかも???

$n$を正の整数として,極限$\displaystyle \lim_{n\to\infty}\bunsuu1n(\kumiawase{n^2\,}{n})^{\frac1n}$を求めなさい。


とにかく,既存の問題の一般化は面白いですね。ここまでご覧いただきありがとうございました。
(更新:Mathlog のアップデートに伴い見た目の変更を与えました。)

投稿日:20201112

この記事を高評価した人

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

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

バッジはありません。

投稿者

ぱるち
ぱるち
129
21987
数学屋さんをしています。代数,数論系に興味があり,今は楕円曲線と戯れています。Mathlogは現実逃避用という噂もあります。@f_d00123

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中