Question Number 198156 by Erico last updated on 12/Oct/23
$$\mathrm{Prove}\:\mathrm{that}\: \\ $$$$\frac{\mathrm{2t}−\mathrm{1}}{\mathrm{lnt}−\mathrm{ln}\left(\mathrm{1}−\mathrm{t}\right)}=\underset{\:\mathrm{0}} {\int}^{\:\mathrm{1}} \mathrm{t}^{\mathrm{x}} \left(\mathrm{1}−\mathrm{t}\right)^{\mathrm{1}−\mathrm{x}} \mathrm{dx} \\ $$$$\mathrm{and}\:\:\:\:\underset{\:\mathrm{0}} {\int}^{\:\mathrm{1}} \frac{\mathrm{2t}−\mathrm{1}}{\mathrm{lnt}−\mathrm{ln}\left(\mathrm{1}−\mathrm{t}\right)}\mathrm{dt}\:\:=\:\:\frac{\pi}{\mathrm{2}}\underset{\:\mathrm{0}} {\int}^{\:\mathrm{1}} \frac{\mathrm{x}\left(\mathrm{1}−\mathrm{x}\right)}{\mathrm{sin}\left(\pi\mathrm{x}\right)}\mathrm{dx} \\ $$
Answered by witcher3 last updated on 12/Oct/23
$$\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{e}^{\left(\mathrm{1}−\mathrm{x}\right)\mathrm{ln}\left(\mathrm{1}−\mathrm{t}\right)+\mathrm{xln}\left(\mathrm{t}\right)} \mathrm{dx} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \left(\mathrm{1}−\mathrm{t}\right)\mathrm{e}^{\mathrm{x}\left(\mathrm{ln}\left(\frac{\mathrm{t}}{\mathrm{1}−\mathrm{t}}\right)\right.} \mathrm{dx} \\ $$$$=\frac{\left(\mathrm{1}−\mathrm{t}\right)\left(\frac{\mathrm{t}}{\mathrm{1}−\mathrm{t}}−\mathrm{1}\right)}{\mathrm{ln}\left(\mathrm{t}\right)−\mathrm{ln}\left(\mathrm{1}−\mathrm{t}\right)}=\frac{\mathrm{2t}−\mathrm{1}}{\mathrm{ln}\left(\mathrm{t}\right)−\mathrm{ln}\left(\mathrm{1}−\mathrm{t}\right)} \\ $$$$\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{2t}−\mathrm{1}}{\mathrm{ln}\left(\mathrm{t}\right)−\mathrm{ln}\left(\mathrm{1}−\mathrm{t}\right)}\mathrm{dt}=\int_{\mathrm{0}} ^{\mathrm{1}} \int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{t}^{\mathrm{x}} \left(\mathrm{1}−\mathrm{t}\right)^{\mathrm{1}−\mathrm{x}} \mathrm{dxdt} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{t}^{\mathrm{x}} \left(\mathrm{1}−\mathrm{t}\right)^{\mathrm{1}−\mathrm{x}} \mathrm{dxdt}=\int_{\mathrm{0}} ^{\mathrm{1}} \int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{t}^{\mathrm{x}} \left(\mathrm{1}−\mathrm{t}\right)^{\mathrm{1}−\mathrm{x}} \mathrm{dtdx} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \beta\left(\mathrm{x}+\mathrm{1},\mathrm{2}−\mathrm{x}\right)\mathrm{dx} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{x}\left(\mathrm{1}−\mathrm{x}\right)}{\Gamma\left(\mathrm{3}\right)}.\Gamma\left(\mathrm{x}\right)\Gamma\left(\mathrm{1}−\mathrm{x}\right)\mathrm{dx}=\frac{\mathrm{1}}{\mathrm{2}}\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{x}\left(\mathrm{1}−\mathrm{x}\right)\pi}{\mathrm{sin}\left(\pi\mathrm{x}\right)} \\ $$$$=\frac{\pi}{\mathrm{2}}\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{x}\left(\mathrm{1}−\mathrm{x}\right)}{\mathrm{sin}\left(\pi\mathrm{x}\right)}\mathrm{dx}=\frac{\pi}{\mathrm{2}}.\mathrm{7}\frac{\zeta\left(\mathrm{3}\right)}{\pi^{\mathrm{3}} }=\frac{\mathrm{7}\zeta\left(\mathrm{3}\right)}{\mathrm{2}\pi^{\mathrm{2}} } \\ $$$$ \\ $$