Given: AB = 12
 AC = 6
 Prove: C is the midpoint of AB.
 A line has points A, C, B.
 Proof:
 We are given that AB = 12 and AC = 6. Applying the segment addition property, we get AC + CB = AB. Applying the substitution property, we get 6 + CB = 12. The subtraction property can be used to find CB = 6. The symmetric property shows that 6 = AC. Since CB = 6 and 6 = AC, AC = CB by the 
 property. So, AC ≅ CB by the definition of congruent segments. Finally, C is the midpoint of AB because it divides AB into two congruent segments.