《几何原本》中的几何代数法是以几何方法研究代数问题，这种方法是后西方数学家处理问题的重要依据，通过这一原理很多的代数公理或定理都能够通过图形实现证明，也称之为无字证明，现有图形如图所示，为线段上的点，且为的中点，以为直径作半圆

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

① $\text{[math]}$ ② $\text{[math]}$ ③ $\text{[math]}$ ④ $\text{[math]}$