nb，头一次听说这个定理
【 在 hace 的大作中提到: 】
: 由托勒密定理:  
: AB * CD + AC * BD >= AD * BC  
:  
: 设 BD = x , 则 BC = 2x , 由勾股定理解出 CD, 代入上面不等式, 可得.  
: --

发自「今日水木 on TAS-AN00」
--
FROM 101.80.157.*