建议用软件证明2019IMO几何难题

dlsh · 发表于 2020-2-19 21:01:06

您需要登录才可以下载或查看，没有账号？欢迎注册

×

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

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

后两个是线性问题用复数方法解决不难，建议用链接中的方法试试。有时间会贴出常用公式Mathematic啊代码。

有凤来仪 · 发表于 2020-2-20 16:10:08

dlsh · 发表于 2020-2-20 20:59:19

原作者的计算能力叹为观止，不知道花了多长时间，手工图太难看。

dlsh · 发表于 2020-3-6 20:53:29

没有认真看，其实第一三题本质相同，有条件j可以考虑向国际几何自动推理会议投稿，现在n可能还来得及，论文要用英语。

wayne · 发表于 2020-3-8 17:28:00

细节太多了, 没有宏观的美可言, 看不进去.

dlsh · 发表于 2020-3-8 22:11:18

宏观的美指什么？好看的定理？比如莫里定理？还有简洁的公式？https://baike.baidu.com/item/%E5 ... 1%E6%98%8E/12659662

账号		自动登录	找回密码
密码			欢迎注册

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