第n+1条直线与之前n条直线至多n个交点,至多多出n+1部分
则S=2+2+3+...+n=(n^2+n+2)/2