higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
Let be a regular polygon in an Euclidean space , and let be the subset of all points in that is equidistant from all vertices of the regular polygon.
The center of the regular polygon is the unique point such that for any other point , the distance from to a vertex of the polygon is less than or equal to the distance from to the same vertex of the polygon. The distance from the center of the regular polygon to a vertex of a regular polygon is called the circumradius of the regular polygon.
Last revised on May 17, 2022 at 08:27:36. See the history of this page for a list of all contributions to it.