Pesquisa · Mapa mental
Fórmula de Machin
A Fórmula de Machin foi formulada por John Machin (1680-1751), que a utilizou para calcular o número pi com 100 casas decimais. Posteriormente, foi usada por William Shanks (1812-1882) para o cálculo de pi com 707 casas decimais.
Pelos teoremas de adição de funções trigonométricas temos: Manipulação algébrica destas equações fornece:


