已知:P是外一点,求作:经过点P的的切线.作法:如图,
①连接 , 作线段的垂直平分线交于点A;
②以点A为圆心,的长为半径作圆,交于B,C两点;
③作直线 . 直线就是所求作的切线.
请根据小明的作法完成作图和证明.
证明:连接 .
补完证明过程
∴是的切线.
(1)求证:直线DF是⊙O的切线;
(2)若OC=1,∠A=45°,求劣弧DE的长.