Докажите тождество: 1-Cost/Sint=tgt/2
1-cost=2sin^2(t/2)
sint=2sin(t/2)cos(t/2)
Раздели одно на другое - получишь то, что надо