対称行列の固有値が実数であること，固有ベクトルが互いに直交することについて，具体例と証明。