(2sin pi/12)(cos pi/12)
= 2tan (π/12) by definition
You can ask a new question or answer this question.