tính cos(x+pi\3) biết sin x=-1\can 3 va 0 nhỏ hơn x nhỏ hơn 90 2, chung minh : tanx tan (pi\3-x) tan(pi\3+x)=tan3x :p