higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
In Euclidean geometry, a regular polygon is a (simple, non self-intersecting) polygon in a Euclidean space $\mathbb{R}^n$ such that every segment? of the boundary of the polygon has the same length and every angle between two segments of the boundary of the polygon has the same angle measure. (The boundary of a regular polygon is sometimes called called a regular polygonal line)
We are using the circle constant $\tau = 2 \pi$.
Every regular polygon is the union of $n$ congruent triangles each with segments of length $r$ and $r$ respectively and an angle of $\frac{\tau}{n}$ between the two segments of length $r$. As a result, the triangles are isosceles and the altitude from the center of the regular polygon to the third segment of the triangles bisects the angle: such that the angles between the circumradius and the altitude is $\frac{\tau}{2n}$. The length of the third segment is thus given by
The perimeter of a regular polygon $\mathcal{P}_n$ (strictly speaking, a regular polygonal line) with $n$ sides and circumradius $r$ is given by the sequence of functions $P_\mathcal{P}:\mathbb{N} \to (\mathbb{R} \to \mathbb{R})$
The area of a regular polygon $\mathcal{P}_n$ with $n$ sides and circumradius $r$ is given by the sequence of functions $P:\mathbb{N} \to (\mathbb{R} \to \mathbb{R})$
Last revised on May 17, 2022 at 08:12:15. See the history of this page for a list of all contributions to it.