1. 高校数学の美しい物語
  2. フロベニウスの硬貨交換問題

フロベニウスの硬貨交換問題

更新日時 2021/03/07

AABB が互いに素なとき,AA 円の硬貨と BB 円の硬貨を使って支払えない金額の最大値は (ABAB)={(A1)(B1)1}(AB-A-B)=\{(A-1)(B-1)-1\} 円。

フロベニウスの硬貨交換問題(硬貨が二種類の場合)についての美しい結果とその証明の解説。

目次
  • フロベニウスの硬貨交換問題について

  • 定理の証明1

  • 定理の証明2

  • シルベスターの定理

フロベニウスの硬貨交換問題について

・与えられた何種類かの硬貨を使って「払えない金額の最大値(フロベニウス数と呼ばれる)」を求める問題をフロベニウスの硬貨交換問題と言います。硬貨が二種類の場合には冒頭に挙げた美しい結果が得られます。

・大学受験や数学オリンピックでも出題されたことがある有名問題です。例えば,以下は2000年JMO予選第二問です。

例題

3a+5b3a+5b (ただし a,ba,b は非負整数) の形で表わせない正の整数の最大値を求めよ。

解答

数字が小さいので具体的に実験していけば答えを求めるのは難しくありません。しかし,冒頭の定理を認めれば一発です!

A=3,B=5A=3,\:B=5 の場合なので答えは 1535=715-3-5=7

  • 硬貨が三種類以上の場合には,冒頭のような綺麗な結果は知られていません。
  • AABB が互いに素という条件は必須です。もし AABB がともに d(2)d(\geq 2) の倍数だと,dd の倍数以外の金額はどう頑張っても支払えません。

定理の証明1

主張を二つに分解します。

主張1:( ABABAB-A-B )円はどう頑張っても支払えない

主張2: (ABAB+1)(AB-A-B+1) 円以上はうまくすれば支払える

まずは比較的簡単な主張1から証明します。

証明

背理法で証明する。もし ABABAB-A-B 円が支払えると仮定すると,非負整数 x,yx,\:y が存在して

Ax+By=ABABAx+By=AB-A-B (※)となる。

変形すると,B(y+1)=A(B1x)B(y+1)=A(B-1-x)

右辺が AA の倍数であることと AABB が互いに素であることから y+1y+1AA の倍数。同様に,B1xB-1-xBB の倍数。つまり x+1x+1BB の倍数。

よって,x+1Bx+1\geq B かつ y+1Ay+1\geq A なので,

Ax+ByA(B1)+B(A1)=2ABABAx+By\geq A(B-1)+B(A-1)=2AB-A-B

となり,(※)に矛盾。

定理の証明2

主張2の証明にはベズーの定理を使います。→一次不定方程式ax+by=cの整数解

AABB が互いに素なとき,Ax+By=kAx+By=k を満たす整数 x,yx,y が存在するという定理です。難関大の入試にちょうどよいレベルです。

証明

kABAB+1k\geq AB-A-B+1 のとき,Ax+By=kAx+By=k を満たす非負整数 x,yx,y が存在することを証明する。

ベズーの定理より Ax+By=kAx+By=k を満たす(非負とは限らない)整数 x,yx,y が存在する。そのような解は無数にあるが,x0x\geq 0 なる解の中で xx が最小なものを (x0,y0)(x_0,y_0) とする。

すると 0x0B10\leq x_0\leq B-1 である(なぜなら,(x,y)(x,y) が解なら (xB,y+A)(x-B,y+A) も解だから)。

よって,

y0=1B(kAx0)1B{ABAB+1A(B1)}=1B1>1y_0=\dfrac{1}{B}(k-Ax_0)\\\geq \dfrac{1}{B}\{AB-A-B+1-A(B-1)\}=\dfrac{1}{B}-1 > -1

よって,y00y_0\geq 0 となり,非負の整数解 (x0,y0)(x_0,y_0) が構成できた。

シルベスターの定理

以上より,AA 円と BB 円の硬貨で払えない額 kk として考えられるのは,1kABAB1\leq k\leq AB-A-B の範囲のものです。 その候補たちの中で実際に支払えない額は (A1)(B1)2\dfrac{(A-1)(B-1)}{2} 通りであることが知られています(シルベスターの定理)。

さきほどの A=3,B=5A=3,\:B=5 の場合において,支払えない額は 1,2,4,71,\:2,\:4,\:7 の四通り。これは 2×42=4\dfrac{2\times 4}{2}=4 と一致している。

大学入試でも出題されたことがあるのですが,どこの大学の問題か忘れてしまいました。

人気記事
  1. 高校数学の美しい物語
  2. フロベニウスの硬貨交換問題