c−b cos Ab−c cos A=cos Bcos C
LHS=c−b cos Ab−c cos A=K sin C−K sin B cos AK sin B−K sin C cos A=sin(π−(A−B))−sin B cos Asin(π−(A+C))−sin C cos A=sin(A+B)−sin B cos Asin(A+C)−sin C cos A=sin A cos B+cos A sin B−sin B cos Asin A cos C+cos A sin C−sin C cos A=sin A cos Bsin A cos C=cos Bcos C=RHS