多维分割论2—— 论平面对空间的分割.docxVIP

第四届全国初等数学学术交流会 交 流 论 文 一一以几何原理可一 《多 维 分 割 论》 之 二 —— 论平面对空间的分割 祝有韬 湖北省安陆市第二高级中学 邮编 ： 432600 以直线间相交所得“交点个数”为线索圆满解决了平面区域划分问题后现在我们再以平 面间相交所得“交线条数和顶点个数”为线索解决平面分割空间所成区域个数问题 . 问题 1：空间中有 n 个平面，其中任两个不平行，凡两两相交者交线不平行，任四个不 共点，任三个不共线 .(为简便起见，本文称同时满足此四条为满足“最强条件 ”).求其分割空 间所得区域个数 f n . 解： 数列 f n 即{ 2、4、8、15、26、 } 其一阶差列为 f n 1 f n an { 2、4、7、11、 } , 其二阶差列为 an 1 an {2、3、4、 } 成等差数列 , 即有 a2 a1 2 a3 a2 3 a4 a3 4 ) an an 1 n an ( n 2)(n 1) n2 n 2 1 n 2 1 a1 2 2 2 n 1 2 2 从而有 f 2 f 3 f 4  （f1） a1 （f2） a2 f 3 a3 ) f n f n 1 an 1 n 1 1 n( n 1)(2n 1) 1 n(n 1) f n f 1 ai 2 2 6 2 (n 1) i 1 2 n( n 1)(n 2) (n 1)n 1 6 2 进而得 公式 1: f (n) Cn3 Cn2 1 1 - 5 - 定理（几何原理） ：空间内满足最强条件的 n 个平面将空间分割成的区域个数等于这些 平面产生的交点个数 Cn3 与包括一个巨球面（可视为一个“平面”——“无穷远面” ）在内 的 n +1 个平面产生的交线条数 Cn2 1 的和再加 1. 不难验证，当 0,1,2 m n 等值时，（只要规定 r＜ m时 , Cr =0) 公式 1 都成立 . 用数学 ， 归纳法极易证明对 n∈ N 时命题恒成立 . 证明 当 时，空间被分成 8个部分，而 3 + 2 1 8, 公式成立 . : (1) n 3 C3 C3 1 （2）假定 n k时公式成立，即 f (k ) C k3 Ck2 1 1,则当 n k+1 时，由 k+1 个平 面符合 “ 最强条件 ” 知，前 k个平面与第 k 1个平面交于无二线平行且无三线共点 的 k条直线，依直线分割平面法知第 k 1个平面被分割成 Ck2 1 1个区域，即加入第 k 1个平面后空间区域个数增加了 Ck2 1 1个 . 即 f (k 1) f (k) (Ck2 1 1) (Ck3 Ck2 1 1) (Ck2 1 1) (Ck3 Ck2 1 1) (Ck2 Ck1 1) (C k3 Ck2 ) (Ck2 1 Ck1 1 ) 1 Ck3 1 C (2k 1) 1 1. ( 注 : 事实上 n 0,1,2 时 , 命题也成立 , f (0) C03 C12 1 1, f (1) C13 C22 1 2, f (2) C23 C32 1 4,这里规定 r m时， Crm 0). 故n N {0}时命题恒成立 . 问题 2：空间 n 个平面中，凡两两相交者其交线不平行，无四面共点，无三面共线，但 有 组分别有 个平面平行（ 、、 、 p ） 求 其 分 割 空 间 所 得 区 域 个 数 p mi i 1 2 p, mi n , i 1 f n . p 解 ： 显 然 与 满 足 最强 条 件 时 相 比 ， 交 线 条 数 减 少 了 mi ， 顶 点 个 数 减 少 了 i 1 p p (C m3 Cm2 Cn1 m ) ，故依“几何原理” 知，空间区域的个数减少了 (Cm2 Cm3 Cm2 C n1 m ), i i i i i i i i 1 i 1 p 公式 2： 3 2 1) 2 3 2 1 则得 f n (Cn Cn 1 (Cmi Cmi Cmi Cn mi ), i 1 问题 3：空间 n个平面中，无二面平行，无四面共点，无三面共线，但其中有 q 组 个两两相交的交线平行（ 、、 、 ， q 分别有 ）, 求其分割空间 mj j 1 2 q mj 3, mj n j 1 所得区域个数 f n . - 6 - 解：显然这时交线条数未变， 而各两两相交的交线平行组中每三个面少产生了一个顶点， q 即顶点个数减少了 Cm3 “依几何原理”得 i j 1 q 公式 3： f n (Cn3 Cn2 1 1) Cm3 j j 1 问题 4：空间 n 个平面中，