微积分中存在性问题的证明方法