高数分段点问题：为什么要在分段点用定义法，不用公式法

网上搜了相同问题但是没有结果，下面是自己的思考结果，已得到了挺多人的认可：

1.如果要证明一点的可导，即要证明该点左右两个导数极限存在且相等。
定义法和公式法都能计算导数，但是使用前提不同。
定义法的本质就是计算切线斜率的大小，即函数值增量与自变量增量之比，任何情况都能使用
公式法因为用公式法使用了微分的概念，即dy/dx=f'，于是默认了该点处是可导的，不能使用。

那问题来了。

2.为什么分段点左右两个公式可以用公式法：

如果那两个公式有别的分段点，那么题目会明确给出。而题目已经给的就是可能出现问题的点，让你分析，故其他都是可导的，可以放心使用