Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/ib/paper-2/8f/solution

Use the convention that a sesquilinear form is linear in its first argument and conjugate-linear in its second: for complex scalars ,
No symmetry or positivity is assumed. Put . Its diagonal vanishes. Expansion at gives
while expansion at gives
These two equations force . This is the polarization argument for a vanishing quadratic form, and proves on every pair of vectors.
For the final deduction, the linear map makes another sesquilinear form. Its diagonal agrees with that of , so the result just proved gives

New to topics? Read the docs here!