同位角的定义和性质