垂线及其性质