1346

Prove the area of the red triangle is $K=\dfrac{abc}{2R}$.