過去問データベース 過去問を探す

大阪大学 2017年度
理系数学 第3問

問題

を自然数とし、不等式

を考える。ただし、

であること、および が無理数であることを用いてよい。

(1) 不等式 を満たし である自然数 に対して

であることを示せ。

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

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

方針

解法1

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

解法2

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

解答

解法1

(1)

(A)とより である。したがって である。与えられたを用いると である。または自然数なのでである。よって が成り立つ。

(2)

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

(1)を用いると

である。よって であるから,でなければならない。より,調べるべきものは だけである。 のとき である。つまり であるが,この範囲に平方数はない。 のとき である。したがって であり,この範囲にある平方数はだけである。よって を得る。

最後にが(A)を満たすことを確認する。

である。より だから

である。したがって求める組は である。

解法2

(1)

より

したがって

よって

(2)

は無理数なので

よって は正の整数である。(1)と を掛け合わせると

したがって だから

のとき

を用いると

すなわち

この範囲に自然数 はない。

のとき

また

だから

よって唯一の候補は である。

最後に

より

したがって

よって求める組は

である。