Так пишется, потому что sin был определён как ордината точки числовой окружности. А на числовой окружности существует множество точек, которые имеют ординату, в данном случае: корень из трёх делённое на два. Все эти точки можно описать как раз такой формулой