// // メインコンテンツ 「任意のエルミート行列はユニタリ行列によって対角化可能で、得られた対角行列の成分がすべて実数となるようにすることができる」という話はよく知られている。とはいえ、せっかくなので具体的なパラメータ表示とかをいい感じに探し…

// // メインコンテンツ 「任意の実対称行列は直交行列によって対角化可能である」という話はよく知られている。とはいえ、せっかくなので具体的なパラメータ表示とかをいい感じに探してみると面白そうなので探す。今回は2次で。 $\begin{pmatrix}a & b\\b &…