数学ナビゲーター掲示板 [One Tree All Message]

数学ナビゲーター掲示板

ツリー一括表示
sinの不等式 /6本の電柱 (20/03/01(Sun) 17:55) #50223
`└` Re[1]: sinの不等式 /m (20/03/02(Mon) 23:46) #50224
`└` Re[2]: sinの不等式 /6本の電柱 (20/03/03(Tue) 10:05) #50225
`└` Re[3]: sinの不等式 /m (20/03/03(Tue) 13:57) #50229
`└` Re[4]: sinの不等式 /6本の電柱 (20/03/03(Tue) 22:02) #50233 解決済み!

親記事　/ ▼[ 50224 ]

■50223 / 親階層)

　sinの不等式

□投稿者/ 6本の電柱一般人(1回)-(2020/03/01(Sun) 17:55:55)

自然数nと0＜r＜1、0＜θ＜πをみたす実数r、θに対して
Σ[k=1→n] r^(2k-1) * sin((2k-1)θ) ＞0
が成り立つことの証明を教えて下さい。

[ □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 50223 ] / ▼[ 50225 ]

■50224 / 1階層)

　Re[1]: sinの不等式

□投稿者/ m 一般人(3回)-(2020/03/02(Mon) 23:46:05)

複素数やオイラーの公式は使っていいですか。

[ 親 50223 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 50224 ] / ▼[ 50229 ]

■50225 / 2階層)

　Re[2]: sinの不等式

□投稿者/ 6本の電柱一般人(2回)-(2020/03/03(Tue) 10:05:08)

大丈夫です、お願いします。

[ 親 50223 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 50225 ] / ▼[ 50233 ]

■50229 / 3階層)

　Re[3]: sinの不等式

□投稿者/ m 一般人(4回)-(2020/03/03(Tue) 13:57:54)

2020/03/03(Tue) 14:17:56 編集(投稿者)
2020/03/03(Tue) 14:16:27 編集(投稿者)

$2$0<r<1, \ 0 \lt \theta \lt \pi/2$ で示せば十分。
（∵
$2$\theta = \pi/2$ のときは $2$\sum r^{2k-1}>0$ となって成立
$2$\pi/2 \lt \theta \lt \pi$ のとき $2$\sin \theta = \sin (\pi - \theta)$ より $2$0 \lt \theta \lt \pi/2$ に帰着
）

複素平面で考える。

$2$ z = r e^{i \theta} \\ P_n = \begin{cases} \sum_{k=1}^n z^{2k-1} & (n \geq 0) \\ - z^{-1} & (n=-1) \end{cases} \\ Q_n = P(n-1) + z^{2n-1}/r^2 \\ R_n = P(n-1) + (1-r^2) z^{2n-1}$
と定める。

$2$P_n$ の虚部 $2$Im(P_n) = \sum_{k=1}^n r^{2k-1} \sin (2k-1) \theta \gt 0$ を示す。

三点 $2$P_{n-1}, P_n, Q_{n+1}$ を通る円を $2$C_n$ 、その内側を $2$D_n$ とする。

次の3つを示せばいい。

(1) $2$P_{n+1} \in D_n \ (n \geq 0)$

(2) $2$D_{n+1} \subset D_n \ (n \geq 0)$

(3) $2$D_0 \subset$ (上半平面 $2$ = \{z \in \mathbb{C} \mid Im(z) \gt 0 \}$ )

証明：
図 ttps://www.geogebra.org/classic/uvhyd27f

(1)
点 $2$P_{n+1}$ は線分 $2$P_n Q_{n+1}$ の内分点
よって $2$P_{n+1} \in D_n$

(2)
$2$ \angle P_n P_{n+1} Q_{n+2} = \pi - 2 \theta = \angle R_n P_n P_{n+1} \\ r^{2n+1} = |P_{n+1} Q_{n+2}| = |P_n P_{n+1}| = |R_n P_n|$
より円 $2$C_{n+1}$ は三点 $2$R_n, P_n, P_{n+1}$ を通る。

点 $2$R_n$ は線分 $2$P_{n-1} P_n$ の内分点
点 $2$P_{n+1}$ は線分 $2$P_n Q_{n+1}$ の内分点
だから（点 $2$P_n$ と $2$C_{n+1}, C_n$ の中心が順に同一直線上に並んで、半径は $2$C_{n+1}$ の方が短いことが言えるから）
$2$D_{n+1} \subset D_n$

(3)
$2$ P_0 = 0, \\ Q_1 + P_{-1} = (e^{i \theta} -e^{- i \theta})/r = 2 i \sin \theta /r$
より、 $2$C_0$ の中心は虚軸正にある。原点を通るから上半平面にある。

もしかしたら、もっと簡単にできるかもしれません。
" $2$\angle ABC$ "は角ABCの意味です。（"\angle"がうまく変換されない。）

[ 親 50223 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 50229 ] / 返信無し

■50233 / 4階層)

　Re[4]: sinの不等式

□投稿者/ 6本の電柱一般人(3回)-(2020/03/03(Tue) 22:02:31)

有り難うございました。
図も付けていただいて、よく理解できました。
こんなに発想力がいる問題とは思いませんでした。

解決済み!

[ 親 50223 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

- Child Tree -
Edit By 数学ナビゲーター