Putting tan12A=
⎷((s−b)(s−c)s(s−a)) etc.,
We have
=⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣
⎷((s−b)(s−c)s(s−a))(a−b)(a−c)+
⎷((s−c)(s−a)s(s−b))(b−c)(b−a)+
⎷((s−a)(s−b)s(s−c))(c−a)(c−b)⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦
=(c−b)(s−b)(s−c)+(a−c)(s−c)(s−a)+(b−a)(s−a)(s−c)(a−b)(b−c)(c−a)√[s(s−a)(s−b)(s−c)]
Nr=−∑{(b−c){s2−s(b+c)+bc}
=−s2∑(b−c)+s∑(b2−c2)−∑bc(b−c)
=0+0(b−c)(c−a)(a−b)
Note that on simplification,
bc(b−c)+ca(c−a)+ab(a−b)
=−(b−c)(c−a)(a−b)]
Substituting in (1), we gat
L.H.S=NrDr=1√[s(s−a)(s−b)(s−c)]=1S