[发现]如图∠ACB=∠ADB=90°，那么点D在经过A，B，C三点的圆上（如图①）
[思考]如图②，如果∠ACB=∠ADB=a（a≠90°）（点C，D在AB的同侧），那么点D还在经过A， B，C三点的圆上吗？
我们知道，如果点D不在经过A，B，C三点的圆上，那么点D要么在圆O外，要么在圆O内，以下该同学的想法说明了点D不在圆O外。
请结合图④证明点D也不在⊙O内.
[结论]综上可得结论：如图②，如果∠ACB=∠ADB=a（点C，D在AB的同侧），那么点D在经过A，B，C三点的圆上，即：点A、B、C、D四点共圆。
[应用]利用上述结论解决问题：
如图⑤，已知△ABC中，∠C=90°，将△ACB绕点A顺时针旋转一个角度得△ADE，连接BE CD，延长CD交BE于点F，
图⑤
的长（ ）
