ここに放物線のグラフがあります。

このグラフにという真横の直線を引きます。

2つの点で交わりました。この直線の高さを変えるとどうなるでしょう?

軸よりも上に引いた場合は2点で交わり、ちょうど
軸のときは1点だけで交わり,それよりも下側に直線を引くと交わりません。
それではここでクエスチョンです。
どんな高さの真横の直線を引いても、ちょうど2点で交わるような関数とは一体何でしょうか?
問題を正確に書きます。
難しい?簡単?よかったら少し考えてみてください。
ただし、注意してほしいことは定義域は実数全体ということです。勝手に定義域を狭めてはいけません。
さて、前回「自然数が選ぶ自然数総選挙」というのを書きました。
corollary2525.hatenablog.com
有権者を自然数の皆さん、立候補者も自然数の皆さんとしたときの総選挙の起こりうる結果について書きました。また、この記事内でを「自然数
さんの投票先」と定義しました。
そして、今回の問題は「実数が選ぶ実数総選挙」と考えることもできます。軸に投票者である実数たち、
軸に立候補者の実数たちが並んでいると考えましょう。このとき、「任意の実数
に対して,
の解がちょうど2個であること」は「全員が2票獲得すること」と同じになります。
さあ、問題1は解けましたか?自信がある方はスーパーなんとか人形をご用意して次節にお進みください。
問題1の解説
それでは正解です。ズバリこんな感じのグラフです。
数式で書くならでしょうか(
は
を超えない最大の整数)。これならどんな真横の直線を引いても必ず2点で交わりますね。
ちなみに、不正解の例はこちら。
としてみました。確かにどんな真横の直線を引いても必ず2点で交わります。しかし、この関数は
で定義されていないですね。実数総選挙で例えるなら、0さんが誰にも投票していません!だからといって、この状態で0さんが慌てて誰かに投票しても(すなわち
をどう定義しても)、誰かが3票獲得してしまいます。
このままでは不正解なのですが、少し工夫して正解のグラフを作ることもできます。それがこちら:
数式をちゃんと書けば、
\begin{equation*}
f(x)=\begin{cases}
0 & \text{if}\;x=0\\
\log(x+1) & \text{if}\;x\in\mathbb{N}\\
\log |x| & \text{otherwise}
\end{cases}\end{equation*}です。何をしてるかというと、と定義した代わりに、1の行き先を
から
に変更しました。そして、
に行く予定だった2は
に行き先を変更しています。これを自然数の皆さん全員にずれてもらいました。自然数のみんな、ありがとう。
連続関数で作れないの?
さてさて、皆さんお気づきだと思いますが、先ほどの関数はどれも不連続です。できることなら連続関数で作りたいところです。
それではここでクエスチョンです。
ちなみに、この問題は僕が大学1年生のときのレポート課題として出たような、出てないような。数式は置いといて、条件を満たすようにグラフを書けるかどうかだけでも考えてみてください。
問題2の解説
正解は…そんな連続関数は存在しません!(ボッシュート)
証明をする前に、次の連続関数の基本的な定理を使います。
どんな連続関数も、閉区間上であれば最大値と最小値が必ずあるという定理です(最大・最小をとる点が複数ある場合もあります)。
(正確には,

どちらも閉区間上の連続関数という仮定が重要です。
余談ですが、これらを証明するには「Bolzano-Weierstrassの定理*1」が必要で、その定理は「連続性の公理」によって支えられています。
では、早速証明してみましょう。ザ・世界の仰天!
証明
背理法で証明する.は任意の実数
に対して,
の解がちょうど2個あるような連続関数とする.このとき,
,
となる
が存在する.ここで
の定義域を
に制限して考えると,最大値・最小値の定理より最大値
・最小値
が存在する(
は
を満たす点とする).
とする(以下
のときも同様に示せる).もし,
とすると中間値の定理より
となる
が存在してしまうので
でなければならない.
ここで,を
に制限して考えると,中間値の定理より
は
と
の間の値をとる.同様に,
に制限して考えると,
と
の間の値をとる.したがって,任意の
に対して,
を満たす
は
内に1点,
内に1点存在することが分かる.
さて,となる点以外にも
となる点
が存在するはずである.このとき
または
のいずれかである(もし,
だとすると,
内で最小値
を取るが,中間値の定理より
は
内で
を2回以上とってしまう.
でも同じ)
とすると,中間値の定理より
を満たす
が存在する.これは
内にすでに解が2つあるのであり得ない.
のときも同様に矛盾が得られる.■
ふう…じわじわとを追い詰めていく感じがたまらない。毎度思いますが、非存在の証明をできる数学の力って凄いですね。
最後にもう一つ
問題1および問題2では、の解がちょうど「2個」あるような関数を考えました。不連続でよければいくらで例を挙げることはできますが、連続関数では不可能であることが分かりましたね。
それでは最後のクエスチョンです。
不連続でよいのであれば、問題1で挙げた例を少し応用すればできます。では、連続関数でも作れるのでしょうか?結論をいうと作れます!意外とあっさり作れるのでこの問題は読者に任せたいと思います!(解答例は2、3日後「続きを読む」で公開しました)ただ、具体的に関数を表すことは少し難しいので、図だけでOKです。また、質問等があれば、記事の最後の「コメントを書く」およびhttps://twitter.com/corollary2525にお願いします。余力のある人は3個に留まらず、4個以上の場合はどうかについても考えてくれると嬉しいです。
thank Q for rEaDing.φ(・▽・ )
そういえば、「世界まる見え」ってまだやってるのかな?
問題3の解答
こんな感じの図であればOKです:
数式で表示したければ、例えば、を考えて
くらいに調整すれば所望の関数が得られます。
定数の求め方については浅葱さんが書いてくれました!
http://itonayuta60.hateblo.jp/entry/2017/07/08/184043itonayuta60.hateblo.jp
私が書きたかったことが全て載っているので、こちらを解説の代わりにさせて頂こうと思います。解説にもある通り、の満たすべき式を計算すると解析的に解けない方程式が出てきてしまうんですよね…。
そこで別解考えました。
とおいたときに
\begin{equation*}
f(x)=f_0(\operatorname{mod}(x,2))+\frac{x}{2}
\end{equation*}と定義すれば、こんな関数ができます:
簡単に解説すると、は三角波1個分を表します。
これに周期2で繰り返しを表す「」を合成して三角波をこしらえました。
(代わりにを利用しても構いません)
この三角波を傾かせれば完成です!
また、きおくやさん(とその友人)がもっと一般に奇数個の場合の関数の具体表示を教えてくれました!
こちらこそ楽しい話題を教えて頂きありがとうございました🙆
— きおくや (@haikyokiokuya) 2017年7月10日
関数の具体的表示としては、2n+1個の共有点があるとき、a_nを「方程式x=tan(x)のn番目に小さい正の数の解」として、グラフの式をy=a_n*sin(x)+xとしていました
画像は共有点が5つの場合です→ pic.twitter.com/3GQnijcqJB
このブログ記事を友人との話題にしてくれたようです。嬉しいなあ。
ちなみに、偶数個の解をもつような連続関数は存在しません。これは2個の場合の証明と同じようにできます。
*1:名前がくっそカッコイイ