ผู้ใช้:Phizaz/การอุปนัยเชิงคณิตศาสตร์

การอุปนัยเชิงคณิตศาสตร์มีความคล้ายคลึงกับการล้มของโดมิโน

การอุปนัยเชิงคณิตศาสตร์ (อังกฤษ: Mathematical induction) คือวิธีในการพิสูจน์เชิงคณิตศาสตร์ มักจะใช้สำหรับการแสดงให้จริงสำหรับคำกล่าวที่มีขอบเขตอยู่บนจำนวนนับ การอุปนัยเชิงคณิตศาสตร์ นั้นสามารถแสดงให้เห็นจริงได้ด้วยสองขั้นตอน ขั้นแรก หรือเรียกว่า กรณีพื้น แสดงว่าคำกล่าวที่ให้มานั้นเป็นจริงสำหรับจำนวนนับตัวแรก ขั้นที่สอง หรือเรียกว่า ขั้นอุปนัย ซึ่งต้องแสดงว่าคำกล่าวที่ให้มานั้นหากเป็นจริงสำหรับจำนวนนับตัวใดแล้ว จะต้องเป็นจริงสำหรับจำนวนนับตัวถัดไปด้วย จากสองขั้นตอนนี้ก็เพียงพอที่จะพิสูจน์ว่าคำกล่าวนั้นเป็นจริงสำหรับจำนวนนับใด ๆ