tan(x-y)=(tanx-tany)/(1+tanxtany)=2tany/(1+3tan²y)<=2tany/2√3tany=1/√3
所以x-y<=π/6看不懂，具体点第一个等号是两角差的正切公式，那个不等号用了平均值不等式a²+b²>=2ab第二个等号怎么出来的把tanx=3tany代入