不是直接從原命題的條件逐步推得命題成立，像這種不是直接證明的方法通常稱為間接證明.

類型一：否定型命題

關(guān)鍵點(diǎn)：對(duì)于結(jié)論否定型命題，由于要證的結(jié)論為否定式，一般正面證明過(guò)程繁瑣而且容易遺漏，則可以考慮用反證法.一般當(dāng)題目中含點(diǎn)評(píng)：用反正證明否定型命題時(shí)，要特別注意將否定性結(jié)論改為肯定性結(jié)論，然后再推理證明進(jìn)一步得出矛盾.

類型二：唯一性問(wèn)題

關(guān)鍵點(diǎn)：用反證法證明“唯一性”問(wèn)題的方法，“唯一性”包含“有一個(gè)”和“除了這個(gè)外沒(méi)有另外一個(gè)”的兩層意思.在證明后一層意思時(shí)，采用直接證明會(huì)很困難，在一般情況下會(huì)采用間接證明方法，即用反證法來(lái)證明.

綜上所述，滿足上述條件的直線有且僅有一條.

點(diǎn)評(píng)：“有且僅有一條”的含義有兩層：（1）存在；（2）唯一.證明存在性只需要找到一條滿足的直線即可，而唯一性的證明，可以采用反證法假設(shè)還有其他滿足條件的直線，根據(jù)直線經(jīng)過(guò)的定點(diǎn)設(shè)出直線的方程，然后聯(lián)立方程組，經(jīng)過(guò)整理，得出矛盾，從而說(shuō)明假設(shè)不成立，即“僅有一條”.

（作者：李秀蘭，張家港市第二中學(xué)）

不是直接從原命題的條件逐步推得命題成立，像這種不是直接證明的方法通常稱為間接證明.

類型一：否定型命題

關(guān)鍵點(diǎn)：對(duì)于結(jié)論否定型命題，由于要證的結(jié)論為否定式，一般正面證明過(guò)程繁瑣而且容易遺漏，則可以考慮用反證法.一般當(dāng)題目中含點(diǎn)評(píng)：用反正證明否定型命題時(shí)，要特別注意將否定性結(jié)論改為肯定性結(jié)論，然后再推理證明進(jìn)一步得出矛盾.

類型二：唯一性問(wèn)題

關(guān)鍵點(diǎn)：用反證法證明“唯一性”問(wèn)題的方法，“唯一性”包含“有一個(gè)”和“除了這個(gè)外沒(méi)有另外一個(gè)”的兩層意思.在證明后一層意思時(shí)，采用直接證明會(huì)很困難，在一般情況下會(huì)采用間接證明方法，即用反證法來(lái)證明.

綜上所述，滿足上述條件的直線有且僅有一條.

點(diǎn)評(píng)：“有且僅有一條”的含義有兩層：（1）存在；（2）唯一.證明存在性只需要找到一條滿足的直線即可，而唯一性的證明，可以采用反證法假設(shè)還有其他滿足條件的直線，根據(jù)直線經(jīng)過(guò)的定點(diǎn)設(shè)出直線的方程，然后聯(lián)立方程組，經(jīng)過(guò)整理，得出矛盾，從而說(shuō)明假設(shè)不成立，即“僅有一條”.

（作者：李秀蘭，張家港市第二中學(xué)）

不是直接從原命題的條件逐步推得命題成立，像這種不是直接證明的方法通常稱為間接證明.

類型一：否定型命題

關(guān)鍵點(diǎn)：對(duì)于結(jié)論否定型命題，由于要證的結(jié)論為否定式，一般正面證明過(guò)程繁瑣而且容易遺漏，則可以考慮用反證法.一般當(dāng)題目中含點(diǎn)評(píng)：用反正證明否定型命題時(shí)，要特別注意將否定性結(jié)論改為肯定性結(jié)論，然后再推理證明進(jìn)一步得出矛盾.

類型二：唯一性問(wèn)題

關(guān)鍵點(diǎn)：用反證法證明“唯一性”問(wèn)題的方法，“唯一性”包含“有一個(gè)”和“除了這個(gè)外沒(méi)有另外一個(gè)”的兩層意思.在證明后一層意思時(shí)，采用直接證明會(huì)很困難，在一般情況下會(huì)采用間接證明方法，即用反證法來(lái)證明.

綜上所述，滿足上述條件的直線有且僅有一條.

點(diǎn)評(píng)：“有且僅有一條”的含義有兩層：（1）存在；（2）唯一.證明存在性只需要找到一條滿足的直線即可，而唯一性的證明，可以采用反證法假設(shè)還有其他滿足條件的直線，根據(jù)直線經(jīng)過(guò)的定點(diǎn)設(shè)出直線的方程，然后聯(lián)立方程組，經(jīng)過(guò)整理，得出矛盾，從而說(shuō)明假設(shè)不成立，即“僅有一條”.

（作者：李秀蘭，張家港市第二中學(xué)）