==================================================
Explanation:
SAS stands for Side Angle Side. Note how the angle is between the two sides. To prove the triangles congruent with SAS, we need to know two sides and an angle between them.
We already see that BC = CD as shown by the tickmarks. Another pair of sides is AC = AC through the reflexive theorem.
The missing info is the angle measures of ACB and ACD. If we knew those angles were the same, then we could use SAS to prove triangle ACB is congruent to triangle ACD.
It turns out that the angles are congruent only when they are 90 degrees each, leading to AC being perpendicular to BD. We write this as . The upside down T symbol meaning "perpendicular" or "the two segments form a right angle".