SOS, 复向量的正交性 (from 李庆阳《数值分析》 最小二乘傅里叶逼近)