Question Number 41627 by alex041103 last updated on 10/Aug/18
Commented by alex041103 last updated on 10/Aug/18
$${Just}\:{for}\:{fun}!\:{I}\:{have}\:{already}\:{posted} \\ $$$${this}\:{Q}.\:{around}\:{a}\:{year}\:{ago}.\:{The}\:{result} \\ $$$${is}\:{beautiful}\:{and}\:{worths}\:{giving}\:{it}\:{a}\:{try}. \\ $$$${Can}\:{you}\:{prove}\:{something}\:{interesting}. \\ $$$${Hint}:\:{Calculate}\:{the}\:{result}. \\ $$
Commented by maxmathsup by imad last updated on 10/Aug/18
$${we}\:{have}\:{x}^{\mathrm{4}} \left(\mathrm{1}−{x}^{} \right)^{\mathrm{4}} \:={x}^{\mathrm{4}} \left({x}^{\mathrm{2}} −\mathrm{2}{x}+\mathrm{1}\right)^{\mathrm{2}} \:={x}^{\mathrm{4}} \left(\:\left({x}^{\mathrm{2}} −\mathrm{2}{x}\right)^{\mathrm{2}} +\mathrm{2}\left({x}^{\mathrm{2}} −\mathrm{2}{x}\right)\:+\mathrm{1}\right) \\ $$$$={x}^{\mathrm{4}} \left\{\:{x}^{\mathrm{4}} \:−\mathrm{4}{x}^{\mathrm{3}} \:+\mathrm{4}{x}^{\mathrm{2}} \:+\mathrm{2}{x}^{\mathrm{2}} \:−\mathrm{4}{x}\:+\mathrm{1}\right\}\:={x}^{\mathrm{4}} \left\{\:{x}^{\mathrm{4}} \:−\mathrm{4}{x}^{\mathrm{3}} \:+\mathrm{6}{x}^{\mathrm{2}} \:−\mathrm{4}{x}+\mathrm{1}\right\} \\ $$$$=\:{x}^{\mathrm{8}} \:−\mathrm{4}{x}^{\mathrm{7}} \:+\mathrm{6}{x}^{\mathrm{6}} \:−\mathrm{4}{x}^{\mathrm{5}} \:+{x}^{\mathrm{4}} \:\Rightarrow \\ $$$${I}\:\:=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{x}^{\mathrm{8}} \:−\mathrm{4}{x}^{\mathrm{7}} \:+\mathrm{6}{x}^{\mathrm{6}} \:−\mathrm{4}{x}^{\mathrm{5}} \:+{x}^{\mathrm{4}} }{\mathrm{1}+{x}^{\mathrm{2}} }\:{dx}\: \\ $$$$=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\left({x}^{\mathrm{8}} \:−\mathrm{4}{x}^{\mathrm{7}} \:+\mathrm{6}{x}^{\mathrm{6}} −\mathrm{4}{x}^{\mathrm{5}} \:+{x}^{\mathrm{4}} \right)\sum_{{n}=\mathrm{0}} ^{\infty} \left(−\mathrm{1}\right)^{{n}} {x}^{\mathrm{2}{n}} \:{dx} \\ $$$$=\:\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\left(−\mathrm{1}\right)^{{n}\:\:} \:\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\left({x}^{\mathrm{2}{n}+\mathrm{8}} \:−{x}^{\mathrm{2}{n}+\mathrm{7}} \:+\mathrm{6}\:{x}^{\mathrm{2}{n}+\mathrm{6}} \:−\mathrm{4}\:{x}^{\mathrm{2}{n}+\mathrm{5}} \:+{x}^{\mathrm{2}{n}+\mathrm{4}} \right){dx} \\ $$$$=\:\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\:\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+\mathrm{9}}\:−\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+\mathrm{8}}\:+\mathrm{6}\:\sum_{{n}=\mathrm{0}} ^{\infty} \:\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+\mathrm{7}}\:−\mathrm{4}\:\sum_{{n}=\mathrm{0}} ^{\infty} \:\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+\mathrm{6}}\:+\sum_{{n}=\mathrm{0}} ^{\infty} \:\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+\mathrm{5}} \\ $$$${let}\:\:{w}\left({x}\right)\:=\:\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\:\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+\mathrm{5}}\:{x}^{\mathrm{2}{n}+\mathrm{5}} \:\:{we}\:{have}\:{w}\left(\mathrm{1}\right)\:=\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+\mathrm{5}} \\ $$$${w}^{'} \left({x}\right)\:=\sum_{{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{{n}} {x}^{\mathrm{2}{n}+\mathrm{4}} \:={x}^{\mathrm{4}} \:\:\sum_{{n}=\mathrm{0}} ^{\infty} \:\left(−{x}^{\mathrm{2}} \right)^{{n}} \:=\frac{{x}^{\mathrm{4}} }{\mathrm{1}+{x}^{\mathrm{2}} }\:\Rightarrow \\ $$$${w}\left({x}\right)\:=\:\int_{\mathrm{0}} ^{{x}} \:\:\:\frac{{t}^{\mathrm{4}} }{\mathrm{1}+{t}^{\mathrm{2}} }\:{dt}\:+{c}\:\:{but}\:{c}={w}\left(\mathrm{0}\right)\:=\mathrm{0}\:\Rightarrow{w}\left({x}\right)=\int_{\mathrm{0}} ^{{x}} \:\:\frac{{t}^{\mathrm{4}} }{\mathrm{1}+{t}^{\mathrm{2}} }\:{dt} \\ $$$${w}\left({x}\right)=\:\int_{\mathrm{0}} ^{{x}} \:\frac{{t}^{\mathrm{4}} −\mathrm{1}+\mathrm{1}}{{t}^{\mathrm{2}} \:+\mathrm{1}}\:{dt}\:=\:\int_{\mathrm{0}} ^{{x}} \:\frac{\left({t}^{\mathrm{2}} +\mathrm{1}\right)\left({t}^{\mathrm{2}} −\mathrm{1}\right)\:+\mathrm{1}}{{t}^{\mathrm{2}} \:+\mathrm{1}}\:{dt} \\ $$$$=\int_{\mathrm{0}} ^{{x}} \:\:\left({t}^{\mathrm{2}} −\mathrm{1}\right){dt}\:\:+\:\int_{\mathrm{0}} ^{{x}} \:\:\frac{{dt}}{\mathrm{1}+{t}^{\mathrm{2}} }\:=\:\frac{{x}^{\mathrm{3}} }{\mathrm{3}}\:−{x}\:\:+{arctan}\left({x}\right)\:\Rightarrow \\ $$$${w}\left(\mathrm{1}\right)\:=−\frac{\mathrm{2}}{\mathrm{3}}\:+\frac{\pi}{\mathrm{4}}\:\:{generally}\:{let}\:{consider}\:{w}_{{p}} \left({x}\right)\:=\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+{p}}\:{x}^{\mathrm{2}{n}+{p}} \\ $$$${we}\:{have}\:{w}_{{p}} \left(\mathrm{1}\right)\:=\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\frac{\left(−\mathrm{1}\right)^{{n}} }{\mathrm{2}{n}+{p}\:}\:\:\:{and}\:{we}\:{have} \\ $$$${w}_{{p}} ^{'} \left({x}\right)\:=\:\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\left(−\mathrm{1}\right)^{{n}} \:{x}^{\mathrm{2}{n}+{p}−\mathrm{1}} \:\:=\:{x}^{{p}−\mathrm{1}} \:\sum_{{n}=\mathrm{0}} ^{\infty} \:\left(−{x}^{\mathrm{2}} \right)^{{n}} \:=\:\frac{{x}^{{p}−\mathrm{1}} }{\mathrm{1}+{x}^{\mathrm{2}} }\:\Rightarrow \\ $$$${w}_{{p}} \left({x}\right)\:=\:\int_{\mathrm{0}} ^{{x}} \:\:\:\:\frac{{x}^{{p}−\mathrm{1}} }{\mathrm{1}+{x}^{\mathrm{2}} }\:{dx}\:+{c}\:{but}\:{c}={w}_{{p}} \left(\mathrm{1}\right)=\mathrm{0}\:\Rightarrow{w}_{{p}} \left({x}\right)=\:\int_{\mathrm{0}} ^{{x}} \:\:\:\frac{{x}^{{p}−\mathrm{1}} }{\mathrm{1}+{x}^{\mathrm{2}} }\:{dx} \\ $$$$….{be}\:{continued}… \\ $$$$ \\ $$
Answered by rahul 19 last updated on 10/Aug/18
Commented by rahul 19 last updated on 10/Aug/18
≠ 0
Commented by alex041103 last updated on 10/Aug/18
$${Can}\:{you}\:{now}\:{prove},\:{that}\:\frac{\mathrm{22}}{\mathrm{7}}>\pi? \\ $$
Commented by tanmay.chaudhury50@gmail.com last updated on 10/Aug/18
$${bah}\:{darun}\:{excellent}… \\ $$
Commented by rahul 19 last updated on 10/Aug/18
$$\mathrm{Since}\:\mathrm{integrand}\:\mathrm{is}\:\mathrm{non}−\mathrm{negative}\:\& \\ $$$$\mathrm{continous}\:\mathrm{everywhere},\:\mathrm{it}\:\mathrm{must}\:\mathrm{be}\:\mathrm{strictly} \\ $$$$\mathrm{positive}\:\mathrm{in}\:\left[\mathrm{0},\mathrm{1}\right]. \\ $$$$\mathrm{0}<\:\frac{\mathrm{22}}{\mathrm{7}}−\pi\: \\ $$$$\Rightarrow\:\frac{\mathrm{22}}{\mathrm{7}}>\pi. \\ $$
Commented by alex041103 last updated on 10/Aug/18
$${Exactly}. \\ $$$${Also}\:{you}\:{can}\:{see}\:{thatfor}\:\mathrm{0}<{x}<\mathrm{1}\:{the} \\ $$$${integrand}\:{is}\:{small}…\:{this}\:{implies}\:{that} \\ $$$$\frac{\mathrm{22}}{\mathrm{7}}\:{is}\:\:{good}\:{rational}\:{approximation} \\ $$$${for}\:\pi. \\ $$