已知n阶矩阵a满足a^2=a且a的秩为r,证明存在一个正交矩阵