計算證明題1.
設
ABCD為一凸四邊形,證明
AB
CD+AD
BC
AC
BD,並說明等號成立的條件。
[解答]
最近在書上看到一個蠻簡單漂亮的證明。
以A為反演中心,任取半徑r>0的反演圓。將B、C、D作反演得到B'、C'、D'
則B'C'=(BC*r*r)/(AB*AC)、B'D'=(BD*r*r)/(AB*AD)、C'D'=(CD*r*r)/(AC*AD)
由三角不等式B'C'+C'D'>=B'D'
化簡即得到AB*CD+AD*BC>=AC*BD
等號成立條件為B'、C'、D'共線,即ABCD共圓