看板 Gossiping作者 jackliao1990 (jack)標題 [爆卦] 內接矩形難題被證明了時間 Mon Jun 29 00:51:46 2020
https://www.youtube.com/watch?v=AmgkSdhK4K8
1911年德國數學家Otto Toeplitz提出一個猜想:任一封閉曲線上必定能找到一個正方形的
4個頂點。這個猜想很容易描述但是百年來沒人能夠證明。
1970年代時,Herbert Vaughan提出了矩形新觀點以證明該猜想的矩形版本:若有兩對頂點,
每對的連線等長且中點為同一點,則這兩對頂點可構成矩形。如果在封閉曲線如莫比烏斯環
上都能找到具有此特性的成對頂點,就能證明封閉平滑曲線必含能形成任何長寬比矩形的頂點。
去年普林斯頓大學研究生 Cole Hugelmeyer提出新方法分析Vaughan的莫比烏斯環:將曲線
上的點以四維座標表示-前兩個座標為成對頂點的中點座標,第三個座標為成對頂點的直線
距離,第四個座標為成對頂點連線與x軸的夾角。如此就能將莫比烏斯環嵌入四維空間。
Cole接著在四維空間旋轉莫比烏斯環,原本的環和旋轉後的環的交會點跟矩形的四頂點等價
。透過此方法,Cole證明1/3的莫比烏斯環旋轉可以產生此種交會點-換句話說:在封閉曲線
上可以找到所有可能矩形的1/3。
https://arxiv.org/pdf/2005.09193.pdf
為了證明剩下的2/3,數學家Joshua Greene和Andrew Lobby在今年疫情在家隔離期間連線討
論,他們想到了扭對稱幾何的著名範例-克萊茵瓶(在空間中與自己相交)。因為兩個相交的
莫比烏斯環等價於一個克萊茵瓶,如果旋轉的莫比烏斯環和原本的環不相交,那麼就會生出
一個不和自己相交的克萊茵瓶-然而這在四維扭對稱空間中不可能發生,因此任何莫比烏斯
環旋轉都會和自己相交,換句話說,任何封閉平滑曲線上必定可以找到一組可以形成任何長寬比的矩
形的四個頂點。至此,他們終於完成了證明。
--
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.192.157.138 (臺灣)
※ 文章代碼(AID): #1U-Cgc5o (Gossiping)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1593363110.A.172.html
→ james732: 樓下你趕快推不然會被發現你看不懂2F 06/29 00:52
→ wang1b: 嗯嗯 我也這麼想6F 06/29 00:52
→ stin: 嗯我也這麼認為7F 06/29 00:52
→ theeht: 我1910年就猜到了10F 06/29 00:52
推 ME13: 這方式有點作弊啊12F 06/29 00:53
推 heavensun: 關鍵字上色: 莫比烏斯環 克萊茵瓶(在空間中與自己相交15F 06/29 00:53
→ heavensun: 肥宅94 克萊茵瓶 (在空間中與自己相交)17F 06/29 00:53
推 k2450: 喔喔 原來如此21F 06/29 00:53
→ yang421: 拿兩個別人的定理說是自己的定理會不會太不要臉一點呀?23F 06/29 00:54
推 fishouse: 我之前有證過 不過這邊篇幅太小我寫不下24F 06/29 00:54
推 e2167471: 表達得不太好,看來上次我跟他解釋完他還是沒完全懂27F 06/29 00:54
→ loxic: 喔喔對啊 之前有想出來只是沒跟別人說29F 06/29 00:55
→ cena0605: 證明了這個可以幹嘛? 不能商業化的東西都是垃圾31F 06/29 00:55
推 tf010714: 恩恩 跟我想得差不多 只是我差臨門一腳32F 06/29 00:55
推 Siika: 普林思頓38F 06/29 00:57
推 DUKEYANG: 我本來已經寫好怎麼解釋了 只是紙張不夠我寫39F 06/29 00:57
→ saladim: 恩恩 我以為這五維空間人都知道的事不用贅述耶~~42F 06/29 01:00
推 caryamdtom: 看不懂啦靠…現在數學能力有沒有高中都不知道…50F 06/29 01:03
推 Yan5566: 嗯嗯 我上次也這樣想 但後來沒特別寫下來52F 06/29 01:05
推 mikezip: 證明是不是能得到100萬鎂?53F 06/29 01:06
推 jioeo: 欸,能不能說中文啊54F 06/29 01:07
噓 mirac1e: 跟我想的完全不一樣 難怪證得出來55F 06/29 01:07
推 rhox: 恩恩,我知道另外一種解法,可惜推文太短寫不下58F 06/29 01:09
推 allmwh: 嗯嗯 我本來要發的59F 06/29 01:11
推 BroSin: 來台灣可領25k62F 06/29 01:15
推 ohrring: 嗯嗯跟我想的差不多 稍微改一下更好63F 06/29 01:15
推 avans: 推64F 06/29 01:16
推 qui0914: 3B1B影片讚讚讚66F 06/29 01:18
推 a58524andy: 從3B1B了解這個問題的+1 竟然解出來ㄌ68F 06/29 01:18
推 ajim36: 不愧是台灣普林斯頓,No169F 06/29 01:19
推 acemoglu: 喔喔還以為大家都知道我就不說了71F 06/29 01:23
推 bam5566: 我的想法又被早一步發表72F 06/29 01:24
推 kipi91718: 跟我想的差不多 如果可以更白話文一點就好了73F 06/29 01:28
推 Szss: 跟我想得一樣75F 06/29 01:31
推 sylvy: 推76F 06/29 01:31
推 neo5277: 鋼鐵人都拿來做成量子導航80F 06/29 01:42
推 chh1470: 哇 被你搶先一步ㄌ81F 06/29 01:46
推 webster1112: 中國又在現代數學做出傑出貢獻了 !!!!
中國又在現代數學做出傑出貢獻了 !!!!
武漢肺炎隔離期間所誕生的偉大貢獻!!!83F 06/29 01:51
推 rXIN: 嗯嗯跟我想的一樣86F 06/29 01:55
→ oooptt: 嗯嗯 跟我想的一樣88F 06/29 01:59
推 PPPGGG: 為什麼我連中文都看不懂89F 06/29 02:02
→ Bansar: 我之前就寫出來了90F 06/29 02:07
推 sunnyyoung: 這證明東尼史塔克做了只是沒寫,但用來做時間機器了92F 06/29 02:07
→ Anikk: 比黑人議題 還不被重視 我去711買東西會用到嗎?????93F 06/29 02:10
噓 zChika: ......就這樣啊97F 06/29 02:17
推 shala: 太簡單,不屑證210F 06/29 19:35
--