有这样一道思维题：

描述

假设我们有 $m$ 条直线，满足两两不平行，任意三条不交于一点。显然这些直线会被分割成 $m^2$ 段；将这些段从下到上分层，每一层是一条连续的折线，就像这张图一样 ($m=3$) ：

红色是第一层，绿色是第二层，蓝色是第三层。图中这种画法会得到以下数据：第一层有三段，第二层有四段，第三层有两段（加起来刚好 $m^2=9$ 段呢）。

显然对于不同的画法，每层的线段数可能会是不同的。求 $m$ 条直线的所有合法的画法中第 $k$ 层的最少线段数。

结论

通过手推和猜想有以下结论：

$ans=\begin{cases}1&m=1\\\min(k,m-k+1)\times 2&others\end{cases}$

用这样的代码可以通过题目，但我没法严格证明，百度了没搜到原题。请万能的谷民帮个忙。