如图，点A、B、C都在⊙O上，⊙O的半径为2，∠ACB=30°，则的长是（　　）

如图，CD⊥AB，EF⊥AB，垂足分别为D、F，∠1=∠2，

把下面的推理过程补充完整，并在括号内注明理由．

如图，点B、D在线段AE上，BC∥EF，AD=BE，BC=EF，试说明： ∠C=∠F； AC∥DF．

∵AD=BE（已知）

∴AD+DB=DB+BE（{#blank#}1{#/blank#}）

即AB=DE

∵BC∥EF（已知）

∴∠ABC=∠{#blank#}2{#/blank#}，（{#blank#}3{#/blank#}）

又∵BC=EF（已知）

∴△ABC≌△DEF（{#blank#}4{#/blank#}）

∴∠C=∠F，∠A=∠FDE（{#blank#}5{#/blank#}）

∴AC∥DF（{#blank#}6{#/blank#}）

①若C、O两点关于AB对称，则OA=2 ；②C、O两点距离的最大值为4；③若AB平分CO，则AB⊥CO；④斜边AB的中点D运动路径的长为 ；其中正确的是{#blank#}1{#/blank#}（把你认为正确结论的序号都填上）．

解：∵DG⊥BC，AC⊥BC(已知)

∴∠DGB=∠ACB=90°({#blank#}1{#/blank#})

∴DG∥AC({#blank#}2{#/blank#} )

∴∠2={#blank#}3{#/blank#} ({#blank#}4{#/blank#} )

∵∠1=∠2(已知)

∴∠1={#blank#}5{#/blank#} (等量代换)

∴EF∥CD({#blank#}6{#/blank#})