a,bは実数で、b≠0とする。xy平面に原点O(0,0)および2点P(1,0),Q(a,b)をとる。a,bが△OPQが鋭角三角形となるための条件を満たすとき、m,nを整数として不等式 (m+na)^2-(m+na)+n^2b^2≧0 が成り立つことを示せ。
こちらの問題を教えてください。よろしくお願いします。
|
No.29093 - 2014/09/29(Mon) 13:15:07
| ☆ Re: / _ | | | とりあえず概略を。条件より0<a<1,(a-(1/2))^2 + b^2 > 1/4となる。これを図示したときに境界にも出てくる、(a-(1/2))^2 + b^2 = 1/4で示される円をCとする。
(m+na)^2-(m+na)+n^2b^2≧0 ⇔{(na+m)-(1/2)}^2 + (nb)^2 ≧ 1/4 ⇔点(na+m,nb)がCの周上および外部で示される領域Dにある。
なので、(a-(1/2))^2 + b^2 > 1/4から何かを連想できればいい感じです。
まず、点(a,b)を点(na,nb)にうつす変換を考える。これは原点を中心とする拡大で、この結果円Cは中心(n/2,0)、半径n/2の円C'にうつる。CとC'の共有点は(0,0)のみで、(na,nb)はつねにDにある。 (まわりくどいですが、図にすればすぐです)
次に(na,nb)を(na+m,nb)にうつす。x軸方向へmだけ平行移動させたもので、この結果C'がうつった円C''がCと共有点をもつ事がなければ示すことは明らかで、共有点をもつようなmをとったとしてもそのときはCとC''が接するようにしかとれないので(やはり図にすれば…)、やはり(na+m,nb)がDにあることになる。
上記の解答ではn=0や±1のときは不十分なので別に考える必要などはありますが、まあ概略ということでご自身で補ってください。
|
No.29099 - 2014/09/29(Mon) 17:24:36 |
|