A methodologically pure proof of a convex geometry problem
An idea of Hilbert was ``to preserve the purity of the method, i.e., to use in the proof of a theorem as far as possible only those auxiliary means that are required by the content of the theorem (translated from German by V. Pambuccian). Following this idea, the author of the paper under review presents an elegant proof of the following convex geometry statement: Given \(n\) red and \(n\) blue points such that no three are collinear, one can pair each of the red points with a blue point so that the \(n\) segments which have these paired points as endpoints are disjoint. The author translates the statement into the language with one kind of variables (for points) and a ternary predicate \(B\) (for betweenness relation). His proof is based on an axiom system (\{A1,\dots, A9\}) which is equivalent to that for convex geometry given by \textit{W. A. Coppel} [Foundations of convex geometry, Cambridge University Press, Cambridge (1998; Zbl 0901.52001)]. The reviewer found two small errors: on page 403 line 5 from top ``A subset \(H\) should be replaced by ``An affine subset \(H\); on the same page line 7 from top ``\(F\) should be replaced by ``\(\langle F\rangle\).
- scientific article; zbMATH DE number 59761
- Über die euklidische Kongruenz- und Ähnlichkeitslehre.
- Neuer Beweis eines Satzes aus den ``Grundlagen der Geometrie von Hilbert.
- Die Legendre'schen Sätze über die Winkelsumme im Dreieck.
- Grundlagen der Geometrie.
- Definitions and Nondefinability in GeometryThis paper was adapted from and expands on material in <strong>[23]</strong>. A shorter version was presented to the October 2008 congress, <em>Giuseppe Peano and His School between Mathematics,
- Zur Begründung der projektiven Geometrie. Einführung idealer Elemente unabhängig von der Anordnung.
- Minimal foundations of geometry
- scientific article; zbMATH DE number 1163359
- On the projective axioms of geometry.
This page was built for publication: A methodologically pure proof of a convex geometry problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5948416)
