どもども。
しばらく今年の東大入試理系数学を解いてきましたが,いよいよラストです。
今回は第6問をやります![](https://blogimg.goo.ne.jp/img_emoji/usagi.gif)
問題はこちら
http://www.yozemi.ac.jp/nyushi/sokuho/recent/tokyo/zenki/sugaku_ri/mon6.html
第5問に続いて行列がらみの出題です。
見た瞬間に「うわッ
」と気が滅入るような
何がなんだかよく分からない,とにかく計算の面倒臭そうなf(x)が目に入ります。
腕力勝負といった感じでしょうか。
しかしまぁ,計算がしんどいという点を除けば,
決して難しい問題ではないですコレ。
いかに要領よく解くかが試される感じかな?
でもどんな工夫してもそれなりに計算量はあるような気はしますが~![](https://blogimg.goo.ne.jp/img_emoji/dododo.gif)
まずは(1)です。f(x)の最大値を求めよ!
ということでf(x)を分かりやすい形に直してやるところから始めましょう。
最初に U(t)AU(-t)-B を計算します。
なんなんだ!このオマケのBは!余計な項をつけるなんて!
…なーんて,思うわけですが,実は計算結果をスッキリさせてくれる手助けを
してくれる項でした![](https://blogimg.goo.ne.jp/img_emoji/eto_inu.gif)
厄介なので U(t)AU(-t) だけ計算してBは放置しておこう!という方針を取ると損します![](https://blogimg.goo.ne.jp/img_emoji/face_z.gif)
U(t)AU(-t)-B は変数xを含んでいないのでいわば定数のようなもの。
これをとりあえずWなどとおいて,その成分もp,q,r,sなどとでもおいておきます。
次は U(x)(1 0)U(-x) を計算します。
(0 -1)
これはさっきの U(t)AU(-t) に近い形をしてるのですぐ計算できます。
tをxに置き換えて,a=1,b=-1としてやればいいんですね。
ここまでくると大分f(x)もシンプルな形になりました。
あとは最大値を求めるだけです。
どうやら三角関数の合成が使えそうです。
![](https://blogimg.goo.ne.jp/user_image/53/0a/28a1dc1fba86d9037d46a76fc78ac17e.jpg)
![](https://blogimg.goo.ne.jp/user_image/48/6e/407a05d1e22f213484b19c00c095ed65.jpg)
上の解法では合成の際に未知の角θが出てきましたが,
実際にそれを求めてもよいです。そんな解法がこちら。
![](https://blogimg.goo.ne.jp/user_image/4f/b2/f87a191c6da4adc1c54e4bde930111d9.jpg)
次はちょっと特殊なことをやってみます![](https://blogimg.goo.ne.jp/img_emoji/body_stretch.gif)
関数f(x)は行列のトレース(対角成分の和)を用いて定義されているので
折角なので行列のトレースの性質を使って考えてみます。
2つの(2×2)-行列M_1,M_2が与えられたとき,Tr(M_1M_2)=Tr(M_2M_1)が成り立ちます。
![](https://blogimg.goo.ne.jp/user_image/53/09/adb0b6ba80384de60528ab34c32fbd3e.jpg)
また,Tr(M_1+M_2)=Tr(M_1)+Tr(M_2)も成り立つこともすぐ確かめられるでしょう。
ついでにU(x)という行列は角度xの回転行列であることにも注目です。
つまり U(x)U(y)=U(x+y) が成り立ちます。
そんなあたりの話を駆使して計算してみた場合の解法です![](https://blogimg.goo.ne.jp/img_emoji/rabi_shy.gif)
![](https://blogimg.goo.ne.jp/user_image/1b/58/972f19c199412a17bcbfecfe08c295dd.jpg)
後半の項は今の最後の計算でaとbを逆にして角度をt-xからxに置き換えれば
計算結果が得られます。
![](https://blogimg.goo.ne.jp/user_image/5c/26/9a3804abfaaa079a57b1b38f6a43eed7.jpg)
次は(2)をみてみましょう。
(1)でも骨の折れる計算をしたのにまた厄介そうな計算が待っていました。
骨だけでなく心も折れそうです![](https://blogimg.goo.ne.jp/img_emoji/dog_sad.gif)
まずは挫けずに 2Tr{U(t)CU(-t)D} と Tr{U(t)AU(-t)+B}-m(t) を計算します。
それによって証明すべき不等式をもう少し明瞭化してみます。
(cost)^2=|cost|^2 に注意です。両辺が|cost|で割れます。
![](https://blogimg.goo.ne.jp/user_image/2e/db/79856ad5446f9602b7e4cc3b8ced8198.jpg)
さて後半です。指数のcとか1-cというのがなんだか煩わしいです。
すごい複雑な評価とかしなきゃいけないのかしら?と思いきや
b^c≦a^c と b^(1-c)≦a^(1-c) を使ってaの累乗を評価しちゃうだけで
キレイにうまくいっちゃうのでした。
![](https://blogimg.goo.ne.jp/user_image/18/d1/64ee9d6cde0fb14e64e83461c30b6526.jpg)
それとは別に,相加平均と相乗平均の関係を用いてもうまくいきます。
![](https://blogimg.goo.ne.jp/user_image/6b/99/762fbde134c02957a0f29268626933f7.jpg)
|cost|=XとおいてXの2次関数または1次関数を考えてもOKです。
両辺を|cost|で割る前の不等式を2次関数を使って証明したのがコレ。
![](https://blogimg.goo.ne.jp/user_image/5f/61/f6108b3cdf077b92017bad427653b894.jpg)
最後に,証明すべき不等式を
m(t)≧Tr{U(t)AU(-t)-B}-2Tr{U(t)CU(-t)D-B}
と変形してみた場合の解答を挙げてみます。
(1)で U(t)AU(-t)-B は既に計算してあります。
しかもよく見ると Tr{U(t)AU(-t)-B}=0 なんですね![](https://blogimg.goo.ne.jp/img_emoji/kaeru_en4.gif)
結局,m(t)≧-2Tr{U(t)CU(-t)D-B}
を証明することに帰着します。
![](https://blogimg.goo.ne.jp/user_image/36/6b/a1e924edcb18f84056c9742d23ab2172.jpg)
しばらく今年の東大入試理系数学を解いてきましたが,いよいよラストです。
今回は第6問をやります
![](https://blogimg.goo.ne.jp/img_emoji/usagi.gif)
問題はこちら
http://www.yozemi.ac.jp/nyushi/sokuho/recent/tokyo/zenki/sugaku_ri/mon6.html
第5問に続いて行列がらみの出題です。
見た瞬間に「うわッ
![](https://blogimg.goo.ne.jp/img_emoji/face_gaan.gif)
何がなんだかよく分からない,とにかく計算の面倒臭そうなf(x)が目に入ります。
腕力勝負といった感じでしょうか。
しかしまぁ,計算がしんどいという点を除けば,
決して難しい問題ではないですコレ。
いかに要領よく解くかが試される感じかな?
でもどんな工夫してもそれなりに計算量はあるような気はしますが~
![](https://blogimg.goo.ne.jp/img_emoji/dododo.gif)
まずは(1)です。f(x)の最大値を求めよ!
ということでf(x)を分かりやすい形に直してやるところから始めましょう。
最初に U(t)AU(-t)-B を計算します。
なんなんだ!このオマケのBは!余計な項をつけるなんて!
…なーんて,思うわけですが,実は計算結果をスッキリさせてくれる手助けを
してくれる項でした
![](https://blogimg.goo.ne.jp/img_emoji/eto_inu.gif)
厄介なので U(t)AU(-t) だけ計算してBは放置しておこう!という方針を取ると損します
![](https://blogimg.goo.ne.jp/img_emoji/face_z.gif)
U(t)AU(-t)-B は変数xを含んでいないのでいわば定数のようなもの。
これをとりあえずWなどとおいて,その成分もp,q,r,sなどとでもおいておきます。
次は U(x)(1 0)U(-x) を計算します。
(0 -1)
これはさっきの U(t)AU(-t) に近い形をしてるのですぐ計算できます。
tをxに置き換えて,a=1,b=-1としてやればいいんですね。
ここまでくると大分f(x)もシンプルな形になりました。
あとは最大値を求めるだけです。
どうやら三角関数の合成が使えそうです。
![](https://blogimg.goo.ne.jp/user_image/53/0a/28a1dc1fba86d9037d46a76fc78ac17e.jpg)
![](https://blogimg.goo.ne.jp/user_image/48/6e/407a05d1e22f213484b19c00c095ed65.jpg)
上の解法では合成の際に未知の角θが出てきましたが,
実際にそれを求めてもよいです。そんな解法がこちら。
![](https://blogimg.goo.ne.jp/user_image/4f/b2/f87a191c6da4adc1c54e4bde930111d9.jpg)
次はちょっと特殊なことをやってみます
![](https://blogimg.goo.ne.jp/img_emoji/body_stretch.gif)
関数f(x)は行列のトレース(対角成分の和)を用いて定義されているので
折角なので行列のトレースの性質を使って考えてみます。
2つの(2×2)-行列M_1,M_2が与えられたとき,Tr(M_1M_2)=Tr(M_2M_1)が成り立ちます。
![](https://blogimg.goo.ne.jp/user_image/53/09/adb0b6ba80384de60528ab34c32fbd3e.jpg)
また,Tr(M_1+M_2)=Tr(M_1)+Tr(M_2)も成り立つこともすぐ確かめられるでしょう。
ついでにU(x)という行列は角度xの回転行列であることにも注目です。
つまり U(x)U(y)=U(x+y) が成り立ちます。
そんなあたりの話を駆使して計算してみた場合の解法です
![](https://blogimg.goo.ne.jp/img_emoji/rabi_shy.gif)
![](https://blogimg.goo.ne.jp/user_image/1b/58/972f19c199412a17bcbfecfe08c295dd.jpg)
後半の項は今の最後の計算でaとbを逆にして角度をt-xからxに置き換えれば
計算結果が得られます。
![](https://blogimg.goo.ne.jp/user_image/5c/26/9a3804abfaaa079a57b1b38f6a43eed7.jpg)
次は(2)をみてみましょう。
(1)でも骨の折れる計算をしたのにまた厄介そうな計算が待っていました。
骨だけでなく心も折れそうです
![](https://blogimg.goo.ne.jp/img_emoji/dog_sad.gif)
まずは挫けずに 2Tr{U(t)CU(-t)D} と Tr{U(t)AU(-t)+B}-m(t) を計算します。
それによって証明すべき不等式をもう少し明瞭化してみます。
(cost)^2=|cost|^2 に注意です。両辺が|cost|で割れます。
![](https://blogimg.goo.ne.jp/user_image/2e/db/79856ad5446f9602b7e4cc3b8ced8198.jpg)
さて後半です。指数のcとか1-cというのがなんだか煩わしいです。
すごい複雑な評価とかしなきゃいけないのかしら?と思いきや
b^c≦a^c と b^(1-c)≦a^(1-c) を使ってaの累乗を評価しちゃうだけで
キレイにうまくいっちゃうのでした。
![](https://blogimg.goo.ne.jp/user_image/18/d1/64ee9d6cde0fb14e64e83461c30b6526.jpg)
それとは別に,相加平均と相乗平均の関係を用いてもうまくいきます。
![](https://blogimg.goo.ne.jp/user_image/6b/99/762fbde134c02957a0f29268626933f7.jpg)
|cost|=XとおいてXの2次関数または1次関数を考えてもOKです。
両辺を|cost|で割る前の不等式を2次関数を使って証明したのがコレ。
![](https://blogimg.goo.ne.jp/user_image/5f/61/f6108b3cdf077b92017bad427653b894.jpg)
最後に,証明すべき不等式を
m(t)≧Tr{U(t)AU(-t)-B}-2Tr{U(t)CU(-t)D-B}
と変形してみた場合の解答を挙げてみます。
(1)で U(t)AU(-t)-B は既に計算してあります。
しかもよく見ると Tr{U(t)AU(-t)-B}=0 なんですね
![](https://blogimg.goo.ne.jp/img_emoji/kaeru_en4.gif)
結局,m(t)≧-2Tr{U(t)CU(-t)D-B}
を証明することに帰着します。
![](https://blogimg.goo.ne.jp/user_image/36/6b/a1e924edcb18f84056c9742d23ab2172.jpg)
これもまた題材が気になる問題ですよねー。
全くネタも無いところからこんな問題は作らないと思うので
多分何かしらの背景があるのでしょう。
群論的な要素はありますが,実質的には解析か幾何か,
あるいはもしかしたら物理の方面かもしれないですが
何かしらの計算の過程の何処かに,このような類の変換が
出てくるのかもしれません。
(2)ではc乗とか1-c乗とか出てきますしね,
代数よりもうちょっとはみ出した領域に元ネタがありそうな予想です。
U(t)AU(-t)-Bなんかも,これ単体ではよくわからないですね><
この問題も僕の中で背景が不明な問題です。
U(θ)(1,0;0,-1)U(-θ)がy=(tanθ)xに対する線対称変換であることはすぐに分かりますが、U(t)AU(-t)-Bがなぜ綺麗に整理できるかがイメージできません。
これはy={tan(t/2)}xに線対称変換した後に(a-b)cost倍という、意味があるんだか無いんだかの変換を表していますよね。
大問5がSL2Zの基本定理の証明の一部だから、これも群論関係ですかね??合同変換とか。
もしご存知でしたらコメントいただけると嬉しいです。