【4】 以下の文を読み,その中にある問に答えよ.
自然数とは正の整数を意味する.
を以上の自然数とする.が個の自然数の和になっているとき,すなわち
となるとき,をの分割と呼ぶことにする.
例えば,はと表すことができるので,はの分割である.
の分割に対し,からの積をで表すことにする.例えば,前述のの分割であるの場合,
となる.
のことを分割の積と呼ぶことにする.自然数に対し,の分割の積の最大値を求めてみよう.
以下,簡単のためはと減少していると約束する.例えばのとき,分割は
の通りある.それぞれの分割について積を計算するとであるから,積は分割がのとき最大値をとる.
問1:の場合にの分割をすべて列挙し,積の最大値を求めよ.
の分割のうち,積が最大となるものについて次が成り立つ.
命題:をの分割のうち積が最大であるものとする.このときとなるは存在しない.
命題の証明:背理法で示す.すなわち,あるについてであると仮定して,予盾が生じることを示す.
あるについてであるからである.
問2:下線部の「である」がなぜ成り立つのか説明せよ.
ならばでが以上の自然数にならないのでである.よってはの分割であり,
が成り立つ.
問3:上の不等式を示せ,
これはがの分割の中で積が最大であることに矛盾する.
[命題の証明終わり」
以下,の分割は,の分割のうち積が最大であるものとする.の分割の中で積が最大となる分割はいくつか存在するかもしれないが,そのうちのつを選ぶわけである.上で示した命題より,すべてのについてである,
の分割がとなるを含むとする.このときは以上の自然数となる.よってと表せば,は以上の自然数によるの分割である.からを除いて,とを含めることで,の個の以上の自然数による分割が得られる,これをと表すことにする.
であることからである.はの分割の中で積が最大のものであったからも積が最大のの分割となる.
上の操作で得られたの分割について,さらにとなるが存在する場合,を除いてとを含めることで,の分割の中で積が最大となる新たな分割が得られる.
ここまでの操作を繰り返すことで,次の主張が成り立つ,
主張:の分割の中で積が最大という性質を変えずに,以上の自然数を持たない分割に変えることができる.
このようにしてつくられたの分割を,あらためてとする.であることも考慮すると,各はまたはとなる.
以下,は,の分割のうち積が最大であるもので,さらに,
であるとする.つまりとなるが個,となるが個あるとする.ただしはをみたす整数でのときはとなるが存在しない,のときはとなるが存在しない,と考える.
ここでであると仮定する.であり,
であるので,つのをつのに置き換えることで,積がより大きい分割をつくることができる.これはがの分割のうち積が最大であることに矛盾する,であると仮定して矛盾が生じたのでである.
よっての分割のうち積が最大であるもののつとして,
と表される分割があることがわかった.逆に,以上の自然数について,この形で表される分割がただつだけあることがわかる.これによりの分割の積の最大値が決定できる.
問4:の場合にの分割の積の最大値を求めよ.(例えばのように,累乗の積で表してよい.)