18. Since sin(x−y)sin(x+y)=21(cos2β−cos2α)=sin2α−sin2β, we have
=sinasin(a−b)sin(a−c)sin(a+b)sin(a+c)sina(sin2a−sin2b)(sin2a−sin2c)
Let x=sin2a,y=sin2b,z=sin2c, then the original inequality is equivalent to
x21(x−y)(x−z)+y21(y−z)(y−x)+z21(z−x)(z−y)⩾0,
which is the Schur inequality.