함수 y=f(x)와 y=g(x)가 있고,


두 함수가 열린구간 (a-b,a+b) (b>0)에서 강한 증가 함수이며 미분가능 하다고 하자.


f(a)=g(a)=0이고


f'(a)>g'(a)>0이 성립할때


적당한 열린구간 (a,a+c)를 잡아 (0＜ c＜ b)

그 구간에서 f(x)가 g(x)보다 항상 크게 할 수 있다.


라는 명제는 참인가요?