Considero l'equazione tgx+4senx=sqrt(3)
Che diventa:
senx +4senxcosx=sqrt(3)cosx
Con cosx#0
L'equazione può essere scritta:
sqrt(3)cosx-senx=4senxcosx
Divido per 2 primo e secondo membro è ho:
(sqrt(3))/2cos(x)-(1/2)senx=sen(2x)
Da cui
sen((pi/3)-×)=sen(2x)
Che tra le soluzioni ammette x=pi/9
Da cui la tesi.