sin2x+2sinxcosx+cos2x + sin2x − 2sinxcosx + cos2x >(sinxcosy+cosxsiny)(sinxcosy−cosxsiny)
2>sin2xcos2y − sinxcosxsinycosy + sinxcosxsinycosy − cos2xsin2y
2>sin2xcos2y − cos2xsin2y
√2 > sinxcosy − cosxsiny
√2 > sin(x−y)
z tego wynika że to prawda ponieważ sinus jakiegokolwiek kąta ∊<−1,1> a √2≈1,4