初中数学九年级《反证法》公开课教学设计