正交变换的性质及其应用