线性代数正交变换y=px,证明长度不变,