利用cotX=cosX/sinX,
余弦定理a^2+b^2-c^2=2ab*cosC,
正弦定理a=2RsinA
变形得cotC/(cotA+cotB)
=(a^2+b^2-c^2)/2c^2
=(m-1)/2
=1000
m=2001