延长线段ab到c,使ab等于2bc是命题么?