2009年 東京大学(理科)・前期 問題と解答

 

 

 1. 自然数m2に対し,m1個の二項係数

          m1 , m2 , ・・・ , mm1

   を考え,これらすべての最大公約数をdmとする。すなわち,dmはこれらすべてを割り切る最大

  の自然数である。

  (1)  mが素数ならば,dmmであることを示せ。

  (2) すべての自然数kに対し,kmkdmで割り切れることを,kに関する数学的帰納法に

   よって示せ。

  (3)  mが偶数のときdm1または2であることを示せ。

      

 

[解答] 

(1) まず, dmm1の約数だから,dmm ・・・@ dmm以下となることがわかる。

   次に r12,・・・,m1とする。←二項係数をまとめて考える準備。

     

   これはm個のものからr個とった組合せの数を表すので整数である。

   したがって分子は分母の倍数であるが,mは素数だから分母のどの因数とも互いに素である。

   

   すなわち,mrmの倍数であり,これにより,dmmの倍数となる。 ・・・A

   @,Aより,dmm                (証明終わり)

 

(2)  「すべての自然数kに対し,kmkdmで割り切れる」・・・★

 これを数学的帰納法で証明する。

 (@) k1のとき

  kmk0だから,これは自然数dmで割り切れる。よって,★は成り立つ。

 (A) kp  ( pはある自然数)のとき,★が成り立つと仮定する。

  (p1)m−(p1) m0pm1p2m2+・・・+pm1mm1pmmm−(p1) ←二項定理で展開。

                      pm1p2m2+・・・+pm1mm1+( pmp )

  ここで,m1m2,・・・,mm1はすべてdmで割り切れ,pmpは帰納法の仮定からdmで割り切れる

  ので,(p1)m−(p1)dmで割り切れる。

  よって,kp1のときも★が成り立つ。

 (@)(A)より,★は成り立つ。            (証明終わり)

 

(3)  m2のとき,(1)より, dm2

  m4のとき,  41434, 426 の最大公約数は2だから,dm2

  m6のとき,  61656, 6264156320 の最大公約数は1だから,dm1

  以上でdmは1と2の値をとり得ることがわかった。あとはそれ以外の値をとらないことを示せばいい。

   m8以上の偶数のときを考える。

  T (k)kmkとする。(2)より,dmはすべてのT (k)の公約数である。

  ここで,p3以上の整数とすると,

       T ( p1)(p1)m( p1) ←苦労して発見した・・。

                pmpm1pm2−・・・+(1) r p mr+・・・+(1) m1p(1) mp1

                p{ pm1pm2+・・・+(1) r p mr1+・・・+(1) m11}(1) m1

              p { pm1pm2+・・・+(1) r p mr1+・・・+(1) m11}2  mは偶数だから。

  よって,T ( p1)pで割ったときの余りは2となり,T ( p1)pで割り切れない。

  このことから,すべてのT (k)の公約数に,3以上の整数はないことがわかる。

  以上より,mが偶数のとき,dm1またはdm2である。   (証明終わり)

 

 

 

 

 2. 実数を成分にもつ行列

           

  と実数rsが下の条件(@)(A)(B)をみたすとする。

     (@) s1

      

      

   このとき以下の問に答えよ。

 

 

 (3)  c0 かつ | a |1を示せ。

 

 

[解答] 

   

 

  BT -1ATの両辺をn乗すると, ←これはよくある形。

        Bn =(T -1ATn

          T -1AT T -1AT T -1AT ・・・・ T -1AT

         T -1AEAEAE ・・・・ AEAT

      T -1AAA・・・・AT

         T -1A n T ←これを使ってzwを求める。

  

     

     

             うまく行きそうだ。

  

        

        

                                (証明終わり)

(3) まず Bn を求める。acrt とおくと, ←見やすいように置き換える

   

 

 だから,←右上が0の行列は推測しやすい。

   

 と推測できる。これを数学的帰納法で証明する。←答案には書いておいた方がいいでしょう。

 (ア) n1のとき,★は成り立つ。

 (イ) nk のとき,★が成り立つと仮定すると,

     

        

   となるので,nk1のときも★が成り立つ。

 (ア),(イ)より,★は正しい。

    これで,zwが計算できるようになった。

    

        

 

 s1だから,st0である。ここで,

    

 だから,c0とすれば,←背理法のような示し方。

   

 となり,(2)の結果に矛盾する。よって, c0

 このとき,| t || acr || a |  | t |1 だから,| a |1         (証明終わり)

 

 

 

 

 3. スイッチを1回押すごとに,赤,青,黄,白のいずれかの色の玉が1個,等確率1/4

   出てくる機械がある。2つの箱LとRを用意する。次の3種類の操作を考える。

    (A) 1回スイッチを押し,出てきた玉をLに入れる。

    (B) 1回スイッチを押し,出てきた玉をRに入れる。

    (C) 1回スイッチを押し,出てきた玉と同じ色の玉が,Lになければその玉をLに入れ,

      Lにあればその玉をRに入れる。

 (1) LとRは空であるとする。操作(A)を5回おこない,さらに操作(B)を5回おこなう。このとき

   LにもRにも4色すべての玉が入っている確率P1を求めよ。

 (2) LとRは空であるとする。操作(C)を5回おこなう。このとき,Lに4色すべての玉が入って

   いる確率P2を求めよ。

 (3)  LとRは空であるとする。操作(C)を10回おこなう。このときLにもRにも4色すべての玉が

   

 

 

[解答] 

(1)  Lに4色すべての玉が入っているのは,5回の色の出方が

        ,青,,黄,白

  のように1色が2回,他の色が1回ずつ出る場合である。このような色の出方は,

        52×4!通り ←(2回出る色の場所)×(色の順番)

  よって,Lに4色すべての玉が入っている確率は,

        

  Rに4色すべての玉が入っている確率も同じである。

       

 

 

(2) 操作(C)を5回おこなったとき,Lに4色すべての玉が入っているのは,

  操作(A)を5回おこなったとき,Lに4色すべての玉が入ることと同じである。←(1)で求めた。

 

 

(3)  操作(C)を10回おこなったとき,LにもRにも4色すべての玉が入っているのは,

 (@)1つの色が4回,他の色が2回ずつ出る

 (A)2つの色が3回,他の色が2回ずつ出る 

 このいずれかである。←それぞれの確率を求めて足せばいい。

 (@)の場合の色の出方は,←(4回出る色の選択)×(パターン)

    

  だから,確率は,

      

  (A)の場合の色の出方は,←(3回出る色の選択)×(パターン)

     

  だから,確率は,

      

 よって,

      

      

        

 

 

 

 

 4. aを正の実数とし,空間内の2つの円板

       D1={ ( xyz ) | x 2y21za

       D2={ ( xyz ) | x 2y21z=−a

 を考える。D1y軸の回りに180°回転してD2に重ねる。ただし回転はz軸の正の部分をx軸の

 正の方向に傾ける向きとする。この回転の間にD1が通る部分をEとする。Eの体積をV ( a )とし,

 Eと{ ( xyz ) | x0}との共通部分の体積をW ( a )とする。

 (1)  W ( a )を求めよ。

 

 

 

[解答] 

(1)  Eを考えるには,この立体を平面ytで切った切り口の図形の面積を考える。

 

 ytで切った切り口のうちx0の部分の面積は,←半円から半円を切り抜いた形になる。

    

 よって,あとは積分すればいい。

    

 

 

(2) ytで切った切り口のうちx0の部分の面積をS ( t ) とする。←このS ( t )を求めるのは大変。

  S ( t ) を上図の長方形の面積と比較すると, ←不等式ではさむ。この問では,こんな大雑把な作戦でうまく行く。

    

 ここで, ←まだ積分しない。右辺をもっと簡単な式にする。

    

 

 だから,

     

 

         ↑積分した値が0に収束しそうだ,という予測をもとにこの不等式をつくった。

 Eと{ ( xyz ) | x0}との共通部分の体積をX ( a )とすると,V ( a )W ( a )X ( a )

      

     

 

 

   

 

 

 

 

 

 

 5. (1) 実数xが−1x1x0をみたすとき,次の不等式を示せ。

          

  (2) 次の不等式を示せ。

             0.99991010.990.9999100

 

 

[解答] 

(1)  −1x1だから,1x01x0 また,x20

   と同値な不等式をつくる。

   

              

                  

  よって,★を証明する。←何を示すのかを宣言しておく。

   ←外側のxは無視して。

 とおくと,x0のときy0 この値も含めて考える。

   

   

 よって, −1x0のとき,y''0だから,y' は単調減少。  

         0x1のとき,  y''0だから,y' は単調増加。

 x0のとき y'0 だから, 

      −1x0のとき,y'0

      0x1のとき,  y'0 となる。←どちらも正になった。

 よって,−1x1のときyは単調増加であるので,

      −1x0のとき,y0

      0x1のとき,  y0 

 以上より,−1x0のとき,x y0

       0x1のとき,  x y0

 がいえるので,★は成り立つ。            (証明終わり)

 

(2)  (1)の不等式を変形する。

    1x0.99とみればx0.01で,0.99991x2になる。これを見越して式変形を考える。

  

     

      

 この式にx0.01を代入すると,0.990.9999100  ・・・・・・(ア)

  

     

     

 この式にx=−0.01を代入すると,0.99991010.99  ・・・・・・(イ)

 (ア),(イ)より,0.99991010.990.9999100       (証明終わり)

 

 

 

 

 

 6. 平面上の2点P,Qの距離をd(P,Q)と表すことにする。平面上に点Oを中心とする一辺の

   長さが1000の正三角形△A123がある。△A123の内部に3点B1,B2,B3を,

    d(An ,Bn )=1 n123) となるようにとる。また,

        

          

  とおく。n123のそれぞれに対して,時刻0にAnを出発し,の向きに速さ1で直進する

  点を考え,時刻tにおけるその位置をPnt)と表すことにする。

 (1) ある時刻td(P1t),P2t))≦1が成立した。ベクトルと,ベクトルとのなす角度を

   θとおく。このときとなることを示せ。

 (2) 角度θ1,θ2,θ3をθ1=∠B112,θ2=∠B223,θ3=∠B331によって定義する。

   αをかつをみたす実数とする。(1)と同じ仮定のもとで,θ1+θ2の値の

   とる範囲をαを用いて表せ。

 (3) 時刻t1ttのそれぞれにおいて,次が成立した。

      d(P2t1),P3t1))≦1 d(P3t),P1t))≦1 d(P1t),P3t))≦1

    このとき,時刻において同時に

      d(P1T),O)≦3 d(P2T),O)≦3 d(P3T),O)≦3

   が成立することを示せ。

             

 

 

[解答] 

(1)  とりあえず図示してみる。

  

 

  P1t)をP1,P2t)をP2と表すと,P12≦1 ←これをベクトルで表そう。

  

  

  

  点A2から直線A1Qに垂線A2Hをひくと,A2H≦A2Q≦1 ←これで行けそう。

  

  A2H=1000|sinθ| だから,1000|sinθ|1

  

  

(2)  (1)の不等式をみたすθの範囲は,−α≦θ≦α ・・・(ア) ←これを利用する方針。

   

   A1Q1=A1Q2だから,A1Qは∠Q11 Q2の二等分線である。

  

  

  

        

  (ア)より,

       

         

  

 

(3) (2)で示した不等式と同様に,次も成り立つ。

     

    

  (2)の不等式と(ウ)を辺々足して,

    

  

  これらを辺々足して2で割ると,←θ2,θ3を消す。

     

  θ2,θ3の範囲も同じである。

 

  次に,△A1OP1T)を考える。←余弦定理を使ってOP1T)を求める。

     

    

  

           

  だから,  

      d(P1T),O)≦3 ⇔ {OP1T}29 ←示すべき不等式を書き換える。

                  

                  

  d(P2T),O)≦3 d(P3T),O)≦3については,★のθ1をそれぞれθ2,θ3に入れ替えた不等式と同値である。

  よって(エ)の条件のもとで★を示せば,証明すべき3つの不等式が成り立つことが言える。

 

  

  

  ここで,cos3αを求める。sinα=sとすると,cos3αが★の右辺より大きいことを示せばいい。

         

     cos3α=4cos3α−3cosα

 

cosα(4cosα−3

cosα{41s2)−3

cosα(14s2) 

cos2α(14s2)=(1s2)(14s2 cosα≧cos2αを使う。

15s24s4 s 4 は無視する。

15s2    ←★の右辺に近づけていく。

 

  よって,★が成り立つ。       (証明終わり)