この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "変曲点"
実解析における変曲点(へんきょくてん、英: inflection point、point of inflection、flex、inflection、inflexion)は、連続な平面曲線上の点で、その点において曲線が凹(上に凸)から凸(下に凸)へまたはその逆へ変化するものをいう。 変曲点は、その曲線の曲率が符号を変える点である[1][2]。 微分可能関数 f が (x, f (x) ) に変曲点をもつための必要十分条件は、1階導関数 f ′ が x において孤立した極値をもつことである(これは f が極値をとるといっているのではないことに注意する)。「孤立した」というのは、x の適当な近傍において、唯一 x だけで f ′ が極大値または極小値をとるようにできることを意味する。f のすべての極値が孤立しているならば、f のグラフ上の点で接線がその点でグラフと交叉している点が変曲点である。 下降変曲点[4]は導関数が極小値をとる変曲点をいい、上昇変曲点[5]は導関数が極大値をとる変曲点をいう。 変曲点は f ′(x) がその点で零かどうかで分類できる: 停留変曲点は極値をとらない。より一般に、実多変数関数の文脈において、極値点でない停留点は鞍点と呼ばれる。停留変曲点の例は、y = x3 のグラフにおける点 (0, 0) である。この点での接線は x 軸であり、グラフはこの点で接線の両側の二つに分けられる。 非停留変曲点の例は、y = x3 + ax(a ≠ 0 は任意)のグラフにおける点 (0, 0) である。このグラフの原点における接線は直線 y = ax であり、この点でグラフは接線の両側に分けられる。 考える曲線が2回連続微分可能な関数 y = f (x) である場合には、f の2階導関数が零となる点であって、かつその点の前後で2階導関数の符号が変化するような点ということができる。2階導関数が零となってもその前後で符号が変化しないような点は起伏点[8]と呼ぶこともある。 変曲点は、代数幾何学においてはもう少し一般的に、接線と3次以上の接触をもつような正則点として定義される。4次以上の接触をもつときは、起伏点または超変曲点[9]と呼ぶ。 ただし、これは(任意階数の微分係数が存在する場合でさえ)変曲点をもつための十分条件とはならない。変曲点をもつためには、さらに(2階より上の)零でない微分係数で最も階数の低いものが奇数階でなければならない。最も低い非零微分係数の階数が偶数階のときには、その点は変曲点ではなくて、起伏点[10]になる。ただし、代数幾何学においては、ここでいう変曲点と起伏点の両者を合わせて「変曲点」と呼ぶのが通例である。起伏点の例として、f (x) = x4 で与えられた関数 f に対する x = 0 が挙げられる。 上の注意において、f が x において十分多くの非零高階微分係数をもつと仮定したことは、この場合の必要条件ではない。いまの場合において、非零微分係数の最も低い階数が奇数であることは、x の近傍において x の前後で f ′ (x) の符号が変わらないことを意味するから、この符号が正ならば上昇変曲点、負ならば下降変曲点となる。 変曲点をもたずに凸性が変化する関数もある。実際、不連続点や垂直漸近線の前後で凸性は変化しうる。例えば、逆数関数 x ? .mw-parser-output .frac{white-space:nowrap}.mw-parser-output .frac .num,.mw-parser-output .frac .den{font-size:80%;line-height:0;vertical-align:super}.mw-parser-output .frac .den{vertical-align:sub}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1⁄x は負の x に対して凹かつ正の x に対して凸となるが、0 は定義域に含まないから変曲点をもたない。
定義
2回微分可能な関数の場合、変曲点はその関数のグラフ上の点で、2階導関数がその点に孤立した零点をもち、かつその点の前後で2階導関数が符号を変えるような点である。
代数曲線に対しては、非特異点が変曲点となる必要十分条件は、接線と曲線との(接点における)交わりの重複度が 2 より大きい奇数となることである[3]。
曲線が媒介変数表示で与えられているときも、変曲点は、曲率がその点の前後で符号を変える点である。
変曲点の分類
f ′(x) が零ならば、その点は停留変曲点[6]という。
f ′(x) が零でないならば、その点は非停留変曲点[7]という。
必要条件と十分条件y = x4 ? x は (0, 0) における2階微分係数が零となるが、3階微分係数も同じく零であり、4階微分係数が最初の非零高階微分係数となるから、変曲点でない。
変曲点が存在するための必要条件
f の2階微分係数が点 x0 において存在し、x0 が変曲点であるならば、f ″ (x0) = 0 が成り立つ。
変曲点が存在するための十分条件
f (x) が適当な点 x の近傍で k-回連続的微分可能(ただし、k ? 3 は奇数であるとき、f (n)(x0) = 0 (∀n = 2, ..., k ? 1) かつ f (k)(x0) ≠ 0 ならば、f (x) は x0 に変曲点をもつ。
x の適当な近傍において f ″ (x + ε) と f ″ (x ? ε) との符号が逆になるならば、f は変曲点をもつ[11]。
不連続関数の場合
関連項目
臨界点 (数学)
生態的閾値
ヘッセ配置
葱花線繰形(英語版): 変曲点をもつ造形
頂点: 曲率が極値をとる点
脚注^ Problems in mathematical analysis. Baranenkov, G. S.. Moscow: Mir Publishers. (1976) [1964]. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 5030009434. OCLC 21598952. https://www.worldcat.org/oclc/21598952
^ Bronshtein; Semendyayev (2004). Handbook of Mathematics (4th ed.). Berlin: Springer. p. 231. ISBN 3-540-43491-7
^ Hazewinkel, Michiel, ed. (2001), “Point of inflection”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Point_of_inflection