可以考虑用圆的定义来证明
圆是从定义上就满足一种到圆心距离相等的点的全集吗？  
如果是，那么用反正法去证明，不存在两个圆直径相同而周长不同，也就不存在两种比例。
  
【 在 iccv2009 (居居) 的大作中提到: 】
:  忘记这个是不是教过了。
:  --
:  ※ 修改:·iccv2009 于 Dec  3 10:31:37 2022 修改本文·[FROM: 73.93.166.*]
:  
--
修改:iccv2009 FROM 73.93.166.*
FROM 111.199.184.*