刀口打一数学名词