Catalan 数の一般化
をたがいに素な自然数とする.
座標平面上を,右に1または下に1だけ移動することをくりかえして,右に ,下に だけ移動する経路全体の集合を とする.このうち始点と終点を結ぶ直線より右上を通らない経路は,
通りある.
証明
- に属する経路は
通りある. - 経路 に対し, と右に1だけ移動することを交互に無限回くりかえす経路を とおく.
- 逆に,経路 において,途中,右に1だけ移動した直後の点 に対し, で を切ると, に属する経路(+右に1だけ移動)が得られる.
- 切り方は 通りある.
- がたがいに素であることより,異なる切り方に対し, に属する異なる経路が得られる.
- これによって, に属する経路を 個ずつに分けることができる.
- 通りの切り方のうち, が最大となる点 で切るものがただ1つある.
- この切り方は, に属する経路のうち,始点と終点を結ぶ直線より右上を通らないものにちょうど対応している.//