A.3 支持向量机的数学推导