Known: as shown in the figure, ab = AC, ∠ abd = ∠ ACD

Known: as shown in the figure, ab = AC, ∠ abd = ∠ ACD

It is proved that: connect BC. ∵ AB = AC (known), ∵ AB = 2 (equilateral and equal angle), abd = ∵ ACD (known), ∵ abd - ∵ 1 = ∵ ACD - ∵ 2 (equality operation property). That is, ∵ 3 = ∵ 4. ∵ BD = DC (equilateral and equal angle)