1 . 被誉为“数学之神”的阿基米德（前287-前212），是古希腊伟大的物理学家､数学家､天文学家，他最早利用逼近的思想证明了如下结论：抛物线的弦与抛物线所围成的封闭图形的面积，等于抛物线的弦与经过弦的端点的两条切线所围成的三角形面积的三分之二.这个结论就是著名的阿基米德定理，其中的三角形被称为阿基米德三角形､在平面直角坐标系中，已知直线：与抛物线：交于，两点，则弦与抛物线所围成的封闭图形的面积为___________.

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

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

5 . 阿波罗尼斯（约公元前262-190年）证明过这样一个命题：平面内到两定点距离之比为常数的点的轨迹是圆，后人将此圆称为阿氏圆.若平面内两定点、间的距离为4，动点满足，则动点的轨迹所围成的图形的面积为___________；最大值是___________.

6 . “无字证明”就是将数学命题用简单、有创意而且易于理解的几何图形来呈现，请利用甲、乙、丙的面积关系，写出该图所验证的一个三角恒等变换公式：______.