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

2 . 《几何原本》中的几何代数法（用几何方法研究代数问题）成了后世西方数学家处理问题的重要依据，通过这一方法，很多代数公理、定理都能够通过图形实现证明，并称之为“无字证明”.设，称为、的调和平均数.如图，C为线段AB上的点，且AC=，CB=，且，O为AB中点，以AB为直径作半圆.过点C作AB的垂线，交半圆于D，连结OD，AD，BD.过点C作OD的垂线，垂足为E.则图中线段OD的长度是、的算术平均数，线段CD的长度是、的几何平均数，线段______的长度是、的调和平均数,该图形可以完美证明三者的大小关系为_________.

3 . 《几何原本》卷2的几何代数法几何方法研究代数问题成了后世西方数学家处理问题的重要依据.通过这一原理，很多的代数的公理或定理都能够通过图形实现证明，也称之为无字证明;如图所示图形，点D、F在圆O上，点C在直径AB上，且，，于点E，设，，该图形完成的无字证明.
图中线段__________的长度表示

4 . “无字证明”(proofs without words), 就是将数学命题用简单、有创意而且易于理解的几何图形来呈现．请利用图甲、图乙中阴影部分的面积关系，写出该图所验证的一个三角恒等变换公式：__________________．