📋 详细解题步骤
目标：确定f(0)的值
已知极限条件 $\lim_{x \to 0} \frac{f(x)}{1 - \cos x} = 2$。首先分析分母 $1 - \cos x$ 在 $x \to 0$ 时的行为。由等价无穷小，当 $x \to 0$ 时，$1 - \cos x \sim \frac{1}{2}x^2$，因此分母趋于 $0$。若分子 $f(x)$ 在 $x \to 0$ 时不趋于 $0$，则极限将不存在（可能为无穷大）。但题目中极限存在且为有限值 $2$，故分子必须也趋于 $0$，即 $\lim_{x \to 0} f(x) = 0$。又因为题目条件中隐含 $f(x)$ 在 $x=0$ 处可导（后续步骤会用到），可导必连续，所以 $f(x)$ 在 $x=0$ 处连续。由连续的定义，$\lim_{x \to 0} f(x) = f(0)$。结合 $\lim_{x \to 0} f(x) = 0$，立即得到 $f(0) = 0$。因此，第一步确定 $f(0) = 0$。
公式：$$\lim_{x \to 0} \frac{f(x)}{1 - \cos x} = 2 \quad \Rightarrow \quad \lim_{x \to 0} f(x) = 0 \quad \Rightarrow \quad f(0) = 0$$
提示：看到分式极限存在且分母趋于0，立即想到分子也必须趋于0，这是处理此类问题的关键第一步。
目标：写出可导的极限定义
根据题目条件，$f(x)$ 在 $x=0$ 处可导。由导数的定义，函数在 $x=0$ 处的导数 $f'(0)$ 定义为极限：
$$
f'(0) = \lim_{x \to 0} \frac{f(x) - f(0)}{x - 0}.
$$
由于题目中隐含 $f(0)=0$（通常由可导性及后续条件可推出，或直接由题设给出），因此上式简化为：
$$
f'(0) = \lim_{x \to 0} \frac{f(x)}{x}.
$$
该极限存在且为有限值，这是 $f(x)$ 在 $x=0$ 处可导的充要条件之一。注意，这里 $x$ 可以趋近于 $0$ 的方式是任意的（包括从左侧和右侧），极限存在意味着左右导数相等且有限。
在后续步骤中，我们将利用这个极限定义，结合 $f(x)$ 的其他性质（如连续性、已知极限条件等）来推导 $f'(0)$ 的具体值或相关结论。因此，本步骤的关键是准确写出可导的极限定义，并明确 $f(0)=0$ 这一前提。
公式：$$f'(0) = \lim_{x \to 0} \frac{f(x)}{x}$$
提示：注意可导定义中分母是 $x-0$，分子是 $f(x)-f(0)$，先确认 $f(0)$ 的值。
目标：将待证极限变形
本步骤的目标是将待证明的极限 $\lim_{x \to 0} \frac{f(x)}{\sqrt{|x|}}$ 进行代数变形，以便利用已知条件 $\lim_{x \to 0} \frac{f(x)}{x} = 1$。
观察发现，分母 $\sqrt{|x|}$ 与已知极限中的分母 $x$ 不同，因此我们考虑引入因子 $x$ 进行恒等变形。具体地，将原极限写为：
$$
\lim_{x \to 0} \frac{f(x)}{\sqrt{|x|}} = \lim_{x \to 0} \left[ \frac{f(x)}{x} \cdot \frac{x}{\sqrt{|x|}} \right].
$$
这里需要特别注意：当 $x \to 0$ 时，$x$ 可能取正值或负值，但 $\sqrt{|x|}$ 始终非负。因此变形后的表达式 $\frac{x}{\sqrt{|x|}}$ 在 $x>0$ 时等于 $\sqrt{x}$，在 $x<0$ 时等于 $-\sqrt{-x}$，即 $\frac{x}{\sqrt{|x|}} = \operatorname{sgn}(x) \sqrt{|x|}$，其中 $\operatorname{sgn}(x)$ 为符号函数。
该变形是合法的，因为当 $x \neq 0$ 时，$x$ 与 $\sqrt{|x|}$ 均不为零，故可进行乘法分解。通过这种分解，我们将原极限转化为两个因子乘积的极限：第一个因子 $\frac{f(x)}{x}$ 的极限已知为 $1$；第二个因子 $\frac{x}{\sqrt{|x|}}$ 的极限需要单独讨论。
至此，我们将一个未知极限问题转化为两个较简单极限的乘积问题，为后续步骤中分别计算这两个极限并利用极限运算法则奠定了基础。
公式：$$\lim_{x \to 0} \frac{f(x)}{\sqrt{|x|}} = \lim_{x \to 0} \left[ \frac{f(x)}{x} \cdot \frac{x}{\sqrt{|x|}} \right]$$
提示：注意 $\frac{x}{\sqrt{|x|}} = \operatorname{sgn}(x)\sqrt{|x|}$，其极限为 $0$。
目标：分别求左右极限
我们需要分别计算 $x \to 0^+$ 和 $x \to 0^-$ 时，表达式 $\frac{x}{\sqrt{|x|}} \cdot \frac{f(x)}{x}$ 的极限。首先处理因子 $\frac{x}{\sqrt{|x|}}$。
当 $x \to 0^+$ 时，$|x| = x$，因此 $\frac{x}{\sqrt{|x|}} = \frac{x}{\sqrt{x}} = \sqrt{x} \to 0$。
当 $x \to 0^-$ 时，$|x| = -x$，因此 $\frac{x}{\sqrt{|x|}} = \frac{x}{\sqrt{-x}}$。令 $t = -x > 0$，则 $x = -t$，代入得 $\frac{-t}{\sqrt{t}} = -\sqrt{t} = -\sqrt{-x} \to 0$。
因此，无论从左还是从右趋近于0，$\frac{x}{\sqrt{|x|}}$ 的极限均为0。
接下来考虑另一个因子 $\frac{f(x)}{x}$。由题目条件 $f(0)=0$ 且 $f'(0)$ 存在，根据导数的定义，$\lim_{x \to 0} \frac{f(x)}{x} = f'(0)$。因此左右极限均为 $f'(0)$。
于是，原极限为两个因子极限的乘积：
$$\lim_{x \to 0^+} \frac{x}{\sqrt{|x|}} \cdot \frac{f(x)}{x} = 0 \cdot f'(0) = 0,$$
$$\lim_{x \to 0^-} \frac{x}{\sqrt{|x|}} \cdot \frac{f(x)}{x} = 0 \cdot f'(0) = 0.$$
左右极限相等且均为0，因此原极限存在且为0。
公式：$$\lim_{x \to 0^+} \frac{x}{\sqrt{|x|}} = \lim_{x \to 0^+} \sqrt{x} = 0, \quad \lim_{x \to 0^-} \frac{x}{\sqrt{|x|}} = \lim_{x \to 0^-} -\sqrt{-x} = 0$$
提示：注意绝对值要分左右讨论，将 $\frac{x}{\sqrt{|x|}}$ 化简为 $\sqrt{x}$ 或 $-\sqrt{-x}$ 再求极限。
目标：判断选项正确性
由前几步的推导可知，选项C是正确的结论。对于选项A、B、D，可以通过构造反例来排除。
**反例构造：**
- **选项A**：若取 $f(x)=x^{3/2}$，则 $f'(x)=\frac{3}{2}x^{1/2}$，$f''(x)=\frac{3}{4}x^{-1/2}$。在 $x=0$ 处，$f'(0)=0$，但 $f''(0)$ 不存在（趋于无穷），因此选项A中“$f''(0)$ 存在”不成立。
- **选项B**：若取 $f(x)=x$，则 $f'(x)=1$，$f''(x)=0$。在 $x=0$ 处，$f'(0)=1\neq0$，不满足 $f'(0)=0$ 的条件，因此选项B不成立。
- **选项D**：若取 $f(x)=x$，则 $f'(x)=1$，$f''(x)=0$。在 $x=0$ 处，$f'(0)=1\neq0$，且 $f''(0)=0$，但 $x=0$ 并非极值点（函数单调递增），因此选项D不成立。
综上，只有选项C正确。
**最终答案验证：** 由前几步的推导，$f'(0)=0$ 且 $f''(0)>0$ 时，$x=0$ 是极小值点；$f''(0)<0$ 时，$x=0$ 是极大值点。故选项C正确。
公式：f'(0)=0 \text{ 且 } f''(0)>0 \Rightarrow x=0 \text{ 为极小值点}
提示：构造反例时，选择简单函数验证条件即可。