Западно-Китайская олимпиада по математике 2008 года | Казахстанские олимпиады

Дано целое m2 m\geq 2 и действительные a,b a,b (a>0 a > 0 и b0 b\neq 0). Последовательность {xn} \{x_n\} такова, что x1=b x_1 = b и xn+1=axnm+b x_{n + 1} = ax^{m}_{n} + b, n=1,2,n = 1,2, \ldots. Докажите, что
(1) при b<0 b < 0 и четном m m, последовательность ограничена тогда и только тогда, когда abm12 ab^{m - 1}\geq - 2;
(2) при b<0 b < 0 и нечетном m m, или при b>0 b > 0 последовательность ограничена тогда и только тогда, когда abm1(m1)m1mm ab^{m - 1}\geq\frac {(m - 1)^{m - 1}}{m^m}.