2012年京大入試理系数学第3問その2

どもども。

前回は今年の京大入試理系数学の第3問をやりました～
今回は別の手法でこの問題を考えてみます
前回：http://blog.goo.ne.jp/mathnegi/e/2b66ed8cc2a052c6ff52a4c29b1988f6
問題：http://www.yozemi.ac.jp/nyushi/sokuho/recent/kyoto/zenki/sugaku_ri/mon3.html

前回は，X=x+y，Y=xy という変数変換を使いましたが，
今回はまずは線形変換を使ってみましょう。

x^2+xy+y^2=6 が表す楕円を短軸と長軸がｘ軸，ｙ軸となるように
すなわち AX^2+BY^2=C の形になるようにX，Yをとってみたいと思います。
x^2+xy+y^2 という式はいわゆる2次形式と呼ばれてるもので，
対称行列（元の行列とその転置行列が等しい行列）を使って行列の積表示に直すことができます。
ここに現われる対称行列の対角化を利用して欲しい変換を手に入れます



とまぁ，固有値と固有ベクトルを求めますです。
固有ベクトルは絶対値が１になるように正規化したものを使います。
何やらcos45°，sin45°を匂わすような√2とか出てきますね



ここで出てきたＴは直交行列と呼ばれます。転置をとると元の行列の逆行列になっています。
正規化するのは実はＴを直交行列にするためだったり。
そーいうコトを大学の線形代数で学びますよ～。

そもそも x^2+xy+y^2 はx，yの対称式でした。
一般にy=f(x)のグラフと逆関数x=f(y)のグラフは直線y=xに関して対称になっていますが，
そのことからx，yに関して対称な関数（あるいは曲線）というのは直線y=xに関して
線対称になっていることが分かるかと思います。 x^2+xy+y^2=6 もまさにそれで，
短軸と長軸が直線 y=x，y=-x になっています。先ほど45°ぽい数字が出てきたのはそういうことだったんですね。
なのでそれを意識すればわざわざ固有値の計算とかしなくても上手い変数変換を見つけられたりするわけですね。
√2 なしで X=ｘ－ｙ，Y=ｘ＋ｙ とおいた方が，この後の計算が実は楽になったりもするかも

さて，手に入れた新変数を使って解析を進めます。



x^2y+xy^2-x^2-2xy-y^2+x+y＝k をX，Yの式で表します。
X^2＝の形に直すと少し扱いやすそうなYの関数が得られました。
どちらかというとXとYが逆の方が見栄えがイイデスネ
ついでにXに付いた2乗が邪魔です。
というわけでX^2=y，Y=xという風に更に置き直してしまいました。
Xに付いた2乗を無くしたおかげで楕円が2次関数になっちゃいましたよ
X^2=yとおいたので，y≧０の部分のみを考えなければならないことに注意です。

f(x)=(x-√2)^2-(√2/x)k は，放物線 y=(x-√2)^2 と双曲線 y=(√2/x)k
の各xに対するｙ座標の差として考えることができますね。
y≧０で考えるので，放物線の方が大きい部分を考えなければなりません。
これでイメージを膨らましながらy=f(x)のグラフを考えてみましょう。
ｋ＞０，ｋ＝０，ｋ＜０の場合に分けて考察します。

まずはｋ＞０の場合を考えますが，放物線 y=(x-√2)^2 と双曲線 y=(√2/x)k は
必ず交点を持つことが分かります
交点のｘ座標がy=f(x)の零点になるわけですね。
ｋが大きい時は交点が1個ですが，小さくなると複数になります。

とりあえずy=f(x)のグラフをｘ＞０部分とｘ＜０とに分けて考えて
それぞれが放物線 y=-3x^2+12 と交点を持つようなkの範囲を求めます





続いて，放物線と双曲線が交点を複数持つ場合です。
前回，元の変数のままでｋを動かしてグラフの変化を見てみましたが
途中で真ん中に変な島みたいなのが出現しましたよね。
それに相当する部分ですかね，この交点が複数現われて来る現象は～。



ｋを０に近づけていくとどんどんαは√２に近付いていきます。
だから相変わらずy=f(x)のグラフは放物線 y=-3x^2+12 と交わるんですね。
ｋ＝０の時も問題ありません。
ｋ＜０の場合もまったく同様に考えます。



というわけでy=f(x)のグラフが放物線 y=-3x^2+12 と交点を持つような
ｋの範囲を求めることができました
やはり骨が折れますね
試験場でこんな大層なことをやることはまず不可能でしょう

次回はメンドクサイ解法をもう１パターンやってみます（まだやるんかーい ）

　

2012年京大入試理系数学第3問その1

どもども。


今回は今年の京大入試理系数学の第3問をやります
問題はこちら
http://www.yozemi.ac.jp/nyushi/sokuho/recent/kyoto/zenki/sugaku_ri/mon3.html

第2問と同様に，誘導とかは無いので自分でアプローチ方法を探らなければなりません。
一番シンプルな発想は， x^2y+xy^2-x^2-2xy-y^2+x+y＝k とおいて，
kをパラメータだと思って色々動かします。2次曲線 x^2+xy+y^2=6 と交点を持つような
kの範囲を求めるという方法ですね
しかしまぁ，それは恐ろしく複雑骨折級に骨が折れる作業なのですよ。
骨だけでなく心も折れます
とても試験場でやれる作業ではありません。
ていうか時間があってもやる気が起きません

さて， x^2y+xy^2-x^2-2xy-y^2+x+y も x^2+xy+y^2 も
わかりやすーくx,yの対称式になっていますね～
ということは基本対称式 x+y，xy の多項式で表現できます
そこで，X=x+y，Y=xy とおいて新変数X,Yを主役にして考えてみることにしましょう。
もしかしたら考えやすくなるかも，という期待を込めて

X=x+y，Y=xy という変換はよく使いますが，その際に必ずセットで付いてくるのは
(X,Y)の存在範囲を確かめることですね。
x,yが全実数を動いたとしてもX,Yは全実数を動くわけでは無いんですね～。



1変数Xの３次関数の考察になってしまったので，随分スッキリしましたね
あとはいつものように微分して増減表なりグラフなりを描いて値域を求めておしまいで御座います。



文字の置き換えによって劇的に簡単に解けてしまいましたね～。
では，元の変数のままでやったらどうなるんでしょうか。
最初に挙げたように素朴に x^2y+xy^2-x^2-2xy-y^2+x+y＝k とおくパターンです。
位置を比較するもう一方の曲線 x^2+xy+y^2=6 は斜めに傾いた楕円です。
3次曲線 x^2y+xy^2-x^2-2xy-y^2+x+y＝k の概形を考えるだけでもしんどいのに
そのあと傾いた楕円と接する条件を考えるのは，もうペンをぶん投げたくなりますね

参考までに，グラフを描いた図を挙げておきます

・k＜－８－６√２のとき

赤いのが x^2y+xy^2-x^2-2xy-y^2+x+y＝k で
青いのが楕円 x^2+xy+y^2=6 です。
赤い方は何やら３つのパートからなるみたいですね，やはり考察はめんどくさそうです！

・k＝－８－６√２のとき

赤と青が接するｋの最小値です。赤はだんだん中心に向かって迫ってくるようです。

・－８－６√２＜k＜０のとき



上はｋ＝－８，下はｋ＝－０.４のときです。
このときは赤と青は複数の交点を持っていますね。

・ｋ＝０のとき

赤が退化して直線３本になっちゃいました～
そういえば x^2y+xy^2-x^2-2xy-y^2+x+y＝(x-1)(y-1)(x-y)
と因数分解できるんですよ

・０＜ｋ＜３のとき



上がｋ＝０.２，下がｋ＝０.４の場合です。
上の方，なんだか真ん中に何かあります
ｋ＝０の時の真ん中部分が分離して小さな島のように残っちゃうんですね。
この島はｋが大きくなるにつれ小さくなってやがて消滅します。
外側の３つの部分も向きが変わりました。
ｋが大きくなるにつれてどんどん遠くに向かっていくようです。

・ｋ＝３のとき

これが赤と青が接するｋの最大値です。

・ｋ＞３のとき

赤と青は交点を持たず赤はどんどん中心から遠ざかっていきます。

素朴な手法でこの問題を解くには今挙げたこの変化の様子を
せっせと調べなければいけないわけです。イヤですね～～

せめて楕円の長軸と短軸がｘ軸とｙ軸と一致していれば少しは
考察しやすくなるかもなんですが～

というわけで次回は少しメンドクサイ解法でこの問題にトライしてみます。

2012年京大入試理系数学第2問

どもども。

今回は今年の京大入試理系数学の第2問をやります
問題はこちら
http://www.yozemi.ac.jp/nyushi/sokuho/recent/kyoto/zenki/sugaku_ri/mon2.html

正四面体の切断面が正三角形ならその面は底面に平行だということを確かめる問題です。
誘導などは用意されていないので自分でアプローチの仕方を探ることになります。

さてさて，△ＡＢＣも△ＰＱＲも正三角形でＡＰ，ＢＱ，ＣＱが1点Ｏで交わるのだから，
この2つの三角形は相似の位置にあるじゃないかだから対応辺同士が平行なのは当然だ

と思ったそこのアナタその推論は本当に当たり前ですか？

後半ではそんな話にも触れてみます


とりあえず，正四面体ＯＡＢＣは1辺の長さを１として，
またＯＰ＝ｐ，ＯＱ＝ｑ，ＯＲ＝ｒとおいておきましょう。

まずはこういう問題を解くのに便利なベクトル様を用いた解法を挙げてみます。幾何的考察はほぼせずに計算だけで終わってしまうのが魅力です




後半の(イ)は (r-q)(p-q-r)=0 と同様に得られる (p-r)(q-r-p)=0 に代入してもＯＫです
この手の式は対称性から，1個求めておけばあとはサイクリックに文字を置き換えるだけで
他の式が得られます。

ベクトルの代わりに余弦定理を用いても同様の解答に仕上がります



(ア)(イ)の場合分けを考察するのに幾何的アプローチを用いるのもアリです。
(ア)のときは既にＱＲ//ＢＣが得られています。こうなるともはや△ＯＰＱと△ＯＰＲが
正三角形になることを述べるのは容易いはず。
(イ)のときはｐ＞ｑ＞ｒを仮定して構いません。そのときにＰＱ＝ＱＲ＝ＲＰとはなり得ないことをいえばＯＫ。



最初から幾何的考察でアタックするのもいいですね～
ｐ＞ｑ＞ｒと仮定して矛盾を導きましょう。
ＰＱ＝ｋとします。線分ＯＱ上の点ＳでＰＳ＝ｋとなる点は多くても2個しかありません。
そのうちの1個はＱです。もう一方をＳ'とすると，ＰＲ＝ｋ，ｑ＞ｒなので
ＯＲ＝ＯＳ'でないといけません。そうすると上の解答の（イ）みたいな話になってきますよ



次は幾何的アプローチ第2弾で，正四面体の展開図を利用した解法です
こうなるともはや立体ではなく平面上の図形に関する問題になってしまうので
立体問題が苦手な人には向いてるかもですね～



さて，後半は冒頭に挙げた相似の位置絡みの話をしてみます。
そもそも相似の位置とはなんであったか。

２つの図形ＸとＹがあり，Ｘの点とＹの点の間に1対1の対応が与えられているとする。
対応する２点を結ぶ直線がすべて１点Ｏで交わり，Ｏから対応点までの距離の比が常に一定であるとき，
ＸとＹは相似の位置にあるといい，
Ｏを相似の中心といいます

…ということでした
相似の位置に並べることができる，という条件で相似を定義することも多いです。

△ＡＢＣと△Ａ'Ｂ'Ｃ'が相似の位置にあるという状況も以下の図の例のように様々あります。


今回の問題は立体版ではありますが一番最初の例のパターンにあたります。
というわけでこのパターンに着目してみます。
半直線ＯＡ，ＯＢが作る角領域の中に△ＡＢＣと△Ａ'Ｂ'Ｃ'がある場合です。

(1)直線ＡＡ'，ＢＢ'，ＣＣ'が1点Ｏで交わる
(2)ＯＡ：ＯＡ'＝ＯＢ：ＯＢ'＝ＯＣ：ＯＣ'
が与えられていれば問題なく△ＡＢＣと△Ａ'Ｂ'Ｃ'は相似の位置にあります

しかし，今回の問題のように

(1)直線ＡＡ'，ＢＢ'，ＣＣ'が1点Ｏで交わる
(2)△ＡＢＣ∽△Ａ'Ｂ'Ｃ'

が与えられている場合は，果たして△ＡＢＣと△Ａ'Ｂ'Ｃ'は相似の位置にあると言い切れるのでしょうか



△ＡＢＣと△Ａ'Ｂ'Ｃ'はＣＡ＝ＣＢ，Ｃ'Ａ'＝Ｃ'Ｂ'の二等辺三角形とします。
それが上図のような配置になっているとき，見事にＡＣとＡ'Ｃ'及びＢＣとＢ'Ｃ'は平行になっていません。反例です。
しかしまぁ，向きが逆になってるので点の対応関係も逆になってるとすれば，
つまりＡ'とＢ'を逆にすれば対応辺の平行関係は成り立ってますね。



それとは別に，向きも同じとして，
対応する辺同士が平行にならない場合があると仮定して考察してみましょう。



直線ＢＡとＢ'Ａ'の交点をＰ(∠ＢＡＡ'+∠Ｂ'Ａ'Ａ＞１８０°と仮定して一般性は失われません。
＜１８０°なら図を上下ひっくり返せばいいので)，ＢＣとＢ'Ｃ'の交点をＱ，
ＣＡとＣ'Ａ'の交点をＲとおきます。
実はデザルグの定理より3点Ｐ，Ｑ，Ｒは同一直線上にあるのですが，まぁそれはまた別のお話

では，△ＡＢＣと△Ａ'Ｂ'Ｃ'の相似比を１：ｋとし，メネラウスの定理を使って考察してみます



かくて，

(a)４点Ｏ，Ａ，Ｂ，Ｃは同一円周上にある。
(b)４点Ｏ，Ａ'，Ｂ'，Ｃ'は同一円周上にある。

という必要条件が得られました。
逆にこの条件が満たされているとき，円周角の定理より
∠ＣＯＢ＝∠ＣＡＢ＝∠Ｃ'Ａ'Ｂ'，∠ＡＯＣ＝∠ＡＢＣ＝∠Ａ'Ｂ'Ｃ'
が従うので，２角相等で△ＡＢＣ∽△Ａ'Ｂ'Ｃ'となります。

従って△ＡＢＣと△Ａ'Ｂ'Ｃ'は相似の位置にあるとは限らず，
(a)(b)の条件が満たされている状況になっていることがある，
ということが分かりました
もちろん，そのような状況はいくらでも存在します。

ちなみに上の考察において，メネラウスの定理をもっと駆使すると
△ＰＡＡ'∽△ＱＣＣ'，△ＲＡＡ'∽△ＱＢＢ'もいうことができます。
下図で同じ色の印がついた角は等しくなってます



例えば△ＡＢＣと△Ａ'Ｂ'Ｃ'が正三角形である場合を想定しましょう。
∠ＡＯＢ＝６０°＋６０°＝１２０°でない場合は
(a)(b)の条件が満たされないので，このような位置関係になるのは
△ＡＢＣと△Ａ'Ｂ'Ｃ'が相似の位置に限るということが分かりますね
もしかしたら，（面倒なので考察してないですが），
立体版でも似たような話が成り立って，今回の問題なんかも実は瞬時に片付けられるのかもしれないですね。

　　

2012年京大入試理系数学第1問その2

どもども。

前回は今年の京大入試理系数学の第1問(1)をやりました
今回は(2)をやります～
前回のはこちら
http://blog.goo.ne.jp/mathnegi/e/693410a66aeb0973afde362cae1ae322
問題はこちら
http://www.yozemi.ac.jp/nyushi/sokuho/recent/kyoto/zenki/sugaku_ri/mon1.html

(1)では (1+a^n)^(1/n) という形の式が登場しましたが n=2 とした形の式を
含んだ関数の定積分を求める問題です。
一見すると(1)と関連があるのかな？という第一印象は持つものの，
積分範囲が１から√3なので，実は関連は薄いのかしら？
定積分を求めるだけ，の出題ですからきっと面倒な計算が待ち構えているのでしょう～
という不安を胸に，問題に挑むことになりますが，
部分積分と置換積分を駆使すれば何とか解くことができます
ただ，部分積分と置換積分，どちらを先に行うかによって若干難易度は変わってしまうかもしれません
とりあえず 1+x^2 がある時点で多くの人は tanθ の匂いを嗅ぎ取るでしょう。
おまけに積分範囲が１から√3なので，もうこれは tanθ フラグが立ったも同然です

まずは，すぐにでも x=tanθ と置換したい誘惑を振り切って
先に部分積分をしてみた解答を挙げてみます。



部分積分したことによってお馴染みの 1/(x^2+1) の積分が出てきました。
後は心置きなく置換積分して答えを出してフィニッシュです



続いては先に置換積分を行うパターンです



おやおや，分母に (sinθ)^2 などという面倒臭そうなものが出てきましたよ！
log(cosθ)は微分するとlogが消えて三角関数になるので
なんとか微分して 1/(sinθ)^2 になる関数を見つけて部分積分に持ち込みたいです
もしかして 1/(sinθ)^2 の不定積分を求めるためにまた置換やら何やらを
駆使しなきゃならんというのでしょうか！？
でも，ちょっと待たれよ。 1/(cosθ)^2 の不定積分なら知っています。
(tanθ)'＝1/(cosθ)^2 でしたね。
そもそもsinθとcosθはπ/2だけ位相がズレてる違いしかないんですから
なんだか意外と簡単に求められそうですよ！？
{1/tanθ}'＝{tan(π/2-θ)}'＝－1/{cos(π/2-θ)}^2＝－1/(sinθ)^2
を利用すれば簡単に求められるんですね～
1/(cosθ)^2 はよく出てくるから見慣れてても 1/(sinθ)^2 は見慣れてないので
意外と戸惑うかもしれません



こうしてみると，先に部分積分をやってしまった方がやはり簡単だったかもですね。

答えの値にπとかが含まれてるんで，どのような解法で挑んでも大体どこかしらで
tanθが出てくるんじゃないかと思います。
例えばx^2の2乗が鬱陶しいので x^2=t とおいて1次式にしてしまおう，という
発想で計算してみましょう。
結果的に√tとか出てきて結局面倒なことになってる気がしますが



最後の部分分数分解は特にする必要はありませんが，
しない状態で t=(tanθ)^2 とおいたら先に挙げた2つの解法と同じ計算になるだけなので
敢えてやってみました



今度は (tanθ)^2 の不定積分が必要になりました。
これも (tanθ)'＝1/(cosθ)^2 を利用するとサクッと求められます。



まぁ，そんなわけで定積分の計算も1回解いて終わりにしないで
別の手順で求めてみよう～みたいなことやってみると意外と面白かったり
新たな発見があったり，要領のいい計算のコツが見い出せたり，
いい計算練習になったりしますんで，是非是非やってみてくださいまし

2012年京大入試理系数学第1問その1

どもども。

今回からは今年の京大の入試問題（理系数学）を取り扱っていきます

誘導のない問題が幾つかあります。それゆえ手をつけにくいかもしれません。
幅広い発想力が試されそうです。
特に第6問はなかなか面白い問題だと思いました

今回は第1問(1)をやっていきます。
問題はこちら
http://www.yozemi.ac.jp/nyushi/sokuho/recent/kyoto/zenki/sugaku_ri/mon1.html

数IIIの微積分の問題です
分数ベキとか含んでるので扱いが面倒そうです。
ｅの定義式に関係してくるパターンかと思ったらそうでもないようです。
ａが1より大きいか小さいか，あるいは1か，で場合分けが必要です。
0＜a＜1 のときは 0＜a^n＜1
1＜a のときは a^n>1
が成り立つので，この不等式を使って (1+a^n)^(1/n) の評価式が簡単に得られます。
あとはハサミウチでやっつけてしまいましょう



指数の 1/n が鬱陶しい，なんとかならないか！
という人は対数をとって考えるのもいいかもしれません。
b_n=log(1+a^n)^(1/n)={log(1+a^n)}/n
とおいてb_nの極限を考察してみましょう。それを経由して答えを求めます。



この解法に関しては１つ注意を挙げておきます。
指数の極限を求めて最後はｅの肩にそれを乗せて答えを求めていますが
これは関数 f(x)=e^x が連続関数だから正しいのだということを
気に留めておくと良いと思います。
無条件では lim f(a_n) と f(lim a_n) は等しくありません



後半のａ＞１の場合ですが，ｘ＞０で連続な関数 f(x)={log（1+a^x）}/x の
x→∞の極限に置き換えれば∞/∞型の不定形になっているのでロピタルの定理なんかも使えます。
試験場ではロピタルの定理を使うのは躊躇われますが，ここは試験場ではないので
気にせず使っちゃいます。



ちなみに実数上で定義された関数f(x)に対して数列{f(n)}が考えられますが，
lim_{n→∞} f(n)＝β であったとしても，lim_{ｘ→∞} f(x)＝β であるとは限りません。


さて，最後にもう１つ解法を挙げて終わりたいと思います。
…といっても，これは既に上の解法で答えの値を知っているから作れる解法ではあるんですが

数列{x_n}が極限αを持つことを証明する手段の１つに
lim_{n→∞}（x_n－α）＝０ を証明するというものがあります。
コイツをやってみようと思います。
極限の値が１とａであるということが何らかの直感でピンときた場合
以下で挙げる手法が使えます。

それを説明するためにまず次の因数分解をみてみましょう。
x^n-1=(x-1){x^(n-1)+x^(n-2)+…+x+1}
これは等比数列の和の公式を式変形すれば直ちに得られますね。
n=2 のときの x^2-1=(x-1)(x+1) の式はあまりにもお馴染み過ぎるわけですが
ルートがらみの式の極限を求める時にしばしば分母か分子を有理化するとうまくいく，
ということがありますね
そのときによく使うのが x^2-1=(x-1)(x+1) の式だったわけです。
今回の問題は 1/n という分数ベキが出てきますが，
よくよく考えるとこれはｎ乗根なんですよね。
ｎ乗根がらみの式を有理化して考えるという発想を使ってみましょう



この式を利用してみます。



有理化したときになんか上手くいきそーな値を探そう～
という観点から模索すれば直感的に１とａという値を見つけ出せるかもしれないですね。

ではでは次回は(２)をやっていきます