2012届高考数学第一轮充要条件与反证法