关于不定积分∫√(cos²x)dx简化为∫cosx dx的合理性问询

一、核心逻辑：先锁区间，再谈等价 #

咱先从最基础的定义说起：$\sqrt{\cos^2x}$严格来说等于$|\cos x|$，这是算术平方根的硬性要求——结果必须非负。那为啥能直接去掉绝对值写成$\cos x$？根本不是什么“凭空假设”，而是我们默认了积分的区间是$\cos x$非负的范围，比如$[0, \pi/2]$或者$[-\pi/2, \pi/2]$这类区间。

在这些区间里，$\cos x$的取值一直是$\geq0$的，$|\cos x|$和$\cos x$完全是一回事，这时候替换是100%严谨的，没半点逻辑漏洞。说白了，这是先限定了讨论的区间范围，再基于这个范围做的等价转换，是有明确前提的操作。

二、为啥微积分实践里大家都这么干？ #

• 先易后难的教学逻辑：要是每次积分都带着绝对值，就得分区间讨论——比如在$\cos x$负的区间里，$|\cos x|$得换成$-\cos x$，新手刚学积分的时候，这样的操作太繁琐了。基础课程里先让大家掌握“符号不变区间里的简化计算”，等熟练了再去处理跨区间的复杂情况，完全符合由浅入深的学习规律。
• 不定积分的“局部性”特性：不定积分求的是“局部原函数”，也就是说，我们本来就是在某个连续的区间里讨论原函数的。而$\cos x$的零点（就是$x=\pi/2 + k\pi$，$k$是整数）把整个实数轴切成了一段段的，每一段里$\cos x$的符号都固定不变，要么全正要么全负。所以在单个区间里把$|\cos x|$简化成$\cos x$（或者$-\cos x$），完全符合不定积分的定义逻辑。
• 题目语境的默认前提：大部分教材和习题里的这类积分题，要么明确给出了$\cos x$非负的区间，要么隐含了这个前提——毕竟很多实际问题的定义域本身就限制在三角函数符号不变的范围内，所以这种简化是贴合题目场景的。

当然得提一句：要是积分区间跨了$\cos x$正负的分界点，比如从$0$到$\pi$，那直接写成$\int \cos x dx$就错了，这时候必须拆成$[0, \pi/2]$和$[\pi/2, \pi]$两段分别计算，前者用$\cos x$，后者用$-\cos x$，这样结果才对。

内容的提问来源于stack exchange，提问作者Jack Pan