sen(pi/3)