引き続き今年の京都大学の問題を解いていきます。
今回は 理系 第 3 問 ( 文系 第 4 問 ) です。
問題はこちら
を自然数, を
を満たす実数とする.
このとき
を満たす の組 ( ) をすべて求めよ.
( 2017 京都大学 数学 理系 第 3 問 )
(~このとき までは同じ)次の問いに答えよ
( ) 次の条件
( )
を満たす の組 ( ) のうち, であるものをすべて求めよ.
( ) 条件 ( ) を満たす の組 ( ) のうちで, であるものは存在しないことを示せ.
( 2017 京都大学 数学 文系 第 4 問 )
スポンサーリンク
思考過程
題意を満たす の組をすべて求めよとのことですから
の式から の式にするようにしましょう。
となって と は対等ではありません。
まずは を計算してみましょう。
のとき が定義できなくなるのでまずいです。
より
となる およびそのときの が除外されます。
( は整数)
この のとき、 は より となります。
よって が除外されます。
以下、 のもとで考えます。
の計算に戻ると
となるから
ですから
右辺は偶数です
左辺は を右辺に移項すると でくくって積の形にできます。
の形となりました。
2つの自然数の積が奇数となるときその自然数は2つとも奇数です。
よって が奇数であることがわかります。
しかし が奇数であるというだけではたいして を絞り込む情報となりません。
( 奇数は無限個あります )
他に を絞り込む情報はないでしょうか。
式①をみると両辺の は1次です。
について解けそうです。
式①より
の解は ですので を満たす自然数 は存在しません。
よって
・・・①’
左辺は整数ですから右辺も整数でなければいけません。
整数にならない可能性を秘めているのは ですからこの部分が整数になる条件を考えます。
分数式が 以外の整数となるには
( 分子 )≧( 分母 )
となることが必要です。
( 分子 )<( 分母 )
なら分数式の絶対値は より小さくなり 以外の整数をとり得なくなりますが分数式が となるのは分子が のときだけですから結局このとき分数式は整数となりません。
よって
・・・②
が必要です。
②⇔
⇔
⇔
と より
自然数 の取りうる範囲は
となり,さらに が奇数であることを考えると は
または です.
あとは が満たすべき式である①’に または を代入して十分性を確認すれば終わりです.
のとき①’より
となって
のとき①’より
となって不適
よって題意の条件を満たす の組は
( )=( )
のみです.これで問題が解けました.
解答の骨格
1.が不適なことを示し を除外し を導く
2. から とし が奇数であることを導く
3. とし右辺が整数となる条件から の範囲を絞り が または となることを示す
4. または の十分性を確認し,求める組が ( )=( ) しかないことを示す
解答例
( は整数 ) のとき
となり
このとき,
は自然数だから となり に反するため不適.
よって で は自然数だから
のとき
より
これと を①に代入して
・・・②
②の左辺は偶数 ここで法を とすると右辺は
のとき,
のとき,
だから は奇数である
の解は だから
を満たす自然数 は存在しない
よって②より
⇔ ・・・③
③の左辺は整数だから右辺の が整数となることが必要
その条件は
・・・④
④⇔
⇔
と より
自然数 の取りうる範囲は
となり,さらに は奇数であるから は
または
のとき③より
となって
のとき③より
となって不適
よって求める自然数 の組は
( )=( )・・・(答)
まとめポイント
・ を加法定理を用いて展開するときに の値が必要となります.
の値によって が定義されない場合があるのでそのような不適当な およびそのときの の値を除外する必要があります.
・解答例では思考過程と異なり合同式を用いて は奇数であることを示しておきました.
思考過程のような式変形に気付かなかった場合でもこのようにして は奇数であることを示すことができます.
・ ⇔ と式変形して右辺が整数となる条件を考えることが本問最大のポイントです.
まず,右辺の分数式の分子の次数を分母よりも小さくするため,分子を分母で割ります.
こうすることで右辺が整数となるためのより強い評価式を得ることになります.
( とすると になることしかわかりません)
次に,(整数)=(整数)+(分数)の形になるので右辺の(分数)が整数となることが必要になり分数式において条件:(分子)≧(分母)を導きます.
最後にこの条件から文字の範囲が求まるのであとは十分性を確認して終わりです.
最後に
三角関数の加法定理の装飾を施されていますが中身は標準的な整数問題です.
まとめポイントで示した分数式の処理の流れは整数問題の定石ですので必ず身につけるようにしてください.
文系の人は解答例(理系用です)を参考にしてください.本問では ( ) と ( ) を分けないほうが解き易いです.