《星际迷航引理》

- **Star Trek Lemma** 是一个数学玩笑或冷知识：它指出，任何足够大的整数（比如 47）都存在于《星际迷航》的某一集里。这个梗源于《星际迷航》制作组对数字 47 的执着——编剧和特效师们频繁在背景道具、传送坐标、编号等细节中塞入 47，久而久之成了一种彩蛋传统。 - 约翰·D·库克（John D. Cook）是一位应用数学家与软件工程师，常在博客上用通俗语言讲解数学与计算机科学中有趣的“边角料”知识。本文借“47 遍及星际迷航”的现象类比数学中某些定理的“普遍存在性”，例如任意整数都能在某个数列或结构中找到。 - 数字 47 的彩蛋传统始于加州理工学院（Caltech），《星际迷航》的许多编剧毕业于该校，进入剧组后将这一传统带入剧集，并扩散到后续系列如《下一代》《深空九号》等。 - 对非粉丝的读者来说，这篇文章其实是在用流行文化梗来隐喻数学里的“无处不在”性质——就像任何正整数都能在看似不相关的数列或数学结构中出现一样。