線形代数の問題
を 以上の整数とし、 上の実 2 次形式
を考える。 を満たす 次実対称行列 の正の固有値の個数を 、負の固有値の個数を とし(いずれも重複度を込めて数える)、組 を の符号という。 の符号が であることを証明せよ。
ただし、実対称行列は直交行列によって対角化できること、および対角化可能な行列では各固有値の重複度がその固有空間の次元に等しいことは用いてよい。
この問題で使うもの
- 2 次形式の標準形と符号(説明と入口の問題)
- 対称行列の直交対角化(説明と入口の問題)
- 固有値と固有ベクトル(説明と入口の問題)
- 行列の階数と解の存在(説明と入口の問題)
- 核と像と次元定理(説明と入口の問題)
この問題を解けるようになるまで(55 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 行列式
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- ベクトル空間・一次独立・基底・次元
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- 加法定理と 2 倍角・半角・積和の公式
- 線形変換と行列
- 核と像と次元定理
- 固有値と固有ベクトル
- 掃き出し法による逆行列
- 基底の変換と表現行列
- 対角化と行列の累乗
- 最大公約数と最小公倍数
- 比の性質と簡単な比
- 相似な三角形と長さの比
- 三角形の相似条件と対応する辺の長さ
- 三角比の定義と値
- 内積となす角
- 内積空間とグラム・シュミットの直交化
- 対称行列の直交対角化
- 2 次形式の標準形と符号
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
を表す実対称行列 を書き下し、その固有値の符号を調べればよい。 をすべての成分が の行列 と単位行列 で表してみよう。
ヒント 2
である。 の階数が であることから固有値 の重複度がわかり、残りの固有値はトレースから決まる。
ヒント 3
より 、対角化可能性から固有値 の重複度は 、 より残りの固有値は 。次に、 を対角化する直交行列 で も同時に対角化されることを使う。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
となる実対称行列が (対角成分 、非対角成分 )であることを、 を展開して確かめている(2 点)
と次元定理から を導き、対角化可能性を使って固有値 の重複度が であると結論している(3 点)
トレース(または と重複度の合計)から の残りの固有値が であることを示している(2 点)
を対角化する直交行列で も対角化され、 の固有値が (1 個)と ( 個)であることを示し、 を使って符号 を結論している(3 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
すべての成分が である 次正方行列を 、 次単位行列を 、すべての成分が である 次元列ベクトルを とする。
ステップ 1(表現行列). とおく。 は対角成分が 、非対角成分がすべて の実対称行列であり、
である( の組は と で同じ項 を 2 回ずつ与える)。2 次形式を表す実対称行列は一意( は の係数、 の は の係数の半分として決まる)なので、問題の はこの行列である。
ステップ 2( の固有値). の 個の列はすべて に等しく、 なので である。次元定理より であり、 なので 、すなわち は の固有値で、その固有空間 の次元は である。 は実対称行列なので対角化可能であり、用いてよい事実から固有値 の重複度は である。
の固有値は重複度を込めて 個あり、その和は である。 が 個を占めるので、残りの 1 個の固有値を とすると より である(実際 で確かめられる)。したがって の固有値は重複度込みで (1 個)と ( 個)である。
ステップ 3( の固有値). は実対称行列なので、ある直交行列 によって
とできる。 より なので
となる( が 個並ぶ)。 なので、 は対角行列 と相似であり、相似な行列は固有多項式が等しいから、 の固有値は重複度込みで (1 個)と ( 個)である。
ステップ 4(符号). より 、また である。よって の正の固有値の個数は 、負の固有値の個数は である( の固有値はない)。
結論. の符号は である。
(補足: と変数変換すると という標準形が得られる。)