Trong các phương trình sau phương trình nào vô nghiệm?

(AI giải đề cho tôi)
Xét từng phương trình: A) $cotx=2025$: vì $cotx$ nhận mọi giá trị thực nên có nghiệm. B) $$\begin{gathered} sinx- \\ cosx= \\ sqrt2 \\ sin \\ left(x- \\ frac \\ pi4 \\ right) \end{gathered}$$, giá trị lớn nhất bằng $sqrt2$ nên đạt được tại $$\begin{gathered} x- \\ frac \\ pi4= \\ frac \\ pi2+k \\ pi \end{gathered}$$, tức có nghiệm $$\begin{gathered} x= \\ frac3 \\ pi4+k \\ pi \end{gathered}$$. C) $$\begin{gathered} cosx= \\ pi \\ approx3,14>1 \end{gathered}$$: vì $$\begin{gathered} cosx \\ in[-1;1] \end{gathered}$$ với mọi $x$ nên phương trình vô nghiệm. D) $$\begin{gathered} sinx= \\ frac20242025 \\ approx0,9995 \\ in[-1;1] \end{gathered}$$ nên có nghiệm. Vậy phương trình vô nghiệm là $$\begin{gathered} cosx= \\ pi \end{gathered}$$.