两道高考题的源的探求

八四年理科高考数学最末一道题为:设x_1=a(a>2),x_(n+1)=x~2_n/2(x_n-1),n=1,2,…,求证:(1)x_n>2,(x_n+1)/x_n<1;(2)a≤3,则x_n≤2+1/2~(n-1);(3)a>3,则当n>lg(a/3)/lg(4/3)时,x_(n+1)<3。八六年理科高考数学最末一道题为:已知x_1>0且x_1≠1,x_(n+1)=x_n(x_n~2+3)/3x_n~2+1(n=1,2,…)。试证:数列{x_n}或者对任意自然数n都满足x_nx_(n-1)。由于给出的参考答案回避了求通项,故有不少同志围绕怎样求通项而进行了探讨,从而得到了不少巧妙的解法,其中较显著的要算下列的解法。