《星际迷航引理》

- John D. Cook 是一位数学家和软件工程师，长期撰写跨学科的技术博客，擅长用通俗方式解释数学概念及其在现实中的应用。 - 文章提到的 "Star Trek Lemma" 实际上是一个数学命题，其名称源于几何证明中一条辅助线的形状类似《星际迷航》中企业号的徽章。这属于数学文化中的「命名趣事」——严肃内容配上流行文化标签，让学术文献更具亲和力。 - Arthur Baragar 是内华达大学拉斯维加斯分校的数学教授，他的教材《A Survey of Classical and Modern Geometries》中收录了这个引理。作者与他曾是德克萨斯大学奥斯汀分校的办公室室友。 - Archive.org 是一个大型数字图书馆，提供大量免费阅读的扫描版书籍；文中用它查阅了 Baragar 的著作。 - 这篇短文本身没有复杂的理论推导，核心是作者发现故人书中有趣命名的怀旧叙事，折射出数学界私下流传的行话与文化梗。