费马引理给出了多元函数极值的必要条件，极值的充分条件由黑塞矩阵的正定性决定。本节介绍黑塞矩阵的定义与性质，以及它与多元函数极值、凹凸性的关系。