$\angle BAC > 90^\circ$ なる鈍角三角形 $ABC$ とその外接円 $\Gamma$ があります.点 $B$ における円 $\Gamma$ の接線 $l$ 上に点 $D$ を $\angle DBC > 90^\circ$ となるように取り,線分 $DC$ と 円 $\Gamma$ の交点を $E$ とします.すると以下が成り立ちました.
$$2\angle DBE = \angle EBC,BD=15,DE=9,AB=BE$$
この時,$AB$ の長さを求めて下さい.
解答の数値を小数点を除いて10進数で表した時,5桁以上になるなら5桁,5桁未満ならその桁で半角数字で解答してください.
例
$66$→66
$0.75$→75
$\pi$→31415 $(\pi=\mathbf{3.1415}92…)$
$\sqrt{2}$→14142 $(\sqrt{2}=\mathbf{1.4142}1356...)$
$2^{100}$→12676 $(2^{100}=\mathbf{12676}50600228229401496703205376)$
この問題はコンテストの問題です。解答するにはログインが必要です。
この問題を解いた人はこんな問題も解いています