院試hub

大阪大学 院試 過去問 解答例

阪大 情報科学研究科 情報基礎数学専攻 数学 2009年度 院試 過去問 解答例・解説(全5問)

全5問。線形代数2問・微分積分・解析1問。テーマタグは4件(固有値・固有ベクトル・留数定理・テイラー展開)。2008年度と共通のテーマは固有値・固有ベクトル。

最終更新:

このページで公開
解説5問・解答5問・最終答5問(全5問)
公開範囲
2009年度は解答・最終答まで全文公開
問題本文
非収録

阪大 数学 2009年度 院試 過去問の出題内容(全5問)

この5問の分野は線形代数2問・微分積分・解析1問です。

大問分野主題解説の小見出し最終答
第1問—制約付き最大化—あり
第2問線形代数歪対称行列と非対角化性構成の考え方 / 採点上の注意あり
第3問—単位円上の留数計算極の位置あり
第4問線形代数行列式の因数分解展開を短くする / 採点上の注意あり
第5問微分積分・解析対数関数の級数展開奇数次だけが残る理由 / 誤差評価の使い方あり

この年度の解説には検算2件・採点上の注意2件・典型ミス2件が付いています。

2009年度の出題テーマと、同じテーマを出した他大学・他年度

この年度は5問に4テーマが出ています。

前年度(2008年度)との違い

大問数
2008年度 5問 → 2009年度 5問
両年度に出たテーマ
固有値・固有ベクトル
2008年度のページを見る

第1問 — 制約付き最大化

方針

zz だけが一次で、x,yx,y は二乗で制約に現れる点を見落とさない。 u=x2, v=y2, w=zu=x^2,\ v=y^2,\ w=z と置き換えると、単体上で uvw2uv w^2 を最大化する問題になる。 指数の比 1:1:21:1:2 がそのまま最適な配分比になるので、計算結果 u=v=1/4, w=1/2u=v=1/4,\ w=1/2 は自然である。

典型ミス

x=y=zx=y=z としてはいけない。制約式では zz と x,yx,y の扱いが違う。 また、ラグランジュ法の計算だけで終える場合は、境界では積が 00 になることを最初に述べておくと答案が安定する。

解答

境界で x=0x=0 または y=0y=0 または z=0z=0 なら xyz=0xyz=0 である。 正の値が得られる点があるので、最大点は内部 x,y,z>0x,y,z>0 にある。 そこで Φ(x,y,z)=log⁡x+log⁡y+log⁡z,g(x,y,z)=x2+y2+z−1 \Phi(x,y,z)=\log x+\log y+\log z,\qquad g(x,y,z)=x^2+y^2+z-1 にラグランジュの未定乗数法を用いる。 1x=2λx,1y=2λy,1z=λ \frac1x=2\lambda x,\qquad \frac1y=2\lambda y,\qquad \frac1z=\lambda より x2=y2,z=2x2. x^2=y^2,\qquad z=2x^2. x,y>0x,y>0 だから x=yx=y であり、制約式から 2x2+2x2=1,x=y=12,z=12. 2x^2+2x^2=1,\qquad x=y=\frac12,\qquad z=\frac12. したがって xyz=12⋅12⋅12=18. xyz=\frac12\cdot \frac12\cdot \frac12=\frac18.

この値が最大であることは、u=x2, v=y2, w=zu=x^2,\ v=y^2,\ w=z とおくと u,v,w≥0, u+v+w=1u,v,w\ge 0,\ u+v+w=1 かつ (xyz)2=uv w2 (xyz)^2=uv\,w^2 となり、重み付き相加相乗平均で u:v:w=1:1:2u:v:w=1:1:2 のときに uv w2uv\,w^2 が最大となることからも確認できる。

最終答

最大値は 18\displaystyle \frac18。最大点は (x,y,z)=(12,12,12)\displaystyle (x,y,z)=\left(\frac12,\frac12,\frac12\right)。

第2問 — 歪対称行列と非対角化性

構成の考え方

実数体上の歪対称行列は性質がかなり硬いが、ここでは複素行列なので零でない冪零例を作れる。 一般に (0αβ−α0γ−β−γ0) \begin{pmatrix} 0&\alpha&\beta\\ -\alpha&0&\gamma\\ -\beta&-\gamma&0 \end{pmatrix} の特性多項式は −λ{λ2+α2+β2+γ2} -\lambda\{\lambda^2+\alpha^2+\beta^2+\gamma^2\} となる。そこで α2+β2+γ2=0\alpha^2+\beta^2+\gamma^2=0 かつ全部は 00 でないように選ぶと、 固有値がすべて 00 の非零行列になる。上の例は α=1, β=i, γ=0\alpha=1,\ \beta=i,\ \gamma=0 としたものに対応する。

採点上の注意

行列を一つ書くだけでは不十分である。転置で符号が反転することと、対角化できないことを別々に示す。 非対角化性は、A3=OA^3=O と A≠OA\ne O だけでなく、 「対角化可能な冪零行列は零行列である」と結びつけて書くと減点されにくい。

解答

例えば A=(01i−100−i00) A= \begin{pmatrix} 0&1&i\\ -1&0&0\\ -i&0&0 \end{pmatrix} とおく。このとき成分を見れば直ちに tA=−A {}^t A=-A である。

次に非対角化性を確認する。直接計算すると A2=(0000−1−i0−i1),A3=O. A^2= \begin{pmatrix} 0&0&0\\ 0&-1&-i\\ 0&-i&1 \end{pmatrix}, \qquad A^3=O. 一方で A≠OA\ne O である。したがって AA は零でない冪零行列であり、 固有値はすべて 00 である。もし AA が対角化可能なら、 対角化後の対角成分はすべて 00 になるので A=OA=O となってしまい矛盾する。 よってこの AA は対角化できない。

最終答

A=(01i−100−i00)\displaystyle A=\begin{pmatrix} 0&1&i\\ -1&0&0\\ -i&0&0 \end{pmatrix} は条件を満たす一例である。

第3問 — 単位円上の留数計算

極の位置

この計算では、分母を (1−az)(z−a) (1-az)(z-a) に分けた後、z=az=a と z=1/az=1/a のどちらが単位円内にあるかだけを判定すればよい。 ∣a∣=1|a|=1 は仮定から除かれているので、極が積分路上に乗る場合を考えなくてよい。

検算

被積分関数は正であるから、答えも正でなければならない。 上の結果は ∣a∣<1|a|<1 では 1−a2>01-a^2>0、∣a∣>1|a|>1 では a2−1>0a^2-1>0 となり、符号の検算に合っている。 また a=0a=0 の場合は積分値が 2π2\pi となり、式にも一致する。

解答

z=eiθz=e^{i\theta} とおくと cos⁡θ=12(z+1z),dθ=dziz. \cos\theta=\frac12\left(z+\frac1z\right), \qquad d\theta=\frac{dz}{iz}. 分母は 1−a(z+1z)+a2=(1−az)(z−a)z 1-a\left(z+\frac1z\right)+a^2 =\frac{(1-az)(z-a)}{z} と分解できるので、求める積分は単位円 ∣z∣=1|z|=1 上で ∫∣z∣=11i(1−az)(z−a) dz \int_{|z|=1} \frac{1}{i(1-az)(z-a)}\,dz となる。極は z=az=a と z=1/az=1/a である。

∣a∣<1|a|<1 のとき、単位円内の極は z=az=a だけである。よって Res⁡z=a1i(1−az)(z−a)=1i(1−a2) \operatorname*{Res}_{z=a} \frac{1}{i(1-az)(z-a)} =\frac{1}{i(1-a^2)} であり、 ∫02πdθ1−2acos⁡θ+a2=2π1−a2. \int_0^{2\pi} \frac{d\theta}{1-2a\cos\theta+a^2} =\frac{2\pi}{1-a^2}.

∣a∣>1|a|>1 のとき、単位円内の極は z=1/az=1/a だけである。1−az1-az の微分係数は −a-a だから Res⁡z=1/a1i(1−az)(z−a)=1i(1/a−a)(−a)=1i(a2−1). \operatorname*{Res}_{z=1/a} \frac{1}{i(1-az)(z-a)} = \frac{1}{i(1/a-a)(-a)} = \frac{1}{i(a^2-1)}. したがって ∫02πdθ1−2acos⁡θ+a2=2πa2−1. \int_0^{2\pi} \frac{d\theta}{1-2a\cos\theta+a^2} =\frac{2\pi}{a^2-1}.

最終答

∫02πdθ1−2acos⁡θ+a2={2π1−a2,∣a∣<1,2πa2−1,∣a∣>1. \int_0^{2\pi} \frac{d\theta}{1-2a\cos\theta+a^2} = \begin{cases} \displaystyle \frac{2\pi}{1-a^2}, & |a|<1,\\[1ex] \displaystyle \frac{2\pi}{a^2-1}, & |a|>1. \end{cases}

第4問 — 行列式の因数分解

展開を短くする

三次の行列式をサラスの公式だけで展開すると項が散らばりやすい。 この行列は対称なので、上で使った XYZ+2pqr−Xr2−Yq2−Zp2 XYZ+2pqr-Xr^2-Yq^2-Zp^2 の形に落とすと、符号の管理がかなり楽になる。

検算

c=0c=0 とすると、元の行列の右下 2×22\times 2 部分の行列式が消えるため、全体の行列式も 00 になる。 答え 2abc(a+b+c)32abc(a+b+c)^3 も同じく 00 になる。 また a=b=c=1a=b=c=1 では元の行列は対角成分 44、非対角成分 11 の行列であり、固有値は 6,3,36,3,3 で行列式は 5454。 答えも 2⋅1⋅1⋅1⋅33=542\cdot 1\cdot 1\cdot 1\cdot 3^3=54 となり一致する。

採点上の注意

最終形だけを書くと、展開ミスと区別がつきにくい。 少なくとも対称行列の三次行列式公式に代入した式を一段書き、そこから因数分解したことを示すとよい。

解答

行列式を対称行列の公式 det⁡(XpqpYrqrZ)=XYZ+2pqr−Xr2−Yq2−Zp2 \det \begin{pmatrix} X&p&q\\ p&Y&r\\ q&r&Z \end{pmatrix} =XYZ+2pqr-Xr^2-Yq^2-Zp^2 で展開する。ここで X=(a+b)2,Y=(b+c)2,Z=(c+a)2, X=(a+b)^2,\quad Y=(b+c)^2,\quad Z=(c+a)^2, p=ca,q=bc,r=ab p=ca,\quad q=bc,\quad r=ab とおくと、行列式 DD は D=(a+b)2(b+c)2(c+a)2+2a2b2c2−a2b2(a+b)2−b2c2(b+c)2−c2a2(c+a)2. \begin{aligned} D={}&(a+b)^2(b+c)^2(c+a)^2 +2a^2b^2c^2\\ &\quad -a^2b^2(a+b)^2 -b^2c^2(b+c)^2 -c^2a^2(c+a)^2. \end{aligned} これを整理する。まず (a+b)(b+c)(c+a)=(a+b+c)(ab+bc+ca)−abc (a+b)(b+c)(c+a) =(a+b+c)(ab+bc+ca)-abc である。上式を用いて展開し、同次次数ごとにまとめると D=2abc(a+b+c)3. D=2abc(a+b+c)^3. したがって因数分解は 2abc(a+b+c)3 2abc(a+b+c)^3 である。

最終答

2abc(a+b+c)3\displaystyle 2abc(a+b+c)^3

第5問 — 対数関数の級数展開

奇数次だけが残る理由

log⁡1−x1+x \log\frac{1-x}{1+x} は奇関数である。したがってマクローリン展開に偶数次の項は現れない。 先にこの性質を意識しておくと、符号や係数の確認がしやすい。

誤差評価の使い方

小数を求める問題では、近似値だけでなく、丸めに十分な誤差上界を示す必要がある。 今回は x=−1/3x=-1/3 と絶対値が小さいので、級数は非常に速く収束する。 x5x^5 の項までで誤差が 0.000150.00015 未満になり、小数第2位の判定には十分である。

典型ミス

log⁡(1+x)\log(1+x) の符号を引くところで、偶数次の項まで残してしまうミスが多い。 また log⁡2\log 2 を求めるときに x=1/3x=1/3 とすると f(1/3)=log⁡(1/2)f(1/3)=\log(1/2) になり符号が反対になる。

解答

∣x∣<1|x|<1 で log⁡(1−x)=−∑m=1∞xmm,log⁡(1+x)=∑m=1∞(−1)m+1xmm \log(1-x)=-\sum_{m=1}^{\infty}\frac{x^m}{m}, \qquad \log(1+x)=\sum_{m=1}^{\infty}\frac{(-1)^{m+1}x^m}{m} である。したがって f(x)=log⁡(1−x)−log⁡(1+x)=−2(x+x33+x55+⋯ )=−2∑k=0∞x2k+12k+1. \begin{aligned} f(x) &=\log(1-x)-\log(1+x)\\ &=-2\left(x+\frac{x^3}{3}+\frac{x^5}{5}+\cdots\right)\\ &=-2\sum_{k=0}^{\infty}\frac{x^{2k+1}}{2k+1}. \end{aligned}

nn 次までの多項式近似を考える。m=⌊(n−1)/2⌋m=\lfloor (n-1)/2\rfloor とおくと、 実際に現れる項は奇数次だけなので Pn(x)=−2∑k=0mx2k+12k+1 P_n(x)=-2\sum_{k=0}^{m}\frac{x^{2k+1}}{2k+1} である。ただし n=0n=0 のときは空和として P0(x)=0P_0(x)=0 と読む。 剰余は Rn(x)=f(x)−Pn(x)=−2∑k=m+1∞x2k+12k+1. R_n(x)=f(x)-P_n(x) = -2\sum_{k=m+1}^{\infty}\frac{x^{2k+1}}{2k+1}. 特に ∣x∣<1|x|<1 で ∣Rn(x)∣≤2∣x∣2m+3(2m+3)(1−x2) |R_n(x)| \le \frac{2|x|^{2m+3}}{(2m+3)(1-x^2)} という評価が得られる。

最後に log⁡2\log 2 を求める。 1−x1+x=2⟺x=−13 \frac{1-x}{1+x}=2 \quad\Longleftrightarrow\quad x=-\frac13 なので log⁡2=f ⁣(−13)=2(13+13⋅33+15⋅35+⋯ ). \log 2=f\!\left(-\frac13\right) = 2\left( \frac13+\frac{1}{3\cdot 3^3}+\frac{1}{5\cdot 3^5} +\cdots \right). 第 x5x^5 項まで取ると 2(13+13⋅33+15⋅35)=8421215=0.693004⋯ . 2\left(\frac13+\frac{1}{3\cdot 3^3}+\frac{1}{5\cdot 3^5}\right) = \frac{842}{1215} = 0.693004\cdots . 残りは 0<R<27∑k=3∞(13)2k+1=27⋅3−71−3−2<0.00015 0<R< \frac{2}{7}\sum_{k=3}^{\infty}\left(\frac13\right)^{2k+1} = \frac{2}{7}\cdot \frac{3^{-7}}{1-3^{-2}} <0.00015 である。よって log⁡2=0.693⋯ \log 2=0.693\cdots となり、小数第2位まででは 0.690.69 である。

最終答

f(x)=−2∑k=0∞x2k+12k+1,Rn(x)=−2∑k=m+1∞x2k+12k+1 f(x)=-2\sum_{k=0}^{\infty}\frac{x^{2k+1}}{2k+1},\qquad R_n(x)=-2\sum_{k=m+1}^{\infty}\frac{x^{2k+1}}{2k+1} ただし m=⌊(n−1)/2⌋m=\lfloor (n-1)/2\rfloor。また log⁡2=0.69\log 2=0.69。

阪大 数学 院試 過去問の収録21年度

  • 2025年度(全5問)

    階数と連立一次方程式の整合条件 / 2つの放物線上の点の距離 / 二点境界条件付き線形常微分方程式

  • 2024年度(全5問)

    楕円体と円柱条件の共通部分 / 二変数関数の極値判定 / 単調列と指数型列

  • 2023年度(全5問)

    主値積分 / 二次曲線上の積の極値 / 冪級数の収束半径

  • 2022年度(全5問)

    一次微分方程式 / 4次元球の体積 / 導関数の極限と微分可能性

  • 2021年度(全5問)

    三角関数の定積分 / 定数係数線形微分方程式 / 凸関数の導関数の極限

  • 2020年度(全5問)

    有理関数の広義積分 / 二変数関数の極値 / 正則行列の開性と行列冪の極限

  • 2019年度(全5問)

    パラメータ付き有理型積分 / 偏導関数が消える関数 / 行列の冪と作用素ノルム

  • 2018年度(全5問)

    三角置換と周期積分 / 行列の核と階数1行列 / 制約付き極値

  • 2017年度(全5問)

    二重積分と球・円柱の共通部分 / 二次形式の最大値と固有値 / 漸化式と収束半径

  • 2016年度(全5問)解答・最終答まで全文公開

    円盤上の積分と差分商 / 数列空間と線形漸化式 / 留数定理によるフーリエ型積分

  • 2015年度(全5問)解答・最終答まで全文公開

    重積分と広義積分 / 階段型行列の行列式 / Rodrigues型多項式と直交性

  • 2014年度(全5問)解答・最終答まで全文公開

    変数変換とベータ積分 / 多項式の零点と三角格子 / 直交行列のCayley変換

  • 2013年度(全5問)解答・最終答まで全文公開

    多項式空間上の線形変換 / 積分剰余と凸性 / 巡回行列の固有値

  • 2012年度(全5問)解答・最終答まで全文公開

    積分の変数変換 / 実数連立方程式 / 指数型母関数と3周期列

  • 2011年度(全5問)解答・最終答まで全文公開

    積分評価 / 線形部分空間 / 正則関数と調和共役

  • 2010年度(全5問)解答・最終答まで全文公開

    広義積分と留数計算 / 行列の核の次元 / 複素数列の周期性

  • 2009年度(このページ・全5問)解答・最終答まで全文公開

    制約付き最大化 / 歪対称行列と非対角化性 / 単位円上の留数計算

  • 2008年度(全5問)解答・最終答まで全文公開

    球と円柱の共通部分の体積 / 同伴行列の固有多項式と対角化 / 有界正則関数の係数評価

  • 2007年度(全5問)解答・最終答まで全文公開

    左右から近づく微分商 / 楕円体の体積 / 留数による有理関数積分

  • 2006年度(全5問)解答・最終答まで全文公開

    漸化式と階乗正規化 / 二変数関数の極値 / 単位円上の留数計算

  • 2005年度(全5問)解答・最終答まで全文公開

    可積分条件と無限遠での極限 / 極座標でのラプラシアン / フーリエ型積分と留数