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

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