実対称行列の直交行列による対角化だよ。
「直行」行列と書くのは、コンピュータに慣れていないか
数学ができないかどちらかだろうけど。