Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Binary quadratic form
Summary
In mathematics, a binary quadratic form is a quadratic homogeneous polynomial in two variables
where a, b, c are the coefficients. When the coefficients can be arbitrary complex numbers, most results are not specific to the case of two variables, so they are described in quadratic form. A quadratic form with integer coefficients is called an integral binary quadratic form, often abbreviated to binary quadratic form.
This article is entirely devoted to integral binary quadratic forms. This choice is motivated by their status as the driving force behind the development of algebraic number theory. Since the late nineteenth century, binary quadratic forms have given up their preeminence in algebraic number theory to quadratic and more general number fields, but advances specific to binary quadratic forms still occur on occasion.
Pierre Fermat stated that if p is an odd prime then the equation has a solution iff , and he made similar statement about the equations , , and .
and so on are quadratic forms, and the theory of quadratic forms gives a unified way of looking at and proving these theorems.
Another instance of quadratic forms is Pell's equation .
Binary quadratic forms are closely related to ideals in quadratic fields, this allows the class number of a quadratic field to be calculated by counting the number of reduced binary quadratic forms of a given discriminant.
The classical theta function of 2 variables is , if is a positive definite quadratic form then is a theta function.
Two forms f and g are called equivalent if there exist integers such that the following conditions hold:
For example, with and , , , and , we find that f is equivalent to , which simplifies to .
The above equivalence conditions define an equivalence relation on the set of integral quadratic forms. It follows that the quadratic forms are partitioned into equivalence classes, called classes of quadratic forms. A class invariant can mean either a function defined on equivalence classes of forms or a property shared by all forms in the same class.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood