Intereting Posts

Is $\sum_{n \ge 1}{\frac{p_n}{n!}}$ irrational?
Axiom of Choice and finite sets
What can be computed by axiomatic summation?
Integral involving exponential, power and Bessel function
Puzzle question finding Calvin
$U^*\otimes V$ versus $L(U,V)$ for infinite dimensional spaces
What does “rigor” mean in mathematics?
Fourier Inversion formula on $L^2$
Calculate Ellipse From Points?
A strange little number – $6174$.
For primes sufficiently large, must digit products be zero?
Is $\int_0^2 dx=\int_{\pi /4}^{\pi /3}d\theta$?
Injection of union into disjoint union
Conditions on integral cubic polynomial with cyclic group and prime coefficients
If $(x_n) \to x$ then $(\sqrt{x_1x_2\cdots x_n}) \to x$

Prove that:

$$(1+x)^{\alpha}=\sum_{n=0}^{+\infty}{\alpha \choose n} x^n$$

for $x\in[0;1), \alpha \in\mathbb{R}$ based on Taylor’s theorem with Lagrange remainder.

I don’t feel such proofs. Isn’t it kind of.. obvious? That when we expand $(1+x)^{\alpha}$ into series we get right side? I really want to understand this.

- Prove an inequality
- Symmetric Inequality in $\mathbb{R}$
- Evaluate $\int \frac {\operatorname d\!x} {2x \sqrt{1-x}\sqrt{2-x + \sqrt{1-x}}}$
- Multiple root of a polynomial is also a root of the derivative
- Evaluation of $\int_0^{\pi/3} \ln^2\left(\frac{\sin x }{\sin (x+\pi/3)}\right)\,\mathrm{d}x$
- Closed form of $\sum_{n=1}^{\infty} \frac{J_0(2n)}{n^2}$

- Why $2n \int ^\infty _n \frac{c}{x^2 \log(x)} \sim n \frac{C}{n \log(n)}$?
- Always a differentiable path through a convergent sequence of points in $\mathbb{R}^n$?
- Evaluation of $ \int_{0}^{1}\left(\sqrt{1-x^7}-\sqrt{1-x^4}\right)dx$
- Continuity of the derivative at a point given certain hypotheses
- $f_n$ converges uniformly on $$ to some function $f$
- Indefinite integral of secant cubed
- Evaluating $ \int x \sqrt{\frac{1-x^2}{1+x^2}} \, dx$
- How to show that $f(x)=x^2$ is continuous at $x=1$?
- How to find area under sines without calculus?
- Preparing for Spivak

You have that if

$$y=(1+x)^\alpha$$

then

$$y'(0)=\alpha$$

$$y''(0)=\alpha(\alpha-1)$$

$$\cdots=\cdots$$

$$y^{(n)}(0)=\alpha(\alpha-1)\cdots(\alpha-n+1)$$

$$y^{(n)}(0)=\frac{\alpha!}{(\alpha-n)!}$$

You can prove this last generalization by induction on $n$. The last equation is written for the sake of “order”, but if you’re not comfortable with it, you can use the $\Gamma$ function to denote the factorials.

Then

$$\mathcal{T}_k(y,0)=\sum\limits_{n=0}^k \frac{\alpha!}{(\alpha-n)!}\frac{x^n}{n!}$$

Then using the binomial coefficient notation

$$\mathcal{T}_k(y,0)=\sum\limits_{n=0}^k {\alpha \choose n}x^n$$

What you need now is that the series converges for $|x|<1$.

In my opinion you can argue as follows:

Fix $x$. Then the series

$$\lim\limits_{k \to \infty} \mathcal{T}_k(y,0)=\sum\limits_{n=0}^\infty {\alpha \choose n}x^n$$

will converge when

$$ \lim\limits_{n \to \infty} \left|\frac{{\alpha \choose n+1}}{{\alpha \choose n}}\frac{x^{n+1}}{x^n}\right|<1$$

$$ \lim\limits_{n \to \infty} \left|\frac{{n+1}}{n-\alpha}x\right|<1$$

$$ \left|x\right|<1$$

ADD: Here’s a part of an answer to a similar question:

Assume

$${\left( {1 + x} \right)^{\alpha}} = \sum\limits_{k = 0}^\infty {{a_k}{x^k}} $$

Since if two series

$$\eqalign{

& \sum {{a_k}{{\left( {x – a} \right)}^k}} \cr

& \sum {{b_k}{{\left( {x – a} \right)}^k}} \cr} $$

sum up to the same function then

$${a_k} = {b_k} = \frac{{{f^{\left( k \right)}}\left( a \right)}}{{k!}}$$

for every $k \leq 0$, we can assume:

$$a_k = \dfrac{f^{(k)}(0)}{k!}$$

Putting $y = {\left( {1 + x} \right)^{\alpha}}$ we get

$$y'(0) = \alpha$$

$$y''(0) = \alpha(\alpha-1)$$

$$y'''(0) = \alpha(\alpha-1)(\alpha-2)$$

$$y^{{IV}}(0) = \alpha(\alpha-1)(\alpha-2)(\alpha-3)$$

We can prove in general that

$$y^{(k)}= \alpha(\alpha-1)\cdots(\alpha-k+1)$$

or put in terms of factorials

$$y^{(k)}(0)= \frac{\alpha!}{(\alpha-k)!}$$

This makes

$$a_k = \frac{\alpha!}{k!(\alpha-k)!}$$

which is what we wanted.

$${\left( {1 + x} \right)^\alpha } = \sum\limits_{k = 0}^\infty {\alpha \choose k} {{x^k}} $$

You can prove this in a more rigorous manner by differential equations:

- Set $f(x) = \displaystyle \sum\limits_{k = 0}^\infty {\alpha \choose k} {{x^k}}$ and prove the radius of convergence is 1.
- Show that $f(x)$ is the solution to the ODE $$y' – \frac{\alpha }{{x + 1}}y = 0$$ with initial condition $f(0)=1$.
- By the theorem that the solution to the linear equation

$$y'+P(x)y=R(x)$$

with initial conditions $f(a) = b$ is unique, you can prove the assertion. (prove that

$y = {\left( {1 + x} \right)^{\alpha}}$ also satifies the equation and you’re done.)

- On a non-standard approach to the classification of conics?
- Stirling numbers, binomial coefficients
- A mouse leaping along the square tile
- Looking for help with this elementary method of finding integer solutions on an elliptic curve.
- Find the last two digits of the number $9^{9^9}$
- Find the real number $x$ represented by continued fraction $$
- Is this monotonic in $a,b$?
- Relationship between covariant/contravariant basis vectors
- In a family with two children, what are the chances, if one of the children is a girl, that both children are girls?
- Are projections onto closed complemented subspaces of a topological vector space always continuous?
- Prove that $\sum_{n=1}^\infty \ln\left(\frac{n(n+2)}{(n+1)^2}\right)$ converges and find its sum
- Where does the “Visual Multiplication” technique originate from?
- Why is an integral domain a commutative ring with unity?
- $C()$ is not complete with respect to the norm $\lVert f\rVert _1 = \int_0^1 \lvert f (x) \rvert \,dx$
- A question on mean value inequality