高一数学反证法怎么用?