ในรูปสามเหลี่ยม กำหนดให้ ลากเส้นสูง ตั้งฉากกับ ที่จุด และเส้นสูง ตั้งฉากกับ ที่จุด
จงพิสูจน์ว่า
(ก) และ (ข)
ตั้งต้นจากสิ่งที่สมมติฐานให้มา เนื่องจาก รูปสามเหลี่ยม จึงเป็นสามเหลี่ยมหน้าจั่วที่มียอดอยู่ที่ มุมที่ฐานจึงเท่ากันคือ ส่วนเส้นสูงทั้งสองสร้างมุมฉาก และ การพิสูจน์ทั้งหมดเดินอยู่บนความสมมาตรของรูปรอบแกนที่ผ่าน
พิสูจน์ว่าสามเหลี่ยมมุมฉาก BKC กับ CHB เท่ากันทุกประการ เทียบ กับ
โดยเกณฑ์ด้านตรงข้ามมุมฉากกับมุมแหลม จึงได้
อ่านคำตอบข้อ (ก) ออกมา ด้านประกอบมุมฉากที่สมนัยกันของสามเหลี่ยมที่เท่ากันทุกประการย่อมเท่ากัน และ ในรูปแรกสมนัยกับ ในรูปที่สอง
นี่คือข้อ (ก) ผลพลอยได้คือ เส้นสูงสองเส้นที่ลากไปยังด้านที่เท่ากันจึงยาวเท่ากันด้วย
เปลี่ยนความเท่ากันให้เป็นอัตราส่วนบนสองด้าน เนื่องจาก และ เมื่อลบกันจะได้ ดังนั้น
เพราะทั้งสองข้างเป็นจำนวนเดียวกัน นี่คือสัดส่วนที่บทกลับของทฤษฎีบทของทาลีสต้องการพอดี
ใช้บทกลับของทาลีสเพื่อได้ข้อ (ข) จุด และ อยู่บนด้าน และ ของรูปสามเหลี่ยม และตัดด้านทั้งสองด้วยอัตราส่วนเดียวกัน เส้นตรง จึงขนานกับด้านที่สาม
กล่าวเทียบเท่ากันได้ว่า ด้วยความคล้ายแบบด้าน-มุม-ด้าน (มุมร่วมที่ และด้านประชิดที่เป็นสัดส่วนกัน) ซึ่งบังคับให้มุมที่สมนัยกัน และจึงได้การขนานกัน
ตรวจด้วยพิกัด วาง , , ทำให้ เป็นจริงโดยอัตโนมัติ คำนวณ กับ เป็นจุดเท้าตั้งฉากสำหรับคู่ ที่สุ่มมาหกคู่ ได้ ทุกครั้งภายใน และ เช่นเดียวกัน อีกทั้ง กับ มีพิกัด เท่ากันเสมอ ดังนั้น จึงอยู่ในแนวนอน เหมือนกับ พอดี ✓
Need to solve a different problem like this? Open the solver →