这题可以用反证法证明，如果证不出来，就是题出错了。
也就是说这题是利用特殊梯形出的题，
删减条件，未必能保证条件充要。
--
FROM 114.254.1.*