Board logo

標題: 三角連乘公式證明 [打印本頁]
作者: Exponential    時間: 2018-10-6 15:59     標題: 三角連乘公式證明

1.sink(pi)/(2n+1)pi的連乘積？ 2.cos的連乘積

圖片附件: [副件] Screenshot_2018-10-06-15-50-59-79.png (2018-10-6 15:59, 142.02 KB) / 該附件被下載次數 5172
https://math.pro/db/attachment.php?aid=4713&k=1f4fadf572321b816730dc1739ea61e4&t=1732295432

作者: Exponential    時間: 2018-10-8 13:33     標題: 提供

有人可以提供證明嗎？
作者: BambooLotus    時間: 2018-10-8 22:09     標題: 回復 2# Exponential 的帖子

回其中一個，應該都差不多
\( \displaystyle \prod\limits_{k = 1}^{n-1} {\sin (\frac{{k\pi }}{n})} \)
令\(\displaystyle \omega  = \cos \frac{{2\pi }}{{n}} + i\sin \frac{{2\pi }}{{n}}\)，\( {x^{n}} - 1 = (x - 1)(1 + x + {x^2} + ...+{x^{n - 1}}) = (x - 1)(x - \omega )(x - {\omega ^2})...(x - {\omega ^{n-1}}) \)
\(1 + x + {x^2} + ...+{x^{n - 1}}=(x - \omega )(x - {\omega ^2})...(x - {\omega ^{n-1}})\)
代入\(x=1\)，\(n = (1 - \omega )(1 - {\omega ^2})...(1 - {\omega ^{n - 1}})\)
\( \displaystyle 1 - {\omega ^k} = 1 - (\cos \frac{{2k\pi }}{{n}} + i\sin \frac{{2k\pi }}{{n}} )= 2\sin \frac{{k\pi }}{{n}}(\sin \frac{{k\pi }}{{n}} + i\cos \frac{{k\pi }}{{n}}) \)，\( \displaystyle \left| {1 - {\omega ^k}} \right| = 2\sin \frac{{k\pi }}{{n}}\)
\(\displaystyle n = \left| {1 - \omega } \right|\left| {1 - {\omega ^2}} \right|...\left| {1 - {\omega ^{n - 1}}} \right| = {2^{n - 1}}\prod\limits_{k = 1}^{n-1} {\sin (\frac{{k\pi }}{n})} \)，\( \displaystyle \prod\limits_{k = 1}^{n - 1} {\sin (\frac{{k\pi }}{n})}  = \frac{n}{{{2^{n - 1}}}}\)

話說這個有什麼比較好的背法嗎，學生看到我寫這個腦袋只會一片空白，我自己也沒有背過這個
順代一提，\(cos\)應該是代\(x=-1\)

113.4.24補充
證明：對於所有大於1的自然數\(n\)而言，\(\displaystyle sin\frac{\pi}{n}\cdot sin\frac{2\pi}{n}\cdot sin\frac{3\pi}{n}\cdot \ldots \cdot sin\frac{(n-1)\pi}{n}=\frac{n}{2^{n-1}}\)恆成立。
(113彰化女中，https://math.pro/db/thread-3845-1-1.html)
作者: satsuki931000    時間: 2018-12-8 09:13     標題: 回復 3# BambooLotus 的帖子

個人淺見
稱不上什麼比較好的想法

整段推導最麻煩的地方應該是在第三行最後面
1-w^k絕對值的結果
我自己推導的過程都直接把這段當成一個小小結論應用
(推過幾次覺得頗麻煩 乾脆直接記)
這個結論記得 其實整段證明就不難了
整個脈絡也很合理

當然要快的話還是只能把最終結論背下來ORZ
作者: tsusy    時間: 2018-12-9 07:42     標題: 回復 4# satsuki931000 的帖子

可以把複數拉到複數平面上，兩複數相減的絕對值為兩點之間的距離

再利圓周角，計算弦長



歡迎光臨 Math Pro 數學補給站 (https://math.pro/db/) 論壇程式使用 Discuz! 6.1.0