由托勒密定理:
  AB * CD + AC * BD >= AD * BC

设 BD = x , 则 BC = 2x , 由勾股定理解出 CD, 代入上面不等式, 可得.

【 在 yumenniao 的大作中提到: 】
: [upload=1][/upload]
--
FROM 223.199.17.*