Abstract
The Sylvester–Gallai Theorem, stated as a problem by James Joseph Sylvester in 1893, asserts that for any finite, noncollinear set of points on a plane, there exists a line passing through exactly two points of the set. First, it is shown that for the real plane \({{\mathbb{R}^{2}}}\) the theorem is constructively invalid. Then, a well-known classical proof is examined from a constructive standpoint, locating the nonconstructivities. Finally, a constructive version of the theorem is established for the plane \({{\mathbb{R}^{2}}}\); this reveals the hidden constructive content of the classical theorem. The constructive methods used are those proposed by Errett Bishop.
Similar content being viewed by others
References
E. Bishop, Foundations of Constructive Analysis, McGraw-Hill (New York, 1967).
E. Bishop, Schizophrenia in Contemporary Mathematics, AMS Colloquium Lectures (Missoula, MT, 1973); reprinted in Contemp. Math., 39, Amer. Math. Soc. (Providence, RI, 1985).
E. Bishop and D. Bridges, Constructive Analysis, Springer (Berlin, 1985).
D. Bridges and F. Richman, Varieties of Constructive Mathematics, Cambridge University Press (Cambridge, UK, 1987).
D. Bridges and L. Vîţă, Techniques of Constructive Analysis, Springer (New York, 2006).
Borwein P., Moser W. O. J.: A survey of Sylvester’s problem and its generalizations. Aequationes Math. 40, 111–135 (1990)
Bridges D., Mines R.: What is constructive mathematics?. Math. Intelligencer 6, 32–38 (1984)
L. E. J. Brouwer, De onbetrouwbaarheid der logische principes, Tijdschrift voor Wijsbegeerte, 2 (1908), 152-158; English translation: The unreliability of the logical principles, in A. Heyting (ed.), L. E. J. Brouwer: Collected Works 1: Philosophy and Foundations of Mathematics, Elsevier (Amsterdam, New York, 1975).
Chakerian G. D.: Sylvester’s problem on collinear points and a relative. Amer. Math. Monthly 77, 164–167 (1970)
Chvátal V.: Sylvester–Gallai theorem and metric betweenness. Discrete Comput. Geom. 31, 175–195 (2004)
H. S. M. Coxeter, A problem of collinear points, Amer. Math. Monthly, 55 26–28 (1948),
H. S. M. Coxeter, Introduction to Geometry, Wiley (New York, 1961).
Erdős P.: Problem for solution 4065. Amer. Math. Monthly 50, 65 (1943)
Erdős P.: Personal reminiscences and remarks on the mathematical work of Tibor Gallai. Combinatorica 2, 207–212 (1982)
Kelly L. M., Moser W. O. J.: On the number of ordinary lines determined by n points. Canad. J. Math. 10, 210–219 (1958)
Lin X. B.: Another brief proof of the Sylvester theorem. Amer. Math. Monthly 95, 932–933 (1988)
Mandelkern M.: Constructive mathematics. Math. Mag. 58, 272–280 (1985)
Mandelkern M.: Brouwerian counterexamples. Math. Mag. 62, 3–27 (1989)
Melchior E.: Über Vielseite der projektiven Ebene. Deutsche Math. 5, 461–475 (1941)
Pambuccian V.: A reverse analysis of the Sylvester–Gallai theorem. Notre Dame J. Form. Log. 50, 245–260 (2009)
von Plato J.: A constructive approach to Sylvester’s conjecture. J. UCS 11, 2165–2178 (2005)
Richman F.: Meaning and information in constructive mathematics. Amer. Math. Monthly 89, 385–388 (1982)
Richman F.: Existence proofs. Amer. Math. Monthly 106, 303–308 (1999)
Richman F.: Omniscience principles and functions of bounded variation. MLQ Math. Log. Q. 42, 111–116 (2002)
Steinberg R.: Three point collinearity. Amer. Math. Monthly 51, 169–171 (1944)
Sylvester J. J.: Mathematical question 11851. Educational Times 59, 98 (1893)
Williams V. C.: A proof of Sylvester’s theorem on collinear points. Amer. Math. Monthly, 75, 980–982 (1968)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mandelkern, M. A constructive version of the Sylvester–Gallai theorem. Acta Math. Hungar. 150, 121–130 (2016). https://doi.org/10.1007/s10474-016-0624-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10474-016-0624-z