不等式への招待 第2章

このエントリーをはてなブックマークに追加
861132人目の素数さん
>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