Arquímedes aproximó $\pi$ circunscribiendo e inscribiendo polígonos alrededor y dentro de círculos. Es obvio que el polígono interior tiene un perímetro inferior al del círculo. Pero, ¿cómo justificó que el polígono exterior tiene un perímetro mayor? Parece algo fuera del alcance de las herramientas de que disponían los antiguos griegos, salvo apelar a la intuición.
Respuesta
¿Demasiados anuncios?Se hace una secuencia monotónicamente decreciente de perímetros de polígonos.
Considere la posibilidad de $n$ -Gono circunscrito alrededor de un círculo. Ler $A,B,C$ cualesquiera tres vértices consecutivos en orden de rotación. Ahora, dibujar el radio desde el centro del círculo a $B$ que interseca el círculo en $B'$ . A continuación se traza la tangente en $B'$ que se cruza con $\overline{AB}$ en $B''$ y $\overline{BC}$ en $B'''$ . Entonces el segmento rectilíneo $\overline{B''B'''}$ es más corta que la combinación de $\overline{B'B}$ y $\overline{BB''}$ en el polígono original.
Aplique esta operación a todo el $n$ -con cada vértice desempeñando a su vez el papel de $B$ . Esto conduce a una circunscripción regular $2n$ -gon cuyo perímetro es más corto que el de la circunscripción regular original $n$ -gon. Al iterar, los perímetros decrecientes de los polígonos se acercan a los del círculo forzando a que los perímetros de los polígonos sean más largos.
3 votos
¿No son ambos casos igual de obvios e intuitivos, pero también igual de necesitados de herramientas modernas para una justificación rigurosa?
1 votos
¿Qué tipo de respuesta busca? ¿"No, no estaba debidamente justificado"? Parece que ya eres consciente de ello.
0 votos
@ziggurism El círculo conecta los vértices de los polígonos inscritos mediante arcos circulares, y el polígono lo hace mediante líneas rectas. Como los arcos circulares se desvían de la recta, son caminos más largos y por tanto el polígono tiene un perímetro más corto. Esto me parece mucho más obvio que la afirmación sobre el polígono exterior, a menos que pase por alto un argumento sencillo.
0 votos
@NajibIdrissi Un argumento de que el polígono exterior tiene un perímetro mayor que el círculo que circunscribe. Podría haber un argumento que desconozco.
1 votos
@AlgebraicSlug Bastante justo, estoy de acuerdo en que si bien puede ser algo intuitivo que el camino poligonal circunscrito sea más largo que el arco circular, es mucho más obvio que la recta inscrita es más corta que cualquier otro camino entre dos puntos.