展开 数学定理定义引导语