本文へ進む
メニュー
医学部数学 過去問DB問題を探す

慶應義塾大学/2013年度/前期

慶應義塾大学 2013年 数学 第III問解答・解説

このページには広告が含まれます。

1問題

慶應義塾大学2013年度第III問

設問(1)の文章の空欄に適切な数,式,または行列を入れて文章を完成させなさい。設問(2)の文章の空欄には選択肢(イ)~(チ)から適切な記号を選んで記入し,文章を完成させなさい。また,設問(3)に答えなさい。   行列 A=(ab0c)A=\begin{pmatrix}a&b\\0&c\end{pmatrix} を考える。ただし成分 a,b,ca,b,c はすべて実数とする。また AA と同様に (2,1)(2,1) 成分がゼロである2次正方行列で実数を成分とするものを上三角行列とよぶことにする。   (1) A2=(あ),A3=(い)A^2=\boxed{\text{(あ)}},\quad A^3=\boxed{\text{(い)}} である。   一般に自然数 nn に対して An=(sntnunvn)A^n=\begin{pmatrix}s_n&t_n\\u_n&v_n\end{pmatrix} とおくと sn=(う),un=(え),vn=(お)s_n=\boxed{\text{(う)}},\quad u_n=\boxed{\text{(え)}},\quad v_n=\boxed{\text{(お)}} である。また a=ca=c のときは tn=n×(か)t_n=n\times\boxed{\text{(か)}},a≠ca\neq c のときは tn=(き)a−c\displaystyle t_n=\frac{\boxed{\text{(き)}}}{a-c} と書くことができる。   (2) X3=AX^3=A をみたす上三角行列 X=(xy0z)X=\begin{pmatrix}x&y\\0&z\end{pmatrix} が存在しないための必要十分条件は (く)\boxed{\text{(く)}},無数に存在するための必要十分条件は (け)\boxed{\text{(け)}},ただ1つ存在するための必要十分条件は (こ)\boxed{\text{(こ)}} である。   選択肢: (イ) b≠0,(ロ) ∣a∣+∣c∣>0,(ハ) a+c=0 かつ b≠0,(ニ) a=b=c=0,(ホ) a≠0 かつ c≠0,(ヘ) a>0 または c>0,(ト) a≠0 かつ b≠0 かつ c≠0,(チ) a=c=0 かつ b≠0.\begin{aligned} &\text{(イ)}\ b\neq0,\qquad &&\text{(ロ)}\ |a|+|c|>0,\\ &\text{(ハ)}\ a+c=0\text{ かつ }b\neq0,\qquad &&\text{(ニ)}\ a=b=c=0,\\ &\text{(ホ)}\ a\neq0\text{ かつ }c\neq0,\qquad &&\text{(ヘ)}\ a>0\text{ または }c>0,\\ &\text{(ト)}\ a\neq0\text{ かつ }b\neq0\text{ かつ }c\neq0,\qquad &&\text{(チ)}\ a=c=0\text{ かつ }b\neq0. \end{aligned}   (3) 3次式 f(x)=x3+kx2+lx+mf(x)=x^3+kx^2+lx+m において k2−3l<0k^2-3l<0 ならば,任意の実数 a,b,ca,b,c に対して f(X)=Af(X)=A をみたす上三角行列 X=(xy0z)X=\begin{pmatrix}x&y\\0&z\end{pmatrix} がただ1つ存在することを示しなさい。ただし f(x)f(x) の係数 k,l,mk,l,m は実数であり,また f(X)f(X) は f(X)=X3+kX2+lX+mE(E は単位行列)f(X)=X^3+kX^2+lX+mE\qquad(E\text{ は単位行列}) により定義される行列である。

まずは自分で解いてみましょう。詰まったら「考え方」、解けたら「答え」で確かめられます。

2解答

解答を見る答えはこの解答の中にあります

(1) 行列は成分ごとに掛け算すればよい。 A2=(a2b(a+c)0c2),A3=(a3b(a2+ac+c2)0c3).A^2=\begin{pmatrix}a^2&b(a+c)\\0&c^2\end{pmatrix},\quad A^3=\begin{pmatrix}a^3&b(a^2+ac+c^2)\\0&c^3\end{pmatrix}. An+1=AnAA^{n+1}=A^nA より sn=an,un=0,vn=cns_n=a^n,u_n=0,v_n=c^n、右上成分は tn=b∑j=0n−1an−1−jcj.\displaystyle t_n=b\sum\limits _{j=0}^{n-1}a^{n-1-j}c^j. この式は n=1n=1 と掛け算の漸化式から帰納法で確かめられる。a=ca=c のとき tn=nban−1t_n=nba^{n-1}。n=1n=1 では a=0a=0 の場合も t1=bt_1=b と読む。a≠ca\ne c なら和に a−ca-c を掛けて途中の項を消すと tn=b(an−cn)/(a−c)t_n=b(a^n-c^n)/(a-c)。

(2) X3=AX^3=A は x3=a,z3=c,(x2+xz+z2)y=bx^3=a,\quad z^3=c,\quad (x^2+xz+z^2)y=b と同値である。実数は値が大きくなると3乗も必ず大きくなるので x,zx,z はそれぞれただ一つ決まる。 x2+xz+z2=(x+z/2)2+3z2/4x^2+xz+z^2=(x+z/2)^2+3z^2/4 は x=z=0x=z=0 の場合に限り0。この場合は a=c=0a=c=0 であり、b≠0b\ne0 なら解なし、b=0b=0 なら任意の yy が許され無数にある。それ以外は係数が正なので yy もただ一つ。従って、く=チ、け=ニ、こ=ロ。

(3) f′(t)=3(t+k/3)2+l−k2/3>0f'(t)=3(t+k/3)^2+l-k^2/3>0。さらに3次式の最高次の係数は正なので両端で ±∞\pm\infty となる。よって f(x)=a,f(z)=cf(x)=a,f(z)=c を満たす実数 x,zx,z がそれぞれ一意にある。行列の積を展開すると右上成分の条件は Dy=b,D=x2+xz+z2+k(x+z)+l.Dy=b,\quad D=x^2+xz+z^2+k(x+z)+l. u=(x+z)/2,v=(x−z)/2u=(x+z)/2,v=(x-z)/2 とおくと D=3(u+k/3)2+v2+l−k2/3>0.D=3(u+k/3)^2+v^2+l-k^2/3>0. 従って y=b/Dy=b/D がただ一つ決まり、求める上三角行列が一意に存在する。

検算:a=c=0,b=0a=c=0,b=0 では X=(0y00)X=\left(\begin{smallmatrix}0&y\\0&0\end{smallmatrix}\right) の3乗は任意の yy で零となる。(3)で x=zx=z のとき D=f′(x)>0D=f'(x)>0 と整合する。

この問題で使う考え方

  • 上三角行列の成分計算と漸化式
  • 因数分解した等比和
  • 導関数の符号と差商

PR

数学を1対1で教わるオンライン塾「数強塾」

数強塾は、中学生・高校生のための数学専門のオンライン個別指導塾です。プロ講師がマンツーマンで教え、大学受験の数学にも対応しています。入塾の前に、今の学習状況と目標を確かめる診断授業(体験・3,000円、税込)を受けられます。

「数強塾」オンライン数学克服塾〈プロ講師〉

東大生と1対1で学べるオンライン個別指導「トウコベ」

トウコベは、東大生を中心に難関大学の学生が講師を務める、完全マンツーマンのオンライン個別指導です。はじめに、オンラインの説明会・勉強相談(無料)をWebで予約でき、その後にお試し授業を受けられます。

トウコベ公式サイト

似た問題を、ほかの大学で

答えや解説の誤りに気づいたら、お問い合わせから教えてください。