『釣り銭をなくせ!』

『釣り銭をなくせ!』解答


◆広島県 清川 育男さんからの解答。

 カタラン数になることが予想されます。
最初は500円硬貨を持った生徒から集金します。

n=1→1
n=2→2
n=3→5
n=4→14
2nn
――――
n+1
2n!
――――――――
n!×(n+1)!

三角形に分けると」と同じ問題になるのが不思議です。
証明がまだ出来ません。
算チャレメーリングリストでもカタラン数が話題になっています。


【コメント】

 うーむ、するどい。
証明は書こうと思うと結構大変ですが、ぜひお願いします。
私も「三角形に分けると」と同じというのは不思議です。


◆広島県 清川 育男さんからの解答。

 500円玉を持っている生徒n人、1000札を持っている生徒n人を1列に並べる。
その場合の数は、2nn 通りです。

何番目でもいいが、仮にm番目の千円札を持っている生徒でつり銭が出せない場合を考える。
つり銭が出せない場合の数は、2nn-1通りです。

したがって、つり銭がいらないで、2n人の生徒から集金が出来る場合の数は、

 2nn2nn-1

2nn
――――
n+1

2n!
――――――――
n!×(n+1)!

論理的に飛躍があるかもしれませんが、大筋はこのようなものだと思います。

カタラン数を考えるとき、本質的でかつシンプルで非常に良い問題だと思います。 


【コメント】

 これは分かりやすい計算ですね。
三角形に分けると」の解答の中の回帰的な公式を使って示しても、面白いのではないでしょうか。


◆広島県 清川 育男さんからの解答。

2n!
―――――――――
n!×(n+1)!

数学的帰納法により証明する。

n=1 のとき 500,1000 の1通り。  
2!
―――――――――
1!×(1+1)!
=1

n=k のとき
χ=2k!
―――――――――
k!×(k+1)!
が成り立つと仮定する。

n=k+1 のとき
(2k+2)番目、即ち最後の生徒は1000円札を持った生徒になる。
500円玉を持った生徒の列に入ることのできる場所は、(2k+1)箇所。
この列はつり銭なしに集金できる。
またこの列の2k番目の生徒と(2k+1)番目の生徒を入れ替えた列も、つり銭なしに集金できる。
このことはどの列に対しても言える。

(χ×(2k+1)×2)は、実際に可能な列のY倍になっている。

Y=(k+1)+11k+21=k+2。

したがって求める列の場合の数は、
 
2k!
―――――――――
k!×(k+1)!
×(2k+1)×2
―――――――――
k+2

2k!×(4k+2)
―――――――――
k!×(k+2)!

分子、分母に(k+1)を掛ける。

(k+1)×(4k+2)×2k!
――――――――――――――
(k+1)×k!×(k+2)!

(2k+2)×(2k+1)×2k!
―――――――――――――――
(k+1)!×(k+2)!

(2(k+1))!
―――――――――――――――
(k+1)!×((k+1)+1))!

上式は n=k+1 のときも成り立つことを表わしている。
以上です。

カタラン数の漸化式の一つとして、
n+14n+2
――――――
n+2
×An
も成り立つと思います。


◆石川県 数学好き さんからの解答。

 解答ではないのですが、ようやく問題の意味が分かりました。

五百円玉を●、千円札を○で表すと、

・n=1の時、

  1. ●○ の1通り。
・n=2の時、
  1. ●○●○
  2. ●●○○ の2通り

・n=3の時、

  1. ●●●○○○
  2. ●●○●○○
  3. ●○●●○○
  4. ●●○○●○
  5. ●○●○●○ の5通り
というわけですね。
常におつりの500円を先に持っていることがポイントですね。


◆出題者の 水の流れ さんの解答。

問題の中で、500円玉を払うのをA,1000円玉を払うのをBとします。
釣り銭がないので、常にAの数がBの数より等しいか大きければよいのです。

n=1のとき、AB の1通り
n=2のとき、AABB,ABAB の2通り
n=3のとき、
 AAABBB,
 AABABB,
 AABBAB,
 ABAABB,
 ABABAB の5通り

ここで、考え方を変えて、これをAを→、Bを↑と表せば、
→がn個、↑ がn個の同じものを一列に並べる方法と考えられます。

だから、碁盤の目をした最短経路の問題に変化していきます。
分かり易くするために、求める数をK(n)とすると、
K(1)=1,K(2)=2,K(3)=5
は図を書いて、分かるとします。

このK(n)の数列をカタラン数と言います。

n=4のときを描きます。
図のような△ABCの最短経路の道筋がK(4)になります。

<考え方からの副産物>
K(4)を求めるのに、

(@)B1を通るとき、Aから B1を通り、△B1DBの最短経路K(3)の道筋

(A)B1を通らず、B2を通るとき、
△GHLの最短経路K(1)から、道路LB2を通り、△B2EBの最短経路K(2)の道筋

(B)B1、B2を通らず、B3を通るとき、
△GIMの最短経路K(2)から、道路MB3を通り、△B3FBの最短経路K(1)の道筋

(C) 最後に、B1,B2、B3を通らず、Bに行く場合は
△GCFの最短経路K(3) に等しい。

よって、
 K(4)
= K(3)+K(1)K(2)+K(2)K(1)+ K(3)
=5+1×2+2×1+5=14 になります。

これは、一般に K(0)=1と決めておけば、

K(n)=K(0)K(n−1)+K(1)K(n−2)+K(2)K(n−3) +・・・+K(n−1)K(0)

という、漸化式が成り立ちます。

また、こんな数え方(書き込み方式)もできます。

              14B
              ↑ 
            5→14F
            ↑ ↑
          2→5→9E 
          ↑ ↑ ↑
        1→2→3→4D 
        ↑ ↑ ↑ ↑
      A→1→1→1→1C
さらに、斜めの線に関しての対称性に気がつけば、
K(4)= 1×1+3×3+2×2=14
K(5)= 1×1+4×4+5×5=42
K(6)= 1×1+5×5+9×9+5×5=132
したがって、カタラン数K(n)は何個かの平方数の和でできています。

さて、本題に入ります。n=4で描きます。

□DACBの最短経路の道筋は、階乗の記号を使えば、
(4+4)!÷(4!×4!)=70 通り あります。

ここから、対角線ABと交わる経路が不適ですから、この不適な経路を求めます。
例えば、図の太線の経路は不適ですが、これを直線T1T4について対称移動します。
ただし、直線T1T4に始めて出会った点から後の部分のみを対称に曲げて図の太い波線を考えると、全ての不適な経路は□AEFGの最短経路の数に等しくなります。

これは、 (5+3)!÷(5!×3!)=56 通りとなり、
求めるカタラン数K(4)は、組合わせの記号をC(n,r)とすれば、
K(4) =C(8,4) −C(8,3)=70−56=14 になります。

一般に、
 K(n)
=C(2n,n) −C(2n,n−1)
=C(2n,n)÷(n+1)
となります。

そこで、また、問題です。
次の台形ABCDの最短経路は何通りありますか。


研究 カタランの問題の原典

いくつかの数の積は、2つずつの数の積の計算を繰り返して行っている。
だから、どの2つずつの積を作っていく方法の数はどうなるかという問題(カタランの問題)が、1838年にカタランによって論じられた。
n個の数の順序が変わらない積の総数をC(n)とし、
n個の数の順序を変えても良い積の総数をR(n)とする。

具体例をn=1,2,3,4で見ます。

(1) n=1のとき、C(1)=1、R(1)=1と考えておく。

(2) n=2のとき、数をa,bと書くと、積は ab,ba の2通りで、
C(2)=1、R(2)=2 となる。

(3) n=3のとき、数をa,b,cと書くと、積は

(ab)c,a(bc),(ac)b,a(cb),
(ba)c,b(ac),(bc)a,b(ca),
(ca)b,c(ab),(cb)a,c(ba)

12通りで、C(3)=2、R(3)=12 だとわかる。

(4) n=4のとき、数をa,b,c,dと書くと、数の順序がa,b,c,dとなる積は

((ab)c)d,(ab)(cd),(a(bc))d,
a((bc)d),a(b(cd))

の5通りなので、
C(4)=5、R(4)=C(4)×(4!)=5×24=120。

*注:前述のk(n)とC(n)の関係は
C(n)=K(n−1) です。

*参考:n≧2のとき、次の性質があります。

  1. R(n+1)=(4n−2)R(n)

  2. R(n)=2・6・10・14・・・(4n−6)

  3. C(n)= R(n)/n!

  4. C(n+1)={(4n−2)/(n+1)}C(n)

  5. K(n+1)={(4n+2)/(n+2)}K(n)・・・
    (漸化式の発見)




さらに、1751年にオイラーは、ゴルトバッハへ次のような問題を手紙に書いている。
「平面上で、凸n角形を対角線によって3角形に分割する方法の数E(n)はどなるでしょう。
ただし、互いに交わらない対角線のみを使用するものとする。」
具体例でn=3,4,5、・・・を考えます。
(1) n=3のとき、E(3)=1と都合によって考えます。
(2) n=4のとき、E(4)=2は自明
(3) n=5のとき、E(5)=5は図を書いてみます。

*注: E(n)=C(n−1)=K(n−2)の関係となる。

参考:1758年にセニェールが発見した漸化式

E(n)=E(2)E(n−1)+E(3)E(n−2)+E(4)E(n−3)・・・+E(n−1)E(2)
最後に、カタラン数列を書きます。
{1,2,5、14,42,132,・・・}

なぜ、日常生活のこれらの現象が1つの数列として、見なされるか不思議です。


 『釣り銭をなくせ!』へ

 数学の部屋へもどる