Explain how you know that overleftrightarrow{AB} perp overleftrightarrow{BC}