L.H.S.=k3[sin3AcosBcosC+sin3BcosCcosA+sin3CcosAcosB]
=k3[sin3AcosBcosC+sinB(1−cos2B)cosCcosA+sinC(1−cos2C)cosAcosB]
k3[sin3AcosBcosC+cosA(sinBcosC+sinCcosB)−12cosAcosBcosC(sin2B+sin2C)]
=k3[sin3AcosBcosC+cosAsin(B+C)−cosAcosBcosCsin(B+C)cos(B−C)]
=k3[sinA(1−cos2A)cosBcosC+cosAsinA−cosAcosBcosCsinAcos(B−C)]
=k3sinA[cosBcosC(1−cos2A)+cosA−cosAcosBcosCcos(B−C)]
=k3sinA[cosA+cosBcosC−cosAcosBcosCcosA+cos(B−C)]
=k3sinA[−cos(B+C)+cosBcosC−cosAcosBcosC−cos(B+C)+cos(B−C)]
=k3sinA[sinAsinC−cosAcosBcosC.2sinBsinC]
=k3sinAsinBsinC(1−2cosAcosBcosC)
= abc(1−2cosAcosBcosC). = R.H.S