向量CB*向量BA=|CB||BA|cos(π-∠ABC)=|BC||AB|*-cos∠ABC
C=90度 -->|AB|*cos∠ABC=|BC|
原式=|BC|*|BC|*-1=-1