Claim 1: 令 $\omega \in (0, \pi/2)$,則 存在 正整數 $k $ 使得 \[ \cos(\omega k ) <0 \]========== Proof: 首先回憶 floor 函數:對任意 $x \in \mathbb{R}$, $\lfloor x \rfloor$具備以下性質 \[ x-1 < \lfloor x \rfloor \leq x \]現在給定 $0 < \omega < \pi/2$,並取 \[ k := 1 + \bigg \lfloor \frac{\pi}{2\omega} \bigg\rfloor \]則利用前述的 floor 函數性質,我們有 \[ \frac{\pi}{2\omega} < k \leq 1 + \frac{\pi}{2\omega} \]兩邊同乘 $\omega$ 則 \[ \frac{\pi}{2} < \omega k \leq \omega + \frac{\pi}{2} \]因為 $\omega \in (0, \pi/2)$,我們可以進一步取上述不等式右方的上界,亦即 $ \omega + \frac{\pi}{2} < \pi$。故 \[ \omega k \in \bigg(\frac{\pi}{2}, \pi \bigg) \subset \bigg( \frac{\pi}{2}, \frac{3\pi}{2}\bigg) \]注意到對任意 $\theta \in \bigg( \frac{\pi}{2}, \frac{3\pi}{2}\bigg)$, $\cos \theta < 0$ ,故 $\cos(\omega k) < 0$。至此得證。 $\square$ Comment: 我們可將 claim 1 結果進一步推廣到包含有相位的情況: ========== Claim 2: 令 $\omega \in (0, \pi/2)$ 且 $\theta \in (-\pi/2, \pi/2)$,則 存在 整數 $k >2$ 使得 \[ \cos(\omega(k- 1) + \theta) <0 \]==========
If you can’t solve a problem, then there is an easier problem you can solve: find it. -George Polya