Math 2.0

definition

Regular polygon

Definition

Let n≥3n \geq 3, and let P1P2⋯PnP_1 P_2 \cdots P_n be a convex polygon in the Euclidean plane R2\mathbb{R}^2. Write P0=PnP_0 = P_n and Pn+1=P1P_{n+1} = P_1. The polygon is regular if all sides have the same length, d(Pi,Pi+1)=d(P1,P2)d(P_i, P_{i+1}) = d(P_1, P_2), and all angles are equal, ∠Pi−1PiPi+1=∠PnP1P2\angle P_{i-1} P_i P_{i+1} = \angle P_n P_1 P_2, for i=1,…,ni = 1, \dots, n.

Remarks

Each interior angle of a regular convex nn-gon is (n−2)πn\frac{(n - 2)\pi}{n}. Each exterior angle is 2πn\frac{2\pi}{n}. The vertices are concyclic, and the polygon also has an incircle. The vertices of a regular nn-gon with the circumradius 11 can be (cos⁡2πkn,sin⁡2πkn)\left(\cos \frac{2\pi k}{n}, \sin \frac{2\pi k}{n}\right), for k=0,…,n−1k = 0, \dots, n - 1. With the side ss, the area is 14ns2cot⁡πn\frac{1}{4} n s^2 \cot \frac{\pi}{n}. Star polygons, such as the pentagram, are also called regular polygons. They are not convex.

Explanations

L1 human

A regular polygon looks the same from each corner. Equal sides alone are not enough: a rhombus has four equal sides but is regular only when it is a square. Equal angles alone are not enough either, as a rectangle shows.

What this node needs for W2
  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 5 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Angle at a point concept
  2. Concyclic points concept
  3. Euclidean distance concept
  4. Euclidean plane object
  5. Regular polygon definition

Sources

  1. Web https://en.wikipedia.org/wiki/Regular_polygon, lead section
  2. Web https://en.wikipedia.org/wiki/Regular_polygon, General properties
  3. Web https://en.wikipedia.org/wiki/Regular_polygon, Angles