Verified answer

se cos x = 1/2, então x = 60°. por isso x/2 = 30°

sen 30° = 1/2; cos 30° = v3/2, tg 30° = v3/3

obs: v3 = raiz quadrade de 3

se x/2 não fosse notável, daria "um pouquinho" mais de trabalho...