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