①相等的角是对顶角
②经过一点有且只有一条直线与已知直线平行
③两条直线被第三条直线所截,同位角相等
④直线外一点到这条直线的垂线段的长度叫做点到直线的距离
⑤过一点有且只有一条直线与已知直线垂直
其中真命题有( )
①;②;③;④若 , 则 .