Question

Name or state the postulate, property, definition or theorem that justifies the statement.

If $\angle AOB$is a right angle, then $\overleftrightarrow{OA}\perp \overleftrightarrow{OB}$, then $\angle K\cong \angle M$.

Short answer

The property that justifies the statement is Property of Perpendicular Lines.

Step-by-step solution

Step 1. State the definition of perpendicular lines.

When two lines meet each other at right angles, they are called perpendicular lines.

Step 2. State the explanation.

When two sides make a right angle$\left({90}^{\circ }\right)$ with each other, then, both lines are perpendicular to each other.

Since, $\angle AOB={90}^{\circ }$.

Therefore, $\overleftrightarrow{OA}\perp \overleftrightarrow{OB}$.

This is the property of perpendicular lines.

Step 3. State the conclusion.

Therefore, the statement is justified by the property of perpendicular lines.