a/sinA=b/sinB=k
ksinA+ksinB=ksinAcotA+ksinBcotB
sinA+sinB=cosA+cosB
2sin[(A+B)/2]cos[(A-B)/2]=2cos[(A+B)/2]cos[(A-B)/2]
sin[(A+B)/2]=cos[(A+B)/2]
tan[(A+B)/2]=1,
A+B=π/2
是直角三角形.