ある行列 A に対して A^T A = I が成り立つとき、行列 A はどのような行列か。

各列ベクトルが互いに直交し、かつノルムが1である行列のことです。