提出一种利用求传递闭包来构造直觉模糊等价矩阵的方法，证明了直觉模糊相似矩阵定理及传递闭包定理。
An approach to formation of IF equivalent matrixes by finding the transitive closure is presented with the proof of theorems of transitive closure and resembling matrix.
摘要给出了线性代数中几个定理的矩阵证法。
Matrix proofs of several theorems in linear algebra are given.
本文证明了两个关于构造正交矩阵的一般定理。
Two general theorems on the construction of the orthogonal matrices are proven.
应用推荐