完整题是这个
设f(x)在[0,2]内连续,在(0,2)内可导,且f(1)=0,求证:
存在ξ∈(0,2)使得f'(ξ)=π(ξ-tanξ)f(ξ)/(2ξ^2*secξ-πξtanξ)

我知道这种类型是解微分方程来做辅助函数套用公式F(x)=f(x)e^(∫g(x)dx)
这边g(x)=-π(x-tanx)/(2x^2*secx-πxtanx)~~~~(>_<)~~~~ 所以这个不定积分是关键我是把分子分母同乘cosx,再把被积函数分成两项分别积分,一直试图给分子配项把分子凑进去,再分开的两项中每一项都留有∫2dx/(2x-πsinx)积不出来但是相互抵消掉了~~~~(>_<)~~~~ 最后得到积分为ln[x/(2x-πsinx)]
这个是很麻烦的的,我当时是乱写写出来的,而且很怪,我感觉应该有技巧才对的呀