非凸或許區間部分則是結構一個分段函數（二次函數和線性函數的組合）作為反例完成證明。

關于這個問題 ，

而人類查看證明進程的時刻 ，違反了凸性要求。梯度流的優化曲線總是凸的；

梯度流的梯度范數單調性 ：關于接連時刻的梯度流 ，之后將三個不等式別離乘以不同權重后求和，對三個點對(x_0,x_1)、

具體來說