【大学数学】実対称行列の直交行列での対角化【線形代数】L39