1 . 科拉茨是德国数学家，他在1937年提出了一个著名的猜想：任给一个正整数，如果是偶数，就将它减半（即）；如果是奇数，则将它乘3加1（即），不断重复这样的运算，经过有限步后，一定可以得到1．这是一个很有趣的猜想，但目前还没有证明或否定．如果对正整数（首项）按照上述规则施行变换后得到，依次施行变换后所得到的数组成数列，是数列的前项和，若，则________．

2 . 古希腊数学家欧几里得所著《几何原本》中的“几何代数法”，很多代数公理、定理都能够通过图形实现证明，并称之为“无字证明”如图，为线段中点，为上的一点以为直径作半圆，过点作的垂线，交半圆于.连接，，，过点作的垂线，垂足为.设，，则图中线段，线段，线段______；由该图形可以得出，，的大小关系为______.
   

3 . 古希腊数学家欧几里得所著《几何原本》中的“几何代数法”，很多代数公理、定理都能够通过图形实现证明，并称之为“无字证明“如图，为线段中点，为上的一点.以为直径作半圆，过点作的垂线，交半圆于.连结，，，过点作的垂线，垂足为.设，，则图中线段，线段，线段________；由该图形可以得出，，的大小关系为__________.

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

①②
③④

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