---

Step * 1 of Lemma Machin-formula


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))))
BY
{ ((MoveToConcl  (-1) THEN GenConclTerms Auto [⌜arctangent((r1/r(5)))⌝;⌜arctangent((r1/r(239)))⌝]⋅)
   THEN All Thin
   THEN Auto) }

1
1. v : ℝ
2. v1 : ℝ
3. (π/r(4)) = ((r(4) * v) - v1)
⊢ π = ((r(16) * v) - r(4) * v1)

---

Latex:

---

Latex:

1.  (\mpi{}/r(4))  =  ((r(4)  *  arctangent((r1/r(5))))  -  arctangent((r1/r(239))))
\mvdash{}  \mpi{}  =  ((r(16)  *  arctangent((r1/r(5))))  -  r(4)  *  arctangent((r1/r(239))))


By

---

Latex:
((MoveToConcl    (-1)  THEN  GenConclTerms  Auto  [\mkleeneopen{}arctangent((r1/r(5)))\mkleeneclose{};\mkleeneopen{}arctangent((r1/r(239)))\mkleeneclose{}]\mcdot{})
  THEN  All  Thin
  THEN  Auto)

---

Home Index