灘高等学校２０２４年数学第１問（３）（問題）

　ＡＣ＝５、ＢＣ＝１２、∠Ｃ＝９０°である直角三角形ＡＢＣにおいて、辺ＡＢ上の点Ｄと辺ＢＣ上の点Ｅを通る直線を折り目としてこの三角形を折ったとき、頂点Ａが辺ＢＣ上の点Ｆと重なり、ＡＤ＝ＢＦとなった。このとき、線分ＢＦの長さは[　]である。