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

①②
③④

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

5 . 欧几里得在《几何原本》中，以基本定义､公设和公理作为全书推理的出发点.其中第卷命题47是著名的毕达哥拉斯定理(勾股定理)，书中给出了一种证明思路：如图，中，，四边形､､都是正方形，于点，交于点.先证与全等，继而得到矩形与正方形面积相等；同理可得到矩形与正方形面积相等；进一步定理可得证.在该图中，若，则________.

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