设在 \dps\sex0,π2 内连续函数 f(x)>0, 且满足 \bexf2(x)=∫x0f(t)tant√1+2tan2t\rdt.\eex 求 f(x) 的初等函数表达式. (复旦大学)
解答: \beex \bea &\quad f^2(x)=\int_0^x f(t)\frac{\tan t}{\sqrt{1+2\tan^2t}}\rd t\\ &\ra 2f(x)f'(x)=f(x)\frac{\tan x}{\sqrt{1+2\tan^2x}}\\ &\ra f'(x)=\frac{\tan x}{2\sqrt{1+2\tan^2x}}\\ &\ra f(x)=\int \frac{\tan x}{2\sqrt{1+2\tan^2x}}\rd x\\ &\quad\quad\quad\quad=\int \frac{1}{s}\cdot \frac{s}{2(1+s^2)}\rd s\quad \sex{s=\sqrt{1+2\tan^2x}}\\ &\quad\quad\quad\quad=\frac{1}{2}\arctan s+C=\frac{1}{2}\arctan \sqrt{1+2\tan^2x}+C. \eea \eeex 再注意到 \dpslimx→0f2(x)=limx→0∫x0f(t)tant√1+2tan2t\rdt=0, 我们有 \bex12⋅π4+C=0\raC=−π8\raf(x)=12arctan√1+2tan2x−π8.\eex