Let \(n\), \(k\) be positive integers and let \(A_1,A_2,\ldots,A_n\) be \(k\times k\) real matrices. Prove or disprove that \[ \det\left(\sum_{i=1}^n A_i^t A_i\right)\ge 0.\]  (Here, \(A^t\) denotes the transpose of the matrix \(A\).)

The best (most elementary) solution was submitted by 김정민. Congratulations!

Alternative solutions were submitted by 조준영 (+3), 채석주 (+3), 이영민 (+3), 심병수 (+3), 박훈민 (+3), 장기정 (+3), 정성진 (+3), 황성호 (+3), 이종원 (+3), 김일희 (+2), 남재현 (+3), 박경호 (+3).