円周上に 3 点 A , B , C と
孤 AB , BC , CA の中点 D , E , F がある

AB + BC + CA ≦ DE + EF + FD