A=[a11a12...a1ra21a22...a2r............ar1ar2...arr] r×r tipinde bir matris olsun.
a∗ij , aij 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)=r∑k=1(aik.a∗ik) veya det(A)=r∑k=1akj.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 |Mij| ile gösterilir. Buna aij nin minörü de denir. (−1)i+j|Mij| 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.