MathLabs
定理証明済み

D=0のとき:解なしか無数の解

内容

ad−bc=0ad-bc=0 ならば、連立方程式 {ax+by=ecx+dy=f\begin{cases}ax+by=e\\cx+dy=f\end{cases} がちょうど1つの解を持つことは決してない。ed−bf≠0ed-bf\neq0 なら解なし、ed−bf=0ed-bf=0 なら(a,ba,b が同時に0でない限り)無数の解を持つ。

なぜ正しいのか?

D=0は2直線の傾きが等しいことを意味する。幾何学的には、それらは完全に平行で決して交わらない(解なし)か、実は同じ直線が2回描かれている(すべての点が解)かのどちらかであり、決して1つの交点にはならない。

証明の概略

前の定理の消去法の手順は ad−bc≠0ad-bc\neq0 を必要としなかった。それらは {ax+by=ecx+dy=f\begin{cases}ax+by=e\\cx+dy=f\end{cases} の任意の解 (x,y)(x,y) が、DD の値に関わらず (ad−bc)x=ed−bf(ad-bc)x=ed-bf を満たさなければならないことを示している。ad−bc=0ad-bc=0 のとき、左辺 (ad−bc)x(ad-bc)x はすべての xx に対して 0⋅x=00\cdot x=0 となるため、この必要な方程式は数値命題 0=ed−bf0=ed-bf に縮退する。

**ed−bf≠0ed-bf\neq0 の場合(解なし)。** このとき命題 0=ed−bf0=ed-bf は xx と yy に関わらず単に偽である。連立方程式の解はすべてこの偽の命題を真にしなければならないので、解は存在し得ない。幾何学的には、2つの方程式は同じ傾き(D=0D=0 のため)だが異なる切片を持つ直線を表す。すなわち平行で交わらない2直線である。

**ed−bf=0ed-bf=0 の場合(無数の解)。** このとき必要な方程式は真だが空虚な命題 0=00=0 であり、yを消去しても情報は何も得られない——どんな xx に対しても自動的に満たされる。具体的には、D=ad−bc=0D=ad-bc=0 かつ (a,b)≠(0,0)(a,b)\neq(0,0) なので、c=kac=ka、d=kbd=kb となる定数 kk が存在する(第2式のx,y係数は第1式に比例する)。ed−bf=0ed-bf=0 と合わせると f=kef=ke も成り立つので、第2式 cx+dy=fcx+dy=f は文字通り第1式 ax+by=eax+by=e の kk 倍である。第1式を満たすすべての点 (x,y)(x,y) は自動的に第2式も満たす(第1式を kk 倍すればよい)ので、直線 ax+by=eax+by=e 全体——無数の点——が連立方程式の解となる。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。