对顶角定义：
有公共顶点且两条边都互为反向延长线的两个角称为对顶角.
对顶角性质：
对顶角相等