直接證明

1、綜合法

(1)定義：一般地，利用已知條件和某些數(shù)學(xué)定義、公理、定理等，經(jīng)過一系列的推理論證，最后推導(dǎo)出所要證明的結(jié)論成立，這種證明方法叫做綜合法。

(2)綜合法的特點(diǎn)：綜合法又叫“順推證法”或“由因?qū)Чā?。它是從已知條件和某些學(xué)過的定義、公理、公式、定理等出發(fā)，通過推導(dǎo)得出結(jié)論。

2、分析法

(1)定義：一般地，從要證明的結(jié)論出發(fā)，逐步尋求使它成立的充分條件，直至最后，把要證明的結(jié)論歸結(jié)為判定一個(gè)明顯成立的條件(已知條件、定理、定義、公理等)為止，這種證明的方法叫做分析法。

(2)分析法的特點(diǎn)：分析法又叫“逆推證法”或“執(zhí)果索因法”。它是要證明結(jié)論成立，逐步尋求推證過程中，使每一步成立的充分條件，直到最后，把要證明的結(jié)論歸結(jié)為判定一個(gè)明顯成立的條件(已知條件、定理、定義、公理等)為止。

間接證明

反證法

1、定義：

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

2、反證法的特點(diǎn)：

反證法是間接證明的一種基本方法。它是先假設(shè)要證的命題不成立，即結(jié)論的反面成立，在已知條件和“假設(shè)”這個(gè)新條件下，通過邏輯推理，得出與定義、公理、定理、已知條件、臨時(shí)假設(shè)等相矛盾的結(jié)論，從而判定結(jié)論的反面不能成立，即證明了命題的結(jié)論一定是正確的。

3、反證法的優(yōu)點(diǎn)：

對原結(jié)論否定的假定的提出，相當(dāng)于增加了一個(gè)已知條件。

4、反證法主要適用于以下兩種情形：

(1)要證的結(jié)論與條件之間的聯(lián)系不明顯，直接由條件推出結(jié)論的線索不夠清晰;

(2)如果從正面證明，需要分成多種情形進(jìn)行分類討論，而從反面進(jìn)行證明，只要研究一種或很少的幾種情形

其他相關(guān)信息另外，證據(jù)法中證明的概念由于其法學(xué)特性而不同于其他證明含義。

證明：是指訴訟主體按照法定的程序和標(biāo)準(zhǔn)，運(yùn)用已知的證據(jù)和事實(shí)來認(rèn)定案件的活動(dòng)。