05九春 梯形存在性问题