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

①②
③④

2 . 如图是数学家Germinal Dandelin用来证明一个平面截圆锥得到的截口曲线是椭圆的模型（称为“Dandelin双球”）；在圆锥内放两个大小不同的小球，使得它们分别与圆锥的侧面、截面相切，设图中球，球的半径分别为和，球心距离,截面分别与球，球切于点，，（，是截口椭圆的焦点），则此椭圆的离心率等于______．