>857
〔トレミーの不等式(2D)〕
AB・CD + AD・BC ≧ AC・BD.
(略証2)
複素数平面を考え、頂点 A,B,C,D に対応する複素数を a,b,c,d とする。
(b-a)(d-c) + (d-a)(c-b) = (c-a)(d-b).
という恒等式が成り立つので、各項の絶対値をとる.(終)
「数学100の定理」数セミ増刊 (1983.10) p.16 栗田 稔:「トレミーの定理」
http://science4.2ch.net/test/read.cgi/math/1147941227/58-61 (別証)
矢野健太郎:「幾何の有名な定理」数学ワンポイント双書36, 共立出版 (1981) p.47-48