梯形性质归纳