กลับไปหน้าบทความ

อ่าน 11 นาที

จุดเฟอร์มาต์

ในเรขาคณิตยุคลิดจุดเฟอร์มาต์ของสามเหลี่ยมหรือที่เรียกว่าจุดทอร์ริเชลลีหรือจุดเฟอร์มาต์-ทอร์ริเชลลีคือจุดที่ผลรวมของระยะทางสามระยะจากจุดยอดทั้งสามของสามเหลี่ยมไปยังจุดนั้นมีค่าน้อยท...

จุดเฟอร์มาต์

รูปที่ 1 การสร้างจุดศูนย์กลางไอโซโกนิกแรก X(13) เมื่อไม่มีมุมใดของสามเหลี่ยมเกิน 120° จุดนี้จะเป็นจุดเฟอร์มาต์

ในเรขาคณิตยุคลิดจุดเฟอร์มาต์ของสามเหลี่ยมหรือที่เรียกว่าจุดทอร์ริเชลลีหรือจุดเฟอร์มาต์-ทอร์ริเชลลีคือจุดที่ผลรวมของระยะทางสามระยะจากจุดยอดทั้งสามของสามเหลี่ยมไปยังจุดนั้นมีค่าน้อยที่สุด[ 1 ]หรือเทียบเท่ากับค่ามัธยฐานทางเรขาคณิตของจุดยอดทั้งสาม จุดนี้ได้รับการตั้งชื่อเช่นนี้เพราะปัญหาดังกล่าวถูกยกขึ้นครั้งแรกโดยเฟอร์มาต์ในจดหมายส่วนตัวถึง เอวาน เจลิสตา ทอร์ริเชลลีซึ่งเธอได้แก้ปัญหานี้

จุดแฟร์มาต์ให้คำตอบสำหรับ ปัญหา ค่ามัธยฐานทางเรขาคณิตและปัญหาต้นไม้สไตเนอร์สำหรับสามจุด

การก่อสร้าง

จุดเฟอร์มาต์ของสามเหลี่ยมที่มีมุมใหญ่ที่สุดไม่เกิน 120° คือจุดศูนย์กลางไอโซโกนิกแรกหรือX(13) [ 2 ]ซึ่งสร้างขึ้นดังต่อไปนี้:

  1. สร้างรูปสามเหลี่ยมด้านเท่าบนด้านสองด้านที่เลือกโดยพลการของรูปสามเหลี่ยมที่กำหนดให้
  2. ลากเส้นตรงจากจุดยอด ใหม่แต่ละจุด ไปยังจุดยอดตรงข้ามของสามเหลี่ยมเดิม
  3. เส้นตรงทั้งสองตัดกันที่จุดแฟร์มาต์

อีกวิธีหนึ่งคือดังต่อไปนี้:

  1. สร้างรูป สามเหลี่ยมหน้าจั่วบนด้านสองด้านที่เลือกโดยพลการโดยให้ฐานเป็นด้านนั้น มุมที่ฐานแต่ละมุมเป็น 30 องศา และจุดยอดที่สามของรูปสามเหลี่ยมหน้าจั่วแต่ละรูปอยู่นอกรูปสามเหลี่ยมเดิม
  2. สำหรับสามเหลี่ยมหน้าจั่วแต่ละรูป ให้วาดวงกลม โดยให้จุดศูนย์กลางอยู่ที่จุดยอดใหม่ของสามเหลี่ยมหน้าจั่ว และมีรัศมีเท่ากับความยาวด้านทั้งสองของสามเหลี่ยมหน้าจั่วรูปนั้น
  3. จุดตัดภายในสามเหลี่ยมเดิมระหว่างวงกลมทั้งสองคือจุดแฟร์มาต์

เมื่อมุมของสามเหลี่ยมมีขนาดใหญ่กว่า 120 องศา จุดแฟร์มาต์จะอยู่ที่จุดยอดมุมป้าน

ต่อไปนี้ "กรณีที่ 1" หมายถึงสามเหลี่ยมที่มีมุมเกิน 120 องศา "กรณีที่ 2" หมายถึงไม่มีมุมใดของสามเหลี่ยมที่มีมุมเกิน 120 องศา

ตำแหน่งของ X(13)

รูปที่ 2. เรขาคณิตของจุดศูนย์กลางไอโซโกนิกแรก

รูปที่ 2 แสดงสามเหลี่ยมด้านเท่าARB , △ AQC , △ CPBที่ติดกับด้านของสามเหลี่ยมABC ใดๆ ต่อไปนี้เป็นการพิสูจน์โดยใช้คุณสมบัติของจุดร่วมวงกลมเพื่อแสดงว่าเส้นตรงทั้งสามเส้นRC, BQ, APในรูปที่ 2 ตัดกันที่จุดFและตัดกันเป็นมุม 60°

รูปสามเหลี่ยมRACและ △ BAQเท่ากันทุกประการเนื่องจากรูปที่สองเป็นการหมุนรูปแรก 60° รอบจุดAดังนั้นARF = ∠ ABFและAQF = ∠ ACFโดย ใช้ ทฤษฎีบทมุมภายในวงกลมแบบผกผันกับส่วนของเส้นตรงAFจุดARBFจึงอยู่บนวงกลมเดียวกัน (จุดทั้งสองอยู่บนวงกลมเดียวกัน) ในทำนองเดียวกัน จุดAFCQก็อยู่บนวงกลมเดียวกัน ด้วย

ARB = 60°ดังนั้นAFB = 120°โดยใช้ ทฤษฎีมุมแนบในวงกลม ในทำนองเดียวกันAFC = 120 °

ดังนั้นBFC = 120°ดังนั้นBFC + ∠ BPC = 180°โดยใช้ทฤษฎีมุมภายในวงกลมแสดงว่าจุดBPCFอยู่บนวงกลมเดียวกัน ดังนั้น โดยใช้ทฤษฎีมุมภายในวงกลมกับส่วนของเส้นตรงBPจะ ได้ BFP = ∠ BCP = 60°เนื่องจากBFP + ∠ BFA = 180°จุดFจึงอยู่บนส่วนของเส้นตรงAPดังนั้น เส้นตรงRC, BQ, APตัดกัน ที่จุด เดียว (ตัดกันที่จุดเดียว) จบการพิสูจน์

การพิสูจน์นี้ใช้ได้เฉพาะในกรณีที่ 2 เท่านั้น เพราะถ้าBAC > 120°จุดAจะอยู่ภายในวงกลมล้อมรอบของBPCซึ่งจะสลับตำแหน่งสัมพัทธ์ของAและFอย่างไรก็ตาม สามารถปรับเปลี่ยนได้ง่ายเพื่อให้ครอบคลุมกรณีที่ 1 จากนั้นAFB = ∠ AFC = 60°ดังนั้นBFC = ∠ AFB + ∠ AFC = 120°ซึ่งหมายความว่าBPCFอยู่บนวงกลมเดียวกัน ดังนั้นBFP = BCP = 60° = ∠ BFAดังนั้นAอยู่บนFP

เส้นที่เชื่อมจุดศูนย์กลางของวงกลมในรูปที่ 2 ตั้งฉากกับส่วนของเส้นตรงAP , BQ , CRตัวอย่างเช่น เส้นที่เชื่อมจุดศูนย์กลางของวงกลมที่ประกอบด้วยARBและจุดศูนย์กลางของวงกลมที่ประกอบด้วยAQCตั้งฉากกับส่วนของเส้นตรงAPดังนั้น เส้นที่เชื่อมจุดศูนย์กลางของวงกลมจึงตัดกันที่มุม 60° ด้วยเหตุนี้ จุดศูนย์กลางของวงกลมจึงประกอบกันเป็นรูปสามเหลี่ยมด้านเท่า นี่คือสิ่งที่เรียกว่าทฤษฎีบทของนโปเลียน

ตำแหน่งของจุดแฟร์มาต์

เรขาคณิตแบบดั้งเดิม

รูปที่ 3. เรขาคณิตของจุดเฟอร์มาต์

กำหนดให้สามเหลี่ยมยุคลิดABCและจุดP ใดๆ จุดประสงค์ของส่วนนี้ คือการหาจุดP 0ที่ทำให้สำหรับทุกถ้ามีจุดดังกล่าวอยู่จริง จุดนั้นจะเป็นจุดแฟร์มาต์ ในส่วนต่อไปนี้Δจะแทนจุดภายในสามเหลี่ยม และจะรวมถึงขอบเขตΩด้วย

ผลลัพธ์สำคัญที่จะนำมาใช้คือ กฎการหักมุม ซึ่งระบุว่า ถ้าสามเหลี่ยมและรูปหลายเหลี่ยมมีด้านร่วมกันเพียงด้านเดียว และส่วนที่เหลือของสามเหลี่ยมอยู่ภายในรูปหลายเหลี่ยม สามเหลี่ยมจะมีเส้นรอบรูปสั้นกว่ารูปหลายเหลี่ยม

ถ้าABเป็นด้านร่วม ให้ต่อเส้นACออกไปตัดรูปหลายเหลี่ยมที่จุดXแล้วเส้นรอบรูปของรูปหลายเหลี่ยมจะเป็นดังนี้ โดยใช้ความไม่เท่ากันของสามเหลี่ยม :

ให้Pเป็นจุดใดๆ ที่อยู่นอกΔเชื่อมโยงจุดยอดแต่ละจุดกับโซนระยะไกลของมัน นั่นคือระนาบครึ่งที่อยู่เลยด้านตรงข้าม (ที่ต่อขยายออกไป) โซนทั้ง 3 นี้ครอบคลุมระนาบทั้งหมด ยกเว้นΔเอง และPอยู่ในโซนใดโซนหนึ่งหรือสองโซนอย่างชัดเจน ถ้าPอยู่ในสองโซน (เช่น จุดตัดของโซน BและC ) แล้วการกำหนดให้เป็นไปตามกฎการหักมุม หรือถ้าPอยู่ในโซนเดียว เช่น โซน Aแล้วโดยที่P'คือจุดตัดของAPและBCดังนั้นสำหรับทุกจุดPที่อยู่นอกΔจะมีจุดP'ในΩเช่นนั้น

กรณีที่ 1. สามเหลี่ยมมีมุมตั้งแต่ 120° ขึ้นไป

โดยไม่เสียความเป็นทั่วไปสมมติว่ามุมที่จุดAมีค่า ≥ 120° สร้างสามเหลี่ยมด้านเท่าAFBและสำหรับจุดP ใดๆ ในΔ (ยกเว้นAเอง) สร้าง จุด Qเพื่อให้สามเหลี่ยมAQPเป็นสามเหลี่ยมด้านเท่าและมีทิศทางดังที่แสดงไว้ จากนั้นสามเหลี่ยมABPคือการหมุน 60° ของสามเหลี่ยมAFQรอบจุดAดังนั้นสามเหลี่ยมทั้งสองนี้จึงเท่ากันทุกประการ และเป็นผลให้ซึ่งก็คือความยาวของเส้นทางCPQFนั่นเอง เนื่องจากจุด Pถูกจำกัดให้อยู่ภายในABCตามกฎการหักมุม ความยาวของเส้นทางนี้จึงเกินดังนั้นสำหรับทุกทีนี้ให้ จุด Pอยู่ภายนอกΔจากข้างต้นมีจุดอยู่จุดหนึ่งที่และเป็นผลให้สำหรับทุกจุดPที่อยู่นอกΔดังนั้นสำหรับทุกซึ่งหมายความว่าAคือจุดแฟร์มาต์ของΔกล่าวอีกนัยหนึ่ง จุดแฟร์มาต์อยู่ที่จุด ยอด มุมป้าน

กรณีที่ 2. รูปสามเหลี่ยมนี้ไม่มีมุมใดที่มีขนาด ≥ 120°

สร้างรูปสามเหลี่ยมด้านเท่าBCDโดยให้Pเป็นจุดใดๆ ภายในΔและสร้างรูปสามเหลี่ยมด้านเท่าCPQจากนั้นCQD คือการหมุน △ CPBเป็นมุม 60° รอบจุดCดังนั้น

ซึ่งแสดงให้เห็นว่าผลรวมของระยะทางที่ต้องการหาคือความยาวของเส้นทางAPQDจาก A ไป D ตามแนวเส้นตรงแบบแบ่งช่วง ต่อไปเราจะแสดงว่าถ้า เลือก Pเป็นจุดศูนย์กลางไอโซโกนิกของABCเส้นทางAPQDจะอยู่บนเส้นตรง และดังนั้นจึงเป็นเส้นทางที่สั้นที่สุด ในการทำเช่นนี้ ให้สร้างสามเหลี่ยมด้านเท่าABFให้P 0เป็นจุดตัดของADและCFจากการสร้าง จุดนี้เป็นจุดศูนย์กลางไอโซโกนิกแรก (ดูด้านบน) ของABCทำแบบฝึกหัดเดียวกันกับP 0เหมือนกับที่ทำกับPและหาจุดQ 0จากข้อจำกัดเชิงมุมP 0อยู่ภายในABCเนื่องจากP 0เป็นจุดศูนย์กลางไอโซโกนิกAP 0 C = 120°จากการสร้างCP 0 Q 0 = 60°ดังนั้นA , P 0และQ 0จึงอยู่บนเส้นตรงเดียวกันจากAไปD (นอกจากนี้BCFเป็นการหมุน 60° ของBDAรอบจุดBดังนั้นQ 0ต้องอยู่บนAD ที่ใดที่หนึ่ง ) เนื่องจากCDB = 60°จึงสรุปได้ว่าQ 0อยู่ระหว่างP 0และDเนื่องจากเส้นทางAP 0 Q 0 Dตอนนี้อยู่บนเส้นตรง ยิ่งไปกว่านั้น ถ้าเช่นนั้นPหรือQจะไม่อยู่บนADซึ่งหมายความว่าตอนนี้ให้Pอยู่ภายนอกΔจากข้างต้นมีจุดหนึ่งอยู่เช่นนั้นและเนื่องจากเป็นเช่นนั้นสำหรับP ทั้งหมด ที่อยู่นอกΔนั่นหมายความว่าP 0เป็นจุดเฟอร์มาต์ของΔกล่าวอีกนัยหนึ่งจุดเฟอร์มาต์ตรงกับจุดศูนย์กลางไอโซโกนิกแรก

การวิเคราะห์เวกเตอร์

ให้O, A, B, C, Xเป็นจุดห้าจุดใดๆ บนระนาบ แทนเวกเตอร์ด้วยa , b , c , x ตาม ลำดับ และให้i , j , kเป็นเวกเตอร์หน่วยจากOไปตามa , b , c

การบวกa , bและcจะได้ผลลัพธ์ดังนี้

ถ้าa , b , cมาบรรจบกันที่Oด้วยมุม 120° แล้วi + j + k = 0ดังนั้น

สำหรับทุกค่าxกล่าวอีกนัยหนึ่งคือ

ดังนั้นOจึงเป็นจุดแฟร์มาต์ของ ABC

ข้อโต้แย้งนี้ใช้ไม่ได้ผลเมื่อมุมของสามเหลี่ยมมีค่าC > 120°เพราะไม่มีจุดOใดที่เวก เตอร์ a , b , cตัดกันที่มุม 120° อย่างไรก็ตาม ปัญหานี้สามารถแก้ไขได้ง่ายโดยการกำหนดk ใหม่ เป็น − ( i + j )และวางO ไว้ ที่Cเพื่อให้c = 0โปรดสังเกตว่า| k | ≤ 1เนื่องจากมุมระหว่างเวกเตอร์หน่วยi , jคือCซึ่งมีค่ามากกว่า 120°

อสมการที่สามยังคงเป็นจริง อสมการอีกสองข้อไม่เปลี่ยนแปลง การพิสูจน์จึงดำเนินต่อไปเช่นเดียวกับข้างต้น (โดยการบวกอสมการทั้งสามและใช้i + j + k = 0 ) เพื่อให้ได้ข้อสรุปเดียวกันว่าO (หรือในกรณีนี้C ) ต้องเป็นจุดแฟร์มาต์ของ ABC

ตัวคูณลากรางจ์

อีกแนวทางหนึ่งในการหาจุดภายในสามเหลี่ยมที่ผลรวมของระยะทางไปยังจุดยอดของสามเหลี่ยมมีค่าน้อยที่สุด คือการใช้ วิธี การหาค่าเหมาะสมที่สุดทางคณิตศาสตร์ วิธีใดวิธีหนึ่ง โดยเฉพาะอย่างยิ่ง วิธีตัวคูณลากรางจ์และกฎของโคไซน์

เราลากเส้นตรงจากจุดภายในสามเหลี่ยมไปยังจุดยอดของสามเหลี่ยม และเรียกเส้นตรงเหล่านั้นว่าX , Y , Zโดยให้ความยาวของเส้นตรงเหล่านี้เป็นx, y, zตามลำดับ ให้มุมระหว่างXและYเป็นαและ มุมระหว่าง YและZเป็นβดังนั้นมุมระหว่างXและZคือπ − αβโดยใช้วิธีตัวคูณลากรางจ์ เราต้องหาค่าต่ำสุดของลากรางจ์Lซึ่งแสดงได้ดังนี้:

โดยที่a, b, cคือความยาวด้านของรูปสามเหลี่ยม

เมื่อกำหนดให้ค่าอนุพันธ์ย่อยทั้งห้าเท่ากับศูนย์และกำจัดλ 1 , λ 2 , λ 3ในที่สุดจะได้sin α = sin βและsin( α + β ) = − sin βดังนั้นα = β = 120°อย่างไรก็ตาม การกำจัดนั้นเป็นกระบวนการที่ยาวและยุ่งยาก และผลลัพธ์สุดท้ายครอบคลุมเฉพาะกรณีที่ 2 เท่านั้น

คุณสมบัติ

จุดศูนย์กลางไอโซโกนิกทั้งสองคือจุดตัดของเวสิกาปิสซิสสามอัน ซึ่งจุดยอดคู่ของ เวสิกาปิสซิสเป็นจุดยอดของรูปสามเหลี่ยม
  • เมื่อมุมที่ใหญ่ที่สุดของสามเหลี่ยมไม่เกิน 120° X (13) จะเป็นจุดเฟอร์มาต์
  • มุมที่ด้านข้างของสามเหลี่ยมรองรับที่X (13) ทั้งหมดเท่ากับ 120° (กรณีที่ 2) หรือ 60°, 60°, 120° (กรณีที่ 1)
  • วงกลมล้อมรอบของสามเหลี่ยมด้านเท่าทั้งสามที่สร้างขึ้นมานั้นมาบรรจบกันที่จุดX (13)
  • พิกัดสามมิติ สำหรับ ศูนย์กลางไอโซโกนิกแรก X ( 13 ): [ 3 ]
  • พิกัดสามมิติสำหรับศูนย์กลางไอโซโกนิกที่สองX (14): [ 4 ]
  • พิกัดสามมิติสำหรับจุดแฟร์มาต์:
โดยที่u, v, w แทน ตัวแปรบูลีน( A < 120°), ( B < 120°), ( C < 120°)ตามลำดับ

ชื่อเรียกอื่น

จุดไอโซโกนิกX (13) และX (14) เรียกอีกอย่างว่าจุดเฟอร์มาต์แรกและจุดเฟอร์มาต์ที่สองตามลำดับ ทางเลือกอื่นคือจุดเฟอร์มาต์บวกและจุดเฟอร์มาต์ลบอย่างไรก็ตาม ชื่อที่แตกต่างกันเหล่านี้อาจทำให้สับสนและควรหลีกเลี่ยง ปัญหาคือเอกสารจำนวนมากทำให้ความแตกต่างระหว่างจุดเฟอร์มาต์และจุดเฟอร์มาต์แรก ไม่ชัดเจน ในขณะที่ในกรณีที่ 2 ข้างต้นเท่านั้นที่ทั้งสองจุดเหมือนกัน

ประวัติศาสตร์

คำถามนี้ถูกเสนอโดยแฟร์มาต์ เพื่อเป็นการท้าทาย อีวาน เจลิสตา ตอร์ริเชลลีเขาแก้ปัญหาในลักษณะเดียวกับแฟร์มาต์ แม้ว่าจะใช้การตัดกันของวงกลมล้อมรอบของสามเหลี่ยมด้านเท่าทั้งสามแทนก็ตาม ลูกศิษย์ของเขา วิเวียนี ได้ตีพิมพ์วิธีแก้ปัญหาในปี พ.ศ. 2392 [ 9 ]

ดูเพิ่มเติม

  • "ปัญหาแฟร์มาต์-ทอร์ริเชลลี" , สารานุกรมคณิตศาสตร์ , EMS Press , 2001 [1994]
  • จุดแฟร์มาต์โดย คริส บูเชอร์ จากโครงการสาธิตของวูล์ฟแรม
  • จุดแฟร์มาต์-ทอร์ริเชลลีของรูปสามเหลี่ยมและปัญหาเรื่องสนามบินในDynamic Geometry Sketchesกิจกรรมการเรียนรู้เชิงสืบสวนสองกิจกรรมที่เกี่ยวข้องกันพร้อมการพิสูจน์แบบมีคำแนะนำ
  • ตัวอย่างเชิงปฏิบัติของจุดแฟร์มาต์
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Fermat_point&oldid=1357791758 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ จุดเฟอร์มาต์

ในเรขาคณิตยุคลิดจุดเฟอร์มาต์ของสามเหลี่ยมหรือที่เรียกว่าจุดทอร์ริเชลลีหรือจุดเฟอร์มาต์-ทอร์ริเชลลีคือจุดที่ผลรวมของระยะทางสามระยะจากจุดยอดทั้งสามของสามเหลี่ยมไปยังจุดนั้นมีค่าน้อยท...

การก่อสร้าง

จุดเฟอร์มาต์ของสามเหลี่ยมที่มีมุมใหญ่ที่สุดไม่เกิน 120° คือ จุดศูนย์กลางไอโซโกนิกแรก หรือ X(13) [ 2 ] ซึ่ง สร้าง ขึ้น ดังต่อไปนี้:

ตำแหน่งของ X(13)

รูปที่ 2 แสดงสามเหลี่ยมด้านเท่า △ ARB , △ AQC , △ CPB ที่ติดกับด้านของสามเหลี่ยม △ ABC ใดๆ ต่อไปนี้เป็นการพิสูจน์โดยใช้คุณสมบัติของ จุดร่วมวงกลม เพื่อแสดงว่าเส้นตรงทั้งสามเส้น RC, BQ, AP ในรูปที่ 2 ตัดกันที่จุด F และตัดกันเป็นมุม 60°

เรขาคณิตแบบดั้งเดิม

กำหนดให้สามเหลี่ยมยุคลิด △ ABC และจุด P ใดๆ จุดประสงค์ของส่วนนี้ คือการหาจุด P 0 ที่ทำให้สำหรับทุกถ้ามีจุดดังกล่าวอยู่จริง จุดนั้นจะเป็นจุดแฟร์มาต์ ในส่วนต่อไปนี้ Δ จะแทนจุดภายในสามเหลี่ยม และจะรวมถึงขอบเขต Ω ด้วย ง ( พี ) = | พี เอ | + | พี บี | + | พี ซี | .