---

Step * of Lemma arctangent-reduction

∀B:{B:ℝ| r0 < B} . ∀x:{x:ℝ| (r(-1)/B) < x} .  (arctangent(x) = (arctangent(B) + arctangent((x - B/r1 + (x * B)))))
BY
{ Auto }

1
1. B : {B:ℝ| r0 < B} 
2. x : {x:ℝ| (r(-1)/B) < x} 
⊢ arctangent(x) = (arctangent(B) + arctangent((x - B/r1 + (x * B))))

---

Latex:

---

Latex:
\mforall{}B:\{B:\mBbbR{}|  r0  <  B\}  .  \mforall{}x:\{x:\mBbbR{}|  (r(-1)/B)  <  x\}  .
    (arctangent(x)  =  (arctangent(B)  +  arctangent((x  -  B/r1  +  (x  *  B)))))


By

---

Latex:
Auto

---

Home Index