Elementary geometry is the traditional study of basic figures and geometric constructions in Euclidean geometry . It
includes plane geometry and solid
geometry (Roe 1993). In this traditional sense, it forms part of classical
geometry .
Elementary geometry uses both synthetic proofs , which reason directly about geometric objects and their relations, and analytic
proofs , which use coordinates and algebraic reasoning
(Baldwin and Mueller 2024, p. 4).
In logic , Tarski (1959, pp. 16-17) uses the term for a formulation of Euclidean geometry in first-order
logic . In this formulation, variables range over
points , with no variables
ranging over arbitrary sets of points .
See also Analytic Proof ,
Classical Geometry ,
Euclidean Geometry ,
First-Order
Logic ,
Plane Geometry ,
Solid
Geometry ,
Synthetic Proof
Explore with Wolfram|Alpha
References Baldwin, J. T. and Mueller, A. "Supplement: Focusing a GeT Course on Axiomatic Systems for Geometry." Jan. 2, 2024. https://www.math.uic.edu/~jbaldwin/pub/supp2Dec3.pdf . Roe,
J. Elementary Geometry. Oxford, England: Oxford University Press, 1993. https://doi.org/10.1093/oso/9780198534570.001.0001 . Tarski,
A. "What Is Elementary Geometry?" In The Axiomatic Method with Special
Reference to Geometry and Physics (Ed. L. Henkin, P. Suppes, and A. Tarski).
Amsterdam, Netherlands: North-Holland, pp. 16-29, 1959. https://doi.org/10.1016/S0049-237X(09)70017-5 .
Cite this as:
Weisstein, Eric W. "Elementary Geometry."
From MathWorld https://mathworld.wolfram.com/ElementaryGeometry.html
Subject classifications
