院試hub

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

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

全5問。微分積分・解析2問・線形代数1問。テーマタグは3件(重積分と極座標・留数定理・コーシーの積分定理)。2014年度と共通のテーマは重積分と極座標。

最終更新:

収録21年度分の解答PDF:大阪大学 情報科学研究科 情報基礎数学専攻 数学(¥3,200・紙面見本あり)

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

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

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

大問分野主題解説の小見出し最終答
第1問微分積分・解析重積分と広義積分広義積分の確認あり
第2問線形代数階段型行列の行列式列変形の順序あり
第3問—Rodrigues型多項式と直交性境界項が消える理由 / 採点上の注意あり
第4問—像空間と多項式消滅条件第2問の注意点あり
第5問微分積分・解析コーシーの積分定理と実積分注意すべき極限 / 採点上の注意あり

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

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

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

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

大問数
2014年度 5問 → 2015年度 5問
両年度に出たテーマ
重積分と極座標
2015年度で新しく出たテーマ
留数定理・コーシーの積分定理
2014年度のページを見る

第1問 — 重積分と広義積分

方針

第1積分は放物面と xyxy 平面にはさまれた立体上の積分である。 zz について先に積分すれば,円板上の多項式積分に落ちる。 角度方向に依存する部分と半径方向に依存する部分を分離できるのが 極座標の利点である。

底面は単位円板になる

典型ミス

(1)(1) で角度積分を先に見ると,2x2−y22x^2-y^2 は平均して 零にはならない。円周上では x2x^2 と y2y^2 の平均は同じなので, 2x2−y22x^2-y^2 の平均は x2x^2 1個分だけ残る。

広義積分の確認

(2)(2) は α<0\alpha<0 のため x=yx=y で被積分関数が発散する。 ただし変数変換後は uαu^\alpha の積分であり, α>−1\alpha>-1 だから収束する。この収束条件を書いておくと, 単なる形式計算ではないことが明確になる。

解答

(1)(1) ではまず zz について積分する。底面は単位円板であり, ∫01−x2−y2z(2x2−y2) dz=12(1−x2−y2)2(2x2−y2) \int_0^{1-x^2-y^2} z(2x^2-y^2)\,dz = \frac12(1-x^2-y^2)^2(2x^2-y^2) である。極座標 x=rcos⁡θ, y=rsin⁡θx=r\cos\theta,\ y=r\sin\theta を用いると 2x2−y2=r2(2cos⁡2θ−sin⁡2θ) 2x^2-y^2 = r^2(2\cos^2\theta-\sin^2\theta) なので, I1=12∫01∫02π(1−r2)2r2(2cos⁡2θ−sin⁡2θ)r dθ dr=12(∫02π(2cos⁡2θ−sin⁡2θ) dθ)(∫01r3(1−r2)2 dr). \begin{aligned} I_1 &= \frac12 \int_0^1\int_0^{2\pi} (1-r^2)^2r^2(2\cos^2\theta-\sin^2\theta)r\,d\theta\,dr \\ &= \frac12 \left(\int_0^{2\pi}(2\cos^2\theta-\sin^2\theta)\,d\theta\right) \left(\int_0^1 r^3(1-r^2)^2\,dr\right). \end{aligned} 角度方向は 2π−π=π2\pi-\pi=\pi である。また ∫01r3(1−r2)2 dr=∫01(r3−2r5+r7) dr=14−13+18=124. \int_0^1 r^3(1-r^2)^2\,dr = \int_0^1(r^3-2r^5+r^7)\,dr = \frac14-\frac13+\frac18 = \frac1{24}. したがって I1=π48. I_1=\frac{\pi}{48}.

(2)(2) では u=x−y, v=yu=x-y,\ v=y とおく。ヤコビアンは 11 で,領域は u≥0,v≥0,u+v≤1 u\ge 0,\quad v\ge 0,\quad u+v\le 1 に移る。よって I2=∫01∫01−uuα dv du=∫01(1−u)uα du. I_2 = \int_0^1\int_0^{1-u}u^\alpha\,dv\,du = \int_0^1(1-u)u^\alpha\,du. −1<α<0-1<\alpha<0 なので u=0u=0 で広義積分は収束し, I2=∫01uα du−∫01uα+1 du=1α+1−1α+2=1(α+1)(α+2). I_2 = \int_0^1 u^\alpha\,du-\int_0^1u^{\alpha+1}\,du = \frac1{\alpha+1}-\frac1{\alpha+2} = \frac1{(\alpha+1)(\alpha+2)}.

最終答

I1=π48,I2=1(α+1)(α+2)\displaystyle I_1=\frac{\pi}{48},\qquad I_2=\frac1{(\alpha+1)(\alpha+2)}.

第2問 — 階段型行列の行列式

方針

この行列は行方向より列方向の差を取ると形が見える。隣り合う列の差を 取ると,上側に連続した 00 が現れ,行列式は下三角行列の対角積に 帰着する。

対角成分=1, b1−x1,…,bn−1−xn−1\text{対角成分}=1,\ b_1-x_1,\dots,b_{n-1}-x_{n-1}

列変形の順序

Cj←Cj−Cj−1C_j\leftarrow C_j-C_{j-1} を右から左へ行えば,まだ使っていない 左隣の列を壊さずに済む。左から右へ機械的に進めると,すでに変形した 列を引いてしまい,意図した差分にならない。

検算

n=2n=2 では ∣11x1b1∣=b1−x1 \begin{vmatrix}1&1\\ x_1&b_1\end{vmatrix}=b_1-x_1 であり,公式と一致する。小さい次数で符号を確認してから一般化すると, 符号ミスを避けやすい。

解答

列ベクトルを C1,…,CnC_1,\dots,C_n と書く。列基本変形として Cj←Cj−Cj−1(j=n,n−1,…,2) C_j\leftarrow C_j-C_{j-1}\qquad (j=n,n-1,\dots,2) を行う。これは行列式を変えない。変形後の第1行は (1,0,…,0) (1,0,\dots,0) である。

また,j≥2j\ge 2 に対して新しい第 jj 列は,第1行から第 (j−1)(j-1) 行までが 00,第 jj 行が bj−1−xj−1 b_{j-1}-x_{j-1} となる。第 jj 行より下には xj−xj−1x_j-x_{j-1} 型の成分が残るが, これは対角成分より下にしか現れない。

したがって,第1行・第1列を除いた (n−1)(n-1) 次行列は下三角行列で, その対角成分は b1−x1, b2−x2, …, bn−1−xn−1 b_1-x_1,\ b_2-x_2,\ \dots,\ b_{n-1}-x_{n-1} である。よって det⁡An=∏k=1n−1(bk−xk). \det A_n = \prod_{k=1}^{n-1}(b_k-x_k).

最終答

det⁡An=∏k=1n−1(bk−xk)\displaystyle \det A_n=\prod_{k=1}^{n-1}(b_k-x_k).

第3問 — Rodrigues型多項式と直交性

方針

これは Legendre 多項式の Rodrigues 公式と同じ構造である。 標準的な Legendre 多項式 PnP_n とは ϕn(x)=2nn!Pn(x) \phi_n(x)=2^n n! P_n(x) の関係にあるため,直交性もノルムも標準公式から見通せる。 答案では標準公式を丸暗記で使うより,部分積分で導く方が安全である。

境界項が消える理由

部分積分を繰り返すとき,端点で (x2−1)n(x^2-1)^n の 00 から n−1n-1 階までの導関数が消えることが 重要である。ここを書かないと,直交性の証明としては不十分になる。

採点上の注意

ノルム計算では (2n)!(2n)! と (2n+1)!(2n+1)! の約分で (2n+1)(2n+1) が分母に残る。最後の係数 22n+12^{2n+1} も,変数変換 x=2t−1x=2t-1 の dx=2dtdx=2dt を忘れると 半分ずれる。

解答

Φn(x)=(x2−1)n\Phi_n(x)=(x^2-1)^n とおくと,ϕn=Φn(n)\phi_n=\Phi_n^{(n)} である。 Φn\Phi_n は x=±1x=\pm1 に nn 重零点を持つため, Φn,Φn′,…,Φn(n−1)\Phi_n,\Phi_n',\dots,\Phi_n^{(n-1)} は両端で消える。

(1)(1) n>m≥0n>m\ge0 とする。部分積分を nn 回行うと,境界項はすべて 消え, ∫−11ϕn(x)ϕm(x) dx=(−1)n∫−11(x2−1)ndndxnϕm(x) dx. \int_{-1}^1 \phi_n(x)\phi_m(x)\,dx = (-1)^n\int_{-1}^1 (x^2-1)^n \frac{d^n}{dx^n}\phi_m(x)\,dx. ϕm\phi_m は高々 mm 次の多項式であり,n>mn>m だから dndxnϕm(x)=0\frac{d^n}{dx^n}\phi_m(x)=0 である。したがって ∫−11ϕn(x)ϕm(x) dx=0. \int_{-1}^1 \phi_n(x)\phi_m(x)\,dx=0.

(2)(2) 同様に,Φn\Phi_n を用いて ∫−11∣ϕn(x)∣2 dx=∫−11{Φn(n)(x)}2 dx=(−1)n∫−11Φn(x)Φn(2n)(x) dx. \begin{aligned} \int_{-1}^1 |\phi_n(x)|^2\,dx &= \int_{-1}^1\{\Phi_n^{(n)}(x)\}^2\,dx \\ &= (-1)^n\int_{-1}^1 \Phi_n(x)\Phi_n^{(2n)}(x)\,dx. \end{aligned} Φn(x)\Phi_n(x) の最高次項は x2nx^{2n} なので Φn(2n)(x)=(2n)!\Phi_n^{(2n)}(x)=(2n)! である。よって ∫−11∣ϕn(x)∣2 dx=(2n)!∫−11(1−x2)n dx. \int_{-1}^1 |\phi_n(x)|^2\,dx = (2n)!\int_{-1}^1(1-x^2)^n\,dx. ここで x=2t−1x=2t-1 とおくと ∫−11(1−x2)n dx=2⋅4n∫01tn(1−t)n dt=22n+1B(n+1,n+1). \begin{aligned} \int_{-1}^1(1-x^2)^n\,dx &= 2\cdot 4^n\int_0^1 t^n(1-t)^n\,dt \\ &= 2^{2n+1}B(n+1,n+1). \end{aligned} 与えられた Beta 関数の値を使えば ∫−11(1−x2)n dx=22n+1(n!)2(2n+1)!. \int_{-1}^1(1-x^2)^n\,dx = 2^{2n+1}\frac{(n!)^2}{(2n+1)!}. したがって ∫−11∣ϕn(x)∣2 dx=(2n)! 22n+1(n!)2(2n+1)!=22n+1(n!)22n+1. \int_{-1}^1|\phi_n(x)|^2\,dx = (2n)!\,2^{2n+1}\frac{(n!)^2}{(2n+1)!} = \frac{2^{2n+1}(n!)^2}{2n+1}.

最終答

∫−11ϕnϕm dx=0 (n>m≥0),∫−11∣ϕn∣2 dx=22n+1(n!)22n+1\displaystyle \int_{-1}^1\phi_n\phi_m\,dx=0\ (n>m\ge0),\qquad \int_{-1}^1|\phi_n|^2\,dx=\frac{2^{2n+1}(n!)^2}{2n+1}.

第4問 — 像空間と多項式消滅条件

方針

像空間の交わりを扱う問題では,積 PQPQ の像が Im⁡P\operatorname{Im}P と Im⁡Q\operatorname{Im}Q の両方に入ることを 使う。ただしこれは P,QP,Q が可換なときにきれいに働く。 ここでは AA の多項式だけが出ているので可換性は自動的に成り立つ。

第2問の注意点

A2(A−E)2=OA^2(A-E)^2=O から A2y=0A^2y=0 と (A−E)2y=0(A-E)^2y=0 が分かっても, ただちに y=0y=0 とは言えない。t2t^2 と (t−1)2(t-1)^2 が互いに素で あること,すなわち上の恒等式を使って yy 自身をそれらの線形結合で 表す必要がある。

検算

(1)(1) の条件 A2=AA^2=A は射影行列の条件である。 射影では空間が 11 固有空間と 00 固有空間に分かれ, Im⁡A\operatorname{Im}A と Im⁡(A−E)\operatorname{Im}(A-E) が交わらない, という幾何的な見方と一致する。

解答

(1)(1) まず A(A−E)=A2−A=(A−E)A A(A-E)=A^2-A=(A-E)A であるから,A(A−E)xA(A-E)x は任意の xx について Im⁡A\operatorname{Im}A にも Im⁡(A−E)\operatorname{Im}(A-E) にも属する。 したがって Im⁡A∩Im⁡(A−E)={0} \operatorname{Im}A\cap\operatorname{Im}(A-E)=\{0\} ならば A(A−E)x=0A(A-E)x=0 がすべての xx で成り立ち, A(A−E)=OA(A-E)=O である。

逆に A(A−E)=OA(A-E)=O とする。このとき A2=AA^2=A である。 y∈Im⁡A∩Im⁡(A−E)y\in\operatorname{Im}A\cap\operatorname{Im}(A-E) とすると, y=Au=(A−E)vy=Au=(A-E)v と書ける。y∈Im⁡Ay\in\operatorname{Im}A と A2=AA^2=A から Ay=yAy=y であり,y∈Im⁡(A−E)y\in\operatorname{Im}(A-E) と A(A−E)=OA(A-E)=O から Ay=0Ay=0 である。よって y=0y=0 となる。

(2)(2) 多項式 t2t^2 と (t−1)2(t-1)^2 は互いに素であり, (−2t+3)t2+(2t+1)(t−1)2=1 (-2t+3)t^2+(2t+1)(t-1)^2=1 が成り立つことを用いる。

まず A2(A−E)2=(A−E)2A2 A^2(A-E)^2=(A-E)^2A^2 であるから,A2(A−E)2xA^2(A-E)^2x は Im⁡A2\operatorname{Im}A^2 と Im⁡(A−E)2\operatorname{Im}(A-E)^2 の両方に 属する。従って,交わりが {0}\{0\} ならば A2(A−E)2=O A^2(A-E)^2=O である。

逆に A2(A−E)2=OA^2(A-E)^2=O とする。 y∈Im⁡A2∩Im⁡(A−E)2 y\in \operatorname{Im}A^2\cap\operatorname{Im}(A-E)^2 を取る。すると y=A2u=(A−E)2vy=A^2u=(A-E)^2v と書ける。可換性より (A−E)2y=(A−E)2A2u=0,A2y=A2(A−E)2v=0. (A-E)^2y=(A-E)^2A^2u=0,\qquad A^2y=A^2(A-E)^2v=0. 上の Bezout 型恒等式に AA を代入して yy に作用させると y=(−2A+3E)A2y+(2A+E)(A−E)2y=0. y=(-2A+3E)A^2y+(2A+E)(A-E)^2y=0. よって交わりは {0}\{0\} である。

最終答

それぞれの像の交わりが零空間であることと,対応する多項式 A(A−E)A(A-E),A2(A−E)2A^2(A-E)^2 が零行列になることは同値である。

第5問 — コーシーの積分定理と実積分

方針

実積分は奇関数部分と偶関数部分に分けるのが第一手である。 x3/(x4+1)x^3/(x^4+1) は左右対称な区間では打ち消し合う。 残りは有名な ∫−∞∞dx1+x4 \int_{-\infty}^{\infty}\frac{dx}{1+x^4} で,留数定理を使うと短く評価できる。

上半円内の2つの極だけが寄与する

注意すべき極限

x3/(x4+1)x^3/(x^4+1) は無限遠で 1/x1/x のように振る舞うため, 片側ずつの広義積分は収束しない。ここで求めているのは [−R,R][-R,R] 上の対称極限であり,そのため奇関数部分を 00 とできる。 この区別を書いておくと答案が厳密になる。

採点上の注意

留数の和の符号を誤ると答えが負になりやすい。実積分は正の関数 1/(x4+1)1/(x^4+1) の積分なので,最後の値は必ず正でなければならない。

解答

(1)(1) 代表的には次のように述べればよい。 単連結領域 D 上で正則な関数 f と,D 内の閉曲線 C に対して,∫Cf(z) dz=0. \text{単連結領域 }D\text{ 上で正則な関数 }f\text{ と,}D\text{ 内の閉曲線 }C \text{ に対して,}\quad \int_C f(z)\,dz=0. より一般には,閉曲線とその内部を含む領域で ff が正則なら, その閉曲線に沿う積分は 00 である。

(2)(2) まず x3+1x4+1=x3x4+1+1x4+1 \frac{x^3+1}{x^4+1} = \frac{x^3}{x^4+1}+\frac1{x^4+1} と分ける。第1項は奇関数なので,任意の R>0R>0 について ∫−RRx3x4+1 dx=0. \int_{-R}^{R}\frac{x^3}{x^4+1}\,dx=0. したがって求める極限は ∫−∞∞dxx4+1 \int_{-\infty}^{\infty}\frac{dx}{x^4+1} である。

上半円の半径 RR の経路を用いて f(z)=1z4+1 f(z)=\frac1{z^4+1} を積分する。上半平面の極は α=eiπ/4,β=e3iπ/4 \alpha=e^{i\pi/4},\qquad \beta=e^{3i\pi/4} であり,いずれも単純極である。留数は Res⁡z=ζ1z4+1=14ζ3 \operatorname*{Res}_{z=\zeta}\frac1{z^4+1} = \frac1{4\zeta^3} だから, Res⁡z=αf+Res⁡z=βf=14(e−3πi/4+e−9πi/4)=14(e−3πi/4+e−πi/4)=−i24. \begin{aligned} \operatorname*{Res}_{z=\alpha}f+ \operatorname*{Res}_{z=\beta}f &= \frac14\left(e^{-3\pi i/4}+e^{-9\pi i/4}\right) \\ &= \frac14\left(e^{-3\pi i/4}+e^{-\pi i/4}\right) = -\frac{i\sqrt2}{4}. \end{aligned} 半円弧上の積分は R→∞R\to\infty で 00 に近づくので,留数定理より ∫−∞∞dxx4+1=2πi(−i24)=π2. \int_{-\infty}^{\infty}\frac{dx}{x^4+1} = 2\pi i\left(-\frac{i\sqrt2}{4}\right) = \frac{\pi}{\sqrt2}. 以上より lim⁡R→∞∫−RRx3+1x4+1 dx=π2. \lim_{R\to\infty}\int_{-R}^{R}\frac{x^3+1}{x^4+1}\,dx = \frac{\pi}{\sqrt2}.

最終答

コーシーの積分定理は,正則関数の閉曲線積分が零になるという定理である。また,指定された対称極限は π2\displaystyle \frac{\pi}{\sqrt2}.

阪大 数学 院試 過去問の収録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問)解答・最終答まで全文公開

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