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

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

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

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

http://imgsrc.baidu.com/forum/w%3D580/sign=a65d118f9aeef01f4d1418cdd0fc99e0/a967d439b6003af32855748b3b2ac65c1238b6a6.jpg
http://imgsrc.baidu.com/forum/w%3D580/sign=630beacf7df082022d9291377bfafb8a/62ab4034970a304eeb5fae16dfc8a786c8175c15.jpg
http://imgsrc.baidu.com/forum/w%3D580/sign=51f82fcb414a20a4311e3ccfa0509847/dc1d8326cffc1e17986cfbe84490f603718de948.jpg
http://imgsrc.baidu.com/forum/w%3D580/sign=1cef9f2d5fda81cb4ee683c56267d0a4/c16b8cb1cb134954b8a29fbd584e9258d3094adb.jpg
http://imgsrc.baidu.com/forum/w%3D580/sign=4ae1b4cd65600c33f079dec02a4d5134/a9cedbb44aed2e73aa56f1f58901a18b85d6fae4.jpg
后两个是线性问题用复数方法解决不难，建议用链接中的方法试试。有时间会贴出常用公式Mathematic啊代码。

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

:D:D:D:D:D:D

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%AE%9A%E7%90%86%E6%9C%BA%E5%99%A8%E8%AF%81%E6%98%8E/12659662
页: [1]
查看完整版本: 建议用软件证明2019IMO几何难题