第一讲:实数系

我们可以定义有序域 FF 。一些有序域 (F,+,,)(F,+,\cdot,\le ) 满足以下所谓连续公理:

连续公理

阿基米德公理:x,yF,x>0,nN+\forall x,y\in F,x>0,\exists n\in N^{+} 使得 nx>ynx>y

完备公理:若存在代数结构 (F,+,,)(F',+,\cdot,\le ) 满足 FFF\subseteq F',且在 FF 上做的运算和 (F,+,,)(F,+,\cdot,\le) 自身运算相同,则 F=FF=F'

我们将满足连续公理的有序域称为它满足实数系公理

由戴德金分割得到的实数系就满足实数系公理

实数系的唯一性:

如果有另一个代数结构满足实数系公理,那么它是与实数系同构的!(注意这里的同构不仅是构造双射,而且代数运算也是要对应的,比如说 φ(x)+φ(y)=φ(x+y)\varphi(x)\circ_+\varphi(y)=\varphi(x+y)

我们来证明这个定理。

Step1:

我们需要证明一个引理。

前置知识:

事实:若 FF 是特征为 00 的域,则存在 QQFF 的保序单射的同态(被称为嵌入)。

(R,,,)(R^{*},\oplus,\otimes,\le ) 是一个满足实数系公理的代数结构。

可以证明它特征为 00 。找到 QQRR^{*} 的嵌入,我们不妨认为 QQRR^{*} 的子域。

引理a,bR\forall a,b\in R^{*}a<ba<brQ\exists r\in Q 使得 a<r<ba<r<b

引理证明:

先找到 nN+n\in N^{+} 使得 n(ba)>2n(b\ominus a)>2 。那么 1n<ba2\frac{1}{n}<\frac{b\ominus a}{2} 。然后再找到最小的 mN+m\in N^{+} 使得 mn>a\frac{m}{n}>a ,则 m1na\frac{m-1}{n}\le a

那么 mna1n<aba2<b\frac{m}{n}\le a\oplus \frac{1}{n}<a\oplus \frac{b\ominus a}{2}<b ,所以 a<mn<ba<\frac{m}{n}<bmn\frac{m}{n} 就是我们要找的有理数。

Step2:

利用引理,我们设 φ:(R,,,)(R,+,,)\varphi:(R^{*},\oplus,\otimes,\le )\rightarrow (R,+,\cdot,\le)

aR\forall a\in R^{*} ,构造 φ(a)={xQx<a}\varphi(a)=\{x\in Q|x<a\} 。可以证明 φ\varphi 就是我们要找的同构!

良定义显然。

单射:a,bR\forall a,b\in R^{*} 满足 aba\neq b ,不妨令 a<ba<b ,则根据引理存在 rQr\in Q 使得 a<r<ba<r<b ,那显然 φ(a)φ(b)\varphi(a)\neq \varphi(b)

保序显然,单位元显然相同。

φ(a)φ(b)=φ(ab)\varphi(a)\oplus\varphi(b)=\varphi(a\oplus b)

先证明 φ(a)+φ(b)φ(ab)\varphi(a)+\varphi(b)\subseteq \varphi(a\oplus b) ,这是显然的:r1<a,r2<b,r1+r2<ab\forall r_1<a,r_2<b,r_1+r_2<a\oplus b

反过来,rφ(ab)\forall r\in \varphi(a\oplus b) ,有 r<abr<a\oplus b ,根据引理取 r2Qr_2\in Q 使得 ra<r2<br\ominus a<r_2<b

再取 r1r_1 使得 rr2<r1<ar-r_2<r_1<a ,那么 r<r1+r2,r1<a,r2<br<r_1+r_2,r_1<a,r_2<b

综上,rφ(a)+φ(b)r\in \varphi(a)+\varphi(b) ,于是 φ(ab)φ(a)+φ(b)\varphi(a\oplus b)\subseteq \varphi(a)+\varphi(b)

乘法的证明类似,我们先在 R+R^{+} 上证明然后稍微拓展一下。

怎么证明满射?通过前面的部分,已经可以确认 φ(R)\varphi(R^{*})RR 的子代数结构,根据完备公理即可得 φ(R)=R\varphi(R^{*})=R。证明完成。

另一种实数定义方式:Cauchy列

QQ 上的序列 {an}n=1+\{a_n\}_{n=1}^{+\infty} 满足 limn,m+aman=0\lim\limits_{n,m\rightarrow +\infty}|a_m-a_n|=0 ,则该序列被称为Cauchy列。

两个Cauchy列 a,ba,b 等价:limn+anbn=0\lim\limits_{n\rightarrow +\infty}|a_n-b_n|=0

RR 定义为柯西列的等价类构成的集合。

那么加法和乘法的定义都是能猜到的,

[{an}n=1+]+[{bn}n=1+]=[{an+bn}n=1+][\{a_n\}_{n=1}^{+\infty}]+[\{b_n\}_{n=1}^{+\infty}]=[\{a_n+b_n\}_{n=1}^{+\infty}] ,乘法同理。

但我们需要证明这个定义是良定义的,也就是说换成等价的其他序列,会导向同一个等价类。

[ann=1+]<[bnn=1+][{a_n}_{n=1}^{+\infty}]<[{b_n}_{n=1}^{+\infty}]\leftrightarrow 存在正整数 mm ,使得 nn 充分大时 an<bn1ma_n<b_n-\frac{1}{m}

同样,我们也要说明这是良定义的。

然后可以证明它和戴德金分割是等价的:先咕了。

“柯西域的概念可推广到一般的度量空间”这是什么意思?咕咕咕了

第二讲

首先介绍了一遍 Cantor-Bernstein 定理,就是两个集合间互有单射则存在双射这档事,之前离散数学讲过了。

一个应该是学 mo 的同学直接现场编出了图论证法,很牛。

然后是正式的部分,接下来的习题课都是讲很难的拓展题了,我凭我的能力尽量记录一下。

T1:证 Liouville 定理

n2n\geq 2 ,无理数 xx 是某个 nn 次整系数多项式的零点,则存在常数 A>0A>0 使得对于任何 qZ,pZ+q\in \Z,p\in \Z^{+} 均有 xqp>Apn|x-\frac{q}{p}|>\frac{A}{p^n}

做法:

xxZZ 上的最小多项式是 P(x)=i=0maixiP(x)=\sum\limits_{i=0}^m a_ix^i 。回顾最小多项式:不存在 QZ[x]Q\in \Z[x] 使得 Q(x)=0Q(x)=0QPQ|PdegQ<degP\deg Q<\deg P

只要 P(qp)0P(\frac{q}{p})\neq 0 ,则 P(qp)1pm|P(\frac{q}{p})|\geq \frac{1}{p^m} (直接通分即可得到)

所以 P(qp)P(x)1pn|P(\frac{q}{p})-P(x)|\geq \frac{1}{p^n}

1pnP(qp)P(x)=i=0mai((qp)ixi)=qpxi=0mai(xi1++(qp)i1)qpxi=0miai(32x)i1\frac{1}{p^n}\le |P(\frac{q}{p})-P(x)|=|\sum\limits_{i=0}^m a_i((\frac{q}{p})^i-x^i)|=|\frac{q}{p}-x|*|\sum\limits_{i=0}^m a_i(x^{i-1}+\dots+(\frac{q}{p})^{i-1})|\le |\frac{q}{p}-x|\sum\limits_{i=0}^m i|a_i|(\frac{3}{2}|x|)^{i-1}

观察链的两端,我们就自然而然知道怎么取 AA 了。

T2是简单题。

T3

R\R 上有界函数 ff 满足 f(x+16)+f(x+17)=f(x)+f(1342)f(x+\frac{1}{6})+f(x+\frac{1}{7})=f(x)+f(\frac{13}{42})ff 为周期函数。

证明:

A(x)=f(x+16)f(x)A(x)=f(x+\frac{1}{6})-f(x) 。则它的周期为 17\frac{1}{7} ,自然也有周期 11

那么 A(x)=A(x+1)A(x)=A(x+1) ,即

于是 f(x+16)f(x)=f(x+76)f(x+1)f(x+\frac{1}{6})-f(x)=f(x+\frac{7}{6})-f(x+1)

B(x)=f(x+1)f(x)B(x)=f(x+1)-f(x) ,则 BB 具有周期 16\frac{1}{6} ,自然也有周期 11

这样就得到了 B(x)=B(x+1)B(x)=B(x+1)

现在就可以利用 ff 有界的性质来说明了:f(x+n)=f(x)+knf(x+n)=f(x)+kn ,为了 ff 有界,kk 只能是 00

另解:对于 xRx\in \R ,考虑取序列 {an}+\{a_n\}_{-\infty}^{+\infty} 满足 an=f(n42+x)a_n=f(\frac{n}{42}+x) ,则 an+13=an+7+an+6ana_{n+13}=a_{n+7}+a_{n+6}-a_n ,然后解这个递推方程从而尝试证明 an=an+42a_n=a_{n+42} 。这里后面再写。(这应该是一个更通用的方法)

T4

对于周期函数 f,gf,g ,若 limx+(f(x)g(x))=0\lim\limits_{x\to +\infty}(f(x)-g(x))=0 ,则 f=gf=g

证明:设 f,gf,g 周期分别为 T1,T2T_1,T_2 ,则:

0=limx+(f(x+nT1)g(x+nT1))=limx+(f(x)g(x+nT1))0=\lim\limits_{x\to +\infty}(f(x+nT_1)-g(x+nT_1))=\lim\limits_{x\to +\infty}(f(x)-g(x+nT_1))

(这里没写完)

T5

f:RRf:\R\to\R ,证明 {xRlimyxf(y)=+}\{x\in \R|\lim\limits_{y\to x}f(y)=+\infty\} 至多可数。

证明:设 A={xRlimyxf(y)=+},An={xAf(x)n}A=\{x\in \R|\lim\limits_{y\to x}f(y)=+\infty\},A_n=\{x\in A|f(x)\le n\} ,则 AA 是所有 AnA_n 的并且 AnAn+1A_n\subset A_{n+1} ,只需要对任意 nZn\in \ZAnA_n 可数即可。

xAn\forall x\in A_n ,找到 ϵ\epsilon 使得 y(xϵ,x+ϵ){x}\forall y\in (x-\epsilon,x+\epsilon)-\{x\}f(y)n+1f(y)\geq |n|+1

于是构造单射 x(xϵx2,x+ϵx2)x\rightarrow (x-\frac{\epsilon_x}{2},x+\frac{\epsilon_x}{2}) ,我们知道两两不交的区间至多可数。这就证完了。

T6

α\alpha 是无理数,证明 A={nxmod1}A=\{nx\bmod 1\}[0,1][0,1] 稠密。(即与 [0,1][0,1] 内任意开区间的交非空)

证明:

考虑反证,如果有一个开区间和 AA 的交为空,则设 n,mN+n,m\in \N^{+} 满足 [mn,m+1n][\frac{m}{n},\frac{m+1}{n}]AA 的交为空。

那么观察 αmod1,2αmod1,,(n+1)αmod1\alpha\bmod 1,2\alpha \bmod 1,\dots,(n+1)\alpha\bmod 1 ,根据抽屉原理,存在 1i<jn+11\le i<j\le n+1 满足 iαmod1,jαmod1[kn,k+1n]i\alpha\bmod 1,j\alpha\bmod 1\in [\frac{k}{n},\frac{k+1}{n}]

于是 (ji)α<1n||(j-i)\alpha ||<\frac{1}{n} ,这里 x||x|| 表示 xx 到最近的整数的距离。

接下来容易构造 (ji)α(j-i)\alpha 的倍数,使得它的小数部分落到 [mn,m+1n][\frac{m}{n},\frac{m+1}{n}] 间,这样就矛盾了。

T7

对于 αR,\alpha\in \R, 讨论 {sinnα}\{\sin n\alpha\} 的敛散性。

case1:

α=2πpq(p,qZ)\alpha=2\pi*\frac{p}{q}(p,q\in \Z)

显然 2pq\frac{2p}{q} 得是整数。

case2:

α=2πr\alpha=2\pi rrr 无理

nrmod1nr\bmod 1[0,1][0,1] 上的稠密性,可知 nαmod2πn\alpha \bmod 2\pi[0,2π][0,2\pi] 的稠密性,于是 sinnα{\sin n\alpha} 可逼近 [1,1][-1,1] 间的任意数,所以发散。

结论:α=kπ(kZ)\alpha=k\pi(k\in \Z) \leftrightarrow 收敛

T8

0p<k0\le p<k ,求 limn+j=0n1Cknp+jk2kn\lim\limits_{n\to+\infty}\frac{\sum\limits_{j=0}^{n-1}C_{kn}^{p+jk}}{2^{kn}}

解:先猜一手是 1k\frac{1}{k}

考虑直接单位根反演,即 jkn[kjp]Cknj=1kd=0k1wkd(kp)(wkd+1)kn\sum\limits_{j\le kn}[k|j-p]C_{kn}^j=\frac{1}{k}\sum\limits_{d=0}^{k-1}w_k^{d(k-p)}(w_k^d+1)^{kn}

这个式子 dd00 的时候可以得到 2kn2^{kn} ,对剩下的部分我们直接放缩。 也就是说,对于 d=1k1wkd(kp)(wkd+12)kn\sum\limits_{d=1}^{k-1}w_k^{d(k-p)}(\frac{w_k^d+1}{2})^{kn} ,我们有 d=1k1wkd(kp)(wkd+12)knd=1k1(wkd+12)kn|\sum\limits_{d=1}^{k-1}w_k^{d(k-p)}(\frac{w_k^d+1}{2})^{kn}|\le |\sum\limits_{d=1}^{k-1}(\frac{w_k^d+1}{2})^{kn}| ,由于 wkd+12<1\frac{w_k^d+1}{2}<1 ,所以这玩意儿趋于 00 。这个题就做完了

T9

对于正项数列 {an}\{a_n\} ,证明 limnanin(1+ai)=0\lim\limits_{n\to \infty}\frac{a_n}{\prod\limits_{i\le n}(1+a_i)}=0

证明:令 bn=anin(1+ai)b_n=\frac{a_n}{\prod\limits_{i\le n}(1+a_i)} ,则 bb 的前缀和是 11in(1+ai)1-\frac{1}{\prod\limits_{i\le n}(1+a_i)}n=1+bn\sum\limits_{n=1}^{+\infty}b_n 收敛,所以 bn0b_n\to0

第三讲

对于 a1=2,an+1=2+1ana_1=2,a_{n+1}=2+\frac{1}{a_n} ,求极限。

大家都会做,但我们可以从几何上观察这个问题:画出 y=2+1xy=2+\frac{1}{x}y=xy=x 这两条线,我们可以更直观的感受到数列的变化

思考:这个问题中 f(x)=2+1xf(x)=2+\frac{1}{x} ,那 ff 满足什么条件的时候, an+1=f(an)a_{n+1}=f(a_n) 这个数列会收敛到不动点?

T1

limn+nsin(2πn!e)\lim \limits_{n\to+\infty}n\sin (2\pi n!e)

考虑 e=1i!e=\sum \frac{1}{i!} ,发现 n!i=0n1i!n!\sum\limits_{i=0}^n\frac{1}{i!} 是整数。而 wn=n!i=n+1+1i!w_n=n!\sum\limits_{i=n+1}^{+\infty}\frac{1}{i!}1n+1\frac{1}{n+1}1n\frac{1}{n} 之间。那么 nwn1,wn0nw_n\to 1,w_n\to 0

考察 limnnsin(2πwn)\lim\limits_{n\to\infty}n\sin (2\pi w_n) ,由于 x0x\to 0 时能把 sinx\sin x 看做 xx ,所以它就等于 limnn2πwn=2π\lim\limits_{n\to\infty}n*2\pi w_n=2\pi

T2

limn+nnn!\lim\limits_{n\to+\infty}\frac{n}{^n\sqrt{n!}}

考虑对这个东西取 ln ,得到 nlnn(ln1++lnn)n\frac{n\ln n-(\ln_1+\dots+\ln n)}{n} ,根据 stolz ,求 (n+1)lnnnlnnln(n+1)(n+1)\ln n -n\ln n-\ln (n+1) 的极限即可。

化一下就得到 nln(1+1n)n\ln(1+\frac{1}{n}) ,到这里就做完了。因为 (1+1n)n(1+\frac{1}{n})^n 的极限是 ee

T3

an=((2n)!!(2n1)!!)212n+1a_n=(\frac{(2n)!!}{(2n-1)!!})^2\frac{1}{2n+1} ,证明 ana_n 收敛。

证明单调容易,为什么有上界?

((2n)!!(2n1)!!)2(\frac{(2n)!!}{(2n-1)!!})^2 进行放缩,我们有 (2n2n1)2<2n2n12n12n2=nn1(\frac{2n}{2n-1})^2<\frac{2n}{2n-1}\cdot\frac{2n-1}{2n-2}=\frac{n}{n-1} ,这样就可以轻易的连续抵消了。

T4

an=1+2++na_n=\sqrt{1+\sqrt{2+\dots+\sqrt{n}}} ,证它是收敛的。

f(l,r)=l+l+1++rf(l,r)=\sqrt{l+\sqrt{l+1+\dots+\sqrt{r}}}

我们考察 an+1ana_{n+1}-a_n ,然后不断的搞逆向的有理化,得到它等于 n+1i=1n(f(i,n+1)+f(i,n))\frac{\sqrt{n+1}}{\prod\limits_{i=1}^n(f(i,n+1)+f(i,n))} 。最后能化成它 22n\le \frac{\sqrt{2}}{2^n}

另一个证明:归纳证明对于 i3,i\geq 3, f(i,n)if(i,n)\le i (逆向归纳)

T5

对于正序列 aa ,设 an+1anl\frac{a_{n+1}}{a_n}\to l ,证明 nanl^n\sqrt{a_n}\to l

考虑取 ln ,就是求 lnann\frac{\ln a_n}{n} 的极限。由 cuachy,就是求 lnan+1lnan\ln a_{n+1}-\ln a_n 的极限。也就是求 elnan+1lnane^{\ln a_{n+1}-\ln a_n} 的极限,这就是 an+1an\frac{a_{n+1}}{a_n}

T6

0<a1<1,an+1=an(1an)0<a_1<1,a_{n+1}=a_n(1-a_n) ,证 nan1na_n\to 1

往证 1nan1\frac{1}{na_n}\to 1 ,由 stolz ,这就是求 1an+11an\frac{1}{a_{n+1}}-\frac{1}{a_n} 的极限

代入题目条件可以得到 11an\frac{1}{1-a_n}

接下来尝试证明 an0a_n\to 0 。发现它是单减有界的!解一下 x=x(1x)x=x(1-x) 即可。

T7

ani=1nai21a_n\sum\limits_{i=1}^n a_i^2\to 1 ,则 33nan1^3\sqrt{3n}a_n\to 1

怎么做呢?往证 (133nan)31(\frac{1}{^3\sqrt{3n}a_n})^3\to 1 ,即 13nan3\frac{1}{3na_n^3}

根据条件,也就是证 (i=1nai2)33n1\frac{(\sum\limits_{i=1}^n a_i^2)^3}{3n}\to 1

由 stolz,证 (i=1nai2)3(i=1n1ai2)331\frac{(\sum\limits_{i=1}^{n} a_i^2)^3-(\sum\limits_{i=1}^{n-1} a_i^2)^3}{3}\to 1 即可

S=i=1nai2S=\sum\limits_{i=1}^{n} a_i^2 ,则上式为 S3(San2)3=an63an4S+3an2S2S^3-(S-a_n^2)^3=a_n^6-3a_n^4S+3a_n^2S^2

因为 anS1a_nS\to 1 ,所以就是证 an63an3+33a_n^6-3a_n^3+3\to 3

an0a_n\to 0 即可。考虑反证,然后导出 anSa_nS 并不趋于 11 ,从而导出矛盾

T8

设正项序列 aa 满足 i=1naiA\sum\limits_{i=1}^n a_i\to A ,证明 n(a1an)1n0n(a_1\dots a_n)^{\frac{1}{n}}\to 0

考虑 n!a1an=1a12a2nann!a_1\dots a_n=1a_1*2a_2*\dots*na_n

均值不等式可知 (1a12a2nan)1/n1a1+2a2++nann(1a_1*2a_2*\dots*na_n)^{1/n}\le \frac{1a_1+2a_2+\dots+na_n}{n}

Sn=i=1naiS_n=\sum\limits_{i=1}^n a_i ,则上式等于 SnS1++SnnS_n-\frac{S_1+\dots+S_n}{n} ,对后者用 stolz 即可。

T9

(n0)(nn)\tbinom{n}{0}\dots\tbinom{n}{n} 的几何平均为 GnG_n ,证 nGne^n\sqrt{G_n}\to\sqrt{e}

((n!)n+1i=0n(i!)2)1n(n+1)(\frac{(n!)^{n+1}}{\prod\limits_{i=0}^n (i!)^2})^{\frac{1}{n(n+1)}}

取 ln ,得到 (n+1)lnn!2i=1nln(i!)n(n+1)\frac{(n+1)\ln n!-2\sum\limits_{i=1}^n \ln (i!)}{n(n+1)}

stolz,得到 (n+2)ln(n+1)!(n+2)lnn!2ln(n+1)!2n+2\frac{(n+2)\ln (n+1)!-(n+2)\ln n!-2\ln (n+1)!}{2n+2}

化简可得 nln(n+1)(ln1++lnn)2n+2\frac{n\ln (n+1)-(\ln 1+\dots+\ln n)}{2n+2}

stolz ,得到 nln(1+1n)2\frac{n\ln (1+\frac{1}{n})}{2} ,这个极限就是 12\frac{1}{2} ,结束了

第四讲

T1

limni=1n(1+in2)\lim\limits_{n\to\infty}\prod\limits_{i=1}^n (1+\frac{i}{n^2})

考虑取 ln ,然后对 ln(1+in2)\ln (1+\frac{i}{n^2}) 做放缩,有 xx22ln(1+x)xx-\frac{x^2}{2}\le \ln(1+x)\le x

T2

limni=1n1n+i\lim\limits_{n\to\infty}\sum\limits_{i=1}^n \frac{1}{n+i}

考虑 Euler 常数。于是 i=1n1n+i=ln2n+c+α2nlnncαn=ln2+α2nαn\sum\limits_{i=1}^n \frac{1}{n+i}=\ln 2n+c+\alpha_{2n} -\ln n-c-\alpha_n=\ln 2+\alpha_{2n}-\alpha_n 。我们有 αn0\alpha_n\to 0 。那上式就趋于 ln2\ln 2 了。

limni=12n(1)i1i\lim\limits_{n\to \infty}\sum\limits_{i=1}^{2n}\frac{(-1)^{i-1}}{i}

发现它等于 (1+12++12n)2(12+14++12n)(1+\frac{1}{2}+\dots+\frac{1}{2n})-2(\frac{1}{2}+\frac{1}{4}+\dots +\frac{1}{2n}) 。这就跟前面那个题一样了。

T3

c4c\geq -4x0=0,xn+1=c+xn22x_0=0,x_{n+1}=\frac{c+x_n^2}{2} ,问 cc 取何值时 {xn}\{x_n\} 收敛。

答案是 [3,1][-3,1]

首先有 c1c\le 1 ,因为假设极限为 aa ,则 a=c+a22a=\frac{c+a^2}{2} ,方程有解条件即 c1c\le 1

接下来设 a=c+a22a=\frac{c+a^2}{2} 的两个解为 t1<t2t_1<t_2

case1: c[0,1]c\in [0,1] 发现 xn[0,t1]x_n\in [0,t_1]xnx_n 单调递增。(可以数形结合以作观察)所以 xnx_n 有极限,极限自然是 t1t_1

case2: c[4,0]c\in [-4,0]

归纳可得 c2=x1x3x5t1x4x2x0=0\frac{c}{2}=x_1\le x_3\le x_5\dots \le t_1\le \dots\le x_4\le x_2\le x_0=0

于是令 x2n+1α,x2nβx_{2n+1}\to \alpha,x_{2n}\to \beta

考虑计算 α,β\alpha,\beta ,发现它们都是 t=c+(c+t2)242t=\frac{c+\frac{(c+t^2)^2}{4}}{2} 的根

虽然是四次方程,但发现能因式分解,我们得到 (t22tc)(t2+2t+c+4)=0(t^2-2t-c)(t^2+2t+c+4)=0 ,接下来就容易了

c(3,0]c\in (-3,0] 时,后者无实根,前者根即为 t1t_1

c=3c=-3 时直接带入得到 (t+1)3(t3)=0(t+1)^3(t-3)=0 ,于是 t=1t=-1

c[4,3)c\in [-4,-3) 时就没法直接算出来极限了,接下来就证 xnx_n 这个情况下是不收敛的。假设收敛,则其极限一定为 t1t_1 。首先有 xnt1x_n\neq t_1 ,否则可以倒推得 xn1,xn2,,x0x_{n-1},x_{n-2},\dots,x_0 都是 t1t_1

然后考察 xn+1t1xnt1=xn+t12t1|\frac{x_{n+1}-t_1}{x_n-t_1}|=\frac{|x_n+t_1|}{2}\to |t_1| 。有 t1>1|t_1|>1 ,于是 xnx_n 发散,矛盾!