Phương trình bậc bốn là một phương trình đơn biến có bậc cao nhất là 4.
Phương trình bậc bốn hệ số số phức :
x
4
+
d
1
x
3
+
d
2
x
2
+
d
3
x
+
d
4
=
0
{\displaystyle x^{4}+d_{1}x^{3}+d_{2}x^{2}+d_{3}x+d_{4}=0}
d
1
,
d
2
,
d
3
,
d
4
∈
C
{\displaystyle d_{1},d_{2},d_{3},d_{4}\in \mathbb {C} }
Đặt
x
=
Y
−
d
1
4
{\displaystyle x=Y-{\frac {d_{1}}{4}}}
Phương trình bậc bốn đưa về dạng rút gọn theo ẩn Y:
Y
4
+
a
2
Y
2
+
a
3
Y
+
a
4
=
0
{\displaystyle Y^{4}+a_{2}Y^{2}+a_{3}Y+a_{4}=0}
a
2
,
a
3
,
a
4
∈
C
{\displaystyle a_{2},a_{3},a_{4}\in \mathbb {C} }
sửa
Ta đưa phương trình bậc bốn về dạng rút gọn rồi giải như sau:
X
4
+
a
X
2
+
b
X
+
c
=
0
{\displaystyle X^{4}+aX^{2}+bX+c=0}
Tương đương với:
(
X
2
+
m
)
2
+
(
a
−
2
m
)
X
2
+
b
X
+
c
−
m
2
=
0
{\displaystyle (X^{2}+m)^{2}+(a-2m)X^{2}+bX+c-m^{2}=0}
Hay:
(
X
2
+
m
)
2
−
(
2
m
−
a
)
[
X
2
−
b
2
m
−
a
X
+
m
2
−
c
2
m
−
a
]
=
0
{\displaystyle (X^{2}+m)^{2}-(2m-a)[X^{2}-{\frac {b}{2m-a}}X+{\frac {m^{2}-c}{2m-a}}]=0}
Chọn m thỏa
b
2
(
2
m
−
a
)
=
m
2
−
c
2
m
−
a
{\displaystyle {\frac {b}{2(2m-a)}}={\sqrt {\frac {m^{2}-c}{2m-a}}}}
Hay:
b
2
=
4
(
2
m
−
a
)
(
m
2
−
c
)
{\displaystyle b^{2}=4(2m-a)(m^{2}-c)}
m là nghiệm của một phương trình bậc 3 nên giải được.
Nếu b = 0 thì phương trình bậc 4 đưa về dạng trùng phương, việc giải phương trình bậc 4 tương đương với việc giải phương trình bậc 2
X
4
+
a
X
2
+
c
=
0
{\displaystyle X^{4}+aX^{2}+c=0}
Nếu b≠0 thì (a - 2m)≠0, phương trình mới có dạng sau là hiệu của hai bình phương nên giải được bằng cách phân tích nhân tử bậc hai của X:
(
X
2
+
m
)
2
−
(
2
m
−
a
)
[
X
−
b
2
(
2
m
−
a
)
]
2
=
0
{\displaystyle (X^{2}+m)^{2}-(2m-a)[X-{\frac {b}{2(2m-a)}}]^{2}=0}
Hay
[
X
2
−
(
2
m
−
a
)
X
+
b
2
(
2
m
−
a
)
+
m
]
[
X
2
+
(
2
m
−
a
)
X
−
b
2
(
2
m
−
a
)
+
m
]
=
0
{\displaystyle [X^{2}-({\sqrt {2m-a}})X+{\frac {b}{2({\sqrt {2m-a}})}}+m][X^{2}+({\sqrt {2m-a}})X-{\frac {b}{2({\sqrt {2m-a}})}}+m]=0}
Giải nghiệm hai phương trình bậc hai sẽ tìm được nghiệm phương trình bậc bốn
x
1
=
1
2
[
2
m
−
a
+
−
2
b
2
m
−
a
−
2
m
−
a
]
{\displaystyle x_{1}={\frac {1}{2}}[{\sqrt {2m-a}}+{\sqrt {-{\frac {2b}{\sqrt {2m-a}}}-2m-a}}]}
x
2
=
1
2
[
2
m
−
a
−
−
2
b
2
m
−
a
−
2
m
−
a
]
{\displaystyle x_{2}={\frac {1}{2}}[{\sqrt {2m-a}}-{\sqrt {-{\frac {2b}{\sqrt {2m-a}}}-2m-a}}]}
x
3
=
1
2
[
−
2
m
−
a
+
2
b
2
m
−
a
−
2
m
−
a
]
{\displaystyle x_{3}={\frac {1}{2}}[-{\sqrt {2m-a}}+{\sqrt {{\frac {2b}{\sqrt {2m-a}}}-2m-a}}]}
x
4
=
1
2
[
−
2
m
−
a
−
2
b
2
m
−
a
−
2
m
−
a
]
{\displaystyle x_{4}={\frac {1}{2}}[-{\sqrt {2m-a}}-{\sqrt {{\frac {2b}{\sqrt {2m-a}}}-2m-a}}]}
x
4
+
4
x
3
−
4
x
2
−
12
x
+
9
=
0
{\displaystyle x^{4}+4x^{3}-4x^{2}-12x+9=0}
x
=
y
−
d
1
4
=
y
−
1
{\displaystyle x=y-{\frac {d_{1}}{4}}=y-1}
y
4
−
10
y
2
+
4
y
+
14
=
0
{\displaystyle y^{4}-10y^{2}+4y+14=0}
a
=
−
10
,
b
=
4
,
c
=
14
,
m
=
−
4
{\displaystyle a=-10,b=4,c=14,m=-4}
y
1
=
1
2
(
2
+
−
8
2
+
8
+
10
)
=
2.46374745
{\displaystyle y_{1}={\frac {1}{2}}({\sqrt {2}}+{\sqrt {-{\frac {8}{\sqrt {2}}}+8+10}})=2.46374745}
y
2
=
1
2
(
2
−
−
8
2
+
8
+
10
)
=
−
1.049533887
{\displaystyle y_{2}={\frac {1}{2}}({\sqrt {2}}-{\sqrt {-{\frac {8}{\sqrt {2}}}+8+10}})=-1.049533887}
y
3
=
1
2
(
−
2
+
8
2
+
8
+
10
)
=
1
,
724808835
{\displaystyle y_{3}={\frac {1}{2}}(-{\sqrt {2}}+{\sqrt {{\frac {8}{\sqrt {2}}}+8+10}})=1,724808835}
y
4
=
1
2
(
−
2
−
8
2
+
8
+
10
)
=
−
3.139022397
{\displaystyle y_{4}={\frac {1}{2}}(-{\sqrt {2}}-{\sqrt {{\frac {8}{\sqrt {2}}}+8+10}})=-3.139022397}
x
=
y
−
1
{\displaystyle x=y-1}
x
1
=
1.46374745
{\displaystyle x_{1}=1.46374745}
x
2
=
−
2.049533887
{\displaystyle x_{2}=-2.049533887}
x
3
=
0.724808835
{\displaystyle x_{3}=0.724808835}
x
4
=
−
4.139022397
{\displaystyle x_{4}=-4.139022397}
sửa
x
4
+
a
2
x
2
+
a
3
x
+
a
4
=
0
{\displaystyle x^{4}+a_{2}x^{2}+a_{3}x+a_{4}=0}
Đặt:
x
j
=
ω
j
u
1
+
ω
2
j
u
2
+
ω
3
j
u
3
+
ω
4
j
u
4
{\displaystyle x_{j}=\omega ^{j}u_{1}+\omega ^{2j}u_{2}+\omega ^{3j}u_{3}+\omega ^{4j}u_{4}}
Định thức Vandermonde khác không nên xj bất kì)
ω
=
c
o
s
(
2
π
4
)
+
i
s
i
n
(
2
π
4
)
{\displaystyle \omega =cos({\frac {2\pi }{4}})+isin({\frac {2\pi }{4}})}
u
4
=
x
1
+
x
2
+
x
3
+
x
4
4
=
−
a
1
4
=
0
{\displaystyle u_{4}={\frac {x_{1}+x_{2}+x_{3}+x_{4}}{4}}=-{\frac {a_{1}}{4}}=0}
Do đó:
x
j
=
ω
j
u
1
+
ω
2
j
u
2
+
ω
3
j
u
3
{\displaystyle x_{j}=\omega ^{j}u_{1}+\omega ^{2j}u_{2}+\omega ^{3j}u_{3}}
Khi đó:
a
2
=
−
4
u
1
u
3
−
2
u
2
2
{\displaystyle a_{2}=-4u_{1}u_{3}-2u_{2}^{2}}
a
3
=
−
4
(
u
1
2
+
u
3
2
)
u
2
{\displaystyle a_{3}=-4(u_{1}^{2}+u_{3}^{2})u_{2}}
a
4
=
−
u
1
4
−
u
3
4
+
2
u
1
2
u
3
2
−
4
u
1
u
3
u
2
2
+
u
2
4
{\displaystyle a_{4}=-u_{1}^{4}-u_{3}^{4}+2u_{1}^{2}u_{3}^{2}-4u_{1}u_{3}u_{2}^{2}+u_{2}^{4}}
u
1
u
3
=
−
a
2
4
−
u
2
2
4
{\displaystyle u_{1}u_{3}=-{\frac {a_{2}}{4}}-{\frac {u_{2}^{2}}{4}}}
u
1
2
+
u
2
2
=
−
a
3
4
u
2
{\displaystyle u_{1}^{2}+u_{2}^{2}=-{\frac {a_{3}}{4u_{2}}}}
a
4
=
−
[
(
u
1
2
+
u
3
2
)
2
−
2
u
1
2
u
3
2
]
+
2
u
1
2
u
3
2
−
4
u
1
u
3
u
2
2
+
u
2
4
{\displaystyle a_{4}=-[(u_{1}^{2}+u_{3}^{2})^{2}-2u_{1}^{2}u_{3}^{2}]+2u_{1}^{2}u_{3}^{2}-4u_{1}u_{3}u_{2}^{2}+u_{2}^{4}}
Thay
u
1
u
3
,
u
1
2
+
u
3
2
{\displaystyle u_{1}u_{3},u_{1}^{2}+u_{3}^{2}}
2 vào a4
u2 là nghiệm của phương trình :
4
u
2
6
+
2
a
2
u
2
4
+
(
a
2
2
4
−
a
4
)
u
2
2
−
a
3
2
16
=
0
{\displaystyle 4u_{2}^{6}+2a_{2}u_{2}^{4}+({\frac {a_{2}^{2}}{4}}-a_{4})u_{2}^{2}-{\frac {a_{3}^{2}}{16}}=0}
u2 2 là nghiệm một phương trình bậc 3 nên giải được. Biết u2 suy ra u1 , u3
x
4
−
4
u
1
u
3
x
2
−
u
1
4
−
u
3
4
+
2
u
1
2
u
3
2
=
0
{\displaystyle x^{4}-4u_{1}u_{3}x^{2}-u_{1}^{4}-u_{3}^{4}+2u_{1}^{2}u_{3}^{2}=0}
u
1
u
3
=
−
a
2
4
{\displaystyle u_{1}u_{3}=-{\frac {a_{2}}{4}}}
u
1
4
+
u
3
4
=
−
(
a
4
−
a
2
2
8
)
{\displaystyle u_{1}^{4}+u_{3}^{4}=-(a_{4}-{\frac {a_{2}^{2}}{8}})}
Biết tích và tổng của hai số thì ta có thể tìm được hai số đó tương đương giải một phương trình bậc hai
sửa
Một câu hỏi được đặt ra một cách rất tự nhiên: Liệu phương trình bậc 5 có giải tổng quát được bằng công thức hay không? Câu hỏi này đã thu hút sự quan tâm nghiên cứu của rất nhiều người. Có thể kể ra một số trường hợp sau: Tschirnhaus đưa ra lời giải nhưng bị Leibniz chỉ ra là sai lầm. Euler đưa ra lời giải sai nhưng đồng thời lại tìm được phương pháp mới để giải phương trình bậc bốn. Lagrange cũng nghiên cứu vấn đề này và tìm ra cách thống nhất để giải quyết bài toán cho các phương trình bậc bé hơn hoặc bằng bốn. Tuy nhiên ông nói rằng phương pháp của ông sẽ sai nếu áp dụng cho phương trình bậc 5. Năm 1813 , Ruffini công bố một chứng minh với nhiều sai sót rằng phương trình bậc 5 không giải được bằng căn thức. Cuối cùng, vào năm 1824 Niels Henrik Abel đã chứng minh một cách thuyết phục rằng phương trình bậc 5 tổng quát không giải được bằng căn thức[ 2] Évariste Galois (1811 - 1832 ), chàng thanh niên người Pháp 21 tuổi là người cuối cùng đưa ra lời giải rất sâu sắc cho bài toán tuyệt đẹp:"Làm thế nào để nhận biết một phương trình đại số là giải được hay không được bằng căn thức" bằng cách phát triển lý thuyết nhóm .
^ Trường và lý thuyết Galois (Bùi Xuân Hải Nhà xuất bản đại học quốc gia TP Hồ Chí Minh 2013 trang 5)
^ Trường và lý thuyết Galois (Bùi Xuân Hải - Nhà xuất bản đại học quốc gia TP Hồ Chí Minh 2013 trang 5,6)
![{\displaystyle (X^{2}+m)^{2}-(2m-a)[X^{2}-{\frac {b}{2m-a}}X+{\frac {m^{2}-c}{2m-a}}]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f850ce9217c6a5d01453920ce9f89778161c3cc1)
![{\displaystyle (X^{2}+m)^{2}-(2m-a)[X-{\frac {b}{2(2m-a)}}]^{2}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f73bb551938fddbc0a0f8b42f9d4886d74d6757)
![{\displaystyle [X^{2}-({\sqrt {2m-a}})X+{\frac {b}{2({\sqrt {2m-a}})}}+m][X^{2}+({\sqrt {2m-a}})X-{\frac {b}{2({\sqrt {2m-a}})}}+m]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ed4481fc37c75bbcff11e72373d65a08073c144)
![{\displaystyle x_{1}={\frac {1}{2}}[{\sqrt {2m-a}}+{\sqrt {-{\frac {2b}{\sqrt {2m-a}}}-2m-a}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b13d0979b0438a6fe6ed62dfe21a1a933234bd5e)
![{\displaystyle x_{2}={\frac {1}{2}}[{\sqrt {2m-a}}-{\sqrt {-{\frac {2b}{\sqrt {2m-a}}}-2m-a}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edffa9a88a1daaa88625c30b98a6b75f4d27d646)
![{\displaystyle x_{3}={\frac {1}{2}}[-{\sqrt {2m-a}}+{\sqrt {{\frac {2b}{\sqrt {2m-a}}}-2m-a}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed43035f6e436d0de96dd732e570215a166260f8)
![{\displaystyle x_{4}={\frac {1}{2}}[-{\sqrt {2m-a}}-{\sqrt {{\frac {2b}{\sqrt {2m-a}}}-2m-a}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ea932fd2fb9c30a2c9fc02bfe4aeb16066718bd)
![{\displaystyle a_{4}=-[(u_{1}^{2}+u_{3}^{2})^{2}-2u_{1}^{2}u_{3}^{2}]+2u_{1}^{2}u_{3}^{2}-4u_{1}u_{3}u_{2}^{2}+u_{2}^{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/598ad23ee88889524ff7f980c46e6d918adbc81c)
