Sprawdzanie tożsamości trygonometrycznych

[madziula1784]

Sprawdzić tożsamość:
\(\displaystyle{ sin ^{2} \left( \frac{7}{2} \pi - \alpha \right) + \frac{1-cos \alpha }{2} -sin2 \alpha =\left( cos \alpha -sin \alpha \right) ^{2}}\)

[Lorek]

Nie jest to tożsamość, wystarczy wziąć \(\displaystyle{ \alpha=\frac{\pi}{2}}\)