关于倾斜角的数学题

xcosa+ysina=0
y=-(cosa/sina)x=-cota x

设倾斜角是b
tanb=-cota
tanb=cot(-a)=tan[π/2-(-a)]=tan(π/2+a)=tan(π/2+a-π)=tan(a-π/2)
因为a属于（π/2，π）
所以a-π/2属于(0,π/2)
而倾斜角属于[0,π), 此处符合
所以b=a-π/2

-cot(a)