We know r2−r=Δs−b−Δs=bΔs(s−b)
and r1+r3=Δs−a+Δs−c=Δ(2s−a−c)(s−a)(s−c)=bΔ(s−a)(s−c)
Therefore, r2−rr1+r3=bΔs(s−b)⋅(s−a)(s−c)bΔ
=(s−a)(s−c)s(s−b)=tan2B2
tan2A−tan2B=sin2A−sin2Bcos2A.cos2B