梯形的存在性问题