En geometría euclidiana , un polígono regular es un polígono que es equiangular directo (todos los ángulos tienen la misma medida) y equilátero (todos los lados tienen la misma longitud). Los polígonos regulares pueden ser convexos , estrellados o estriados . En el límite , una secuencia de polígonos regulares con un número creciente de lados se aproxima a un círculo , si el perímetro o área es fijo, o a un apeirógono regular (efectivamente una línea recta ), si la longitud de la arista es fija.
Estas propiedades se aplican a todos los polígonos regulares, ya sean convexos o estrellados .
Un polígono regular de n lados tiene simetría rotacional de orden n .
Todos los vértices de un polígono regular se encuentran en un círculo común (el círculo circunscrito ); es decir, son puntos concíclicos. Es decir, un polígono regular es un polígono cíclico .
Junto con la propiedad de que los lados tienen la misma longitud, esto implica que todo polígono regular también tiene un círculo inscrito o incírculo que es tangente a cada lado en el punto medio. Por lo tanto, un polígono regular es un polígono tangencial .
Un polígono regular de n lados se puede construir con regla y compás si y solo si los factores primos impares de n son primos de Fermat distintos . Véase polígono construible .
Un polígono regular de n lados se puede construir con origami si y solo si para algún , donde cada distinto es un primo de Pierpont . [1]
El grupo de simetría de un polígono regular de n lados es el grupo diedro D n (de orden 2 n ): D 2 , D 3 , D 4 , ... Está formado por las rotaciones en C n , junto con la simetría de reflexión en n ejes que pasan por el centro. Si n es par, entonces la mitad de estos ejes pasan por dos vértices opuestos y la otra mitad por el punto medio de lados opuestos. Si n es impar, entonces todos los ejes pasan por un vértice y el punto medio del lado opuesto.
Todos los polígonos regulares simples (un polígono simple es aquel que no se corta a sí mismo en ningún punto) son convexos. Los que tienen el mismo número de lados también son semejantes .
Un polígono regular convexo de n lados se denota por su símbolo de Schläfli { n }. Para n < 3, tenemos dos casos degenerados :
En ciertos contextos, todos los polígonos considerados serán regulares. En tales circunstancias, se acostumbra a omitir el prefijo regular. Por ejemplo, todas las caras de los poliedros uniformes deben ser regulares y las caras se describirán simplemente como triángulo, cuadrado, pentágono, etc.
Para un n -gono convexo regular , cada ángulo interior tiene una medida de:
y cada ángulo exterior (es decir, suplementario al ángulo interior) tiene una medida de grados, siendo la suma de los ángulos exteriores igual a 360 grados o 2π radianes o una vuelta completa.
A medida que n se acerca al infinito, el ángulo interno se acerca a 180 grados. Para un polígono regular con 10.000 lados (un miriágono ), el ángulo interno es 179,964°. A medida que aumenta el número de lados, el ángulo interno puede llegar a ser muy cercano a 180°, y la forma del polígono se acerca a la de un círculo. Sin embargo, el polígono nunca puede convertirse en un círculo. El valor del ángulo interno nunca puede llegar a ser exactamente igual a 180°, ya que la circunferencia se convertiría efectivamente en una línea recta (ver apeirógono ). Por esta razón, un círculo no es un polígono con un número infinito de lados.
Para n > 2, el número de diagonales es ; es decir, 0, 2, 5, 9, ..., para un triángulo, cuadrado, pentágono, hexágono, ... . Las diagonales dividen el polígono en 1, 4, 11, 24, ... piezas OEIS : A007678 .
Para un n -gono regular inscrito en un círculo de radio unitario, el producto de las distancias desde un vértice dado a todos los demás vértices (incluidos los vértices adyacentes y los vértices conectados por una diagonal) es igual a n .
Para un n -gono regular simple con radio circunscrito R y distancias d i desde un punto arbitrario en el plano hasta los vértices, tenemos [2]
Para potencias mayores de distancias desde un punto arbitrario en el plano hasta los vértices de un -gono regular , si
entonces [3]
y
donde es un entero positivo menor que .
Si es la distancia desde un punto arbitrario en el plano hasta el centroide de un -gono regular con radio circunscrito , entonces [3]
donde = 1, 2, …, .
Para un n -gono regular, la suma de las distancias perpendiculares desde cualquier punto interior a los n lados es n veces la apotema [4] : p. 72 (la apotema es la distancia desde el centro a cualquier lado). Esta es una generalización del teorema de Viviani para el caso n = 3. [5] [6]
El circunradio R desde el centro de un polígono regular hasta uno de los vértices está relacionado con la longitud del lado s o con la apotema a por
Para los polígonos construibles , existen expresiones algebraicas para estas relaciones .
La suma de las perpendiculares desde los vértices de un n -gono regular a cualquier línea tangente al círculo circunscrito es igual a n veces el radio circunscrito. [4] : p. 73
La suma de las distancias al cuadrado desde los vértices de un n -gono regular hasta cualquier punto de su circunferencia circunscrita es igual a 2 nR 2 donde R es el radio circunscrito. [4] : p.73
La suma de las distancias al cuadrado desde los puntos medios de los lados de un n -gono regular hasta cualquier punto del círculo circunscrito es 2 nR 2 − 1/4 ns 2 , donde s es la longitud del lado y R es el radio circunscrito. [4] : pág. 73
Si son las distancias desde los vértices de un -gono regular a cualquier punto de su circunferencia circunscrita, entonces [3]
Coxeter afirma que cada zonógono (un 2 m -gono cuyos lados opuestos son paralelos y de igual longitud) puede diseccionarse en o1/2 m ( m − 1) paralelogramos. Estas teselas están contenidas como subconjuntos de vértices, aristas y caras en proyecciones ortogonales m -cubos . [7] En particular, esto es cierto para cualquier polígono regular con un número par de lados, en cuyo caso los paralelogramos son todos rombos. La lista OEIS : A006245 da el número de soluciones para polígonos más pequeños.
El área A de un polígono regular convexo de n lados que tiene un lado s , un radio circunscrito R , una apotema a y un perímetro p está dada por [8] [9]
Para polígonos regulares con lado s = 1, radio circunscrito R = 1 o apotema a = 1, esto produce la siguiente tabla: [10] ( Dado que como , el área cuando tiende a como crece).
De todos los n -gonos con un perímetro dado, el que tiene el área más grande es regular. [19]
Algunos polígonos regulares son fáciles de construir con compás y regla ; otros polígonos regulares no son construibles en absoluto. Los antiguos matemáticos griegos sabían cómo construir un polígono regular con 3, 4 o 5 lados, [20] : p. xi y sabían cómo construir un polígono regular con el doble del número de lados de un polígono regular dado. [20] : pp. 49–50 Esto llevó a plantear la pregunta: ¿es posible construir todos los n -gonos regulares con compás y regla? Si no, ¿qué n -gonos son construibles y cuáles no?
Carl Friedrich Gauss demostró la constructibilidad del polígono regular de 17 polígonos en 1796. Cinco años después, desarrolló la teoría de los periodos gaussianos en sus Disquisitiones Arithmeticae . Esta teoría le permitió formular una condición suficiente para la constructibilidad de los polígonos regulares:
(Un primo de Fermat es un número primo de la forma ) Gauss afirmó sin pruebas que esta condición también era necesaria , pero nunca publicó su prueba. Pierre Wantzel dio una prueba completa de la necesidad en 1837. El resultado se conoce como el teorema de Gauss-Wantzel .
De manera equivalente, un n -gono regular es construible si y sólo si el coseno de su ángulo común es un número construible , es decir, puede escribirse en términos de las cuatro operaciones aritméticas básicas y la extracción de raíces cuadradas.
Un polígono oblicuo regular en el espacio tridimensional puede verse como trayectorias no planas que zigzaguean entre dos planos paralelos, definidos como los bordes laterales de un antiprisma uniforme . Todos los bordes y ángulos internos son iguales.
En términos más generales, los polígonos oblicuos regulares se pueden definir en el espacio n . Algunos ejemplos son los polígonos de Petrie , caminos poligonales de aristas que dividen un politopo regular en dos mitades y que se consideran un polígono regular en proyección ortogonal.
En el límite infinito los polígonos oblicuos regulares se convierten en apeirógonos oblicuos .
Un polígono regular no convexo es un polígono regular en forma de estrella . El ejemplo más común es el pentagrama , que tiene los mismos vértices que un pentágono , pero conecta vértices alternados.
En el caso de un polígono en estrella de n lados, el símbolo de Schläfli se modifica para indicar la densidad o "cualidad de estrella" m del polígono, como { n / m }. Si m es 2, por ejemplo, entonces se unen cada segundo punto. Si m es 3, entonces se unen cada tercer punto. El límite del polígono gira alrededor del centro m veces.
Las estrellas regulares (no degeneradas) de hasta 12 lados son:
m y n deben ser coprimos , o la cifra se degenerará.
Las estrellas regulares degeneradas de hasta 12 lados son:
Dependiendo de la derivación precisa del símbolo de Schläfli, existen diferentes opiniones sobre la naturaleza de la figura degenerada. Por ejemplo, {6/2} puede tratarse de dos maneras:
Todos los polígonos regulares son autoduales a la congruencia, y para n impar son autoduales a la identidad.
Además, las figuras estelares regulares (compuestas), al estar formadas por polígonos regulares, también son autoduales.
Un poliedro uniforme tiene polígonos regulares como caras, de modo que por cada dos vértices hay una isometría que asigna uno al otro (tal como ocurre en un polígono regular).
Un poliedro cuasirregular es un poliedro uniforme que tiene sólo dos tipos de caras alternadas alrededor de cada vértice.
Un poliedro regular es un poliedro uniforme que tiene un solo tipo de cara.
Los poliedros convexos restantes (no uniformes) con caras regulares se conocen como sólidos de Johnson .
Un poliedro que tiene triángulos regulares como caras se llama deltaedro .
f := proc ( n ) operador de opciones , flecha ; [ [ convertir ( 1 / 4 * n * cot ( Pi / n ) , radical ) , convertir ( 1 / 4 * n * cot ( Pi / n ) , float )] , [ convertir ( 1 / 2 * n * sin ( 2 * Pi / n ) , radical ) , convertir ( 1 / 2 * n * sin ( 2 * Pi / n ) , float ) , convertir ( 1 / 2 * n * sin ( 2 * Pi / n ) / Pi , float )] , [ convertir ( n * tan ( Pi / n ) , radical ) , convertir ( n * tan ( Pi / n ) , float ) , convertir ( n * tan ( Pi / n ) / Pi , float )] ] fin proc