3 problems found
Solution:
The positive numbers \(\alpha\), \(\beta\) and \(q\) satisfy \(\beta-\alpha >q\). Show that \[ \frac{\alpha^2+\beta^2 -q^2}{\alpha\beta}-2> 0\,. \] The sequence \(u_0\), \(u_1\), \(\ldots\) is defined by \(u_0=\alpha\), \(u_1=\beta\) and \[ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ u_{n+1} = \frac {u_{n}^2 -q^2}{u_{n-1}} \ \ \ \ \ \ \ \ \ \ \ (n\ge1), \] where \(\alpha\), \(\beta\) and \(q\) are given positive numbers (and \(\alpha\) and \(\beta\) are such that no term in the sequence is zero). Prove that \(u_n(u_n+u_{n+2}) = u_{n+1}(u_{n-1}+u_{n+1})\,\). Prove also that \[ u_{n+1} -pu_n + u_{n-1}=0 \] for some number \(p\) which you should express in terms of \(\alpha\), \(\beta\) and \(q\). Hence, or otherwise, show that if \(\beta> \alpha+q\), the sequence is strictly increasing (that is, \(u_{n+1}-u_n > 0\) for all \(n\)). Comment on the case \(\beta =\alpha +q\).
Solution: \begin{align*} && \beta - \alpha &> q \\ \Rightarrow &&(\beta - \alpha)^2 &> q^2 \\ \Rightarrow && \beta^2 +\alpha^2 - 2\beta \alpha &> q^2 \\ \Rightarrow && \alpha^2+\beta^2-q^2 -2 \beta \alpha &> 0 \\ \Rightarrow && \frac{\alpha^2+\beta^2-q^2}{\alpha\beta} - 2 &> 0 \end{align*} \begin{align*} && u_n(u_n+u_{n+2}) &= u_n \cdot \left (u_n + \frac {u_{n+1}^2 -q^2}{u_{n}}\right) \\ &&&= u_n^2 + u_{n+1}^2-q^2 \\ &&&= u_n^2 + u_{n+1}^2 - (u_n^2-u_{n-1}u_{n+1}) \\ &&&= u_{n+1}^2 + u_{n+1}u_{n-1} \\ &&&= u_{n+1}(u_{n-1}+u_{n+1}) \\ \\ && u_{n+1}-pu_n+u_{n-1} &= -pu_n+\frac{u_{n}(u_{n-2}+u_n)}{u_{n-1}} \\ &&&= \frac{u_n(u_{n}-pu_{n-1}+u_{n-2})}{u_{n-1}} \end{align*} Therefore if \(u_2 -pu_1 + u_0 = 0\) it is always zero, ie if \begin{align*} && u_2 &= p\beta - \alpha \\ && u_2 &= \frac{\beta^2-q^2}{\alpha} \\ \Rightarrow && \frac{\beta^2-q^2}{\alpha} &= p\beta - \alpha \\ \Rightarrow && p &= \frac{\alpha^2+\beta^2-q^2}{\alpha\beta} \end{align*} If \(\beta > \alpha + q\) we must have that \(p > 2\), and so \(u_{n+1}-u_n = (p-1)u_n - u_{n-1} > u_n-u_{n-1} > 0\), therefore the sequence is strictly increasing. If \(\beta = \alpha + q\) the sequence follows \(u_{n+1} - 2u_n + u_{n-1} =0\) and so \(u_{n+1}-u_n = u_n - u_{n-1}\) for all \(n\) (which is still increasing - it's an arithmetic progression with common difference \(\beta - \alpha\)).
A sequence \(t_0\), \(t_1\), \(t_2\), \(...\) is said to be strictly increasing if \(t_{n+1} > t_n\) for all \(n\ge{0}\,\).
Solution: