$$AC = AD,2\angle CBD = \angle CAD$$ をみたす凸四角形 $ABCD$ について,対角線の交点を $E$ とする. また,$ABD$ の外接円と直線 $AC$ の交点を $F$ とする.
$$AE = DE = 6,AB:BF = 3:4$$ が成立するとき,$CD^2$ は正整数 $a, b$ と平方因子を持たない正整数 $c$ を用いて $a - b\sqrt c$ と表されるため,$a + b + c$ を求めよ.
ただし,$XY$ で線分 $XY$ の長さを表すものとする.
非負整数値で解答してください.
この問題はコンテストの問題です。解答するにはログインが必要です。
この問題を解いた人はこんな問題も解いています