20/06/21 16:05:00 nFN2fLDa.net
>>568
k = n
（適当な証明）
n = 1 のときは明らか。
n > 1 のとき、次の主張が成り立つ。
主張「 1 ≦ k < n のとき、 (n,k) + (n+k,k) < (2n,n) 」
主張が正しければ、 k = n のときに最大となることがわかる。
補題1「 1 ≦ k < n のとき、 (2n-1,n-1) ≧ (n+k,k) 」
（補題1の証明）
数列 (n+k)!/k! を考えると、これは k について単調増加であるので、
(2n-1)!/(n-1)! ≧ (n+k)!/k! より (2n-1,n-1) ≧ (n+k,k) が従う。
補題2「 1 ≦ k < n のとき、 (n+k,k) > (n,k) 」
（補題2の証明）
明らか。あるいは、ヴァンデルモンドの畳み込みから、
(n+k,k) = Σ[j=0,k] (n,j)(k,k-j) > (n,k) より成り立つ。
（主張の証明）
パスカルの三角形より、
(2n,n) = (2n-1,n-1) + (2n-1,n) であり、二項係数の対称性から
(2n-1,n) = (2n-1,n-1) であるので、
(2n,n) = 2(2n-1,n-1)
あとは補題1と補題2から主張が従う。
エレガントな証明は他の人に譲ります