Circular segment Circular segment In geometry, a circular segment (symbol: ⌓) is a region of a circle which is "cut off" from the rest of the circle by a secant or a chord. More formally, a circular segment is a region of two-dimensional space that is bounded by an arc (of less than 180°) of a circle and by the chord connecting the endpoints of the arc. Let "R" be the radius of the circle, "θ" the central angle in radians, α is the central angle in degrees, "c" the chord length, "s" the arc length, "h" the sagitta (height) of the
Euclidean geometry of a modern formulation in terms of constructive type theory. This development has implications for pedagogy as well. Euclidean geometry Euclidean geometry is a mathematical system attributed to Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the "Elements". Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated by earlier mathematicians, Euclid was the first to show how these propositions could fit into a comprehensive deductive and logical system. The "Elements" begins with plane geometry, still taught in