http://kenji.blog/zh-tw/tags/%E5%85%8B%E5%8D%9C%E5%8B%92%E7%8C%9C%E6%83%B3/Recent content in 克卜勒猜想 on kenji.blogHugo -- gohugo.iozh-twkenjinoteMon, 21 Jul 2025 22:53:03 +0900http://kenji.blog/zh-tw/p/kepler-conjecture-explained/Mon, 21 Jul 2025 22:53:03 +0900http://kenji.blog/zh-tw/p/kepler-conjecture-explained/<img src="http://kenji.blog/p/%E3%82%B1%E3%83%97%E3%83%A9%E3%83%BC%E4%BA%88%E6%83%B3%E3%82%92%E3%82%8F%E3%81%8B%E3%82%8A%E3%82%84%E3%81%99%E3%81%8F%E8%A7%A3%E8%AA%AC/img.png" alt="Featured image of post 克卜勒猜想淺顯易懂的解說" /><h1 id="克卜勒猜想淺顯易懂的解說最密實裝箱西瓜的方法">克卜勒猜想淺顯易懂的解說！〜最密實裝箱西瓜的方法〜 </h1><p>大家好，我是 kenji！</p> <p>今天我想盡可能淺顯易懂地解說一個名字聽起來有點難的數學話題：「克卜勒猜想」。</p> <p>乍看之下，這似乎是一個非常硬核的話題，但其實它也和我們身邊的問題息息相關：「如何才能將西瓜最密實地裝進箱子裡？」。這也與便利商店的冰箱有關，還與貨物的堆疊方式有關。</p> <p>而且，在數學界，這甚至是一個 <strong>超過 400 年無法被證明</strong> 的超級浪漫的故事。</p> <p>那我們開始吧！</p> <hr> <h2 id="首先克卜勒是誰">首先，克卜勒是誰？ </h2><p>首先，「克卜勒猜想」中的「克卜勒」是誰？</p> <p>這是一位名叫 <strong>約翰尼斯·克卜勒（Johannes Kepler）</strong> 的德國天文學家兼數學家的名字。</p> <p>這個人非常厲害。 例如，發現行星軌道是橢圓形的人就是他。這在現在是常識，但在當時（大約 1600 年），那甚至是一個地動說還沒有被完全相信的時代。</p> <ul> <li><strong>伽利略 ＝ 觀測的天才</strong></li> <li><strong>克卜勒 ＝ 用數學公式解釋宇宙的天才</strong></li> <li><strong>牛頓 ＝ 將該理論總結為物理定律的超級天才</strong></li> </ul> <p>在這樣的定位下，克卜勒是「用數學公式談論宇宙」的先驅者。</p> <p>那麼，有一次他這樣說了：</p> <hr> <h2 id="克卜勒猜想是什麼">克卜勒猜想是什麼？ </h2><p>簡單來說，「克卜勒猜想」就是這樣一個故事。</p> <hr> <blockquote> <p><strong>當將相同大小的球（西瓜或橘子）裝入箱子時，哪種排列方式能裝得最密實？</strong></p> </blockquote> <hr> <p>就是這個問題。</p> <p>而在 1600 年代，克卜勒猜想的是：</p> <blockquote> <p><strong>像蔬果店裡擺放橘子那樣，排成三角形會不會是最有效率的？</strong></p> </blockquote> <p>用數學語言來說，這被稱為 <strong>「最密堆積問題（Sphere Packing）」</strong> ，這是一個尋找在空間中最密實地鋪滿球的方法的問題。</p> <p>克卜勒猜想，被稱為 <strong>「面心立方結構（FCC）」</strong> 的排列方式（就像將西瓜堆成三角形那樣）是最有效率的。</p> <p>大家雖然都覺得「確實看起來是這樣～」，但是在數學上要證明「這絕對是最好的！」卻非常困難。</p> <hr> <h2 id="證明竟然花了-400-年">證明竟然花了 400 年！？！ </h2><p>那麼，它真正被證明是什麼時候呢……</p> <p>竟然是 <strong>1998年〜2005年左右</strong> 。 也就是說，<strong>將近 400 年都沒有人能證明出來</strong> 。太不可思議了。</p> <p>而且，證明它的是一位名叫 <strong>托馬斯·黑爾斯（Thomas Hales）</strong> 的美國數學家。</p> <p>這個人判斷只靠手算是不可能的，因此 <strong>使用了電腦進行證明</strong> 。 然而，由於該證明過於複雜，導致人類無法好好檢查！這引發了一個問題。</p> <p>於是，在數學界也引發了一場大爭論：「那麼，用電腦證明的結果真的可以相信嗎？」。</p> <p>結果，「包含電腦在內，我已經嚴格驗證過了！」的證明（正式稱為「形式化證明」）是在 <strong>2014 年</strong> 完成的。</p> <p>也就是說，<strong>直到證明克卜勒的直覺是正確的，花了超過 400 年</strong> 。真是太浪漫了。</p> <hr> <h2 id="在實際生活中也被廣泛應用">在實際生活中也被廣泛應用 </h2><p>你可能會認為「球該怎麼排列」只是數學宅男的話題，但實際上它非常實用。</p> <ul> <li><strong>在便利商店的冰箱裡有效率地擺放飲料</strong></li> <li><strong>將罐頭堆疊在運輸托盤上時</strong></li> <li><strong>也被應用於通訊（例如數位訊號的壓縮）</strong></li> <li><strong>用於 3D 列印機或晶體結構的設計</strong></li> </ul> <p>等等，這其實是我們生活中背後被大量使用的理論。</p> <hr> <h2 id="總結人類的直覺很了不起">總結：人類的直覺很了不起 </h2><p>那麼，我們來總結一下。</p> <ul> <li><strong>克卜勒猜想</strong> ＝ 如何將球裝得最密實的問題</li> <li><strong>克卜勒先生</strong> ＝ 發現行星軌道的數學兼天文學家</li> <li><strong>是在 1600 年代猜測的！但被證明是在 2000 年代！</strong></li> <li><strong>在實際生活中也被廣泛應用！</strong></li> </ul> <p>而最有趣的一點是， <strong>「蔬果店憑直覺堆疊的方法，在數學上也是最強的」</strong> 。</p> <p>也就是說，<strong>人類的直覺很了不起</strong> 。 而且，<strong>證明這一點可能需要花上 400 年</strong> ，這真的是一個充滿浪漫色彩的故事呢。</p> <hr> <p>如果你對此感興趣，請務必搜尋看看「托馬斯·黑爾斯」、「形式化證明」、「Sphere Packing」。深入挖掘的話會非常有趣。</p> <p>那麼下次見！</p> <hr> <p>[PR]</p> <div style="background:#fff;width:120px;height:215px;box-sizing:border-box;border:1px solid #ccc;display:flex;flex-direction:column;justify-content:flex-start;align-items:center;"><div style="line-height:0;"><img src="https://static.jp.mercari.com/assets/img/common/jp/logo_horizontal.png" width="105"></div><a href="https://jp.mercari.com/item/m71496725612?afid=1916658352" style="width:100px;height:100px;background:#eee;" target="_blank"><img src="https://ambassador-system.mercari.com/v1/i?id=m71496725612&svc=m" style="line-height:0;width:100px;height:100px;object-fit:contain;"/></a><div style="padding:12px 0;width:100%;text-align:center;"><a href="https://jp.mercari.com/item/m71496725612?afid=1916658352" style="width:100px;height:32px;background-color:#E32B36;border-radius:4px;line-height:14px;text-align:center;color:#fff;font-weight:bold;border:0;font-size:12px;display:inline-flex;justify-content:center;align-items:center;" target="_blank">今すぐ購入</a></div></div>