[发现]如图∠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；