Dado cosx=-raiz de 3/3, com pi/2