个人用英文详细推导证明了“海森矩阵正定是多元函数具有极小值的充要条件”，从一阶导数开始分析，推广至n阶多元函数，利用了泰勒展开定理。