Question Number 171039 by Kodjo last updated on 06/Jun/22
$${I}_{{n}} =\int_{\mathrm{0}} ^{\mathrm{1}} \left(\mathrm{1}−{u}\right)^{{n}} \sqrt{{ud}\left({u}\right)} \\ $$$${Demonstrate}\:{that}\:\forall{n}\in{N},\:{I}_{{n}} \geq\mathrm{0} \\ $$
Answered by thfchristopher last updated on 07/Jun/22
$${I}_{{n}} =\int_{\mathrm{0}} ^{\mathrm{1}} \sqrt{{u}}\left(\mathrm{1}−{u}\right)^{{n}} {du} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \sqrt{{u}}\left(\mathrm{1}−{u}\right)\left(\mathrm{1}−{u}\right)^{{n}−\mathrm{1}} {du} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \sqrt{{u}}\left(\mathrm{1}−{u}\right)^{{n}−\mathrm{1}} {du}−\int_{\mathrm{0}} ^{\mathrm{1}} {u}^{\frac{\mathrm{3}}{\mathrm{2}}} \left(\mathrm{1}−{u}\right)^{{n}−\mathrm{1}} {du} \\ $$$$={I}_{{n}−\mathrm{1}} +\frac{\mathrm{1}}{{n}}\int_{\mathrm{0}} ^{\mathrm{1}} {u}^{\frac{\mathrm{3}}{\mathrm{2}}} {d}\left[\left(\mathrm{1}−{u}\right)^{{n}} \right] \\ $$$$={I}_{{n}−\mathrm{1}} +\left[\frac{\mathrm{1}}{{n}}{u}^{\frac{\mathrm{3}}{\mathrm{2}}} \left(\mathrm{1}−{u}\right)^{{n}} \right]_{\mathrm{0}} ^{\mathrm{1}} −\frac{\mathrm{1}}{{n}}\int_{\mathrm{0}} ^{\mathrm{1}} \left(\mathrm{1}−{u}\right)^{{n}} {d}\left({u}^{\frac{\mathrm{3}}{\mathrm{2}}} \right) \\ $$$$={I}_{{n}−\mathrm{1}} −\frac{\mathrm{3}}{\mathrm{2}{n}}\int_{\mathrm{0}} ^{\mathrm{1}} \sqrt{{u}}\left(\mathrm{1}−{u}\right)^{{n}} {du} \\ $$$$={I}_{{n}−\mathrm{1}} −\frac{\mathrm{3}}{\mathrm{2}{n}}{I}_{{n}} \\ $$$$\therefore\:\left(\mathrm{1}+\frac{\mathrm{3}}{\mathrm{2}{n}}\right){I}_{{n}} ={I}_{{n}−\mathrm{1}} \\ $$$$\Rightarrow{I}_{{n}} =\frac{\mathrm{2}{n}}{\mathrm{2}{n}+\mathrm{3}}{I}_{{n}−\mathrm{1}} \\ $$$$=\frac{\left(\mathrm{2}{n}\right)\left(\mathrm{2}{n}−\mathrm{2}\right)…\left(\mathrm{2}\right)}{\left(\mathrm{2}{n}+\mathrm{3}\right)\left(\mathrm{2}{n}+\mathrm{1}\right)…\left(\mathrm{5}\right)}{I}_{\mathrm{0}} \\ $$$${I}_{\mathrm{0}} =\int_{\mathrm{0}} ^{\mathrm{1}} \sqrt{{u}}{du} \\ $$$$=\frac{\mathrm{2}}{\mathrm{3}}\left[{u}^{\frac{\mathrm{3}}{\mathrm{2}}} \right]_{\mathrm{0}} ^{\mathrm{1}} =\frac{\mathrm{2}}{\mathrm{3}} \\ $$$$\therefore\:{I}_{{n}} =\frac{\left(\mathrm{2}{n}\right)\left(\mathrm{2}{n}−\mathrm{2}\right)…\left(\mathrm{2}\overset{\mathrm{2}} {\right)}}{\left(\mathrm{2}{n}+\mathrm{3}\right)\left(\mathrm{2}{n}+\mathrm{1}\right)…\left(\mathrm{5}\right)\left(\mathrm{3}\right)} \\ $$$$ \\ $$
Commented by Kodjo last updated on 07/Jun/22
thanks