ユーザー解説 by poino
ADADAD と EFEFEF が平行となるように線分 CDCDCD 上に点 FFF を取ると、三角形 ABDABDABD と三角形 DEFDEFDEF 、三角形 CEFCEFCEF と三角形 CADCADCAD の相似がそれぞれわかるので、 AD:DF=AB:DE=AC:AE=DC:DFAD:DF=AB:DE=AC:AE=DC:DFAD:DF=AB:DE=AC:AE=DC:DF となり AD=DC=8AD=DC=8AD=DC=8 を得る。(ここからは本解説と同様)