OMC187(D) - トレミーの定理を知らない場合

ユーザー解説 by nmoon

　解説の最後について，Ptoremyの定理を使わない方法を紹介します．
三角形 $BCF$ と $DAF$ は相似なので， $BC = y , AD = 4y$ とおけ， $y = \sqrt{13}$ がわかります．ここで，三角形 $BCF$ で余弦定理より， $\angle{BFC} = 60^{\circ}$ なので，あとは三角形 $AFC$ で余弦定理を使って $AC$ が求められるので省略します．