# Binary form

A form in two variables, viz. a homogeneous polynomial where the coefficients belong to a given commutative ring with a unit element. Such a ring may be the ring of integers, the ring of integers of some algebraic number field, the field of real numbers or the field of complex numbers. The number is called the degree of the form. If is called a binary quadratic form.

The theory of forms includes algebraic (theory of invariants), arithmetic (representation of numbers by forms) and geometric (theory of arithmetical minima of forms) approaches. The purpose of the algebraic theory of binary forms (in or ) is to construct a complete system of invariants of such forms under linear transformations of variables with coefficients of the same field (cf. Invariants, theory of; see also , Chapt. 5). The arithmetic theory of binary forms studies Diophantine equations of the form where , their solvability and their solutions in the ring . The most important result is Thue's theorem and its generalizations and sharpenings (cf. Thue–Siegel–Roth theorem). See , Chapts. 9–17, and the Mordell conjecture on the solvability of such equations in the field and the possible number of solutions. The theory of arithmetical minima of binary forms is part of the geometry of numbers. The arithmetical minimum of a form is defined as the quantity It has been proved for the case that where is the discriminant of , which, in the present case, is These estimates cannot be improved.