高等代数题，求欧式空间正交补。