* ZD = ZB (definition of perpendicular bisector)
* Angle ADZ = angle ADB because both are right angles (definition of perpendicular bisector)
* AD = AD (reflexive property).
Using those 3 statements above, you can prove using the SAS postulate that triangle ADZ = triangle ADB
Then the CPCTC property allows us to arrive at the conclusion that AZ = AB