4 . 如图，由开始，作一系列的相似三角形，OA的长度是．

   

(1)求OB，OC和OD．
(2)设，，，如此类推，证明：．
(3)用这个方法作更多的直角三角形，直至最后一个三角形的斜边OM与OA重合为止，求OM．

6 . 已知下列是两个等式：
①；
②；
(1)请写出一个更具一般性的关于三角的等式，使上述两个等式是它的特例；
(2)请证明你的结论；

7 . 将质数由小到大编上序号，2算作第一个质数，3算作第二个质数，依次类推．求证：第n个质数P_n＜．

8 . 给定奇数，设是的数阵．表示数阵第行第列的数，且．定义变换为“将数阵中第行和第列的数都乘以”，其中．设．将经过变换得到，经过变换得到，，经过变换得到．记数阵中的个数为．
(1)当时，设，，写出，并求；
(2)当时，对给定的数阵，证明：是的倍数；
(3)证明：对给定的数阵，总存在，使得．

9 . 对任意实数，记为不大于的最大整数，再记，由此可定义函数，进而可定义递推数列.

(1)求的定义域，并判断是否有反函数(只需写出判断结果，无需说明理由).
(2)求证：①的每一项都是正有理数；②的任意两项均不同.
(3)为进一步研究各项的取值情况，有人把该数列排成了下述的“二分树状表”，并探究了图中由箭头连接的两数间的关系，进而猜想“的各项取遍所有正有理数”.请你判断该猜想是否正确，并说明理由.