b cos B+c cos C=a cos (B−C)
Let a=k sin A, b=k sin B, c=k sin CLHSb cos B+c cos C=k sin B cos B+k sin C cos C=k2(2 sin B cos B+2 sin C cos C)=k2(sin 2B+sin 2C)=k22 sin (B+C)cos(B−C)=k sin(π−A)cos(B−C)=K sin A cos(B−C)=a cos(B−C)=RHS