Formalização
No aplicativo e na figura a seguir encontra-se uma possível forma de iniciação da formalização utilizando polígonos inscritos.
Aplicativo que pode ser usado na formalização.
Como os alunos ainda não viram limite, provavelmente em suas resoluções não usarão a simbologia correta do mesmo, por isso, durante a plenária o professor pode explorar as ideias dos alunos nesse sentido. A partir da estratégia de resolução da Figura, o professor poderá introduzir o conceito de limite, mostrando sua simbologia. Conforme o problema proposto, se o número de lados no polígono é denotado por n, a função que definiu a área do polígono é f(n) e a área do círculo que encerra o polígono é denotada por A, então:
Nesse caso: