พิสูจน์ว่า √2 เป็นจำนวนอตรรกยะอย่างไร อธิบายแบบเข้าใจง่ายพร้อมขั้นตอนการพิสูจน์ครบทุกบรรทัด

พิสูจน์ว่า $sqrt{2}$ เป็นจำนวนอตรรกยะอย่างไร เข้าใจง่ายในสไตล์พี่กฤษณ์ครับ

ทำความรู้จักกับจำนวนตรรกยะและอตรรกยะกันก่อนครับ

ก่อนที่เราจะไปลุยการพิสูจน์ พี่อยากให้น้องๆ ทบทวนความรู้พื้นฐานเกี่ยวกับประเภทของจำนวนกันก่อนครับ เพราะนี่คือหัวใจสำคัญของการทำความเข้าใจการพิสูจน์นี้เลยครับ

จำนวนตรรกยะ (Rational Numbers)

จำนวนตรรกยะ คือ จำนวนที่เราสามารถเขียนให้อยู่ในรูปของเศษส่วน $frac{a}{b}$ ได้ครับ โดยที่ a และ b เป็นจำนวนเต็ม และเงื่อนไขสำคัญคือ b จะต้องไม่เท่ากับ 0 ครับ นอกจากนี้ เรามักจะกำหนดให้เศษส่วนนั้นเป็นรูปอย่างต่ำที่สุด หรือกล่าวคือ a และ b ไม่มีตัวประกอบร่วมกันนอกจาก 1 ครับ

• ตัวอย่างจำนวนตรรกยะ:
  • $3 = frac{3}{1}$ (จำนวนเต็มทุกจำนวนเป็นจำนวนตรรกยะครับ)
  • $0.5 = frac{1}{2}$ (ทศนิยมรู้จบเป็นจำนวนตรรกยะครับ)
  • $0.333… = frac{1}{3}$ (ทศนิยมซ้ำเป็นจำนวนตรรกยะครับ)

จำนวนอตรรกยะ (Irrational Numbers)

จำนวนอตรรกยะ คือ จำนวนที่เรา ไม่สามารถ เขียนให้อยู่ในรูปของเศษส่วน $frac{a}{b}$ ได้เลยครับ เมื่อเขียนเป็นทศนิยมแล้ว จำนวนอตรรกยะจะเป็นทศนิยมไม่รู้จบและไม่ซ้ำกันครับ

• ตัวอย่างจำนวนอตรรกยะ:
  • $sqrt{2}$ (ที่เรากำลังจะพิสูจน์นี่แหละครับ)
  • $pi$ (ค่าคงที่ของวงกลม ประมาณ 3.14159…)
  • $e$ (ฐานของลอการิทึมธรรมชาติ ประมาณ 2.71828…)
  • $sqrt{3}, sqrt{5}$ (รากที่สองของจำนวนเฉพาะที่ไม่ใช่กำลังสองสมบูรณ์)

หลักการ “การพิสูจน์โดยข้อขัดแย้ง” (Proof by Contradiction)

การพิสูจน์ว่า $sqrt{2}$ เป็นจำนวนอตรรกยะนั้น เราจะใช้วิธีที่เรียกว่า “การพิสูจน์โดยข้อขัดแย้ง” หรือ Proof by Contradiction ครับ วิธีการนี้เป็นเทคนิคที่ทรงพลังมากในคณิตศาสตร์ และน้องๆ จะได้เจออีกบ่อยๆ เลยครับ หลักการง่ายๆ ของมันคือ:

1. สมมติในสิ่งที่ตรงกันข้ามกับสิ่งที่เราต้องการพิสูจน์ก่อนครับ เช่น ถ้าเราอยากพิสูจน์ว่า A เป็นจริง เราก็สมมติว่า A เป็นเท็จไปเลยครับ
2. จากสมมติฐานที่เราตั้งขึ้นมานั้น ให้เราดำเนินการทางตรรกะและคณิตศาสตร์ไปเรื่อยๆ ครับ
3. หากท้ายที่สุดแล้ว การดำเนินการของเรานำไปสู่ข้อความที่ขัดแย้งกันเอง (เช่น ได้ข้อสรุปว่า 1=2 หรืออะไรที่มันเป็นไปไม่ได้)
4. นั่นหมายความว่าสมมติฐานเริ่มต้นที่เราตั้งขึ้นมานั้นเป็นเท็จครับ และดังนั้น สิ่งที่เราต้องการพิสูจน์แต่แรก (A เป็นจริง) ก็ต้องเป็นจริงนั่นเองครับ

วิธีนี้ฟังดูเหมือนอ้อมๆ แต่จริงๆ แล้วมันช่วยให้เราไม่ต้องงมหาทางพิสูจน์โดยตรง ซึ่งบางครั้งมันยากมากๆ ครับ

มาเริ่มพิสูจน์ว่า $sqrt{2}$ เป็นจำนวนอตรรกยะกันเลยครับ

พร้อมแล้วใช่ไหมครับน้องๆ มาเริ่มพิสูจน์ไปพร้อมกับพี่กฤษณ์เลยครับ

สมมติฐานเริ่มต้น:

เราต้องการพิสูจน์ว่า $sqrt{2}$ เป็นจำนวนอตรรกยะ ดังนั้น ตามหลักการพิสูจน์โดยข้อขัดแย้ง เราจะสมมติในสิ่งที่ตรงกันข้ามครับ นั่นคือ สมมติให้ $sqrt{2}$ เป็นจำนวนตรรกยะ ครับ

ขั้นตอนที่ 1: การเขียนในรูปเศษส่วนอย่างต่ำ

ถ้า $sqrt{2}$ เป็นจำนวนตรรกยะจริง เราจะต้องสามารถเขียน $sqrt{2}$ ให้อยู่ในรูปเศษส่วนอย่างต่ำได้ ดังนี้ครับ

$sqrt{2} = frac{a}{b}$

โดยที่ a และ b เป็นจำนวนเต็ม และ b ไม่เท่ากับ 0 ครับ และที่สำคัญที่สุดคือ a และ b ไม่มีตัวประกอบร่วมกันนอกจาก 1 ครับ หรือเราเรียกว่า a และ b เป็นจำนวนเฉพาะสัมพัทธ์ (coprime) กันครับ

ขั้นตอนที่ 2: จัดรูปสมการ

จากสมการ $sqrt{2} = frac{a}{b}$ เราจะยกกำลังสองทั้งสองข้างของสมการครับ

$(sqrt{2})^2 = left(frac{a}{b}right)^2$
$2 = frac{a^2}{b^2}$

จากนั้นย้ายข้างสมการ จะได้ว่า

$a^2 = 2b^2$

ขั้นตอนที่ 3: วิเคราะห์สมบัติของ $a^2$ และ $a$

จากสมการ $a^2 = 2b^2$ เราจะเห็นว่า $a^2$ มี 2 เป็นตัวประกอบ นั่นหมายความว่า $a^2$ เป็น จำนวนคู่ ครับ

และถ้า $a^2$ เป็นจำนวนคู่แล้ว a ก็จะต้องเป็น จำนวนคู่ ด้วยครับ

น้องๆ อาจจะสงสัยว่าทำไมใช่ไหมครับ ลองคิดดูนะครับ

• ถ้า a เป็นจำนวนคี่ (เช่น 3, 5, 7) เมื่อยกกำลังสอง ($3^2=9, 5^2=25, 7^2=49$) ผลลัพธ์ที่ได้ก็จะเป็นจำนวนคี่เสมอครับ
• ดังนั้น ถ้า $a^2$ เป็นจำนวนคู่ นั่นหมายความว่า a จะเป็นจำนวนคี่ไม่ได้เลยครับ a จึงต้องเป็นจำนวนคู่เท่านั้นครับ

เมื่อ a เป็นจำนวนคู่ เราจึงสามารถเขียน a ในรูป $a = 2k$ ได้ สำหรับบางจำนวนเต็ม k ครับ

ขั้นตอนที่ 4: แทนค่า $a$ กลับเข้าไปในสมการ

จากสมการ $a^2 = 2b^2$ เราจะแทนค่า $a = 2k$ ลงไปครับ

$(2k)^2 = 2b^2$

กระจายกำลังสอง จะได้

$4k^2 = 2b^2$

จากนั้นหารทั้งสองข้างด้วย 2 ครับ

$2k^2 = b^2$

ขั้นตอนที่ 5: วิเคราะห์สมบัติของ $b^2$ และ $b$

จากสมการ $b^2 = 2k^2$ เราจะเห็นว่า $b^2$ มี 2 เป็นตัวประกอบ นั่นหมายความว่า $b^2$ เป็น จำนวนคู่ ครับ

และเช่นเดียวกับ a ถ้า $b^2$ เป็นจำนวนคู่แล้ว b ก็จะต้องเป็น จำนวนคู่ ด้วยครับ

ขั้นตอนที่ 6: เกิดข้อขัดแย้ง!

ตอนนี้เราได้ข้อสรุปที่น่าสนใจ 2 ข้อครับ:

• จากขั้นตอนที่ 3: เราได้ว่า a เป็นจำนวนคู่
• จากขั้นตอนที่ 5: เราได้ว่า b เป็นจำนวนคู่

ถ้า a และ b ทั้งคู่เป็นจำนวนคู่ นั่นหมายความว่าทั้ง a และ b ต่างก็มี 2 เป็นตัวประกอบร่วมกันครับ

แต่เดี๋ยวก่อนนะครับน้องๆ! จำสมมติฐานเริ่มต้นของเราในขั้นตอนที่ 1 ได้ไหมครับ เรากำหนดให้ a และ b เป็นจำนวนเต็มที่ไม่มีตัวประกอบร่วมกันนอกจาก 1 (หรือเป็นเศษส่วนอย่างต่ำ) ครับ

ดังนั้น การที่ a และ b ทั้งคู่เป็นจำนวนคู่ และมี 2 เป็นตัวประกอบร่วมกัน จึงเป็นข้อขัดแย้งกับสมมติฐานเริ่มต้นของเราอย่างชัดเจนครับ!

ข้อสรุป:

เนื่องจากสมมติฐานเริ่มต้นของเราที่ว่า $sqrt{2}$ เป็นจำนวนตรรกยะ ได้นำไปสู่ข้อขัดแย้ง เราจึงสามารถสรุปได้ว่าสมมติฐานนั้นเป็นเท็จครับ

ดังนั้น $sqrt{2}$ ไม่ใช่จำนวนตรรกยะ แต่เป็น จำนวนอตรรกยะ นั่นเองครับ พิสูจน์ได้สำเร็จแล้วครับ!

ทำไมการพิสูจน์นี้ถึงสำคัญและมีประโยชน์ครับ?

การพิสูจน์ว่า $sqrt{2}$ เป็นจำนวนอตรรกยะนี้มีความสำคัญในหลายแง่มุมเลยครับ

• แสดงให้เห็นพลังของ Proof by Contradiction: น้องๆ ได้เห็นแล้วว่าการพิสูจน์ทางอ้อมสามารถพาเราไปสู่ข้อสรุปที่ถูกต้องได้อย่างไร มันเป็นเครื่องมือที่มีประสิทธิภาพสำหรับการแก้ปัญหาในคณิตศาสตร์ที่ซับซ้อนครับ
• เป็นรากฐานของความเข้าใจประเภทของจำนวน: มันช่วยให้เราเข้าใจว่าจำนวนไม่ได้มีแค่ “เต็ม” หรือ “เศษส่วน” เท่านั้น แต่ยังมีจำนวนอีกประเภทที่แปลกและน่าสนใจซ่อนอยู่ครับ
• ปูทางสู่การศึกษาจำนวนอตรรกยะอื่นๆ: เมื่อเราเข้าใจการพิสูจน์สำหรับ $sqrt{2}$ เราจะสามารถขยายแนวคิดนี้ไปใช้พิสูจน์ว่า $sqrt{3}$, $sqrt{5}$ หรือรากที่สองของจำนวนเฉพาะใดๆ ก็เป็นจำนวนอตรรกยะได้ด้วยวิธีเดียวกันครับ
• ความสวยงามทางคณิตศาสตร์: การพิสูจน์นี้เป็นตัวอย่างที่สวยงามของการใช้เหตุผลเชิงตรรกะเพื่อเปิดเผยความจริงทางคณิตศาสตร์ที่อาจไม่ปรากฏชัดเจนในตอนแรกครับ

ข้อผิดพลาดที่พบบ่อยในการทำความเข้าใจการพิสูจน์นี้ครับ

แม้ว่าการพิสูจน์นี้จะดูเป็นระบบและชัดเจน แต่ก็มีบางจุดที่น้องๆ มักจะพลาดหรือสับสนได้ครับ:

• ลืมกำหนดให้ $a$ และ $b$ เป็นเศษส่วนอย่างต่ำ (coprime): นี่คือหัวใจสำคัญของการสร้างข้อขัดแย้งครับ ถ้าเราไม่ได้กำหนดเงื่อนไขนี้ตั้งแต่แรก เราก็จะสรุปไม่ได้ว่าการที่ $a$ และ $b$ มี 2 เป็นตัวประกอบร่วมกันนั้นเป็นข้อขัดแย้งครับ
• สับสนระหว่าง $a$ เป็นคู่ $rightarrow a^2$ เป็นคู่ กับ $a^2$ เป็นคู่ $rightarrow a$ เป็นคู่: สองข้อความนี้ดูคล้ายกันแต่ไม่เหมือนกันเป๊ะนะครับ การพิสูจน์นี้อาศัยข้อความที่ว่า “ถ้า $a^2$ เป็นจำนวนคู่ แล้ว $a$ ก็ต้องเป็นจำนวนคู่ด้วย” ครับ ซึ่งต้องอธิบายให้ชัดเจนถึงเหตุผลที่เราทำไปในขั้นตอนที่ 3 ครับ
• ไม่เข้าใจว่า “ข้อขัดแย้ง” คืออะไร: ข้อขัดแย้งคือการที่เราได้ข้อสรุปที่ขัดแย้งกับสิ่งที่เราสมมติไว้ตั้งแต่ต้นครับ ถ้าไม่มีข้อขัดแย้ง ก็ไม่มีการพิสูจน์โดยข้อขัดแย้งเกิดขึ้นครับ

การประยุกต์ใช้แนวคิดจำนวนอตรรกยะในชีวิตประจำวันและคณิตศาสตร์อื่นๆ ครับ

น้องๆ อาจจะคิดว่าจำนวนอตรรกยะดูเป็นเรื่องไกลตัว แต่จริงๆ แล้วมันปรากฏอยู่รอบตัวเราและมีความสำคัญในหลายสาขาครับ

• ในเรขาคณิต: น้องๆ เคยลองวาดรูปสามเหลี่ยมมุมฉากที่มีด้านประกอบมุมฉากยาวด้านละ 1 หน่วยไหมครับ ด้านตรงข้ามมุมฉากนั้นจะมีค่ายาวเท่ากับ $sqrt{1^2+1^2} = sqrt{2}$ หน่วยครับ ซึ่งเป็นจำนวนอตรรกยะ แสดงให้เห็นว่าความยาวบางอย่างในธรรมชาติไม่สามารถแสดงด้วยเศษส่วนง่ายๆ ได้ครับ นอกจากนี้ สัดส่วนทองคำ (Golden Ratio, $phi$) ที่พบบ่อยในศิลปะและธรรมชาติก็เป็นจำนวนอตรรกยะเช่นกันครับ
• ค่าคงที่ทางคณิตศาสตร์: ค่า $pi$ (ประมาณ 3.14159…) ที่ใช้ในการคำนวณวงกลม และค่า $e$ (ประมาณ 2.71828…) ที่สำคัญในการคำนวณการเติบโตแบบทบต้นและฟังก์ชันเอกซ์โพเนนเชียล ก็เป็นจำนวนอตรรกยะที่สำคัญมากครับ
• ในวิทยาศาสตร์และวิศวกรรม: ในสาขาฟิสิกส์ วิศวกรรมศาสตร์ และวิทยาการคอมพิวเตอร์ เรามักจะต้องทำงานกับค่าที่แม่นยำสูง ซึ่งอาจเกี่ยวข้องกับจำนวนอตรรกยะเหล่านี้ครับ แม้ว่าในการใช้งานจริงเราจะใช้ค่าประมาณ แต่การเข้าใจถึงธรรมชาติของจำนวนเหล่านี้เป็นสิ่งสำคัญในการพัฒนาทฤษฎีและโมเดลต่างๆ ครับ

สรุปแนวคิดสำคัญครับ

วันนี้เราได้เรียนรู้เรื่องสำคัญ 2 อย่างเลยนะครับน้องๆ

• ความแตกต่างระหว่างจำนวนตรรกยะและอตรรกยะ: จำนวนตรรกยะเขียนในรูปเศษส่วนได้ แต่จำนวนอตรรกยะเขียนไม่ได้ครับ
• หลักการพิสูจน์โดยข้อขัดแย้ง: สมมติสิ่งตรงข้าม -> ดำเนินการทางตรรกะ -> พบข้อขัดแย้ง -> สรุปว่าสมมติฐานเริ่มต้นผิด และสิ่งที่ต้องการพิสูจน์เป็นจริงครับ
• การพิสูจน์ $sqrt{2}$ เป็นจำนวนอตรรกยะ: เราสมมติให้ $sqrt{2}$ เป็นจำนวนตรรกยะในรูป $frac{a}{b}$ ที่ $a, b$ ไม่มีตัวประกอบร่วมกัน จากนั้นดำเนินการทางคณิตศาสตร์จนพบว่า $a$ และ $b$ ต่างก็เป็นจำนวนคู่ ซึ่งหมายความว่ามี 2 เป็นตัวประกอบร่วมกัน ทำให้เกิดข้อขัดแย้งกับสมมติฐานเริ่มต้นครับ

หวังว่าน้องๆ จะเข้าใจการพิสูจน์นี้อย่างชัดเจนและเห็นความสวยงามของมันนะครับ การฝึกคิดแบบมีตรรกะแบบนี้จะช่วยน้องๆ ได้มากทั้งในวิชาคณิตศาสตร์และการใช้ชีวิตประจำวันเลยครับ

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