证明函数在某点可导通常遵循以下步骤：

函数在该点的连续性 ：

确保函数在点 （ x_0 ） 处有定义。

验证函数在 （ x_0 ） 处的左极限、右极限以及函数值 （ f（x_0） ） 三者是否相等。

左右导数的存在性 ：

计算函数在 （ x_0 ） 处的左导数 （ f'（x_0^-） ） 和右导数 （ f'（x_0^+） ）。

确保左导数和右导数存在且相等，即 （ f'（x_0^-） = f'（x_0^+） ）。

导数的极限定义 ：

根据导数的定义，如果函数在 （ x0 ） 处的极限 （ lim{h to 0} frac{f（x_0 + h） - f（x_0）}{h} ） 存在，则函数在 （ x_0 ） 处可导。

导数与连续性的关系 ：

如果函数在 （ x_0 ） 处可导，则它一定在该点连续。但是，连续的函数不一定可导。

特殊情况下的可导性 ：

如果函数在 （ x_0 ） 处连续，并且在 （ x0 ） 的去心邻域内可导，同时 （ lim{x to x_0} f'（x） = A ）（存在），则函数在 （ x_0 ） 处可导且 （ f'（x_0） = A ）。

示例

假设我们有一个函数 （ f（x） = x^2 ），我们来证明它在 （ x = 0 ） 处可导。

连续性 ：

（ f（x） = x^2 ） 在整个实数域上都有定义。

（ lim{x to 0} f（x） = lim{x to 0} x^2 = 0 = f（0） ）。

左右导数 ：

左导数 （ f'（0^-） = lim{h to 0^-} frac{f（0 + h） - f（0）}{h} = lim{h to 0^-} frac{h^2 - 0}{h} = lim_{h to 0^-} h = 0 ）。

右导数 （ f'（0^+） = lim{h to 0^+} frac{f（0 + h） - f（0）}{h} = lim{h to 0^+} frac{h^2 - 0}{h} = lim_{h to 0^+} h = 0 ）。

极限定义 ：

（ lim{h to 0} frac{f（0 + h） - f（0）}{h} = lim{h to 0} frac{h^2 - 0}{h} = lim_{h to 0} h = 0 ）。

由于左导数、右导数都存在且相等，并且等于0，根据导数的定义，我们可以得出 （ f（x） = x^2 ） 在 （ x = 0 ） 处可导，并且 （ f'（0） = 0 ）。

结论

通过上述步骤，我们可以证明函数在某点可导。关键在于确保函数在该点连续，并且左右导数存在且相等。对于更复杂的函数，可能需要使用更高级的数学工具和技术，如泰勒级数、洛必达法则等。