An upper bound of the determinant
Statement
Show that for every , with equality iff is a multiple of an orthogonal matrix (including ).
Hint
Combine Hadamard's inequality with the AM-GM inequality applied to the numbers .
Study the equality cases of both inequalities.
Show solutionHide solution
Solution
Idea. Hadamard bounds the determinant by the product of column lengths; AM-GM then bounds this product by the arithmetic mean of the squared lengths, which is .
Step 1: Hadamard. .
Step 2: AM-GM. For the non-negative numbers ,
since . Taking square roots of the combined inequality gives the claim.
Equality, if . We need equality in both steps. Equality in Hadamard means the columns are pairwise orthogonal; equality in AM-GM means all are equal, say to . Then , so is orthogonal and with .
Equality, if . The left side is , so the right side must vanish: , i.e. .
Converse. If then and , so both sides equal .
Remark. Writing the inequality as shows it is the AM-GM inequality for the eigenvalues of the PSD matrix (whose determinant is and whose trace is ): .