对顶角的性质是如何得出的