descartesclytie0x/descartes-math-platform
บทที่ 19 การให้เหตุผลทางเรขาคณิตตรงกับหนังสือ ม.2 เล่ม 2 บทที่ 4

19.2 พิสูจน์ด้วยรูปสามเหลี่ยมที่เท่ากันทุกประการ

ต้นทำว่าวจากไม้ไผ่ ผูกเชือกรอบโครงเป็นรูปสี่เหลี่ยม ABCDABCD โดยให้เชือกสองเส้นบนยาวเท่ากัน คือ AB=ADAB = AD และเชือกสองเส้นล่างยาวเท่ากัน คือ CB=CDCB = CD พอยกขึ้นดู มุมที่ปีกซ้าย BB กับปีกขวา DD กางเท่ากันพอดี ว่าวจึงไม่เอียง

ต้นไม่ได้วัดมุมเลย ทำไมมุมสองมุมนี้ต้องเท่ากัน คำตอบอยู่ในรูปสามเหลี่ยมสองรูปที่ซ่อนอยู่ในว่าว

แผนการพิสูจน์

โจทย์ที่ให้พิสูจน์ว่าด้านสองด้านยาวเท่ากัน หรือมุมสองมุมเท่ากัน ส่วนมากทำด้วยแผนเดียวกัน

  1. หารูปสามเหลี่ยมสองรูป ที่รูปหนึ่งมีส่วนแรก อีกรูปมีส่วนที่สองที่ต้องการให้เท่ากัน ถ้ายังไม่มี ให้ลากเส้นเพิ่มเพื่อสร้างรูปสามเหลี่ยม
  2. หาส่วนที่เท่ากันให้ได้สามคู่ จากที่กำหนดให้ ด้านร่วม มุมตรงข้าม หรือมุมแย้งของเส้นขนาน
  3. ดูว่าสามคู่นั้นเข้ากับแบบไหน ด.ม.ด. ม.ด.ม. หรือ ด.ด.ด. แล้วสรุปว่ารูปสามเหลี่ยมทั้งสองเท่ากันทุกประการ
  4. สรุปส่วนที่ต้องการ ด้วยเหตุผลว่าเป็นด้านหรือมุมคู่ที่สมนัยกันของรูปสามเหลี่ยมที่เท่ากันทุกประการ

ว่าวสมดุลเพราะอะไร

ABDC
ขีดหนึ่งขีดแปลว่ายาวเท่ากัน ขีดสองขีดก็ยาวเท่ากันอีกคู่หนึ่ง เส้นสีเขียวคือไม้ตั้งของว่าว

ตัวอย่าง 1

กำหนดให้ รูปสี่เหลี่ยม ABCDABCD มี AB=ADAB = AD และ CB=CDCB = CD

ต้องการพิสูจน์ว่า AB^C=AD^CA\hat{B}C = A\hat{D}C

  1. มุม AB^CA\hat{B}C กับ AD^CA\hat{D}C ยังไม่อยู่ในรูปสามเหลี่ยมใด ลากเส้นทแยงมุม ACAC จะได้ △ABC\triangle ABC ที่มีมุม BB และ △ADC\triangle ADC ที่มีมุม DD
  2. หาส่วนที่เท่ากัน ได้ด้านสองคู่จากที่กำหนดให้ และ ACAC เป็นด้านของทั้งสองรูป ครบสามด้าน ใช้ ด.ด.ด. ได้
  3. สรุปว่ารูปสามเหลี่ยมทั้งสองเท่ากันทุกประการ แล้วอ้างมุมคู่ที่สมนัยกัน
ดูการพิสูจน์แบบตาราง
ข้อความเหตุผล
(1) AB=ADAB = ADกำหนดให้
(2) CB=CDCB = CDกำหนดให้
(3) AC=ACAC = ACเป็นด้านร่วม
(4) △ABC≅△ADC\triangle ABC \cong \triangle ADCด.ด.ด. จาก (1) (2) (3)
(5) AB^C=AD^CA\hat{B}C = A\hat{D}Cมุมคู่ที่สมนัยกันของรูปสามเหลี่ยมที่เท่ากันทุกประการมีขนาดเท่ากัน

ตารางนี้ได้มากกว่าที่ถามด้วย จากบรรทัด (4) ได้ BA^C=DA^CB\hat{A}C = D\hat{A}C คือไม้ตั้ง ACAC แบ่งครึ่งมุมที่หัวว่าวพอดี ทั้งที่ไม่ได้กำหนดไว้เลย

เรียงชื่อจุดให้ตรงกัน

การเขียน △ABC≅△ADC\triangle ABC \cong \triangle ADC บอกว่า AA คู่กับ AA BB คู่กับ DD และ CC คู่กับ CC ตามลำดับตัวอักษร ถ้าเขียนเป็น △ABC≅△ACD\triangle ABC \cong \triangle ACD จะแปลว่า BB คู่กับ CC ซึ่งผิด เขียนชื่อจุดทีละคู่ให้ตรงกับส่วนที่เท่ากันเสมอ แล้วการอ่านด้านหรือมุมคู่ที่สมนัยกันในบรรทัดสุดท้ายจะไม่พลาด

ตัวอย่าง 2

ว่าวของต้นมีความยาว AB=30AB = 30 เซนติเมตร CB=45CB = 45 เซนติเมตร มุมที่ปีก AB^C=100∘A\hat{B}C = 100^\circ และมุมที่หัวว่าว BA^D=70∘B\hat{A}D = 70^\circ หาความยาวเชือกทั้งหมดที่ใช้ผูกรอบว่าว และขนาดของมุมที่หางว่าว BC^DB\hat{C}D

  1. จากที่กำหนดให้ AD=AB=30AD = AB = 30 และ CD=CB=45CD = CB = 45 เชือกรอบว่าวยาว 30+45+45+30=15030 + 45 + 45 + 30 = 150 เซนติเมตร
  2. จากตัวอย่าง 1 ได้ AD^C=AB^C=100∘A\hat{D}C = A\hat{B}C = 100^\circ
  3. มุมภายในของรูปสี่เหลี่ยมรวมกันได้ 360∘360^\circ จึงได้ BC^D=360∘−70∘−100∘−100∘=90∘B\hat{C}D = 360^\circ - 70^\circ - 100^\circ - 100^\circ = 90^\circ

ใช้มุมตรงข้ามเป็นส่วนที่เท่ากัน

บางครั้งส่วนที่เท่ากันคู่ที่สามไม่ได้กำหนดมาตรงๆ ต้องหาเองจากรูป เช่นมุมตรงข้ามที่พิสูจน์ไว้ในหน้า 19.1

ABCDO
OO เป็นจุดกึ่งกลางของทั้ง AB‾\overline{AB} และ CD‾\overline{CD} มุมสีเขียวสองมุมเป็นมุมตรงข้าม

ตัวอย่าง 3

กำหนดให้ AB‾\overline{AB} กับ CD‾\overline{CD} ตัดกันที่ OO โดย AO=OBAO = OB และ CO=ODCO = OD

ต้องการพิสูจน์ว่า AC=BDAC = BD และ AC↔∥DB↔\overleftrightarrow{AC} \parallel \overleftrightarrow{DB}

  1. ACAC อยู่ใน △AOC\triangle AOC และ BDBD อยู่ใน △BOD\triangle BOD ที่กำหนดให้มีด้านสองคู่ ส่วนมุมที่ OO ของทั้งสองรูปเป็นมุมตรงข้ามกัน มุมนี้อยู่ระหว่างด้านสองคู่นั้นพอดี จึงใช้ ด.ม.ด. ได้
  2. ได้รูปสามเหลี่ยมเท่ากันทุกประการแล้ว ACAC กับ BDBD เป็นด้านคู่ที่สมนัยกัน จึงยาวเท่ากัน
  3. ส่วนเรื่องขนาน ต้องหามุมแย้งที่เท่ากัน OA^CO\hat{A}C กับ OB^DO\hat{B}D เป็นมุมแย้งเมื่อมี AB↔\overleftrightarrow{AB} เป็นเส้นตัด และเป็นมุมคู่ที่สมนัยกันด้วย
ดูการพิสูจน์แบบตาราง
ข้อความเหตุผล
(1) AO=BOAO = BOกำหนดให้
(2) AO^C=BO^DA\hat{O}C = B\hat{O}Dมุมตรงข้าม
(3) CO=DOCO = DOกำหนดให้
(4) △AOC≅△BOD\triangle AOC \cong \triangle BODด.ม.ด. จาก (1) (2) (3)
(5) AC=BDAC = BDด้านคู่ที่สมนัยกันของรูปสามเหลี่ยมที่เท่ากันทุกประการยาวเท่ากัน
(6) OA^C=OB^DO\hat{A}C = O\hat{B}Dมุมคู่ที่สมนัยกันของรูปสามเหลี่ยมที่เท่ากันทุกประการมีขนาดเท่ากัน
(7) AC↔∥DB↔\overleftrightarrow{AC} \parallel \overleftrightarrow{DB}มี AB↔\overleftrightarrow{AB} เป็นเส้นตัด และมุมแย้ง OA^CO\hat{A}C กับ OB^DO\hat{B}D มีขนาดเท่ากัน จาก (6)

บรรทัด (7) ใช้สมบัติจากบทที่ 18 ว่า ถ้ามุมแย้งมีขนาดเท่ากัน แล้วเส้นตรงสองเส้นขนานกัน ระวังว่าข้อความนี้กลับข้างกับข้อความที่ว่า ถ้าเส้นตรงขนานกัน แล้วมุมแย้งเท่ากัน สองข้อความนี้ต่างกัน และต้องรู้ว่าแต่ละข้อจริงหรือไม่แยกกัน เรื่องนี้คือเรื่องของหน้าถัดไป

ลองคิดก่อน

มายด์บอกว่า "รูปสามเหลี่ยมสองรูปที่มีมุมเท่ากันทั้งสามคู่ ต้องเท่ากันทุกประการ ใช้ ม.ม.ม. ได้" มายด์พูดถูกไหม

ดูคำตอบ

ไม่ถูก ลองนึกถึงรูปสามเหลี่ยมด้านเท่าที่มีด้านยาว 3 เซนติเมตร กับอีกรูปที่มีด้านยาว 6 เซนติเมตร ทุกมุมของทั้งสองรูปเป็น 60∘60^\circ เท่ากันหมด แต่รูปหนึ่งใหญ่กว่าอีกรูป วางทับกันไม่สนิท มุมเท่ากันสามคู่บอกได้แค่ว่ารูปมีรูปร่างเหมือนกัน แต่ไม่ได้บอกขนาด ต้องมีด้านอย่างน้อยหนึ่งคู่เสมอ เงื่อนไขที่ใช้ได้มีแค่ที่เรียนในบทที่ 17

สรุป

  • จะพิสูจน์ว่าด้านหรือมุมสองส่วนเท่ากัน ให้หารูปสามเหลี่ยมสองรูปที่มีส่วนนั้น ถ้าไม่มีให้ลากเส้นเพิ่ม
  • ส่วนที่เท่ากันได้มาจากที่กำหนดให้ ด้านร่วม มุมตรงข้าม หรือมุมแย้งของเส้นขนาน
  • สรุปด้วย ด.ม.ด. ม.ด.ม. หรือ ด.ด.ด. แล้วจึงอ้างด้านหรือมุมคู่ที่สมนัยกัน
  • เขียนชื่อจุดของรูปสามเหลี่ยมสองรูปให้คู่กันตามลำดับ
  • มุมเท่ากันสามคู่ไม่พอให้รูปสามเหลี่ยมเท่ากันทุกประการ