n
以下の数値を追加して、結果を得るすべての方法を検討してくださいm
。あなたが言ったように、私たちはこれを呼びますp(n,m)
。たとえば、p(7,3)= 8は、以下に示すように3未満の数値から7を作成する8つの方法があるためです:(簡単にするために、常に大きいものから小さいものの順に数値を追加すると仮定できます)
- 3 + 3 + 1
- 3 + 2 + 2
- 3 + 2 + 1 + 1
- 3 + 1 + 1 + 1 + 1
- 2 + 2 + 2 + 1
- 2 + 2 + 1 + 1 + 1
- 2 + 1 + 1 + 1 + 1 + 1
- 1 + 1 + 1 + 1 + 1 + 1 + 1
これで、これらの組み合わせを2つのグループに分割できます。
最初の要素がm
(この例では= 3)に等しい組み合わせ:)
- 3 + 3 + 1
- 3 + 2 + 2
- 3 + 2 + 1 + 1
- 3 + 1 + 1 + 1 + 1
最初の要素が以下の組み合わせm
:
- 2 + 2 + 2 + 1
- 2 + 2 + 1 + 1 + 1
- 2 + 1 + 1 + 1 + 1 + 1
- 1 + 1 + 1 + 1 + 1 + 1 + 1
の組み合わせのすべてのメンバーはp(n,m)
Group1またはGroup2のいずれかにあるため、と言うことができますp(n,m)=size(Group1) + size(Group2)
。今、私たちがそれを証明しsize(Group1)=p(n-m, m)
、size(Group2)=p(n,m-1)
代用によって私たちが到達する場合p(n,m)=p(n-m,m)+p(n,m-1)
証明するsize(Group1)=p(n-m, m)
:
前述の定義によると、以下の数を追加することによってp(n-m, m)
得られる方法の数です。n-m
m
m
の各組み合わせに追加するp(n-m, m)
と、Group1のメンバーになります。それでp(n-m, m) <= size(Group1)
m
Group1の各メンバーの最初を削除すると、の組み合わせになりp(n-m, m)
ます。それでsize(Group1) <= p(n-m, m)
=> size(Group1) = p(n-m, m)
。この例では:
Group1<===対応===>p(4、3):
- 7 = 3+
3+1
<===========> 3+1
= 4
- 7 = 3+
2+2
<===========> 2+2
= 4
- 7 = 3+
2+1+1
<=======> 2+1+1
= 4
- 7 = 3+
1+1+1+1
<===> 1+1+1+1
= 4
したがって、とGroup1のメンバーの間には1対1の対応がp(n-m,m)
あり、それらのサイズは同じです。
証明するsize(Group2)=p(n, m-1)
:
定義上、は、以下(未満)の数値を追加p(n,m-1)
することによって得られる方法の数です。Group2の定義を読み直すと、これら2つの定義が互いに同じであることがわかります。n
m-1
m
=> size(Group2) = p(n, m-1)