1. (2020高三上·朝阳期中) 公元前2世纪的古希腊天文学家和数学家希帕科斯是三角学的创立者之一，他因天文观测的需要编制了有关三角比率的表格.后人推测希帕科斯在编制表格的过程中本质上使用了公式 如图是希帕科斯推导此公式时使用的几何图形，已知点B在以线段AC为直径的圆O上，D为弧BC的中点，点E在线段AC上且AE=AB，点F为EC的中点.设OA= 给出下列四个结论：① ②AB=2rsinα；③CF=r(1-cosα)； ④ 其中，正确结论的序号是.