正交矩阵一定可逆。根据可逆矩阵的定义：矩阵A为n阶方阵，若存在n阶矩阵B，使得矩阵A、B的乘积为单位阵，则称A为可逆阵，B为A的逆矩阵。而根据正交矩阵的定义：如果AAT=E（E为单位矩阵，AT表示“矩阵A的转置矩阵”）或ATA=E，则n阶实矩阵A称为正交矩阵 。

正交矩阵的相关性质
1、方阵A正交的充要条件是A的行（列）向量组是单位正交向量组。
2、方阵A正交的充要条件是A的n个行（列）向量是n维向量空间的一组标准正交基。
3、A是正交矩阵的充要条件是：A的行向量组两两正交且都是单位向量。
4、A的列向量组也是正交单位向量组。
5、正交方阵是欧氏空间中标准正交基到标准正交基的过渡矩阵 。
正交矩阵的定义：
正交矩阵是实数特殊化的酉矩阵，因此总是属于正规矩阵。尽管我们在这里只考虑实数矩阵，但这个定义可用于其元素来自任何域的矩阵。
正交矩阵毕竟是从内积自然引出的，所以对于复数的矩阵这导致了归一要求。正交矩阵不一定是实矩阵。
实正交矩阵（即该正交矩阵中所有元都是实数）可以看做是一种特殊的酉矩阵，但也存在一种复正交矩阵，这种复正交矩阵不是酉矩阵。