A=\left[ \begin{array} aa_{11}&a_{12}&...&a_{1r}\\a_{21}&a_{22}&...&a_{2r}\\.&.&...&.\\.&.&...&.\\a_{r1}&a_{r2}&...&a_{rr} \end{array} \right] r \times r tipinde bir matris olsun.
a_{ij}^{*} , a_{ij} nin eş çarpanı olmak üzere (i,j=1,2,...,r), det(A) nın değeri, A nın bir satırındaki (sütunundaki) her elemanın kendi eşçarpanı ile çarpımlarını toplayarak bulunur. Yani;
det(A)=\sum\limits_{k=1}^{r}(a_{ik}.a_{ik}^{*}) veya det(A)=\sum\limits_{k=1}^{r}a_{kj}.a_{kj}^{*}
(Eş çarpan tanımı : r-kare A matrisi verilsin. A nın i. satır ve j. sütunundaki elemanlar kaldırılırsa, geriye kalan (r-1)-kare matrisinin determinantına A nın ilk minörü denir ve |M_{ij}| ile gösterilir. Buna a_{ij} nin minörü de denir. (-1)^{i+j}|M_{ij}| işaretli minörüne, a_{ij} nin eşçarpanı denir ve a_{ij}^{*} ile gösterilir. )
A^*=\left[ \begin{array} aa_{11}^{*}&a_{21}^{*}&...&a_{r1}^{*}\\a_{12}^{*}&a_{22}^{*}&...&a_{r2}^{*}\\.&.&...&.\\.&.&...&.\\a_{1r}^{*}&a_{2r}^{*}&...&a_{rr}^{*}\end{array} \right]
(Teorem: Bir r-kare A matrisinin, bir satırındaki(sütunundaki) elemanların, A nın başka bir satırının(sütununun) bu elemanlara karşı gelen eşçarpanları ile çarpımlarının toplamı sıfırdır. (ispatlamam gerek biliyorum ama bunu soru olarak sorucam))
AA^*=(b_{ij}) olsun. A nın i ninci satırı şöyledir: (a_{i1},a_{i2},...,a_{ir})...........(1)
A_{ij} kofaktörler matrisi olmak üzere, A^* kofaktörler matrisinin transpozesi olduğundan, A^* ın j ninci sütunu, A nın j ninci satırının kofaktörlerinin transpozesidir: (A_{j1},A_{j2},...,A_{jr})^t................(2)
Şimdi, AA^* ın ij ninci elemanı b_{ij} (1) ve (2) ifadelerinin çarpılması ile elde edilir.
b_{ij}=a_{i1}A_{j1}+a_{i2}A_{j2}+...+a_{ir}A_{jr} , teoremden i\ne j için b_{ij}=0 dır.
Dolayısıyla;
AA^*=\left[ \begin{array} aa_{11}&a_{12}&...&a_{1r}\\a_{21}&a_{22}&...&a_{2r}\\.&.&...&.\\.&.&...&.\\a_{r1}&a_{r2}&...&a_{rr} \end{array} \right]\left[ \begin{array} aa_{11}^{*}&a_{21}^{*}&...&a_{r1}^{*}\\a_{12}^{*}&a_{22}^{*}&...&a_{r2}^{*}\\.&.&...&.\\.&.&...&.\\a_{1r}^{*}&a_{2r}^{*}&...&a_{rr}^{*}\end{array} \right]=\left[ \begin{array} ddet(A)&0&...&0\\0&det(A)&...&0\\.&.&...&.\\.&.&...&.\\0&0&...&det(A)\end{array}\right]_{r \times r}=det(A) I_{r \times r}
A^*A=det(A) I_{r \times r} olduğu da benzer şekilde gösterilebilir.