Fórmulas de tipo Machin de tres términos