Intereting Posts

How to show that a set of discontinuous points of an increasing function is at most countable
Cardinality of the union of infinite and countable sets
Show that $T\to T^*$ is an isomorphism (Where T is a linear transform)
Variable naming convention in mathematical modeling
Let $g(x)=e^{-1/x^2}$ for $x\not=0$ and $g(0)=0$. Show that $g^{(n)}(0)=0$ for all $n\in\Bbb N$.
The expected payoff of a dice game
Given $A+B+C=180^{\circ}$, find value of $\tan A\cdot\tan B+\tan B\cdot\tan C+\tan A\cdot \tan C-\sec A\cdot\sec B\cdot\sec C$
Continuous a.s. process
Showing that $x^n -2$ is irreducible in $\mathbb{Q}$
proving of Integral $\int_{0}^{\infty}\frac{e^{-bx}-e^{-ax}}{x}dx = \ln\left(\frac{a}{b}\right)$
Set theory: cardinality of a subset of a finite set.
Relation between Fibonacci number and the golden section
How to evalutate this exponential integral
Andrei flips a coin over and over again until he gets a tail followed by a head, then he quits. What is the expected number of coin flips?
Is there a prime between every pair of consecutive triangular numbers?

How to derive the Gregory series for the inverse tangent function?

Why is Gregory series applicable only to the set $ [-\pi/4,\pi/4] $ ?

- Sum of the reciprocal of sine squared
- Does $\sum \limits_{n=1}^\infty\frac{\sin n}{n}(1+\frac{1}{2}+\cdots+\frac{1}{n})$ converge (absolutely)?
- How to prove this identity $\pi=\sum\limits_{k=-\infty}^{\infty}\left(\frac{\sin(k)}{k}\right)^{2}\;$?
- Rearrange the formula for the sum of a geometric series to find the value of its common ratio?
- Series about Euler-Maclaurin formula
- Does $\sum_n |\sin n|^{cn^2}$ converge?
- Infinite Series -: $\psi(s)=\psi(0)+\psi_1(0)s+\psi_2(0)\frac{s^2}{2!}+\psi_3(0)\frac{s^3}{3!}+.+.+ $.
- Show that $\sum\limits_{n=1}^\infty \frac {\sqrt{a_n}}{n}$ converges if $\sum\limits_{n=1}^\infty{a_n}$ does provided that $a_n>0$
- Convergence of a Harmonic Continued Fraction
- Is there a size of rectangle that retains its ratio when it's folded in half?

A fast way is by exploiting $\arctan'(x)=\dfrac1{1+x^2}$.

The Taylor series of that derivative is easily established to be the sum of a geometric series of common ratio $-x^2$,

$$\sum_{k=0}^\infty(-x^2)^k=\frac1{1-(-x^2)},$$ which only converges for $x^2<1$.

Then integrating term-wise,

$$\arctan(x)=\int_0^x\frac{dx}{1+x^2}=\sum_{k=0}^\infty\frac{(-1)^kx^{2k+1}}{2k+1}.$$

Alternatively, assume that you know

$$\ln(1+z)=-\sum_{k=1}^\infty\frac{(-z)^k}{k}.$$

Then with $z=ix$,

$$\ln(1+ix)=\ln\left(\sqrt{1+x^2}\right)+i\arctan(x)=-\sum_{k=1}^\infty\frac{(-ix)^k}{k}.$$

The imaginary part of this identity gives

$$\arctan(x)=\sum_{odd\ k}(-1)^{(k-1)/2}\frac{x^k}k$$

while the real part gives the extra

$$\ln\left(\sqrt{1+x^2}\right)=\sum_{even\ k>0}(-1)^{k/2-1}\frac{x^k}k.$$

You need to know that $$\arctan x = \int_{0}^{x}\frac{dt}{1 + t^{2}}\tag{1}$$ In fact this equation can be used as a starting point to develop the theory of circular functions. But let’s not worry about that here.

We know (via the formula for sum of a geometric progression) that $$1 – t^{2} + t^{4} – t^{6} + \cdots + (-1)^{n – 1}t^{2n – 2} = \frac{1 – (-1)^{n}t^{2n}}{1 + t^{2}}\tag{2}$$ and therefore $$\frac{1}{1 + t^{2}} = 1 – t^{2} + t^{4} – t^{6} + \cdots + (-1)^{n – 1}t^{2n – 2} + (-1)^{n}\cdot\frac{t^{2n}}{1 + t^{2}}\tag{3}$$ and hence on integrating the above equation between $0$ and $x$ and using $(1)$ we get $$\arctan x = x – \frac{x^{3}}{3} + \cdots + (-1)^{n – 1}\cdot\frac{x^{2n – 1}}{2n – 1} + (-1)^{n}\int_{0}^{x}\frac{t^{2n}}{1 + t^{2}}\,dt$$ or $$\arctan x = x – \frac{x^{3}}{3} + \cdots + (-1)^{n – 1}\cdot\frac{x^{2n – 1}}{2n – 1} + (-1)^{n}R_{n}(x)\tag{4}$$ where $$R_{n}(x) = \int_{0}^{x}\frac{t^{2n}}{1 + t^{2}}\,dt\tag{5}$$ Now from the above equation it is easy to check that $R_{n}(-x) = -R_{n}(x)$. We will prove that if $0 \leq x \leq 1$ then $R_{n}(x) \to 0$ as $n \to \infty$. Since $R_{n}(-x) = -R_{n}(x)$ it will imply that the $\lim_{n \to \infty}R_{n}(x) = 0$ holds for all $x$ with $|x|\leq 1$.

Now let’s assume that $0 \leq x \leq 1$. Then we know that $$\frac{t^{2n}}{1 + t^{2}} \leq t^{2n}$$ for all $t$ with $0 \leq t \leq x$. Hence on integrating the above between $0$ and $x$ we get $$0 \leq R_{n}(x) \leq \int_{0}^{x}t^{2n}\,dt = \frac{x^{2n + 1}}{2n + 1} \leq \frac{1}{2n + 1}$$ and taking limits as $n \to \infty$ and using Squeeze theorem we get $$\lim_{n \to \infty}R_{n}(x) = 0$$ It follows that $$\lim_{n \to \infty}(-1)^{n}R_{n}(x) = 0$$ and as noted earlier this equation holds for all values of $x$ with $|x|\leq 1$. Now taking limits as $n \to \infty$ on both sides of equation $(4)$ we get $$\arctan x = x – \frac{x^{3}}{3} + \cdots = \sum_{n = 1}^{\infty}(-1)^{n – 1}\frac{x^{2n – 1}}{2n – 1}$$ for all $x$ with $|x| \leq 1$.

I think the most straightforward way is to yes the expansions of **log(1+x) and log(1-x)**

**log(1+x)=x – x^2/2 + x^3/3….and so on.**

**log(1-x)=-x-x^2/2-x^3/3….and so on.**

Now subtract the two series to get

**log[(1+x)/(1-x)]=
2[x+x^3/3+x^5/5+x^7/7……inf ]**

Now

After a little bit of manipulation [using

You will get the famous

Madhav-Gregory Series .

- Rational numbers are measure zero
- Showing that $(m)\cap (n)=(\operatorname{lcm}(m,n))$ and $(m)+(n)=(\gcd(m,n))$ for any $m,n\in\mathbb{Z}$
- Prove that if $a+b =1$, then $\forall n \in \mathbb{N}, a^{(2b)^{n}} + b^{(2a)^{n}} \leq 1$.
- Proving the “freshman's dream”
- Make this visual derivative of sine more rigorous
- What is the limit of this sequence involving logs of binomials?
- The theory of discrete endless orders is complete
- When can the maximal sigma algebra be generated by all singleton subsets?
- If $A$ is a non-empty set, then $A \notin A$
- Percentage of Composite Odd Numbers Divisible by 3
- Which smooth 1-manifolds can be represented by a single smooth parametrization?
- Tiling $\mathbb{R}^2$ with polyomino
- How can I prove the formula for calculating successive entries in a given row of Pascal's triangle?
- Cardinality of a minimal generating set is the cardinality of a basis
- Determinant of symmetric matrix with the main diagonal elements zero