Równanie trygonometryczny mhm: cos2x + sin2x + 1=0 Na końcu wychodzi cosx(sinx + cosx) = 0 A z tego x = π/2 +kπ v x=−π/4 + kπ Mam pytanie, dlaczego nie odrzucamy pierwszego rozwiązania ( w drugim wychodzi, że cosx ≠0)?

ICSP: a*b = 0 ⇒ a = 0 v b = 0

Kacper: a*b=0 ⇔a=0 ∨ b=0, zatem na tym etapie rozwiązania cosx=0 zaliczamy do zbioru rozwiązań.

mhm: Jasne, dziękuję