D 的对角线必须是实数特征值和复共轭对的集合(例如，X 为实矩阵时 EIG(X) 的输出)。