在求函数的极值时，检验是必要的步骤，原因如下：
定义域验证：
确保求得的驻点或临界点位于函数的定义域内，否则这些点不能作为极值点。
导数条件验证：
检查驻点处的导数是否为零，因为极值点处导数为零是极值的必要条件。
二阶导数判定：
对于导数为零的点，通过计算二阶导数判定极值类型（极大值或极小值）。
函数值比较：
在闭区间上，需要比较区间端点和驻点的函数值，以确定全局最大值和最小值。
避免拐点：
导数为零的点可能是拐点，并非极值点，需要通过二阶导数或其他方法进一步验证。
确保极值条件满足：
极值条件是必要非充分条件，必须通过检验确保解满足极值条件。
通过这些检验步骤，可以确保找到的极值点是有效的，并正确反映了函数的极值情况。如果检验不通过，可能需要重新求解或调整解题方法