跟证明一元导数存在一样的方法,直接用定义,比如证（a,b）点,证X用对X的极限,此时Y＝b可以直接代入,剩下的就跟一元一样了