結果 : segment addition theorem definition