ここまでで準備が出来たので、いよいよ実対称行列は対角化可能であることの証明を行います。 定理 実対称行列は対角化可能である （証明） が実対称行列であるとします。が対角化可能であることを数学的帰納法を用いて証明します。の次元をとします。 まずな…