Seminario de Matemática Aplicada y Análisis Matemático. La máquina de Machin

En 1706, John Machin utilizó una fórmula que expresaba pi como combinación de dos arcotangentes y, con ella, calculó 100 decimales de pi. Actualmente se conocen bastantes fórmulas similares, que se denominan fórmulas de tipo Machin.

En la charla analizaremos algunas cuestiones relacionadas con estas fórmulas, y veremos un procedimiento para encontrar infinitas fórmulas de ese tipo, con cualquier número de sumandos. En particular, esto permite demostrar que hay fórmulas de tipo Machin con medida de Lehmer tan pequeña como uno desee.