定理証明済み
退化した場合 a=0
内容
ならば、方程式 は に帰着する。 が真であればすべての実数 x が解となり無数の解を持ち、 であれば解は全く存在しない。
なぜ正しいのか?
これは「一次方程式」という呼び名が、実は x の係数が0でないことに依存していることを示す——その条件を外すと、「ただ1つの答え」という概念は、すべての答えか、答えが全くないかのどちらかに崩れてしまう。
証明の概略
を に直接代入すると、項 はすべての実数 に対して となる。どんな数に0を掛けても0だからである。したがって方程式は文字通り となり、これはもはや に一切言及しない、 だけについての命題になる。
ここで固定された数 について、可能性はちょうど2つしかない。 ならば、残った命題「」はどの を代入しても真であり、したがってすべての実数 が元の方程式を満たし、無数の解を持つ。逆に ならば、残った命題「」は単に偽であり、どんな の値もその誤った数値命題を真にすることはできないので、どんな を試しても方程式は解を全く持たない。
この定理を使うトピック
ステップごとの証明
この定理のステップごとの証明はまだありません。