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

①②
③④

2 . 用数学归纳法证明“”时，当时，应证明的等式为______．

3 . 公元前世纪，古希腊毕达哥拉斯学派已经知道五种正多面体，即正四面体、正六面体、正八面体、正十二面体、正二十面体．后来，柏拉图学派的泰阿泰德（Theaetetus）证明出正多面体总共只有上述五种．如图就是五种正多面体的图形．现有张分别画有上述五种多面体的不同卡片（除画有的图形不同外没有差别），若从这张不同的卡片中任取张，则没有取到画有“正四面体”卡片的概率为____________．

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

5 . 用反证法证明命题“若，则且”时，应假设为__________．