对顶三角形的性质能否直接使用