2 / 3 π is known

2 / 3 π is known

α-π/6∈(π/2,π),cos(α-π/6)