求证c(a COS B - b COS A )=a^2-b^2