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