Hallo Thomas,
Ich hab erst mal überlegt, was Du da eigentlich wurstelst. Du addierst wohl die beiden Gleichungen?
0 = cos²x - sin²x
1 = cos²x + sin²x
Das gibt dann aber:
1 = 2 cos²x
cos x = ±√0.5
Das führt freilich zur gleichen Lösung. Der von der Lehrerin angedachte Lösungsansatz ist aber wohl der von Rouven, wobei natürlich arctan 1 = PI/4.
Grüße
Daniel