1 . 《几何原本》中的几何代数法是以几何方法研究代数问题，这种方法是后西方数学家处理问题的重要依据，通过这一原理很多的代数公理或定理都能够通过图形实现证明，也称之为无字证明，现有图形如图所示，C为线段上的点，且，，O为的中点，以为直径作半圆，过点C作的垂线交半圆于D，连接，，，过点C作的垂线，垂足为E，若不添加辅助线，则该图形可以完成的所有无字证明为__________．（填写序号）
   
①；②；
③；④．