問題.
自作問題の27番, 中間値の定理を利用する問題です.
問題.
周期 の連続な周期関数
について, 以下の条件
を満たす実数
が存在することを示せ.
\begin{align*}
(\ast)\left\{\begin{array}{ll}
0\leqq p < \frac{\omega}{2} \\
f(p) = f(p+\frac{\omega}{2})
\end{array} \right.
\end{align*}
が周期
の周期関数であるとは, 任意の
について
が成り立つことである.
中間値の定理を使います.
解答例.
\begin{align*}g(x)=f(x+\frac{\omega}{2})-f(x)
\end{align*}
とおくと,
\begin{align*}
g(x+\frac{\omega}{2})&= f(x+\omega)-f(x+\frac{\omega}{2})\nonumber\\
&= f(x)-f(x+\frac{\omega}{2})\nonumber\\
&= -g(x)\tag{1}
\end{align*}
が成り立つ.
のとき,
であれば,
が条件(
)を満たす.
であれば, (1)式より
であるから,
と
は符号(正or負)が異なる. よって, 中間値の定理により,
で
を満たす
が存在する.
追記.
この問題には, 元ネタとなる次のような問題があります.
Q. 地球の赤道上の温度の分布が連続であるとします. このとき, 赤道上の地点で, 地球のちょうど裏側と同じ温度の地点が存在することを示せ.
(この問題の出典が分かる方がいたら教えてください. )
赤道上の温度の分布を とおくと今回の問題になります.