1 . 《几何原本》卷2的几何代数法（以几何方法研究代数问题）成了后世西方数学家处理问题的重要依据．通过这一原理，很多代数的公理或定理都能够通过图形实现证明，也称之为无字证明．现有如图所示的图形，点在以为直径的半圆上，为圆心，点在半径上（不与点重合），且．设，则__________（用表示），由可以得出的关于的不等式为__________．

2 . 古希腊数学家欧几里得所著《几何原本》中的“几何代数法”，很多代数公理、定理都能够通过图形实现证明，并称之为“无字证明“如图，为线段中点，为上的一点.以为直径作半圆，过点作的垂线，交半圆于.连结，，，过点作的垂线，垂足为.设，，则图中线段，线段，线段________；由该图形可以得出，，的大小关系为__________.

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