2023.08.12記
[6](新課程),とかく.
実数 , に対し とおく.
いま (, は実数)の形に表わされる行列全体からなる集合を とし, から を除いた集合を とする.
実数 , に対し とおく.
いま (, は実数)の形に表わされる行列全体からなる集合を とし, から を除いた集合を とする.
(i) に属する任意の2つの行列の積は に属することを示せ.
(ii) に属する任意の行列が逆行列をもつとき,点 はどのような範囲にあるか.これを図示せよ.
2023.08.16記
[大人の解答]
(i) ケーリー・ハミルトンの定理によりであるから,
,に対して
となる.
(i) ケーリー・ハミルトンの定理によりであるから,
,に対して
となる.
逆行列をもつことと固有値0を持たないことは同値であるから,任意の に対して の固有値が0 とならなければ良く,その必要十分条件は の全ての固有値が虚数であることである.
よって固有方程式 の判別式が負であれば良く,求める条件は となる.
例えば が実数なら は固有値0をもち逆行列をもたないし,虚数なら任意の に対して は虚数となり0にはならないということである.
[解答]
(i) ケーリー・ハミルトンの定理によりであるから,
,に対して
となる.
(i) ケーリー・ハミルトンの定理によりであるから,
,に対して
となる.
(ii) が任意の に対して0でなければ良い.
, とおくことにより
が任意の に対して0でなければ良く,その条件は
つまり である.
に対して (は定数)について考える問題はそれなりに登場するが,この問題と出会うのが数と式であることから,なかなか三角関数を利用することに思い至らないようで,当時の大数も河合塾の72年も数と式の範囲で解いており,少し面倒になっている.
なお,少し詳しく解説すると,
は合成公式から
の形に変形できるため,
ならば解をもつことから,解をもたない条件として
,
つまり
が得られるという訳である.
例えば任意の に対して (は定数)となる条件を求めてみると
が任意の に対して成立すれば良いので
,
つまり
となる.この条件は 「かつ」と変形できるが実は
「かつ」とも変形できる.