题目条件

在一张足够大的纸上画3条完整直线,数一数纸面被切成多少个连通区域。要求任意两条直线都相交于纸内,三个交点互不重合,也就是没有两条平行线、没有三线共点。

问在这些条件下最多能得到多少块区域。区域指纸面上彼此不连通的开区域;只数由直线围出的有限小块也不完整,因为直线两侧还会有无限延伸的外部区域。

该计数结果依赖直线不重合、且交点均处于作图区域。若用有限张纸做实验,直线应画到纸边并把两侧外部区域也视作区域;纸张边界不是额外切割线。数学模型讨论的是无限平面上的区域数,纸只是示意载体。

从一条线开始

没有直线时整张纸是一块。画第一条直线后,它把纸分成两侧,因此得到2块。第二条直线与第一条相交,交点把第二条线切成两段。

第二条线的两段分别进入第一条线两侧,各把所在区域再分成一块,所以区域数从2增加2,变成4。交点若在纸外,或两线平行,就不会获得相同增量;题面要求纸内相交。

若三条线都交于同一个点,第三条线与前两条的两个交点重合,沿第三条只有两段而不是三段,所以最多增加2块,最后是6块。这个对照解释了为什么题目必须特别写明“三个交点互不重合”。

第三条线带来三块

第三条线与前两条线有两个不同交点,因此沿这条新线从一端走到另一端,会被分成3段。每一段内部没有交点,整段位于某个已有区域中。

每一段各自把所在的一个区域一分为二,因此第三条线增加3个区域。总数由4变为7。两个交点必须不同;若三线共点,新线只有两段,区域数会少一块。

公式还说明数量随线条数增长的方式:每增加一条新线,新增区域数至多等于它与旧线的不同交点数加1。三线互不共点使每条新线获得最大分段数,因此“最多”不是偶然画出来的某个结果。

公式与唯一性

一般地,当新画直线与已有n−1条线在n−1个不同点相交时,它被分成n段,最多增加n块。区域数R(n)=R(n−1)+n,且R(0)=1,因此R(n)=1+n(n+1)/2。代入n=3得7。

每个增加的区域都对应新线的一段,不会多也不会少:每段将既有某一区域切成两块。条件保证交点互异且都在作图区域中,故本题上限可达到,而非仅是粗略估计。

用多条线重复相交的简单图案可能产生少于上限的区域数,因此实际手绘时可先将直线稍作倾斜,使交点彼此错开。题目条件保证这种一般位置画法存在,递推说明上限恰能实现。

评分与边界

答案为7块。完整证明要说明三条线依次增加2、2、3块,并交代两两相交且不共点的条件;也可以用递推式计算。

若交点共点、线平行,结果可能小于7;若只数有限闭合小区域,统计对象就不同。题目要求数纸面所有连通区域,外侧区域也算入答案。

逐条画线也能核验区域数:第一条线两侧2区;第二条线被一个交点分成2段,分别切开原有区域,得到4区;第三条线被两个不同交点分成3段,再增加3区。于是2+2+3=7。一般位置条件不是装饰:若新直线上的交点重合,段数变少,增加的区域也随之减少。