在△ABC中,∠C=90°,∠A,∠B,∠C的对边分别是a,b,c,则下列式子中成立的是(  ) A.a=bcotB B