首页 理论教育 从根号2谈起:习题解答及提示

从根号2谈起:习题解答及提示

时间:2026-01-27 理论教育 可欣 版权反馈
【摘要】:练习题一1.取x=。有了长度为的线段MN,以MN为一直角边,作另一直角边NP=1,那么练习题二1.要证是无理数,只要证是无理数。设,r是有理数,则由此推出是有理数,平方后可推出是有理数,矛盾。把这个等式两端立方,并项后得出矛盾。练习题三1.此题相当于要求计算。练习题四1.还有,如便是。另一题解法与此类似。练习题五1.根据上一章练习题2、5、6就可解本题。

练习题一

1.取x=图示

2.a=0时ab=0,是有理数,否则ab是无理数。

3.如果P是质数,m是大于1的整数,易证图示是 无 理数。如 果图示是有理数,设图示,那么nmP=km,左端含因数P且个数是n的倍数,而右端不是,推出了矛盾。

4.取y=a+(b-a)图示,那么y是无理数。由图示<1可知a<y<b。

5.图示不是有理数。因为图示不是有理数。

6.不一定。如图示=2。

7.a和b一定是有理数。因为

图示

8.利用勾股定理。有了长度为图示的线段MN,以MN为一直角边,作另一直角边NP=1,那么

图示

练习题二

1.要证图示是无理数,只要证图示是无理数。为此,只要证图示图示是无理数。要证(1-图示3是无理数,可以展开、并项后证明。要证图示是无理数,只要证图示是无理数。最后,证明图示是无理数,可用反证法。设图示,r是有理数,则

图示

由此推出图示是有理数,平方后可推出图示是有理数,矛盾。

2.如果图示,那么a=图示

3.用反证法,设图示,那么

mαa+mβ=nγa+nδ,(mα-nγ)a=nδ-mβ。

如果mα-nγ≠0,那么a为有理数,与已知相矛盾。如果mα-nγ=0,那么nδmβ=0,于是图示,推出αδ=βγ,即αδ-βγ=0,也与已知相矛盾。

4.取图示,显然有p+q=a,p-q=b。由假设知p为有理数,而q=a-p,所以q为无理数。

5.如果图示,r是有理数,则

图示

展开后可得到r3-3r2图示+3·2r- 2图示=3,由此推出(3r2+2)图示是有理数,矛盾。

6.和上题类似,把图示两端平方后,整理成2图示=…,两端再平方。

7.利用练习题一的第8题。

8.如果图示是整系数二次方程式mx2+nx+p=0的根,则m 图示+p=0。如果n=0,推出图示是有理数,矛盾。如果p=0,也推出图示图示是有理数,矛盾。于是mnp≠0。由求根公式得

图示

显然图示为无理数。把这个等式两端立方,并项后得出矛盾。证明中注意用到n2-4mp>0。

9.设图示图示=x,则图示=x-图示,两端立方,得

图示

移项,得

图示

两端平方,即得所要的方程式。

10.方程式x3-x2-x+2=0有无理根。因为左端当x=-1时为正,x=-2时为负,故在-2与-1之间有根。但这根不是整数,所以必为无理数。

11.把x1= 3-图示代入方程式x3+mx2+nx+p=0,整理后得到P+Q图示=0,由此推出P,Q=0。再把x2= 3+图示代入,可以发现x2也是它的根。设x3是另一根,则

x3=-m-x1-x2

12.把全体实数分成3部分:(1)有理数;(2)m 图示形式的数,m是正整数;(3)其他无理数。(1)和(2)放在一起可以排成一行与(2)对应,(3)和自己对应。

13.把全体实数分成3部分:(1)代数数;(2)mα形式的超越数,这里α是取定的一个超越数,m是正整数;(3)其他超越数。再用上题的方法。

练习题三

1.此题相当于要求计算图示。已知

图示

设(1+x)5图示,则图示=1+x。于是展开(1+x)5

图示

把x<0.09回代一下,估出

图示

再回代,得

图示

再回代,得

图示

所以

图示

即平均年增长率高达7.2%。注意在回代过程中,对x3,x4并不真算,只要略加估计。此题也可用下面第5题推出的公式。

2.图示,误差小于图示

3.图示,两端立方得

图示

所以得

图示

比(14)式略好。

4.在命题8中取方程式为x2-a=0或x3-a=0,分别得到命题6和7。

5.设命题8中的方程式为x5-a=0,a≥0。设5图示的一个近似值为x1,用(x-x12来除x5-a。除法可这样进行:设y=x-x1,那么x=y+x1,代入(x5-a),得

图示

两端用x=图示代入,又设图示-x1=d,便得

图示

若右端比|d|更小时,图示图示的更好的近似值。

6.由(15)式可知,不管x1图示是正是负,当n≥2时总有

图示

这里

图示

令xn图示=dn,则dn<xn,由(15)式得

图示

从而知

图示

所以xn图示之差,当n足够大时可任意小。

7.设xn+1图示),由(32)式可知,当n≥2时有图示≥0,于是和上题有类似的情形。

图示

图示

8.如果|x|≥1+|a1|+…+|an|,那么

图示

所以x不是方程式的根。

练习题四

1.还有,如图示便是。

2.设x=图示,x+1=图示,那么

图示

它的前5个近似分数是0,1,图示

3.图示的连分数展式中的近似分数是图示,故3块8分,4块11分,11块3角最合理。

4.设x=图示,那么x2-1=图示

图示

所以的近似分数是1,图示,…

5.根据图示

图示

对k作数学归纳。当k=0,命题显然成立。如果命题对k-1成立,那么

[a2,a3,…,a2k]≤[a2,a3,…,an]≤[a2,a3,…,a2k+1]。

于是

[a1,a2,…,a2k+1]≤[a1,a2,…,an]≤[a1,a2,…,a2k]。

进一步即得所要的不等式。

6.对连分数的长度k作归纳。当k=0时,

图示

命题成立。设命题对长为k-1的连分数成立,证明它对长为k的连分数也成立。

图示

图示

由归纳假设可知

图示

即|mk-1nk-nk-1mk|=1。但

图示(https://www.xing528.com)

于是qk=mk-1,qk+1=mk,易计算出

图示

7.设x=[a,b,c,b,c,b,c,…],那么

图示

两端整理后可知,x满足一个整系数二次方程式。另一题解法与此类似。

8.设x=图示,那么

图示

即可展成连分数。一般说来,任一个二次整系数方程式的正实根都能展成连分数,但证明起来稍困难一些。你不妨具体算几个试一试。

练习题五

1.根据上一章练习题2、5、6就可解本题。

2.如第75页图5-6所示,

∠AEF=∠BEA=∠FAE=∠ABE,

可知两个等腰三角形△AEF∽△BEA,所以

BE∶AE=AE∶FE。

但由正五边形的角∠BAE=108°,可求出∠ABE=36°,所以∠BAF=∠BFA=72°,于是AE=BF。本题也可用面积证法。设

图示

那么

图示

3.利用数列1,1,2,3,5,8,13,21的性质,先比较第8个和第13个。如果第8个较重,可淘汰第13个至第21个的球,否则淘汰第1个至第8个的球,剩下13个球,再取第5个、第8个来比,直到剩下两个球。

4.(1)由λ2+λ=1,得

图示

所以

图示

这里图示表示图示的小数部分。于是

图示

图示

(2)如果图示,设

图示

这里δ1,δ2是小于1的正数,而

图示

于是n=kλ2+λ2δ1,m=kλ+λδ2,两式相加得n+m=k(λ2+λ)+λ2δ1+λδ2=k+λ2δ1+λδ2,于是n+m-k=λ2δ1+λδ2。左端是整数,右端是小于1的正数,矛盾。

5.由kα<n可得k≤图示。这样的k有图示个。

6.由5题知,满足图示<n的整数图示有[λn]个,满足图示<n的整数有[λ2n]个,由λ2n+λn=n可得[λ2n]+[λn]=n-1,即形为图示图示的整数不超过n-1的共有n-1个。由题4(2),它们互不重复,于是得证。

7.由以上3题可知,取胜数字表上的数确实是满足:

图示

的数列。因为造表的原则是①A1=1,②Bn-An=n,③An,Bn递增地走遍全体正整数,且不重复。满足这3条的数列是唯一确定的,而图示恰好有这3条性质。

要说明按表上的数字来拿,必然取胜,只要说明在轮到对方拿时,如果石子数是An,Bn,那么不管对方如何拿,石子数会变得不和表上的任一对数符合,并且,你总有办法又拿一次使它拿光或回到表上来。可分这几种情形:

(ⅰ)对方拿光一堆,或拿得使两堆相等,你总可一次拿光而胜。

(ⅱ)对方把An,Bn变成C,D,如果C-D≥n,那么必有D<An,所以D在表中An、Bn之前出现。你总可以在C中拿去一些,使结果成为表上的一对数字。

(ⅲ)如果对方把An,Bn变成C,D,而1≤C-D<n,设C-D=l。如果D>Al,你可从C、D中同时拿去(D-Al)个,使结果为Al,Bl。如果D<Al,拿法与(ⅱ)同。D=Al是不可能的,因为对方仅从一堆中拿石子,不会使两个数都变小。

练习题六

1.如果a=图示,b=图示,由logab=图示得amn=b,即an=bm,从而pnlm=qnkm。由于图示皆为最简分数,所以推出pn=km,qn=lm。由于可设图示为最简,又可以推出图示=rm,且图示=rn。这里r是有理数。

2.只有b=1时logab才是有理数。因为如果

图示

那么amn =b,an=bm,a是方程式xn图示的根,即为lmxn=km的根。

3.如果n为奇数或0时,由sinφ为有理数,可知sinnφ也是有理数,因为这时sinnφ可展成sinφ的多项式。如果n为偶数时,或者sinnφ=0,此时sinφ=0,±1,±图示;或者cosφ为有理数,这时sinφ=图示,使图示为整数。

4.注意由

图示

为有理数可推出cos2 (φ-图示)为有理数,从而可推得cos2(φ-图示)为有理数。由于φ=图示π,所以可知

图示

必为0,±1,图示

5.如果图示,那么图示为有理数,于是图示为有理数,图示

练习题七

1.设an=kn+0.图示…,kn是整数,那么kn是递增有界的。[我们把末尾是k999…的小数,改写为(k+1)000…形]于是从某个n0起,kn0=kn0+1=kn0+2=…=k*。同理,当n>n0时,图示≤…≤图示≤…≤9,所以从某个n1≥n0起,又有图示=…=图示≤9。类似地可定出图示≤9,于是,α=k*图示…便是所求的比an都不小的数中最小的一个。

2.是阿基米德数域。加、减、乘显然封闭,除法的封闭性可用分母有理化的方法来证明。阿基米德公理是显然成立的。

3.利用连续函数的中间值定理,可以证明这样的直线一定存在,也可以用初等数学的方法来证明。

如下图,过凸多边形的每一顶点作一条平行于l的直线。其中必有相邻的两条CD、AB,使CD下方多边形面积S1和AB上方多边形面积S2,都不超过整个多边形面积的一半。设A、B、C、D在多边形周界上,则ABDC成一梯形,上下底为AB、CD,面积为S。不妨设

S2≤S1≤S2+S,

图示

第3题图

问题就是如何找到直线l1∥l。把梯形ABDC分成两部分x1和x2,使下方的x1与S1相加等于x2+S2,即

图示

于是

图示

知道了x1,x2及AB,CD的长及AB,CD间的距离后,所求直线l1与AB的距离可以列出一个二次方程式求出。下略。

图示

第4题图

4.应用连续函数的中间值定理可以给这个题肯定的回答。取一个标准射线l,在平面上一定有和l方向相同的射线l1,l2,l1和l2分别平分甲、乙两块蛋糕。现在让l的方向慢慢转动一个角θ,l变为l(θ)。对应地,l1,l2变为和l(θ)平行的l1(θ)和l2(θ),但l1(θ),l2(θ)仍分别平分甲乙两块蛋糕如下图。当θ从0连续地变到π时,l1(θ),l2(θ)又回到了开始的位置,只是方向倒转了。本来l1在l2的右边,最后l1却到了l2的左边。这样,中间一定有一个角度θ,使l1(θ)和l2(θ)重合。这重合的射线,便是下刀的地方。

练习题八

1.这里只证明性质(2),其他的请读者自己证。设αn、βn都是无穷小列。按定义,有单调无界的正数列An、Bn使

图示

于是

图示

只要证明图示是单调无界数列即可。由图示的单调性,图示显然单调。剩下的是证明图示无界。由于

图示

所以它是无界数列。

2.这里只证(2)、(3)。

如果图示,按定义,有无穷小列αn,βn使an=a+αn,bn=b+βn,于是有

(an±bn)=(a±b)+(αn±βn),

(αn±βn)是无穷小列,由定义得

图示

又有

an·bn=(a+αn)(b+βn)=ab+αnb+βna+αnβn

由于(αnb+βna+αnβn)是无穷小列,所以图示

至于(3),则有

图示

只要证明图示是有界量即可。由a≠0,又有无界列An使|αn|<图示,不妨设n大得使An图示,则图示,这使|αn|<图示,从而图示图示,即图示是有界量。

3.设递增有界数列为a1≤a2≤…≤an≤an+1≤…,把所有满足α≥an(n=1,2,…),即不被任一an超过的实数α归为B类,剩下的归为A类,那么A类无最大数。因为如果x是A类数,则有an,使x<an,那么图示,y>x,y也是A类。由完备公理,B类有最小数b。易证b是an的极限。

4.记图示,即an+1=图示,因而

图示

由此可见a1,a3,a5,…单调递减有界而a2,a4,a6,…单调递增有界。又因图示(可用归纳法证明),可见{a2n+1}和{a2n}极限相同。在等式an+1=图示两端取极限,可知极限λ满足方程式λ2+λ=1。

5.由于an+1图示,由an<2可推出an+1<2。于是由a1图示<2,即得一切an<2。从而图示=2+an>2an图示,{an}递增,因而是递增有界列,所以有极限。

6.利用本章无穷小列性质(2),易证两个无穷小列排在一起之后仍为无穷小。方法是:在{an}中添上一些0项,得到图示,{βn}中添些0项,得到图示,则图示图示都是无穷小列。再把0项错开相加,得图示是无穷小。而图示相当于把{αn},{βn}排到一起。

7.由an+1=1+图示可知0<an<2,所以为有界列。由于

图示

可见a1,a3,a5,…递增而a2,a4,a6,…递减,因而{a2n+1}、{a2n}都有极限。又由

图示

可见两极限相同。

8.如果{αn}中有无限项αn1,αn2,…,αni,…均大于ε,则{αni}是一个非无穷小的子列,与{αn}为无穷小矛盾。

如果对任意的ε>0,{αn}中只有有限项绝对值大于ε。设这有限项中下标最大的为N(ε),那么当n>N(ε)时,必有|αn|<ε,取ε=图示,…

图示

则An是递增无界列,而由图示的定义知|αn图示

免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。

我要反馈