6 把已知的两个式子两边都平方一下

13 取特殊值代入，等边三角形

14

tan 2x * (tan x)^3
=[2 (tan x)^4]/([1-(tan x)^2]
令 (tan x)^2 = t ，t∈（1，+∞）
原式=（2 t ^2)/(1-t)
=[2(1-t)^2+4t-4+2] /(1-t)
=2(1-t)+ 2/(1-t) -4
然后。。基本不等式学过了吧？