Question Number 148151 by puissant last updated on 25/Jul/21
Answered by Olaf_Thorendsen last updated on 25/Jul/21
$$\mathrm{1}. \\ $$$$\left({u}_{{n}} \right)_{{n}\in\mathbb{N}^{\ast} } \:\mathrm{est}\:\mathrm{de}\:\mathrm{type}\:\mathcal{M}. \\ $$$$\mathrm{Donc}\:\forall{n}\in\mathbb{N}^{\ast} ,\:{u}_{{n}} \:=\:\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{u}_{{n}+{k}} \\ $$$$\mathrm{alors}\:{u}_{{n}} −\mathrm{C}\:=\:\left(\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{u}_{{n}+{k}} \right)−\mathrm{C} \\ $$$${u}_{{n}} −\mathrm{C}\:=\:\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{u}_{{n}+{k}} −\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\mathrm{C} \\ $$$${u}_{{n}} −\mathrm{C}\:=\:\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\left({u}_{{n}+{k}} −\mathrm{C}\right) \\ $$$$\mathrm{et}\:\mathrm{donc}\:\mathrm{la}\:\mathrm{suite}\:\left({u}_{{n}} −\mathrm{C}\right)_{{n}\in\mathbb{N}^{\ast} } \:\mathrm{est}\:\mathrm{de}\:\mathrm{type}\:\mathcal{M}. \\ $$$$ \\ $$$$\mathrm{2}. \\ $$$$\left({u}_{{n}} \right)_{{n}\in\mathbb{N}^{\ast} } \:\mathrm{est}\:\mathrm{de}\:\mathrm{type}\:\mathcal{M}. \\ $$$$\mathrm{Donc}\:\forall{n}\in\mathbb{N}^{\ast} ,\:{u}_{{n}} \:=\:\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{u}_{{n}+{k}} \\ $$$$\mathrm{Si}\:\mathrm{la}\:\mathrm{suite}\:\left({u}_{{n}} \right)\:\mathrm{est}\:\mathrm{croissante}\:\mathrm{alors}\:\mathrm{les} \\ $$$$\mathrm{termes}\:{u}_{{n}+{k}} \:\mathrm{sont}\:\mathrm{tous}\:\mathrm{plus}\:\mathrm{grands}\:\mathrm{que} \\ $$$${u}_{{n}} \mathrm{et}\:\mathrm{donc}\:{u}_{{n}} \:=\:\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{u}_{{n}+{k}} \:\leqslant\:\frac{\mathrm{1}}{{n}}\left({nu}_{{n}} \right) \\ $$$$\mathrm{Soit}\:\forall{n}\in\mathbb{N}^{\ast} ,\:{u}_{{n}} \:\leqslant\:{u}_{{n}} \:\mathrm{ce}\:\mathrm{qui}\:\mathrm{est} \\ $$$$\mathrm{possible}\:\mathrm{uniquement}\:\mathrm{en}\:\mathrm{cas}\:\mathrm{d}'\mathrm{egalite} \\ $$$$\mathrm{stricte}.\:\mathrm{Si}\:\mathrm{un}\:\mathrm{seul}\:\mathrm{terme}\:\mathrm{de}\:\mathrm{la}\:\mathrm{somme} \\ $$$$\mathrm{etait}\:\mathrm{strictement}\:\mathrm{superieur}\:\mathrm{a}\:{u}_{{n}} \:\mathrm{alors}\: \\ $$$$\mathrm{on}\:\mathrm{aboutirait}\:\mathrm{a}\:\mathrm{la}\:\mathrm{contradiction}\: \\ $$$${u}_{{n}} \:<\:{u}_{{n}} \:\mathrm{ce}\:\mathrm{qui}\:\mathrm{est}\:\mathrm{absurde}. \\ $$$$\mathrm{En}\:\mathrm{conclusion},\:\mathrm{toute}\:\mathrm{suite}\:\mathrm{croissante} \\ $$$$\mathrm{au}\:\mathrm{sens}\:\mathrm{large}\:\mathrm{de}\:\mathcal{M}\:\mathrm{est}\:\mathrm{constante}. \\ $$$$ \\ $$$$\mathrm{3}. \\ $$$$\left({u}_{{n}} \right)_{{n}\in\mathbb{N}^{\ast} } \:\mathrm{est}\:\mathrm{de}\:\mathrm{type}\:\mathcal{M}. \\ $$$$\mathrm{Donc}\:\forall{n}\in\mathbb{N}^{\ast} ,\:{u}_{{n}} \:=\:\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{u}_{{n}+{k}} \:\:\:\left(\mathrm{1}\right) \\ $$$$\mathrm{Si}\:\mathrm{les}\:{u}_{{n}} \mathrm{sont}\:\mathrm{de}\:\mathrm{la}\:\mathrm{forme}\:{an}^{\mathrm{2}} +{bn}+{c} \\ $$$$\left(\mathrm{1}\right)\::\:{an}^{\mathrm{2}} +{bn}+{c}\:=\:\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\left({a}\left({n}+{k}\right)^{\mathrm{2}} +{b}\left({n}+{k}\right)+{c}\right) \\ $$$${an}^{\mathrm{2}} +{bn}+{c}\:=\:\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\left({ak}^{\mathrm{2}} +{k}\left(\mathrm{2}{an}+{b}\right)+{an}^{\mathrm{2}} +{bn}+{c}\right) \\ $$$${an}^{\mathrm{2}} +{bn}+{c}\:=\:\frac{\mathrm{1}}{{n}}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\left({ak}^{\mathrm{2}} +{k}\left(\mathrm{2}{an}+{b}\right)\right)+{an}^{\mathrm{2}} +{bn}+{c} \\ $$$$\Rightarrow\:\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\left({ak}^{\mathrm{2}} +{k}\left(\mathrm{2}{an}+{b}\right)\right)\:=\:\mathrm{0}\:\:\left(\mathrm{2}\right) \\ $$$$\left(\mathrm{2}\right)\:\mathrm{n}'\mathrm{est}\:\mathrm{possible}\:\mathrm{que}\:\mathrm{quand}\:{a}\:=\:{b}\:=\:\mathrm{0}. \\ $$