【公式１】
分数式の分母が０になる場合を除き、
角度Ｂと角度Ｃに関して、以下の式１：
が成り立つ事を証明せよ。
【公式２】
分数式の分母が０になる場合を除き、
角度Ｂと角度Ｃに関して、以下の式２：
が成り立つ事を証明せよ。
【公式３】
分数式の分母が０になる場合を除き、
角度Ｂと角度Ｃに関して、以下の式３：
が成り立つ事を証明せよ。
【公式４】
分数式の分母が０になる場合を除き、
角度Ｂと角度Ｃに関して、以下の式４：
が成り立つ事を証明せよ。
【公式５】
分数式の分母が０になる場合を除き、
角度Ｂと角度Ｃに関して、以下の式５：
が成り立つ事を証明せよ。
【公式６】
分数式の分母が０になる場合を除き、
公式４の右辺を、以下の式６に変形しなさい。
これらの問題の解答は、ここをクリックした先にあります。
リンク：
高校数学の目次
【中線の長さの公式（中線定理）】
上図のように、三角形ＡＢＣの辺ＢＣの中点Ｍと頂点Ａを結んだ中線ＡＭの長さｍに関して、上の式１又は式２が成り立ちます。
この中線定理は、以下の様に、ベクトルｂとｃの計算だけから、容易に導き出せます。
（中線定理）
中線定理は、上図の平行四辺形の対角線の２乗の和の定理だと考えると覚え易いと思います。
リンク：
中学数学の目次
三角形の部分の長さの定理の式を覚えようとしても覚えられません（何度覚えても式を忘れます）。
一方、そういう定理の全ては、以下の３つの図の相似な三角形の組み合わせのイメージを覚えるだけで、それらのイメージから得られる情報を使って、全てを求めることができます。
そのため、それらの定理の式を実践の場で使える応用力をつけるために、以下の３つの図のイメージを覚え、その図のイメージの相似な図形の辺の比例の式（定理の式と同等）を図から導き出してください。それらの相似な図形の辺の比例の式は、定理の式が変形された定理の式と同等な式なので、それらの式を使えば、定理の式を使うのと同じく問題を解くことができます。
【定理の速やかな導出】
定理が覚えられないという真実を知りました。その対策として、覚えられない定理を速やかに導き出す方法を知ることで、定理を覚えたのと同じ効果を得ましょう。
以下で、その導出方法を記載します。
上の図の式を以下の式に変形します。
ここで、以下の関係が成り立ちます。
この関係を式１に代入する。
（定理の導出おわり）
この式２によって、角の二等分線の長さｍを、三角形の辺ａ，ｂ，ｃで求める定理が得られました。
（この式２は覚える事はとても困難な式ですが、以上の手順でいつでも導き出すことができます。それは、定理の式を覚えているのと同じ事だと思います。）
リンク：
高校数学の目次
中学生の時は、無数に解がある連立方程式は、
「解が無数にある」と言えば答えになっていました。
しかし、高校生になると、そのような答えでは不十分な答えになります。
例えば、以下の様な問題を解いてみます。
【問題１】
以下の連立方程式を解け。
【解答】
以上の計算により、式１と式２と式３の連立方程式に等価な連立方程式である、式４と式５と式６との連立方程式が得られました。
（式４と式５と式６を使って式１と式２と式３を再現することが可能です→補足１。）
ここで、式６は、式１の全ての変数をｙに置き換えて、変数ｙだけの式にして、変数ｙの値を求めようとした式です。
この式６でｙの値が定まらないので、ｙの値は不定です。よって、ｙの値は、任意の値を取ることができます。
ゆえに、問題の解は、
任意の定数ｔに関して：
になります。
（解答おわり）
（補足１）
式４から式６を使って、以下のようにして式１から３を導き出すことができます。
先ず、式１～3を使って式4～式６を導き出す計算を再現します。
(1)×2－(2):
3x－6y=0， (4')
(1)－(3)×2:
ー3y+z=0， (5')
(1)ー(4')×(2/3)+(5'):
4y－yー3y=0，
0y=0， (6')
次に、この計算を逆にたどって、式４’～６’を使って式１～３を導き出す式を求めます。
(1)=(6')+(4')×(2/3)－(5')， (1)
(2)=－(4')+(1)×2
=－(4')+((6')+(4')×(2/3)－(5'))×2
=(4')×(1/3)+(6')×2－(5')×2， (2)
(3)=( (5')－(1))×(－1/2)
＝(5')×(－1/2)＋(1)×(1/2)
＝(5')×(－1/2)＋((6')+(4')×(2/3)－(5'))×(1/2)
＝－(5')+(6')×(1/2)+(4')×(1/3)， (3)
この様に、式１～式３が、式４～式６を使って再現できる。
そのため、式４～式６の連立方程式は、式１～式３の連立方程式に等価です。
（補足２）
式１～式３に対して、それらの式の和で作った式４～式６が等価な連立方程式と言えるのは、上の式の様に、式４～式６の式の和で式１～式３が作れるからです。その式を作る前に、式１～式３に対して、それらの式の和で作った式４～式６が等価な連立方程式と言えるか否かを判定できる条件は、大学に進学して線形代数学を学ぶことで学ぶことができます。
詳しい内容は、その線形代数学で学んで欲しいと思いますが、式４～式６が、式１～式３の持つ式の特徴を余さず受け継いでいるように作られているか否かによって、式４～式６が式１～式３に等価な連立方程式と言えるか否かが定まります。
（式６が上の説明の様に作られずに、単に(1)-(1)で式６を作って0=0が得られるのが当たり前の計算する場合は、そうして作る式には、式１～式３の持つ特徴が受け継がれません）
上の式の変形の様に、１つの変数で他の変数１つ１つを表わす式を作って、最後に、その式を元の式の１つ（どの式でも良い）に代入して１つの変数だけで表わした式６を作れば、それらの式４～式６の連立方程式は、その式６が0=0という式になったとしても、元の式１～式３の連立方程式に等価な連立方程式になります。
（補足３）定数と未知数の定義。
未知数→方程式の中で気にする数。
定数→方程式の中で気にしない数。
という違いがありますが、定数と未知数の区別はあいまいです。
問題の３つの式から成る連立方程式は、３つの変数ｘ，ｙ，ｚに関して、無数の解がある連立方程式です。
このように解が無数にある連立方程式というものは、その変数のうちの１つの変数ｙを定数ｔであると考えて、残った未知数ｘとｙを定数ｔを使った式で表す解：
を解とする連立方程式であると解釈する事ができます。
よって、この式が解になります。
リンク：
中学数学の目次
高校数学の目次
【問題作り】
以下の三角形について以下の式が成り立ちます。
これを利用して、三角形ABCの面積を計算すると、
以下の公式３が成り立っていることがわかります。
この式３を証明せよ、と言われた場合に、
上の考察の手順を書いて解答することもできると考えますが、
三角関数の和と積の公式を使ってこの式３を導き出す事もできるように、自力で式３を導き出す練習をしておいて欲しいと考えます。
リンク：
高校数学の目次
（微分積分学の基本定理の正しい定義の開始）
関数ｙ＝ｆ（ｘ）が、
ａ≦ｘ≦ｂ
上で連続とする。
その条件が成り立つならば、必ず、
という計算をすることができる。
そして、次のことが成り立つ。
（１）不定積分Ｓ（ｘ）はｆ（ｘ）の原始関数の１つである。
（原始関数は連結区間で１つながりに連続な関数であって全ての点で微分可能な関数）
（２）Ｆ（ｘ）をｆ（ｘ）の任意の原始関数とすると、
が成立する。
（定理の定義おわり）
すなわち、基本定理の意味は、その定理の命題が、Ｓ（ｘ）の式の積分計算を可能にする十分条件（関数が連続である）を述べたものであることがわかります。
この基本定理の命題が正しいか否かは、連続関数（その領域内で関数が連続）が、「関数の積分を可能にする十分条件」になるか否かによって決まる、そして、関数はその関数が連続な領域で積分可能なので、微分積分学の基本定理が成り立つ、ということがわかります。
（まぼろしの基本定理の予感）
微分積分学の基本定理をこの形で表現すると、微分積分学の基本定理の抱える問題点が良く分かると思います。
連続関数（その領域内で関数が連続）については、積分して微分すると元の関数が得られるという便利な特徴がありますが、他の関数にも、そういう特徴を持つ関数が無いか、調べてみましょう。
下図の関数Ｆ（ｘ）とＦ’（ｘ）＝ｆ（ｘ）を考えてみます。
関数Ｆ（ｘ）はｘ＝０で連続な関数です。
この関数Ｆ（ｘ）を微分すると、下図の関数ｆ（ｘ）が得られます。
この関数ｆ（ｘ）はｘ＝０では連続ではありません。
しかし、この関数ｆ（ｘ）を積分すると、Ｆ（ｘ）を得ることができます。
この関数ｆ（ｘ）はｘ＝０で連続で無いので、ｘ＝０を含むｘの範囲で微分積分学の基本定理が適用できません。
しかし、
ｘ＝０を含む範囲で、微分積分学の基本定理の結論である：
が成立します。
このことから、
以下のまぼろしの基本定理がありそうです。
【まぼろしの基本定理】
関数ｙ＝Ｆ（ｘ）が、
ａ≦ｘ≦ｂ
上で連続とする。
関数Ｆ（ｘ）が、
ａ＜ｘ＜ｂ
で微分可能で、その範囲内で、
Ｆ’（ｘ）＝ｆ（ｘ）になるとする。
ここで、関数ｆ（ｘ）の値が存在しない境界点のｘ＝ａ又はｂがある場合：
関数ｆ（ｘ）の値が存在するｘの値の範囲がａ＜ｘ＜ｂならば、そのｘの値の範囲の境界点の極限値のａとｂが考えられる。
その関数ｆ（ｘ）の値が存在するｘの値の範囲ａ＜ｘ＜ｂの範囲内で関数ｆ（ｘ）を積分した結果のＦ（ｘ）の値の、
ｘ→ａ の極限を、Ｆ（ａ）とし、
ｘ→ｂ の極限を、Ｆ（ｂ）とし、
ａ＜ｘ＜ｂでの積分範囲の極限の、ａ≦ｘ≦ｂ
での積分を、
Ｆ（ｂ）－Ｆ（ａ)
と定義する。そう定義すると：
が成立する。
（まぼろしの基本定理の定義のおわり）
このまぼろしの基本定理は、数学者の藤原松三郎の「微分積分学 第１巻」に、以下の通りに書いてありました。
不連続関数ｆ（ｘ）の積分を広義積分と呼び、
その積分において、関数ｆ（ｘ）の積分範囲
ａ≦ｘ≦ｂ
内で連続な不定積分（その積分範囲内に微分不可能な点があっても良い）F(x)が得られたら、
（１）それは、不連続関数ｆ（ｘ）が積分可能である証拠であり、
（２）以下の計算で定積分を計算して良い事が書いてあります。
Ｆ（ｂ）－Ｆ（ａ）
よって、
不連続な関数ｆ（ｘ）に対して、
その積分区間で連続な不定積分Ｆ（ｘ）が見つかったなら、
その不定積分Ｆ（ｘ）を使って定積分を計算して良いです。
（しかもそのF(x)はその積分区間内で微分不可能な点があっても良い）
また、小寺平治・著「はじめての微分積分15講」（2,200円）の１０３ページにも、このことが書いてあります。
「やさしく学べる微分積分」（石村園子）の１０６ページの形の微分積分学の基本定理を使うと、以下の定理がすぐに導き出せる。
【定理】
ａ≦ｘ≦ｂ
の範囲で連続な関数ｆ（ｘ）がある場合、
ａ＜ｘ＜ｂ
の範囲で、
Ｆ’（ｘ）≡ｆ（ｘ）＞０
ならば、
ａ≦ｘ≦ｂの範囲で、
ｆ（ｘ）の原始関数Ｆ（ｘ）は単調増加である。
（定理の定義おわり）
（証明開始）
関数ｆ（ｘ）が
ａ≦ｘ≦ｂ
で連続であるので、
ａ≦ｘ１＜ｘ２≦ｂ
なるｘ１とｘ２に関して、
微分積分学の基本定理により、
よって、
Ｆ（ｘ）は単調増加である。
（証明おわり）
高校で扱う連続関数（その領域内で関数が連続）はこの定理の条件を満足するので、この定理があれば十分と思いますが、
藤原松三郎の「微分積分学 第１巻」に書いてあったまぼろしの基本定理：
被積分関数ｆ（ｘ）が連続関数（その領域内で関数が連続）で無くても、
その様に不連続な関数ｆ（ｘ）に対して、
その積分区間で連続な不定積分Ｆ（ｘ）が見つかったなら、
その不定積分Ｆ（ｘ）を使って以下の計算で定積分を計算して良い。
Ｆ（ｂ）－Ｆ（ａ）
が使えます。
実際、以下の定理があります。
【定理】
ａ≦ｘ≦ｂ
の範囲で連続な関数Ｆ（ｘ）がある場合、
ａ＜ｘ＜ｂ
の範囲で、
Ｆ’（ｘ）≡ｆ（ｘ）＞０
ならば、
ａ≦ｘ≦ｂの範囲で、
関数Ｆ（ｘ）は単調増加である。
（定理の定義おわり）
この定理の証明に、「まぼろしの定理」を使えますが、先ずは、それを使わずに、伝統的に確立されている平均値の定理を使って、この定理を証明しておきます。
（証明開始）
ａ≦ｘ≦ｂ
の範囲で連続な関数Ｆ（ｘ）が：
ａ＜ｘ＜ｂ
の範囲で微分可能で、
Ｆ’（ｘ）＝ｆ（ｘ）
の場合、
平均値の定理によって、
ａ≦ｘ１＜ｘ２≦ｂ
なるｘ１とｘ２に関して、
（Ｆ（ｘ２）－Ｆ（ｘ１））／（ｘ２－ｘ１）＝ｆ（ｘ）
となるｘが、
ａ≦ｘ１＜ｘ＜ｘ２≦ｂ
に、少なくとも１つ存在する。
その範囲で、
ｆ（ｘ）＞０
なので、
Ｆ（ｘ２）＞Ｆ（ｘ１）
である。
よって、Ｆ（ｘ）は単調増加である。
（証明おわり）
このように証明できるこの定理は、まぼろしの基本定理を支える基礎の１つになっていると考えても良いと思います。
（備考２）
なお、全ての種類の関数における、積分前の関数ｆ（ｘ）と、微分前の関数Ｆ（ｘ）との、変数ｘの一部の定義域での微分積分のあり得る関係が以下の図であらわせます。
（なお、Ｆ（ｘ）として考えられる関数の、関数が連続な領域内の至るところ微分不可能な関数であるワイエルシュトラス関数等は、不連続点を持たないが、微分不可能です。）
（上図で、関数ｆ２（ｘ）は、除去可能な不連続点を除去した関数です。関数Ｆ（ｘ）は、関数Ｆ（ｘ）の不連続点を除いた変数ｘの範囲でｆ（ｘ）の不定積分であるとともに、ｆ２（ｘ）の不定積分でもあります）
上図の、ｆ（ｘ３）とＦ（ｘ３）の関数のセットの例：
以下で定義する関数のセットでは、ｆ（ｘ）にｘ＝ｘ３で除去不可能な不連続点があって、ｆ（ｘ）は不連続関数（その点で関数が不連続な関数であって、その点以外の領域では関数が連続な連続関数である）です。
しかし、この不連続点を持つ関数ｆ（ｘ）を、その不連続点を含む範囲で定積分することで定義した関数Ｆ（ｘ）が、その不連続点の位置ｘ３でも変数ｘで微分可能で、Ｆ（ｘ）を微分すると再び不連続点を持つｆ（ｘ）が得られます。
（Ｆ（ｘ）の定義）
ｘ≠０の場合：
ｘ＝０の場合： Ｆ（０）＝０，
（導関数ｆ（ｘ））
この関数Ｆ（ｘ）はｘ≠０の場合も、ｘ＝０の場合も、微分可能で、
その導関数ｆ（ｘ）は、以下の式であらわせます。
ｘ≠０の場合の微分：
になり、ｘが０に近づくとー１と１の間を振動します。
この導関数が含むｃｏｓ（１／ｘ）の関数が以下のグラフであらわす形の関数になるからです。
Ｘ＝０の場合にも、Ｆ（ｘ）は微分可能で：
というように、０になります。
そのため、この導関数ｆ（ｘ）は、ｘ＝０で連続ではありませんが、Ｆ（ｘ）を微分することで得られます。
この導関数ｆ（ｘ）は積分可能であり、積分するとＦ（ｘ）になります。
この関数Ｆ（ｘ)はｘ＝０で連続な連続関数（その点で関数が連続）です。
Ｆ’（ｘ）＝ｆ（ｘ）はｘ＝０で微分可能では無く不連続なので、ｘ＝０を含むｘの範囲では微分積分学の基本定理が適用できませんが、「まぼろしの定理」が適用できるように思います。
この様な複雑な関係の中から、比較的に扱い易い連続関数（その領域内で関数が連続）を使って従来の微分積分学の基本定理が定められています。
また、大学以上の微分積分学では、積分の定義をどんどん拡張して、何でも積分できるようにして、ある関数ｆ（ｘ）を積分して不連続点を持つ関数Ｆ（ｘ)を得ることができるようにし、その不連続点を持つ関数Ｆ（ｘ)を微分して関数ｆ（ｘ）を得ることができるように、微分の定義も拡張するというような事も行なわれます。
そのように微分・積分の定義を拡張する入口に、微分積分の基本定理が置かれています。
そのため、微分積分学の基本定理の：
という式の意味することは：
この公式の前提条件以外の条件によってこの式と異なる結果が得られるわけでは無く、
この式を成り立たせるように、ｆ（ｘ）とＦ（ｘ）を対応させる規則である微分と積分とを矛盾が生じ無い様に定義を修正して、この式を成り立たせているのです。
そういうわけなので、
ａ≦ｘ≦ｂの範囲で、
Ｆ（ｘ）が連続な関数とし、
そのＦ（ｘ）が、
ａ＜ｘ＜ｂの範囲で微分可能で、
ｆ（ｘ）＝Ｆ’（ｘ）
が有限な値で存在する場合は、
ｆ（ｘ）の積分の範囲の取り方を、
ｆ（ｘ）が、ｘ＝ａやｘ＝ｂで存在しない場合にも、
ｆ（ｘ）をａからｂの範囲で積分可能にするように積分の定義を微妙に修正するだけで、
という式を計算可能にする「まぼろしの定理」を作りあげることができます。
そういう、積分の定義の修正を加えるだけで、「まぼろしの定理」が適用可能になります。
「やさしく学べる微分積分」（石村園子）の１０７ページの説明にある、１０６ページの形の微分積分学の基本定理への感想：「この定理は、ｆ（ｘ）の原始関数を定積分を使って定めてあるところがすばらしい」と書いてあるとおり、
素晴らしい表現だと思います。
という形の定積分を使ってｆ（ｘ）原始関数Ｆ（ｘ）を定めている本質的な表現をしているので、微分積分学の基本定理の前提である：
連結区間ａ≦ｘ≦ｂ
で関数ｆ（ｘ）が連続であれば：
という条件は、定積分を可能にしている条件に過ぎないことが顕わに見えています。
【まぼろしの基本定理の厳密な定義】
定積分の定義が修正されて、従来の積分の定義では不定積分Ｆ（ｘ)が定義できなかった関数ｆ（ｘ）を、同じ形の定積分で不定積分Ｆ（ｘ)を定義できるように積分の定義を修正すれば、微分積分学の基本定理が適用できる関数ｆ（ｘ）の種類を拡大して「まぼろしの基本定理」を構成できることが分かります。
（１）そして、そのように積分の定義を修正し、Ｆ（ｘ）が連続関数（その領域内で関数が連続）であるという条件だけを定め、
ｆ（ｘ）が連続関数（その領域内で関数が連続）で無くても（積分範囲内にｆ（ｘ）の関数値が存在しない不連続点があっても）積分を適用できるようにする。
（２）更に、 微分する点を含む領域内で連続な関数Ｆ（Ｘ）の微分により得ることができる関数ｆ（ｘ）を、以下の処理で定義することができます。
（２－１）すなわち、ある関数ｆ（ｘ）の不連続点ｘ＝ｘ0で関数が極限値を持つ場合、その不連続点での関数ｆ（ｘ0）の値をその極限値に修正して不連続点を解消する。
（２－２）その他の不連続点については、その不連続点ｘ＝ｘ0
を含む領域で関数ｆ（ｘ）を積分して関数Ｆ（ｘ）を得て、関数Ｆ（ｘ)を微分した場合の不連続点ｘ＝ｘ0で導関数の値が元のｆ（ｘ0）と異なる場合（例えばＦ（ｘ）がｘ0で微分不可能で関数値が無い場合）には、関数ｆ（ｘ）の関数値ｆ（ｘ0）を、その導関数の値に修正する。
（２－３）以上の処理で定義した関数ｆ（ｘ）を、「まぼろしの基本定理」を適用する対象の関数ｆ（ｘ）とします。すなわち、定理の対象にする関数ｆ（ｘ）を、連続関数Ｆ（ｘ)を微分することで得られる関数に限定します。
また、定理の対象にする連続関数Ｆ（ｘ）も、それを微分した関数を積分することで再び得られる関数に限定します。詳しくは、連続関数Ｆ（ｘ）を、それが微分不可能な点が散在するにしても、大部分のｘの値で微分可能な連続関数Ｆ（ｘ）に限定します。
そのように限定した関数ｆ（ｘ）に対して、その修正した定義による積分の計算をすると：
が成り立ち、また、次のことが成り立つ。
（３）Ｓ（ｘ）はｆ（ｘ）の不定積分である。
Ｓ（ｘ）は連続関数（変数ｘの連結区間内で関数が１つながりに連続）になる。
（４）連続関数Ｆ（ｘ）をｆ（ｘ）の任意の不定積分とすると、
が成立する。
（まぼろしの基本定理の定義おわり）
このまぼろしの基本定理が
成り立つ条件を整えるために、ｆ（ｘ）を積分した結果の（ｘの連結区間内で）連続な関数Ｆ（ｘ)を微分した導関数の関数値がｆ（ｘ）の関数値と同じになるという特徴がある関数ｆ（ｘ）を選びました。（そうならない関数もありますが、そういう関数ｆ（ｘ）は除外してあります）
この「まぼろしの基本定理」を使えば：
【定理】
ａ≦ｘ≦ｂ
の範囲で連続な関数Ｆ（ｘ）がある場合：
ａ＜ｘ＜ｂ
の範囲で、
Ｆ’（ｘ）≡ｆ（ｘ）＞０
ならば、
ａ≦ｘ≦ｂの範囲で、
関数Ｆ（ｘ）は単調増加である。
（定理の定義おわり）
という定理を、微分積分学の基本定理を使った証明の場合と同様な手順に従って、まぼろしの基本定理を使って証明することができます。
ただし、この様に定義した関数ｆ（ｘ）に対して、このように修正した積分方法で積分することで得られる連続関数Ｆ（ｘ)に限定された証明にはなります。例えば、関数が連続な領域のあらゆるところで微分不可能な関数であるワイエルシュトラス関数等は連続関数Ｆ（ｘ）の候補として使えませんが、、、（例え候補になれても、微分が不可能なので、その関数はこの定理のＦ（ｘ）の条件から外れる）。
こうして、この定理が対象にする連続関数（所定領域内で連続な関数）Ｆ（ｘ）が、その様に定義された関数ｆ（ｘ）から積分することで得られる連続関数Ｆ（ｘ）に限定されます。そして、関数が連続な領域の至るところ微分不可能な関数等が定理の対象とする連続関数Ｆ（ｘ）から除外されます。そういうふうに、まぼろしの基本定理が対象にできる連続関数Ｆ（ｘ)が制限されている、定理の限界によって、この証明方法で証明されるのは、そういう連続関数Ｆ（ｘ)に係る場合だけに限定されるので、この証明方法は、全ての連続関数Ｆ（ｘ）について定理を証明したわけでは無く、この証明は不完全です。
しかし、これにより、この定理の確からしさを確認でき、この証明方法によって定理の持つ意味が分かると考えますので、この証明方法の価値があると考えます。
また、Ｆ’（ｘ）がａ＜ｘ＜ｂで微分可能であるという条件があるので、その条件が加わった連続関数Ｆ（ｘ）は、まぼろしの基本定理の対象にする連続関数の集合に含まれることを証明できそうだと考えます。それが証明できれば、以上の証明方法は、「完全な証明」になり得ると考えます。
なお、この定理の対偶も正しく成り立ちますが、その対偶の一部の、正しく成り立つ定理を、以下の様に表現することができます。
【定理の対偶（の一部）】
ａ≦ｘ≦ｂ
の範囲で連続な関数Ｆ（ｘ）であり、
ａ＜ｘ＜ｂ
の範囲で微分可能な関数Ｆ（ｘ）が、
ａ≦ｘ≦ｂの範囲で、単調増加で無い
（例えばある領域でＦ（ｘ）が同じ値に停留したり、減少したりする）
ならば、
ａ＜ｘ＜ｂ
の範囲内に、
Ｆ’（ｘ）≡ｆ（ｘ）≦０
となる点が必ず存在する。
（定理の定義おわり）
（注意）先の定理（命題）の対偶は、以下の様に、定理の前提条件（関数Ｆ（ｘ）が所定領域内で連続であること等）を否定した場合も想定した命題になります。
【定理の対偶】
ａ≦ｘ≦ｂの範囲で、
関数Ｆ（ｘ）が単調増加で無い
（例えばある領域でＦ（ｘ）が同じ値に停留したり、減少したりする）
ならば、
（場合１）
ａ≦ｘ≦ｂ
の範囲で、関数Ｆ（ｘ)が連続で無いか、
（場合２）
関数Ｆ（ｘ）はその範囲で連続ではあるが、
ａ＜ｘ＜ｂ
の範囲で微分不可能な点があるか、
（場合３）
関数Ｆ（ｘ）はその範囲で連続で、
かつ、 ａ＜ｘ＜ｂ の範囲で微分可能
ではあるが、
ａ＜ｘ＜ｂ の範囲内に、
Ｆ’（ｘ）≡ｆ（ｘ）≦０
となる点が必ず存在する。
かの何れかである。
（定理の定義おわり）
先の【対偶の一部】は、この【対偶】における場合３を述べた命題でした。
ここで、条件付きで定義した命題は、
その条件が成立しないときには、その命題の結論が成立しない事もあるという意味を含んだ命題になりますので、
結局、上の場合１と場合２の想定は、条件付きで定義した命題の意味の中に含まれていることになります。
そのため、先の、【定理の対偶（の一部）】の命題は、
結局、定理の対偶によって表現される内容の全部を含んでいます。そのため、定理の対偶の一部では無く、定理の対偶の全体をあらわすものでした。
定理の成立条件の位置付けをこの様に解釈すると、この「定理の対偶」の定理（命題）の対偶が、以下の様にあらわせます。
【定理】
ａ≦ｘ≦ｂ
の範囲で連続で、
ａ＜ｘ＜ｂ
の範囲で微分可能な関数Ｆ（ｘ）が、
その範囲での微分係数が全て、
Ｆ’（ｘ）≡ｆ（ｘ）＞０
ならば、
その関数Ｆ（ｘ)は、ａ≦ｘ≦ｂの範囲で、単調増加である。
（定理の定義おわり）
この命題は、元の定理ですので、元の定理が「対偶の対偶」によって再現できました。
なお、
「まぼろしの定理」 を使えば、単調増加関数Ｆ（ｘ）の範囲を拡張した以下の定理もやさしく証明できます。
【定理】
ａ≦ｘ≦ｂ
の範囲で連続な関数Ｆ（ｘ）がある場合：
ａ＜ｘ＜ｂ
の範囲で、
Ｆ’（ｘ）≡ｆ（ｘ）≧０
であり、
そのうち、
ｆ（ｘ）＝０となる点は有限個数存在するだけならば、
ａ≦ｘ≦ｂの範囲で、
関数Ｆ（ｘ）は単調増加である。
（定理の定義おわり）
という定理も簡単に証明できます。
積分範囲内に、Ｆ’（ｘ0）＝０となる点
ｘ＝ｘ0が、
ａ≦ｘ≦ｂ内の、
ｃ＜ｄ
となるｃからｄまでの領域内の全ての点でＦ’（ｘ）＝０であれば、
そのｃからｄまでの積分結果＝０
となります。
しかし、有限の幅を持った領域にわたっては
Ｆ’（ｘ）＝０
とはならず、
所定領域内に、
Ｆ’（ｘ）＝０となる点が有限の個数有るだけならば、
その領域での積分結果＞０
になるからです。
もう１つ、以下の関数Ｆ（ｘ）が単調増加であることも、
「まぼろしの定理」を使ってやさしく証明できます。
（関数Ｆ（ｘ）の定義）
ｘ＝０のとき： Ｆ（ｘ）＝０，
０＜ｘ≦１において、
Ｆ’（ｘ）＝１＋ｃｏｓ（１／ｘ），
この関数Ｆ（ｘ）は、
０≦ｘ≦１
の範囲内に、 無限個のＦ’（ｘ）＝０となる点がありますが、
０≦ｘ≦１
の範囲内で連続、かつ、単調増加です。
このことは、
「まぼろしの定理」を使ってＦ’（ｘ）を積分してＦ（ｘ）を求める計算式を書けば分かります。
リンク：
高校数学の目次
が成り立つ事を証明せよ。
が成り立つ事を証明せよ。
が成り立つ事を証明せよ。
が成り立つ事を証明せよ。
が成り立つ事を証明せよ。
