1911 Encyclopædia Britannica/Number/Quadratic forms

2928391911 Encyclopædia Britannica, Volume 19 — - Number Quadratic forms

32. Quadratic forms.—It will be observed that the solution of the linear congruence leads to all the representations of in the form , where are integers. Many of the earliest researches in the theory of numbers deal with particular cases of the problem: given four numbers , it is required to find all the integers (if there be any) which satisfy the equation . Fermat, for instance, discovered that every positive prime of the form is uniquely expressible as the sum of two squares. There is a corresponding arithmetical theory for forms of any degree and any number of variables; only those of linear forms and binary quadratics are in any sense complete, as the difficulty of the problem increases very rapidly with the increase of the degree of the form considered or of the number of variables contained in it.

The form will be denoted by or more simply by when there is no need of specifying the variables. If is the greatest common factor of , we may write where is primitive form, that is, one for which . The other form is then said to be derived from and to have a divisor . For the present we shall concern ourselves only with primitive forms. Writing , the invariant is called the determinant of , and there is a first classification of forms into definite forms for which is negative, and indefinite forms for which is positive. The case or a positive square is rejected, because in that case the form breaks up into the product of two linear factors. It will be observed that according as is even or odd; and that if is any odd square factor of there will be forms of determinant and divisor .

If we write , we have identically

where

Hence also

.

Supposing that are integers such that , a number different from zero, is said to be transformed into by the substitution of the order. If , the two forms are said to be equivalent, and the equivalence is said to be proper or improper according as or . In the case of equivalence, not only are integers wherever are so, but conversely; hence every number representable by is representable by and conversely. For the present we shall deal with proper equivalence only and write to indicate that the forms are properly equivalent. Equivalent forms have the same divisor. A complete set of equivalent forms is said to form a class; classes of the same divisor are said to form an order, and of these the most important is the principal order, which consists of the primitive classes. It is a fundamental theorem that for a given determinant the number of classes is finite; this is proved by showing that every class must contain one at least of a certain finite number of so-called reduced forms, which can be found by definite rules of calculation.