1.a. Pour tout n∈N⟦n \in \N⟧ :
un+1−un=(n+1)2−6(n+1)−n2+6n=n2+2n+1−6n−6−n2+6n=2n−5.⟦u_{n+1} - u_n = (n+1)^2 - 6(n+1) - n^2 + 6n = n^2 + 2n + 1 - 6n - 6 - n^2 + 6n = 2n - 5.⟧
1.b. 2n−5<0⟦2n - 5 < 0⟧ pour n≤2⟦n \leq 2⟧ et 2n−5>0⟦2n - 5 > 0⟧ pour n≥3⟦n \geq 3⟧.
Donc u0>u1>u2>u3⟦u_0 > u_1 > u_2 > u_3⟧ puis u3<u4<u5<⋯⟦u_3 < u_4 < u_5 < \cdots⟧ : la suite est décroissante jusqu’au rang 3⟦3⟧, puis croissante à partir du rang 3⟦3⟧. Elle n’est pas monotone sur N⟦\N⟧.
Vérification : u0=0⟦u_0 = 0⟧, u1=−5⟦u_1 = -5⟧, u2=−8⟦u_2 = -8⟧, u3=−9⟦u_3 = -9⟧, u4=−8⟦u_4 = -8⟧.
2. Pour tout n∈N⟦n \in \N⟧ :
wn+1−wn=n+2n+1−n+1n=(n+1)(n+2)(n+1)2−n(n+2)=(n+1)(n+2)1>0.⟦w_{n+1} - w_n = \frac{n+1}{n+2} - \frac{n}{n+1} = \frac{(n+1)^2 - n(n+2)}{(n+1)(n+2)} = \frac{1}{(n+1)(n+2)} > 0.⟧
La suite (wn)⟦(w_n)⟧ est strictement croissante.