---

Step * of Lemma Machin-formula

π = ((r(16) * arctangent((r1/r(5)))) - r(4) * arctangent((r1/r(239))))
BY
{ InstLemma `Machin-lemma` [] }

1
1. (π/r(4)) = ((r(4) * arctangent((r1/r(5)))) - arctangent((r1/r(239))))
⊢ π = ((r(16) * arctangent((r1/r(5)))) - r(4) * arctangent((r1/r(239))))

---

Latex:

---

Latex:
\mpi{}  =  ((r(16)  *  arctangent((r1/r(5))))  -  r(4)  *  arctangent((r1/r(239))))


By

---

Latex:
InstLemma  `Machin-lemma`  []

---

Home Index