This page uses content from Wikipedia and is licensed under CC BY-SA.

Regular myriagon | |
---|---|

A regular myriagon | |

Type | Regular polygon |

Edges and vertices | 10000 |

Schläfli symbol | {10000}, t{5000}, tt{2500}, ttt{1250}, tttt{625} |

Coxeter diagram | |

Symmetry group | Dihedral (D_{10000}), order 2×10000 |

Internal angle (degrees) | 179.964° |

Dual polygon | Self |

Properties | Convex, cyclic, equilateral, isogonal, isotoxal |

In geometry, a **myriagon** or 10000-gon is a polygon with 10,000 sides. Several philosophers have used the regular myriagon to illustrate issues regarding thought.^{[1]}^{[2]}^{[3]}^{[4]}^{[5]}

A regular myriagon is represented by Schläfli symbol {10,000} and can be constructed as a truncated 5000-gon, t{5000}, or a twice-truncated 2500-gon, tt{2500}, or a thrice-truncated 1250-gon, ttt{1250), or a four-fold-truncated 625-gon, tttt{625}.

The measure of each internal angle in a regular myriagon is 179.964°. The area of a regular myriagon with sides of length *a* is given by

The result differs from the area of its circumscribed circle by up to 40 parts per billion.

Because 10,000 = 2^{4} × 5^{4}, the number of sides is neither a product of distinct Fermat primes nor a power of two. Thus the regular myriagon is not a constructible polygon. Indeed, it is not even constructible with the use of neusis or an angle trisector, as the number of sides is neither a product of distinct Pierpont primes, nor a product of powers of two and three.

The *regular myriagon* has Dih_{10000} dihedral symmetry, order 20000, represented by 10000 lines of reflection. Dih_{100} has 24 dihedral subgroups: (Dih_{5000}, Dih_{2500}, Dih_{1250}, Dih_{625}), (Dih_{2000}, Dih_{1000}, Dih_{500}, Dih_{250}, Dih_{125}), (Dih_{400}, Dih_{200}, Dih_{100}, Dih_{50}, Dih_{25}), (Dih_{80}, Dih_{40}, Dih_{20}, Dih_{10}, Dih_{5}), and (Dih_{16}, Dih_{8}, Dih_{4}, Dih_{2}, Dih_{1}). It also has 25 more cyclic symmetries as subgroups: (Z_{10000}, Z_{5000}, Z_{2500}, Z_{1250}, Z_{625}), (Z_{2000}, Z_{1000}, Z_{500}, Z_{250}, Z_{125}), (Z_{400}, Z_{200}, Z_{100}, Z_{50}, Z_{25}), (Z_{80}, Z_{40}, Z_{20}, Z_{10}), and (Z_{16}, Z_{8}, Z_{4}, Z_{2}, Z_{1}), with Z_{n} representing *π*/*n* radian rotational symmetry.

John Conway labels these lower symmetries with a letter and order of the symmetry follows the letter.^{[6]} **r20000** represents full symmetry, and **a1** labels no symmetry. He gives **d** (diagonal) with mirror lines through vertices, **p** with mirror lines through edges (perpendicular), **i** with mirror lines through both vertices and edges, and **g** for rotational symmetry.

These lower symmetries allows degrees of freedom in defining irregular myriagons. Only the **g10000** subgroup has no degrees of freedom but can seen as directed edges.

A myriagram is a 10,000-sided star polygon. There are 1999 regular forms^{[7]} given by Schläfli symbols of the form {10000/*n*}, where *n* is an integer between 2 and 5,000 that is coprime to 10,000. There are also 3000 regular star figures in the remaining cases.

In the novella Flatland, the Chief Circle is assumed to have ten-thousand sides, making him a myriagon.

**^**Meditation VI by Descartes (English translation).**^**Hippolyte Taine,*On Intelligence*: pp. 9–10**^**Jacques Maritain,*An Introduction to Philosophy*: p. 108**^**Alan Nelson (ed.),*A Companion to Rationalism*: p. 285**^**Paolo Fabiani,*The philosophy of the imagination in Vico and Malebranche*: p. 222**^****The Symmetries of Things**, Chapter 20**^**5000 cases - 1 (convex) - 1,000 (multiples of 5) - 2,500 (multiples of 2)+ 500 (multiples of 2 and 5)