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

この記事の目標

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

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

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

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

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

解答

$${\left({\displaystyle \frac{{}_{(k+1)n}{\text{C}}_n}{{}_{kn}{\text{C}}_n}}\right)}^{\frac{1}{n}}={\left({\displaystyle \frac{{\displaystyle \frac{(kn+n)!}{n!(kn)!}}}{{\displaystyle \frac{(kn)!}{n!(kn-n)!}}}}\right)}^{\frac{1}{n}}={\left({\displaystyle \frac{(kn+n)!(kn-n)!}{(kn)!(kn)!}}\right)}^{\frac{1}{n}}$$
と変形できる。ここで，${\displaystyle {\left({\displaystyle \frac{{}_{(k+1)n}{\text{C}}_n}{{}_{kn}{\text{C}}_n}}\right)}^{\frac{1}{n}}}$の自然対数をとったものについて，
$$\begin{array}{rl}\log {\left({\displaystyle \frac{(kn+n)!(kn-n)!}{(kn)!(kn)!}}\right)}^{\frac{1}{n}}& ={\displaystyle \frac{1}{n}}\log ({\displaystyle \frac{kn+1}{(kn-n)+1}}\cdot {\displaystyle \frac{kn+2}{(kn-n)+2}}\cdot \cdots \cdot {\displaystyle \frac{kn+n}{(kn-n)+n}})\\ & ={\displaystyle \frac{1}{n}}\sum _{i=1}^n\log \left({\displaystyle \frac{kn+i}{kn-n+i}}\right)\\ & ={\displaystyle \frac{1}{n}}\sum _{i=1}^n\log \left({\displaystyle \frac{k+\frac{i}{n}}{k-1+\frac{i}{n}}}\right)\end{array}$$
とでき，$n\to \mathrm{\infty }$とすることで，
$${\displaystyle \underset{n\to \mathrm{\infty }}{lim}\log {\left({\displaystyle \frac{{}_{(k+1)n}{\text{C}}_n}{{}_{kn}{\text{C}}_n}}\right)}^{\frac{1}{n}}={\int }_0^1\log {\displaystyle \frac{k+x}{k-1+x}}dx}$$
である。すなわち（計算過程は省略），
$${\displaystyle \underset{n\to \mathrm{\infty }}{lim}\log {\left({\displaystyle \frac{{}_{(k+1)n}{\text{C}}_n}{{}_{kn}{\text{C}}_n}}\right)}^{\frac{1}{n}}=\log {\displaystyle \frac{(k+1{)}^{k+1}(k-1{)}^{k-1}}{k^{2k}}}}$$
となる。$\log X$は$X>0$で連続な関数なので，
$${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{\left({\displaystyle \frac{{}_{(k+1)n}{\text{C}}_n}{{}_{kn}{\text{C}}_n}}\right)}^{\frac{1}{n}}={(1+{\displaystyle \frac{1}{k}})}^{k+1}{(1-{\displaystyle \frac{1}{k}})}^{k-1}}$$

感想

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

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

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