使用者:Bruce Chen 0010334/相切可吃定理

相切可吃定理是指當薯片掉到地上,無論如何都是可以吃的。該定理是由畢嘯天在2017年提出。
許多人都認為薯片掉到地上後是髒的,不能吃。然而,事實違反直覺,薯片掉到地上是不會髒的。

推倒過程

編輯
File:薯片掉到地上的 Matlab 模擬圖.png
薯片掉到地上的 Matlab 模擬圖

薯片一般是做成一個弧面(如右圖)。弧面(薯片之模擬)和平面(地面之模擬)相切。兩者相交於一條線。一條線在二維向量空間中面積積分等於0。所以薯片與地面接觸確實會髒,髒的部分是地面與薯片相交之處,也就是一條線。一條線的面積等於0,所以髒的面積是0,等於沒髒。
若你認為薯片掉到地上不一定這麼掉,也可能反過來掉,請參考「各種角度的薯片掉到地上模擬圖」。其他種掉法可能相交於兩個點或一個點,面積仍是0,就算是直立地插在地上亦然。

File:各種角度的薯片掉到地上模擬圖.png
各種角度的薯片掉到地上模擬圖


延伸

編輯

薯片會有這個「絕對可吃性質」是因為它的幾何形狀。只要滿足以下性質的就具有「絕對可吃性質」。

1. 不存在一平面使得其相切於食物又和食物交於一個面積大於0的平面
正方體正二十面體、甚至球體都滿足此性質。
必須滿足以下所有條件,才有「不可吃」的可能:
1. 該食物存在一平面。(如薯片全部都是弧面就不符合)
2. 過食物上的平面的面必須不穿過食物。(可以相切於食物其他部位或僅香蕉於該平面)
2017年的主要作物,包括稻穀玉米小麥咖啡香蕉柑橘大豆,形狀皆符合相切可吃原則。

應用

編輯

由於滿足「不可吃」的條件的食物極少,我們認為掉到平面的地上不是一個有效的弄髒食物方式。若要把食物弄髒 ,必須設計非平面的地板,或使用其他方式把食物弄髒。

參見

編輯