Topology of Numbers · Problem 6.2.1

Representations by Quadratic Forms — Allen Hatcher

Mathematics — Number Theory · quadratic-forms-discriminant-representations

Problem

Determine discriminants Δ\Delta for which there exists a quadratic form of discriminant Δ\Delta that represents 55, and also the discriminants for which there does not exist a form representing 55. When 55 is represented, find a form that gives the representation.
Intuitive explanation

The key is understanding that a quadratic form ax2+bxy+cy2ax^2 + bxy + cy^2 with discriminant Δ=b2−4ac\Delta = b^2 - 4ac can represent an integer nn only if Δ\Delta is a quadratic residue modulo 4n4n. For n=5n = 5, you need Δ≡□(mod20)\Delta \equiv \square \pmod{20}, which severely restricts which discriminants work. Once you identify valid Δ\Delta values, finding an explicit form boils down to solving b2−4ac=Δb^2 - 4ac = \Delta and checking whether integer solutions (a,b,c)(a, b, c) actually produce 55 as a value—often by testing small inputs or using the theory of reduced forms in each class.

Intuitive explanation

The key is understanding that a quadratic form ax2+bxy+cy2ax^2 + bxy + cy^2 with discriminant Δ=b2−4ac\Delta = b^2 - 4ac can represent an integer nn only if Δ\Delta is a quadratic residue modulo 4n4n. For n=5n = 5, you need Δ≡□(mod20)\Delta \equiv \square \pmod{20}, which severely restricts which discriminants work. Once you identify valid Δ\Delta values, finding an explicit form boils down to solving b2−4ac=Δb^2 - 4ac = \Delta and checking whether integer solutions (a,b,c)(a, b, c) actually produce 55 as a value—often by testing small inputs or using the theory of reduced forms in each class.

Related theory

Browse the problem library