通过正方体棱中点的平面计数
至少通过一个正方体的 条棱中点的平面个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先独立尝试,再展开工具说明与想法来源。
直线与球面最多两交点,故同球面的三个不同点唯一确定平面。一个含m点的平面在三点组法中被计 次,需要改为一次。
想法从哪来:先将棱中点坐标统一成零与两个正负一,十二点同球面,所以任意三点不共线,三点组合数可以作为起始总数。真正难处是同一个平面可能含四点或六点,不能把三点组数当平面数。中心平面利用反点配对分类;非中心平面可把常数归一化为一,再按哪一个坐标为零把中点分成三组。若含至少四点,至少一组含两点,这会强迫方程某些系数取特殊值,可逐组穷尽高重平面。最后每个m点平面应少算组合m取三减一次,而不是只减m减三。用总三点组回算校验完整性。
把正方体中心置于原点并令顶点坐标为 。十二个棱中点的坐标统一为 的坐标轮换;先数全部三点组,再校正同一平面含四点或六点造成的重复。
十二个棱中点组成集合
它们都在球面 上。直线与球面至多有两个交点,所以 中任意三个不同点不共线。因而每个三点组都唯一确定一个平面,共有
个按三点组计数的平面。
下面分类找出含至少四个中点的平面。
先看过原点的平面。十二点组成六对反点,取每对中的一个方向,可写成
若两个方向的零坐标位置相同,它们张成一个坐标平面,共有 个,每个含 个中点;若零坐标位置不同,它们张成形如
的平面。后一类在整体变号视为同一方程后共有 个,每个含 个中点。
再看不过原点的平面。将方程归一化为
若该平面含至少四个中点,则按零坐标的位置分成三组后,至少有一组贡献两个点。不妨考察四个点 ;要同时取到其中两个点,必有
对另外两组坐标轮换同样检查可知,含至少四点的非中心平面只有
这 个面所在平面,以及
这 个平面;它们每个都恰含 个中点。
综上,含 点的平面有
个,含 点的平面有 个,其余相关平面都恰含 点。三点组计数把每个四点平面计了 次,把每个六点平面计了 次。因此所求不同平面数为
分类中的数量满足
故恰含三点的平面为 个,所有三点组均被且仅被上述分类吸收,没有遗漏五点平面或其他高重平面。
有限点集的共面计数可先按三点组计数,再按高重平面修正。把正方体棱中点坐标化后,中心平面用反点方向分类,非中心平面用线性方程在三个四点组上逐类代入,能够完整控制重复数。
先数220组三点,再必须完整分出中心与非中心四点、六点平面并证明无其他高重数,最后按每个平面的组合重数扣除,分类穷尽性是核心。
已记下,谢谢!