- 最后登录
- 2013-3-25
- 在线时间
- 345 小时
- 阅读权限
- 10
- 注册时间
- 2009-8-5
- 积分
- 80
- 帖子
- 65
- 精华
- 0
- UID
- 107099
- 性别
- 保密

- 积分
- 80
- 帖子
- 65
- 精华
- 0
- UID
- 107099
- 性别
- 保密
|
一定是圆。
粗略证明(时间关系,没有用十分严格的语言):
1。首先证明,任意两条对称轴都有交点(即不平行)。
反证法。假设有两条平行的对称轴,在曲线上任取一点,反复对这两条对称轴作对称点,得到的点集是发散的,与封闭曲线矛盾。
2。然后证明,所有对称轴交于一点。
反证法:假设有三条对称轴不是交于一点,那么中间围了个三角形,在这个三角形内部任取一点O。
在曲线上任取一点P,在上述三条对称轴中必存在一条,使得O和P在其同一侧,作P对于该对称轴的对称点P',显然OP' > OP。
再一次,在上述三条对称轴中必存在一条,使得O和P'在其同一侧,作P'对于该对称轴的对称点P'',有OP'' > OP'。
这样继续下去,再次得到一个发散的点集,与封闭曲线矛盾。(点集发散性还需要严格证明一下,应该没问题)
3。假设所有对称轴交于点O。在曲线上任取一点P,于是以O为圆心,OP为半径的圆上有曲线上无数个点。可以证明整个圆都属于曲线。基本思路是先对于三根对称轴进行分析,用夹角作辗转相除法,得到如果夹角比例是无理数,就必然整个圆都属于曲线;而如果所有比例都是有理数,那么由于有无数对称轴,夹角比例存在任意大的分母,再利用有界数集必有确界,仍然整个圆都属于曲线。
4。最后,由于是封闭曲线,应该不可能包含其它同心圆。
所以该曲线一定是圆。 |
|