r1+r21+cosC=4RsinA2cosB2cosC2+sinB2cosA2cosC22cos2C2
=2RsinA2cosB2+sinB2cosA2cosC2
=2RsinA+B2cosC2
=2Rsin(90∘−C2)cosC2
=2R=abc2Δ