推 kill801113 : 謝謝~忘記可以做輔助線比大小 06/22 19:16
其實我是用代數硬幹了好一大波、發現會用到 兩邊和大於第三邊 的性質後,
才在想是不是綜合幾何的手段哪邊可以簡化性質
→ musicbox810 : 請問a大代數作法要怎麼做? 06/23 13:02
令 D,E,F 分別為內心O到 BC, AC, AB 三邊的垂足
https://i.imgur.com/qZQWRc9.jpg
因為O是內心,所以O到三邊等距離。用 h表達該距離。
然後令 x = AE = AF, y = BF= BD, z = CE = CD
可解得 x = (b+c-a)/2, y = (c+a-b)/2, z = (a+b-c)/2
現在 AB + OC, BC + OA, AC + OB 三邊的比較就變成
c + √(z^2+h^2) , a + √(x^2+h^2), b + √(y^2+h^2) 的比較
然後證明 b > c => b + √(y^2+h^2) > c + √(z^2+h^2) 即可得到結論
※ 編輯: arrenwu (98.45.195.96 美國), 06/23/2025 17:24:55
推 Vulpix : 其實還是三角不等式。 06/23 18:54
→ musicbox810 : 謝謝,代數看起來很複雜 06/23 19:13
推 ERT312 : 代數也不會很複雜(應該國中就可以處理) 06/23 20:04
→ ERT312 : 欲證 若z>y>0 則 x+z+√(y^2+h^2)>x+y+√(z^2+h^2) 06/23 20:05
→ ERT312 : 右邊的不等式等價於 z-y>√(z^2+h^2)-√(y^2+h^2) 06/23 20:06
→ ERT312 : ={(z+y)/(√(z^2+h^2)+√(y^2+h^2))}(z-y) 06/23 20:08
→ ERT312 : 明顯{}裡面大於零小於1,得證 06/23 20:09
→ musicbox810 : 這樣其實就是三角形OBC的三角不等式耶 06/23 20:36
→ musicbox810 : 現在在想能不能從代數方法直接找到對應的幾何證法 06/23 20:41
推 Vulpix : 用s代表半周長,則有x=s-a。 06/24 00:17
→ Vulpix : a+√(x^2+h^2)就是自(0,0)經(a,0)至(s,h)的折線長 06/24 00:17