九州大学/2024年度/前期

3九州大学 2024年 数学 第3問解答・解説

数学と人間の活動(整数)数列

1問題

九州大学2024年度第3問

【問題】
以下の問いに答えよ。
(1) 自然数 a,ba,b が a<ba<b をみたすとき、b!a!≧b\frac{b!}{a!}\geqq b が成り立つことを示せ。
(2) 2⋅a!=b!2\cdot a!=b! をみたす自然数の組 (a,b)(a,b) をすべて求めよ。
(3) a!+b!=2⋅c!a!+b!=2\cdot c! をみたす自然数の組 (a,b,c)(a,b,c) をすべて求めよ。

まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。

タイマー

15:00

2答え

答えを見る自分の答えと照らし合わせる
  • (1)
    a<bならb!/a!≧b。
  • (2)
    (a,b)=(1,2)のみ。
  • (3)
    (a,b,c)=(m,m,m)、mは任意の正整数。

3解答

解答を見る途中式つきの解答

解答

(1) aa を固定し、bb について帰納法を用いる。基礎では b=a+1b=a+1 のとき
b!a!=a+1=b. \frac{b!}{a!}=a+1=b.
帰納段階で k>ak>a かつ k!a!≧k\frac{k!}{a!}\geqq k と仮定する。a≧1a\geqq1 より k≧2k\geqq2 なので
(k+1)!a!=(k+1)k!a!≧(k+1)k≧k+1. \frac{(k+1)!}{a!}=(k+1)\frac{k!}{a!}\geqq(k+1)k\geqq k+1.
従ってすべての自然数 b>ab>a で b!a!≧b\frac{b!}{a!}\geqq b。

(2) 2a!=b!2a!=b! とする。もし b≦ab\leqq a なら a!≧b!a!\geqq b! だが、与式から b!=2a!>a!b!=2a!>a! となり矛盾する。よって b>ab>a であり、(1)から
2=b!a!≧b. 2=\frac{b!}{a!}\geqq b.
また a≧1a\geqq1 と b>ab>a から b≧2b\geqq2 だから b=2b=2、続いて a=1a=1。実際に 2⋅1!=2!=22\cdot1!=2!=2 であり、唯一の解は
(a,b)=(1,2). (a,b)=(1,2).

(3)
式は a,ba,b について対称なので、a≦ba\leqq b としてよい。a=ba=b のとき 2a!=2c!2a!=2c! から c=ac=a であり、解は (a,b,c)=(n,n,n)(a,b,c)=(n,n,n) である。

a<ba<b とすると b≧2b\geqq2 かつ a!<b!a!<b! なので
b!<a!+b!<2b!. b!<a!+b!<2b!.
与式より c!=(a!+b!)/2c!=(a!+b!)/2、従って b!/2<c!<b!b!/2<c!<b! となる。b≧3b\geqq3 なら、c≦b−1c\leqq b-1 のとき
c!≦(b−1)!=b!b≦b!3<b!2, c!\leqq(b-1)!=\frac{b!}{b}\leqq\frac{b!}{3}<\frac{b!}{2},
矛盾する。c≧bc\geqq b のときも c!≧b!c!\geqq b! となって矛盾する。残る b=2b=2 では a=1a=1 だが、3=2c!3=2c! は不可能である。よって a<ba<b の場合に解はない。対称性を戻せば、求める解は (a,b,c)=(n,n,n)(a,b,c)=(n,n,n)(正整数 nn)のみ.

読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。

この問題で使う考え方

  • 数学的帰納法
  • 矛盾法
  • 階乗比の評価
  • 必要条件で候補を絞り代入検算

答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。

九州大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

次にやること

同じ年度の次の問題第4問へ進む場合の数と確率

九州大学のほかの年度

似た問題を、ほかの大学で