如图，AB是⊙O的直径，AB=6，过点O作OH⊥AB交圆于点H，点C是弧AH上异于A、B的动点，过点C作CD⊥OA，CE⊥OH，垂足分别为D、E，过点C的直线交OA的延长线于点G，且∠GCD=∠CED．

[思考]如图②，如果∠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；

小东根据学习函数的经验，对函数y随自变量x的变化而变化的规律进行了探究．

下面是小东的探究过程，请补充完整：