ad平行bc ad=bc ae垂直ad af垂直ab且ae=ad af=ab证ac=ef