1. (2020九上·泰兴期中) 如图，直线EF与⊙O相切于点C，点A为⊙O上异于点C的一动点，⊙O的半径为4，AB⊥EF于点B，设∠ACF ＝α（0°＜α＜180°）.

1. （1） 如图1，若α＝45°，求证：四边形OCBA为正方形；
3. （2） 当AC＝4时，求α的度数.
5. （3） 若AC－AB＝1，求AC的长.