Namespaces
Variants
Actions

Difference between revisions of "Legendre theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(section headings)
 
(One intermediate revision by one other user not shown)
Line 6: Line 6:
 
$$ax^2+by^2+cz^2=0,$$
 
$$ax^2+by^2+cz^2=0,$$
  
whose coefficients $a$, $b$ and $c$ are pairwise coprime integers, square-free and not all of the same sign, has a non-zero rational solution if and only if all following three congruences (cf. [[Congruence|Congruence]]) are solvable:
+
whose coefficients $a$, $b$ and $c$ are pairwise coprime integers, square-free and not all of the same sign, has a non-zero rational solution if and only if all following three [[congruence]]s are solvable:
  
$$x^2\equiv-bc\pmod{|a|},$$
+
$$u^2\equiv-bc\pmod{|a|},$$
  
$$y^2\equiv-ca\pmod{|b|},$$
+
$$v^2\equiv-ca\pmod{|b|},$$
  
$$z^2\equiv-ab\pmod{|c|},$$
+
$$w^2\equiv-ab\pmod{|c|},$$
  
The question of representing the zeros of an arbitrary ternary [[Quadratic form|quadratic form]] with rational coefficients reduces to Legendre's theorem.
+
The question of representing the zeros of an arbitrary ternary [[quadratic form]] with rational coefficients reduces to Legendre's theorem.
  
 
It was proved by A.M. Legendre in 1785.
 
It was proved by A.M. Legendre in 1785.
Line 39: Line 39:
 
<TR><TD valign="top">[1]</TD> <TD valign="top"> V.F. Kagan, "Foundations of geometry" , '''1''' , Moscow-Leningrad (1949) (In Russian) {{MR|0040672}} {{ZBL|0049.38001}} </TD></TR>
 
<TR><TD valign="top">[1]</TD> <TD valign="top"> V.F. Kagan, "Foundations of geometry" , '''1''' , Moscow-Leningrad (1949) (In Russian) {{MR|0040672}} {{ZBL|0049.38001}} </TD></TR>
 
<TR><TD valign="top">[2]</TD> <TD valign="top"> A.V. Pogorelov, "Lectures on the foundations of geometry" , Noordhoff (1966) (Translated from Russian) {{MR|0203551}} {{ZBL|0141.36702}} </TD></TR>
 
<TR><TD valign="top">[2]</TD> <TD valign="top"> A.V. Pogorelov, "Lectures on the foundations of geometry" , Noordhoff (1966) (Translated from Russian) {{MR|0203551}} {{ZBL|0141.36702}} </TD></TR>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top"> N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian) {{MR|0120537}} {{ZBL|0211.23702}} {{ZBL|0101.37601}} {{ZBL|0052.37103}} {{ZBL|0036.10002}} {{ZBL|0061.31610}} </TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top"> A.P. Norden, "Elementare Einführung in die Lobatschewskische Geometrie" , Deutsch. Verlag Wissenschaft. (1958) (Translated from Russian) {{MR|0094759}} {{ZBL|0079.36403}} </TD></TR>
 
</table>
 
</table>
  
 
''A.B. Ivanov''
 
''A.B. Ivanov''
 
====Comments====
 
 
 
====References====
 
<table>
 
<TR><TD valign="top">[a1]</TD> <TD valign="top"> N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian) {{MR|0120537}} {{ZBL|0211.23702}} {{ZBL|0101.37601}} {{ZBL|0052.37103}} {{ZBL|0036.10002}} {{ZBL|0061.31610}} </TD></TR>
 
<TR><TD valign="top">[a2]</TD> <TD valign="top"> A.P. Norden, "Elementare Einführung in die Lobatschewskische Geometrie" , Deutsch. Verlag Wissenschaft. (1958) (Translated from Russian) {{MR|0094759}} {{ZBL|0079.36403}} </TD></TR>
 
</table>
 

Latest revision as of 14:23, 15 April 2023


Number theory

1) The indeterminate (Diophantine) equation

$$ax^2+by^2+cz^2=0,$$

whose coefficients $a$, $b$ and $c$ are pairwise coprime integers, square-free and not all of the same sign, has a non-zero rational solution if and only if all following three congruences are solvable:

$$u^2\equiv-bc\pmod{|a|},$$

$$v^2\equiv-ca\pmod{|b|},$$

$$w^2\equiv-ab\pmod{|c|},$$

The question of representing the zeros of an arbitrary ternary quadratic form with rational coefficients reduces to Legendre's theorem.

It was proved by A.M. Legendre in 1785.

References

[1] Z.I. Borevich, I.R. Shafarevich, "Number theory" , Acad. Press (1966) pp. Chapt. 1. Par. 7 (Translated from Russian) (German translation: Birkhäuser, 1966) MR0195803 Zbl 0145.04902


Comments

Legendre's theorem is an essential part of the Hasse–Minkowski theorem on rational quadratic forms (cf. Quadratic form).

Geometry

2) The sum of the angles of a triangle cannot exceed two right angles.

3) If the sum of the angles of one triangle is equal to two right angles, then the sum of the angles of any other triangle is equal to two right angles.

Theorems 2) and 3) were proved by A.M. Legendre in 1800 and 1833 in attempts to justify Euclid's parallelism postulate (cf. Fifth postulate). Similar assertions were established by G. Saccheri (see Saccheri quadrangle).

References

[1] V.F. Kagan, "Foundations of geometry" , 1 , Moscow-Leningrad (1949) (In Russian) MR0040672 Zbl 0049.38001
[2] A.V. Pogorelov, "Lectures on the foundations of geometry" , Noordhoff (1966) (Translated from Russian) MR0203551 Zbl 0141.36702
[a1] N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian) MR0120537 Zbl 0211.23702 Zbl 0101.37601 Zbl 0052.37103 Zbl 0036.10002 Zbl 0061.31610
[a2] A.P. Norden, "Elementare Einführung in die Lobatschewskische Geometrie" , Deutsch. Verlag Wissenschaft. (1958) (Translated from Russian) MR0094759 Zbl 0079.36403

A.B. Ivanov

How to Cite This Entry:
Legendre theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Legendre_theorem&oldid=39048
This article was adapted from an original article by Yu.V. Nesterenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article