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



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

  

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

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

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

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

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

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

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



  

相关话题

  关于凑微分上下限的一个小小疑问? 
  上初三的女儿对我说,觉得学数学、化学、物理什么的都没有意义,我该怎么回答她? 
  有哪些适合失业人士思考的数学问题? 
  请问为什么在数学上,任何问题通过迥然不同的方法求解,最后都一定会得到相同的答案? 
  为何这么多人称赞指标定理? 
  Cauchy定理的证明是否依赖于Jordan曲线定理? 
  这个反常积分怎么推导呢? 
  想请问平坦模、投射模这些的几何意义是什么,感觉atiyah这本书的定义有些干巴巴的.......? 
  我认为中国把英语太过重视 甚至超过了数学和我们的国语语文 你怎么看? 
  1+2+4+8+16+32+64+128+256+...=-1 错在哪里? 

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





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