構造法

構造法係數學證明嘅一種方法，一般係用嚟證明一啲存在性定理－用呢個證明嗰陣，用嗰個人會諗出一件有得用數學描述嘅物件出嚟，列出佢有啲乜嘢特性，再證明一件有呢啲數學物性嘅物件係存在嘅。佢條思路係噉嘅：

揾到有一個情況下，命題  係啱嘅；
 證明到「喺至少一個情況下，命題  係啱嘅」。

例子
要求：證明「唔係所有單數都係質數」。

重點就係要揾個唔係質數嘅單數出嚟。

9 係個好簡單嘅例子，佢符合單數嘅定義，但又唔係質數。

即係話揾到有一個情況下，命題  係啱嘅，噉就證明咗「唔係所有單數都係質數」呢句命題。

攷

數學證明