数学定义定理公式