已知 x,y,z>0，且 x2+y2+z2+2xyz=1，求证：√1−x1+x+√1−y1+y+√1−z1+z⩾√3．
解 由于三角形 △ABC 三内角 A,B,C 满足恒等式cos2A+cos2B+cos2C+2cosAcosBcosC=1,而题中−1<x,y,z<1,因此可以考虑设{x=cosA,y=cosB,z=cosC.则√1−x1+x+√1−y1+y+√1−z1+z=tanA2+tanB2+tanC2,则原不等式等价于证明tanA2+tanB2+tanC2⩾√3,而∑cyctanA2tanB2=1恒成立，因此∑cyctanA2=√(∑cyctanA2)2⩾√3∑cyctanA2tanB2=√3,证毕．
能帮助我严格证明这个问题吗：xx>4lnx
事实上，很容易证明更强的xx>e1.5lnx.
老师 请问如何证明啊。我只能在有计算器的情况下可以完成证明，您能不能写一下思路什么的
http://lanqi.org/everyday/26833/
谢谢老师，但是证明过程是怎样想到的。
你找一下方法技巧里有两个专题讲到