鋭角三角形 $ABC$ において、各辺の長さは $AB = 15, BC = 14, CA = 13$ である。
点 $A$ から辺 $BC$ に下ろした垂線の足を $D$ とし、線分 $AD$ を直径とする円をかく。
直線 $AB, AC$ と円の $A$ と異なる交点をそれぞれ $E, F$ とし、直線 $EF$ と直線 $BC$ の交点を $P$ とする。
点 $P$ から円に引いた 2 本の接線の接点を $T_1, T_2$ とするとき、線分 $T_1T_2$ の長さを求めよ。
答えは$$\frac{a}{b}$$と表せるので${a+b}$を答えよ。
座標平面で置いてみよう。