complex로 확장해도 아래 방법이면 깔끔하게 풀림. A를 row vector a, b, c에 대해서 (a*, b*, c*)*로 나타낼 수 있고, 그럼 주어진 행렬은 AA*임.
일단 AA*는 Hermitian이니 diagonalizable. usual inner product <,>와 Hermitian operator *, AA*의 eigenvector v with eigenvalue c에 대해서 c*|v|²=<v, cv>=<v, AA*v>=<A*v, A*v>=|A*v|².
c*=|A*v|²/|v|²이니 c*은 nonnegative real. c 역시 그러함.
AA*의 determinant는 eigenvalue의 곱이라 이것 역시 nonnegative real임. ■
굳이 다른 방법으로 풀자면 촐레스키 분해해도 됨 ㅋㅋ