数学研发论坛

 找回密码
 欢迎注册
查看: 1072|回复: 6

[讨论] 建议用软件证明2019IMO几何难题

[复制链接]
发表于 2020-2-19 21:01:06 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
本帖最后由 dlsh 于 2020-2-19 21:06 编辑

问题转自 http://tieba.baidu.com/p/6196217664






后两个是线性问题用复数方法解决不难,建议用链接中的方法试试。有时间会贴出常用公式Mathematic啊代码。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2020-2-20 16:10:08 | 显示全部楼层
:D
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
回复

使用道具 举报

 楼主| 发表于 2020-2-20 20:59:19 | 显示全部楼层
原作者的计算能力叹为观止,不知道花了多长时间,手工图太难看。

竞赛题

竞赛题

点评

第一道题也是线性构造问题。  发表于 2020-2-21 21:54
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2020-3-6 20:53:29 | 显示全部楼层
没有认真看,其实第一三题本质相同,有条件j可以考虑向国际几何自动推理会议投稿,现在n可能还来得及,论文要用英语。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2020-3-8 17:28:00 | 显示全部楼层
细节太多了, 没有宏观的美可言, 看不进去.
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2020-3-8 22:11:18 | 显示全部楼层
宏观的美指什么?好看的定理?比如莫里定理?还有简洁的公式?https://baike.baidu.com/item/%E5 ... 1%E6%98%8E/12659662
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2020-7-13 01:07 , Processed in 0.203652 second(s), 20 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表