MathLabs
Định lýĐã chứng minh

Khi D=0: vô nghiệm hoặc vô số nghiệm

Phát biểu

Nếu ad−bc=0ad-bc=0, hệ {ax+by=ecx+dy=f\begin{cases}ax+by=e\\cx+dy=f\end{cases} không bao giờ có đúng một nghiệm: vô nghiệm nếu ed−bf≠0ed-bf\neq0, và vô số nghiệm nếu ed−bf=0ed-bf=0 (miễn a,ba,b không cùng bằng 0).

Vì sao đúng?

D=0 nghĩa là hai đường thẳng có cùng độ dốc: về hình học chúng hoặc song song hoàn toàn và không bao giờ gặp nhau (vô nghiệm), hoặc thực ra là cùng một đường thẳng vẽ hai lần (mọi điểm đều là nghiệm) — không bao giờ có một điểm giao duy nhất.

Phác thảo chứng minh

Các bước cộng đại số từ định lý trước không cần ad−bc≠0ad-bc\neq0: chúng cho thấy bất kỳ nghiệm (x,y)(x,y) nào của {ax+by=ecx+dy=f\begin{cases}ax+by=e\\cx+dy=f\end{cases} cũng phải thoả (ad−bc)x=ed−bf(ad-bc)x=ed-bf, bất kể giá trị của DD. Khi ad−bc=0ad-bc=0, vế trái (ad−bc)x(ad-bc)x bằng 0⋅x=00\cdot x=0 với mọi xx, nên phương trình cần thiết này sụp đổ thành mệnh đề số 0=ed−bf0=ed-bf.

**Trường hợp ed−bf≠0ed-bf\neq0 (vô nghiệm).** Mệnh đề 0=ed−bf0=ed-bf khi đó đơn giản là sai, không phụ thuộc xx và yy. Vì mọi nghiệm của hệ đều phải làm mệnh đề sai này đúng, nên không nghiệm nào tồn tại. Về hình học, hai phương trình mô tả các đường thẳng cùng độ dốc (vì D=0D=0) nhưng khác tung độ gốc, tức hai đường thẳng song song không cắt nhau.

**Trường hợp ed−bf=0ed-bf=0 (vô số nghiệm).** Bây giờ phương trình cần thiết là mệnh đề đúng nhưng trống rỗng 0=00=0, nên triệt tiêu y không cho thông tin gì cả — nó tự động đúng với mọi xx. Cụ thể, vì D=ad−bc=0D=ad-bc=0 và (a,b)≠(0,0)(a,b)\neq(0,0), tồn tại hằng số kk với c=kac=ka và d=kbd=kb (hệ số x,y của phương trình sau tỉ lệ với phương trình đầu); kết hợp với ed−bf=0ed-bf=0 ta cũng có f=kef=ke, nên phương trình sau cx+dy=fcx+dy=f chính là kk lần phương trình đầu ax+by=eax+by=e. Mọi điểm (x,y)(x,y) thoả phương trình đầu tự động thoả phương trình sau (nhân phương trình đầu với kk), nên cả đường thẳng ax+by=eax+by=e — vô số điểm — đều là nghiệm của hệ.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.