MathLabs

第4题

求所有具有如下性质的正整数对 (h,s)(h,s):画出 hh 条水平直线,再画出 ss 条满足 (i) 不水平、(ii) 任意两条不平行、(iii) 在全部 h+sh+s 条直线中任意三条不共点的直线;求所形成的区域数为 19921992 的所有正整数对。
第 1/5 步:先计算仅有非水平直线时的区域数
a0,0=1,a0,s=a0,s−1+sa_{0,0}=1,\qquad a_{0,s}=a_{0,s-1}+s
详细分析

向 s−1s-1 条直线中加入一条新的非水平直线时,它与已有直线有 s−1s-1 个不同交点,被分成 ss 段,每段增加一个区域。由 a0,0=1a_{0,0}=1 得 a0,s=1+1+⋯+s=s2+s+22a_{0,s}=1+1+\cdots+s=\frac{s^2+s+2}{2}。