§1 样条函数及其基本性质