初一常用几何证明的定理总结对顶角相等:几何语言:∵∠1∠2是对顶角 ∴∠1∠2(对顶角相等)垂线:几何语言:正用反用:∵∠AOB90°∵AB⊥CD∴AB⊥CD(垂直的定义)∴∠AOB90°(垂直的定义)证明线平行的方法:1平行公理如果两条直线都与第三条直线平行那么这两条直线也平行简述为:平行于同一直线的两直线平行几何语言叙述:如图:∵AB∥EFCD∥EF∴AB∥CD(平行于