為向老王老師致敬,再補一個證明,還有
考試的時候不要這樣做
如下圖:B, D 為 AC 優弧和劣弧上的中點,E 為 AC 劣優上之點且不為 A,D,C
試證 \( \overline{AD} + \overline{DC} > \overline{AE} + \overline{EC} \)
證. 圓內接四邊形中ABCD,由托勒密定理有 \( \overline{AC}\cdot\overline{BD} = \overline{AD}\cdot\overline{BC} + \overline{DC}\cdot\overline{AB} \)
(注意 \( \overline{BD} \) 為圓之直行,由面積亦可得此式)
其中 \( \overline{AB} = \overline{BC} \),故可改寫為 \( \overline{AC}\cdot\overline{BD} = (\overline{AD} + \overline{DC})\cdot\overline{BC}\)
同理對圓內接四邊形 ABCE 亦有 \( \overline{AC}\cdot\overline{BE} = (\overline{AE} + \overline{EC})\cdot\overline{BC}\)
因 \( \overline{BD} \) 為直徑,故 \( \overline{BD} > \overline{BE} \)
再以上式比較托勒密所得之二式,即可得 \( \overline{AD} + \overline{DC} > \overline{AE} + \overline{EC} \)