f(0)=f(1)=0
0<x<1でf"(x)<0, f(x)>0
を満たす0≦x≦1で連続な関数f(x)について
0<x_1<x_2<1で x_2-x_1=f(x_1)=f(x_2)となるx_1, x_2がが存在することを示せ

これの解法がわかりません…