判断四边形是梯形的条件是什么?如何证明四边形ABCD是梯形?