Dedekind 定理加面积等分

  • 格式:doc
  • 大小:839.50 KB
  • 文档页数:8

1.Dedekind 定理 作实数R的分割A|B,则存在一个数a: 若xR且x>a,则xB; 若xR且xa可看作属于A, 是A中的最大数,亦可当做属于B,是B中最小数 实数完备性系 运用区间套定理证明Dedekind 定理

证明:设A|B使一实数分化,则A、B为非空集合,可取aA、bB,对[a b]作 等分区间套{[an

bn]}, bn- an=(b-a)/n2得由实数分化的不漏性知,可使an A、bn B(n=1、2、3……)由区间套定理知,必存在cR,使得anc bn,则bn-c bn- an=(b-a)/n20(n),所以bnc即 >0,N,当n>N时,c- < bn< c+ 同时cA,否则设cA,又A中无最大数,必存在a0A,使得c< a0,令= a0-c便有bn< a0, bn A,与bn B矛盾,于是c B;

bn< b当n充分大时,c bn< b,所以c=minB,Dedekind定理得证。 2.可列集定义 如果一个无限集中的元素可以按某种规律排成一个序列,或者说这个集合可以表示为{a,

a2….an….},则称其为可列集。

实数集R是不可列集 证明:反证法,假设实数集R是可列集,即可找到一种排列的规律是R={x1 ,x2….xn….}

先取闭区间[a1 b1] ,是x1[a1 b1],这个明显做得到,然后将[a1 b1]四等分,则在闭区间

[a1 4a3b11] 、[4a3b112ab11]、[2ab114a3b11] 、[4a3b11 b1]至少有一个不含x2,把它记为[a2 b2],即x2[a2 b2]在将[a2 b2]四等分,同样在区间套[a2 4a3b22] 、[4a3b222ab22]、[2ab224a3b22] 、[4a3b22b2]中至少有一个区间记为[a3 b3],使得x3[a3 b3]如此重复进行,于是得到一个闭区间套{ [an bn]}满足.xn[an bn],n=1,2,3…. 由区间套定理,存在唯一的实数,属于所有的闭区域[an bn] (n=1,2,3….),换言之 xn

(n=1,2,3….),与集合{x1 ,x2….xn….}表示实数集产生矛盾,所以实数集不是可列集。 3.面积等分 区间套定义

设{ [an bn]}(n1)是R中的闭区间,如果满足

(1)[a1n b1n][an bn](n1); (2))(limnnnab=0;

则{ [an bn]}叫做R中的一个闭区间套。 区间套定理 若闭区间列{ [an bn]}满足:

(1)[a1n b1n][an bn](n1); (2))(limnnnab=0;

则在实数系中存在唯一的一点[an bn],n=1,2,…,且nliman=nlimbn= 对于一般的n维实数空间Rn,在其上定义的度量),(yx=[(x1-y1)2++(xn-yn)2]21,其中x=(x1,,xn),y=(y1,,yn) Rn,则Rn为完备的度量空间,为Rn空间上的距离,因此,n维实数空间Rn为特殊的完备度量空间 Rn空间上的闭区间套定理 设{En}是n维实数空间Rn的闭集列,满足 (1) E1n En,n=1,2,; (2) d(En)0,(n); 则在Rn中存在唯一的一个点 En,n=1,2,. 注:对于复数域里的每个数z,可以看做与空间实数对(x,y)一一对应,将复数域转化空间点集,形成与Rn空间上等价的复数域闭区间套定理。 4.给定平面上的一个三角形,则在吃平面任意方向上存在一条直线将此三角形分成面积相等的两部分

XMD1DA1OB

eAB 证明:设AOB的面积为S,平面上任意方向e.则沿e方向的直线至少与三角形的两条边或其延长线相交,BO所在的直线作为OX数轴,过A与e平行的直线与BO相交,或则过其他顶点,与其对边相交,以过A点来讨论,如图所示:设过A 与e平行的直线与BO交于点D,则ABD的面积

SABD>S21, 或则SABD

结束,只须讨论前两种情况,不妨设SABD>S21,(SABD线0,使得0//e且交AB于A1,易知S11BDA过M且平行于e的直线截ABD所得的面积以S(M)表示,D1的中点M1作直线1,使1//e,则S(M1)> S21,或则S(M1)< S21,S(M1)= S21,,最后一种情况,直线1即为所求,若S(M1)> S21,记D1= M1, D11= D1;若S(M1)< S21,记D1=D, D11= M1,则[D11 D1] [D1 D]且S(D11)

做2 //e,则S(M2)>S21,或则S(M2) S21,记D2= M2, D21= D11;若S(M2)< S2

1,记D2= D1, D21= M2,则[D21 D2] [D11 D1]

且S(D21)

Dn][D1n1 D1n],且S(Dn1)总之,在有限次后我们得到所求的直线,则证毕,或则得出一串区间{[Dn1 Dn]}满足 (1)[Dn1 Dn][D1n1 D1n],n=1,2,; (2)([Dn1 Dn])=21([ D1n1 D1n]). 则{[Dn1 Dn]}构成了一闭区间套列,有闭区间套定理,存在一点[Dn1 Dn],(n =1,2,),使得nlimDn1=nlimDn=,S(Dn1)Dn1、Dn且与e平行的两条直线所截定的梯形面积,故S(Dn)-

S(Dn1)S(Dn)=nlim S(Dn1)=S21,得到S()=S21,即过且与e平行的直线接的AOB面积为所给面积的一半,故定理成立。

5.任意角均可被n等分

证明:要证任意角可被n等分,只须证明角能被二等分或则说该角存在角平分线,不妨设该角为任意三角形AOB的A,记A=,同时以OB所在的直线为OX轴,在AOB中,过点A的任意直线与OB相交,或者与其延长线相交,后者没有交点,不妨设为第一种情况,则过A于OB

相交于0C,要么0CAO>21,或者0CAO<21,或者0CAO=21,对于最后一种情况,直

线A0C即为所求角平分线,因此只须讨论前两种,不妨设0CAO>21(当0CAO<21时,类似处理),作O0C的三等分点取0C(注:等分点去从左至右方向的第一个点),连接A0C,显然0CAO<21,O0C上的点D同时用来表示D的坐标值,三点D、A、O构成的角用DAO表

示。且0C<0C,0CAO<21<0CAO,再作0C0C的三等分点取D1,连接A D1,则 D1AO>21,或者 D1AO<21,或者 D1AO=21,最后一种情况,直线A D1即为所求角平分线,若 D1AO>21,记1C=0C,1C= D1,{[1C1C]}=31{[0C0C ]};若 D1AO<21,记1C= D1,1C=0C,{[1C1C]}=32{[0C0C ]};所以[1C1C][0C0C] 且 1CAO<21< 1CAO,再作1C1C三等分取2D,连接A2D,则 2D

AO>21,或者

2DAO<21,或者 2DAO=21,最后一种情况,直线A2D即为所求角平分线,若

2DAO>21,记2C=1C,2C= 2D,{[2C2C]}=31{[1C1C]};若 2DAO<21,记2C=

2D,2C=1C,{[2C2C]}=32{[1C1C]};所以[2C2C][1C1C]且 2CAO<21<

2CAO。

假如已经作出了[nCnC][1nC1nC]且 nCAO<21< nCAO,{[nCnC]}=31{[1nC1nC]}或者{[nCnC]}=32{[1nC1nC]};同样作nCnC三等分

点1nD,连接A1nD,同样出现 1nDAO>21,或者 1nDAO<21,或者 1nDAO=21,最后一种情况即为所求角平分线,若 1nDAO>21,记1nC=nC,1nC= 1nD,{[1nC1nC]}=31{[nCnC]};若 1nDAO<21,记1nC= 1nD,1nC=nC,

{[1nC1nC]}=32{[nCnC]};所以[1nC1nC][nCnC]且 1nCAO<21<

1nCAO,总之,或者有限次后作出角平分线,或者得到一串区间{[nCnC]}满足条件“

(1)[nCnC][1nC1nC],n=1,2,; (2){[nCnC]}=nm32{[0C0C ]}0,(mn); 由此知,{[nCnC]}构成闭区间套,由闭区间套定理定理知,存在一点C[nCnC](n=1,2,),使得nlimnC=nlimnC=C