今回は昔(高校生の頃)に調べていた4次関数のグラフの対称性について記事にまとめました。
具体的に言うと「4次関数のグラフが線対称となる条件を微分を使って求めよう」というテーマです。
なお、今回は対称性という言葉は「y軸に平行な直線に関する線対称」もしくは「点対称」の意味で使うことします。
また簡単のため、原則として登場する関数の定義域は実数全体で考えます。
数学Ⅲの微分を知っていれば十分に理解できるゆるふわ(?)な高校数学の記事になっていますので気軽にどうぞ。
3次関数まで
4次関数のグラフの話の前に3次以下の場合を簡単に見ていきましょう。
まず、1次関数ですが、グラフは直線となるので、グラフ上の各点において点対称になっています。
次に、2次関数のグラフは下の図のように放物線になりますが、これは「放物線の軸」に関して線対称なグラフになっています。
さて、3次関数というと「言われてみれば」というレベルになってくるかもしれませんが、下の図のように常に点対称なグラフを描きます。
後でついでに証明しますが、3次関数の点対称の中心は凹凸の変わり目である「変曲点」と一致していますね。
一般の4次関数について
1次関数…点対称*1
2次関数…線対称
3次関数…点対称
と来ていますので、「もしかしたら4次関数は線対称?」と思うかもしれませんが、残念ながらこれ以上次数を上げていっても一般には対称性があるとは言えません。
上の図のように4次関数は線対称になる場合もあれば、そうでない場合もあります。
そこで「線対称になる条件を関数の係数に対して定めることができるのでは?」という疑問が湧いてきます。
微分と対称性
まずは対称性を関数の等式で表現します。
補題1(線対称・点対称)
実数全体で定義された関数 と実数 , を与える。
(1) のグラフが直線 に関して線対称になる条件は任意の実数 について以下の等式が成り立つことである。
.
(2) のグラフが点 に関して点対称になる条件は任意の実数 について以下の等式が成り立つことである。
.
証明は点 と に関して線対称な点、点 に関して点対称な点をそれぞれ考えるだけなので省略します。
さて、このことを用いて以下の定理を証明します。
定理2(微分と対称性)
実数全体で定義された微分可能な関数 と実数 を与える。
(1) のグラフが直線 に関して線対称になるための必要十分条件は、導関数 のグラフが点 に関して点対称になることである。
(2) のグラフが点 に関して点対称になるための必要十分条件は、 を満たし、導関数 のグラフが直線 に関して点対称になることである。
(証明)
(1)
(⇒)
のグラフが直線 に関して線対称になるとき、補題1より
が成り立ちます。
すなわち
となるため、再び補題1より、 のグラフは点 に関して点対称となります。
(⇐)
逆に、 のグラフが点 に関して点対称であれば、補題1より、
( *2は定数)
と書けます。
(厳密には右辺の積分は とおいて置換積分を実行することで得られます。)
上式に を代入すると
となるので、ここから
となり、 のグラフは直線 に関して線対称になります。
(2)は、ほとんど(1)と同様です。
(⇒)
のグラフが点 に関して点対称になるとき、補題1より
となります。
まず、両辺に を代入すると
から即座に
を得られます。
また、(1)と同様に合成関数の微分により、
が得られます。
(⇐)
を満たし、導関数 のグラフが直線 に関して点対称になるとき、補題1より
( は定数)
と書けます。
両辺に を代入すると より
となるため
が得られます。
したがって
となるため、補題1により結論を得ます。
(証明終わり)
3次関数の対称性
定理2を用いて、3次関数のグラフが変曲点に関して対称であることを示しましょう。
補題3(3次関数の対称性)
を3次関数とする。
のグラフは変曲点に関して点対称である。*3
(証明)
の第2次導関数 は1次関数なので、 となる はただ一つ存在し、その前後で の符号が変化します。
特に のグラフは点 について点対称なので定理2(1)により、 のグラフは直線 に関して線対称となります。
さらに とすると、定理2(2)により、 のグラフは点
に関して点対称となります。
点 は のグラフの変曲点ですので、証明が完了します。
(証明終わり)
微分と対称性を使うと面倒な計算をせずとも簡単に証明ができますね。
ちなみに とおくと、 となります。
さて、次は本題の4次関数に入っていくわけですが1次関数と違い、3次関数は点対称の中心が 軸上の点とは限らないため、これから次数を上げて対称性を付加していくためには条件が必要になってくるということもこれで見えてきました。
このことも踏まえて4次関数の話に入っていきましょう。
4次関数の対称性
いきなり定理です。
定理4(4次関数の対称性)
4次関数 ( ) のグラフが線対称となる条件は等式 が成り立つことである。
また、このとき のグラフは直線 に関して線対称である。
(証明)
定理2(1)より が直線 に関して線対称となるための必要十分条件は、3次関数 のグラフが に関して点対称となることでした。
ですので、補題3より のグラフが に関して点対称となるための条件は、
すなわち
が成り立つことと
が成り立つことです。
まとめると
となることなので求める条件として
を得ます。
この等式を整理すると
となります。
(証明終わり)
書ききれなかった色々、と「まとめ」
①
線対称な4次関数のその高次導関数たちのグラフをまとめて図示してみました。
綺麗に対称の軸や中心がそろっていることが見えますね。
②
5次関数はどうなるのか?6次関数は?
とさらに高次に話を展開することは可能です。
定理2を用いると
5次関数…4次関数の線対称条件から条件1つ。
6次関数…導関数(5次関数)の対称の中心が 軸上にないといけないので条件が2つに。
7次関数…条件2つ。
8次関数…条件が増えて3つに。
(以下略)
となりそうですね。
③
線対称な4次関数は と書けます。
(任意の4次関数を の和で書けることを恒等式の考え方から示したうえで補題1を適用すると証明ができます。)
したがってたとえば以下の4次方程式を対称性を利用して解くことが出来ます。
(4次方程式の解の公式のことを知っていたら話は別ですね。どちらかというと解くというよりも定理4を使うことで「2次関数チックに解けるかどうかを判別する」に近いかもしれません。)
(1)定理4の等式で対称性を確認。
(2)自信をもって と変形。
(3)頑張って解く(以下略)
という感じですかね。
さて、今回はがっつり高校数学を使って4次関数の対称性を題材に微分と対称性の話を深めました。微分を使うことで計算を節約して証明が出来た部分もありましたね。
それでは最後までお読みいただきありがとうございました。
次回もぜひよろしくお願いします。