反證法的一般步驟：

(1)反設(shè)——_________．

(2)歸謬——_________．

(3)存真——_________．

反證法的證明過(guò)程為“否定——_________——_________”．

反證法：一般地，假設(shè)原命題不成立．經(jīng)過(guò)正確的推理，最后得出矛盾，因此說(shuō)明假設(shè)錯(cuò)誤，從而證明了原命題成立，這樣的證明方法叫做_________(reducation to absurdity)．

不是直接從命題的條件逐步推得命題成立，這種不是直接證明的方法稱為_(kāi)________(indirect proof)．_________就是一種常用的間接證明方法．

從問(wèn)題的結(jié)論出發(fā)，追溯導(dǎo)致結(jié)論成立的條件，逐步上溯，直到使結(jié)論成立的條件與已知條件吻合為止．這種證明方法稱為_(kāi)________．

從已知條件出發(fā)，以已知的_________為依據(jù)，逐步下推，直到推出要證明的結(jié)論為止，這種證明方法稱為綜合法．

直接從原命題的條件逐步推得命題成立的，這種證明稱為_(kāi)________(direct proof)．

如圖，平面中兩條直線l₁和l₂相交于點(diǎn)O，對(duì)于平面上任意一點(diǎn)M，若p、q分別是M到直線l₁和l₂的距離，則稱有序非負(fù)實(shí)數(shù)對(duì)(p、q)是點(diǎn)M的“距離坐標(biāo)”，根據(jù)上述定義，“距離坐標(biāo)”是(1，2)的點(diǎn)的個(gè)數(shù)是_________．

在推理a＞b，b＞ca＞c中，前提是_________，結(jié)論是_________．

三段論中包含了3個(gè)命題，第一個(gè)命題稱為——_________，它提供了一個(gè)一般性的原理；

第二個(gè)命題叫_________，它指出了一個(gè)特殊對(duì)象．這兩個(gè)判斷結(jié)合起來(lái)，揭示一般原理與特殊對(duì)象的內(nèi)在聯(lián)系，從而得到第三個(gè)命題——_________．