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

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

3 . 若a>0,b>0,a+b=2，则下列不等式对一切满足条件的a，b恒成立的是      (写出所有正确命题的编号)．①ab≤1； ②+≤； ③a²+b²≥2；④a³+b³≥3;.

4 . 给出下列四个命题：
①若，且则；
②设，命题“若”的否命题是真命题；
③函数的一条对称轴是直线；
④若定义在上的函数是奇函数，则对定义域内的任意必有.
其中，所有正确命题的序号是________.