已知$x,y\geqslant 0$，且$(1+x)(1+y)=2$，求证：$\sqrt{1+x^2}\cdot \sqrt{1+y^2}\geqslant 4-2\sqrt 2$．
分析与解 条件即$$x+y+xy=1.$$联想到三角恒等式$$\tan\dfrac A2\tan\dfrac B2+\tan\dfrac B2\tan\dfrac C2+\tan\dfrac C2\tan\dfrac A2=1,$$其中$A,B,C$为三角形$ABC$的三个内角．因此可以取$C=\dfrac{\pi}2$，$x=\tan\dfrac A2$，$y=\tan\dfrac B2$，且$A+B=\dfrac{\pi }2$，于是$$LHS=\dfrac{1}{\cos\dfrac A2\cdot\cos\dfrac B2}=\dfrac{2}{\cos\dfrac{A+B}2+\cos\dfrac{A-B}2}\geqslant \dfrac{2}{cos\dfrac{\pi}4+1}=4-2\sqrt 2,$$因此原命题得证．
注 这一三角代换是处理形如$ab+bc+ca=1$且$a,b,c>0$的代数条件的重要代换．下面再给出两种常规思路：
法二（由解辉提供）
由题目条件得到$$y=\dfrac {1-x}{1+x},$$于是$$1+y^2=1+\left(\dfrac {1-x}{1+x}\right )^2=\dfrac {2(1+x^2)}{(1+x)^2}.$$代入所证不等式左边得到$$\begin{split} LHS=&\dfrac {\sqrt 2\cdot(1+x^2)}{1+x}\\=&\sqrt 2\left(1+x+\dfrac {2}{1+x}-2\right )\\\geqslant &\sqrt 2(2\sqrt 2-2).\end{split} $$当且仅当$x=\sqrt 2-1$时取到等号．
法三（由大雨瓢泼提供）
令$s=1+x$，$t=1+y$，则有$$s>1,t>1,st=2.$$将$$x=s-1,y=t-1$$代入所证不等式左边有$$\begin{split} LHS=&\sqrt{1+(s-1)^2}\cdot\sqrt{1+(t-1)^2}\\=&\sqrt{2(s+t-2)^2}\\\geqslant &\sqrt 2\cdot(2\sqrt 2-2)\\=&4-2\sqrt 2.\end{split} $$当且仅当$s=t=\sqrt 2$，即$x=y=\sqrt 2-1$时取到等号．