求邻补角的定义和性质