Namespaces
Variants
Actions

Difference between revisions of "Desargues assumption"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
m (OldImage template added)
 
Line 11: Line 11:
  
 
The validity of the Desargues assumption is necessary and sufficient for the construction of the projective algebra of points of the projective straight line and for the synthetic introduction of [[Projective coordinates|projective coordinates]]. Established by G. Desargues, [[#References|[1]]].
 
The validity of the Desargues assumption is necessary and sufficient for the construction of the projective algebra of points of the projective straight line and for the synthetic introduction of [[Projective coordinates|projective coordinates]]. Established by G. Desargues, [[#References|[1]]].
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A. Bosse,  "Manière universelle de m-r Desargues, pour pratiquer la perspective par petit-pied comme le géométral" , Paris  (1648)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  D. Hilbert,  "Grundlagen der Geometrie" , Springer  (1913)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.V. Efimov,  "Höhere Geometrie" , Deutsch. Verlag Wissenschaft.  (1960)  (Translated from Russian)</TD></TR></table>
 
 
 
  
 
====Comments====
 
====Comments====
 
An affine or projective plane in which the Desargues assumption holds is called a Desarguesian plane.
 
An affine or projective plane in which the Desargues assumption holds is called a Desarguesian plane.
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Artin,  "Geometric algebra" , Interscience  (1957)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D. Pedoe,  "A course of geometry" , Cambridge Univ. Press  (1970)</TD></TR></table>
 
  
 
In lattice-theoretical terms (cf. [[Lattice|Lattice]]) the Desargues assumption may be formulated as the identity ([[#References|[1]]])
 
In lattice-theoretical terms (cf. [[Lattice|Lattice]]) the Desargues assumption may be formulated as the identity ([[#References|[1]]])
Line 32: Line 24:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Birkhoff,  "Lattice theory" , ''Colloq. Publ.'' , '''25''' , Amer. Math. Soc.  (1973)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A. Bosse,  "Manière universelle de m-r Desargues, pour pratiquer la perspective par petit-pied comme le géométral" , Paris  (1648)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  D. Hilbert,  "Grundlagen der Geometrie" , Springer  (1913)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.V. Efimov,  "Höhere Geometrie" , Deutsch. Verlag Wissenschaft.  (1960)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Artin,  "Geometric algebra" , Interscience  (1957)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D. Pedoe,  "A course of geometry" , Cambridge Univ. Press  (1970)</TD></TR><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Birkhoff,  "Lattice theory" , ''Colloq. Publ.'' , '''25''' , Amer. Math. Soc.  (1973)</TD></TR></table>
  
 
''L.A. Skornyakov''
 
''L.A. Skornyakov''
 +
 +
{{OldImage}}

Latest revision as of 11:36, 26 March 2023

Desargues theorem

If the corresponding sides of two triangles $ABC$ and $A'B'C'$ intersect at points $P,Q,R$ on the same straight line, then the straight lines which connect the corresponding vertices intersect at one point. Conversely, if the straight lines connecting the corresponding vertices of the triangles $ABC$ and $A'B'C'$ intersect at one point, the corresponding sides of these triangles intersect at points lying on a straight line. The converse statement for triangles lying in the same plane is dual to the statement for straight lines by the little duality principle. In both cases the points and the straight lines constitute a Desargues configuration (a $10_3$-configuration), located in some two-dimensional or three-dimensional projective space.

Figure: d031320a

If both triangles belong to the same projective space, the Desargues assumption cannot be demonstrated on the strength of plane incidence axioms alone (cf. Non-Desarguesian geometry), but it is valid for any projective plane which may be imbedded in a projective space of larger dimension. The spatial case of the Desargues assumption follows from the space incidence axioms.

The validity of the Desargues assumption is necessary and sufficient for the construction of the projective algebra of points of the projective straight line and for the synthetic introduction of projective coordinates. Established by G. Desargues, [1].

Comments

An affine or projective plane in which the Desargues assumption holds is called a Desarguesian plane.

In lattice-theoretical terms (cf. Lattice) the Desargues assumption may be formulated as the identity ([1])

$$[(x+z)(y+u)+(x+u)(y+z)](x+y)\leq$$

$$\leq[(y+x)(z+u)+(y+u)(z+x)](y+z)+$$

$$+[(z+y)(x+u)+(z+u)(x+y)](z+x).$$

References

[1] A. Bosse, "Manière universelle de m-r Desargues, pour pratiquer la perspective par petit-pied comme le géométral" , Paris (1648)
[2] D. Hilbert, "Grundlagen der Geometrie" , Springer (1913)
[3] N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian)
[a1] E. Artin, "Geometric algebra" , Interscience (1957)
[a2] D. Pedoe, "A course of geometry" , Cambridge Univ. Press (1970)
[1] G. Birkhoff, "Lattice theory" , Colloq. Publ. , 25 , Amer. Math. Soc. (1973)

L.A. Skornyakov


🛠️ This page contains images that should be replaced by better images in the SVG file format. 🛠️
How to Cite This Entry:
Desargues assumption. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Desargues_assumption&oldid=34114
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article