asint=2asin(t/2)cos(t/2)a(1-cost)=a[1-(1-2sin²(t/2))]=2asin²(t/2)asint/a(1-cost)=cos(t/2)/sin(t/2)=cot(t/2)
