任意の実対称行列は、複素行列と見てエルミートであり、従ってその全ての固有値は実数である(コーシー1829)。