用户:Bruce Chen 0010334/相切可吃定理
相切可吃定理是指当薯片掉到地上，无论如何都是可以吃的。该定理是由毕啸天在2017年提出。
许多人都认为薯片掉到地上后是脏的，不能吃。然而，事实违反直觉，薯片掉到地上是不会脏的。
推倒过程
[编辑]
薯片一般是做成一个弧面(如右图)。弧面(薯片之模拟)和平面(地面之模拟)相切。两者相交于一条线。一条线在二维向量空间中面积积分等于0。所以薯片与地面接触确实会脏，脏的部分是地面与薯片相交之处，也就是一条线。一条线的面积等于0，所以脏的面积是0，等于没脏。
若你认为薯片掉到地上不一定这么掉，也可能反过来掉，请参考“各种角度的薯片掉到地上模拟图”。其他种掉法可能相交于两个点或一个点，面积仍是0，就算是直立地插在地上亦然。
延伸
[编辑]薯片会有这个“绝对可吃性质”是因为它的几何形状。只要满足以下性质的就具有“绝对可吃性质”。
1. 不存在一平面使得其相切于食物又和食物交于一个面积大于0的平面
正方体、正二十面体、甚至球体都满足此性质。
必须满足以下所有条件，才有“不可吃”的可能：
1. 该食物存在一平面。(如薯片全部都是弧面就不符合)
2. 过食物上的平面的面必须不穿过食物。(可以相切于食物其他部位或仅香蕉于该平面)
2017年的主要作物，包括稻谷、玉米、小麦、咖啡、香蕉、柑橘、大豆，形状皆符合相切可吃原则。
应用
[编辑]由于满足“不可吃”的条件的食物极少，我们认为掉到平面的地上不是一个有效的弄脏食物方式。若要把食物弄脏 ，必须设计非平面的地板，或使用其他方式把食物弄脏。