Formalização

[justify]No aplicativo e na figura a seguir encontra-se uma possível forma de iniciação da formalização utilizando polígonos inscritos.[/justify]
Aplicativo que pode ser usado na formalização.
[justify]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. [br][br]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[i] n, [/i]a função que definiu a área do polígono é [i]f(n) [/i]e a área do círculo que encerra o polígono é denotada por [br] A, então:[br][br][math]\lim_{n\rightarrow\infty}f\left(n\right)=A[/math][br][/justify]Nesse caso:[br][br][math]A=\lim_{n\rightarrow\infty}n\cdot A_{\Delta}=\lim_{n\rightarrow\infty}\frac{n\cdot b\cdot h}{2}=\lim_{n\rightarrow\infty}\frac{2\pi r\cdot r}{2}=\pi r^2[/math][br]

Information: Formalização