O presente trabalho tem como objetivo apresentar e formalizar, sob a perspectiva da geometria euclidiana plana, o algoritmo arquimediano para aproximação da constante π. Este algoritmo baseia-se no método poligonal de ...