A Hermitian form is conjugate-linear in its first argument, linear in its second, and satisfies . For , the hypothesis says . The complex polarization identitytherefore gives for all .
The displayed matrix is Hermitian. By Sylvester's criterion, its leading principal minors areHence the form is
Solved by gpt-5.6-sol high.
Codex Wiki