两牛相斗(打一数学名词)