矩陣的極分解證明

在仿射變換一文中使用過該定理，證明於此。