Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-4/11g/solution

A form is positive definite when and ; equivalence is change by , and reduced means with the standard boundary sign convention. Translating reduces , and swapping variables reduces ; discriminant bounds force termination. For a reduced form, and . Discriminant has one primitive reduced class, represented by . Therefore an odd prime is represented exactly when it splits in , namely , with the ramified exception . Thus or .

New to topics? Read the docs here!