百科问答小站 logo
百科问答小站 font logo



设平面无限点集 S 满足任意两点的距离都是正整数,如何证明 S 中的点全共线? 第1页

  

user avatar   yu-yiren-62 网友的相关建议: 
      

这个结论被称为厄多斯-安宁定理(Erdos-Anning Theorem), 由 Paul Erdos 和 Norman H. Anning 两人联名发表于1945年。

考虑利用反证法。设若点集 中的诸点并非全共线,于其中必可求得不共线的三点 又因点集 无限,必可于其中再取一点

记 现在考察 需要注意:由于 可能与 或者 共线,这里声称的三角形可能是退化的。但是,无论如何,依三角不等式必能成立 以及 于是 至多仅有 等总计种可能的取值。从几何上说,这里每取一个值, 就对应地位于某一条双曲线上,当然在某些取值下这所谓的双曲线也会是退化的。

很清楚, 将是以 为焦点的那簇双曲线和以 为焦点的另一簇双曲线的公共点。因为 不共线,这些双曲线必不能重合(至少实轴已不相同),而任何两条不同的双曲线至多有 个交点,因此满足条件的 至多有 个,但这直接违反了关于无限点集的设定。

最后指出,当将「整数距离」的条件替换为「有理距离」时,结论不再成立,也就是说:

存在非共线的平面无限点集使得任意两点距离都是有理数。



  

相关话题

  确定不做学术,应不应该读纯数学的博士? 
  以数学史的观点来看,集合论是如何成为数学基础的? 
  如何看待卡西·曼夫妇发现的可无缝密铺平面的五边形? 
  我自认为自己证明了0可以作为除数,若是如此将会有哪些改变? 
  f(x)=sin(x), x∈[0, π/2] 是不是某个椭圆的一部分? 
  概率论中,局部极限定理和积分极限定理不是一回事吗? 
  学数学有点钻牛角尖,总是怀疑书中推导的严谨性,各位有什么好办法吗? 
  400 级地震和 13 亿分贝,哪个能量更大? 
  想请问平坦模、投射模这些的几何意义是什么,感觉atiyah这本书的定义有些干巴巴的.......? 
  如何学习点集拓扑学? 

前一个讨论
n*n的棋盘填上1,2,...,n^2,使任意相邻(有公共边)格子里的数字之和不大于S,求S最小值?
下一个讨论
请问这个积分要怎么计算?





© 2025-04-24 - tinynew.org. All Rights Reserved.
© 2025-04-24 - tinynew.org. 保留所有权利