คณิตศาสตร์เป็นวิชาที่มีความเป็นเหตุและผล และมีหลักการทางความคิดอย่างเป็นระบบ เชื่อว่าผู้อ่านบทความนี้คงเคยได้ศึกษาวิชานี้ คงเคยได้ผ่านกระบวนการหนึ่งทางคณิตศาสตร์มาบ้าง นั่นคือ การพิสูจน์ทางคณิตศาสตร์นั่นเอง
การพิสูจน์ (Proof) มีความหมายที่มาจากภาษาละตินว่า “ทดสอบ” เราทราบกันดีว่าในระบบคณิตศาสตร์นั้น ทฤษฎีบท (theorems) คือประพจน์ที่ได้มีการพิสูจน์แล้วว่าเป็นจริง ซึ่งสามารถนำไปใช้ประโยชน์ในการหาคำตอบทางคณิตศาสตร์หรือนำไปใช้พิสูจน์ทฤษฎีบทอื่นต่อได้นั่นเอง
ทั้งหมดประมาณ 4 รูปแบบ ดังนี้
- การพิสูจน์โดยตรง (Direct proof)
- การหาข้อขัดแย้ง (Proof by contradiction)
- การแย้งสลับที่ (Contrapositive)
- การพิสูจน์โดยใช้อุปนัยเชิงคณิตศาสตร์ (Mathematical induction)
-ขอบคุณแหล่งที่มา
https://www.scimath.org