Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-140/2/b/solution

Use the decomposition into Lagrangian subspaces from part (a). The bilinear form pairs and nondegenerately: a vector in either summand annihilating the other already annihilates its own summand and hence all of , so is zero.
Choose a basis of . The linear map
is an linear isomorphism. Let correspond to the dual basis of the . Then , and the pairings within each summand vanish. Thus

New to topics? Read the docs here!