定义:若存在常数k,使得对定义域D内的任意两个不同的实数x1,x2,均有: