第2問
(1) 不定方程式 2m−3n=7 の任意の非負整数解 (m,n) に対して,ある非負整数 k が存在して
(m,n)=(ak+b,ck+d)
と表されるとき a,b,c,d の値を答えよ。
(2) 非負整数 k は以下の条件を満たす。
⎩⎨⎧3k+5<(52k+2)2(52k+1)2<3k+6
このとき k として考えられる値すべての総和を求めよ。
(3) x についての方程式 2[x2]−3[5x]=7 の正の実数解が取りうる値の範囲を求めよ。ただし [x] は x を越えない最大の整数を表す。
第2問は整数の問題でした。(1) はオーソドックスな不定方程式を解く問題となります。一次不定方程式ax+by=cの整数解 も参照してください。
また今回の場合は「正」という条件があるので,数字の取り方に注意しましょう。(実際,模範解答の数以外に条件を満たす a,b,c,d はありません。)
第2問 (1)
不定方程式 2m−3n=7 の非負整数解として 2⋅5−3⋅1=7 を取ることができる。与式と辺々引き算をすることで
2(m−5)−3(n−1)=0
が得られる。移項することで
2(m−5)=3(n−1)
である。2 と 3 は互いに素であるため,非負整数 k により m−5=3k,n−1=2k と表される。よって (m,n)=(3k+5,2k+1) が求める解となる。
(2) では連立不等式を満たす整数の和を計算します。まずはそれぞれの不等式を解きましょう。非負整数だけをピックアップできれば良いので,うまく評価をしましょう。
第2問 (2)
条件の不等式をそれぞれ解く。
1つめは,
3k+5<(52k+2)275k+125<4k2+8k+44k2−67k−119>0k<867−5257,867+5257<k
となり,2つめは
(52k+1)2<3k+64k2+4k+1<75k+1504k2−71k−149<0871−1533<k<871+1533
である。
71−153367−5257<71−15⋅5=−4<0<67−5⋅16=−13<0
となる。k が非負整数のときを考えるため,考えるべき不等式は
⎩⎨⎧k>867+52570<k<871+1533
となる。
18<867+5257<19<871+1533<20
と計算されるため,不等式を満たす整数は k=19 のみである。こうして求めるべきものは 19 である。
なお,次のように実数を評価できる。
256<257<289 より 16<257<17 であるため,
67+5⋅16<67+5257<67+5⋅178147<867+5257<8152
となる。8147>18,8152=19 である。
5.62=31.36,5.82=33.64 から
71+15⋅5.6<71+1533<71+15⋅5.88155<871+1533<8158
となる。8158 である。こうして
18<867+5257<19<871+1533<20
となる。
1つめの不等式の評価で 33<36=6 を使いたいところですが,この場合
871+1533<8161=20.125
となりうまく評価できません。
最後の問題はガウス関数を含む方程式を解く問題です。[x2] と [5x] はどちらも整数になるので,(1) の解になることがわかります。整数部分であることから,不等式が得られるので,その不等式に解があることを調べることになります。
第2問 (3)
m=[x2],n=[5x] とおくと,(1) より (m,n)=(3k+5,2k+1) である。
m,n はそれぞれ x2,5x の整数部分であるため,
3k+5≤x2<3k+652k+1≤x<52k+2
を満たす。
これを同時にみたす正の実数 x が存在するためには,これらに共通部分が存在すればよい。すなわち,
⎩⎨⎧3k+5<(52k+2)2(52k+1)2<3k+6
を満たす非負整数 k を求めればよい。
(2) より k=19 である。これを代入することにより,x の範囲は
62≦x<37
である。
解が存在する条件が複雑です。(1) (2) の誘導に乗りながら,焦らず1つ1つ対処していくことがコツですね。