平面分割，空间分割各种变形问题

一、直线分割的变形问题

1、直线分割的区域分为有界和无界的区域，那么$n$条直线最多将平面分为多少个有界的区域？

解决分割问题的一个很有用的思想为就是动态分析，观察总结。 那么我们可以假设第$n$条直线交于$k>0$个不同的点，那么观察就可以得到一个结论，那就是我们可以得到新的$k-1$个有界的区域和$2$个无界的区域。因此，最多的有界区域与最多区域解$L_n$的差为$2\ast n$，所有可以得到：

$$T_n=S_{n-2}=L_n-2\ast n=\frac{(n-1)(n-2)}{2}=\sum _{i=1}^{n-2}i$$

其中的$S_n$是三角形数，$S_n=\frac{n(n+1)}{2}$。下图中，蓝色线为第$4$条线，生成$2$个红色的有界区域和$2$个黄色的无界区域。

---

2、折线分割问题，这次不是直线去分割平面了，是折线，那么$n$条折线最多可以将平面分割为多少个区域呢？

动态分析：如何才能最多的分割平面？就是产生尽量多的交点。观察总结：对于折线来说，加入一条折线后，区域的增加个数相当于两条直线加入分割后减少少了$2$个区域。什么意思呢？当$n=1$的时候，区域数为$2$，若是两条直线相交那么可以产生的区域数为$4$，原因就是折线的形状不能将左边那个大的蓝色$2$区域分割。同样的，每加入一条折线都会少两个区域，所以可以得到：

$$T_n=L_{2n}-2n=2n^2-n+1$$

$L_n$就是经典$n$条直线分割最多平面问题的解，满足$L_n=1+S_n=1+\frac{n(n+1)}{2}$。

其实有一个经验总结，就是区域增加的个数和交点的个数总是密切相关的，并且所有的区域的个数和直线的条数，交点数也是息息相关。这对于那些要求平行线的交点分割的变形题目非常有帮助。具体关系就是：

经验$1$ 区域增加的个数=新产生的交点个数+1
经验$2$ 区域的个数=1+线的条数+交点的个数（这里如果是$n$线汇合一点，那么交点个数计算为$n-1$个，并且对于无穷延伸的线条来说，不论是直线好，还是折线也好，都算作一条线）

那么回头再看看刚才的题目，很容易得到，对于第$n$条折线来说，一次最多可以新产生$4(n-1)$个交点，所以最多可以产生新的区域数$4(n-1)+1$，就是$4n-3$个，那么就可以得到递推式子：

$$T_n=T_{n-1}+4n-3$$

结果是一样的。同样我们可以采用思路$2$去解决，直接计算区域的总数：

$$T_n=1+n+4\ast \sum _{i=1}^{n-1}i=2n^2-n+1$$

---

3、折线？换成"Z"型线条怎么计算？

我们可以只用充分长的线段的极狭窄的$Z$形线来构造最多的交点的情况，也就是当第$n$条线加入时，它与其余的$n-1$条线都有$9$个交点，那么我们根据经验$1$或者$2$来解决。

使用经验$1$的话，那么我们就可以得到对于第$n$条线来说，最多可以产生$9(n-1)$个交点，那么产生的区域最多为$9(n-1)+1$，所以可以得到最优解为：

$$T_n=T_{n-1}+9n-8$$

$$T_n=\frac{9}{2}{n}^2-\frac{7}{2}n+1$$

使用经验$2$的话，那么我们就可以得到对于第$n$条线来说，最多可以产生$9(n-1)$个交点，那么区域的最多的交点数为$$9\sum _{i=1}^{n-1}i$$

注意这里的$Z$形线都只是一条线，所以可以得到最优解为：

$$T_n=1+n+9\sum _{i=1}^{n-1}i$$

$$T_n=\frac{9}{2}{n}^2-\frac{7}{2}n+1$$

可见，两个方法殊途同归,本质都是一样的，经验$2$其实就是经验$1$的叠加形式。

---

二、封闭曲线分割平面的问题：

直接上干货，因为这个问题的水非常深，所以在这里直接使用经验而不是严谨的推理，如果对原理很有兴趣，就自己去看论文吧。有这个时间，不去玩玩，逛逛GitHub之类的

经验总结：对于$k$个新的交点产生，会增加$k-1$个有界的区域，和$2$个无界的区域，这在直线分割平面的变形第一题就已经说过了。那么由于是封闭的曲线产生的区域，是有界限的，所以新产生的区域=新产生的交点产生的有界区域和。

1、三角形分割问题:

对于三角形来说，对于第$n$个三角形，一次最多可以产生的新的交点数为$6(n-1)$，所以新的产生的区域数为$6(n-1)$

$$T_n=T_{n-1}+6(n-1),T_1=2$$

$$T_n=3n^2-3n+2$$

---

2、圆形分割问题：

对于圆来说，对于第$n$个圆，一次最多可以产生的新的交点数为$2(n-1)$，原因就是因为两个圆最多有两个交点，所以新的产生的区域数为$2(n-1)$

$$T_n=T_{n-1}+2(n-1),T_1=2$$

$$T_n=n^2-n+2$$

---

3、椭圆分割问题：

对于椭圆来说，对于第$n$个椭圆，一次最多可以产生的新的交点数为$4(n-1)$，原因就是因为两个椭圆最多有四个交点，所以新的产生的区域数为$4(n-1)$

$$T_n=T_{n-1}+4(n-1),T_1=2$$

$$T_n=2n^2-2n+2$$

---

三角形，两个三角形最大交点数：$6$，$T_n=3n^2-3n+2$
圆形，两个圆形最大交点数：$2$，$T_n=n^2-n+2$
椭圆形，两个椭圆形最大交点数：$4$，$T_n=2n^2-2n+2$
因此，我们可以大胆猜测：封闭二次型曲线，两条曲线的最大交点数：$m$，$T_n=k{n}^2-kn+2,k=\frac{m}{2}$
多么优美的公式！

---

三、多维切割问题：

这个问题的难度很大，我只讲讲最基础的平面切割三维空间的问题，其他的多维的我只例举一些有用的公式就好了。

1、$n$个平面切割一个空间，最多可以得到多少个不同的空间？

为了要有最多的空间数，则第$n$个平面需与前$n-1$个平面相交，且不能有共同的交线。所以最多有$n-1$ 条交线。而这些交线把第$n$个平面最多分割成多少个区域呢？

显然，这最多可以分出$L_{n-1}$个区域，这个平面将原来的空间一分为二，所以只会一部分空间被区域分割，总的增加$L_{n-1}$个空间：

$$T_n=T_{n-1}+L_{n-1}$$

2、$n$个$d-1$维度的物体切割一个$d$维度的物体，最多可以得到多少份？

根据递归的思想，我们可以得到该问题的解：

$$T_d(n)=T_d(n-1)+T_{d-1}(n-1)$$

$$T_d(n)=\sum _{k=0}^d\left(\genfrac{}{}{0ex}{}{n}{k}\right)$$