智商捉急 求指教

反证法： 假设存在 那样的 f(x) 使得在（a,b）上f`(x)>=1+(f(x))^2.
于是 f 在[a,b] 上严格单增， 且可导。设 c=f(a), d=f(b), 于是存在 定义在[c,d]上的可导的函数 h(x) 为f的逆函数。
由 f`(x)>=1+(f(x))^2 ==> h'(x) <= 1 / (1+x^2)
定义 g(x) = h(x) - arctan(x), 则： g'(x) = h'(x) - 1/(1+x^2) <= 0, 于是 g是【c,d】上的减函数。==》 g(d) <= g(c)
h(d) - arctan(d) <= h(c) - arctan(c)
b - a <= arctan(d) - arctan(c) <= pi/2 - (-pi/2) = pi = 3.14...
这与 b-a >= 4 矛盾。 于是结论成立

你为什么要把第一题折起来？难道有什么不可告人的秘密？
愿得一学霸，早晚不分离。
带我上自习，一日刷千题。

我这样想的，不知道可否？

愿得一学霸，早晚不分离。
带我上自习，一日刷千题。

此题将b-a>=4换成f(b)=f(a)=0,结论处多个等号，求证