证明: $$\bex \frac{2}{\pi}\int_0^\infty \frac{1-\cos 1\cos \lm-\lm \sin 1\sin \lm}{1-\lm^2}\cos \lm x\rd \lm =\sedd{\ba{ll} |\sin x|,&-1<x<1,\\ \frac{1}{2}|\sin x|,&|x|=1,\\ 0,&|x|>1. \ea} \eex$$ 

[Everyday Mathematics]20150304