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

①②
③④

2 . 阿波罗尼斯的著作《圆锥曲线论》是古代世界光辉的科学成果，它将圆锥曲线的性质网罗殆尽几乎使后人没有插足的余地.他证明过这样一个命题：平面内与两定点距离的比为常数（且）的点的轨迹是圆，后人将这个圆称为阿氏圆，现有，，当的面积最大时，则的长为____________.

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

4 . 若a、，且，可以证明成立．请写出等号成立的条件：______．

6 . 我国汉代数学家赵爽为了证明勾股定理，创制了一副“勾股圆方图”，后人称其为“赵爽弦图”.类比赵爽弦图，由3个全等的小三角形拼成如图所示的等边，若的边长为且，则的面积为_______.

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

9 . 意大利数学家斐波那契以兔子繁殖数量为例引入数列： 1，1，2，3，5，8，…，该数列从第三项起，每一项都等于前两项之和，故此数列称为斐波那契数列，通项公式为，该通项公式又称为“比内公式”（法国数学家比内首先证明此公式），是用无理数表示有理数的一个范例．设n是不等式的正整数解，则n的最小值为__________．