微分介值性命题证明中辅助函数构造两法

• Two Constructive Methods of Auxiliary Functions in The Proof of Differential Intermediate Value Propositions