其中正确的有(填序号)
如图,直线 AB,CD 相交于点 O,OE 平分∠AOD,OF⊥OC,
①对顶角相等;②同位角相等;③若两个角不相等,则这两个角一定不是对顶角;④若两个角不相等,则这两个角一定不是同位角.
证明:∵(已知)
()
∴(等量代换)
∴()(同位角相等,两直线平行)
∴()