"三阶导数≥0、不恒为零、且x=a时等于零"说明f''(x)在x=a的领域内有严格的单调性,单调递增.
又f''(a)=0,所以f''(x)在x=a的左邻域内小于0,右邻域大于0,两侧符号相反,必是拐点.