反证法与放缩法ppt课件