Proof:
• Construct an auxiliary line through point
C bisecting ∠
C. An angle has a unique angle bisector. Label the intersection with the base as
D.
•
m∠ACD = m∠BCD because an angle bisector forms two congruent angles which have equal measure.
• Under a reflection in
![isos11](isos11.png)
, the reflection of
C will be
C, since
C lies on the line of
reflection.
• Since
m∠ACD = m∠BCD and reflections preserve angle measure, the image of ∠
ACD will be the same measure as ∠
BCD.
• Since these angles are equal in measure, the reflection of ray
![isos12](isos12.png)
(side of the ∠) will coincide with its image
![isos13](isos13.png)
(side of the image angle).
• The reflection of
![isos14](isos14.png)
will have the same length as that of
![isos14](isos14.png)
since reflections preserve length.
• The reflection of
![isos14](isos14.png)
will have the same length as that of
![isos15](isos15.png)
by substitution.
• The reflection of
A is
B since reflections preserve length and the segments share point
C.
• The reflections of
![isos16](isos16.png)
and the reflection of
![isos17](isos17.png)
since reflections map rays to rays.
• The reflection of ∠
CAB will have the same measure as ∠
CBA since reflections preserve angle measure. We have established that the rays forming these angles coincide under a reflection.
•
![isos18](isos18.png)
since congruent angles are angles of equal measure.
QED