1 . 分析法又叫执果索因法，若使用分析法证明“设 ，且 ，求证：”，索的因应是下列式子中的________.
① ；
② ；
③ ；
④ .

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

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

①②
③④

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

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

6 . 用数学归纳法证明能被整除的第二步中，当时，为使用归纳假设，对可变形为______.

7 . 设数列{a_n}满足a₁=2,a_n+1=2a_n+2,用数学归纳法证明a_n=4·2^n-1-2的第二步中,假设当n=k时结论成立,即a_k=4·2^k-1-2,那么当n=k+1时,____.