Evolton

大阪大学 2017年度 前期日程 第2次学力試験理系数学 第3問

a,b を自然数とし、不等式ab7<2b4(A)を考える。ただし、2.645<7<2.646であること、および 7 が無理数であることを用いてよい。

(1) 不等式 (A) を満たし b2 である自然数 a,b に対してab+7<6であることを示せ。

(2) 不等式 (A) を満たす自然数 a,b の組のうち、b2 であるものをすべて求めよ。

難易度6/ 10計算量5/ 10目安22

整数方程式・不等式 不等式評価、範囲評価、場合分け

方針

(A)を直接満たす分数を探すのではなく,a27b2という整数に変換して候補を絞る。(1)でab+7を6未満に押さえ,(2)ではa27b2<12/b2を得る。7が無理数であるため左辺は0でない整数となり,b=2,3だけを調べればよい。最後に候補(8,3)が元の(A)を満たすことを必ず確認する。

解答

(1)
(A)とb2より ab<7+2b47+18 である。したがって ab+7<27+18 である。与えられた7<2.646を用いると 27+18<22.646+18=5.417<6 である。またa,bは自然数なのでab+7>0である。よって ab+7<6 が成り立つ。

(2) 7は無理数なので,整数a27b2は0ではない。したがってa27b2は正の整数である。

(1) を用いるとa27b2=b2(ab)27=b2ab7ab+7<b22b46=12b2である。よって 1a27b2<12b2 であるから,b2<12でなければならない。b2より,調べるべきものは b=2,3 だけである。 b=2のとき a228<3 である。つまり 25<a2<31 であるが,この範囲に平方数はない。 b=3のとき a263<43 である。したがって 1853<a2<1933 であり,この範囲にある平方数は64だけである。よって a=8 を得る。

最後に(a,b)=(8,3)が(A)を満たすことを確認する。837=649783+7=19(83+7)である。7>2.645>115より 83+7>83+115=7315>92 だから837<1992=281=234である。したがって求める組は (a,b)=(8,3) である。

別解

解法2

方針

(1) の評価と 7 の無理性から、a27b2 を0でない整数として b=2,3 まで絞る。その後は平方数を調べる代わりに、もとの近似不等式を a の短い開区間へ直して整数 a を直接読む。

解答

(1)
(A)b2 よりab<7+2b47+18.したがって0<ab+7<27+18<22.646+18<6.よってab+7<6.(2)
7 は無理数なのでa27b20.よって a27b2 は正の整数である。(1)と (A) を掛け合わせると1a27b2=b2ab7ab+7<b22b46=12b2.したがって b2<12b2 だからb=2またはb=3.b=2 のときa27<18.2.645<7<2.646 を用いると2.520<a2<2.771,すなわち5.040<a<5.542.この範囲に自然数 a はない。

b=3 のときa37<227.また7.935<37<7.938だから7.86<a<8.013.よって唯一の候補は a=8 である。

最後に837=19(83+7).7>11/5 より83+7>83+115=7315>92.したがって837<1992=281=234.よって求める組は(a,b)=(8,3)である。

総評

難度6,計算量5。目安時間は22分。有理近似をa27b2という整数条件へ変換するのが核心である。(1)の上界は(2)でそのまま使うため,b2から2/b41/8を丁寧に書いておきたい。7が無理数なので左辺が0でない整数になる点,候補を出した後に元の(A)へ代入して確認する点が主要な採点箇所である。

冊子PDFで見る阪大の整数の問題で問題集を作る

出典: 大阪大学 2017年度 前期 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。