充分性：对于向量 a(a≠0)、b，如果有一个实数λ，使 b=λa，那么由实数与向量的积的定义 知，向量a与b共线。