大阪大学 院試 過去問 解答例
阪大 情報科学研究科 情報基礎数学専攻 数学 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問
- 両年度に出たテーマ
- 重積分と極座標
第1問 — 積分評価
方針
第1の積分は 型の基本形である。半角正接置換を使うと,三角関数の周期積分が 有理関数の実軸積分に落ちる。第2の積分は二次形式を対角化してから極座標にするのが最短である。
検算
第2の積分は正の被積分関数なので,答も正でなければならない。また で,変数変換のヤコビアンが であるため になる。ヤコビアンを落とすと になってしまう。
採点上の注意
二次形式の交差項をそのまま扱うと計算が重くなる。平方完成で としてから,線形変換の行列式まで明記するのが安全である。
解答
- 標準公式 を用いると,ここでは なので 公式を使わずに確認するなら, とおく。すると の積分は実軸上の積分に変わり,
- 二次形式を平方完成する。 そこで とおくと, したがって ここで とすれば よって
最終答
第2問 — 線形部分空間
方針
と はどちらも核空間なので,階数と零化空間の次元を使う。 は「両方の条件を同時に満たす」ことだから, と を縦に並べた行列の核である。
検算
交わりの2つの基底候補を と に代入すると,どちらも零ベクトルになる。 また2つのベクトルは第5成分を見るだけで一次独立と分かる。
採点上の注意
は と の単なる和 ではない。重複して数えた の次元を必ず引く。ここで交わりの基底を出しているので,次元公式まで自然につながる。
解答
行列 の2行は一次独立である。したがって
次に は を同時に満たすベクトル全体である。拡大ではない係数行列 を行基本変形すると よって と書けば 自由変数を とすると したがって は の基底の1組である。
最後に の2行も一次独立なので である。次元公式より
最終答
第3問 — 正則関数と調和共役
方針
正則性から,複素微分を実方向と虚方向のどちらで計算しても同じ値になる。 この「2通りの差商の一致」を実部・虚部で比べるのが Cauchy--Riemann の最も基本的な証明である。
関数の見方
第2項の実部は である。したがって答は実は と予想できる。計算による導出は,この予想が定数差を除いて正しいことを確認している。
採点上の注意
だけから を決めると,積分定数が の関数として残る。 その後に の式へ代入し,その関数が定数であることまで確認する必要がある。
解答
- とし,正則性から複素微分 は近づけ方によらず存在する。 まず実方向 から近づけると 一方,虚方向 から近づけると 両者の実部と虚部を比較して を得る。
- とおく。偏微分は Cauchy--Riemann の式より まず を で積分すると と書ける。これを で微分すると したがって であり, は定数である。
最終答
第4問 — 逆行列の非負性
方針
仮定は「像が非負ベクトルなら,元も非負ベクトル」という順序保存の逆向き条件である。 正則性は核が零であることから示し,逆行列の各列は の解として取り出す。
検算
もし のある列に負の成分があれば,その列を として なのに が成り立たず,仮定に反する。標準基底を使うのは,逆行列の列を1本ずつ調べるためである。
採点上の注意
から だけを得ても,まだ とは言えない。 も同じ核に入ることを使って を出すのが正則性の決め手である。
解答
仮定は である。ここで不等号は成分ごとの不等号を表す。
- とする。このとき だから,仮定より である。また でもあるので,同じ仮定から を得る。よって各成分について かつ であり, である。 したがって である。有限次元の正方行列なので, は正則である。
- を第 成分だけが1で他が0の標準基底ベクトルとする。 とおけば である。仮定より である。 ところが は の第 列そのものである。任意の について この列ベクトルの全成分が非負だから, のすべての成分は非負である。
最終答
第5問 — 条件付き確率
方針
これは検査精度と事前確率を混同しないための Bayes の定理の問題である。 感染率が非常に低いので,偽陽性率が小さくても陽性者の中に未感染者が多く混ざり得る。
検算
では偽陽性率 が感染率と同程度であり,陽性者の感染確率は高くても およそ半分程度にしかならない。 にすると偽陽性率が感染率の10分の1になり, 感染者由来の陽性が全陽性の9割を超える。
採点上の注意
感度 をそのまま としてはいけない。 求めたいのは「陽性という結果を見た後の感染確率」であり,事前確率 を必ず掛けて比較する。
解答
感染している事象を ,陽性反応が出る事象を とする。感染率は であり,試薬の性質から
- Bayes の定理より
- 陽性反応が出たとき実際に感染している確率は これが を超える条件を解く。, と書けば 分母は正なので すなわち よって 右辺は約 である。したがって なので,条件を満たす最小の自然数は である。
最終答
阪大 数学 院試 過去問の収録21年度
階数と連立一次方程式の整合条件 / 2つの放物線上の点の距離 / 二点境界条件付き線形常微分方程式
楕円体と円柱条件の共通部分 / 二変数関数の極値判定 / 単調列と指数型列
主値積分 / 二次曲線上の積の極値 / 冪級数の収束半径
一次微分方程式 / 4次元球の体積 / 導関数の極限と微分可能性
三角関数の定積分 / 定数係数線形微分方程式 / 凸関数の導関数の極限
有理関数の広義積分 / 二変数関数の極値 / 正則行列の開性と行列冪の極限
パラメータ付き有理型積分 / 偏導関数が消える関数 / 行列の冪と作用素ノルム
三角置換と周期積分 / 行列の核と階数1行列 / 制約付き極値
二重積分と球・円柱の共通部分 / 二次形式の最大値と固有値 / 漸化式と収束半径
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問)解答・最終答まで全文公開
可積分条件と無限遠での極限 / 極座標でのラプラシアン / フーリエ型積分と留数