Cho hàm số $y=f(x)$ có đạo hàm trên R thỏa mãn $f^{\prime }(x)=\cos x-2025$, $\forall x\in R$ thì giá trị lớn nhất của hàm số $y=f(x)$ trên đoạn $[1;2]$ bằng :

(AI giải đề cho tôi)
Vì $-1\le \cos x\le 1$ nên $f^{\prime }(x)=\cos x-2025<0$ với mọi $x$, do đó $f$ nghịch biến trên $\mathbb{R}$, đặc biệt nghịch biến trên đoạn $[1;2]$. Hàm nghịch biến nên giá trị lớn nhất trên $[1;2]$ đạt tại đầu trái đoạn, tức $x=1$: ${\max }_{[1;2]}f(x)=f(1)$. Kết quả khớp với đáp án nguồn (A).