Question Number 143461 by Willson last updated on 14/Jun/21 | ||
$$\mathrm{Prove}\:\mathrm{that}\::\:\forall\mathrm{n}\in\mathbb{N}^{\ast} \\ $$$$\mathrm{a}.\:\:\:\:\:\:\:\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}} {\sum}}{C}_{\mathrm{n}} ^{\mathrm{k}} \frac{\left(−\mathrm{1}\right)^{\mathrm{k}} }{\mathrm{k}}\:=\:\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}} {\sum}}\frac{\mathrm{1}}{\mathrm{k}} \\ $$$$\mathrm{b}.\:\:\:\:\:\:\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}} {\sum}}{C}_{\mathrm{n}} ^{\mathrm{k}} \:\frac{\left(−\mathrm{1}\right)^{\mathrm{k}} }{\mathrm{2k}+\mathrm{1}}\:=\:\frac{\mathrm{4}^{\mathrm{n}} }{\left(\mathrm{2n}+\mathrm{1}\right){C}_{\mathrm{2n}} ^{\mathrm{n}} } \\ $$ | ||
Answered by Dwaipayan Shikari last updated on 14/Jun/21 | ||
$$\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{C}_{{n}} ^{{k}} {x}^{{k}} =\left(\mathrm{1}+{x}\right)^{{k}} −\mathrm{1} \\ $$$$\Rightarrow\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{C}_{{n}} ^{{k}} {x}^{{k}−\mathrm{1}} =\frac{\left(\mathrm{1}+{x}\right)^{{n}} \:−\mathrm{1}}{{x}}\Rightarrow\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{C}_{{n}} ^{{k}} \frac{\left(−\mathrm{1}\right)^{{k}} }{{k}}=\int_{\mathrm{0}} ^{−\mathrm{1}} \frac{\left(\mathrm{1}+{x}\right)^{{n}} −\mathrm{1}}{{x}}{dx} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\left(\mathrm{1}−{u}\right)^{{n}} −\mathrm{1}}{{u}}{du}=−\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{1}−{u}^{{n}} }{\mathrm{1}−{u}}{du}=−{H}_{{n}} \\ $$ | ||
Answered by mathmax by abdo last updated on 14/Jun/21 | ||
$$\left.\mathrm{1}\right)\:\mathrm{let}\:\mathrm{p}\left(\mathrm{x}\right)=\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \:\frac{\left(−\mathrm{1}\right)^{\mathrm{k}} }{\mathrm{k}}\:\mathrm{x}^{\mathrm{k}} \:\Rightarrow\mathrm{p}^{'} \left(\mathrm{x}\right)=\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \left(−\mathrm{1}\right)^{\mathrm{k}} \:\mathrm{x}^{\mathrm{k}−\mathrm{1}} \\ $$$$=\frac{\mathrm{1}}{\mathrm{x}}\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \left(−\mathrm{1}\right)^{\mathrm{k}} \:\mathrm{x}^{\mathrm{k}} \:=\frac{\mathrm{1}}{\mathrm{x}}\left(\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \left(−\mathrm{1}\right)^{\mathrm{k}} \:\mathrm{x}^{\mathrm{k}} −\mathrm{1}\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{x}}\left(\:\left(\mathrm{1}−\mathrm{x}\right)^{\mathrm{n}} −\mathrm{1}\right)\:\Rightarrow\mathrm{p}\left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\mathrm{x}} \:\frac{\left(\mathrm{1}−\mathrm{t}\right)^{\mathrm{n}} −\mathrm{1}}{\mathrm{t}}\mathrm{dt}\:+\mathrm{K} \\ $$$$\mathrm{K}=\mathrm{p}\left(\mathrm{0}\right)=\mathrm{0}\:\Rightarrow\mathrm{p}\left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\mathrm{x}} \:\frac{\left(\mathrm{1}−\mathrm{t}−\mathrm{1}\right)\left(\:\mathrm{1}+\left(\mathrm{1}−\mathrm{t}\right)+\left(\mathrm{1}−\mathrm{t}\right)^{\mathrm{2}} +....+\left(\mathrm{1}−\mathrm{t}\right)^{\mathrm{n}−\mathrm{1}} \right)}{\mathrm{t}}\mathrm{dt} \\ $$$$=−\int_{\mathrm{0}} ^{\mathrm{x}} \:\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}−\mathrm{1}} \left(\mathrm{1}−\mathrm{t}\right)^{\mathrm{k}} \:\mathrm{dt}\:=\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}−\mathrm{1}} \left[\frac{\mathrm{1}}{\mathrm{k}+\mathrm{1}}\left(\mathrm{1}−\mathrm{t}\right)^{\mathrm{k}+\mathrm{1}} \right]_{\mathrm{0}} ^{\mathrm{x}} \\ $$$$=\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}−\mathrm{1}} \frac{\mathrm{1}}{\mathrm{k}+\mathrm{1}}\left(\:\left(\mathrm{1}−\mathrm{x}\right)^{\mathrm{k}+\mathrm{1}} −\mathrm{1}\right)=\mathrm{p}\left(\mathrm{x}\right)\:\Rightarrow \\ $$$$\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \:\frac{\left(−\mathrm{1}\right)^{\mathrm{k}} }{\mathrm{k}}=\mathrm{p}\left(\mathrm{1}\right)\:=−\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}−\mathrm{1}} \:\frac{\mathrm{1}}{\mathrm{k}+\mathrm{1}}=−\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\frac{\mathrm{1}}{\mathrm{k}}=−\mathrm{H}_{\mathrm{n}} \\ $$ | ||
Answered by mathmax by abdo last updated on 15/Jun/21 | ||
$$\left.\mathrm{2}\right)\mathrm{let}\:\mathrm{p}\left(\mathrm{x}\right)=\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \:\frac{\left(−\mathrm{1}\right)^{\mathrm{k}} }{\mathrm{2k}+\mathrm{1}}\mathrm{x}^{\mathrm{2k}+\mathrm{1}} \:\Rightarrow \\ $$$$\mathrm{p}^{'} \left(\mathrm{x}\right)=\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \:\left(−\mathrm{1}\right)^{\mathrm{k}} \:\left(\mathrm{x}^{\mathrm{2}} \right)^{\mathrm{k}} \:=\left(\mathrm{1}−\mathrm{x}^{\mathrm{2}} \right)^{\mathrm{n}} −\mathrm{1}\:\Rightarrow \\ $$$$\mathrm{p}\left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\mathrm{x}} \left(\left(\mathrm{1}−\mathrm{t}^{\mathrm{2}} \right)^{\mathrm{n}} −\mathrm{1}\right)\mathrm{dt}\:+\mathrm{K}\:\: \\ $$$$\mathrm{k}=\mathrm{p}\left(\mathrm{0}\right)=\mathrm{0}\:\Rightarrow\mathrm{p}\left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\mathrm{x}} \left(\mathrm{1}−\mathrm{t}^{\mathrm{2}} \right)^{\mathrm{n}} \:\mathrm{dt}−\mathrm{x} \\ $$$$\Rightarrow\mathrm{p}\left(\mathrm{1}\right)=\int_{\mathrm{0}} ^{\mathrm{1}} \left(\mathrm{1}−\mathrm{t}^{\mathrm{2}} \right)^{\mathrm{n}} \mathrm{dt}−\mathrm{1} \\ $$$$\int_{\mathrm{0}} ^{\mathrm{1}} \left(\mathrm{1}−\mathrm{t}^{\mathrm{2}} \right)^{\mathrm{n}} \:\mathrm{dt}\:=_{\mathrm{t}=\mathrm{sinx}} \:\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{cos}^{\mathrm{2n}} \mathrm{x}\:\mathrm{cosx}\:\mathrm{dx} \\ $$$$=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\mathrm{cos}^{\mathrm{2n}+\mathrm{1}} \mathrm{xdx}\:=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\mathrm{cos}^{\mathrm{2n}+\mathrm{1}} \mathrm{x}\:\mathrm{sin}^{\mathrm{o}} \mathrm{x}\:\mathrm{dx} \\ $$$$\mathrm{2p}−\mathrm{1}=\mathrm{2n}+\mathrm{1}\:\Rightarrow\mathrm{2p}=\mathrm{2n}+\mathrm{2}\:\Rightarrow\mathrm{p}=\mathrm{n}+\mathrm{1} \\ $$$$\mathrm{2q}−\mathrm{1}=\mathrm{0}\:\Rightarrow\mathrm{q}=\frac{\mathrm{1}}{\mathrm{2}}\:\Rightarrow \\ $$$$\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\mathrm{cos}^{\mathrm{2n}+\mathrm{1}} \mathrm{xdx}\:=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{cos}^{\mathrm{2}\left(\mathrm{n}+\mathrm{1}\right)−\mathrm{1}} \mathrm{sin}^{\mathrm{2}\frac{\mathrm{1}}{\mathrm{2}}−\mathrm{1}} \mathrm{xdx} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}}\mathrm{B}\left(\mathrm{n}+\mathrm{1},\frac{\mathrm{1}}{\mathrm{2}}\right)=\frac{\mathrm{1}}{\mathrm{2}}\frac{\Gamma\left(\mathrm{n}+\mathrm{1}\right)\Gamma\left(\frac{\mathrm{1}}{\mathrm{2}}\right)}{\Gamma\left(\mathrm{n}+\frac{\mathrm{3}}{\mathrm{2}}\right)}=\frac{\mathrm{n}!\sqrt{\pi}}{\mathrm{2}\Gamma\left(\mathrm{n}+\frac{\mathrm{3}}{\mathrm{2}}\right)} \\ $$$$..\mathrm{be}\:\mathrm{continued}.... \\ $$ | ||