正余弦的证明证明:(a^2-b^2-c^2)tanA+(a^2-b^2+c^2)tanB=0