怎么用梯形四条边长度证明梯形成立