tan=sin/cos =>[tex]sinx=\sqrt{2}cosx[/tex]
mà [tex]sin^2x+cos^2x=1[/tex]
Từ 2 điều này giải tìm được sinx và cosx ( có bình phương, tuy nhiên do 0<x<90 nên sinx và cosx đều chỉ lấy giá trị dương)
Tư đây tính được [tex]cos(x-30)=\frac{\sqrt{3}}{2}cosx+\frac{1}{2}sinx[/tex]