推 obelisk0114 : 三角形內部所能做出的最長線段,兩點必在邊上 04/12 17:10
→ musicbox810 : 請問樓上如何證明那個論述? 04/12 19:19
推 alan23273850: 反證阿，如果一條線段有一端不在邊上，那一端可以被 04/12 21:28
→ alan23273850: 繼續延長，所以該線段不可能最常 04/12 21:29
→ alan23273850: 它可以再繼續推廣成，兩端點必須在頂點上，right？ 04/12 21:29
→ musicbox810 : 對耶 了解了 謝謝alan大 04/12 23:42
→ musicbox810 : 但是不知道怎麼推到兩端點都在頂點上 04/12 23:43
推 chemmachine : 考慮三角形ABC，令D'和E'在三角形內部。延長D'和E' 04/13 07:56
→ chemmachine : 交三角形三邊於D和E。不失一般性，設D在BC線段上，E 04/13 07:57
→ chemmachine : 在線段AC上。連DE以及AD。現在觀察三角形ADC，由商 04/13 07:59
→ chemmachine : 高定理，DE一定小於或等於DC或AD。若DE小於DC，則證 04/13 08:00
→ chemmachine : 明完畢。若DE小於AD，藉由相同的方法，由商高定理知 04/13 08:01
→ chemmachine : AD小於或等於AC或AB。其他D和E在AB或BC或AC都同理可 04/13 08:02
→ chemmachine : 證。 04/13 08:02
→ chemmachine : 以上是國中方法用。 04/13 08:04
→ chemmachine : 第二點，這題所問的是數學函數Diameter of任意圖形 04/13 08:04
→ chemmachine : 這裡是三角形的直徑。一般實分析或高微都用球去蓋 04/13 08:05
→ chemmachine : 不太用三角形去蓋。diam=sup|x-y| x和y屬於圖形 04/13 08:06
→ chemmachine : 第三點，另一個方法，因為三角形是compact，所以由 04/13 08:09
→ chemmachine : diam是一個連續函數，所以知必有極值。且由kkT知極 04/13 08:10
→ chemmachine : 道極值必在邊界或微分等於0或不存在的點。這邊我自 04/13 08:10
→ chemmachine : 己卡住，這個網址把它接下去。 04/13 08:13
→ chemmachine : 論可知弱微分為|x-y|/(x-y)，微分=0及singular只在 04/13 08:14
→ chemmachine : x=y，而x=y是極小值，不是極大值。故極大值只在邊界 04/13 08:15
→ chemmachine : 以上給出國中方法、mathstackchage、kkt三個方法 04/13 08:16
推 chemmachine : by the way，只要是bounded圖形，可以被有限半徑球 04/13 08:20
→ chemmachine : 球蓋住的圖形不論open或closed，或不open不closed都 04/13 08:21
→ chemmachine : 存在diameter這是因為least upper bound性質 04/13 08:21
→ chemmachine : 達微積分。以上兩者都不會難都是國中數學物理，但怪 04/13 08:33
推 alan23273850: 好深奧，給樓上拍拍手！ 04/13 16:32
→ musicbox810 : 謝謝ch大,我再反芻一下 04/20 23:19