平面上的直线(LINES IN THE PLANE)

有n条直线，最多能把平面分成多少个？

递归式：

封闭形式：

递归式的证明：第n(n>0)条直线使得区域的个数增加k个，当且仅当它对k个已有区域进行了分裂，而它对k个已有区域进行分裂，当且仅当它在k-1个不同的地方与前面那些直线相交，两条直线最多相交于一点，因而最多这条新的直线与那n-1条已有直线至多相交于n-1个不同的点，故必定有k<=n。所以就得到了上界：

此外，用归纳法容易证明这个公式中的等号可以达到，径直的放置第n条直线，使得它不与其他直线中的任何一条平行(从而它与它们都相交)，且它不经过已经存在的交点(从而它与它们全都在不同的点相交)。于是得出等号成立。

封闭形式证明：

将递归式进行展开，

,其中

得出式子后，也可以用数学归纳法进行证明一番

还有个扩展是折线最多能将平面分成多少个区域？

递归式：

封闭形式：

递归式证明：详见具体数学P6，两条直线不经过它们的交点延伸出去而使得区域相融合之外，一条折线与两条直线相似。但是一条折线的情形下是单独的一个区域，于是失去了两个区域，如果放置得当-锯齿点必须放在它与其他直线的交点之外，那就是我们失去的全部，也就是说，对每条折线仅仅损失两个区域，从而得到递归式。

相应习题传送门