一道高数证明题设f(x)在[0,π]上连续,在(0,π)内可导,求证存在ξ∈(0,π),使f'(ξ)=-f(ξ)cotξ