数学定义定理公式(精)