サインの積の制限
質問は: $$\lim_{n\rightarrow \infty}\prod_{r=1}^{2n-2}\{\sin\Bigl(\frac{r\pi}{2n}\Bigr)\}^{\frac{1}{n}}$$
私の試み:
しましょう $$A=\prod_{r=1}^{2n-2}\{\sin\Bigl(\frac{r\pi}{2n}\Bigr)\}^{\frac{1}{n}}$$
$$\Rightarrow \log(A)=\frac{1}{n}\sum_{r=1}^{2n-2}\log(\sin\Bigl(\frac{r\pi}{2n}\Bigr))$$
私はこれを積分に変換することを考えていました
$$\lim_{n\rightarrow \infty}\log(A)=\lim_{n\rightarrow \infty}\sum_{r=1}^{2n-2}\log(\sin\Bigl(\frac{r\pi}{2n}\Bigr))\frac{1}{n}$$
制限の制限合計定義を使用します。
$$\int_{a}^{b}f(x)dx=\lim_{n\rightarrow \infty}\sum_{r=1}^{n}f\Bigl(a+\frac{r(b-a)}{n}\Bigr)\frac{b-a}{n}$$
$$\frac{2}{\pi-0}\lim_{n\rightarrow \infty}\sum_{r=1}^{2n-2}\log(\sin\Bigl(0+\frac{r(\pi-0)}{2n}\Bigr))\frac{\pi-0}{2n}=^{?}\int_{0}^{\pi}\log(\sin x)dx$$
総和の境界が同じではないため、この積分を変換する方法がわかりません。
回答
$$L=\lim_{n \to \infty} \prod_{r=1}^{2n-2}\left( \sin \frac{\pi r}{2n}\right)^{1/n}.$$ $$\implies \ln L=\lim_{n \to \infty} \frac{1}{n} \sum_{r=1}^{2n-2} \ln \sin\frac{\pi r}{2n}.$$ $let r/n=x$、その後 $L$ 積分に行きます $$\ln L=\int_{0}^{2} \ln \sin (\pi x/2)~dx= \frac{2}{\pi} \int_{0}^{\pi} \ln \sin z dz~~~(*)$$ 次のプロパティを使用します $$\int_{0}^{a} f(x) dx= \int_{0}^{a/2}[ f(x)+f(a-x)] dx ~~~(1)$$ $$\ln L=\frac{4}{\pi} \int_{0}^{\pi/2} \ln \sin z dz~~~~(2)$$ 次に、次のプロパティを使用します $$\int_{0}^{a} f(x) dx= \int_{0}^{a} f(a-x) dx$$ 取得するため $$\ln L=\frac{4}{\pi} \int_{0}^{\pi/2} \ln \cos z dz ~~~(3)$$ (2)と(3)を追加して、 $$2 \ln L=\frac{4}{\pi} \int_{0}^{\pi/2} \ln \left(\frac{1}{2} \sin 2z\right) ~dz=\frac{2}{\pi} \int_{0}^{\pi} \sin u~ du-\frac{4}{\pi} \frac{\pi}{2}\ln 2 $$ここで(*)を使用します。私達は書く$$\ln L=-2\ln 2 \implies L=\frac{1}{4}$$