Jordan normal form
任意の複素正方行列は三角化可能である。実際には行列 が、その固有値すべてを含む体（たとえば代数的閉体）上で三角行列と相似であることが示せる。これは帰納法により証明できる。行列 は固有ベクトルをもつので、その生成系による商空間を考え、帰納法によって完全旗を固定することを示すことにより、その基底に関して三角化可能であることがわかる。より精密な主張がジョルダン標準形の理論により与えることができ、行列は非常に特別な形の上三角行列（ジョルダン標準形）と相似である。けれども、より単純な三角化で多くの場合は用が足りる。いずれにせよジョルダン標準形の存在を示すときには三角化が必要となる。