อุปนัยทางคณิตศาสตร์เป็นวิธีการพิสูจน์ที่ใช้แสดงว่าข้อความหนึ่งเป็นจริงสำหรับจำนวนเต็มทุกตัวตั้งแต่ค่าตั้งต้นค่าหนึ่งเป็นต้นไป หากต้องการพิสูจน์ข้อความสำหรับทุก คุณต้องแสดงว่ากรณีแรกเป็นจริง และแสดงต่อว่าถ้าจริงที่จำนวนเต็มตัวหนึ่งแล้ว จะบังคับให้จริงที่จำนวนเต็มตัวถัดไปด้วย
ถ้าทั้งสองส่วนถูกต้อง ข้อความนั้นก็จะเป็นจริงสำหรับจำนวนเต็มทุกตัวในช่วงที่ระบุ นี่คือแนวคิดทั้งหมดของวิธีนี้
อุปนัยทางคณิตศาสตร์ทำงานอย่างไร
เขียนข้อความที่ต้องการพิสูจน์ในรูป แล้วโครงสร้างของการพิสูจน์แบบอุปนัยจะเป็นดังนี้:
- พิสูจน์ กรณีฐาน: แสดงว่า เป็นจริง
- พิสูจน์ ขั้นอุปนัย: แสดงว่าถ้า เป็นจริงสำหรับจำนวนเต็มใด ๆ แล้ว ก็เป็นจริงด้วย
เมื่อทำครบสองส่วนนี้แล้ว คุณจึงสรุปได้ว่า เป็นจริงสำหรับจำนวนเต็มทุกตัว
ตรรกะของวิธีนี้เป็นแบบต่อเนื่อง กรณีฐานเป็นจุดเริ่มของโซ่ และขั้นอุปนัยทำให้โซ่นั้นเดินหน้าต่อไปทีละจำนวนเต็ม
ทำไมกรณีฐานและขั้นอุปนัยจึงสำคัญทั้งคู่
กรณีฐานให้ข้อความจริงตัวแรก ส่วนขั้นอุปนัยบอกว่าความจริงส่งต่อจากจำนวนเต็มตัวหนึ่งไปยังตัวถัดไปได้
ดังนั้นถ้า เป็นจริง ก็จะได้ว่า เป็นจริง จากนั้น ก็เป็นจริงต่อไปเรื่อย ๆ การพิสูจน์แบบอุปนัยจะไม่ข้ามจุดเริ่มต้น และไม่ข้ามการเชื่อมจากกรณีหนึ่งไปยังกรณีถัดไป
ตัวอย่างทำจริง: พิสูจน์สูตรผลบวกด้วยอุปนัย
ตัวอย่างมาตรฐานคือสูตร
สำหรับจำนวนเต็มทุกตัว
ให้
กรณีฐาน
ให้ ด้านซ้ายมีค่าเป็น และด้านขวาคือ
ดังนั้น เป็นจริง
ขั้นอุปนัย
สมมติว่า เป็นจริงสำหรับจำนวนเต็มใด ๆ ตัวหนึ่ง นั่นคือ
ตอนนี้พิสูจน์ เริ่มจากด้านซ้ายของกรณี :
ใช้สมมติฐานอุปนัย จะได้ว่า
ดึง ออกเป็นตัวประกอบ:
จากนั้นจัดรูปอย่างง่าย:
ซึ่งตรงกับสูตรเดิมเมื่อ พอดี ดังนั้น เป็นจริง
เมื่อพิสูจน์ได้ทั้งกรณีฐานและขั้นอุปนัยแล้ว สูตรนี้จึงเป็นจริงสำหรับจำนวนเต็มทุกตัว
ควรใช้อุปนัยทางคณิตศาสตร์เมื่อไร
อุปนัยมีประโยชน์เมื่อข้อความขึ้นอยู่กับพารามิเตอร์ที่เป็นจำนวนเต็ม และแต่ละกรณีเชื่อมโยงกับกรณีก่อนหน้าได้อย่างเป็นธรรมชาติ เรื่องนี้พบได้บ่อยในผลบวก ข้อความเกี่ยวกับการหารลงตัว อสมการ ความสัมพันธ์เวียนเกิด และการพิสูจน์อัลกอริทึม
อันดับแรก ให้ระบุค่าตั้งต้นที่ถูกต้องก่อน บางข้อความเริ่มที่ บางข้อความเริ่มที่ และบางข้อความจะมีความหมายก็ต่อเมื่อ มีค่ามากกว่านั้น
จากนั้นตรวจสอบว่ากรณีถัดไปที่ถูกต้องคืออะไร โดยทั่วไปจะเป็นการก้าวจาก ไป แต่ถ้าข้อความกล่าวถึงเฉพาะจำนวนเต็มคู่ การก้าวจาก ไป อาจเป็นรูปแบบที่เหมาะสมกว่า
ข้อผิดพลาดที่พบบ่อยในการพิสูจน์แบบอุปนัย
พิสูจน์แค่กรณีฐาน
กรณีฐานตรวจสอบเพียงค่าตัวแรกเท่านั้น ถ้ามีแค่นี้อย่างเดียว ยังพิสูจน์ไม่ได้ว่าข้อความเป็นจริงสำหรับจำนวนเต็มตัวถัด ๆ ไป
ใช้ค่าตั้งต้นผิด
ถ้าข้อความต้องการสำหรับทุก การพิสูจน์เพียง ก็ไม่ช่วยอะไร กรณีฐานต้องตรงกับช่วงจริงของข้อความที่ต้องการพิสูจน์
ใช้สมมติฐานอุปนัยอย่างไม่ระมัดระวัง
ในขั้นอุปนัย คุณสมมติ สำหรับจำนวนเต็มใด ๆ ตัวหนึ่ง ที่อยู่ในช่วงที่ถูกต้อง คุณไม่ได้สมมติว่าทฤษฎีบททั้งหมดถูกพิสูจน์แล้ว
พิสูจน์กรณีถัดไปผิดตัว
ถ้าทฤษฎีบทของคุณต้องการขั้น การพิสูจน์ขั้นแบบอื่นจะยังไม่ทำให้การพิสูจน์สมบูรณ์ เว้นแต่คุณจะอธิบายว่าทำไมขั้นแบบนั้นจึงเพียงพอ
ส่วนขยายที่มีประโยชน์: อุปนัยเชิงแก่
บางครั้งการพิสูจน์ ต้องใช้มากกว่าแค่ ในสถานการณ์แบบนั้น อุปนัยเชิงแก่ จะให้คุณสมมติได้ว่าทุกกรณีก่อนหน้าจนถึง เป็นจริง แล้วจึงพิสูจน์กรณีถัดไป
แนวคิดนี้เกี่ยวข้องอย่างใกล้ชิดกับอุปนัยแบบปกติ แต่สมมติฐานจะแข็งแรงกว่า ตัวอย่างเช่น มันมีประโยชน์เมื่อการพิสูจน์ต้องอาศัยการแยกจำนวนหนึ่งออกเป็นส่วนที่เล็กกว่า
ลองพิสูจน์ด้วยตัวเอง
พิจารณาข้อความ
แล้วพิสูจน์ว่าสำหรับจำนวนเต็มทุกตัว โดยใช้โครงสร้างเดียวกัน: เริ่มจากกรณีฐาน แล้วตามด้วยขั้นจาก ไป ถ้าคุณเขียนการพิสูจน์นี้ได้อย่างชัดเจน วิธีนี้ก็มักจะเริ่มเข้าใจได้จริง
ต้องการความช่วยเหลือในการแก้โจทย์?
อัปโหลดคำถามของคุณแล้วรับคำตอบแบบทีละขั้นตอนที่ผ่านการตรวจสอบในไม่กี่วินาที
เปิด GPAI Solver →