令a=π/4-xtan2x=tan(π/2-2a)=cot2a=1/tan2a=(1-taan²a)/(2tana)所以原式=lim(a→0)(1-tan²a)/(2tana)*tana=lim(a→0)(1-tan²a)/2=1/2
