cos2x=2cos²x-1
所以1+cos2x=2cos²x
分母sin2x-2sin²x=2sinxcosx-2sinxsinx=2sinx(cosx-sinx)
分子坟墓同时除以2cos²x得到
f(x)=1/[tanx(1-tanx)]
因为x在0到π/4之间,所2cos²x可以放心的除
接下来就是看分母的情况了啊
因为tanx(1-tanx)一看就是二次函数啦
设t=tanx 根据x的取值指导t∈(0,1)
那么分母=t-t²= -(t-0.5)²+0.25
要最小值,分母最大,那么一丝就是t=0.5的时候,分母是0.25
最小值是1/0.25=4