院試hub

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

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

全5問。微分積分・解析2問・確率・統計1問・線形代数1問。テーマタグは3件(線形空間・基底・重積分と極座標・二次形式)。2010年度と共通のテーマは重積分と極座標。

最終更新:

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

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

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

大問分野主題解説の小見出し最終答
第1問微分積分・解析積分評価採点上の注意あり
第2問—線形部分空間採点上の注意あり
第3問微分積分・解析正則関数と調和共役関数の見方 / 採点上の注意あり
第4問線形代数逆行列の非負性採点上の注意あり
第5問確率・統計条件付き確率採点上の注意あり

この年度の解説には採点上の注意5件・検算4件が付いています。

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

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

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

大問数
2010年度 5問 → 2011年度 5問
両年度に出たテーマ
重積分と極座標
2011年度で新しく出たテーマ
線形空間・基底・二次形式
2010年度のページを見る

第1問 — 積分評価

方針

第1の積分は a+bcos⁡θa+b\cos\theta 型の基本形である。半角正接置換を使うと,三角関数の周期積分が 有理関数の実軸積分に落ちる。第2の積分は二次形式を対角化してから極座標にするのが最短である。

検算

第2の積分は正の被積分関数なので,答も正でなければならない。また ∫R2(1+r2)−2 du dv=π\int_{\mathbb R^2}(1+r^2)^{-2}\,du\,dv=\pi で,変数変換のヤコビアンが 1/21/2 であるため π/2\pi/2 になる。ヤコビアンを落とすと π\pi になってしまう。

採点上の注意

二次形式の交差項をそのまま扱うと計算が重くなる。平方完成で (x−y)2+4y2(x-y)^2+4y^2 としてから,線形変換の行列式まで明記するのが安全である。

解答

  1. 標準公式 ∫02πdθa+bcos⁡θ=2πa2−b2(a>∣b∣) \int_0^{2\pi}\frac{d\theta}{a+b\cos\theta} =\frac{2\pi}{\sqrt{a^2-b^2}}\qquad (a>|b|) を用いると,ここでは a=5, b=3a=5,\ b=3 なので ∫02πdθ5+3cos⁡θ=2π25−9=π2. \int_0^{2\pi}\frac{d\theta}{5+3\cos\theta} =\frac{2\pi}{\sqrt{25-9}} =\frac{\pi}{2}. 公式を使わずに確認するなら,t=tan⁡(θ/2)t=\tan(\theta/2) とおく。すると cos⁡θ=1−t21+t2,dθ=2 dt1+t2. \cos\theta=\frac{1-t^2}{1+t^2},\qquad d\theta=\frac{2\,dt}{1+t^2}. [0,2π][0,2\pi] の積分は実軸上の積分に変わり, ∫−∞∞2 dt5(1+t2)+3(1−t2)=∫−∞∞dt4+t2=π2. \int_{-\infty}^{\infty} \frac{2\,dt}{5(1+t^2)+3(1-t^2)} =\int_{-\infty}^{\infty}\frac{dt}{4+t^2} =\frac{\pi}{2}.
  2. 二次形式を平方完成する。 x2−2xy+5y2=(x−y)2+4y2. x^2-2xy+5y^2=(x-y)^2+4y^2. そこで u=x−y,v=2y u=x-y,\qquad v=2y とおくと, x=u+v2,y=v2,∣∂(x,y)∂(u,v)∣=12. x=u+\frac{v}{2},\qquad y=\frac{v}{2},\qquad \left|\frac{\partial(x,y)}{\partial(u,v)}\right|=\frac12. したがって I=12∫R2du dv(1+u2+v2)2=12∫02π∫0∞r(1+r2)2 dr dϕ. \begin{aligned} I &=\frac12\int_{\mathbb R^2}\frac{du\,dv}{(1+u^2+v^2)^2} \\ &=\frac12\int_0^{2\pi}\int_0^\infty \frac{r}{(1+r^2)^2}\,dr\,d\phi. \end{aligned} ここで s=1+r2s=1+r^2 とすれば ∫0∞r(1+r2)2 dr=12∫1∞s−2 ds=12. \int_0^\infty\frac{r}{(1+r^2)^2}\,dr =\frac12\int_1^\infty s^{-2}\,ds =\frac12. よって I=12⋅2π⋅12=π2. I=\frac12\cdot 2\pi\cdot\frac12=\frac{\pi}{2}.

最終答

(1) π2,(2) π2. \text{(1)}\ \frac{\pi}{2},\qquad \text{(2)}\ \frac{\pi}{2}.

第2問 — 線形部分空間

方針

VV と WW はどちらも核空間なので,階数と零化空間の次元を使う。 V∩WV\cap W は「両方の条件を同時に満たす」ことだから,AA と BB を縦に並べた行列の核である。

検算

交わりの2つの基底候補を AA と BB に代入すると,どちらも零ベクトルになる。 また2つのベクトルは第5成分を見るだけで一次独立と分かる。

採点上の注意

dim⁡(V+W)\dim(V+W) は VV と WW の単なる和 3+33+3 ではない。重複して数えた V∩WV\cap W の次元を必ず引く。ここで交わりの基底を出しているので,次元公式まで自然につながる。

解答

行列 A=(321101101−1) A=\begin{pmatrix} 3&2&1&1&0\\ 1&1&0&1&-1 \end{pmatrix} の2行は一次独立である。したがって rank⁡A=2,dim⁡V=5−2=3. \operatorname{rank}A=2,\qquad \dim V=5-2=3.

次に V∩WV\cap W は Ax=0,Bx=0 Ax=0,\qquad Bx=0 を同時に満たすベクトル全体である。拡大ではない係数行列 C=(321101101−12111−112−1−26) C=\begin{pmatrix} 3&2&1&1&0\\ 1&1&0&1&-1\\ 2&1&1&1&-1\\ 1&2&-1&-2&6 \end{pmatrix} を行基本変形すると C∼(1010001−1010001−200000). C\sim \begin{pmatrix} 1&0&1&0&0\\ 0&1&-1&0&1\\ 0&0&0&1&-2\\ 0&0&0&0&0 \end{pmatrix}. よって x=(x1,…,x5)Tx=(x_1,\ldots,x_5)^T と書けば x1=−x3,x2=x3−x5,x4=2x5. x_1=-x_3,\qquad x_2=x_3-x_5,\qquad x_4=2x_5. 自由変数を s=x3, t=x5s=x_3,\ t=x_5 とすると x=s(−11100)+t(0−1021). x=s\begin{pmatrix}-1\\1\\1\\0\\0\end{pmatrix} +t\begin{pmatrix}0\\-1\\0\\2\\1\end{pmatrix}. したがって {(−11100),(0−1021)} \left\{ \begin{pmatrix}-1\\1\\1\\0\\0\end{pmatrix}, \begin{pmatrix}0\\-1\\0\\2\\1\end{pmatrix} \right\} は V∩WV\cap W の基底の1組である。

最後に BB の2行も一次独立なので dim⁡W=3\dim W=3 である。次元公式より dim⁡(V+W)=dim⁡V+dim⁡W−dim⁡(V∩W)=3+3−2=4. \dim(V+W)=\dim V+\dim W-\dim(V\cap W) =3+3-2=4.

最終答

dim⁡V=3,B(V∩W)={(−1,1,1,0,0)T, (0,−1,0,2,1)T},dim⁡(V+W)=4. \dim V=3,\qquad \mathcal B(V\cap W)= \left\{ (-1,1,1,0,0)^T,\ (0,-1,0,2,1)^T \right\},\qquad \dim(V+W)=4.

第3問 — 正則関数と調和共役

方針

正則性から,複素微分を実方向と虚方向のどちらで計算しても同じ値になる。 この「2通りの差商の一致」を実部・虚部で比べるのが Cauchy--Riemann の最も基本的な証明である。

関数の見方

第2項の実部は Re⁡1z=Re⁡x−iyx2+y2=xx2+y2 \operatorname{Re}\frac{1}{z} =\operatorname{Re}\frac{x-iy}{x^2+y^2} =\frac{x}{x^2+y^2} である。したがって答は実は Im⁡1z=−yx2+y2 \operatorname{Im}\frac1z=-\frac{y}{x^2+y^2} と予想できる。計算による導出は,この予想が定数差を除いて正しいことを確認している。

採点上の注意

vxv_x だけから vv を決めると,積分定数が yy の関数として残る。 その後に vyv_y の式へ代入し,その関数が定数であることまで確認する必要がある。

解答

  1. z0=x+iyz_0=x+iy とし,正則性から複素微分 f′(z0)=lim⁡h→0f(z0+h)−f(z0)h f'(z_0)=\lim_{h\to 0}\frac{f(z_0+h)-f(z_0)}{h} は近づけ方によらず存在する。 まず実方向 h∈Rh\in\mathbb R から近づけると f′(z0)=ux(x,y)+ivx(x,y). f'(z_0)=u_x(x,y)+i v_x(x,y). 一方,虚方向 h=ik, k∈Rh=ik,\ k\in\mathbb R から近づけると f′(z0)=lim⁡k→0u(x,y+k)−u(x,y)+i{v(x,y+k)−v(x,y)}ik=vy(x,y)−iuy(x,y). \begin{aligned} f'(z_0) &=\lim_{k\to0} \frac{u(x,y+k)-u(x,y)+i\{v(x,y+k)-v(x,y)\}}{ik} \\ &=v_y(x,y)-i u_y(x,y). \end{aligned} 両者の実部と虚部を比較して ux=vy,uy=−vx u_x=v_y,\qquad u_y=-v_x を得る。
  2. u(x,y)=xx2+y2 u(x,y)=\frac{x}{x^2+y^2} とおく。偏微分は ux=y2−x2(x2+y2)2,uy=−2xy(x2+y2)2. u_x=\frac{y^2-x^2}{(x^2+y^2)^2},\qquad u_y=-\frac{2xy}{(x^2+y^2)^2}. Cauchy--Riemann の式より vx=−uy=2xy(x2+y2)2,vy=ux=y2−x2(x2+y2)2. v_x=-u_y=\frac{2xy}{(x^2+y^2)^2},\qquad v_y=u_x=\frac{y^2-x^2}{(x^2+y^2)^2}. まず vxv_x を xx で積分すると v(x,y)=−yx2+y2+ϕ(y) v(x,y)=-\frac{y}{x^2+y^2}+\phi(y) と書ける。これを yy で微分すると vy=y2−x2(x2+y2)2+ϕ′(y). v_y=\frac{y^2-x^2}{(x^2+y^2)^2}+\phi'(y). したがって ϕ′(y)=0\phi'(y)=0 であり,ϕ\phi は定数である。

最終答

v(x,y)=−yx2+y2+C(C∈R). v(x,y)=-\frac{y}{x^2+y^2}+C\qquad (C\in\mathbb R).

第4問 — 逆行列の非負性

方針

仮定は「像が非負ベクトルなら,元も非負ベクトル」という順序保存の逆向き条件である。 正則性は核が零であることから示し,逆行列の各列は Ax=ejAx=e_j の解として取り出す。

検算

もし A−1A^{-1} のある列に負の成分があれば,その列を xx として Ax=ej≥0Ax=e_j\ge0 なのに x≥0x\ge0 が成り立たず,仮定に反する。標準基底を使うのは,逆行列の列を1本ずつ調べるためである。

採点上の注意

Ax=0Ax=0 から x≥0x\ge0 だけを得ても,まだ x=0x=0 とは言えない。 −x-x も同じ核に入ることを使って −x≥0-x\ge0 を出すのが正則性の決め手である。

解答

仮定は Ax≥0⟹x≥0 Ax\ge 0 \quad\Longrightarrow\quad x\ge 0 である。ここで不等号は成分ごとの不等号を表す。

  1. Ax=0Ax=0 とする。このとき Ax=0≥0Ax=0\ge0 だから,仮定より x≥0 x\ge0 である。また A(−x)=0≥0A(-x)=0\ge0 でもあるので,同じ仮定から −x≥0 -x\ge0 を得る。よって各成分について xi≥0x_i\ge0 かつ xi≤0x_i\le0 であり,x=0x=0 である。 したがって ker⁡A={0}\ker A=\{0\} である。有限次元の正方行列なので,AA は正則である。
  2. eje_j を第 jj 成分だけが1で他が0の標準基底ベクトルとする。 x=A−1ej x=A^{-1}e_j とおけば Ax=ej≥0 Ax=e_j\ge0 である。仮定より x≥0x\ge0 である。 ところが A−1ejA^{-1}e_j は A−1A^{-1} の第 jj 列そのものである。任意の jj について この列ベクトルの全成分が非負だから,A−1A^{-1} のすべての成分は非負である。

最終答

A は正則であり,(A−1)ij≥0(1≤i,j≤n). A\ \text{は正則であり,}\quad (A^{-1})_{ij}\ge0\quad (1\le i,j\le n).

第5問 — 条件付き確率

方針

これは検査精度と事前確率を混同しないための Bayes の定理の問題である。 感染率が非常に低いので,偽陽性率が小さくても陽性者の中に未感染者が多く混ざり得る。

検算

r=6r=6 では偽陽性率 10−610^{-6} が感染率と同程度であり,陽性者の感染確率は高くても およそ半分程度にしかならない。r=7r=7 にすると偽陽性率が感染率の10分の1になり, 感染者由来の陽性が全陽性の9割を超える。

採点上の注意

感度 1−10−r1-10^{-r} をそのまま P(D∣+)P(D\mid +) としてはいけない。 求めたいのは「陽性という結果を見た後の感染確率」であり,事前確率 10−610^{-6} を必ず掛けて比較する。

解答

感染している事象を DD,陽性反応が出る事象を ++ とする。感染率は P(D)=10−6,P(Dc)=1−10−6 P(D)=10^{-6},\qquad P(D^c)=1-10^{-6} であり,試薬の性質から P(+∣D)=1−10−r,P(+∣Dc)=10−r. P(+\mid D)=1-10^{-r},\qquad P(+\mid D^c)=10^{-r}.

  1. Bayes の定理より P(Dc∣+)=P(+∣Dc)P(Dc)P(+∣D)P(D)+P(+∣Dc)P(Dc)=(1−10−6)10−r10−6(1−10−r)+(1−10−6)10−r. \begin{aligned} P(D^c\mid +) &= \frac{P(+\mid D^c)P(D^c)} {P(+\mid D)P(D)+P(+\mid D^c)P(D^c)} \\ &= \frac{(1-10^{-6})10^{-r}} {10^{-6}(1-10^{-r})+(1-10^{-6})10^{-r}}. \end{aligned}
  2. 陽性反応が出たとき実際に感染している確率は P(D∣+)=10−6(1−10−r)10−6(1−10−r)+(1−10−6)10−r. P(D\mid +) = \frac{10^{-6}(1-10^{-r})} {10^{-6}(1-10^{-r})+(1-10^{-6})10^{-r}}. これが 0.90.9 を超える条件を解く。p=10−6p=10^{-6}, q=10−rq=10^{-r} と書けば p(1−q)p(1−q)+(1−p)q>0.9. \frac{p(1-q)}{p(1-q)+(1-p)q}>0.9. 分母は正なので p(1−q)>9(1−p)q. p(1-q)>9(1-p)q. すなわち p>q{p+9(1−p)}=q(9−8p). p>q\{p+9(1-p)\}=q(9-8p). よって 10−r<10−69−8⋅10−6. 10^{-r}<\frac{10^{-6}}{9-8\cdot10^{-6}}. 右辺は約 1.11×10−71.11\times10^{-7} である。したがって 10−7<10−69−8⋅10−6,10−6>10−69−8⋅10−6 10^{-7}<\frac{10^{-6}}{9-8\cdot10^{-6}},\qquad 10^{-6}>\frac{10^{-6}}{9-8\cdot10^{-6}} なので,条件を満たす最小の自然数は r=7 r=7 である。

最終答

(1) (1−10−6)10−r10−6(1−10−r)+(1−10−6)10−r,(2) r=7. \text{(1)}\ \frac{(1-10^{-6})10^{-r}} {10^{-6}(1-10^{-r})+(1-10^{-6})10^{-r}}, \qquad \text{(2)}\ r=7.

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

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