Here is the two column proof:
Statement Reason
- AK bisects ∠BAR Given
- m∠BAK = m∠BAR/2 Definition of angle bisector
- m∠KAR = m∠BAR/2 Definition of angle bisector
- m∠BAK = m∠KAR Transitive property of equality
- ∠BAK ≅ ∠KAR Definition of congruent
- ∠1 ≅ ∠2 Substitution property of equality