|
|
本帖最后由 hxl268 于 2016-3-17 21:17 编辑
凭中学数学常识发现数学课本一系列重大错误
——让中学生也能一下子认识2300年都无人能识的直线段
黄小宁（通讯：广州市华南师大南区9-303 邮编510631）
[摘要]区间[0，x]∪（x，x+1]的子区间[0，x]之外还有正数；...；...；...。这一系列中学数学常识使中学生也能一下子认识：①5千年都无人能识的自然数；②几千年都无人能识的R外正数；③2300年都无人能识的等长却不“等势”从而不合同的直线段——推翻2300多年“几何起码常识”：形状、大小相同的图形必合同。不识这类“更无理”的数和直线段使2300多年初等几何和中学几百年解析几何一直将各异直线段误为同一线段，从而使康脱推出病态的“直线段部分点可与全部点一样多”。两没空隙的等长直线段分别包含不一样多的点从一侧面显示2300年“点无大小”公理并非“不容置疑”，因长度不变且没空隙的直线段能包含多少个点是与点的长有关的。保距变换概念揭示同样是无穷长的射线，此线的长可>彼线的长。重大核心错误未能及时发现自然会使人以其为核心滚雪球似地推出错上加错的一系列更重大错误。
[关键词]N外标准自然数；貌似重合的伪二重直线（段）(只有重叠关系而无重合关系)；推翻平行公理；推翻百年自然数公理和百年“R完备、封闭”论；区间族；合同图形以及合同点；伸缩变换
人类认识自然数已有5千多年，认识直线（段）已有2300多年，中学数学的区间[0，2]等等均是无穷集。“科学”共识：数学，尤其是关于自然数和最简单、基本的图形：直线段方面的中学知识绝不可能有重大错误更不可能有一系列...。“反科学”的神话般发现来自于来自于太浅显的：①几何起码常识c：相等的图形必合同。②集合起码常识d：所谓数集A=B是说A的元与B的元可一一对应相等即有x↔y=x(表A各元x均有与之对应相等的数y∈B且B各元y均有与之对应相等的数x∈A)，故A=B的必要条件是有x↔y即A、B分别包含一样多个元。③区间概念。④下述不等式起码常识s。
质点x移动到新位置成点x′还是移动前的点即移动前后的点只有位置差别而无别的差别。图形A各点保距偏离原位生成的B≌A。A≌B≠A是说A与B只有错位的差别而无别的差别。用各不同材料制成许多形状、大小相同的实心球：（金、铁、铜、铝、...）球，用木、纸、塑料、面粉、煤粉、...做成的球，...；各球并非只有位置差别而无别的差别。同样，本文发现有无穷多没空隙的等长直线段（构造直线段的材料是“点”）彼此均无合同关系——从一侧面显示其分别由各不同的材料点组成——说明同样是“点”，此线段A的元点与彼线段B（与A等长且不≌A）的元点并非只有位置差别那么简单；人类由认识直线段到发现这类用而不知的直线段竟须历时2300多年！但若担心广大高中生（应熟悉非常简单易懂的保距变换概念）看此科普文后还不能认识这类直线段那就是污蔑其是弱智群体了。当然错误的应试教育会将正常人育成...。关键是要求真务实而不要“求分务（文）凭”。
1.凭中学数学常识发现：①5千年都无人能识的自然数；②中学几百年重大错误：搞错y=n+1的值域而将两异数列误为同一数列
关键不在学习了前人多少知识而在能否运用所学知识见前人所未能见从而创造出前所未有的知识。
与x相异或相等的数均可表为y=x+△x（△x可=0也可≠0）。设本文所说变数都可形象化为沿一维空间“管道”G运动的动点（可固定一下），n个变数可形象化为同在G内的n个动点。G内x轴各点变换为还在G内的点x+△x=y形成元为点y的点集还在G内。
只有两个点的点集｛点a，点b｝，设想a、b是闭直线段B的两端点，这两点绕B中任一点旋转是保距运动。至少有两元的点（数）集A保距变为点（数）集B就称A≌B——表示A与B可通过保距变换而重合。A任两异元x与x+△x之间的距离是变量|△x|>0。A={1，2，3}各元x=1，2，3。x=1时异于x=1的元x+△x=1+△x可=2与3，△x可=1与2；x=2时与其相异的x+△x=2+△x可=1与3∈A，△x可=-1与1；x=3时x+△x=3+△x可=1与2∈A，△x可=-2与-1。所以△x的变域是｛3，±2，±1｝，|△x|的变域是{1，2，3}。设B=｛y｝表B各元均由y代表，变数y的变域是B；至少有两元的B任两异元y与y+△y间的距离是|△y|。显然若A=B则|△y|必=|△x|。因相等的图形（点集）必合同故有
h定理1：至少有两元的点（数）集A=｛x｝=B=｛y｝的必要条件是A≌B，这等价于|△x|=|△y|即△y=±△x，以及y=y（x）=±x+c——表明y=±x+c以外的一切y=y（x）的定义域必≠值域。
证：⑴A=B≌B时A与B的元x与y有一一对应关系：x↔y=y（x），此时y+△y中的△y=y（x+△x）-y（x），由A≌B的定义，|△x|=|x+△x-x|=|y（x+△x）-y（x）|=|△y|；⑵当且仅当y=y（x）=±x+c时才有△y=y（x+△x）-y（x）=±（x+△x）+c-（±x+c）=±△x。证毕。
若A≌B则A与B可通过保距变换而重合，A的任何一部分C（至少有2元）⊂A都不可通过保距变换而与A重合（注：直线段的一部分线段可弹性伸长，但这不是保距变换。）。据此应有
h几何常识：至少有4元的点集A的任何一部分C（至少有两元）⊂A都不可≌A。
A={1，2，3，4}各元x有相应的△x,B={1，2}各元x也有相应△x；这两△x是不同的变量，因此△x中x的变域是A而彼△x中x的变域是B⊂A。
R所有正数x组成A，定义域为A的y=1/x>0、y=x2>0和y=1/x2等等的值域B=A吗？因各y（x）都是y=±x+c以外的函数故据h定理1各y的值域均≠A,这里的A各元x>0变为y=y（x）组成元为y的B不≌A均不是保距变换；同理，定义域为R+=A∪｛0｝的y=x2≥0的值域≠R+，...；...。可见几何常识c揭示中学课本有一系列搞错函数的值域的重大错误。本文表明本文作者以往论文中的相应结论是正确的，但论据中的“A=｛x｝=B=｛y｝的必要条件是y=±x+0”应改为：A=B的必要条件是y=±x+c；相应“|y|=|x|”应改为：A任两异元间的距离|△x|=B任两异元间的距离|△y|>0。
定义：若点p与点p′重合或虽不重合但只有位置差别而无别的差别，就称p合同于p′记为p≌p′。相互合同的点可通过移动而重合，不合同的点不可重合而只可重叠。
将直线段A的一端点涂成红点，保距运动将A的红点（或中点）变为新线段B≌A的红端点（或中点），...；将相片（像素点的集合）中人的左眼变为新相片中人的左眼；将坐标系j变为新坐标系j′≌j。复平面z=x+iy的x轴z1=x+i0各点z1=x到x轴的中心点z1=x=0的距离|z1|=|x|（x的变域是x轴）不随直线z1=x的保距变换而变换，例直线z1=x绕点z1=0反时针旋转θ角成直线z2=x（cosθ+isinθ）=xcosθ+ixsinθ=X+iY≌x轴，此线z2各点z2=xcosθ+ixsinθ到此线的中心z2=0的距离|z2|还=|x|。同样...。
h定理2：若点集A（至少有两元）各元点p保距变为点p′（p）生成元为点p′的B≌A则A各点p到A任一点p0的距离ρ=ρ′=B各元点p′（p）到点p′0（p0）∈B的距离，即ρ′与ρ是同一距离函数。
证：坐在汽车里各人x与司机（或车内任一位置）的距离ρ（x）分别是ρ（x1）=a，ρ（x2）=b，ρ（x3）=c，...，所有ρ组成M=｛a，b，c，...｝，ρ（x）是变域为M的距离函数；因各人x相对于车是不动而没相对位移的，故ρ（x）不可随车的匀速直线运动而变为别的变量；若急刹车ρ就可变为ρ′≠ρ。同样A变为B≌A只是A作改变空间位置的刚体运动，各元点相对于图形是没相对位移的，这就使ρ与ρ′必是同一距离变量。证毕。
人类5千年来一直认定各已知自然数n∈N与1（或2,3，...）的和n+1（或n+2,n+3，...）均是已知自然数∈N。一切已知自然数n组成N⊂R各元n均有后继标准自然数n+1。挖去R轴一点x就空出一位置“洞”x说明R轴由点与容纳点的位置洞两部分组成。将x轴的射线x≥0（各x∈R）中的非自然数点x都挖去就得有许多空位漏洞的有洞射线n≥0（n的变域是N），设想在各空位内灌入粘结剂从而将各点连接起来。有洞射线（点集）N={n}各点n≥0沿N正向保距平移距离1成为点n的后继点y=n+1>n生成由一切后继点y组成的有洞射线（点集）H={1，2，...，n+1，...}(n≥0的变域是N)≌N,即H是射线y=n+1≥1。挖去有洞射线N的起点n=0就得N的子部射线N+={1，2，...，n≥1,...}⊂N。保距变换将射线的起点变为新射线的起点。射线N+各点n≥1到该线的起点n=1的距离是n-1≥0（n≥1的变域是N+)而射线H各点n+1≥1到该线起点n+1=1的距离是n+1-1=n≥0（n的变域是N)，据h定理2N+不≌H从而更≠H。因N+各n≥1都是其左邻n-1∈N的后继n∈后继集H故H包含N+，包含N+的H≠N+说明H中必至少有一N+外自然数n+1（>n）=t>N+一切自然数n。对N任何（一切）元n均有区间[0，n]，...。变域为N的n被限制只能代表区间
Q=[0，n]∪（n，n+1]∪（n+1，n+2]∪...∪...
的各子区间[0，n]（n的变域为N）内的自然数，当n由小到大遍取N一切数n时[0，n]的长度n-0=n由0→∞而变至能长到包含N一切数n；据区间概念在各[0，n]（n的变域为N）之外还有用而不知的自然数n+1=t>n以及t+1>t等等>N一切数n∈[0，n]，因Q中区间族｛[0，n]|n的变域为N｝远不可包含一切标准自然数。详论见[1]。人类由认识自然数到发现t竟须历时5千多年！但若担心熟悉区间概念和几何常识c的亿万学生看此文后还不能立刻认识这“特异”的t那就是污蔑其是弱智群体了。误以为“N对加法封闭”使自有函数概念几百年来数学一直认定N+=H从而使康脱推出病态的：N～N+⊂N。
2.人类由发现无理数到发现“更无理”数竟须历时2500年
R各数x均有对应数x/2。不等式起码常识s：说0<y=x/2<x中的x可一个不漏地遍取数集A一切数x就是说y>0可遍比A一切数x都小而取A外数（同样x可>y的变域内的一切数y），说A=（1，2]⊂R就是说式中y可<A一切数x而取A外数，说A=（0，1]⊂R（即y=x/2的定义域是A）就是说y>0可<A一切数x而取A外正数y=y0=x0/2<A一切数。否定此常识的人不是因智力有问题，正如大臣们否定光身皇帝光身不是因缺乏起码视力，法官们办出“陈满糊涂案”不是因其缺乏起码业务知识一样。正确的数学知识使人发现存在海王星，常识s让R外正数y0=x0/2一下子暴露出来！即存在正数x0∈R的对应x0/2是<R一切正数的R外正数。区间（读者请画图）
（0，1]=（0，x/2]∪（x/2，x）∪[x，1]
中的[x，1]中的变数（高等数学是研究变量的）x>0且≤1由大到小取值而由1处出发→0遍取A=（0，1]⊂R一切数x时[x，1]的长|1-x|（x由1→0）由0→1地逐渐变长而长到包含A一切元x∈[x，1]，据区间概念在各[x，1]（x的变域是A=（0，1]⊂R，将各[x，1]中的x都提取出来组成的集是A。）之外至少有一正数x/2<x小于A一切数x∈[x，1]，关键是x>0被限制只能在[x，1]⊂（0，1]内取值。可见常识s和区间概念表明定义域为A的y=x/2>0的值域中有用而不知的R外正数y0=x0/2<x0∈A使y的定义域≠值域。所以中学“A=（0，1]⊂R各元x均有对应正数x/2∈A”中的A因违反常识s和区间概念从而是自相矛盾的概念。
L={x}=（0，2]⊂R的子部A=（0，1]⊂L各数元x变为y=2x∈L组成C={y=2x}（0<2x≤2）～A。保距变换将半闭半开的直线段的闭端点变为半闭半开的新线段的闭端点。L 的最大元2是L的“闭端点”。 L各元x到L最大元2的距离是|x-2|而C各元y=2x（△y=2△x）到C最大元2的距离是|2x-2|，据h定理2L不≌C；L任两异元的距离是|△x|而C任两异元的距离是|△y|=|2△x|，据h定理1L≠C。包含C的L≠C——说明L内还有数学一直未能察觉的C外数——说明C⊂L。L各元也均可由y>0代表，L内满足h式y=2x>x=y/2∈A的元y的全体组成了C，C⊂L外的数y∈L是不满足h式的“更无理”数y（>y/2>0），即此y的对应数y/2不可∈A从而是A和R外的正数<A一切数——推翻百年“R完备、封闭”论。详论见[2]。否定无理数使数学自相矛盾，否定“更无理”数使初等数学出现违反常识s和区间概念的重大自相矛盾。人类由发现无理数到发现“更无理”数竟须历时2500年！但获此发现所必需的知识仅是关于不等式、区间概念方面的中学常识。
圆周x2+y2=1有一半径B与线段[0，1]⊂x轴重合。B绕圆心反时针旋转使B由∥x轴变到⊥x轴，B在x轴的正投影T就相应不断缩短使T两端点的距离ρ由=1逐渐变小到=0致两端点重合。自由落体的高h≥0也是由大到小取值的。稍有一点头脑的人都知由大到小取值的ρ≥0必取尽其变域J所有正数后才能取0即ρ必取到无正数可取了才取0。但有“定理”断定ρ→0每取一正数ρ后总还有后续正数如ρ/2∈J要取而总不能取到无正数可取从而更谈不上能取0——尖锐自相矛盾！所以如[2]所述J必有最小正数元ρ1（文[2]严格证明了R有最小正数元⊕）使ρ1/2是J外正数，ρ→0取ρ1后就无正数可取了。产生逻辑悖论是因主观认识与客观实际不符。由大到小取值且变域为[0，1]⊂R的x→0有最后一次的取值：取0，即其取数过程是有完有了的。真正的无穷集必是“无穷无尽”与“有穷有尽”的对立统一体，不能只识其“无穷”的一面而不识其“有穷”的另一面。详论见[1]。
3.区间概念让中学生也能一下子认识几百年都无数学家能察觉的中学数学重大错误：定义域=[0，1]的y=2x的值域=[0，2]
中学几百年函数“常识”：“定义域=[0，1]的y=2x的值域=[0，2]”其实是违反区间概念和集合常识d的肉眼直观错觉。U=｛x｝=[0，2]的子部V=[0，1]⊂U各元x变为y=2x∈U组成U′=｛y｝～V。U′≠U即0≤x≤2中x 的变域是U=[0，2]，但0≤2x≤2（x 的变域是V）中y=2x （△y=2△x）的变域≠U。理由：
①|△y|=|2△x|>|△x|，据h定理1U′=｛y=2x｝不≌U=｛x｝从而更≠U。几百年“U=U′～V”使康脱误以为V～U V。
②因U′一个不漏的一切正数元均由y=2x>x>0中的y代表故据常识s该式表示至少有一正数x∈V⊂U小于U′一切正数y。
U=[0，2]=[0，x]∪（x，2x）∪[2x，2]中的[2x，2]中的2x>0且≤2由2处出发→0遍取U′一切正数y=2x∈U时[2x，2]的长|2-2x|（2x由2→0）由0→2地逐渐变长而长到包含U′一切正数2x∈[2x，2]，据区间概念在各[2x，2]（2x遍取U′一切正数2x）之外至少有一正数x∈V⊂U小于U′一切正数2x∈[2x，2]，关键是2x>0被限制只能在[2x，2]内取值即2x>0不可遍取U=[0，2]一切正数。
③U′各元y=2x的对应数x∈V的全体组成的集是V⊂U而非U，没人能证U′各元2x∈U与U各元x可一一对应（配对），即如[3]所述没一配对法能使U=[0，2]各元x都有“配偶”y=2x∈U′——说明U′～V⊂U不可～U即U与U′不“等势”；据集合常识dU′≠U。鲜明对比的是U各元x变为y=2x（0≤2x≤4）生成∑=｛2x｝就～U。
U=[0，2]各数都由x代表，其中有一类数可表为y=2x（x∈V⊂U）而也可由y=2x代表，所有y组成的集记为B（=U′）。B=U′各元2x↔x∈V能与V各元x一一对应只说明B=U′～V⊂U而不能说明U～V⊂U，因上已证U′=B≠U。“U各数x都有对应数α=x/2”时，U中有一类数可表为y=2α（α=x/2）=x（不限制α必∈U）而也可由y=2α代表，所有y组成I。因有x↔y=2（x/2）=x故I=U。U各数都由x代表的同时也都可由y=2α代表，但却不可也都可由y=2x（x∈V）代表，因x↔y=2x=x不能成立故无人能证B=U。
4.以上知识让中学生也能一下子认识2300多年都无人能识的直线段一下子认识R外正数——存在没合同关系的点
对R（包含一切已知正数）各正数元x>0均有对应数y=x+3、y=3x、等等，均有区间[0，x]等。人类自识正有理数和加法几千年来一直认定各已知正数x∈R的对应x+3均是已知正数∈R，然而区间概念和常识s推翻此认定。区间[0，x]∪（x，y=x+3]中的x>0由小到大遍取R一切正数x时[0，x]就长到包含R一切正数x，极显然：据区间概念在各[0，x]（x>0遍取R一切正数）之外还有正数y=y1=x1+3大于R一切正数x∈[0，x]；而y1的对应数y1+3和3y1等等均>y1。同样...。所以已知正数∈R全体仅是正数全体的沧海一粟。可见“R各元x均有对应数x+3且R对加法封闭”中的R是自相矛盾的非集。
点集A：.....各点x沿x轴正（负）向保距前（后）移变成点x+常数c≠x形成点集B就不可还=A了，因B各点x+c都在点x的前（后）面从而使各x+c与各x不可一一对应重合相等,各x只可与各x+c≠x中的x一一对应相等而不可与各x+c本身一一对应相等。初中生就须正确认识：一次函数y=x/2的定义域即函数x=2y的值域；y=x-3的定义域即函数x=y+3的值域；...。运动坐标系的坐标轴可沿轴保距平移。说R轴即x轴各元点x可沿轴保距前移变为点x+△x=x+3=y就是说R轴可沿轴正向保距平移距离3变为元为点y=x+3的y=x+3轴≌x轴。其余类推。y=x+3轴=x轴吗即定义域为x轴的y=x+3的值域y=x+3轴=x轴吗？据常识s说y=x+3>x中x遍取R一切数就是说y可遍比R一切数都大而取R外数y；上述也已证有数y1>R一切数；x轴各元x只可与各x+3∈y=x+3轴中的x一一对应相等而不可与各x+3本身一一对应相等。不识这类用而不知的y1使中学一直搞错y=x+3的值域。在保距平移变换:x↔x+常数△x中显然当且仅当△x=0时才可有x↔x+△x=x;可见集合起码常识d表明直线A沿本身保距平移非0距离后就≠A了，世人在初中阶段就搞错了y的值域而将两异直线误为同一线。
半直线是直线的一半。据第一节的h几何常识x轴的半直线：射线x≥0不≌它的子部射线x≥3。显然若射线x≥0与射线x≥3（各x∈R）均为x轴的半直线则其必等长从而必有≌关系。射线x≥0各点x≥0到该线起点x=0的距离是x≥0而射线x≥3各点x≥3到该线起点x=3的距离是x-3（x≥3）≥0，据h定理2两射线不合同——反映两线不等长使射线x≥3并非x轴的半直线——说明点x=3不可是x轴的中心，同样...——说明同样是无穷长的射线，此线的长可>彼线的长。文[2]严格证明了R轴有最大元x=○R，这更有力说明点x≠0不可是x轴中心。x轴各点x到x轴的对称中心x=0的距离是|x|，y=x+3轴（≌x轴）各点y到y=x+3轴的“中心”y=0的距离是|y=x+3|≠|x|，据保距变换概念点y=0不是y=x+3轴的中心，点y=x+3=3（x=0）才是y轴中心；可见保距变换概念说明“直线（点集）A上任一点x0都将A分成以x0为分界点的两半部分，x0是A的对称中心。”是对直线的重大错误认识。
据“橡皮几何”和仿射几何如线段有伸缩一样，平面和直、射线等也有伸缩变换。射线x≥0可伸缩为射线kx（正常数k≠1）≥0。李惠玲等教授：“一维空间里的坐标变换无非是平移和反射[4]。”；其实这是极片面认识，因直线（段）还有一类非常重要的伸缩变换。伸缩变换是仿射变换中的最简单变换。一维空间管道G内R轴各元点x变为还在G内的点x+△x=kx=y（正常数k≠1）生成元为点y=kx的y=kx轴（叠压在R轴上）是伸缩变换，可将y轴记为kR轴（高等几何一直认定R轴伸缩变换成kR轴还=R轴）；伸缩变换是非保距变换，故kR轴不≌R轴；R轴各元点x到R轴的对称中心x=0的距离是|x|而kR轴各元点y=kx（△y=k△x）到kR轴的中心y=kx=0的距离是|kx|≠|x|（k≠1），据h定理2kR轴不≌R轴——推翻举世公认2300年的公理：凡直线必合同。所以中学几百年“定义域为R的y=kx的值域=R”其实是被伪二重直线迷惑的肉眼直观错觉。将各异直线误为同一线自然就会将各异直线段误为同一线段。
直线段Z=｛x｝=[0，2]⊂R轴的子部D=[0，1]⊂Z各元点x变为点y=x+△x=2x∈2R轴生成元为点y=2x(△y=2△x)的Z′(～D)=｛y=2x｝=[0，2]⊂2R轴覆盖在Z上。中学几百年“Z′=Z”其实是被伪二重线段迷惑。理由：
①Z=[0，2]⊂R各点x到Z的中心x=1的距离ρ=|x-1|而Z′=[0，2]⊂2R各点y=2x到Z′的中心y=2x=1的距离ρ′=|2x-1|≠ρ;|△y|=|2△x|>|△x|。据h定理2或h定理1Z′=｛y=2x｝不≌Z=｛x｝从而更≠Z——说明中学几百年解析几何一直将用而不知的直线段Z′误为Z。
②Z′各元y=2x的对应数x∈D⊂Z的全体组成的集是D⊂Z而非Z，类似第3节所述没人能证Z′各元2x与Z各元x可一一对应（配对），即Z′～D⊂Z而不可～Z——说明Z′的元点少于Z的元点。两没空隙的等长线段Z与Z′分别包含不一样多的点从一侧面显示2300年“点无大小”公理并非“不容置疑”，因长度不变的直线段能包含多少个点是随着点的变大（小）而变少（多）的。有人以“Z′=Z”为据断定Z′～Z，然而以上一系列论据证明Z′≠Z。由Z与Z′分别包含不一样多的点也知Z′不≌Z。
用h定理1、2检验知课本上类似这样将两不“等势”从而不合同的线段Z′～D和Z D误为同一线段的几百年错误比比皆是——使康脱误以为“直线段的部分点可与全部点一样多”。真正建立在此重大错误之上的理论必是错上加错的更重大错误，但限于篇幅本文无法详谈。显然有伪二重线段相应就有伪合同线段。
元点间的距离由|△x|>0变大近千倍而变为|△y|=1000|△x|，这一来元点之间还能“亲密无间”吗？极显然：没空隙的直线段D=[0，1]⊂R轴各元点x沿R轴平移变为点y=x+△x=1000x≌点x生成元为点y=1000x的线段K=[0，1000]⊂1000R轴；如[5]所述这类不改变元点个数的增距变换使元点与元点之间拉开了一段距离从而使其所占据的空间变长了约千倍，这一来K就不能和D一样没空隙了即K的元点y之间不能有“亲密无间”的关系了，除非各元点y都相应膨胀变大从而使点y=1000x不≌点x∈D，否则就不合逻辑了。“直线段被拉长了，但作为图形的一部分的元点却没增加也没被‘拉扯’大”——这显然是不合科学常理的自相矛盾。所以2300年“点无大小”使几何学自相矛盾。详论见[2]。
仿射变换将直线A变为直线B，问题是A≌B吗？直线A：y=x在x轴的正投影=x轴≌A吗？x轴各点（x，0）到x轴的对称中心（x=0，y=0）的距离是|x|而直线A各点（x，y=x）到A的对称中心（0，0）的距离是 ，据h定理2直线A不≌x轴。
可将直线A：y=x向着x轴压缩，例可压缩成直线B：y=x/2，A≌B吗？A各点（x，y=x）到A的对称中心（x=0，y=x=0）的距离是 （y=x）而B各点（x，y=x/2）到B的对称中心（0，0）的距离是 （y=x/2），据h定理2B不≌A。读者画图可直观看到这压缩变换是非保距变换。
z=x+iy平面上的直线z=x+ikx（y=kx中的k是常数）可伸缩成元是点cz的直线cz（正实常数c≠1是伸缩因子）叠压在直线z上，直线z≠直线cz的理由：①伸缩变换是非保距变换即直线z不≌直线cz。②w=z与w=cz不是同一关于z的函数使其图像不相等。③说直线z与直线cz重合就是说两线的差别为0：cz-z=z（c-1）=0即说z=0——与z是直线矛盾。所以xy面上直线i：ax+by=0伸缩成直线j：c（ax+by）=0是≠直线i的。例直线i：
x-y=0（x与y=x的变域均为R）...（1）
伸展成元是点（X=2x，Y=2y）的直线j：
2x-2y=0（X=2x与Y=2y的变域均为2R）...（2）
叠压在直线i上但≠直线i。满足方程（2）与（1）的点（x，y）的全体组成的集均是直线i，但满足方程（2）的点（X=2x，Y=2y）的全体组成的集是直线j≠i。（2）中：x的变域是R而X=2x的变域是2R≠R，...——这使关于X=2x、Y=2y的方程（2）与关于x、y的方程（2）有根本区别，而不同的方程，其图像也是不同的。同样，方程（1）：2（x/2）-2（y/2）=0若是关于x/2=X（x的变域是R）、y/2=Y的方程则其图像不是直线i（因Y=X=x/2的定义域是（1/2）R≠R）；...；若（1）中x与y的变域均为cR（正常数c≠1）则其图像不是直线i；...。注：对于常数项≠0的直线方程可选择适当的新坐标原点使常数项=0。（x/3）2+（y/2）2=1的图像是什么？若其是关于x、y的方程则图像是椭圆，若是关于x/3=X、y/2=Y的方程则图像是单位圆，...——反映不同的方程（不同的函数关系）有不同的图像。直线y=2x中的y，若是关于x的函数则变换式y=2x表示各x变换为y=2x使直线的斜率k=2x/x=2（x≠0），若是关于2x的函数则变换式y=2x是恒等变换式使直线的斜率k=2x/2x=1。搞错自变量就会搞错函数关系从而画错函数关系图。可见中学几百年解析几何和几百年一次函数理论对直线的认识一直存在极重大缺陷和错误。
不明上述真相就有：凡直线必合同；从而有2300多年“几何起码常识”：有一交点的两直线中一线绕交点旋转使两线夹角=0，两线就重合了。
x轴伸缩变换为y=kx轴（正常数k≠1），有等长线段：A=[0，b]⊂x轴和A′=[0，b]⊂y=kx轴，A各点x到A的中心x=b/2的距离ρ=|x-b/2|而A′各点y=kx（△y=k△x）到A′的中心y=b/2的距离ρ′=|kx-b/2|≠ρ；|△y|=|k△x|≠|△x|。据h定理2或h定理1A不≌A′。
y=kx轴中的k≠1可取无穷多正数说明有无穷多长度均=b的直线段互不合同。可见2300多年“等长的直线段必合同”其实是被伪合同线段迷惑的肉眼直观错觉。
线段D=[0，1]⊂x轴各点x变为点X=x+△x=xk（正常数k≠1）≥0组成元为点X=xk（0≤xk≤1）的D′覆盖在D上（非保距变换）；中学几百年函数“常识”：“D′=D”其实是被伪二重集迷惑。理由：D不≌D′；X=xk是y=±x+c以外的函数，据h定理1X的定义域D≠值域D′——说明D′是用而不知的点集！
|
本帖子中包含更多资源
您需要 登录 才可以下载或查看，没有帐号？注册
x
|
IP卡
狗仔卡
发表于 2016-3-11 11:29
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
显身卡