✨Phương trình bậc ba

phải|thumb|Đồ thị của hàm số bậc 3 có 3 nghiệm với 3 lần cắt trục hoành. Trong đại số, một phương trình bậc ba có một biến là một biểu thức có dạng:

: $ax^3+bx^2+cx+d=0$

trong đó khác 0.

Lời giải của đẳng thức này được gọi là các không điểm của hàm số bậc ba được định nghĩa bởi vế trái của biểu thức. Nếu tất cả những hệ số a, b, c và d của phương trình là số thực, thì nó có ít nhất 1 không điểm (điều này đúng với mọi phương trình bậc lẻ). Tất cả các không điểm của phương trình bậc ba có thể được tìm ra bằng những cách sau:

• Phương pháp đại số, nghĩa là chúng có thể được biểu thị bằng một công thức bậc ba liên quan đến bốn hệ số, bốn phép tính số học cơ bản và căn bậc hai, căn bậc ba. (Điều này cũng đúng với phương trình bậc hai và bậc bốn, nhưng không đúng với phương trình bậc cao hơn, theo định lý Abel-Ruffini).
• Phương pháp lượng giác, các phép gần đúng bằng số của các giá trị căn có thể được tìm thấy bằng cách sử dụng các thuật toán tìm nghiệm như phương pháp của Newton.

Các hệ số không cần thiết phải là số thực. Các nghiệm của phương trình bậc ba không nhất thiết phải thuộc cùng trường với hệ số. Ví dụ, một số phương trình bậc ba với hệ số hữu tỉ có nghiệm là số vô tỉ (hay thậm chí là số phức).

Lịch sử

Phương trình bậc ba được đề cập lần đầu tiên bởi nhà toán học Ấn Độ cổ Jaina khoảng giữa năm 400 TCN và 200 CN.

Nhà toán học Ba-tư Omar Khayyám (1048–1123) đã công bố việc giải phương trình bậc ba nhờ giao của một tiết diện co-nic với đường tròn. Ông công bố rằng lời của y có thể dùng để cho các lời giải số nhờ các bảng lượng giác.

Sau này vào thế kỷ XVI, nhà toán học người Ý Scipione del Ferro (1465-1526) đã tìm ra cách giải một lớp các phương trình bậc ba dạng $x^3+mx+n$ với $m,n>0$. Thực ra, mọi phương trình bậc ba có thể đưa về dạng này. Tuy nhiên có thể dẫn đến căn bậc hai của những số âm, điều bấy giờ chưa giải quyết được. Del Ferro giữ kín điều này cho đến trước khi ông chết mới nói cho học trò ông là sinh viên Antonio Fiore.

Vào 1530, Niccolo Tartaglia (1500-1557) tiếp nhận hai bài toán trong phương trình bậc ba từ Zuanne da Coi và công bố ông đã giải được chúng. Ông nhận lời thách thức của Fiore, và từ đó dấy lên cuộc cãi vã giữa hai người. Mỗi người hàng ngày đặt một số tiền và đưa ra một số bài toán cho đối thủ giải. Ai giải được nhiều bài toán hơn trong 30 ngày thì nhận tất cả số tiền.

Tartaglia khi giải quyết các biểu thức trong dạng $x^3+mx+n$, đã đề xuất một phương pháp tổng quát hơn. Fiore phải giải quyết các vấn đề trong dạng $x^3+mx^2+n$ khó hơn và Tartaglia đã thắng cuộc.

Sau này, Tartaglia được Gerolamo Cardano (1501-1576) thuyết phục tiết lộ bí mật của cách giải phương trình bậc ba. Tartaglia đã đặt điều kiện yêu cầu Cardano không tiết lộ nó. Ít năm sau, Cardano hiểu được công trình của Ferro và vi phạm lời hứa khi công bố phương pháp Tartaglia trong cuốn sách của ông nhan đề Ars Magna (1545) với lời ca ngợi dành cho Tartaglia.

Với trường hợp đặc biệt là số $\backslash Delta$ âm, người ta hay dùng phương pháp lượng giác để giải quyết nó, tuy vậy, đây là phương pháp không đại số và nghiệm tính ra vẫn là gần đúng do phải sử dụng các hàm số $\backslash cos$ và $\backslash arccos$. Và công thức đại số cho nghiệm tổng quát vẫn chưa thể hoàn thiện. (Công thức đại số nghiệm tổng quát là công thức tìm ra nghiệm của phương trình tổng quát mà chỉ dùng hữu hạn lần 6 phép toán cơ bản là cộng ($+$), trừ ($-$), nhân ($\backslash times$), chia (:), lũy thừa (^) và khai căn (√)).

:$\backslash alpha\_3x^3+\backslash alpha\_2x^2+\backslash alpha\_1x+\backslash alpha\_0=0$

Thông thường. trong toán học sơ cấp, các hệ số $\backslash alpha\_i$ là các số thực. Tuy nhiên đa số lý thuyết cũng đúng nếu các hệ số lấy trong môi trường số phức (x thuộc C). Ta luôn giả sử rằng $\backslash alpha\_3$ ≠ 0. Có thể giải được một phương trình bậc ba bằng căn thức.

Phương pháp Cardano

Nghiệm của phương trình có thể tìm được bằng phương pháp sau, đề xuất bởi Scipione del Ferro và Niccolò Tartaglia, công bố bởi Gerolamo Cardano năm 1545.

Trước tiên, chia phương trình cho $\backslash alpha\_3$ để đưa về dạng :$x^3\; +\; ax^2\; +\; bx\; +c\; =\; 0.\; \backslash qquad\; (1)$

Đặt $x=t-\backslash frac\; a3$ và biến đổi ta có phương trình :$t^3\; +\; pt\; +\; q\; =\; 0,$ trong đó $p\; =\; b\; -\; \backslash frac\{a^2\}3$ và $q\; =\; c\; +\; \backslash frac\{2a^3-9ab\}\{27\}.\; \backslash qquad\; (2)$

Nó được gọi là phương trình bậc ba suy biến.

Ta sẽ tìm các số $u$ và $v$ sao cho :$u^3-v^3\; =\; q$ và $uv\; =\; \backslash frac\{p\}\{3\}.\; \backslash qquad\; (3)$

một nghiệm của nó tìm được từ việc đặt :$t\; =\; v\; -\; u,\; \backslash ,$

có thể kiểm tra trực tiếp khi thay giá trị $t$ vào (2), nhờ hằng đảng thức lập phương của nhị thức :$(v-u)^3+3uv(v-u)+(u^3-v^3)=0\; \backslash ,$

Hệ (3) có thể giải từ phương trình thứ hai rút $v$, ta có :$v\; =\; \backslash frac\{p\}\{3u\}.$ Thay vào phương trình thứ nhất trong (3) ta có :$u^3\; -\; \backslash frac\{p^3\}\{27u^3\}\; =\; q.$ Phương trình này tương đương với một phương trình bậc hai với u³. Khi giải, ta tìm được :$u=\backslash sqrt[3]\backslash qquad(\backslash Delta\; \backslash neq\; 0)$

1. Nếu $\backslash Delta\; >\; 0$

:1.1) $|k|\backslash leq1$: Phương trình có ba nghiệm

:1.2) $|k|>1$: Phương trình có một nghiệm duy nhất

2. Nếu $\backslash Delta\; =\; 0$: :2.1) $b^3-27a^2d=0$: Phương trình có một nghiệm bội

3. Nếu : Phương trình có một nghiệm duy nhất