從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133732
本篇範圍：Chapter 5
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Fermat Last Theorem
費馬大定理： a ^ n + b ^ n = c ^ n。當 n > 2 時，不存在任何一組 a,b,c 為正整數的解
在這之前，已經透過電腦嘗試在 400 萬內的質數，此論述都是正確。但無法確定你有無可能找到一個反例，說明它是錯誤的。截至 1995 年，才成功證明此論述是正確的。
Exhaustive Proof
窮舉法：把所有的可能性都列出來，看有無合乎論述。換言之，若有無限個可能性，那就無法使用此方法
舉例： 假定 x 為正整數，那可推論當 x < 5 時，則 x 也小於 7 。
你可以將所有的可能性，如 1,2,3,4 給列出，然後這些值每一個都小於 7 。因此此論述是正確的
