梯形蝴蝶定理证明过程