已知函數(shù) [f(x)]^2 在 x=a 可導(dǎo),即極限
　　　　lim(x→a)[f²(x)-f²(a)]/(x-a) = A
存在,而 f(x) 在 x=a 處連續(xù),且 f(a)≠0,所以
　　　　lim(x→a)f(x) = f(a),
所以
　　　　lim(x→a)[f(x)-f(a)]/(x-a)
= lim(x→a){[f²(x)-f²(a)]/(x-a)}*{1/[f(x)+f(a)]}
= A*[1/2f(a)]
= A/2f(a),
按定義得知 f'(a) 存在,且
f'(a) = C/2f(a).