Consider the equation: \begin{gather*} \frac{1}{x+1} + \frac{1}{2(x+2)} + \frac{1}{3(x+3)} + \cdots + \frac{1} {n(x+n)} = 1.\tag1 \end{gather*} Prove that:
For every $n \geq 2$, equation $(1)$ always has a unique positive solution $x_n$.
The sequence $(x_n)$ has a finite limit with $n \to \infty+$. Find that limit.
Here's all I did:
$\frac {1}{x+1} + \frac{1}{2(x+2)} + \frac{1}{3(x+3)} + .... + \frac {1} {n(x+n)} = 1.$
$\Leftrightarrow 2.3...n(x+1)(x+2)...(x+n) + 1.3...n(x+1)(x+3)...n + ... + 1.2...(n-1)(x+1)(x+2)...(x+n-1) = n! (x+1)(x+2)...(x+n) $
Consider the polynomial $P(x) = 2.3...n(x+1)(x+2)...(x+n) + 1.3...n(x+1)(x+3)...n + ... + 1.2...(n-1)(x+1)(x+2)...(x+n-1) - n! (x+1)(x+2)...(x+n) $
Consider the highest coefficient of the polynomial:$ -n! < 0 $
Consider the lowest coefficient of the polynomial:$ (2.3...n)^2+(1.3...n)^2+...(1.2...(n-1))^2 - n! = (1.3...n)^2+...(1.2...(n-1))^2 > 0$
Let $x_1,x_2,x_3....$ be the solutions of$ P(x) $
Assume that equation (1) has no positive solution.
According to Viette's theorem: $x_1 x_2 x_3....x_n = (-1)^n \frac{a_0}{a_n} $
$\frac {a_0}{a_n} < 0 \Rightarrow $if $n$ is an odd number , then $x_1 x_2 x_3....x_n < 0$ , but
$(-1)^n \frac{a_0}{a_n} >0 \Rightarrow $ (nonsense) . Same with $n $being an even number.
So the polynomial must have at least one integer root.
Suppose the polynomial has at least 2 positive roots $x$ and $y$ .
$\frac {1}{y+1} + \frac{1}{2(y+2)} + \frac{1}{3(y+3)} + .... + \frac {1} {n(y+n)} =\frac {1}{x+1} + \frac{1}{2(x+2)} + \frac{1}{3(x+3)} + .... + \frac {1} {n(x+n)} .$
$\Rightarrow (y-x)( \frac {1}{(x+1)(y+1)}+ \frac {1}{2(x+2)(y+2)} +...+\frac {1}{n(x+n)(y+n)} ) = 0 $
$\Rightarrow x=y \Rightarrow$ (no sense)
So for every $n \geq 2$ , equation $( 1 )$ always has a unique positive solution $x_n$
That's all I did , and I have no idea what to do next , I want to establish a relationship between $x_n$ but for $n \geq 3$ the polynomial's solution is a " bad " solution . " so it's very difficult to build. Hope to get help from everyone. Thanks very much .