直接證明

直接證明，又叫推導，係數學證明嘅方法之一，亦都係最普及同埋常用嘅。有句話：「有時最直接嘅解決方法係最簡單。」就正正最可以代表直接證明。呢個證明方法係先揾出一啲數學家覺得唔使證明都可以當係真嘅命題或者之前已經證明咗嘅定理，用純邏輯推理去推個結論出嚟。

概念 
大部分定理都可以分做「如果  成立，咁  就成立。」如果  令到  成立，而  令到  成立，如此類推。最後  令到  成立，咁樣。

利用邏輯運算字表達嘅話係：

例子 
證明：「假設整數 。如果  係單數，咁樣  都係單數。」
如果係單數，即係話對應任何整數，。

由此，

所以，係單數。 
證明：「任何兩個實數 。如果 ，咁樣 。」

草稿：其實係點樣諗到個證明呢？利用下面呢條式，睇下係唔係真係 。

利用上面：

證明方程相等 
如果要證明一條方程相等，除咗正常嘅左面等於右面之外，亦可以利用以下幾個方法：

同埋 
  同埋 
例子：「證明 。」

利用同嘅定義證明，留意畢氏定理嘅應用。

同上面差唔多，

雙向式證明

雙向式定義 
雙向式係邏輯上嘅一類句字，佢係指嗰句句子無論順方向定係逆方向都啱嘅。喺數學語言上佢係用邏輯運算子嚟代表嘅。

一般句字都未必係雙向，例如話：「老母係女人。」但係，女人未必係老母。用邏輯運算子嚟表達， 唔代表 。

因此，證明雙向式需要證明兩個方向，同埋 。

例子 
證明：「假設 ，咁 。  」

證明一個集係另一個集嘅子集 

假設一個數學家想要證明一個集  係另一個集  嘅子集，即係要證明 。如果喺  入面搵任何一粒嘢 ，佢同時又係  嘅嘢嘅話，咁就證明到 。

例子：「證明任何兩個集 、，」 

揀任何一粒嘢 。

證明兩個集相等 

如果想要證明兩個集 、 係一樣嘅，就需要證明  同埋 ，咁樣先至可以話 。

更多例子 
以下幾個證明都可以利用直接證明好簡單就搞掂：
 如果  係雙數，咁  就唔會係質數。
 兩個連續單數加埋係四嘅倍數。
 如果  係一個由  射去  嘅函數。設  同  都係  嘅子集。咁，都係成立。
 如果 、 同  都係集，咁、同都成立。
 如果  同  都係  嘅子集，。

分類證明
 矛盾證明
 數學歸納法
 否定證明

參考 
 Barwise, J. (Ed.). (1982). Handbook of mathematical logic (Vol. 90). Elsevier.

數學
證明方法
邏輯