通过四个互异节点的插值多项式p（x），只要满足（），则p（x）是不超过二次的多项式。