Xem mã nguồn của Cực trị của hàm số

'''Cực trị của hàm số''' là giá trị mà hàm số đổi chiều biến thiên khi qua đó. Trong hình học, nó biểu diễn khoảng cách lớn nhất từ điểm này sang điểm kia và khoảng cách nhỏ nhất từ điểm này sang điểm nọ. Nếu trên [[hệ tọa độ Descartes]] giá trị cực đại là điểm thuộc đỉnh cao nhất trên trục tọa độ và giá trị cực tiểu là điểm thuộc đáy "sâu nhất" của hệ tọa độ.

Giá trị cực đại không phải giá trị lớn nhất, giá trị cực tiểu không phải giá trị nhỏ nhất của hàm số

==Cực trị hàm một biến==

=== Định nghĩa ===
Cho hàm số <math>y=f(x)</math> xác định trên <math>D</math>. 

* <math>x_0\in D</math> là '''điểm cực đại''' của hàm số <math>f(x)</math> nếu tồn tại <math>(a;b)\subset D</math> chứa <math>x_0</math> sao cho <math>f(x)<f(x_0)\forall x\in(a;b)</math>. Khi đó <math>f(x_0)</math> được gọi là '''giá trị cực đại''' của hàm số <math>y=f(x)</math>
* <math>x_0\in D</math> là '''điểm cực tiểu''' của hàm số <math>f(x)</math> nếu tồn tại <math>(a;b)\subset D</math> chứa <math>x_0</math> sao cho <math>f(x)>f(x_0)\forall x\in(a;b)</math>. Khi đó <math>f(x_0)</math> được gọi là '''giá trị cực tiểu''' của hàm số <math>y=f(x)</math>
* Cực trị của hàm số bao gồm các điểm cực đại và các điểm cực tiểu của hàm số đó

=== Tính chất 1 ===
Cho hàm số <math>y=f(x)</math> xác định trên <math>D</math>.

* <math>f(x)</math> chỉ có thể đạt cực trị tại các điểm <math>x_i\in D</math> sao cho <math>f'(x_i)=0</math> hoặc không tồn tại <math>f'(x_i)</math> nhưng <math>f(x)</math> liên tục tại <math>x_i</math>.
* Nếu <math>f'(x)</math> đổi dấu từ âm sang dương khi x đi qua <math>x_i</math> theo chiều tăng dần thì hàm số đạt cực tiểu tại <math>x_i</math>
* Nếu <math>f'(x)</math> đổi dấu từ dương sang âm khi x đi qua <math>x_i</math> theo chiều tăng dần thì hàm số đạt cực đại tại <math>x_i</math>

=== Tính chất 2 ===
Cho hàm số <math>y=f(x)</math> và các giá trị <math>x_i</math> sao cho <math>f'(x_i)=0</math>. 

* Nếu <math>f''(x_i)>0</math> thì hàm số đạt cực tiểu tại <math>x_i</math>
* Nếu <math>f''(x_i)<0</math> thì hàm số đạt cực đại tại <math>x_i</math>
* Nếu <math>f''(x_i)=0</math> thì không thể kết luận được gì

==Cực trị hàm nhiều biến==
Điều kiện cần để hàm z= f(x<sub>1</sub>, x<sub>2</sub>,..., x<sub>n</sub>) có cực trị là dz = f<sub>1</sub> dx<sub>1</sub> + f<sub>2</sub> dx<sub>2</sub> +... + f<sub>n</sub> dx<sub>n</sub> = 0<ref name="Chiang336">Fundamental Methods of Mathematical Economics, 3rd Edition, Alpha C Chiang, McGraw-Hill, 1984, page 336</ref>.

dz = 0 khi và chỉ khi f<sub>1</sub> dx<sub>1</sub> = f<sub>2</sub> dx<sub>2</sub> =... = f<sub>n</sub> dx<sub>n</sub> = 0

d<sup>2</sup>z được biểu diễn bằng ma trận Hessian:

:<math> \mathbf{H} = 
 \begin{bmatrix}
 f_{11} & f_{12} & \cdots & f_{1n} \\
 f_{21} & f_{22} & \cdots & f_{2n} \\
 \vdots & \vdots & \ddots & \vdots \\
 f_{n1} & f_{n2} & \cdots & f_{nn}
 \end{bmatrix}.
</math>

Từ ma trận <big>H</big> có các ma trận con <math> \mathbf{H_{1}} = 
 \begin{bmatrix}
 f_{11}
 \end{bmatrix}
</math>, <math> \mathbf{H_{2}} = 
 \begin{bmatrix}
 f_{11} & f_{12} \\
 f_{21} & f_{22}
 \end{bmatrix}
</math>,..., <math> \mathbf{H_{n}} = 
 \begin{bmatrix}
 f_{11} & f_{12} & \cdots & f_{1n} \\
 f_{21} & f_{22} & \cdots & f_{2n} \\
 \vdots & \vdots & \ddots & \vdots \\
 f_{n1} & f_{n2} & \cdots & f_{nn}
 \end{bmatrix}
</math>.

Điều kiện đủ để hàm có cực đại là det(H<sub>1</sub>) < 0, det(H<sub>2</sub>) > 0, det(H<sub>3</sub>) < 0,..., (-1)<sup>n</sup> det(H<sub>n</sub>) > 0<ref name="Chiang336"/>

Điều kiện đủ để hàm có cực tiểu là det(H<sub>1</sub>), det(H<sub>2</sub>), det(H<sub>3</sub>),..., det(H<sub>n</sub>) > 0<ref name="Chiang336"/>

==Tham khảo==
{{tham khảo}}
{{sơ khai}}

[[Thể loại:Giải tích toán học]]
[[Thể loại:Tối ưu hóa (toán học)]]
[[Thể loại:Vi tích phân]]
[[Thể loại:Toán lớp 12]]